2
$\begingroup$

In the context of this question I have considered doing some further calculations to check if I get somewhere. The first step was to solve the PDE

$$\frac{\partial \psi}{\partial z} = \frac{i}{2k} \frac{\partial^2 \psi}{\partial x^2}$$ which formally is a Schrödinger equation where the potential is $V(x) = 0$ and instead of time I have some spatial variable. This version comes from optics, but has a similar form.

At some point during my calculations I realized that I have to compute the solution of this PDE for an initial condition $\psi_0(x) = \delta(x)$ so I started doing that. My approach is based on using the Fourier Transform along the $x$-axis such that the PDE becomes

$$\frac{\partial \tilde{\psi}}{\partial z} = -\frac{i2\pi^2\xi^2}{k} \tilde{\psi}$$ which has the solution

$$\tilde{\psi} = \tilde{\psi_0} \exp \left(-\frac{i2\pi^2\xi^2}{k} z \right).$$

From this point the solution is retrieved using the inverse Fourier Transform which formally gives

$$\psi = \psi_0 * \mathscr{F}^{-1} \exp\left( -\frac{i2\pi^2\xi^2}{k} z\right)$$

where $*$ stands for convolution.

I have computed the inverse of the second term by hand and I have also checked it using Wolfram Alpha, and, as far as I can say, it should allow for the solution to be written as

$$\psi = \psi_0 * \left(\sqrt{\frac{k}{i2\pi z}}\exp (\frac{ikx^2}{2z})\right)$$

Now, if the initial conditions is $\psi_0(x) = \delta(x)$ as I have mentioned above, this means that the solution takes the form

$$\psi = \sqrt{\frac{k}{i2\pi z}}\exp \left(\frac{ikx^2}{2z}\right)$$

Now that I got the answer I looked at it and things did not look right. First of all, Why is the solution's amplitude decaying on the entire spatial domain proportional to $1/\sqrt{z}$?

Second, I did the computation for a gaussian initial condition with some width and if I take the width to be smaller and smaller, the solution spreads more rapidly, so I would assume that for a width that goes to 0 the solution should spread "instantly". But this implies that if I "measure" the position of a particle, got the delta Dirac function for the position and then compute how it evolves from that point onward, the position of my particle would be unknown and equally probable to be anywhere on the $x$-axis $\forall z>0$.

I am aware that my equation uses $z$ instead of $t$ and the constants are different, the reason being that my PDE comes from optics (paraxial approximation of the wave equation), but formally it is the same PDE with the same interpretation as for the quantum case, just scaled differently.

My guess here is that this method of solving the PDE fails when I do either the inverse Fourier Transform, either the convolution, because the second term is not square-integrable or something related to that. I am not sure however.


EDIT: In order to clarify the difference between my equation and the Schrödinger equation, since I mentioned that they are formally identical, I will write both of them as they are usually found. For Schrödinger with only one spatial coordinate and no potential term (I did simplify by $ih$):

$$\frac{\partial \psi}{\partial t} = i\frac{h}{2m} \frac{\partial^2 \psi}{\partial x^2}$$

My equation from optics:

$$\frac{\partial \psi}{\partial z} = \frac{i}{2k} \frac{\partial^2 \psi}{\partial x^2}$$

Now, ignoring the values of the constants, the two equations are identical in the sense that for the standard quantum picture $t$ is time and $x$ is space and the equation describes how the wavefunction evolves in time (along the $t$ axis), while for my case (optics) $z$ is the propagation axis and $x$ is the transverse axis and the equation describes how the optical wave evolves during propagation along the $z$ axis. So, if one solves one of the two forms, the solution should be, up to some scaling, the same for the other. This is the reason why I can consider the PDE as a IVP, not a BVP.

$\endgroup$
1
  • 1
    $\begingroup$ If nothing else, note that delta functions (as well as gaussians if they are sharp enough) break the assumptions of the paraxial approximation, which requires the lateral variation lengthscales to be significantly larger than the wavelength. $\endgroup$ Commented Mar 21, 2021 at 20:41

2 Answers 2

2
$\begingroup$

Your calculations are all correct (from what I can tell) and completely applicable. Moreover, your conclusion is also correct:

But this implies that if I "measure" the position of a particle, got the delta Dirac function for the position and then compute how it evolves from that point onward, the position of my particle would be unknown and equally probable to be anywhere on the $x$-axis $\forall z>0$.

This is true, and it is simply an expression of the Heisenberg uncertainty principle. If you measure the position with an apparatus with uncertainty $\Delta x$, you will collapse the state to a localized wavefunction of that size, and then the uncertainty principle requires the momentum uncertainty $\Delta p \geq \hbar/\Delta x$ to grow as $\Delta x$ gets smaller. Thus, if $\Delta x$ becomes small, then the particle has a large velocity spread, and it will diffuse very quickly after measurement to a very large spatial spread.

Moreover, things are easier if you don't involve matter waves into any of this. If you come from optics, the uncertainty principle is entirely uncontroversial (you just substitute the wavenumber $k$ instead of the momentum, and forget about $\hbar$), and in this incarnation it simply describes single-slit diffraction: the narrower the slit, the faster the diffraction.


Edit in response to your comment,

Just to make sure, one thing to me is not as obvious. How does the decrease of the amplitude proportional to $1/\sqrt{z}$ fit in this picture? For the gaussian case I calculate the solution, apply a limit and, if I understand it correctly, I should get an amplitude that goes to 0 because it spreads on the entire domain. Here on the other hand it is already constant on the entire domain, but it starts from an infinite value and decays.

The state is not normalizable to begin with, so worrying about the norm is pretty pointless. That said, the local decrease of the amplitude does carry significance, not through the global norm but rather through the local conservation of probability (i.e. the continuity equation for $|\psi|^2$, which holds regardless of global normalizability as a consequence of the Schrödinger equation). The $1/\sqrt{z}$ dependence of $\psi$ tells you that $\nabla\cdot\vec j$ is nonzero, i.e. more particles leave any stretch of line than enter it from the other side.

This comes from the phase profile of the wavefunction (depicted in the figure here), which has the higher-momentum components increasingly far from the center, and diffusing outwards. The probability at each point is decreasing because that population is moving outwards, with not-quite-so-much population diffusing into that line element from the center. For a gaussian wavepacket, even in the flat center, this is fine as there is ultimately an edge that's expanding outwards.

For the delta spike, there is no edge, but that doesn't mean you can't have a conveyor belt transferring population out to infinity without end, not unlike the guests in Hilbert's hotel.

$\endgroup$
3
  • $\begingroup$ Just to make sure, one thing to me is not as obvious. How does the decrease of the amplitude proportional to $1/\sqrt(z)$ fit in this picture? For the gaussian case I calculate the solution, apply a limit and, if I understand it correctly, I should get an amplitude that goes to 0 because it spreads on the entire domain. Here on the other hand it is already constant on the entire domain, but it starts from an infinite value and decays. $\endgroup$ Commented Mar 22, 2021 at 9:49
  • $\begingroup$ @VictorPalea See edited answer. $\endgroup$ Commented Mar 22, 2021 at 10:10
  • $\begingroup$ When updating this answer I thought this previous thread would be relevant. It isn't directly applicable, so I didn't include it, but it's still a fun example that can be of related interest. $\endgroup$ Commented Mar 22, 2021 at 10:15
1
$\begingroup$

Your PDE: $$\frac{\partial \psi}{\partial z} = \frac{i}{2k} \frac{\partial^2 \psi}{\partial x^2}$$ is solvable by separation of variables. Assume ('Ansatz'): $$\psi(x,z)=X(x)Z(z)$$ Insert into the PDE: $$XZ'=\frac{i}{2k}ZX''$$ Divide through by $XZ$: $$\frac{Z'}{Z}=\frac{i}{2k}\frac{X''}{X}$$ $$\frac{2k}{i}\frac{Z'}{Z}=\frac{X''}{X}=-\lambda^2$$ where $\lambda^2$ is a separation constant. This gives us: $$X''(x)+\lambda^2 X(x)=0\tag{1}$$ $$\frac{Z'(z)}{Z(z)}=-\lambda^2 \frac{i}{2k}\tag{2}$$ From $(1)$: $$X(x)=A\sin\lambda x+B\cos\lambda x$$ And from $(2)$: $$Z(z)=C\exp\Big(-\lambda^2 \frac{i}{2k}z\Big)$$ Now, to determine the integration constants $A$, $B$ and $C$, as well as the separation constant, we need boundary conditions. $2$ for $X(x)$ and $1$ for $Z(z)$ but these appear not to have been provided.

$\endgroup$
4
  • $\begingroup$ I am aware of this way of solving the PDE but I think that it is fit for a boundary value problem, not for my case which is an initial value problem. $\endgroup$ Commented Mar 21, 2021 at 18:50
  • 1
    $\begingroup$ I don't understand how it can be a initial value problem, as the PDE doesn't contain time. Or is $z$ time? $\endgroup$
    – Gert
    Commented Mar 21, 2021 at 18:57
  • $\begingroup$ So my attempt at mentioning this has to be changed because it did not do the thing. I will add an extra paragraph that explains what each coordinate means. $\endgroup$ Commented Mar 21, 2021 at 19:28
  • $\begingroup$ @Gert PDEs don't know anything about "time" ;-). It's a parabolic differential equation identical in form to the Schrödinger equation; therefore, all the mathematics that are applicable to the TDSE are applicable here. This particular identification (i.e. matching the parabolic PDE of the Maxwell wave equation under the paraxial approximation to a Schrödinger equation, with the longitudinal coordinate $z$ taking the role of time in usual QM) is a widespread and perfectly standard construct. $\endgroup$ Commented Mar 22, 2021 at 10:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.