Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Foldy-Wouthusien velocity operator

  1. Mar 2, 2008 #1
    If one takes the derivative of the position operator in the Dirac Hamiltonian, the result is [itex]\dot{\vec{x}} = c \vec{\alpha}[/itex]. This, however, disagrees with the classical limit in which [itex]\dot{\vec{x}}\sim \dot{\vec{p}}/m[/itex].

    I'm trying to show that the time derivative of the position operator [itex]\vec{X} = U^\dag \vec{x} U[/itex] is [itex]\frac{c^2\vec{p}}{E^2}H[/itex], and thus satisfies the non-relativistic approximation.

    [itex]U = \frac{\beta \vec{\alpha}\cdot \vec{p} c + mc^2 + E}{\sqrt{2E(mc^2+E)}}[/itex] is the FW transformation (Relativistic quantum mechanics by Greiner p. 277 or Advanced Quantum Mechanics by Sakurai p. 176) .

    I tried using the Heisenberg equation of motion

    [itex]\dot{\vec{X}} = \frac{1}{i\hbar}[X,H][/itex]

    but the expression for X is long and complicated so I wasn't able to get to the result using this method.

    I note that [itex]\frac{1}{i\hbar}[\vec{x},E] = (\vec{p}c^2)/E[/itex] which looks a bit like the answer.

    I'm also aware that [itex]U^\dag H U = \beta E[/itex]. So I want to show that

    [itex]\frac{1}{i\hbar}[U^\dag \vec{x} U, H ] = \frac{1}{i\hbar}[\vec{x}, \beta U^\dag H U ][/itex] (since [itex]\beta^2=1[/itex]) but I can't figure out how to show this.

    Any help would be greatly appreciated!
     
  2. jcsd
  3. Mar 2, 2008 #2

    olgranpappy

    User Avatar
    Homework Helper

    you mean
    [tex]
    \frac{p}{m}
    [/tex]
    not
    [tex]
    \frac{\dot p}{m}
    [/tex]
    no, one finds (with H being the dirac hamiltonian)
    [tex]
    \dot \vec x = -i[\vec x,H]/\hbar=-i[\vec x, \vec c\alpha\cdot\vec p]/\hbar=c\vec \alpha
    [/tex]
     
  4. Mar 2, 2008 #3

    StatusX

    User Avatar
    Homework Helper

    This also addresses your other thread (where my comment wasn't correct), but I thought it was more relevant here.

    You can always just change the basis of your Hilbert space by applying an operator U to all states and operators (ie, an operator A becomes UAUt, while a state [itex]\Psi[/itex] becomes U[itex]\Psi[/itex]). The same operator should be applied at all times, whether you're in the Schrodinger or Heisenberg picture. But then all expectation values are unchanged, and, eg, for the Foldy-Wouthuysen transformation, you're not going to get a better behaved position operator.

    What's done in the FW transformation is a unitary transformation is found that puts the Hamiltonian:

    [tex]H = \beta m + \alpha \cdot p [/tex]

    into the form:

    [tex]H' =UHU^{-1} = \beta \sqrt{m^2 + p^2} [/tex]

    Note this is written in terms of the old variables. Of course, if we wrote it in terms of p', we'd get something of the form of the first equation above, since all U does is affect a change of basis. Similarly, you'll trivially find that [itex] \dot x = i [H,x] = \alpha[/itex] is equal to [itex]\dot x' [/itex], if we define this as [itex]i[H',x'][/itex].

    However, what we really want is a new position operator. So, we stay in the old basis, but define:

    [tex] X = U^{-1}xU [/tex]

    (note this is not the same as x') This will turn out to be a sort of mean position operator. Then we have:

    [tex] \dot X = i [H,X] [/tex]

    This is not equal to [itex]\alpha[/itex], but is simply related to the more easily computed [itex]i[H',x][/itex], which is just the same equation written in terms of the alternate basis (and explains why we use X and not x'), and which you've already found.

    Alternatively, you could work in the new basis, and just borrow the old position operator x, which will now describe a mean position operator. This is the way FW do it in their original paper, but it's slightly confusing since you're using the same position operator you started with to describe something completely different.
     
    Last edited: Mar 2, 2008
  5. Mar 3, 2008 #4
    Thanks for replying.

    How do you define [itex]x',p'[/itex] etc.? You also say that [itex]i[H,X][/itex] is simply related to [itex]i[H',x][/itex] which is indeed easy to compute. In fact

    [itex]i[H',x] = \frac{c^2\vec{p}}{E}[/itex]

    I'm afraid I don't say what the simply relationship is? Could you please expand upon that?
     
  6. Mar 3, 2008 #5

    StatusX

    User Avatar
    Homework Helper

    All operators in the new basis are related to the old ones by [itex]A'=UAU^{-1}[/itex] In particular:

    [tex] i[H,X] = i[U^{-1}H'U,U^{-1}xU] = U^{-1} i[H',x] U [/tex]

    This isn't that hard to compute directly in terms of p, giving something pretty simple, but not quite what you're meant to show. However, if you define [itex]P=U^{-1}pU[/itex], a "mean momentum operator", you get:

    [tex] \dot X = i[H,X] = \frac{c^2 P}{E(P)} [/tex]

    where [itex]E(P)=\sqrt{P^2+m^2}[/itex]. In the non-relativistic limit it is these mean operators that we interpret as the position and momentum operators. If you have access to it, the original paper is very readable.
     
    Last edited: Mar 3, 2008
  7. Mar 3, 2008 #6

    Hans de Vries

    User Avatar
    Science Advisor

    Actually this is correct, The Dirac equation produces the right velocity operator.


    It is a matrix operator and it must operate on the four spinor in the correct way.
    For instance if [itex]-i\hbar\partial/\partial t[/itex] is the energy operator then we must apply it like:

    [tex] \frac{1}{2E}\left( \begin{array}{c} \psi_L^* \\ \psi_R^* \end{array} \right)\ \left(-i\hbar\ \mbox{\Large I}\ \frac{\partial}{\partial t}\ \right)\ \left( \begin{array}{c} \psi_L \\ \psi_R \end{array} \right)\ \ =\ \ E[/tex]

    Where 1/2E is a normalization constant. If one now uses the velocity operator
    instead then we get:

    [tex] \frac{1}{2E}\left( \begin{array}{c} \psi_L^* \\ \psi_R^* \end{array} \right)\ c \ \vec{\alpha}\ \left( \begin{array}{c} \psi_L \\ \psi_R \end{array} \right)\ \ =\ \ v[/tex]


    This is most easily shown in the 2d Chiral Dirac equation where we have:

    [tex] \frac{1}{2E}\left( \begin{array}{c} \psi_L^* \\ \psi_R^* \end{array} \right)\ \left( \begin{array}{cc} -c & 0 \\ \ \ 0 & c \ \ \end{array} \right)\ \left( \begin{array}{c} \psi_L \\ \psi_R \end{array} \right)\ \ =\ \ \ v[/tex]


    Which for a plane wave solution comes down to:

    [tex] \frac{1}{2E}\left( \begin{array}{c} \sqrt{E-cp} \\ \sqrt{E+cp} \end{array} \right)\ \left( \begin{array}{cc} -c & 0 \\ \ \ 0 & c \ \ \end{array} \right)\ \left( \begin{array}{c} \sqrt{E-cp} \\ \sqrt{E+cp} \end{array} \right)\ \ =\ \ \ \frac{2pc^2}{2E}\ \ =\ \ \frac{2\ \gamma mv\ c^2}{2\ \gamma mc^2}\ \ =\ \ v[/tex]



    See my book on the Dirac equation here, section 11.4
    My book, The Dirac equation

    The velocity operator for the full Chiral Dirac equation is:

    [tex] c \left( \begin{array}{cc} -\sigma^i & 0 \\ \ \ 0 & \sigma^i \ \ \end{array} \right) [/tex]


    Regards, Hans
     
    Last edited: Mar 3, 2008
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?