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

Deriving the Dirac propagator 'purely' from causality

  1. Oct 18, 2007 #1

    Hans de Vries

    User Avatar
    Science Advisor

    I figured out this one, just thought it was quite nice....

    We start with the only requirement that the Green's function of the propagator is causal in the sense that it propagates stricktly forward in time, so that the Green's function is zero at [itex]t<0[/itex]. Using the Heaviside step function we can express this as follows.

    {\cal D}(r,t)\ =\ {\cal D}(r,t)\ \theta(t)

    A multiplication with the Heaviside function amounts to a convolution with it's Fourier transform in momentum space

    {\cal D}(\omega,k)\ =\ {\cal D}(\omega,k)\ * \ \frac{1}{2}\left(\delta(\omega)-\frac{i}{\pi \omega}\right)

    The convolution with the delta gives us the function itself, while the convolution with [itex]1/\omega[/itex] is a standard transformation known as the Hilbert transform. This transformation and its inverse are defined by:

    {\cal H}\left\{\ \textit{f}\ (\omega)\ \right\}\ = -\frac{1}{\pi}\int_{-\infty}^{\infty}\frac{1}{\eta-\omega}\ \textit{f}\ (\omega)\ d\eta
    \qquad \mbox{and} \quad
    {\cal H}^{-1} = -{\cal H}

    This allows us to write for the propagator in momentum space.

    {\cal D}(\omega,k)\ =\ \frac{1}{2}\left(\ {\cal D}(\omega,k)\ +\ i {\cal H}\left\{\ {\cal D}(\omega,k)\ \right\}\ \right)

    From the right hand side we see that the propagator can be expressed as a complex sum of a function and its own Hilbert transform. The two halves together form a so-called Hilbert pair. The closest we find in terms of the usual propagators involving the d'Alembertian is: (From Stephan L. Hahn's book on the Hilbert transform)

    \frac{a}{\omega^2-a^2} \quad
    \begin{array}{c} {\cal H}_\omega \\ \mbox{\Large $\Leftrightarrow$} \end{array}
    \quad -\frac{i\omega}{\omega^2-a^2}

    We already know what the denominators should be, but what about the numerators? Especially the factor [itex]a[/itex] which should be the square root of [itex]a^2[/itex]. Well, of course somebody already solved this almost 80 years ago. So,

    \mbox{using:}\ \ \ \left\{
    \omega^2 & \Rightarrow & E^2 \\
    a^2 & \Rightarrow & p_x^2 + p_y^2 + p_z^2 + m^2 \\
    \omega & \Rightarrow & E,\ \ \mbox{or better:}\ \ \sqrt{I}\ E \\
    a & \Rightarrow & \alpha_1 p_x + \alpha_2 p_x + \alpha_3 p_x + \beta m

    We can now write down for our propagator:

    {\cal D}(E,p)\ =\ \frac{E+\vec{\alpha}\cdot\vec{p}+\beta m}{E^2-p^2-m^2}

    Regards, Hans
    Last edited: Oct 18, 2007
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted