- #1
Ben1729
- 4
- 0
I've been going through a derivation of the massive boson propagator. The only trouble is I don't feel satisfied by one particular step. I've started getting the problem written up in tex so here goes:
[tex]
\newcommand{\del}{\partial}
\newcommand{\eqn}[1]{\begin{equation}\begin{array}{rl}#1\end{array}\end{equation}}
\newcommand{\where}[1]{\\\textrm{where}\quad #1}
\newcommand{\dm}{\del_{\mu}}
\newcommand{\dn}{\del_{\nu}}
\newcommand{\dM}{\del^{\mu}}
\newcommand{\dN}{\del^{\nu}}
\newcommand{\vm}{V_{\mu}}
\newcommand{\vn}{V_{\nu}}
\newcommand{\vM}{V^{\mu}}
\newcommand{\vN}{V^{\nu}}
\newcommand{\dmvn}{\dm\vn}
\newcommand{\dnvm}{\dn\vm}
\newcommand{\dMvN}{\dM\vN}
\newcommand{\dNvM}{\dN\vM}
\newcommand{\vmn}{V_{\mu\nu}}
\newcommand{\vMN}{V^{\mu\nu}}
For a free (non-interacting) massive vector field V the lagrangian is:
\eqn{
L&=-\frac{1}{4}V_{\mu\nu}V^{\mu\nu}+\frac{M^2}{2}V^{\mu}V_{\mu}\\
\where{V_{\mu\nu}&=\dmvn-\dnvm}
}
To extract the massive boson propagator, let us expand the first term:
\eqn{
V_{\mu\nu}V^{\mu\nu}&=(\dmvn-\dnvm)(\dMvN-\dNvM)\\
&=\dmvn\dMvN-\dmvn\dNvM-\dnvm\dMvN+\dnvm\dNvM\\
&=2[\dmvn\dMvN-\dmvn\dNvM]\\
&=2[\dm(\vn\dMvN)-\vn\dm\dMvN-\dm(\vn\dNvM)+\vn\dm\dNvM]
}
Now in order to get a simple expression for the propagator,
we'd quite like the sum of the 1st and 3rd terms to be zero:
\eqn{
\dm(\vn\dMvN)-\dm(\vn\dNvM)=0\\
\dm(\vn(\dMvN-\dNvM))=0\\
\dm(\vn\vMN)=0
}
[/tex]
So my question now is, what is the sufficient condition to make this last equation true?
Some books just say 'integrate by parts' and voila, you mystically end up with only the 2nd and 4th terms of the last line of equation 2, and then you can go on to define the propagator.
But going through it myself, and iterating the steps explicitly as above, I'm not convinced by this. Have I done something really dumb? Or is there some condition I'm missing - does a 'free' field mean something here?
Thanks in advance.
B.
[tex]
\newcommand{\del}{\partial}
\newcommand{\eqn}[1]{\begin{equation}\begin{array}{rl}#1\end{array}\end{equation}}
\newcommand{\where}[1]{\\\textrm{where}\quad #1}
\newcommand{\dm}{\del_{\mu}}
\newcommand{\dn}{\del_{\nu}}
\newcommand{\dM}{\del^{\mu}}
\newcommand{\dN}{\del^{\nu}}
\newcommand{\vm}{V_{\mu}}
\newcommand{\vn}{V_{\nu}}
\newcommand{\vM}{V^{\mu}}
\newcommand{\vN}{V^{\nu}}
\newcommand{\dmvn}{\dm\vn}
\newcommand{\dnvm}{\dn\vm}
\newcommand{\dMvN}{\dM\vN}
\newcommand{\dNvM}{\dN\vM}
\newcommand{\vmn}{V_{\mu\nu}}
\newcommand{\vMN}{V^{\mu\nu}}
For a free (non-interacting) massive vector field V the lagrangian is:
\eqn{
L&=-\frac{1}{4}V_{\mu\nu}V^{\mu\nu}+\frac{M^2}{2}V^{\mu}V_{\mu}\\
\where{V_{\mu\nu}&=\dmvn-\dnvm}
}
To extract the massive boson propagator, let us expand the first term:
\eqn{
V_{\mu\nu}V^{\mu\nu}&=(\dmvn-\dnvm)(\dMvN-\dNvM)\\
&=\dmvn\dMvN-\dmvn\dNvM-\dnvm\dMvN+\dnvm\dNvM\\
&=2[\dmvn\dMvN-\dmvn\dNvM]\\
&=2[\dm(\vn\dMvN)-\vn\dm\dMvN-\dm(\vn\dNvM)+\vn\dm\dNvM]
}
Now in order to get a simple expression for the propagator,
we'd quite like the sum of the 1st and 3rd terms to be zero:
\eqn{
\dm(\vn\dMvN)-\dm(\vn\dNvM)=0\\
\dm(\vn(\dMvN-\dNvM))=0\\
\dm(\vn\vMN)=0
}
[/tex]
So my question now is, what is the sufficient condition to make this last equation true?
Some books just say 'integrate by parts' and voila, you mystically end up with only the 2nd and 4th terms of the last line of equation 2, and then you can go on to define the propagator.
But going through it myself, and iterating the steps explicitly as above, I'm not convinced by this. Have I done something really dumb? Or is there some condition I'm missing - does a 'free' field mean something here?
Thanks in advance.
B.