Physics:Klein–Gordon equation

Short description: Relativistic wave equation in quantum mechanics

The Klein–Gordon equation (Klein–Fock–Gordon equation or sometimes Klein–Gordon–Fock equation) is a relativistic wave equation, related to the Schrödinger equation. It is second-order in space and time and manifestly Lorentz-covariant. It is a quantized version of the relativistic energy–momentum relation [math]\displaystyle{ E^2 = (pc)^2 + \left(m_0c^2\right)^2\, }[/math]. Its solutions include a quantum scalar or pseudoscalar field, a field whose quanta are spinless particles. Its theoretical relevance is similar to that of the Dirac equation. Electromagnetic interactions can be incorporated, forming the topic of scalar electrodynamics, but because common spinless particles like the pions are unstable and also experience the strong interaction (with unknown interaction term in the Hamiltonian) the practical utility is limited.

The equation can be put into the form of a Schrödinger equation. In this form it is expressed as two coupled differential equations, each of first order in time. The solutions have two components, reflecting the charge degree of freedom in relativity. It admits a conserved quantity, but this is not positive definite. The wave function cannot therefore be interpreted as a probability amplitude. The conserved quantity is instead interpreted as electric charge, and the norm squared of the wave function is interpreted as a charge density. The equation describes all spinless particles with positive, negative, and zero charge.

Any solution of the free Dirac equation is, for each of its four components, a solution of the free Klein–Gordon equation. The Klein–Gordon equation does not form the basis of a consistent quantum relativistic one-particle theory. There is no known such theory for particles of any spin. For full reconciliation of quantum mechanics with special relativity, quantum field theory is needed, in which the Klein–Gordon equation reemerges as the equation obeyed by the components of all free quantum fields. In quantum field theory, the solutions of the free (noninteracting) versions of the original equations still play a role. They are needed to build the Hilbert space (Fock space) and to express quantum fields by using complete sets (spanning sets of Hilbert space) of wave functions.

Statement

The Klein–Gordon equation can be written in different ways. The equation itself usually refers to the position space form, where it can be written in terms of separated space and time components [math]\displaystyle{ (t, \mathbf{x}) }[/math] or by combining them into a four-vector [math]\displaystyle{ x = (c t, \mathbf{x}) }[/math]. By Fourier transforming the field into momentum space, the solution is usually written in terms of a superposition of plane waves whose energy and momentum obey the energy-momentum dispersion relation from special relativity. Here, the Klein–Gordon equation is given for both of the two common metric signature conventions [math]\displaystyle{ \eta_{\mu \nu} = \text{diag}(\pm 1, \mp 1, \mp 1, \mp 1) }[/math].

Klein–Gordon equation in normal units with metric signature [math]\displaystyle{ \eta_{\mu \nu} = \text{diag}(\pm 1, \mp 1, \mp 1, \mp 1) }[/math]

	Position space [math]\displaystyle{ x = (ct, \mathbf{x}) }[/math]	Fourier transformation [math]\displaystyle{ \omega = E / \hbar , \quad \mathbf{k} = \mathbf{p} / \hbar }[/math]	Momentum space [math]\displaystyle{ p = (E/c, \mathbf{p}) }[/math]
Separated time and space	[math]\displaystyle{ \left( \frac{1}{c^2} \frac{\partial^2}{\partial t^2} - \nabla^2 + \frac{m^2 c^2}{\hbar^2} \right) \psi(t, \mathbf{x}) = 0 }[/math]	[math]\displaystyle{ \psi(t, \mathbf{x}) = \int \frac{\mathrm{d} \omega}{2 \pi \hbar} \int \frac{\mathrm{d}^3 k}{(2 \pi \hbar)^3} \, e^{\mp i(\omega t - \mathbf{k} \cdot \mathbf{x})} \psi(\omega, \mathbf{k}) }[/math]	[math]\displaystyle{ E^2 = \mathbf{p}^2 c^2 + m^2 c^4 }[/math]
Four-vector form	[math]\displaystyle{ (\Box + \mu^2) \psi(x) = 0 , \quad \mu = m c / \hbar }[/math]	[math]\displaystyle{ \psi(x) = \int \frac{\mathrm{d}^4 p}{(2 \pi \hbar)^4} e^{-i p \cdot x / \hbar} \psi(p) }[/math]	[math]\displaystyle{ p^2 = \pm m^2 c^2 }[/math]

Here, [math]\displaystyle{ \Box = \pm \eta^{\mu \nu} \partial_\mu \partial_\nu }[/math] is the wave operator and [math]\displaystyle{ \nabla^2 }[/math] is the Laplace operator. The speed of light [math]\displaystyle{ c }[/math] and Planck constant [math]\displaystyle{ \hbar }[/math] are often seen to clutter the equations, so they are therefore often expressed in natural units where [math]\displaystyle{ c = \hbar = 1 }[/math].

Klein–Gordon equation in natural units with metric signature [math]\displaystyle{ \eta_{\mu \nu} = \text{diag}(\pm 1, \mp 1, \mp 1, \mp 1) }[/math]

	Position space [math]\displaystyle{ x = (t, \mathbf{x}) }[/math]	Fourier transformation [math]\displaystyle{ \omega = E , \quad \mathbf{k} = \mathbf{p} }[/math]	Momentum space [math]\displaystyle{ p = (E, \mathbf{p}) }[/math]
Separated time and space	[math]\displaystyle{ \left( \partial_t^2 - \nabla^2 + m^2 \right) \psi(t, \mathbf{x}) = 0 }[/math]	[math]\displaystyle{ \psi(t, \mathbf{x}) = \int \frac{\mathrm{d} \omega }{2\pi} \int \frac{\mathrm{d}^3 k}{(2\pi)^3} e^{\mp i(\omega t - \mathbf{k} \cdot \mathbf{x})} \psi(\omega, \mathbf{k}) }[/math]	[math]\displaystyle{ E^2 = \mathbf{p}^2 + m^2 }[/math]
Four-vector form	[math]\displaystyle{ (\Box + m^2) \psi(x) = 0 }[/math]	[math]\displaystyle{ \psi(x) = \int \frac{\mathrm{d}^4p}{(2\pi)^4} e^{-i p \cdot x} \psi(p) }[/math]	[math]\displaystyle{ p^2 = \pm m^2 }[/math]

Unlike the Schrödinger equation, the Klein–Gordon equation admits two values of ω for each k: one positive and one negative. Only by separating out the positive and negative frequency parts does one obtain an equation describing a relativistic wavefunction. For the time-independent case, the Klein–Gordon equation becomes

[math]\displaystyle{ \left[ \nabla^2 - \frac{m^2 c^2}{\hbar^2} \right] \psi(\mathbf{r}) = 0, }[/math]

which is formally the same as the homogeneous screened Poisson equation. Klein-Gordon equation can also be represented as:

[math]\displaystyle{ \hat{p}^{\mu}\hat{p}_{\mu}\psi=m^{2}c^{2}\psi }[/math]

where, the momentum operator is given as: [math]\displaystyle{ {\hat{p}}^{\mu}=\mathrm{i}\hbar{\frac{\partial}{\partial x_{\mu}}}=\mathrm{i}\hbar\left\{{\frac{\partial}{\partial(c t)}},-{\frac{\partial}{\partial x}},-{\frac{\partial}{\partial y}},-{\frac{\partial}{\partial z}}\right\}= \{\frac{E}{c},\mathbf p\} }[/math].

Solution for free particle

Here, the Klein–Gordon equation in natural units, [math]\displaystyle{ (\Box + m^2) \psi(x) = 0 }[/math], with the metric signature [math]\displaystyle{ \eta_{\mu \nu} = \text{diag}(+1, -1, -1, -1) }[/math] is solved by Fourier transformation. Inserting the Fourier transformation[math]\displaystyle{ \psi(x) = \int \frac{\mathrm{d}^4 p}{(2\pi)^4} e^{- i p \cdot x} \psi(p) }[/math]and using orthogonality of the complex exponentials gives the dispersion relation[math]\displaystyle{ p^2 = (p^0)^2 - \mathbf{p}^2 = m^2 }[/math]This restricts the momenta to those that lie on shell, giving positive and negative energy solutions[math]\displaystyle{ p^0 = \pm E(\mathbf{p}) \quad \text{where} \quad E(\mathbf{p}) = \sqrt{\mathbf{p}^2 + m^2} . }[/math]For a new set of constants [math]\displaystyle{ C(p) }[/math], the solution then becomes[math]\displaystyle{ \psi(x) = \int \frac{\mathrm{d}^4 p}{(2\pi)^4} e^{i p \cdot x} C(p) \delta((p^0)^2-E(\mathbf{p})^2) . }[/math]It is common to handle the positive and negative energy solutions by separating out the negative energies and work only with positive [math]\displaystyle{ p^0 }[/math]:[math]\displaystyle{ \begin{align} \psi(x) =& \int \frac{\mathrm{d}^4 p}{(2\pi)^4} \delta((p^0)^2-E(\mathbf{p})^2) \left( A(p) e^{-i p^0 x^0 + i p^i x^i} + B(p) e^{+i p^0 x^0 + i p^i x^i} \right) \theta(p^0) \\ =& \int \frac{\mathrm{d}^4 p}{(2\pi)^4} \delta((p^0)^2-E(\mathbf{p})^2) \left( A(p) e^{-i p^0 x^0 + i p^i x^i} + B(-p) e^{+i p^0 x^0 - i p^i x^i} \right) \theta(p^0) \\ \rightarrow& \int \frac{\mathrm{d}^4 p}{(2\pi)^4} \delta((p^0)^2-E(\mathbf{p})^2) \left( A(p) e^{-i p \cdot x} + B(p) e^{+i p \cdot x} \right) \theta(p^0) \\ \end{align} }[/math]In the last step, [math]\displaystyle{ B(p) \rightarrow B(-p) }[/math] was renamed. Now we can perform the [math]\displaystyle{ p^0 }[/math]-integration, picking up the positive frequency part from the delta function only:

[math]\displaystyle{ \begin{align} \psi(x) &= \int \frac{\mathrm{d}^4 p}{(2\pi)^4} \frac{\delta(p^0-E(\mathbf{p}))}{2 E(\mathbf{p})} \left( A(p) e^{-i p \cdot x} + B(p) e^{+i p \cdot x} \right) \theta(p^0) \\ &= \int \left. \frac{\mathrm{d}^3 p}{(2\pi)^3} \frac{1}{2 E(\mathbf{p})} \left( A(\mathbf{p}) e^{-i p \cdot x} + B(\mathbf{p}) e^{+i p \cdot x} \right) \right|_{p^0 = +E(\mathbf{p})}. \end{align} }[/math]

This is commonly taken as a general solution to the Klein–Gordon equation. Note that because the initial Fourier transformation contained Lorentz invariant quantities like [math]\displaystyle{ p \cdot x = p_\mu x^\mu }[/math] only, the last expression is also a Lorentz invariant solution to the Klein–Gordon equation. If one does not require Lorentz invariance, one can absorb the [math]\displaystyle{ 1 / 2 E(\mathbf{p}) }[/math]-factor into the coefficients [math]\displaystyle{ A(p) }[/math] and [math]\displaystyle{ B(p) }[/math].

History

The equation was named after the physicists Oskar Klein and Walter Gordon, who in 1926 proposed that it describes relativistic electrons. Vladimir Fock also discovered the equation independently in 1926 slightly after Klein's work, in that Klein's paper was received on 28 April 1926, Fock's paper was received on 30 July 1926 and Gordon's paper on 29 September 1926. Other authors making similar claims in that same year Johann Kudar, Théophile de Donder and Frans-H. van den Dungen, and Louis de Broglie. Although it turned out that modeling the electron's spin required the Dirac equation, the Klein–Gordon equation correctly describes the spinless relativistic composite particles, like the pion. On 4 July 2012, European Organization for Nuclear Research CERN announced the discovery of the Higgs boson. Since the Higgs boson is a spin-zero particle, it is the first observed ostensibly elementary particle to be described by the Klein–Gordon equation. Further experimentation and analysis is required to discern whether the Higgs boson observed is that of the Standard Model or a more exotic, possibly composite, form.

The Klein–Gordon equation was first considered as a quantum wave equation by Schrödinger in his search for an equation describing de Broglie waves. The equation is found in his notebooks from late 1925, and he appears to have prepared a manuscript applying it to the hydrogen atom. Yet, because it fails to take into account the electron's spin, the equation predicts the hydrogen atom's fine structure incorrectly, including overestimating the overall magnitude of the splitting pattern by a factor of 4n/2n − 1 for the n-th energy level. The Dirac equation relativistic spectrum is, however, easily recovered if the orbital-momentum quantum number l is replaced by total angular-momentum quantum number j. In January 1926, Schrödinger submitted for publication instead his equation, a non-relativistic approximation that predicts the Bohr energy levels of hydrogen without fine structure.

In 1926, soon after the Schrödinger equation was introduced, Vladimir Fock wrote an article about its generalization for the case of magnetic fields, where forces were dependent on velocity, and independently derived this equation. Both Klein and Fock used Kaluza and Klein's method. Fock also determined the gauge theory for the wave equation. The Klein–Gordon equation for a free particle has a simple plane-wave solution.

Derivation

The non-relativistic equation for the energy of a free particle is

[math]\displaystyle{ \frac{\mathbf{p}^2}{2 m} = E. }[/math]

By quantizing this, we get the non-relativistic Schrödinger equation for a free particle:

[math]\displaystyle{ \frac{\mathbf{\hat{p}}^2}{2m} \psi = \hat{E} \psi, }[/math]

where

[math]\displaystyle{ \mathbf{\hat{p}} = -i \hbar \mathbf{\nabla} }[/math]

is the momentum operator (∇ being the del operator), and

[math]\displaystyle{ \hat{E} = i \hbar \frac{\partial}{\partial t} }[/math]

is the energy operator.

The Schrödinger equation suffers from not being relativistically invariant, meaning that it is inconsistent with special relativity.

It is natural to try to use the identity from special relativity describing the energy:

[math]\displaystyle{ \sqrt{\mathbf{p}^2 c^2 + m^2 c^4} = E. }[/math]

Then, just inserting the quantum-mechanical operators for momentum and energy yields the equation

[math]\displaystyle{ \sqrt{(-i\hbar\mathbf{\nabla})^2 c^2 + m^2 c^4} \, \psi = i \hbar \frac{\partial}{\partial t}\psi. }[/math]

The square root of a differential operator can be defined with the help of Fourier transformations, but due to the asymmetry of space and time derivatives, Dirac found it impossible to include external electromagnetic fields in a relativistically invariant way. So he looked for another equation that can be modified in order to describe the action of electromagnetic forces. In addition, this equation, as it stands, is nonlocal (see also Introduction to nonlocal equations).

Klein and Gordon instead began with the square of the above identity, i.e.

[math]\displaystyle{ \mathbf{p}^2 c^2 + m^2 c^4 = E^2, }[/math]

which, when quantized, gives

[math]\displaystyle{ \left( (-i\hbar\mathbf{\nabla})^2 c^2 + m^2 c^4 \right) \psi = \left( i \hbar \frac{\partial}{\partial t} \right)^2 \psi, }[/math]

which simplifies to

[math]\displaystyle{ -\hbar^2 c^2 \mathbf{\nabla}^2 \psi + m^2 c^4 \psi = -\hbar^2 \frac{\partial^2}{\partial t^2} \psi. }[/math]

Rearranging terms yields

[math]\displaystyle{ \frac{1}{c^2} \frac{\partial^2}{\partial t^2} \psi - \mathbf{\nabla}^2 \psi + \frac{m^2 c^2}{\hbar^2} \psi = 0. }[/math]

Since all reference to imaginary numbers has been eliminated from this equation, it can be applied to fields that are real-valued, as well as those that have complex values.

Rewriting the first two terms using the inverse of the Minkowski metric diag(−c², 1, 1, 1), and writing the Einstein summation convention explicitly we get

[math]\displaystyle{ -\eta^{\mu \nu} \partial_\mu \, \partial_\nu \psi \equiv \sum_{\mu=0}^{3} \sum_{\nu=0}^{3} -\eta^{\mu\nu} \partial_\mu \, \partial_\nu \psi = \frac{1}{c^2} \partial_0^2 \psi - \sum_{\nu=1}^{3} \partial_\nu \, \partial_\nu\psi = \frac{1}{c^2} \frac{\partial^2}{\partial t^2} \psi - \mathbf{\nabla}^2 \psi. }[/math]

Thus the Klein–Gordon equation can be written in a covariant notation. This often means an abbreviation in the form of

[math]\displaystyle{ (\Box + \mu^2) \psi = 0, }[/math]

where

[math]\displaystyle{ \mu = \frac{mc}{\hbar}, }[/math]

and

[math]\displaystyle{ \Box = \frac{1}{c^2} \frac{\partial^2}{\partial t^2} - \nabla^2. }[/math]

This operator is called the wave operator.

Today this form is interpreted as the relativistic field equation for spin-0 particles. Furthermore, any component of any solution to the free Dirac equation (for a spin-1/2 particle) is automatically a solution to the free Klein–Gordon equation. This generalizes to particles of any spin due to the Bargmann–Wigner equations. Furthermore, in quantum field theory, every component of every quantum field must satisfy the free Klein–Gordon equation, making the equation a generic expression of quantum fields.

Klein–Gordon equation in a potential

The Klein–Gordon equation can be generalized to describe a field in some potential [math]\displaystyle{ V(\psi) }[/math] as

[math]\displaystyle{ \Box \psi + \frac{\partial V}{\partial \psi} = 0. }[/math]

Then the Klein–Gordon equation is the case [math]\displaystyle{ V(\psi) = M^2\bar\psi\psi }[/math].

Another common choice of potential which arises in interacting theories is the [math]\displaystyle{ \phi^4 }[/math] potential for a real scalar field [math]\displaystyle{ \phi, }[/math]

[math]\displaystyle{ V(\phi) = \frac{1}{2}m^2\phi^2 + \lambda \phi^4. }[/math]

Higgs sector

The pure Higgs boson sector of the Standard model is modelled by a Klein–Gordon field with a potential, denoted [math]\displaystyle{ H }[/math] for this section. The Standard model is a gauge theory and so while the field transforms trivially under the Lorentz group, it transforms as a [math]\displaystyle{ \mathbb{C}^2 }[/math]-valued vector under the action of the [math]\displaystyle{ \text{SU}(2) }[/math] part of the gauge group. Therefore while it is a vector field [math]\displaystyle{ H:\mathbb{R}^{1,3}\rightarrow \mathbb{C}^2 }[/math], it is still referred to as a scalar field, as scalar describes its transformation (formally, representation) under the Lorentz group. This is also discussed below in the scalar chromodynamics section.

The Higgs field is modelled by a potential

[math]\displaystyle{ V(H) = -m^2H^\dagger H + \lambda (H^\dagger H)^2 }[/math],

which can be viewed as a generalization of the [math]\displaystyle{ \phi^4 }[/math] potential, but has an important difference: it has a circle of minima. This observation is an important one in the theory of spontaneous symmetry breaking in the Standard model.

Conserved U(1) current

The Klein–Gordon equation (and action) for a complex field [math]\displaystyle{ \psi }[/math] admits a [math]\displaystyle{ \text{U}(1) }[/math] symmetry. That is, under the transformations

[math]\displaystyle{ \psi(x) \mapsto e^{i\theta}\psi(x), }[/math]

[math]\displaystyle{ \bar\psi(x) \mapsto e^{-i\theta}\bar\psi(x), }[/math]

the Klein–Gordon equation is invariant, as is the action (see below). By Noether's theorem for fields, corresponding to this symmetry there is a current [math]\displaystyle{ J^\mu }[/math] defined as

[math]\displaystyle{ J^\mu(x) = \frac{e}{2m} \left( \, \bar\psi(x) \partial^\mu\psi(x) - \psi(x)\partial^\mu \bar\psi(x) \, \right). }[/math]

which satisfies the conservation equation [math]\displaystyle{ \partial_\mu J^\mu(x) = 0. }[/math] The form of the conserved current can be derived systematically by applying Noether's theorem to the [math]\displaystyle{ \text{U}(1) }[/math] symmetry. We will not do so here, but simply verify that this current is conserved.

From the Klein–Gordon equation for a complex field [math]\displaystyle{ \psi(x) }[/math] of mass [math]\displaystyle{ M }[/math], written in covariant notation and mostly plus signature,

[math]\displaystyle{ (\square + m^2) \psi(x) = 0 }[/math]

and its complex conjugate

[math]\displaystyle{ (\square + m^2) \bar\psi(x) = 0. }[/math]

Multiplying by the left respectively by [math]\displaystyle{ \bar\psi(x) }[/math] and [math]\displaystyle{ \psi(x) }[/math] (and omitting for brevity the explicit [math]\displaystyle{ x }[/math] dependence),

[math]\displaystyle{ \bar\psi(\square + m^2) \psi = 0, }[/math]

[math]\displaystyle{ \psi(\square + m^2) \bar\psi = 0. }[/math]

Subtracting the former from the latter, we obtain

[math]\displaystyle{ \bar\psi \square \psi - \psi \square \bar\psi = 0, }[/math]

or in index notation,

[math]\displaystyle{ \bar\psi \partial_\mu \partial^\mu \psi - \psi \partial_\mu \partial^\mu \bar\psi = 0. }[/math]

Applying this to the derivative of the current [math]\displaystyle{ J^\mu(x) \equiv \psi^*(x) \partial^\mu\psi(x) - \psi(x)\partial^\mu \psi^*(x), }[/math] one finds

[math]\displaystyle{ \partial_\mu J^\mu(x) = 0. }[/math]

This [math]\displaystyle{ \text{U}(1) }[/math] symmetry is a global symmetry, but it can also be gauged to create a local or gauge symmetry: see below scalar QED. The name of gauge symmetry is somewhat misleading: it is really a redundancy, while the global symmetry is a genuine symmetry.

Lagrangian formulation

The Klein–Gordon equation can also be derived by a variational method, arising as the Euler–Lagrange equation of the action

[math]\displaystyle{ \mathcal{S} = \int \left( -\hbar^2 \eta^{\mu \nu} \partial_\mu\bar\psi \,\partial_\nu \psi - M^2 c^2 \bar\psi \psi \right) \mathrm{d}^4 x, }[/math]

In natural units, with signature mostly minus, the actions take the simple form

Klein–Gordon action for a real scalar field

[math]\displaystyle{ S = \int d^4x \left(\frac{1}{2}\partial^\mu\phi\partial_\mu\phi - \frac{1}{2}m^2\phi^2\right) }[/math]

for a real scalar field of mass [math]\displaystyle{ m }[/math], and

Klein–Gordon action for a complex scalar field

[math]\displaystyle{ S = \int d^4x \left(\partial^\mu\psi\partial_\mu\bar\psi - M^2\psi\bar\psi\right) }[/math]

for a complex scalar field of mass [math]\displaystyle{ M }[/math].

Applying the formula for the stress–energy tensor to the Lagrangian density (the quantity inside the integral), we can derive the stress–energy tensor of the scalar field. It is

[math]\displaystyle{ T^{\mu\nu} = \hbar^2 \left (\eta^{\mu \alpha} \eta^{\nu \beta} + \eta^{\mu \beta} \eta^{\nu \alpha} - \eta^{\mu\nu} \eta^{\alpha \beta} \right ) \partial_\alpha \bar\psi \, \partial_\beta \psi - \eta^{\mu\nu} M^2 c^2 \bar\psi \psi . }[/math]

and in natural units,

[math]\displaystyle{ T^{\mu\nu} = 2\partial^\mu\bar\psi\partial^\nu\psi - \eta^{\mu\nu}(\partial^\rho\bar\psi\partial_\rho\psi - M^2\bar\psi\psi) }[/math]

