For a Schrödinger-picture state satisfying
define the interaction picture by
Differentiation gives
The formal solution from is the Dyson series
Through quadratic order,
Differentiating gives
which checks the equation to the requested order.
At the endpoints, and . Therefore
where
For , the leading term is
There are contractions of the identical outgoing fields. With covariantly normalized states,
Equivalently, the interaction vertex from is .
Suppose an infinitesimal continuous transformation has variations and changes the Lagrangian density by . Expanding by the chain rule and integrating derivatives by parts gives
On solutions of the Euler-Lagrange equations, the first two brackets vanish. Hence Noether's theorem gives the conserved current
For spacetime transformations, the coordinate variation supplies the corresponding energy-momentum term.
The free massless Dirac field has action
Under a finite dilation,
The measure, derivative, and fields contribute , , and , so invariance requires
For , the infinitesimal active variations are
The associated dilatation current is
up to an improvement term. Its divergence is the on-shell trace .
The matrix anticommutes with every Dirac matrix. Moving through each power in the exponential series gives
Under the chiral transformation
Hermiticity of and its anticommutation with imply
Consequently
so the action is invariant. The corresponding classical axial current is
For metric signature , the momentum-space rules for the Yukawa interaction are:
  • an internal scalar line contributes ;
  • an internal fermion contributes ;
  • each or vertex contributes ;
  • incoming and outgoing fermions contribute and , while incoming and outgoing antifermions contribute and ;
  • every closed fermion loop contributes an additional minus sign.
At leading order the process has one -channel scalar propagator. With ,
Thus, up to an irrelevant overall sign,
The fermion spin sums and give
and the analogous final sum is . Therefore
Using and its final-state analogue yields
In Feynman gauge, the Lagrangian differs by a total divergence from
Its Euler-Lagrange equation is . Directly from the original gauge-fixed Lagrangian, the canonical momenta are
equivalently after using the total-divergence form.
Using the mode expansions and oscillator commutator, the two nonzero cross terms combine to
where polarization completeness was used. The other equal-time field commutators vanish.
Substitution into the Hamiltonian and normal ordering give
Every oscillator excitation carries positive energy , but the covariant state space has an indefinite inner product: time-like excitations have negative norm, and time-like and longitudinal polarizations are unphysical. Gupta-Bleuler quantization imposes
and quotients by null states. The physical state space contains only the two transverse photon polarizations with positive norm, as required by gauge invariance.

Articles by others on the same topic (0)

There are currently no matching articles.