Quantum Electrodynamics (QED)

Classical Jac75 and quantum Itz80 electrodynamics
are probably the best established theories of our world. They
describe interactions between charged objects, where by the charge we
mean the traditional electric charge. Quantum electrodynamics (QED)
allows to calculate electrodynamic properties of particles to an
unbelievable precision, e.g., the magnetic moment of the electron,
calculated up to the eighth order of the perturbation theory
Hug99, and the measured value Dyc87,

are in excellent agreement. Moreover, the error of the theoretical value comes mostly from the uncertainty in the measured value of the fine structure constant (the first error), and less from estimated higher-order effects (the second error).

For an electron coupled to the electromagnetic field, the Lagrangian
density, from which everything can be derived, reads

The first term in the QED Lagrangian density (16) describes
the free electromagnetic field defined by the four-potential
, containing the standard scalar
(Coulomb) potential and vector potential
.
The electromagnetic field tensor is defined as

The last term in (16) describes the free electron of mass
at rest. Its field has the structure of the
four-component Dirac spinor, but traditionally we do not explicitly
show in Lagrangian densities the corresponding indices. The first
member of the middle term (the one with ) describes the
kinetic energy of the electron, and together with the mass term, they
constitute the Lagrangian density of a free electron. The
corresponding Euler-Lagrange equations give the Dirac equation, i.e.,
all plane-wave propagation of an electron (and positron) in an
otherwise empty space. The kinetic term contains the
Dirac 44 matrices defined by

Finally, the second member of the middle term in (16) describes interaction of the electron with the electromagnetic field. On the one hand, when considered together with the free-electron Lagrangian it gives the Lorentz force that acts on the electromagnetic four-current of the electron,

On the other hand, when considered together with the free-electromagnetic-field Lagrangian, it gives the source terms in the Maxwell equations that correspond to the same electron current . The structure of the middle term is dictated by the local gauge invariance of the QED Lagrangian density, i.e., invariance with respect to multiplying the electron field by a position-dependent phase. Such a local gauge invariance is at the heart of constructing the Lagrangian densities for all quantum-field theories applicable to the real world. We shall not discuss these aspects during the present course.

Although we only verbally described the role of each term in the QED Lagrangian density (16), derivation and application of the Euler-Lagrange equations is a standard route. However long, painful, and complicated this route might be, it is a well-paved and marked way to get physical answers. In practice, it has already been followed way up, towards incredibly remote summits.