Quantizing the Real Scalar Field

For the free massive real scalar, a positive-frequency mode choice and a matched oscillator normalization turn the classical mode expansion into a Hermitian operator-valued field. The same normalization recovers the equal-time canonical commutators and diagonalizes a regulated Hamiltonian into independent oscillators with nonnegative excitation energies above a vacuum term.

The construction below assumes $m>0$, flat Minkowski spacetime, and the standard positive-energy Fock representation. It gives the field, Hamiltonian, selected vacuum, and elementary wave-packet excitations. It does not claim that this representation is universal, remove the vacuum energy without a prescription, or cover interactions, curved-spacetime particle choices, and the massless zero mode.

Required background. The Klein–Gordon Field and Its Modes supplies the mass shell, real-field condition, mode normalization, and positive-frequency choice. Canonical Quantization: Algebra, Representation, and State supplies the CCR and the distinction among an algebra, its representations, and its states.

Helpful background. Multiparticle States, Statistics, and Fock Organization supplies the wave-packet and symmetric-sector interpretation used after the one-particle construction.

From Klein–Gordon modes to a Hermitian field operator

The model can be summarized before carrying out the normalization check.

Model datum	Choice made here
Degrees of freedom	One Hermitian scalar operator-valued distribution $\widehat\phi$
Defining dynamics	$S_0[\phi]=\frac12\int\mathrm d^d x\,(\partial_\mu\phi\,\partial^\mu\phi-m^2\phi^2)$ and $(\Box+m^2)\phi=0$
Parameters and regime	Mass $m>0$ in $d$-dimensional Minkowski spacetime; the mode and oscillator formulas below apply in arbitrary spacetime dimension $d$
Symmetries	Poincaré covariance and the discrete symmetry $\phi\mapsto-\phi$; a real scalar has no continuous phase-rotation symmetry
Representation and state	The future-directed positive-frequency split, its standard Fock representation, and the normalized Minkowski vacuum selected below
Observables and domains	Smeared fields on a common finite-particle domain; a periodic box and finite mode cutoff when products are assembled into the Hamiltonian
Purpose and control	An exactly solvable neutral spin-zero field and the normal-mode reference for later free and perturbative constructions
Limits	The model alone does not define an interacting theory, a preferred vacuum on a general curved spacetime, or the infrared treatment of a massless zero mode

For on-shell $p^0=E_{\mathbf p}=\sqrt{\mathbf p^2+m^2}$, the field and its oscillators use one matched normalization package:

$$\int_{\mathbf p} \equiv \int \frac{\mathrm d^{d-1}\mathbf p} {(2\pi)^{d-1}2E_{\mathbf p}}.$$ $$\begin{aligned} \widehat\phi(x) &= \int_{\mathbf p} a(\mathbf p)e^{-ip\cdot x} \\ &\quad+ \int_{\mathbf p} a^\dagger(\mathbf p)e^{ip\cdot x}. \end{aligned}$$ $$[a(\mathbf p),a^\dagger(\mathbf q)] = (2\pi)^{d-1}2E_{\mathbf p}\, \delta^{(d-1)}(\mathbf p-\mathbf q).$$

All commutators between two annihilators or two creators vanish. The symbols $a(\mathbf p)$ and $a^\dagger(\mathbf p)$ are operator-valued distributions; the equations acquire their operator meaning after momentum smearing, or in the finite-mode system used below.

Taking the adjoint exchanges the two displayed terms, so $\widehat\phi^\dagger=\widehat\phi$. This does not impose $a(-\mathbf p)=a^\dagger(\mathbf p)$. The independent annihilation modes at $\mathbf p$ and $-\mathbf p$ remain distinct; Hermiticity instead pairs an annihilator multiplying a positive-frequency mode with its adjoint multiplying the conjugate negative-frequency mode. Because both plane waves lie on the mass shell,

$$(\Box+m^2)\widehat\phi=0.$$

The mode expansion and oscillator algebra realize the canonical field algebra with this normalization Coleman 2019, §§ 3.3–3.4, pp. 37–45; the covariant construction and its normalization are also developed in Weinberg 1995, § 5.2, pp. 201–203.

Recovering the equal-time field algebra

The canonical momentum in this model is

$$\begin{aligned} \widehat\pi(x) &= \partial_t\widehat\phi(x) \\ &= -i\int_{\mathbf p} E_{\mathbf p}a(\mathbf p)e^{-ip\cdot x} \\ &\quad+ i\int_{\mathbf p} E_{\mathbf p}a^\dagger(\mathbf p)e^{ip\cdot x}. \end{aligned}$$

At equal times, only the two mixed oscillator commutators contribute. Put $\mathbf r=\mathbf x-\mathbf y$ and write their sum as

$$[\widehat\phi(t,\mathbf x),\widehat\pi(t,\mathbf y)] = I(\mathbf r).$$

The two half-deltas then combine explicitly:

$$\begin{aligned} I(\mathbf r) &= \frac{i}{2} \int\frac{\mathrm d^{d-1}\mathbf p}{(2\pi)^{d-1}} e^{i\mathbf p\cdot\mathbf r} \\ &\quad+ \frac{i}{2} \int\frac{\mathrm d^{d-1}\mathbf p}{(2\pi)^{d-1}} e^{-i\mathbf p\cdot\mathbf r} \\ &= i\,\delta^{(d-1)}(\mathbf r). \end{aligned}$$

The remaining equal-time commutators have integrands that change sign under $\mathbf p\mapsto-\mathbf p$, and therefore

$$\begin{aligned} [\widehat\phi(t,\mathbf x),\widehat\phi(t,\mathbf y)]&=0, \\ [\widehat\pi(t,\mathbf x),\widehat\pi(t,\mathbf y)]&=0. \end{aligned}$$

These point-field equations are distributional shorthand. Smearing the first relation with test functions $f(\mathbf x)$ and $g(\mathbf y)$ gives the well-defined statement

$$[\widehat\phi_t(f),\widehat\pi_t(g)] = i\int\mathrm d^{d-1}\mathbf x\, f(\mathbf x)g(\mathbf x)\,\mathbf 1$$

on a common invariant domain. Quantum Fields as Operator-Valued Distributions develops the smearing and domain qualifications. The cancellation of $2E_{\mathbf p}$ against the time derivative, followed by the merger of two half-deltas, is the decisive normalization check: changing only the measure, field coefficient, or oscillator commutator would spoil it.

One-particle normalization

Let $\mathcal H_1$ be the space of wave packets square-integrable with respect to $\int_{\mathbf p}$. For $f\in\mathcal H_1$, define the antilinear smeared annihilator and its adjoint by

$$\begin{aligned} a(f) &\equiv \int_{\mathbf p}f(\mathbf p)^*a(\mathbf p), \\ a^\dagger(f) &\equiv \int_{\mathbf p}f(\mathbf p)a^\dagger(\mathbf p). \end{aligned}$$

Choose the normalized Minkowski vacuum by the condition

$$a(f)|0\rangle=0$$

for every such wave packet $f$. Sharp-momentum kets are useful generalized states,

$$|\mathbf p\rangle =a^\dagger(\mathbf p)|0\rangle,$$

and the oscillator commutator fixes both their normalization and the one-particle resolution of the identity:

$$\begin{aligned} \langle\mathbf p|\mathbf q\rangle &= (2\pi)^{d-1}2E_{\mathbf p}\, \delta^{(d-1)}(\mathbf p-\mathbf q), \\ \mathbf 1_{\mathcal H_1} &= \int_{\mathbf p} |\mathbf p\rangle\langle\mathbf p|. \end{aligned}$$

Physical one-particle vectors are normalizable packets,

$$\begin{aligned} |f\rangle &= a^\dagger(f)|0\rangle = \int_{\mathbf p} f(\mathbf p)a^\dagger(\mathbf p)|0\rangle, \\ \langle f|g\rangle &= \int_{\mathbf p} f(\mathbf p)^*g(\mathbf p). \end{aligned}$$

The same package yields the useful coefficient check

$$\langle0|\widehat\phi(x)|\mathbf p\rangle =e^{-ip\cdot x}.$$

Thus the field coefficient, oscillator commutator, ket norm, and completeness measure cannot be chosen independently. The vacuum condition is additional state data: the CCR by themselves did not select $|0\rangle$ or this representation.

A finite regulator and the oscillator Hamiltonian

To manipulate the Hamiltonian as an ordinary operator sum, place space in a periodic box of volume $V=L^{d-1}$ and retain a finite inversion-symmetric set $K_\Lambda$ of momenta $\mathbf k=2\pi\mathbf n/L$. Finite volume makes momenta discrete but does not make their number finite; $K_\Lambda$ is a separate ultraviolet regulator. The box and cutoff select a frame, break exact boost invariance, and can reduce rotational symmetry. Poincaré covariance is a property of the continuum model that must be recovered when the regulators are removed. Write $\omega_{\mathbf k}=\sqrt{\mathbf k^2+m^2}$ and use the round-trip dictionary

$$\begin{aligned} \int\frac{\mathrm d^{d-1}\mathbf p}{(2\pi)^{d-1}} &\longleftrightarrow \frac1V\sum_{\mathbf k}, \\ \delta^{(d-1)}(\mathbf p-\mathbf q) &\longleftrightarrow \frac{V}{(2\pi)^{d-1}}\delta_{\mathbf k\mathbf l}. \end{aligned}$$ $$\begin{aligned} a(\mathbf k) &= \sqrt{2\omega_{\mathbf k}V}\,b_{\mathbf k}, \\ [b_{\mathbf k},b^\dagger_{\mathbf l}] &=\delta_{\mathbf k\mathbf l}. \end{aligned}$$

The regulated field is therefore

$$\begin{aligned} \widehat\phi_\Lambda(t,\mathbf x) &= \sum_{\mathbf k\in K_\Lambda} \frac{b_{\mathbf k}} {\sqrt{2\omega_{\mathbf k}V}} e^{-i\omega_{\mathbf k}t+i\mathbf k\cdot\mathbf x} \\ &\quad+ \sum_{\mathbf k\in K_\Lambda} \frac{b^\dagger_{\mathbf k}} {\sqrt{2\omega_{\mathbf k}V}} e^{i\omega_{\mathbf k}t-i\mathbf k\cdot\mathbf x}. \end{aligned}$$

Its equal-time commutator contains the cutoff periodic delta,

$$\begin{aligned} [\widehat\phi_\Lambda(t,\mathbf x), \widehat\pi_\Lambda(t,\mathbf y)] &=iK_\Lambda(\mathbf x,\mathbf y), \\ K_\Lambda(\mathbf x,\mathbf y) &= \frac1V \sum_{\mathbf k\in K_\Lambda} e^{i\mathbf k\cdot(\mathbf x-\mathbf y)}. \end{aligned}$$

It approaches the periodic delta as $K_\Lambda$ is enlarged. Substitution into the quadratic Hamiltonian gives

$$\begin{aligned} H_\Lambda &= \frac12\int_V\mathrm d^{d-1}\mathbf x\, \left[ \begin{gathered} \widehat\pi_\Lambda^2 +(\boldsymbol\nabla\widehat\phi_\Lambda)^2 \\ +m^2\widehat\phi_\Lambda^2 \end{gathered} \right] \\ &= \frac12 \sum_{\mathbf k\in K_\Lambda} \omega_{\mathbf k} \left( b^\dagger_{\mathbf k}b_{\mathbf k} +b_{\mathbf k}b^\dagger_{\mathbf k} \right) \\ &= \sum_{\mathbf k\in K_\Lambda} \omega_{\mathbf k} \left( b^\dagger_{\mathbf k}b_{\mathbf k} +\frac12 \right). \end{aligned}$$

Spatial integration imposes opposite momenta on the $bb$ and $b^\dagger b^\dagger$ terms, whose coefficient $-\omega_{\mathbf k}^2+\mathbf k^2+m^2$ vanishes. It imposes equal momenta on the mixed terms, which give the displayed oscillator sum. The substitution and cancellation are shown in Coleman 2019, § 4.5, pp. 72–73.

The regulated vacuum energy is not zero:

$$E_{0,\Lambda} = \frac12 \sum_{\mathbf k\in K_\Lambda} \omega_{\mathbf k}.$$

For the selected vacuum,

$$\begin{aligned} b_{\mathbf k}|0\rangle&=0, \\ H_\Lambda|0\rangle&=E_{0,\Lambda}|0\rangle, \\ H_\Lambda-E_{0,\Lambda} &= \sum_{\mathbf k\in K_\Lambda} \omega_{\mathbf k}b^\dagger_{\mathbf k}b_{\mathbf k} \geq0. \end{aligned}$$

This proves within the regulated system that $|0\rangle$ is a ground state and that excitation energies are nonnegative. The vacuum term has a leading extensive bulk contribution, can have regulator-dependent finite-size contributions, and diverges when the ultraviolet cutoff is removed. On the energy-finite finite-particle core—for example, vectors built from smooth compactly supported momentum wavefunctions—define the continuum excitation generator separately from the vacuum term:

$$\begin{aligned} H_{\mathrm{exc}} &\equiv d\Gamma(E) = \int_{\mathbf p} E_{\mathbf p}a^\dagger(\mathbf p)a(\mathbf p), \\ \frac{E_0}{V} &\longrightarrow \frac12 \int\frac{\mathrm d^{d-1}\mathbf p}{(2\pi)^{d-1}} E_{\mathbf p}. \end{aligned}$$

Here $d\Gamma(E)$ denotes second quantization of the one-particle energy; the integral is its distributional notation and agrees with the regulator limit on this core. The second line is a divergent formal expression, not a defined observable. Coleman distinguishes its volume and ultraviolet divergences in Coleman 2019, § 4.5, pp. 73–74. Assigning or comparing a vacuum energy requires a regulator and a stated subtraction or renormalization condition. Normal Ordering and Vacuum Terms explains one representation-relative reordering prescription; no such prescription has been silently applied here.

Positive-energy excitations in the selected vacuum

The oscillator Hamiltonian verifies rather than merely names the particle interpretation. In the regulated system,

$$[H_\Lambda,b^\dagger_{\mathbf k}] = \omega_{\mathbf k}b^\dagger_{\mathbf k}, \qquad [H_\Lambda,b_{\mathbf k}] = -\omega_{\mathbf k}b_{\mathbf k}.$$

Consequently $b^\dagger_{\mathbf k}|0\rangle$ lies one positive amount $\omega_{\mathbf k}$ above the regulated vacuum, and each additional creator adds another positive oscillator energy. The negative-frequency term in $\widehat\phi$ therefore creates a positive-energy excitation; it is not a negative-energy particle. A real scalar has one oscillator family, not independent particle and antiparticle families.

For a normalized one-particle packet in the energy domain, the same conclusion is

$$\langle f|H_{\mathrm{exc}}|f\rangle = \int_{\mathbf p} E_{\mathbf p}|f(\mathbf p)|^2 \geq m.$$

The same commutators give a dynamical check,

$$i[H_\Lambda,\widehat\phi_\Lambda] = \partial_t\widehat\phi_\Lambda,$$

and a second time derivative recovers the Klein–Gordon equation mode by mode. The Fock-space page develops the full symmetric-sector construction and the representation dependence of particle number; only the elementary excitations needed to reach that page have been constructed here.

Uses and limits of the construction

The free real scalar is exact as a free quantum field and useful as a controlled normal-mode approximation or perturbative reference system. Its success is not evidence that a generic interacting theory is exactly a collection of independent oscillators. An interacting Lagrangian also does not, by itself, specify every regulator, state, observable, and limiting prescription needed to define a quantum theory; What an Interacting Lagrangian Does Not Specify makes that boundary explicit.

Several next questions require additional structure:

• Scalar Propagators, Ordered Correlators, and Sources uses the selected vacuum to construct and distinguish two-point distributions.
• Fock Space, Vacuum, and Particle Number develops the full Hilbert-space sector organization.
• Complex Scalars and Conserved Charge introduces independent particle and antiparticle modes and a continuous $U(1)$ charge.
• Schrödinger Wave Functionals realizes the same regulated oscillator system in the field-configuration representation.
• Massless Scalars, Zero Modes, and Infrared Limits treats the $m\to0$ limit, in which the periodic zero mode invalidates the oscillator formula containing $1/\sqrt{\omega_{\mathbf 0}}$.

Pointwise products and the removal of regulators require further analytic and renormalization input. On general curved spacetimes, a preferred positive-frequency split and vacuum need not exist, so the particle interpretation used here must not be exported unchanged.

The theorem-level study of states and inequivalent representations belongs to States, GNS Representations, and Folia; this page has selected only the standard Minkowski Fock realization needed for the free model.

Common pitfalls

Imposing $a(-\mathbf p)=a^\dagger(\mathbf p)$. Reality pairs the coefficients of conjugate frequency modes; it does not identify annihilation at one spatial momentum with creation at the opposite momentum. Such an identification would remove independent oscillator degrees of freedom and spoil the canonical normalization.

Calling the creator term a negative-energy particle. The sign in the time dependence labels frequency. The Hamiltonian commutator shows that $a^\dagger(\mathbf p)$ raises energy by $E_{\mathbf p}>0$.

Treating a finite box as a finite regulator. A periodic box still has infinitely many momentum modes. Operator sums such as $H$ need a separate finite mode cutoff, lattice, or another ultraviolet prescription before the cutoff is removed.

Dropping $E_0$ without saying how. The regulated vacuum term is part of the oscillator Hamiltonian. Removing or comparing it requires a stated prescription; writing $H-E_0$ is not a derivation that $E_0$ vanishes.

Check your understanding

1. Retrieval. Write the matched invariant measure, field expansion, and oscillator commutator. Which input fixes each factor of $2E_{\mathbf p}$ and $(2\pi)^{d-1}$?
2. Distinction. Why does Hermiticity not imply $a(-\mathbf p)=a^\dagger(\mathbf p)$? Why does the negative-frequency term not create a negative-energy particle?
3. Normalization. Starting from the oscillator algebra, recover all three equal-time field commutators and identify where the two half-deltas arise.
4. Failure mode. Diagnose both errors: using the invariant measure with $[a,a^\dagger]=(2\pi)^{d-1}\delta$ without rescaling the field, and deleting $E_0$ before specifying a regulator or subtraction.
5. Transfer. Put the theory in a periodic box and impose a finite symmetric mode cutoff. Derive the Kronecker oscillator algebra, the cutoff delta, and the oscillator Hamiltonian.
6. Handoff. Which page should you use next for two-point distributions, full Fock sectors and number, vacuum subtraction, or the massless zero mode?

Answers and repair routes

1. The matched package is $\int_{\mathbf p}=\int\mathrm d^{d-1}\mathbf p/[(2\pi)^{d-1}2E_{\mathbf p}]$, $\widehat\phi=\int_{\mathbf p}(ae^{-ip\cdot x}+a^\dagger e^{ip\cdot x})$, and $[a(\mathbf p),a^\dagger(\mathbf q)]=(2\pi)^{d-1}2E_{\mathbf p}\delta^{(d-1)}(\mathbf p-\mathbf q)$. The classical mode normalization fixes the measure and the canonical field commutator fixes the oscillator factor. Repair the mode input at Klein–Gordon modes.
2. Hermiticity exchanges the conjugate-frequency terms at the same integration label; it imposes no relation between the two annihilation modes $a(\mathbf p)$ and $a(-\mathbf p)$. Moreover $[H_{\mathrm{exc}},a^\dagger(\mathbf p)]=E_{\mathbf p}a^\dagger(\mathbf p)$ proves that the creator raises energy. Repair the algebra/state distinction at Canonical Quantization.
3. The time derivative supplies $E_{\mathbf p}$, which cancels the $2E_{\mathbf p}$ in the invariant measure down to a factor $1/2$. The $[a,a^\dagger]$ and $[a^\dagger,a]$ terms produce the two exponentials whose Fourier integrals are equal deltas; the $\phi$–$\phi$ and $\pi$–$\pi$ integrands are odd under momentum reversal. Review Fourier, distributions, and Green functions if the delta conversion is unclear.
4. The first mixture leaves an unwanted factor $1/(2E_{\mathbf p})$ and fails the equal-time delta test. Translate the measure, field coefficient, oscillator commutator, and ket norm together. The second operation assigns a finite value to a divergent expression without a definition; retain $E_{0,\Lambda}$ until a prescription is stated, then continue to Normal Ordering and Vacuum Terms.
5. Use $a(\mathbf k)=\sqrt{2\omega_{\mathbf k}V}\,b_{\mathbf k}$ to obtain $[b_{\mathbf k},b^\dagger_{\mathbf l}]=\delta_{\mathbf k\mathbf l}$ and the field coefficient $1/\sqrt{2\omega_{\mathbf k}V}$. A finite inversion-symmetric $K_\Lambda$ gives the cutoff periodic delta and $H_\Lambda=\sum_{\mathbf k\in K_\Lambda}\omega_{\mathbf k}(b^\dagger_{\mathbf k}b_{\mathbf k}+1/2)$. Enlarging the box and enlarging the mode set are distinct limits.
6. Use scalar propagators for two-point distributions, Fock space for sectors and number, normal ordering for the vacuum subtraction, and massless scalars for the zero mode and infrared limits.

References

• Coleman, Sidney. Lectures of Sidney Coleman on Quantum Field Theory. Edited by Bryan Gin-ge Chen, David Derbes, David Griffiths, Brian Hill, Richard Sohn, and Yuan-Sen Ting. Singapore: World Scientific, 2019. DOI.
• Weinberg, Steven. The Quantum Theory of Fields, Volume I: Foundations. Cambridge: Cambridge University Press, 1995. First edition; 2005 paperback, 2012 printing consulted. DOI.