The equal-time canonical anticommutation relations imply
Apply , set , and integrate over . The mass term cancels, leaving . Integration by parts proves the title formula as a distribution identity. The Heisenberg equation of motion then yields for the physical Dirac current . The factor is required because the commutator of Hermitian operators is anti-Hermitian.
Treat as independent variables when taking the Legendre transform. Their canonical momenta are
The canonical quantization of a complex scalar field imposes, at equal times,
with , together with their adjoints, and . These are canonical commutation relations for two real scalar degrees of freedom, written in a complex basis. Local fields are operator-valued distributions, so these identities are understood after smearing or with a regulator.
The Hamiltonian density is , giving
The Heisenberg equation of motion is . For example, , while commuting with the gradient term and integrating its derivative of a Dirac delta distribution gives . Thus
Both fields satisfy the Klein-Gordon equation. Their spatial Fourier modes therefore have frequencies , . A complex scalar field has independent coefficients for these two frequency sectors, so, defining the invariant measure , its mode expansion is
One can recover the mode operators at any fixed time using complex scalar mode inversion:
Substitution of the expansion verifies these inverses: the spatial integral selects the appropriate momentum, while the two frequency sectors acquire factors . The unwanted sector vanishes when the delta function sets . The canonical commutation relations then give, for example,
Likewise has the same value. The cross commutators vanish; their coefficients contain on the corresponding momentum delta function. Conversely, these oscillator brackets reproduce the equal-time field brackets, confirming the normalization of the measure.
Insert the mode expansion into and integrate over space. The terms and enforce opposite spatial momenta; their coefficient is . For the diagonal terms the coefficient is . Combining this with the two invariant measures leaves
In a box, , one half-quantum for each of the two real oscillator species. It diverges as the cutoff is removed. Normal ordering removes this vacuum energy, yielding the normal-ordered Hamiltonian of a free complex scalar field:
In this nongravitational free theory an additive constant in changes only an overall state phase, not Heisenberg equations of motion, energy differences or scattering probabilities. It is therefore consistent to choose the Fock vacuum energy as zero. Both creation operators raise the energy: and . Repeated creation builds a bosonic Fock space of spin-zero particles and antiparticles, with the same positive mass and energy. The negative-frequency part of the field does not describe negative-energy physical particles.
The global phase symmetry of a complex scalar field, with orientation , has the indicated Noether current. Taking its divergence, the two first-derivative terms cancel, giving
The same calculation holds for its normal-ordered version. Integrating its temporal component gives a conserved charge when spatial boundary flux vanishes.
Here the ordering convention is important. Direct substitution into the literally ordered product yields
The pair terms again vanish, now because their coefficient is a difference of equal energies. Reordering the term produces a divergent vacuum constant: with a finite-mode regulator . Thus the requested finite charge formula uses zero vacuum charge, or equivalently the vacuum subtraction of a complex scalar charge. With that conventional subtraction,
The subtraction changes neither current conservation nor the action of on fields; without it, the unrenormalized product does not literally equal the displayed normal-ordered operator.
Finally the oscillator commutators give
or . Acting on a charge eigenstate, the first creator raises its charge by one and the second lowers it by one. Starting from the neutral Fock vacuum, their one-particle states therefore have charges and respectively. This is the complex scalar charge operator , whereas the energy counts the sum of the two occupations. A multiparticle state has additive charge equal to the number of particles minus the number of antiparticles.
Use units and the Minkowski metric . The canonical momentum of the real scalar field is . Canonical quantization replaces the classical fields by operator-valued distributions and imposes the equal-time canonical commutation relations
These relations are imposed on an initial slice, with smeared fields understood. In the Heisenberg picture, simultaneous unitary time evolution of both operators preserves their commutators. Since the momentum is , the requested equal-time commutator is .
The Legendre transform in mechanics, applied pointwise, gives the canonical Hamiltonian density of a real scalar field. Thus
To obtain its dynamics rather than assume them, use the Heisenberg equation of motion . The momentum-square term gives . The field-square term gives , while differentiating the Dirac delta function in the gradient term and integrating by parts gives . Consequently
Boundary terms vanish for suitably decaying smeared fields. This is the Klein-Gordon equation as an operator identity.
A spatial Fourier transform reduces the Klein-Gordon equation to , where . Its two frequency branches and the Hermitian adjoint condition give
The invariant-normalized scalar mode extraction can be written particularly simply as
Substituting the mode expansion of a free field proves these inversion formulas: the opposite-frequency coefficient is proportional to and vanishes after spatial Fourier inversion. Alternatively they are the corresponding Klein-Gordon inner products. Taking their commutators using the equal-time fields gives in the mixed case. In the two equal-type cases the delta function enforces , multiplying . Therefore
Conversely these mode commutators reproduce : the two frequency contributions each supply half the spatial Dirac delta function.
For the covariant oscillator Hamiltonian of a real scalar field, insert the mode expansion of a free field into . Spatial integration sets the two momenta equal in the mixed terms and opposite in the two-creator or two-annihilator terms. The latter have coefficient . The mixed terms give
The constant is the divergent zero-point energy; a finite box and a momentum cutoff make its meaning explicit. Normal ordering sets the free vacuum energy to zero and leaves all commutators unchanged. Directly applying the mode commutators to the mixed expression yields
Choose the Fock vacuum by . Each creation operator adds a boson of energy and four-momentum , while each annihilation operator removes one. Products of commuting creation operators give bosonic statistics from commuting creation operators and unrestricted occupation numbers. The real scalar field has one spin-zero species, identical to its antiparticle. Its one-particle states obey , precisely the relativistic normalization of a one-particle state.
For the Feynman propagator, put and contract the two fields in the Fock vacuum. Only survives, giving the Wightman function
The stipulated time-ordered product convention is . In a contour integral over , the Feynman i-epsilon prescription places the positive-energy pole just below the real axis and the negative-energy pole just above it. For close below, clockwise, obtaining ; for close above, obtaining . Changing in the second contribution therefore proves
Acting with multiplies the integrand by . The remaining factor tends to as a distribution, so Fourier inversion gives
The sign also follows from the derivative jump of a free scalar time-ordered two-point function: the first time derivative of jumps by , so that of jumps by .
For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator are
The Euler-Lagrange field equation is , or . Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:
The Heisenberg equation of motion then gives and , so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.
Resolve the free field into positive- and negative-frequency plane waves. With and ,
Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent to
For example, the two mixed terms in each supply half the Dirac delta function. Thus the normalization is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with and its annihilation operator and creation operator.
Choose the Fock vacuum by . Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yields
where a finite volume can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator is
In particular, and . A one-particle state therefore has positive energy, momentum , and invariant mass . A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.
A momentum eigenstate extends throughout space. A localized particle is described by a superposition such as
Its wave packet evolves through the phase ; a narrow packet has group velocity , whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.
Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,
This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so for spacelike . Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator is
which propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.
Finally, commuting creation operators imply
The multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are with : any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.
The quantized real scalar field describes positive-energy, mass-, spin-zero bosons that are their own antiparticles; commuting creation operators give Bose statistics, and local field commutators enforce microcausality.
Use and . The free real scalar field has action
The canonical momentum is , and the Hamiltonian operator is obtained by the Legendre transform of the density:
Canonical quantization promotes and to Hermitian operator-valued fields and imposes the equal-time canonical commutation relations
Their Heisenberg equation of motion gives , , hence the Klein-Gordon equation .
Let and . The Hermitian field mode expansion is
The scalar field oscillator inversion extracts
and its adjoint obtained by Hermitian conjugation extracts . Substitute these expressions into the equal-time canonical commutation relation. The two mixed field-momentum terms give
For , the corresponding coefficient is a difference of those square roots and multiplies ; it vanishes because . Taking the adjoint gives . Thus these are bosonic annihilation operators and creation operators. The vacuum satisfies , and normal ordering gives , after removing the constant zero-point energy. A one-particle excitation has energy and spin zero.
The Feynman propagator is the vacuum expectation value of the time-ordered product of two field insertions. For , the field at creates a one-particle excitation from the vacuum and the field at annihilates it; the opposite time ordering reverses the roles. It is a propagation amplitude and correlation function of vacuum fluctuations, rather than a transition probability. From the oscillator expansion, only the - contraction survives, so with and ,
Here is the Heaviside step function, and changing to in the second term gives the last line.
For the Fourier transform convention , insert a positive damping factor and integrate the positive and negative half-lines separately:
The last equality is a distribution identity; the infinitesimals in the partial fractions need not have the same finite magnitude as the infinitesimal in the combined denominator. The Feynman i-epsilon prescription means that the positive-frequency pole is just below the real energy axis and the negative-frequency pole is just above it. Closing the contour integral below for , and above for , reproduces the oscillator result by the residue theorem. This prescription fixes which homogeneous solutions are added to the Green function. As an independent normalization check, has derivative jump at , so
It is the expectation-value convention for , including the numerator , that determines this source normalization.
The vacuum is a centered free Gaussian state. The Wick theorem expresses the four-field time-ordered product as the sum of all pair Wick contractions plus terms containing a normal-ordered product. The latter terms have zero vacuum expectation value. There are exactly three complete pairings, with no fermionic signs for this bosonic field. Thus the free scalar four-point function is
These formulas describe canonical quantization of a real scalar field; in particular, a real scalar field uses a single oscillator family rather than independent charged-particle and antiparticle families.
For a time-independent Hamiltonian operator, a symmetry operator satisfies , or . Thus applying to an energy eigenstate preserves its energy. Commuting Hermitian observables can be diagonalized within each degenerate energy eigenspace, allowing states to be labelled by symmetry quantum numbers.
A continuous unitary symmetry has Hermitian generator . Differentiating the invariance condition gives . The Heisenberg equation of motion then yields
when has no explicit time dependence. spatial translations connect to momentum conservation, rotations to angular-momentum conservation, and time-translation invariance to energy conservation. A central potential energy conserves all components of angular momentum, but they cannot all be assigned sharp simultaneous values because they do not commute; are a compatible choice. Discrete reflection symmetry gives parity labels without a continuously variable generator. A quantum degeneracy can be protected by a symmetry, but a quantum degeneracy alone does not identify its physical origin.
For observables , nonzero obstructs a complete common eigenbasis. In a finite-dimensional system, commuting Hermitian operators can be simultaneously diagonalized; quantum degeneracy may require choosing an appropriate basis inside the degenerate eigenspace. Noncommuting observables can still share particular eigenvectors, so incompatibility is not a claim that every individual state must have nonzero spreads in both quantities.
The Robertson uncertainty relation follows by applying Cauchy-Schwarz inequality to and :
In particular gives . These are preparation spreads, not necessarily measurement errors. A zero commutator expectation can make this bound zero even when the linear operators do not commute.
Measurement order can matter: preparing , measuring , then measuring gives both z outcomes with probability when the intermediate result is ignored. A direct z measurement would give certainly. Finally the Heisenberg equation of motion relates commutation to conservation: an observable with no explicit time dependence and is conserved. For unbounded self-adjoint operators these statements require the appropriate common domains; a formal commutator calculation alone need not justify simultaneous spectral measurements.
For a normalized state, the expectation value is
For a time-independent operator, differentiation gives
The Schrödinger equation says . The self-adjointness of gives , so
In the integral derivation, the same self-adjointness step is integration by parts with vanishing boundary terms. An explicitly time-dependent observable would also contribute . These are the expectation-value equations underlying the Heisenberg equation of motion.
In the Schrödinger picture, a time-independent Hamiltonian gives , where . The Heisenberg picture transfers this evolution to each observable:
Both pictures give the same probabilities and expectation values. Differentiating yields the Heisenberg equation of motion
The last term is an explicit change of the measured operator. If it is absent and , the observable is conserved.
The corresponding classical equation is . The correspondence principle relates the Poisson bracket to , with suitable operator ordering and a classical limit. For , the canonical commutation relation gives
Taking means gives Ehrenfest theorem. Its second equation contains , which need not equal . A narrow wave packet in a slowly varying force field can follow the classical equations approximately; a quadratic potential makes the equality exact for the means.
For a quantum harmonic oscillator, direct solution gives and . These have the classical form as operator identities. A coherent state supplies a localized center moving on the classical orbit, whereas an energy eigenstate has stationary density and , even at large excitation. Thus large quantum numbers alone do not create a localized classical trajectory. Classical behavior also concerns state preparation, relative fluctuations and the resolution of the measurements.
Define the constant Dirac gamma matrix combinations and . The Hamiltonian operator is
Evaluate its commutator with using the bilocal result in a. The mass term cancels immediately when , because its two Dirac delta distributions coincide. For the derivative term first keep the two points distinct:
The terms in which the derivative acts on cancel against each other; the derivative of the second Dirac delta distribution remains. Thus
The last equality is integration by parts, or the defining derivative rule for a distribution. Consequently the literal conserved current whose divergence equals is
Because a commutator of two Hermitian operators is anti-Hermitian, this includes . The physical Hermitian Dirac current is instead , so . The Heisenberg equation of motion now gives
This establishes the continuity equation directly from the required commutator, without assuming the Dirac equation or invoking the Noether theorem as a substitute for the computation.
Write . The canonical commutation relations and the product rule for a commutator give
The other-species terms vanish. Integrating the Dirac delta distributions in the Hamiltonian therefore gives
where . Consequently the complex scalar field satisfies
Direct differentiation of the time factors gives the same expression, proving the Heisenberg equation of motion
For three odd fermionic operators, the identity
converts the commutator with a quadratic Hamiltonian into the given canonical anticommutation relations. Writing a mode label as , this yields
The opposite-species number terms commute with each fermionic creation operator or fermionic annihilation operator, because two anticommutations give a positive sign. Restoring the continuous normalization, the Dirac delta distribution in the mode brackets cancels . Consequently
Substitute these into the mode expansion of a Dirac field. The result is
Since and , this is exactly
The Heisenberg equation of motion uses an ordinary commutator with the even Hamiltonian, despite the odd fermionic operators obeying anticommutators among themselves.
The printed identity has the wrong sign for the specified relative phase. Differentiating the energy found above and evaluating the operator commutator give
Thus the phase derivative of a two-mode condensate energy is
A concrete counterexample to the printed sign is , , and : its left side is , whereas its printed right side is , independently of and .
There is also a direct derivation without inserting the Hamiltonian operator. Since , differentiating this unitary operator gives . Conservation of the total particle number, , then supplies the minus sign for the left well.
By the Heisenberg equation of motion, . Define the bosonic Josephson junction particle current from left to right as . The corrected identity means
The energy slope with respect to the relative phase drives particle transfer; an extremum with respect to that phase has zero instantaneous particle current. The printed sign would work with in the right-well orbital, or with in place of .
The canonical commutation relation and hamiltonian give
Substitution in the Heisenberg equation of motion yields and . Differentiating once more gives the harmonic-oscillator equation for each operator. Its initial-value solution is
Differentiating these expressions at zero verifies both prescribed initial derivatives. They also preserve .
The Heisenberg equation of motion and the spin commutation relations give, componentwise,
Thus . For constant magnetic field this is Larmor precession: the component along is conserved and the transverse components rotate. In particular, for ,
The signed angular velocity is ; the positive precession rate is .
Put and . The Pauli matrix multiplication law gives the pulse-and-precession spin one-half map
Because , a suitable angle and unit vector for the rotation are
If the denominator vanishes, and the axis is arbitrary. The Bloch vector rotates through about per period; after periods the angle is . The eigenphases equivalently give quasienergies modulo .
In the two-orbital subspace the position operator is . The Heisenberg equation of motion between pulses gives , hence
Thus two components of the Bloch vector directly describe the mean position and momentum; its third gives the orbital population imbalance. The electric kick rotates about the position axis, leaving unchanged at the kick, while free evolution mixes the position and momentum components. Starting in , one complete period gives
which exhibits the induced motion explicitly. These are projected two-orbital observables.
For a free real scalar field in four spacetime dimensions, and . Canonical quantization promotes these canonical fields to Hermitian operator-valued distributions with equal-time canonical commutation relations
Expand the solution of the Klein-Gordon equation into positive- and negative-frequency modes:
Hermiticity pairs the two coefficients as adjoints. The field commutators are equivalent to
For example, inserting the expansion in yields two equal Fourier integrals, each with coefficient , and hence . The vacuum obeys , and repeated creation operators generate the symmetric bosonic Fock space. Normal ordering of the quadratic Hamiltonian removes its vacuum constant and gives ; the same computation for the spatial momentum gives the stipulated four-momentum .
The oscillator algebra now implies
Consequently
Indeed, . For , the result is , which is the Heisenberg equation of motion with the correct sign. As usual, the field identities are interpreted after smearing the operator-valued distributions, or on a suitable common finite-particle domain.
For with real and , one has . Differentiating gives . If , this equals . The Heisenberg equation of motion identifies the left-to-right particle current as . Reversing the definition of the relative phase reverses this sign.
For a quantum field with four-momentum operator , spacetime dependence is implemented by the displayed conjugation. Taking a matrix element between momentum eigenstates gives . Differentiating gives and , connecting the Heisenberg equation of motion to spatial translation covariance.