I figured out this one, just thought it was quite nice....(adsbygoogle = window.adsbygoogle || []).push({});

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.

[tex]

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

[/tex]

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

[tex]

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

[/tex]

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:

[tex]

{\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}

[/tex]

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

[tex]

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

[/tex]

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)

[tex]

\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}

[/tex]

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,

[tex]

\mbox{using:}\ \ \ \left\{

\begin{array}{lcl}

\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

\end{array}

\right.

[/tex]

We can now write down for our propagator:

[tex]

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

[/tex]

Regards, Hans

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Deriving the Dirac propagator 'purely' from causality

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Deriving Dirac propagator | Date |
---|---|

A Angular momentum operator derived from Lorentz invariance | Feb 17, 2018 |

A Covariant derivative in Standard Model | Nov 13, 2017 |

I What does it mean: "up to total derivatives" | May 9, 2017 |

How do Peskin/Schroeder derive 2-component Fierz identities? | Aug 16, 2015 |

Derivation of Dirac equation using Lorentz transform | Dec 29, 2009 |

**Physics Forums - The Fusion of Science and Community**