By integration of the time–time component T⁰⁰ over all space, one may show that both the positive- and negative-frequency plane-wave solutions can be physically associated with particles with positive energy. This is not the case for the Dirac equation and its energy–momentum tensor.

The stress energy tensor is the set of conserved currents corresponding to the invariance of the Klein–Gordon equation under space-time translations [math]\displaystyle{ x^\mu \mapsto x^\mu + c^\mu }[/math]. Therefore each component is conserved, that is, [math]\displaystyle{ \partial_\mu T^{\mu\nu} = 0 }[/math] (this holds only on-shell, that is, when the Klein–Gordon equations are satisfied). It follows that the integral of [math]\displaystyle{ T^{0\nu} }[/math] over space is a conserved quantity for each [math]\displaystyle{ \nu }[/math]. These have the physical interpretation of total energy for [math]\displaystyle{ \nu=0 }[/math] and total momentum for [math]\displaystyle{ \nu = i }[/math] with [math]\displaystyle{ i \in \{1,2,3\} }[/math].

Non-relativistic limit

Classical field

Taking the non-relativistic limit (v ≪ c) of a classical Klein–Gordon field ψ(x, t) begins with the ansatz factoring the oscillatory rest mass energy term,

[math]\displaystyle{ \psi(\mathbb x, t) = \phi(\mathbb x, t)\,e^{-\frac i \hbar m c^2 t} \quad \textrm{where} \quad \phi(\mathbb x, t)=u_E(x)e^{-\frac i \hbar E' t}. }[/math]

Defining the kinetic energy [math]\displaystyle{ E' = E - mc^2=\sqrt{m^2c^4+c^2p^2}-mc^2\approx\frac{p^2}{2m} }[/math], [math]\displaystyle{ E' \ll mc^2 }[/math] in the non-relativistic limit [math]\displaystyle{ v = p/m \ll c }[/math], and hence

[math]\displaystyle{ i\hbar \frac{\partial\phi}{\partial t} = E' \phi \ll mc^2\phi \quad \textrm{and} \quad (i\hbar)^2 \frac{\partial^2\phi}{\partial t^2} = (E')^2 \phi \ll (mc^2)^2\phi. }[/math]

Applying this yields the non-relativistic limit of the second time derivative of [math]\displaystyle{ \psi }[/math],

[math]\displaystyle{ \frac{\partial\psi}{\partial t} = \left(-i\frac{mc^2}{\hbar}\phi+\frac{\partial\phi}{\partial t} \right)\,e^{-\frac i \hbar mc^2 t}\approx -i\frac{mc^2}{\hbar}\phi\,e^{-\frac i \hbar mc^2 t} }[/math]

[math]\displaystyle{ \frac{\partial^2\psi}{\partial t^2} = -\left( i\frac{2mc^2}{\hbar} \frac{\partial\phi}{\partial t} + \left(\frac{mc^2}{\hbar}\right)^2 \phi - \frac{\partial^2\phi}{\partial t^2}\right) e^{-\frac i \hbar mc^2 t} \approx -\left( i\frac{2mc^2}{\hbar} \frac{\partial\phi}{\partial t} + \left(\frac{mc^2}{\hbar}\right)^2 \phi \right) e^{-\frac i \hbar mc^2 t} }[/math]

Substituting into the free Klein–Gordon equation, [math]\displaystyle{ c^{-2}\partial_t^2 \psi = \nabla^2 \psi - m^2 \psi }[/math], yields

[math]\displaystyle{ -\frac{1}{c^2}\left( i\frac{2mc^2}{\hbar} \frac{\partial\phi}{\partial t} + \left(\frac{mc^2}{\hbar}\right)^2 \phi \right) e^{-\frac i \hbar mc^2 t} \approx \left(\nabla^2 - \left(\frac{mc}{\hbar}\right)^2\right)\phi\,e^{-\frac i \hbar mc^2 t} }[/math]

which (by dividing out the exponential and subtracting the mass term) simplifies to

[math]\displaystyle{ i\hbar\frac{\partial\phi}{\partial t} = -\frac{\hbar^2}{2m}\nabla^2\phi. }[/math]

This is a classical Schrödinger field.

Quantum field

The analogous limit of a quantum Klein–Gordon field is complicated by the non-commutativity of the field operator. In the limit v ≪ c, the creation and annihilation operators decouple and behave as independent quantum Schrödinger fields.

Scalar electrodynamics

There is a way to make the complex Klein–Gordon field [math]\displaystyle{ \psi }[/math] interact with electromagnetism in a gauge-invariant way. We can replace the (partial) derivative with the gauge-covariant derivative. Under a local [math]\displaystyle{ \text{U}(1) }[/math] gauge transformation, the fields transform as

[math]\displaystyle{ \psi \mapsto \psi' = e^{i\theta(x)}\psi, }[/math]

[math]\displaystyle{ \bar\psi \mapsto \bar\psi' = e^{-i\theta(x)}\bar\psi, }[/math]

where [math]\displaystyle{ \theta(x) = \theta(t, \textbf{x}) }[/math] is a function of spacetime, thus making it a local transformation, as opposed to a constant over all of spacetime, which would be a global [math]\displaystyle{ \text{U}(1) }[/math] transformation. A subtle point is that global transformations can arise as local ones, when the function [math]\displaystyle{ \theta(x) }[/math] is taken to be a constant function.

A well-formulated theory should be invariant under such transformations. Precisely, this means that the equations of motion and action (see below) are invariant. To achieve this, ordinary derivatives [math]\displaystyle{ \partial_\mu }[/math] must be replaced by gauge-covariant derivatives [math]\displaystyle{ D_\mu }[/math], defined as

[math]\displaystyle{ D_\mu\psi = (\partial_\mu - ieA_\mu)\psi }[/math]

[math]\displaystyle{ D_\mu\bar\psi = (\partial_\mu + ieA_\mu)\bar\psi }[/math]

where the 4-potential or gauge field [math]\displaystyle{ A_\mu }[/math] transforms under a gauge transformation [math]\displaystyle{ \theta }[/math] as

[math]\displaystyle{ A_\mu \mapsto A'_\mu = A_\mu + \frac{1}{e}\partial_\mu\theta }[/math].

With these definitions, the covariant derivative transforms as

[math]\displaystyle{ D_\mu\psi \mapsto e^{i\theta}D_\mu\psi }[/math]

In natural units, the Klein–Gordon equation therefore becomes

[math]\displaystyle{ D_\mu D^\mu \psi - M^2 \psi = 0. }[/math]

Since an ungauged [math]\displaystyle{ \text{U}(1) }[/math] symmetry is only present in complex Klein–Gordon theory, this coupling and promotion to a gauged [math]\displaystyle{ \text{U}(1) }[/math] symmetry is compatible only with complex Klein–Gordon theory and not real Klein–Gordon theory.

In natural units and mostly minus signature we have

Scalar QED action

[math]\displaystyle{ S = \int d^4x \,-\frac{1}{4}F^{\mu\nu}F_{\mu\nu}+ D^\mu\psi D_\mu\bar\psi - M^2\psi\bar\psi }[/math]

where [math]\displaystyle{ F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu }[/math] is known as the Maxwell tensor, field strength or curvature depending on viewpoint.

This theory is often known as scalar quantum electrodynamics or scalar QED, although all aspects we've discussed here are classical.

Scalar chromodynamics

It is possible to extend this to a non-abelian gauge theory with a gauge group [math]\displaystyle{ G }[/math], where we couple the scalar Klein–Gordon action to a Yang–Mills Lagrangian. Here, the field is actually vector-valued, but is still described as a scalar field: the scalar describes its transformation under space-time transformations, but not its transformation under the action of the gauge group.

For concreteness we fix [math]\displaystyle{ G }[/math] to be [math]\displaystyle{ \text{SU}(N) }[/math], the special unitary group for some [math]\displaystyle{ N \geq 2 }[/math]. Under a gauge transformation [math]\displaystyle{ U(x) }[/math], which can be described as a function [math]\displaystyle{ U:\mathbb{R}^{1,3}\rightarrow \text{SU}(N), }[/math] the scalar field [math]\displaystyle{ \psi }[/math] transforms as a [math]\displaystyle{ \mathbb{C}^N }[/math] vector

[math]\displaystyle{ \psi(x) \mapsto U(x)\psi(x) }[/math]

[math]\displaystyle{ \psi^\dagger(x) \mapsto \psi^\dagger(x) U^\dagger(x) }[/math].

The covariant derivative is

[math]\displaystyle{ D_\mu\psi = \partial_\mu \psi - igA_\mu\psi }[/math]

[math]\displaystyle{ D_\mu\psi^\dagger = \partial_\mu \psi^\dagger + ig\psi^\dagger A_\mu^\dagger }[/math]

where the gauge field or connection transforms as

[math]\displaystyle{ A_\mu \mapsto UA_\mu U^{-1} - \frac{i}{g}\partial_\mu U U^{-1}. }[/math]

This field can be seen as a matrix valued field which acts on the vector space [math]\displaystyle{ \mathbb{C}^N }[/math].

Finally defining the chromomagnetic field strength or curvature,

[math]\displaystyle{ F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + g(A_\mu A_\nu - A_\nu A_\mu), }[/math]

we can define the action.

Scalar QCD action

[math]\displaystyle{ S = \int d^4x \,-\frac{1}{4}\text{Tr}(F^{\mu\nu}F_{\mu\nu})+ D^\mu\psi^\dagger D_\mu\psi - M^2\psi^\dagger\psi }[/math]

Klein–Gordon on curved spacetime

In general relativity, we include the effect of gravity by replacing partial derivatives with covariant derivatives, and the Klein–Gordon equation becomes (in the mostly pluses signature)

[math]\displaystyle{ \begin{align} 0 &= - g^{\mu \nu} \nabla_{\mu} \nabla_{\nu} \psi + \dfrac {m^2 c^2}{\hbar^2} \psi = - g^{\mu \nu} \nabla_{\mu} (\partial_\nu \psi) + \dfrac {m^2 c^2}{\hbar^2} \psi \\ &= -g^{\mu \nu} \partial_\mu \partial_\nu \psi + g^{\mu \nu} \Gamma^{\sigma}{}_{\mu \nu} \partial_\sigma \psi + \dfrac {m^2 c^2}{\hbar^2} \psi, \end{align} }[/math]

or equivalently,

[math]\displaystyle{ \frac{-1}{\sqrt{-g}} \partial_\mu \left( g^{\mu \nu} \sqrt{-g} \partial_\nu \psi \right) + \frac {m^2 c^2}{\hbar^2} \psi = 0, }[/math]

where g^αβ is the inverse of the metric tensor that is the gravitational potential field, g is the determinant of the metric tensor, ∇_μ is the covariant derivative, and Γ^σ_μν is the Christoffel symbol that is the gravitational force field.

With natural units this becomes

Klein–Gordon equation on curved spacetime for a real scalar field

[math]\displaystyle{ \nabla^a\nabla_a\Phi - m^2\Phi = 0 }[/math]

This also admits an action formulation on a spacetime (Lorentzian) manifold [math]\displaystyle{ M }[/math]. Using abstract index notation and in mostly plus signature this is

Klein–Gordon action on curved spacetime for a real scalar field

[math]\displaystyle{ S = \int_M d^4x \,\sqrt{-g}\left(-\frac{1}{2}g^{ab}\nabla_a\Phi\nabla_b\Phi - \frac{1}{2}m^2\Phi^2\right) }[/math]

or

Klein–Gordon action on curved spacetime for a complex scalar field

[math]\displaystyle{ S = \int_M d^4x \,\sqrt{-g}\left(-g^{ab}\nabla_a\Psi\nabla_b\bar\Psi - M^2\Psi\bar\Psi\right) }[/math]

See also

• Quantum field theory
• Quartic interaction
• Relativistic wave equations
• Dirac equation (spin 1/2)
• Proca action (spin 1)
• Rarita–Schwinger equation (spin 3/2)
• Scalar field theory
• Sine–Gordon equation

References

• Davydov, A. S. (1976). Quantum Mechanics, 2nd Edition. Pergamon Press. ISBN 0-08-020437-6. 
• Feshbach, H.; Villars, F. (1958). "Elementary relativistic wave mechanics of spin 0 and spin 1/2 particles". Reviews of Modern Physics 30 (1): 24–45. doi:10.1103/RevModPhys.30.24. Bibcode: 1958RvMP...30...24F. 
• Gordon, Walter (1926). "Der Comptoneffekt nach der Schrödingerschen Theorie". Zeitschrift für Physik 40 (1–2): 117. doi:10.1007/BF01390840. Bibcode: 1926ZPhy...40..117G. 
• Greiner, W. (2000). Relativistic Quantum Mechanics. Wave Equations (3rd ed.). Springer Verlag. ISBN 3-5406-74578. https://books.google.com/books?id=2DAInxwvlHYC&q=Relativistic+quantum+mechanics&pg=PA1. 
• Greiner, W.; Müller, B. (1994). Quantum Mechanics: Symmetries (2nd ed.). Springer. ISBN 978-3540580805. https://archive.org/details/quantummechanics0001grei. 
• Gross, F. (1993). Relativistic Quantum Mechanics and Field Theory (1st ed.). Wiley-VCH. ISBN 978-0471591139. 
• Klein, O. (1926). "Quantentheorie und fünfdimensionale Relativitätstheorie". Zeitschrift für Physik 37 (12): 895. doi:10.1007/BF01397481. Bibcode: 1926ZPhy...37..895K. 
• Sakurai, J. J. (1967). Advanced Quantum Mechanics. Addison Wesley. ISBN 0-201-06710-2. 
• Weinberg, S. (2002). The Quantum Theory of Fields. I. Cambridge University Press. ISBN 0-521-55001-7. https://archive.org/details/quantumtheoryoff00stev. 

External links

• Hazewinkel, Michiel, ed. (2001), "Klein–Gordon equation", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/k055480 
• Weisstein, Eric W.. "Klein-Gordon Equation". http://mathworld.wolfram.com/Klein-GordonEquation.html. 
• Linear Klein–Gordon Equation at EqWorld: The World of Mathematical Equations.
• Nonlinear Klein–Gordon Equation at EqWorld: The World of Mathematical Equations.
• Introduction to nonlocal equations.