- #1

Hans de Vries

Science Advisor

Gold Member

- 1,090

- 25

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.

[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

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

Last edited: