Klein–Gordon equation

Formulation

Definition

The Klein–Gordon equation describes the time evolution of a real scalar field ${\displaystyle \varphi (t,\mathit{x})}$, which is a field that assigns a real number to each point in spacetime. The equation is a second order hyperbolic partial differential equation given by

${\displaystyle (\frac{1}{c^2}\frac{{\mathrm{\partial }}^2}{\mathrm{\partial }{t}^2}-{\mathrm{\nabla }}^2+\frac{c^2{m}^2}{{\hslash }^2})\varphi (t,\mathit{x})=0.}$

Here ${\displaystyle {\mathrm{\nabla }}^2}$ is the Laplace operator, ${\displaystyle c}$ the speed of light, and ${\displaystyle \hslash }$ is the reduced Planck constant. The parameter ${\displaystyle m}$ plays the role of the mass of the scalar field. The time-independent case of the equation is equivalent to the screened Poisson equation. A more concise expression for the equation employs natural units, where both the speed of light and the reduced Planck constant are set to unity, i.e. ${\displaystyle c=\hslash =1}$. The differential operator takes the form of the d'Alembert operator ${\displaystyle ◻={\eta }^{\mu \nu }{\mathrm{\partial }}_{\mu }{\mathrm{\partial }}_{\nu }}$, where ${\displaystyle {\eta }^{\mu \nu }}$ is the raised flat metric. The Klein–Gordon equation then takes the form

Klein–Gordon equation

${\displaystyle (◻+m^2)\varphi (x)=0.}$

The Klein–Gordon equation can also act on a complex scalar field ${\displaystyle \chi (x)}$, which is a field that assigns to each point in spacetime a complex number. In this case the equation can be decomposed into a pair of Klein–Gordon equations acting independently on the two degrees of freedom of the complex scalar field. These can be the real and imaginary components, or alternatively the field and its complex conjugate. This decomposition holds because a non-interacting theory of a single complex scalar field is equivalent to a theory of two decoupled real scalar fields.

In the case of a complex scalar field, electromagnetic interactions can be introduced by minimally coupling the fields through the introduction of a gauge covariant derivative

${\displaystyle D_{\mu }\chi =({\mathrm{\partial }}_{\mu }-ie{A}_{\mu })\chi (x),}$

where ${\displaystyle A_{\mu }}$ is the gauge field and ${\displaystyle e}$ is the electric charge of the scalar field. The covariant derivative is introduced to ensure that the resulting theory is gauge invariant under gauge transformations where the gauge field and scalar field transform as

${\displaystyle A_{\mu }(x)\to A_{\mu }(x)+{\mathrm{\partial }}_{\mu }\lambda (x),\chi (x)\to e^{ie\lambda (x)}\chi (x),}$

for a gauge parameter ${\displaystyle \lambda (x)}$. The Klein–Gordon equation minimally coupled to electromagnetism then takes the form

${\displaystyle (D_{\mu }{D}^{\mu }+m^2)\chi (x)=0.}$

This equation describes the evolution of a complex scalar fields in scalar electrodynamics.

Lagrangian formulation

In a Lagrangian formulation, the Klein–Gordon equation for a real scalar field can be obtained as the Euler–Lagrange equation of the Lagrangian

${\displaystyle \mathcal{L}=\frac{1}{2}{\mathrm{\partial }}^{\mu }\varphi {\mathrm{\partial }}_{\mu }\varphi -\frac{1}{2}{m}^2{\varphi }^2.}$

In quantum field theory this Lagrangian describes a massive non-interacting real scalar field whose excitations are scalar bosons of mass ${\displaystyle m}$. In the case of a complex scalar field ${\displaystyle \chi (x)}$, its Lagrangian is given by

${\displaystyle \mathcal{L}={\mathrm{\partial }}^{\mu }{\chi }^{†}{\mathrm{\partial }}_{\mu }\chi -m^2{\chi }^{†}\chi .}$

The Klein–Gordon equation for ${\displaystyle \chi }$ and ${\displaystyle {\chi }^{†}}$ is found by varying the Lagrangian with respect to ${\displaystyle {\chi }^{†}}$ and ${\displaystyle \chi }$, respectively. This Lagrangian is manifestly invariant under a global ${\displaystyle \text{U}(1)}$ symmetry, which when gauged results in scalar electrodynamics. The Lagrangian formulation is useful when calculating the currents associated with the symmetries using Noether's theorem.

Correspondence principle derivation

The equation can be derived analogously to how the Schrödinger equation is derived from the non-relativistic equation for the energy of a particle. In particular, in the non-relativistic limit, the energy ${\displaystyle E}$ of a free particle with momentum ${\displaystyle \mathit{p}}$ is given by

${\displaystyle E=\frac{1}{2m}{\mathit{p}}^2.}$

By elevating the momentum and energy to operators through the correspondence principle

${\displaystyle \mathit{p}\to \hat{\mathit{p}}=-i\hslash \mathrm{\nabla },E\to \hat{E}=i\hslash \frac{\mathrm{\partial }}{\mathrm{\partial }t},}$

this gives the Schrödinger equation. The Klein–Gordon equation is similarly acquired by analogously replacing the energy and momentum by the corresponding operators in the relativistic energy-momentum relation

${\displaystyle E^2={\mathit{p}}^2+m^2.}$

Attempting to acquire the equation for the square root of the above expression is on the other hand problematic since time and space do not appear on an equal footing. Additionally, one would have square roots of differential operators, which are usually handled by Taylor expanding the square root. This leads to an infinite series of higher derivative terms, making the theory difficult to work with.

Properties

Symmetries

The equation transforms covariantly under spacetime translations and the Lorentz group. Together, these form the Poincaré group which encodes the isometries of flat spacetime. Scalar fields transform as scalars under Lorentz transformations, meaning that under ${\displaystyle x^{\prime \mu }={\mathrm{\Lambda }}^{\mu }{}_{\nu }{x}^{\nu }}$, the scalar field transforms as ${\displaystyle {\varphi }^{\prime }(x^{\prime })=\varphi (x)}$.

Global symmetries give rise to currents and charges through Noether's theorem. The four currents corresponding to the four spacetime translations are given by the stress-energy tensor, which for a real scalar field theory is given by

${\displaystyle T^{\mu \nu }={\mathrm{\partial }}^{\mu }\varphi {\mathrm{\partial }}^{\nu }\varphi -g^{\mu \nu }\mathcal{L},}$

where ${\displaystyle \mathcal{L}}$ is the Lagrangian. The conserved charges are given by the spatial integral of the zeroth component of the current. In this case the conserved charges are the total energy and momentum of the field. For Lorentz transformations, the six currents are expressed in terms of the stress-energy tensor as

${\displaystyle {\mathcal{M}}^{\mu \nu \rho }=x^{\nu }{T}^{\mu \rho }-x^{\rho }{T}^{\mu \nu }.}$

The conserved charges arising from the three rotational degrees of freedom are the angular momenta, while for the three boosts they correspond to the motion of the centre of energy.

The real scalar field theory also has an internal discrete ${\displaystyle {\mathbb{Z}}_2}$ symmetry ${\displaystyle \varphi (x)\to -\varphi (x)}$, although this has no dynamical consequences in the free theory. In the case of a complex scalar field, there is a continuous internal ${\displaystyle \text{U}(1)}$ phase symmetry

${\displaystyle \chi (x)\to e^{i\alpha }\chi (x),}$

with an associated Noether current given by

${\displaystyle j^{\mu }=i({\chi }^{†}{\mathrm{\partial }}^{\mu }\chi -\chi {\mathrm{\partial }}^{\mu }{\chi }^{†}).}$

The conserved charge to this symmetry measures the difference in the number of particles to antiparticles. When coupled to electromagnetism, the charge is the electric charge, the conservation of which corresponds to charge conservation.

Green's functions

The Klein–Gordon equation can be elevated to the inhomogeneous Klein–Gordon equation through the introduction of a source term ${\displaystyle J(x)}$ as

${\displaystyle (◻+m^2)\varphi (x)=J(x).}$

This equation admits a general solution of the form

${\displaystyle \varphi (x)=\int d^{4}yG(x,y)J(y),}$

where ${\displaystyle G(x,y)}$ is known as the Green's function, which is the formal solution to the equation

${\displaystyle (◻+m^2)G(x,y)=-i{\delta }^4(x-y).}$

The principle behind the Green's function ${\displaystyle G(x,y)}$ is to relate the solution at ${\displaystyle x}$ to some forcing term at ${\displaystyle y}$. While the Green's function can be seen as the formal inverse of the Klein–Gordon operator ${\displaystyle (◻+m^2{)}^{-1}}$, this choice is not unique. A precise choice of the Green's function requires a choice of boundary conditions, specifying where it has support, such as vanishing for certain values of ${\displaystyle y}$.

For example, the retarded Green's function is defined as relating the solution at the present to impulses strictly from the past ${\displaystyle y^0<x^0}$. Meanwhile, the advanced Green's function relates solutions in the present to impulses strictly from the future. These are given by

${\displaystyle G_{r,a}(x,y)=\underset{ϵ\to 0}{lim}\int \frac{d^{4}p}{(2\pi {)}^4}\frac{e^{ip\cdot (x-y)}}{(p_0\pm iϵ{)}^2-{\mathit{p}}^2-m^2},}$

where the positive sign corresponds to the advanced Green's function.

Another common choice of boundary condition results in the Feynman propagator, which implements time-ordering and is given by

${\displaystyle G_F(x,y)=\underset{ϵ\to 0}{lim}\int \frac{d^{4}p}{(2\pi {)}^4}\frac{e^{ip\cdot (x-y)}}{p^2-m^2+iϵ}.}$

In quantum field theory, this propagator is proportional to the time-ordered two-point correlation function for scalar fields.

Plane-wave solutions

The Klein–Gordon equation can be solved directly by plugging in the Fourier transform of the scalar field

${\displaystyle \varphi (x)=\int \frac{d^{4}p}{(2\pi {)}^4}\varphi (p)e^{-i{p}_{\mu }{x}^{\mu }}.}$

The d'Alembert operator only acts on the 4-position term in the exponent, bringing down factors of momentum. The equation then reduces to a constraint on the 4-momentum of the plane waves

${\displaystyle p_{\mu }{p}^{\mu }=m^2.}$

Writing this in terms of the energy and 3-momentum reveals that it is equivalent to the energy-momentum relation for a massive particle ${\displaystyle E^2-{\mathit{p}}^2=m^2}$. Therefore, the most general solution to the Klein–Gordon equation is a superposition of plane wave solutions whose momenta satisfy the energy-momentum relation.

By imposing the on-shell condition, such as through the insertion of delta functions into the Fourier transform solution, a more explicit form for the solutions is found

${\displaystyle \varphi (x)=\int \frac{d^3\mathit{p}}{(2\pi {)}^3}\frac{1}{2E(\mathit{p})}(A(\mathit{p})e^{-i{p}_{\mu }{x}^{\mu }}+B(\mathit{p})e^{i{p}_{\mu }{x}^{\mu }}),}$

where ${\displaystyle A(\mathit{p})}$ and ${\displaystyle B(\mathit{p})}$ are arbitrary functions of the 3-momentum, and ${\displaystyle E(\mathit{p})=\sqrt{{\mathit{p}}^2+m^2}}$ is the energy of the modes. This form makes explicit the inevitable presence of both positive and negative frequency solutions.

Other solutions

When the Klein–Gordon equation is minimally coupled to electromagnetism with a Coulomb potential, it is used to study exotic atoms whose nuclei are orbited by spinless bosonic particles. For example, in a pionic atom, the atomic nucleus is orbited by negatively charged pions ${\displaystyle {\pi }^{-}}$ with mass ${\displaystyle m_{\pi }}$. The lifetime of pions is long enough for this system to form bound states before the pion decays.

The case when only one pion orbits a nucleus of charge ${\displaystyle Ze}$ can be solved directly. Stationary solutions for a Coulomb potential use separation of variables, where the field is written as ${\displaystyle \varphi (x)=e^{-iϵt}\mathrm{\Phi }(\mathit{x})}$, to express the Klein–Gordon equation as

${\displaystyle [(ϵ+\frac{Z\alpha }{r}{)}^2+{\mathrm{\nabla }}^2-m_{\pi }^2]\mathrm{\Phi }(\mathit{x})=0,}$

where ${\displaystyle \alpha }$ is the fine-structure constant. The energy levels of this system are then given by

${\displaystyle E_{\text{KG}}=\frac{m_{\pi }}{\sqrt{1+\frac{(Z\alpha {)}^2}{(n-(l+\frac{1}{2})+\sqrt{(l+\frac{1}{2}{)}^2-(Z\alpha {)}^2}{)}^2}}},}$

where ${\displaystyle n}$ is the principal quantum number and ${\displaystyle l}$ is the orbital angular momentum quantum number. In contrast to the nonrelativistic case, relativistic effects lift the degeneracy in the ${\displaystyle l}$ states.

These energy levels differ from traditional atoms because electrons are fermions with spin half, while the Klein–Gordon equation describes bosonic spin zero particles. However, the expression for the energy levels for regular atoms, known as the Sommerfeld formula, is very similar. It is directly acquired from the above through the replacement of the pion mass with the electron mass and by replacing ${\displaystyle l\to j}$, the spin-orbital angular quantum number. The energy levels predicted by ${\displaystyle E_{\text{KG}}}$ have successfully been observed in pionic atoms.

The solution breaks down when ${\displaystyle Z\alpha >l+1/2}$, where the square root becomes imaginary, which first happens for ${\displaystyle Z=69}$. Physically, the attractive Coulomb potential is too strong, with the kinetic energy of the pion being insufficient to stop the pion from spiralling into the nucleus. Unlike in the non-relativistic case, heuristically this occurs at a classical level in the relativistic theory because the velocity of the pion cannot increase fast enough as its orbital radius decreases in order to maintain the centrifugal force needed to resist the Coulomb force. More precisely, the issue arises because the wavefunction develops pathological short distance behaviour. For realistic atomic nuclei, this problem is partially avoided for larger ${\displaystyle Z}$ due to them not have perfect point-like Coulomb potentials.

Another notable solution to the Klein–Gordon equation is the scattering of an initial plane-wave off an potential step of height ${\displaystyle V}$. The properties of this solution are described by a reflection coefficient ${\displaystyle R}$ and a transmission coefficient ${\displaystyle T}$, which satisfy ${\displaystyle R+T=1}$. They describe the probability of the incident wave being reflected off the barrier or passing through it, respectively. For large incoming energies ${\displaystyle E>V+m}$, both the reflection and transmission coefficients are non-zero, with there being some probability of the particle passing through the barrier and some probability of it being reflected. In the case when ${\displaystyle V+m>E>V-m}$, the transmission coefficient is zero and the reflection coefficient is one, with the particle always being reflected. This behaviour matches that found for the non-relativistic Schrödinger equation.

However, when the potential is very large ${\displaystyle V>E+m}$, the solution acquires a negative transmission coefficients ${\displaystyle T<0}$ and a reflection coefficient greater than one ${\displaystyle R>1}$. This behaviour is known as the Klein paradox and it was first described by Oskar Klein for the Dirac equation. The paradox is resolved by reinterpreting the phenomenon as particle-antiparticle pair creation from the potential barrier itself. Antiparticles are then attracted to the potential while particles are repulsed, contributing to the reflected beam, increasing the amount of particles observed coming back from the barrier. A full analysis requires a relativistic multiparticle theory in the form of quantum field theory.

Quantum theory

Quantum mechanics

The Klein–Gordon equation was originally devised in the context of relativistic quantum mechanics, where it serves the role of a relativistic generalization of the Schrödinger equation. There it describes the evolution of the complex-valued wavefunction ${\displaystyle \mathrm{\Psi }(t,\mathit{x})}$ through

${\displaystyle {\hslash }^2\frac{{\mathrm{\partial }}^2}{\mathrm{\partial }{t}^2}\mathrm{\Psi }(t,\mathit{x})=(c^2{\hslash }^2{\mathrm{\nabla }}^2-c^4{m}^2)\mathrm{\Psi }(t,\mathit{x}),}$

where ${\displaystyle {\mathrm{\nabla }}^2}$ is the Laplacian, ${\displaystyle \hslash }$ is the reduced Planck constant, and ${\displaystyle c}$ is the speed of light.

If the Klein–Gordon equation is to describe a wavefunction, there needs to be a corresponding conserved probability density that can be built from the wavefunction. The candidate probability density, given by the zeroth component of the four-current corresponding to the ${\displaystyle \text{U}(1)}$ complex phase symmetry ${\displaystyle \mathrm{\Psi }(t,\mathit{x})\to e^{i\theta }\mathrm{\Psi }(t,\mathit{x})}$, is given by

${\displaystyle P(\mathit{r},t)=\frac{i\hslash }{2m{c}^2}({\mathrm{\Psi }}^{\ast }\frac{\mathrm{\partial }\mathrm{\Psi }}{\mathrm{\partial }t}-\mathrm{\Psi }\frac{\mathrm{\partial }{\mathrm{\Psi }}^{\ast }}{\mathrm{\partial }t}).}$

While this is conserved, it is not positive definite and therefore cannot be interpreted as a probability density. This is despite the fact that its corresponding 3-current matches the form of the probability current for the Schrödinger equation in the non-relativistic limit.

Another issue is the presence of negative energy states. Plane wave solutions of the equation ${\displaystyle \mathrm{\Psi }=A{e}^{-i(Et-\mathit{p}\cdot \mathit{x})/\hslash }}$ admit both positive energy solutions ${\displaystyle E>m{c}^2}$ and negative energy solutions ${\displaystyle E<-m{c}^2}$. In principle, the presence of an unbounded spectrum is not a problem in a theory with no interactions. However, the issues arise once interactions are included, such as through coupling to the electromagnetic field. Historically, this was seen as a problem because then there is nothing preventing indefinite decay of a state through emission of electromagnetic radiation. From a modern perspective this instead reflects the breakdown of the single-particle interpretation of the theory.

Quantum field theory

In the second quantization framework of quantum field theory, fields are elevated to be operators acting on states. They can be used to create or destroy particles or antiparticles when acting on a state. For a complex scalar field, the operator ${\displaystyle \hat{\varphi }(x)}$ annihilates particles and creates antiparticles, while ${\displaystyle {\hat{\varphi }}^{†}(x)}$ creates particles and annihilates antiparticles. This is in contrast to relativistic quantum mechanics where the field rather corresponds to a wavefunction describing the state of a single particle. The Klein–Gordon equation describes the equation of motion for the field operator and the particles it creates. In the limit of large occupation numbers in a coherent or semiclassical state, the quantum field theory for a scalar field reduces to a classical field theory.

The negative frequency states that cause issues in the quantum mechanical application of the Klein–Gordon equation are reinterpreted as positive energy antiparticles. For a real scalar field theory, particles are their own antiparticles, while for a complex scalar field theory the two have opposite charges. The candidate probability density for the quantum theory, which failed to be positive definite, is instead reinterpreted as describing the conserved charge density operator in the quantum field theory.

Related equations

Non-relativistic limit

The non-relativistic limit ${\displaystyle v\ll c}$ of the complex Klein–Gordon equation yields the Schrödinger equation at leading order. This can be derived by factoring out the oscillating rest mass energy through the field redefinition

${\displaystyle \chi (t,\mathit{x})=\tilde{\chi }(t,\mathit{x})e^{-imt},}$

and by restricting to the positive frequency particle sector, thus dropping antiparticle from the spectrum. A more careful approach yields two independent Schrödinger equations for two complex fields ${\displaystyle ({\tilde{\chi }}_1,{\tilde{\chi }}_2)}$, one for the particle and one for the antiparticle. The resulting non-relativistic theory has an expanded ${\displaystyle \text{U}(2)}$ symmetry group associated with the complex pair ${\displaystyle ({\tilde{\chi }}_1,{\tilde{\chi }}_2)}$. This has a ${\displaystyle \text{U}(1)\times \text{U}(1)}$ subgroup, corresponding to a phase redefinition of each ${\displaystyle {\tilde{\chi }}_i}$, which implies conservation of particle number and antiparticle number, separately. When interactions are included, these symmetries can break down to a single global ${\displaystyle \text{U}(2)\to \text{U}(1)}$ corresponding to charge conservation inherited from the full relativistic theory. Additionally, the non-relativistic effective field theory may have a limited range of viability, such as only holding in the case when particles and antiparticles do not meet and annihilate into relativistic states. If such events are allowed to occur and the effective field theory does not include the relativistic degrees of freedom, then the non-relativistic effective field theory is no longer a closed unitary theory.

