What is the suitable unitary operator for a rotating frame?

Hello, I have a Hamiltonian that describes a particle in a rotating cylindrical container at angular frequency ω. In the lab frame the Hamiltonian is time-dependent and takes the form (using cylindrical coordinates)

[itex]\mathcal H_o=\frac{\vec P^2}{2m}+V(r,\theta-\omega t,z)[/itex],

where [itex]V(r,\theta,z)[/itex] is the potential due to the container. In the frame of the rotating container, the Hamiltonian is independent of time and takes the form

[itex]\mathcal H=\frac{\vec p^2}{2m}-\vec\omega\cdot\vec{\mathcal L}+V(r,\theta,z)[/itex],

where [itex]\vec{\mathcal L}=\vec r\times\vec P[/itex] is the angular momentum operator.

I'm looking for a unitary operator [itex]\mathcal U[/itex] such that [itex]\mathcal H=\mathcal U^\dagger\mathcal H_o\mathcal U[/itex]. The operator [itex]e^{-i\frac{\vec\omega\cdot\vec{\mathcal L}}{\hbar}t}[/itex] does the job for the potential,

[itex]e^{i\frac{\vec\omega\cdot\vec{\mathcal L}}{\hbar}t}V(r,\theta-\omega t,z)e^{-i\frac{\vec\omega\cdot\vec{\mathcal L}}{\hbar}t}=V(r,\theta,z)[/itex],

but it leaves the kinetic term unchanged. So what is the unitary operator that adds a shift of [itex]\vec\omega\cdot\vec{\mathcal L}[/itex] to the kinetic term?
 

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,212
760
I don't know the answer, and I don't think I have time to look into this, but ...

it leaves the kinetic term unchanged.
It seems to me that the kinetic term should not remain unchanged.

Consider two frames in constant relative motion. Classically, both the momentum and kinetic energy of a particle are different in the two frames. A rotating frame is a sequence of comoving frames. How can the kinetic term remain unchanged?
 
It seems to me that the kinetic term should not remain unchanged.
There is no doubt that the operator [itex]e^{-i\frac{\vec\omega\cdot\vec{\mathcal L}}{\hbar}t}[/itex] leaves the kinetic term unchanged. This is a straightforward consequence of the well-known relations [itex][\vec P^2,\mathcal L_i]=0, i=x,y,z[/itex].

So what I'm telling is that the operator [itex]e^{-i\frac{\vec\omega\cdot\vec{\mathcal L}}{\hbar}t}[/itex] performs a ``static" rotation of the system at time t, that is to say, it expresses all vectors in a coordinate system that has been rotated, but it does not perform a dynamic rotation in the sense that it does not change the total momentum of the system.

So I am looking for an operator [itex]\mathcal A[/itex] that satisfies:

[itex]\mathcal A^\dagger\frac{\vec P^2}{2m}\mathcal A=\frac{\vec P^2}{2m}-\vec\omega\cdot\vec{\mathcal L}[/itex]
 

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,212
760
There is no doubt that the operator [itex]e^{-i\frac{\vec\omega\cdot\vec{\mathcal L}}{\hbar}t}[/itex] leaves the kinetic term unchanged. This is a straightforward consequence of the well-known relations [itex][\vec P^2,\mathcal L_i]=0, i=x,y,z[/itex].

So what I'm telling is that the operator [itex]e^{-i\frac{\vec\omega\cdot\vec{\mathcal L}}{\hbar}t}[/itex] performs a ``static" rotation of the system at time t, that is to say, it expresses all vectors in a coordinate system that has been rotated, but it does not perform a dynamic rotation in the sense that it does not change the total momentum of the system.

So I am looking for an operator [itex]\mathcal A[/itex] that satisfies:

[itex]\mathcal A^\dagger\frac{\vec P^2}{2m}\mathcal A=\frac{\vec P^2}{2m}-\vec\omega\cdot\vec{\mathcal L}[/itex]
Yes, I understand that transforming from one set of fixed axes to a rotated set of fixed does not change the kinetic energy magnitude or the magnitude of the momentum, but, as you have noted, this is not what you need, as you need dynamical rotations.

Now, you have motivated me sufficiently that I have looked up classical Hamiltonians and Lagrangians in rotating frames, and I see the result in Goldstein, but I am clueless, as to what the appropriate quantum operator is, even at the infinitesimal level.
 

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,212
760
As a student many years ago, I worked classically with time dependent rotation operators (matrices) that transform between an inertial frame and a rotating frame. I think that, because of the non-commutativity of the infinitesimal operators, the expression was something like the time-ordering of the exponential of the integral of infinitesimal operators??? I completely forget the details.
 
Thank you! I will look in this direction.
 
69
33
The Hamiltonian doesn't transform in such a simple way for time-dependent unitary transformations. To discover the proper transformation of the Hamiltonian, let $$|\psi(t)\rangle \rightarrow U(t)|\psi(t)\rangle$$ and substitue this into the Schrodinger equation.
$$i\hbar \frac{\partial}{\partial t}( \hat{U}(t)|\psi(t)\rangle)=\hat{H}\hat{U}(t)|\psi(t)\rangle$$
After some product rule and rearranging you recover the following equation:
$$i\hbar \frac{\partial}{\partial t}|\psi(t)\rangle=(\hat{U}^{\dagger}(t) \hat{H}\hat{U}(t)-i\hbar \hat{U}^{\dagger}(t) \frac{\partial \hat{U}(t)}{\partial t})|\psi(t)\rangle$$
That is, the Hamiltonian transforms like $$\hat{H} \rightarrow \hat{U}^{\dagger}(t)\hat{H}\hat{U}(t)-i\hbar \hat{U}^{\dagger}(t) \frac{\partial \hat{U}(t)}{\partial t}$$

I believe you will now find that your unitary transformation is the correct one and gives the desired result.
 
Yes, of course, I forgot that because [itex]\mathcal U[/itex] depends on time, the Hamiltonian that satisfies the Schrödinger equation is not just [itex]\mathcal U^\dagger\mathcal H\mathcal U[/itex].

Problem solved! Thank you very much!
 
Hello, I'm coming back on this problem because I think there is still some confusion. Consider the ground state [itex]\big|\psi(t)\rangle[/itex] in the rotating frame. Then the average of the angular momentum in this frame is given by

[itex]\big\langle\psi(t)\big|\mathcal L_z\big|\psi(t)\big\rangle[/itex]

Now if I want to know this average value measured in the lab frame I can either transform the ground state to the lab frame and sandwich [itex]\mathcal L_z[/itex] in between, or directly measure [itex]\mathcal U^\dagger \mathcal L_z\mathcal U[/itex] in the ground state, which are equivalent. The problem is that [itex][\mathcal L_z,\mathcal U]=0[/itex], so I will get exactly the same value in both frames... which cannot be! The two measured values of the angular momentum should differ by a constant proportional to [itex]\omega[/itex].

What am I missing?
 
69
33
The time evolution in the rotating frame comes from the full Hamiltonian which contains an angle-dependent potential. Therefore, $$[\mathcal L_z,e^{-i \mathcal H t/\hbar}]\neq 0$$ I haven't thought about this aspect of the problem before, so don't trust me too much.
 
I tried to think by analogy with the case where the sytem is in uniform translation instead of rotating. Then everything works well. The unitary operator of interest in this case is [itex]\mathcal U=e^{-i\frac{mv}{\hbar}\mathcal X}[/itex], and it transforms the momentum as expected, [itex]\mathcal U^\dagger\mathcal P\mathcal U=\mathcal P-mv[/itex].

This would suggest that the unitary operator for the rotating case would actually be something like [itex]\mathcal U=e^{-i\alpha\Theta}[/itex].
 
I am more and more convinced that the operator [itex]\mathcal U=e^{-i\frac{\omega t}{\hbar}\mathcal L_z}[/itex] is NOT the unitary operator that transforms from the lab frame to the rotating frame. This operator only performs a ``static" transformation to a rotated basis with an angle that depends on time, but this is not a ``dynamical" transformation to a rotating frame.

Let me explain what I mean with the example of a Galilean tranformation, for which there is no problem. Consider the one-dimensional Hamiltonian of a single particle in a potential, [itex]\mathcal H_o=\frac{\mathcal P^2}{2m}+\mathcal V(\mathcal X)[/itex]. And consider the operator [itex]\mathcal A=e^{i\frac{vt}{\hbar}\mathcal P}[/itex]. It is straightforward to check that this operator performs a time-dependent translation of the potential:

[itex]\mathcal A^\dagger\mathcal V(\mathcal X)\mathcal A=\mathcal V(\mathcal X-vt)[/itex].

However, it is clear that it does not perform a Galilean transformation, as it commutes with the momentum operator and leaves it unchanged:

[itex]\mathcal A^\dagger\mathcal P\mathcal A=\mathcal P[/itex].

On the other hand, the operator [itex]\mathcal B=e^{-i\frac{mv}{\hbar}\mathcal X}[/itex] leaves the potential unchanged and performs a translation of the momentum:

[itex]\mathcal B^\dagger\mathcal V(\mathcal X)\mathcal B=\mathcal V(\mathcal X)[/itex],
[itex]\mathcal B^\dagger\mathcal P\mathcal B=\mathcal P-mv[/itex].

Therefore the unitary operator that performs a transformation from the lab frame to a frame moving a constant velocity, that is to say a Galilean transformation, is given by:

[itex]\mathcal G=e^{i\frac{v}{\hbar}(t\mathcal P-m\mathcal X)}[/itex].

So you see that the [itex]\mathcal A[/itex] operator only translates the coordinates as a function of time, but it does not change to the moving frame. And [itex]\mathcal A[/itex] is the direct analog of [itex]\mathcal U=e^{-i\frac{\omega t}{\hbar}\mathcal L_z}[/itex]. The latter rotates the coordinates, but it does not change the angular momentum, so it does not change to the rotating frame.

Actually, if we are interested at time [itex]t=0[/itex], it is sufficient to consider the [itex]\mathcal B[/itex] operator, which is exactly the operator used to perform Galilean transformations in the article Superfluid density in continuous and discrete spaces: Avoiding misconceptions (http://journals.aps.org/prb/abstract/10.1103/PhysRevB.90.134503).

I just don't know how to generalize this to a rotating frame.
 
Last edited:
69
33
This is an interesting problem, and I'd like to help you figure it out. I'm a little busy right now, but I will try and think through it when I get time. I still don't believe that commutator is zero since the Hamiltonian has angular dependence in the potential. With respect to your last post, have you tried letting $$m \rightarrow mr^2, \, \, v \rightarrow \omega, \, \, \hat{p} \rightarrow \hat{L}_z, \, \, \hat{x} \rightarrow \hat{\theta}$$ Good luck!
 
Yes I tried. In that case, the unitary operator becomes [itex]\mathcal U=e^{-i\frac{\omega}{\hbar}(t\mathcal L_z+mr^2\theta)}[/itex]. It does the expected transformation on the potential,

[itex]\mathcal U^\dagger V(r,\theta-\omega t,z)\mathcal U=V(r,\theta,z)[/itex],

that is to say it removes the time dependence of the potential (since the axes are rotating with the container). For the kinetic term, let us consider the Laplacian in cylindrical coordinates:

[itex]\Delta=\frac{\partial^2}{\partial r^2}+\frac{1}{r}\frac{\partial}{\partial r}+\frac{1}{r^2}\frac{\partial^2}{\partial\theta^2}+\frac{\partial^2}{\partial z^2}[/itex].

Then the kinetic term transforms as

[itex]\mathcal U^\dagger \frac{-\hbar^2}{2m}\Delta\mathcal U=\frac{-\hbar^2}{2m}\Delta-\omega\mathcal L_z+4i\hbar\omega\Big(1+r\frac{\partial}{\partial r}\Big)\theta[/itex],

for an infinitesimal [itex]\omega[/itex]. I guess we have to integrate over something for the above equation to be valid for a finite [itex]\omega[/itex]. But the point is that the last term in the above equation is "residual", since I expect the Hamiltonian in the rotating frame to be:

[itex]\mathcal H=-\frac{\hbar^2}{2m}\Delta-\omega\mathcal L_z+V(r,\theta,z)[/itex].

I will try to derive the exact expression for a finite [itex]\omega[/itex].
 
Last edited:

DrDu

Science Advisor
5,993
741
Use the BCH (Baker, Campbell, Hausdorff) formula
 
Last edited:
Here is another very simple argument that supports the fact that [itex]\mathcal U(\vec\omega)=e^{i\frac{\vec\omega t}{\hbar}\cdot\vec{\mathcal L}}[/itex] does not transform the system from the lab frame to the rotating frame. Consider a general Galilean transformation with velocity [itex]\vec v[/itex]. We can easily check that the unitary operator [itex]\mathcal G(\vec v)=e^{i\frac{\vec v}{\hbar}\cdot(t\vec{\mathcal P}-m\vec{\mathcal R})}[/itex] does the job:
[itex]\quad\mathcal G^\dagger(\vec v)\vec{\mathcal R}\mathcal G(\vec v)=\vec{\mathcal R}-\vec v t[/itex]
[itex]\quad\mathcal G^\dagger(\vec v)\vec{\mathcal P}\mathcal G(\vec v)=\vec{\mathcal P}-m\vec v[/itex]
Now, it is straighforward to check that [itex]\mathcal G(\vec\omega\times\vec{\mathcal R})=\mathcal U(\vec\omega)[/itex]. Thus, the operator [itex]\mathcal U(\vec\omega)[/itex] appears as a particular case of a Galilean transformation, hence it cannot describe a transformation from the inertial lab frame to the non-inertial rotating frame.
 

DrDu

Science Advisor
5,993
741
Nobody doubts that the operator you derived is correct. For the kinetic energy it implements the substitution ##L_z \to L_z+mr^2\omega##.
 
Nobody doubts that the operator you derived is correct. For the kinetic energy it implements the substitution ##L_z \to L_z+mr^2\omega##.
But the problem is that the operator commutes with [itex]\mathcal L_z[/itex], so I measure the same angular momentum in the lab frame and in the rotating frame:
[itex]\quad\big\langle\mathcal L_z\big\rangle_{\textrm{lab}}=\big\langle\psi_o\big|\mathcal L_z\big|\psi_o\big\rangle[/itex]
[itex]\quad\big\langle\mathcal L_z\big\rangle_{\textrm{rot}}=\big\langle\psi_o\big|\mathcal U^\dagger\mathcal L_z\mathcal U\big|\psi_o\big\rangle=\big\langle\psi_o\big|\mathcal L_z\big|\psi_o\big\rangle[/itex]
How is that possible?
 

DrDu

Science Advisor
5,993
741
But the problem is that the operator commutes with [itex]\mathcal L_z[/itex], so I measure the same angular momentum in the lab frame and in the rotating frame:
[itex]\quad\big\langle\mathcal L_z\big\rangle_{\textrm{lab}}=\big\langle\psi_o\big|\mathcal L_z\big|\psi_o\big\rangle[/itex]
[itex]\quad\big\langle\mathcal L_z\big\rangle_{\textrm{rot}}=\big\langle\psi_o\big|\mathcal U^\dagger\mathcal L_z\mathcal U\big|\psi_o\big\rangle=\big\langle\psi_o\big|\mathcal L_z\big|\psi_o\big\rangle[/itex]
How is that possible?
I have problems to follow your argument. U does not commute with ##L_z## so that
[itex]\big\langle\psi_o\big|\mathcal U^\dagger\mathcal L_z\mathcal U\big|\psi_o\big\rangle=\big\langle\psi_o\big|\mathcal L_z+mr^2\omega\big|\psi_o\big\rangle[/itex]
 
I have problems to follow your argument. U does not commute with ##L_z## so that
[itex]\big\langle\psi_o\big|\mathcal U^\dagger\mathcal L_z\mathcal U\big|\psi_o\big\rangle=\big\langle\psi_o\big|\mathcal L_z+mr^2\omega\big|\psi_o\big\rangle[/itex]
Which [itex]\mathcal U[/itex] are we talking about? I was talking about [itex]\mathcal U=e^{-i\frac{\omega t}{\hbar}\mathcal L_z}[/itex]. It commutes with [itex]\mathcal L_z[/itex].
 

DrDu

Science Advisor
5,993
741
I was talking about the operator you proposed in #15.
 
I was talking about the operator you proposed in #15.
Yes, but then the problem is that it does not transform the Hamiltonian as expected. There are some residual terms, unless I made a mistake in my calculation. Or unless we can show that the exact residual terms just lead to a redefinition of the zero of the energy.
 

DrDu

Science Advisor
5,993
741
In #16 I tried to give you a hint how to proceed. There are no residual terms besides the covariant replacement ##\partial /\partial \theta \to \partial/\partial \theta +imr^2 \omega/\hbar##.
 
In #16 I tried to give you a hint how to proceed. There are no residual terms besides the covariant replacement ##\partial /\partial \theta \to \partial/\partial \theta +imr^2 \omega/\hbar##.
Then I guess I need to extend my background about covariance. Thank you!
 

Related Threads for: What is the suitable unitary operator for a rotating frame?

  • Posted
Replies
2
Views
1K
Replies
7
Views
2K
Replies
1
Views
2K
  • Posted
Replies
14
Views
1K
Replies
2
Views
2K
  • Posted
Replies
4
Views
1K
Replies
3
Views
2K
  • Posted
Replies
6
Views
3K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top