4
$\begingroup$

I am currently studying for my QFT exam and in particular learning the methods of reading the Feynman rules directly off the Lagrangian.

However, I'm still a bit uncertain how to deal with derivative terms in the interaction Lagrangian in complicated cases.

In this example, the interaction Lagrangian is coupling a real (pseudo)scalar field to the photon field, supposing to represent the effective coupling induced by the Loop of complex scalar particles.

The effective interaction Lagrangian is given by $$\mathcal{L}_{int,eff}=-\frac{g_{eff}}{4}\phi F^{\mu\nu}F_{\mu\nu}$$ in addition to the QED and scalar field lagrangian. The resulting vertex is:

Resulting vertex

Now my general ansatz has been to decompose the part containing derivatives so basically $$F^{\mu\nu}F_{\mu\nu}=(\partial^\mu\,A^\nu-\partial^\nu\,A^\mu)(\partial_\mu\,A_\nu-\partial_\nu\,A_\mu) $$ and going for the usual Fourier decomposition to the replacement $$\partial_\mu \rightarrow ip_{\mu,i}$$ and multiplying with $2!$ for the interchangability of the outgoing photons. This gives naively the following terms:

$$ p_1^\mu p_{\mu,1}+p_1^\mu p_{\nu,2}+p_2^\nu p_{\mu,1}+p_2^\nu p_{\nu,2} = 2p_1\cdot\,p_2 +p_1^\mu p_{\nu,2}+p_2^\nu p_{\mu,1} $$

Which only leads almost to the desired result. A main problem is that this somewhat causes an index mess that hardly looks promising.

What am I missing? Maybe I can not simply cast the derivative on the photon field in co- and contravariant Expression? Extracting a factor $ g^{\mu\nu} $ does not help if I didn't make an algebraic error.

$\endgroup$
1
$\begingroup$

By recasting the Lagrangian vertex in Fourier space one has (ignoring $-g_{eff}/4$) $$ -\phi(p_3) \left(p_1^\mu A^\nu(p_1) - p_1^\nu A^\mu(p_1)\right)\left(p_{2\mu} A_\nu(p_2) - p_{2\nu} A_\mu(p_2)\right)\,, $$ which by a simple relabeling can be recast as $$ -2\,\phi(p_3) \,p_1^\mu A^\nu(p_1)\left(p_{2\mu} A_\nu(p_2) - p_{2\nu} A_\mu(p_2)\right) = $$ $$ = -2\,\phi(p_3) \,\left((p_1\cdot p_2)\, A^\nu(p_1)A_\nu(p_2) - p_{1\mu} p_{2\nu} \, A^\nu(p_1)A^\mu(p_2)\right) $$ $$ = -2\,\phi(p_3) \,\left((p_1\cdot p_2)\, g_{\rho\sigma} A^\sigma(p_1)A^\rho(p_2) - p_{1\rho} p_{2\sigma} \, A^\sigma(p_1)A^\rho(p_2)\right)\,. $$ At this point we just take the functional derivative $$ \frac{(-\mathrm{i})^3\,\delta^3}{\delta\phi(p_3)\,\delta A^\mu(p_2)\,\delta A^\nu(p_1)}\,. $$ Each term, being quadratic in $A$, gets a factor two, resulting in $$ = -4\mathrm{i}\,\left((p_1\cdot p_2)\, g_{\mu\nu} - p_{1\mu} p_{2\nu} \right)\,. $$ Which is the desired result.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.