The non-relativistic limit of the real Klein–Gordon equation is more subtle due to the particle being its own antiparticle. It can however be defined, with a single relativistic real scalar field resulting in a theory for a single complex scalar field in the non-relativistic limit. Despite being a complex field, the degrees of freedom match since the relativistic theory is a second derivative theory in time while the non-relativistic theory is a first order theory, thus each non-relativistic field has half as many degrees of freedom as in the relativistic theory. The naive definition of the non-relativistic complex scalar field ${\displaystyle \psi (t,\mathit{x})}$ from the relativistic field ${\displaystyle \varphi (t,\mathit{x})}$ is

${\displaystyle \varphi (t,\mathit{x})=\frac{1}{\sqrt{2m}}[\psi (t,\mathit{x})e^{-imt}+{\psi }^{\ast }(t,\mathit{x})e^{imt}].}$

This definition works well for a free theory where the non-relativistic theory for ${\displaystyle \psi (t,\mathit{x})}$ is obtained by dropping high frequency terms of order ${\displaystyle m}$, giving the Schrödinger equation to leading order. However, when interactions are taken into account, a modified non-local definition of ${\displaystyle \psi (t,\mathit{x})}$ is usually used to more easily arrive at an effective non-relativistic theory. The non-relativistic theory also has an emergent ${\displaystyle \text{U}(1)}$ symmetry, which is exact in the non-interacting case. This symmetry implies particle number conservation with a number charge of

${\displaystyle N=\int d^3\mathit{x}|\psi {|}^2.}$

In a self-interacting theory, this symmetry holds to all orders in perturbation theory in the limit of sufficiently low energies ${\displaystyle E\ll m}$ and for low occupation numbers that kinematically disallow number violating processes.

While the limit of the classical non-interacting Klein–Gordon equation to the classical Schrödinger equation is straight forward, more care has to be taken when taking the limit of the quantum field theory to non-relativistic quantum mechanics. This is because the fundamental variables used differ significantly in the two frameworks.

A crude way to take the non-relativistic limit is to construct the wavefunction of the particle state. In particular, for the complex Klein–Gordon field, this is done by using the quantum field theory field operator to create a state of a particle at position ${\displaystyle \mathit{x}}$ as

${\displaystyle |\mathit{x}⟩={\varphi }^{†}(\mathit{x})|0⟩.}$

This is then used to construct a more general state as a superposition of these position states

${\displaystyle |\phi ⟩=\int d^{3}x\phi (\mathit{x})|\mathit{x}⟩,}$

where ${\displaystyle \phi (\mathit{x})}$ is now the wavefunction. By constructing the field theory Hamiltonian, one can then show that this implies the Schrödinger equation for the wavefunction

${\displaystyle i\frac{\mathrm{\partial }\phi }{\mathrm{\partial }t}=-\frac{1}{2m}{\mathrm{\nabla }}^2\phi .}$

This procedure is rather technically imprecise, and does not easily generalize to include interactions. It also does not address what happened to the antiparticle degrees of freedom. Instead, a more careful analysis shows that the non-relativistic limit gives rise to the Schrödinger equation for both the particle and antiparticle. This procedure can also be used in the case of a real Klein–Gordon field to get a non-relativistic quantum theory.

Klein–Gordon equation in curved spacetime

In curved spacetime, the flat metric has to be elevated to a curved metric, and the derivatives need to be modified to account for the spacetime curvature through the introduction of a covariant derivative ${\displaystyle {\mathrm{\nabla }}_{\mu }}$. In the mostly negative metric signature, the Klein–Gordon equation in curved spacetime takes the form

${\displaystyle (g^{\mu \nu }{\mathrm{\nabla }}_{\mu }{\mathrm{\nabla }}_{\nu }+m^2)\varphi =0.}$

An alternative form that replaces the covariant derivative with regular partial derivatives, avoiding having to explicitly calculate the Christoffel symbols, is given by

${\displaystyle \frac{1}{\sqrt{-g}}{\mathrm{\partial }}_{\mu }(\sqrt{-g}{g}^{\mu \nu }{\mathrm{\partial }}_{\nu }\varphi )+m^2\varphi =0.}$

Here ${\displaystyle g^{\mu \nu }}$ is the inverse metric tensor and ${\displaystyle g}$ is the determinant of the metric.

A more general form of the Klein–Gordon equation that allows for non-minimal coupling to gravity is given by

${\displaystyle ({\mathrm{\nabla }}^{\mu }{\mathrm{\nabla }}_{\mu }+m^2+\xi R)\varphi =0,}$

where ${\displaystyle R}$ is the Ricci scalar. The case of ${\displaystyle \xi =0}$ is known as minimal coupling, with the equation reducing to the aforementioned form. Meanwhile, in ${\displaystyle d}$ dimensional spacetime, when

${\displaystyle \xi =\frac{1}{4}\frac{d-2}{d-1},}$

the Klein–Gordon field is said to be conformally coupled to gravity. When the conformally coupled field is also massless, the equation is conformally invariant. This case is often used as a particularly tractable model for a quantum field theory in curved spacetime calculations. In particular, for conformally flat spacetimes these fields do not experience any particle production due to the system being equivalent to a flat space theory.

Other equations

The Klein–Gordon equation is the equation of motion for free relativistic scalar field theories. Once self-interactions are introduced through a potential ${\displaystyle V(\varphi )}$, the resulting equation of motion takes the form of a non-linear Klein–Gordon equation

${\displaystyle (◻+m^2)\varphi (x)=-\frac{\mathrm{\partial }V}{\mathrm{\partial }\varphi }.}$

Notable examples include the sine-Gordon equation and the equation of motion for ${\displaystyle {\varphi }^4}$ theory.

Interactions can also be introduced to the Klein–Gordon equation by gauging the scalar field under some gauge group. When it is gauged under a ${\displaystyle \text{U}(1)}$ group, then this leads to scalar electrodynamics, while when it is gauged under an ${\displaystyle \text{SU}(N)}$ group, the result is referred to as scalar chromodynamics. In generality, when gauged under some Lie group ${\displaystyle G}$, the Klein–Gordon equation takes the form

${\displaystyle (D_{\mu }{D}^{\mu }+m^2)\mathrm{\Phi }(x)=0,}$

where ${\displaystyle \mathrm{\Phi }(x)}$ is a multicomponent scalar field belonging to some representation of the Lie group. This means that it transforms as ${\displaystyle \mathrm{\Phi }(x)\to \rho (g(x))\mathrm{\Phi }(x)}$, where ${\displaystyle \rho (g)}$ is a matrix representation of the group element ${\displaystyle g\in G}$. Meanwhile, gauge covariant derivative is defined as

${\displaystyle D_{\mu }={\mathrm{\partial }}_{\mu }-ig{A}_{\mu }^a{T}^a,}$

where ${\displaystyle A_{\mu }^a}$ are the components of the gauge field, corresponding to the connection, and ${\displaystyle T^a}$ are the generators in the representation of the Lie algebra corresponding to the Lie group representation ${\displaystyle \rho (g)}$.

The components of all non-interacting spin fields satisfy the Klein–Gordon equation either directly or once appropriate constraints are imposed. This is a group theoretic consequence, with all unitary irreducible representations of the Poincaré group satisfying the equation. For example, any solution of the Dirac equation, which describe spin-1/2 spinor fields, is automatically a solution of the Klein–Gordon equation. A similar result holds for the Maxwell equation and the Proca equation, describing spin-1 massless and massive fields ${\displaystyle A^{\mu }}$, respectively. Their component equations both reduce to the massless and massive Klein–Gordon equation once the constraint ${\displaystyle {\mathrm{\partial }}_{\mu }{A}^{\mu }=0}$ is imposed, which is a necessary constraint for the Proca equation while only a gauge choice of the Lorenz gauge for the Maxwell equation.