Use natural units and the Minkowski metric . The canonical momentum is , and the Legendre transform in mechanics gives
For canonical quantization of a real scalar field, impose the equal-time canonical commutation relations
The Heisenberg picture equation then gives . For the other equation, the momentum term commutes with ; commuting the gradient term past and integrating the derivative of the Dirac delta function by parts gives . Consequently
The Fourier transform reduces this Klein-Gordon equation to oscillators of frequency . Hermiticity of the real scalar field pairs their positive- and negative-frequency coefficients, so its general mode expansion can be normalized as
To verify its normalization rather than guess the oscillator algebra, use scalar field oscillator inversion at :
Its adjoint has the conjugate phase and the opposite sign in front of . The two mixed field-momentum commutators give
The Fourier representation of the Dirac delta function sets the energies equal in the last step. Similarly, has a factor multiplying and vanishes; the two-creator commutator vanishes as well.
Substituting the expansion in and integrating the spatial phases, the two-annihilator and two-creator coefficients cancel by . The free real scalar Hamiltonian in oscillator variables is
It differs from by its constant vacuum energy; normal ordering removes that constant. Using the oscillator commutators, for either Hamiltonian,
Choose the Fock vacuum annihilated by every . Each creation operator adds a particle of energy and momentum ; its annihilation operator removes one. Their mutual commutativity gives bosonic Fock space and symmetric many-particle states. Thus the scalar mass-shell frequency has a particle interpretation, rather than merely describing a classical oscillation.
For and , vacuum contraction and time ordering give the Feynman propagator
In the scalar Feynman propagator pole prescription, the integral of has poles at and . Close clockwise below for and counterclockwise above for . The residue theorem gives exactly the corresponding term above, proving
As a direct check of the distributional source, is continuous, but . The derivative jump of a free scalar time-ordered two-point function therefore gives . Spatial Fourier inversion yields