1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Feynman rules for scalar qed

  1. Oct 26, 2009 #1
    1. The problem statement, all variables and given/known data
    Hello all, thanks for reading...
    I was assigned to calculate feynman rules for the scalar QED theory via functional methods.
    The fields are a scalar complex field [tex]\phi, \phi^*[/tex] and gauge field [tex]A_\mu[/tex], and the lagrangean is

    [tex]\mathfrak{L} = (D_\mu \phi)^* (D^\mu \phi) - m^2 \phi \phi^* - (1/4)F_{\mu,\nu}F^{\mu\nu}[/tex]

    where [tex]D_\mu = \partial_\mu + ieA_\mu[/tex] is the covariant derivative, and [tex]F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu[/tex] is the maxwell tensor.

    For the fonts [tex]J[/tex] (complex scalar) and [tex]j[/tex] (4-vector), the generating function will then be

    [tex]Z[J,j] = \int \mathfrak{D}\phi\mathfrak{D}\phi^*\mathfrak{D}A \exp(i\int\mathfrak{L} + J^*\phi + J\phi^* + j^\mu A_\mu)[/tex]


    ---------------------------

    2. Relevant equations
    to simplify notation, we will use
    the klein gordon operator: [tex]K = \partial^2 - m^2[/tex],
    its propagator: [tex]\Delta(x) = \int \frac{d^4k}{(2\pi)^4} \frac{e^{-ikx}}{k^2-m^2+i\epsilon}[/tex]
    the massless operator (feynman gauge): [tex]P^{\mu\nu} = \eta^{\mu\nu} \partial^2[/tex],
    and its propagator: [tex]D_{\mu\nu}(x) = \int \frac{d^4k}{(2\pi)^4} \frac{-\eta_{\mu\nu}e^{-ikx}}{k^2}[/tex]

    We have
    [tex]K\Delta(x) = \delta(x)[/tex]
    [tex]P^{\mu\nu} D_{\nu\rho}(x) = \delta^\mu_\rho \delta(x)[/tex]


    ----------------------------------------

    3. The attempt at a solution
    Ok, I have then split the Lagrangean in the free-theory part and interaction part:

    [tex]\mathfrak{L}_0 = (\partial_\mu \phi)^* (\partial^\mu \phi) - m^2 \phi \phi^* - (1/4)F_{\mu,\nu}F^{\mu\nu},[/tex]
    [tex]\mathfrak{L}_{int} = eA^\mu (\phi i\partial_\mu \phi* - \phi* i\partial_\mu \phi) + e^2 A^\mu A_\mu \phi^* \phi [/tex]

    First we derive the free theory generating fucntion. We add the Gauge Fixing term to the Lagrangean, with Feynman gauge ([tex](-1/2)(\partial_\mu A^\mu)^2[/tex]. The lagrangean integral can be made to the form

    [tex]\int dx \mathfrak{L}_0 = -\int \phi K \phi^* + (1/2) A\mu P^{\mu\nu} A_\nu[/tex]

    and the generating functional will then be
    [tex]Z_0 = N \exp \big( -i \int dx dy J^*(x) \Delta(x-y) J(y) + (1/2) j^\mu(x) D_{\mu\nu}(x-y) j^\nu(y) \big) = N e^{-i \int J^* \Delta J + (1/2) j D j^}[/tex]


    soo, to my question. I have the scalar and photon propagatos, those [tex]i / k^2 - m^2[/tex] from the propagators, but how do i get the vertex terms?

    The generating function for the interaction theory will be

    [tex]Z[J,j] = N \exp( -i \int \mathfrak{L}_{int} ) Z_0[J,j][/tex]

    where in L_int we substitute the fields for fucntional derivatives of the sources. so in first order, i did this:

    [tex]\int dx (ie\eta^{\mu\nu}) A_\mu(x) (\phi(x) \partial_\nu\phi^*(x) - \phi^*(x) \partial_\nu\phi(x))[/tex]

    goes to

    [tex]\int dx dz \delta(x-z) (ie\eta^{\mu\nu}) A_\mu(x) \frac{\partial}{\partial z^\nu}(\phi(x) \phi^*(z) - \phi^*(x) \phi(z))[/tex]

    where i used a dirac delta to let the derivative act only where it is needed. then, passing to functional derivatives, we should get

    [tex]\int dx dz \delta(x-z) (ie \eta^{\mu\nu}) \frac{\delta}{i\delta j^\mu(x)} \frac{\partial}{\partial z^\nu} \left( \frac{\delta}{i\delta J^*(x)}\frac{\delta}{i\delta J(z)} - \frac{\delta}{i\delta J(x)} \frac{\delta}{i\delta J^*(z)} \right)[/tex]

    then aplying to the free generating fucntion, using the explicit form of the propagators, after some work... we get the first order term:

    [tex]e \int dx dy dz \frac{dp}{(2\pi)^4}\frac{dk}{(2\pi)^4}\frac{dkp}{(2\pi)^4} (2\pi)^4\delta(p+k+k') j^\mu(x) \left( -\frac{e^{ipx}\eta_{\mu\nu}} {p^2} \right) (k+k')^\nu J(y)\frac{e^{iky}}{k^2-m^2} J^*(z)\frac{e^{ik'z}}{k'^2-m^2}[/tex]


    so... after all calculations, how do i read out the feynman rule??? I mean, from the interaction lagrangean i know it must be something like
    [tex]ie(k+k')^\mu[/tex]
    but why, formally? the generation funtion is mixed up with positions and momentum spaces, so its hard for me to see... where are the momenta goint, entering or exiting the vertex and all those stuff... any help!?

    and gosh, there is also the second order!!!

    thank you a lot, i write too much...
     
    Last edited: Oct 26, 2009
  2. jcsd
  3. May 31, 2010 #2
    Feynman's rules are better understood writing down the perturbation expansion for correlation's function...
     
  4. Jun 4, 2010 #3
    man i've been trying to do this question

    I can't do it, can someone do it?
     
  5. Jun 8, 2010 #4
    hamiltonian density (interaction part)

    [tex]\mathscr{H}_{int}=eA^\mu j_\mu[/tex]

    two point function

    [tex]<0| T(\phi_1\phi_2) |0> =<0| \phi_1 \phi_2 \text{exp} \left[-i \int d^4 x \mathscr{H}_{int} \right] |0>_{connected}[/tex]

    four point function

    [tex] <0|T(\phi_1\phi_2 \phi_3 \phi_4) |0>=<0| \phi_1 \phi_2 \phi_3 \phi_4 exp[-i \int d^4 x \mathscr{H}_{int} ] |0>_connected[/tex]

    expanding the exponent you find what you want order by order...
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Feynman rules for scalar qed
  1. Feynman rules (Replies: 7)

  2. Feynman Rules (Replies: 8)

Loading...