Deriving the Dirac propagator 'purely' from causality

Hans de Vries
Science Advisor
Gold Member
Messages
1,094
Reaction score
31
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 t<0. Using the Heaviside step function we can express this as follows.

<br /> {\cal D}(r,t)\ =\ {\cal D}(r,t)\ \theta(t) <br />A multiplication with the Heaviside function amounts to a convolution with it's Fourier transform in momentum space

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

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

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

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

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

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)

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

We already know what the denominators should be, but what about the numerators? Especially the factor a which should be the square root of a^2. Well, of course somebody already solved this almost 80 years ago. So,<br /> \mbox{using:}\ \ \ \left\{ <br /> \begin{array}{lcl}<br /> \omega^2 &amp; \Rightarrow &amp; E^2 \\ <br /> a^2 &amp; \Rightarrow &amp; p_x^2 + p_y^2 + p_z^2 + m^2 \\<br /> \omega &amp; \Rightarrow &amp; E,\ \ \mbox{or better:}\ \ \sqrt{I}\ E \\<br /> a &amp; \Rightarrow &amp; \alpha_1 p_x + \alpha_2 p_x + \alpha_3 p_x + \beta m<br /> \end{array}<br /> \right.<br />We can now write down for our propagator:

<br /> {\cal D}(E,p)\ =\ \frac{E+\vec{\alpha}\cdot\vec{p}+\beta m}{E^2-p^2-m^2} <br />Regards, Hans
 
Last edited:
Toponium is a hadron which is the bound state of a valance top quark and a valance antitop quark. Oversimplified presentations often state that top quarks don't form hadrons, because they decay to bottom quarks extremely rapidly after they are created, leaving no time to form a hadron. And, the vast majority of the time, this is true. But, the lifetime of a top quark is only an average lifetime. Sometimes it decays faster and sometimes it decays slower. In the highly improbable case that...
I'm following this paper by Kitaev on SL(2,R) representations and I'm having a problem in the normalization of the continuous eigenfunctions (eqs. (67)-(70)), which satisfy \langle f_s | f_{s'} \rangle = \int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du. \tag{67} The singular contribution of the integral arises at the endpoint u=1 of the integral, and in the limit u \to 1, the function f_s(u) takes on the form f_s(u) \approx a_s (1-u)^{1/2 + i s} + a_s^* (1-u)^{1/2 - i s}. \tag{70}...
Back
Top