Heisenberg's uncertainty relation in the Robertson-Schroedinger formulation is written as,
σ2Aσ2B≥|12⟨{ˆA,ˆB}⟩−⟨ˆA⟩⟨ˆB⟩|2+|12⟨[ˆA,ˆB]⟩|2
Now my question is what happens to the other side of the inequality if we calculate one variance for state ψ(t) and then let the state evolve to ψ(t+δt) and now calculate the other variance in the product. In other words, what is the QM lower limit of this product: ⟨ψ(t)|(ˆA−⟨ˆA⟩)2|ψ(t)⟩ ⟨ψ(t+δt)|(ˆB−⟨ˆB⟩)2|ψ(t+δt)⟩
Answer
The requested lower limit is zero already for X and P as I am going to prove.
Let us consider the Fourier-Plancherel transform F:L2(R,dx)→L2(R,dx), formally for integrable functions (otherwise a further extension is necessary) (Fψ)(x)=1(2π)1/2∫Reixyψ(y)dx
F transforms approximated eigenvectors of the position operator X to approximated eigenvectors of the momentum operator P.
from now on I set ℏ=1 for the sake of semplicity.
It is known that the spectrum of the unitary operator F is made of four elements ±1,±i. The eigenvectors are nothing but the Hermite functions, but the details are not relevant here. From the spectral theorem of unitary operators we can therefore write down F=1P1−1P−1+iPi−iP−i
Let us finally consider the time evolutor Ut=e−itH. According to the definitions above, it reads Ut=e−i0tQ0+e−itπ/2Qπ/2+e−itπQπ+e−i3tπ/2Q3/2.
This discussion permits to prove that the requested lower limit for σ(t)2Xσ(t+δt)2P
It is sufficient to set t=0 and δt=−1 and referring to a state ψ at t=0 which is sufficiently concentrated around p0/ℏ, so that σ(0)2X can be made as small as wanted. With that choice σ(−1)2P is the standard deviation of Fψ which is arbitrarily close to an eigenvector of P so that, in turn, also σ(−1)2P tends to vanish. The product σ(0)2Xσ(−1)2P
ADDENDUM. I was a bit sloppy on this point, but the fact that Fψ approaches a normalized eigevector of the momentum as ψ approaches a a normalized eigenvector of X easily follows form the spectral theorem using the fact that the spectral measure of P and that of X are bijectively related through the Fourier transform.
No comments:
Post a Comment