Monday, September 17, 2018

quantum mechanics - Uncertainty relation for non-simultaneous observation


Heisenberg's uncertainty relation in the Robertson-Schroedinger formulation is written as,


σ2Aσ2B|12{ˆA,ˆB}ˆAˆB|2+|12[ˆA,ˆB]|2

where σ2A=ψ|(ˆAˆA)2|ψ and σ2B=ψ|(ˆBˆB)2|ψ calculated in the same state ψ for both observables ˆA and ˆB.


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)

for arbitrary δt and ψ(t) is evolving according to the time-dependent Schroedinger equation ˆHψ(t)=iψ(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/2Reixyψ(y)dx

It is clear that if ψ is very concentrated around the value p0/, then Fψ tends to approach const.eip0x/(2π)1/2
In other words:


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=1P11P1+iPiiPi

where Pλ is the orthogonal projector onto the eigenspace of F with eigenvalue λ{±1,±i}. We can re-write the previous spectral decomposition as F=ei0Q0+eiπ/2Qπ/2+eiπQπ+ei3π/2Q3/2=eiH
where we have introduced the selfadjoint operator H=0Q0+(π/2)Qπ/2+πQπ+(3π/2)Q3/2
with obviously Q0:=P1,Qπ/2:=Pi,Qπ:=P1,Q3π/2:=Pi.
H has pure point spectrum made of the four eigenvalues 0,π/2,π,3π/2.



Let us finally consider the time evolutor Ut=eitH. According to the definitions above, it reads Ut=ei0tQ0+eitπ/2Qπ/2+eitπQπ+ei3tπ/2Q3/2.

As a consequence: U0=IandU1=F.


This discussion permits to prove that the requested lower limit for σ(t)2Xσ(t+δt)2P

is zero.


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

can be made as small as wanted choosing ψ arbitrarily concentrated around p0/.


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

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...