Wolfram Alpha:

```Lagrangians in Quantum Field Theory
-----------------------------------

Quantum field theory frequently makes use of the Lagrangian formalism from
classical field theory.  This formalism is analogous to the Lagrangian formalism
used in classical mechanics to solve for the motion of a particle under the
influence of a field. In classical field theory, one writes down a Lagrangian
density,  involving a field, φ, and its first derivatives ∂φ/∂t (kinetic energy)
and ∂φ/∂x (potential energy), and then applies a field form of the
Eulerâ€“Lagrange equation.

In the canonical approach, φ are the field operators composed of creation
and annihilation operators.

Lagrangian of a System of Classical Fields
------------------------------------------

L = L(φ,∂μφ)  μ = t, x, y, z

Euler-Lagrange for a field:

∂/∂xμ(∂L/∂φμ) - ∂L/∂φ = 0

In long form this is:

∂/∂t(∂L/(∂φ/∂t) - ∂/∂x(∂L/(∂φ/∂x) -  ∂/∂y(∂L/(∂φ/∂y) -  ∂/∂z(∂L/(∂φ/∂z) - ∂L/∂φ = 0

One simple scalar field in 1D:

L = (1/2)(∂φ/∂t)2 - (1/2)(∂φ/∂x)2 - V(φ)  (L = T - V)

Apply E-L:

∂{∂((1/2)(∂φ/∂t)2}/∂t = ∂2φ/∂t2

∂{∂((1/2)(∂φ/∂x)2}/∂x = ∂2φ/∂x2

∂L/∂φ = -∂V/∂φ

..
φ - ∂2φ/∂x2 = -∂V/∂φ

Make V(φ) = (m2/2)φ2 - the Field Energy
..
φ - ∂2φ/∂x2 = -m2φ

Simple quantum field:

Assume φ = exp(i(kx - ωt))

-ω2φ + k2φ = -m2φ

ω2 = k2 + m2

=> E2 = p2 + m2  assuming h = c = 1

2 simple scalar fields in 1D:

L = = (1/2)(∂μφ)2 + (1/2)(∂μρ)2 - (m2/2)φ2 - (M2/2)ρ2
..
φ - ∂2φ/∂x2 = -m2φ

..
ρ - ∂2ρ/∂x2 = -M2φ

2 simple interacting scalar fields in 1D:

Add an interaction term ρφ2 to illustrate what is going on

L = = (1/2)(∂μφ)2 + (1/2)(∂μρ)2 - (m2/2)φ2 - (M2/2)ρ2 - ρφ2

..
φ - ∂2φ/∂x2 = m2φ - 2ρφ

..
ρ - ∂2ρ/∂x2 = M2φ - φ2

The wave equations are now coupled and there is an interaction between
the two.  Now, if φ3 was replaced by φ3 then the equations would be
non-linear and φ and ρ would scatter each other.

Consider:

L = iψ†∂ψ/∂t + ψ†α∂ψ/∂x + ψ†βψm

Applying the E-L equation would generate the Dirac equation:

iψ = iα∂ψ/∂x + mβψ

L = iψ†∂tψ + ψ†α∂xψ + ψ†βψm + ψ†βψφ

Now φ scatters ψ and vice versa.

Lagrangian of a System of Quantum Fields
----------------------------------------

φ is composed of creation and annihilation operators.  Therefore,
something like φ3 gives all sorts of terms.  Let's look at some of
them:

(a†)3 -  creation of 3 particles at point x,
(a)3  - annihilation of 3 particles at point x
(a†)(a-)2 - annihilation of 2 particles and creation of 1 particle at point x
(a)(a+)2 - creation of 2 particles and annihilation of 1 particle at point x

What do the quadratic terms in the Lagrangian mean?

L = (1/2)(∂φ/∂t)2 - (1/2)(∂φ/∂x)2 - (m2/2)φ2

Decompose the double partial differential w.r.t. x as follows:

(1/2)(∂φ/∂x)2 = (1/2){(φ(x) - φ(x'))/Δx}2/}

= φ2(x)/(Δx)2 + φ2(x')/(Δx)2 - φ(x)φ(x')/(Δx)2 - φ(x')φ(x)/(Δx)2
\         /                     \
stationary particle              moving particle

Note: ∂φ/∂t and ∂φ/∂x are applied to the exp(±i(kx - ωt) terms in the field
operators and do not involve a+ and a-

The φ2 terms simply create/annihilate a particle the same point.  Likewise,
we can show that the term (m2/2)φ2 has a similar effect.  It is the
cross-terms that govern the motion of the particle by annihilating it at
one position and creating it at another (or the reverse).
```