What is the solution to the shifting of the wall problem in quantum mechanics?

[kini.Amith]

One of the problems in QM i frequently encounter in all textbooks is the shifting of the wall problem which goes like this.
Assume a particle is in the ground state (or any stationary state) of an infinite potential well between 0<x<a. If the wall at a is suddenly shifted to 2a, then what is the probability of finding the particle in the ground state (or any other stationary state) of the new well.
The way I understood it, the solution involves the assumption that since the wall is shifted suddenly, the wave function does not change. However, since the system itself has changed, the new system has different stationary states. The original wave f is a linear combo of these eigenstates and the probability of finding it in one of these states is the corresponding coefficient mod-squared.

My question is since the wave function is unchanged, it looks like
ψ= sin(∏x/a), 0<x<a
ψ= 0 elsewhere
Then at x=a, dψ/dx is discontinuous, even though V≠∞.
How is such a wave function allowed?
Or is my understanding of the solution to the problem wrong?

 

[jtbell]

An "infinite potential well" is not posslble, strictly speaking; nor is the discontinuous dψ/dx at its boundary. It is an idealization similar to frictionless surfaces or massless strings in classical mechanics. Nevertheless, it is useful to consider such idealized situations because they are easier to work with mathematically, than non-infinite wells with continuous dψ/dx. They give results that are "close enough" to some physically realizable situations, and convey the essential physical principles (e.g. linear combinations of eigenstates).

 

[kini.Amith]

An "infinite potential well" is not posslble, strictly speaking; nor is the discontinuous dψ/dx at its boundary.

I understand that. I am not talking about the discontinuous dψ/dx at the boundary. In this case, the discontinuity appears in the middle of the new potential well, where V(x)= 0. Even theoretically, discontinuous 1st derivatives are allowed only at points where V(x)= ∞, according to Introduction to QM by Griffiths.

 

[Matterwave]

I understand that. I am not talking about the discontinuous dψ/dx at the boundary. In this case, the discontinuity appears in the middle of the new potential well, where V(x)= 0. Even theoretically, discontinuous 1st derivatives are allowed only at points where V(x)= ∞, according to Introduction to QM by Griffiths.

The discontinuity in the derivative should very quickly be smoothed out by the Schroedinger evolution of the wave function. Consider that it is just there for "an instant", and that has to do with the wall being "suddenly" expanded, which is, again, another approximation! (Though a useful one, otherwise one would have to work with the full machinery of the time dependent perturbation theory.)

 

[stevendaryl]

I understand that. I am not talking about the discontinuous dψ/dx at the boundary. In this case, the discontinuity appears in the middle of the new potential well, where V(x)= 0. Even theoretically, discontinuous 1st derivatives are allowed only at points where V(x)= ∞, according to Introduction to QM by Griffiths.

That's true for solutions of the time-independent Schrodinger's equation. For time-dependent solutions, you can find a solution with a discontinuous first-derivative with respect to x. For example, for a free particle (the potential is zero everywhere), let F(x) be the function satisfying:

F(x) = 1 if |x| &lt; L
F(x) = 0 if |x| &gt; L

Let \tilde{\psi}(k) be the Fourier transform of F(x). Then a solution to the time-dependent Schrodinger equation would be \psi(x,t) defined by:

\psi(x,t) = \int dk\ \tilde{\psi}(k) e^{i(kx - \omega t)}

where \omega = \dfrac{\hbar k^2}{2 m}

This solution has both \dfrac{\partial \psi}{\partial x} and \dfrac{\partial \psi}{\partial t} undefined at t=0, x= \pm L.

 

[tom.stoer]

I understand that. I am not talking about the discontinuous dψ/dx at the boundary. In this case, the discontinuity appears in the middle of the new potential well, where V(x)= 0. Even theoretically, discontinuous 1st derivatives are allowed only at points where V(x)= ∞, according to Introduction to QM by Griffiths.

The infinite square well is an artificial problem; the sudden shift is even more artificial; so the discontinuity is the artificial artifact of an artificial problem; why worry?

 

[Jilang]

I think an interesting problem would be if it is expanded to something different to an integer of a . What would happen then?
I don't think this an artificial problem as it can be achieved quite readily in waveguides.

 

[tom.stoer]

I don't think this an artificial problem as it can be achieved quite readily in waveguides.

I guess you would study a fast but not instantaneous moving wall, i.e [0,L(t)].

Then I would propose to expand a wave function ψ in terms of the "eigenfunctions"

(H_{L(t)} - E_{n,L(t)})u_{n,L(t)}(x) = 0

u_{n,L(t)}(x) = \sin k_n(t)\,x;\;k_n(t) = n\pi/L(t)

\psi(x,t) = \sum_n \psi_n(t)\,u_{n,L(t)}(x)

 

[Jilang]

Suppose though the walls were fixed and had a step in one of them?

 

[tom.stoer]

Suppose though the walls were fixed and had a step in one of them?

What has this to do with the original question

If the wall at a is suddenly shifted to 2a ...

 

[DrDu]

To make the problem well defined, I would map the original problem to one where the length is fixed by introducing a new coordinate y=2x, and then renaming y back to x. Hence, the wavefunction get's scaled and the mass of the particle changes but everything is defined on the same hilbert space.
Take also in mind that a discontinuous first derivative of the wavefunction means still a well defined wavefunction in hilbert space. However, this function is not in the domain of the Hamiltonian. For the discussion of time dependence this is not important as U=exp iHt is unitary and thus defined on the whole Hilbert space.

 

[kini.Amith]

The discontinuity in the derivative should very quickly be smoothed out by the Schroedinger evolution of the wave function. Consider that it is just there for "an instant", and that has to do with the wall being "suddenly" expanded, which is, again, another approximation!

I get it. I was afraid my understanding of the problem was wrong. Thanks.

 

[kini.Amith]

That's true for solutions of the time-independent Schrodinger's equation. For time-dependent solutions, you can find a solution with a discontinuous first-derivative with respect to x. For example, for a free particle (the potential is zero everywhere), let F(x) be the function satisfying:

F(x) = 1 if |x| &lt; L
F(x) = 0 if |x| &gt; L

Let \tilde{\psi}(k) be the Fourier transform of F(x). Then a solution to the time-dependent Schrodinger equation would be \psi(x,t) defined by:

\psi(x,t) = \int dk\ \tilde{\psi}(k) e^{i(kx - \omega t)}

where \omega = \dfrac{\hbar k^2}{2 m}

This solution has both \dfrac{\partial \psi}{\partial x} and \dfrac{\partial \psi}{\partial t} undefined at t=0, x= \pm L.

I see. thanks.

 

[tom.stoer]

To make the problem well defined, I would map the original problem to one where the length is fixed by introducing a new coordinate ...

This works for my proposal

... study a fast but not instantaneous moving wall, i.e [0,L(t)]

as well. You need to introduce a rescaled coordinate

\xi(t) = \frac{x}{L(t)};\;\xi \in [0,1]

which creates a time-dependent mass

m \to m\,L^2(t)

 

[tom.stoer]

This works for my proposal ... as well. You need to introduce a rescaled coordinate which creates a time-dependent mass

no, unfortunately it does not work b/c the i∂_t acts on the new coordinate and creates a term which violates the boundary condition; but I don't want to hijack this thread, so please continue