Skip to content

Klein–Gordon Theory in External Potentials

A prescribed potential turns the Klein–Gordon equation into a linear external-field problem. Its derivatives act on both the amplitude and the potentials, and its stationary form is a quadratic energy-eigenvalue problem. Electrostatic potentials and Lorentz-scalar mass shifts can produce the same leading nonrelativistic potential while defining different relativistic theories.

Required background. Minimal Coupling derives the covariant prescription; the Conserved Current provides its density and flux. Helpful background. The Klein–Gordon Inner Product explains stationary-mode normalization and orthogonality.

For a charged complex scalar with mass m>0m>0, write V=qΦV=q\Phi and π=−iℏ∇−qA\boldsymbol\pi=-i\hbar\nabla-q\mathbf A. The equation is

[(iℏ∂t−V)2−c2π2−m2c4]ϕ=0.\left[(i\hbar\partial_t-V)^2 -c^2\boldsymbol\pi^2-m^2c^4\right]\phi=0.

This is an operator composition, not an algebraic polynomial in commuting numbers. Explicitly,

(iℏ∂t−V)2ϕ=−ℏ2∂t2ϕ−2iℏV∂tϕ−iℏ(∂tV)ϕ+V2ϕ,\begin{aligned} (i\hbar\partial_t-V)^2\phi ={}&-\hbar^2\partial_t^2\phi-2i\hbar V\partial_t\phi\\ &-i\hbar(\partial_t V)\phi+V^2\phi, \end{aligned}

and

π2ϕ=−ℏ2∇2ϕ+iqℏ(∇⋅A)ϕ+2iqℏA⋅∇ϕ+q2A2ϕ.\begin{aligned} \boldsymbol\pi^2\phi ={}&-\hbar^2\nabla^2\phi +iq\hbar(\nabla\cdot\mathbf A)\phi\\ &+2iq\hbar\mathbf A\cdot\nabla\phi+q^2\mathbf A^2\phi. \end{aligned}

The derivative-of-potential terms are required even though one can choose gauges in which an individual term vanishes. Deleting them in general destroys gauge covariance. For regular prescribed coefficients the equation remains second order in time; specify an initial amplitude and its covariant time derivative, or equivalent ordinary Cauchy data in a fixed gauge. Charge conservation does not reduce these to one arbitrary function.

In a gauge where the potentials are time independent, set ϕ=e−iEt/ℏu(x)\phi=e^{-iEt/\hbar}u(\mathbf x). For real stationary energy EE,

[c2(−iℏ∇−qA)2+m2c4]u=(E−V(x))2u.\left[c^2(-i\hbar\nabla-q\mathbf A)^2+m^2c^4\right]u =(E-V(\mathbf x))^2u.

The operator depends quadratically on the spectral parameter EE. Treating its modes as eigenfunctions of an ordinary energy-independent Schrödinger operator can give incorrect orthogonality and normalization. Use the KG pairing, whose stationary density is (E−V)∣u∣2/(mc2)(E-V)|u|^2/(mc^2).

In a constant-potential region,

(E−V)2=c2∣p−qA∣2+m2c4.(E-V)^2=c^2|\mathbf p-q\mathbf A|^2+m^2c^4.

This separates canonical labels from mechanical quantities. When ∣E−V∣<mc2|E-V|<mc^2, a one-dimensional longitudinal momentum can become imaginary (with transverse kinetic energy raising the relevant gap). Evanescence is a property of the stationary mode equation; it is not itself a particle-production rate or a violation of conservation.

Even for A=0\mathbf A=0, replacing the equation by Eu=[V+c2P2+m2c4]uEu=[V+\sqrt{c^2\mathbf P^2+m^2c^4}]u is generally incorrect. The square-root operator fails to commute with a varying VV. The commutator obstruction is derived in The Square-Root Hamiltonian. For constant VV the obstruction vanishes and the two algebraic branches can be separated exactly.

Electrostatic coupling versus a scalar mass shift

Section titled “Electrostatic coupling versus a scalar mass shift”

An electrostatic potential is the time component of a four-vector. A different model introduces a real Lorentz scalar S(x)S(x) with energy units through mc2↦mc2+S(x)mc^2\mapsto mc^2+S(x). Its equation is

[(iℏ∂t−V)2−c2π2−(mc2+S)2]ϕ=0.\left[(i\hbar\partial_t-V)^2 -c^2\boldsymbol\pi^2-(mc^2+S)^2\right]\phi=0.

The real scalar term cancels in the current-conservation proof, but it does not transform like an electromagnetic potential. For constants and mc2+S>0mc^2+S>0, the two branches are

E±=V±c2π2+(mc2+S)2.E_\pm=V\pm\sqrt{c^2\boldsymbol\pi^2+(mc^2+S)^2}.

VV translates the midpoint of the branches; SS changes their gap. When ∣S∣,∣π∣2/(2m)≪mc2|S|,|\boldsymbol\pi|^2/(2m)\ll mc^2, the positive branch begins as E+=mc2+V+S+π2/(2m)+⋯E_+=mc^2+V+S+\boldsymbol\pi^2/(2m)+\cdots. The constant VV shifts the energy exactly and need not be small. That shared leading limit does not make the relativistic interactions equivalent. A potential must therefore be identified by its Lorentz character, not just by its familiar nonrelativistic name.

A pure-gauge time dependence as a diagnostic

Section titled “A pure-gauge time dependence as a diagnostic”

Let A=0\mathbf A=0 and let Φ(t)\Phi(t) be spatially uniform. Both electric and magnetic fields vanish. If ϕ0\phi_0 is a free solution, then

ϕ(t,x)=exp⁡[−iqℏ∫tΦ(s) ds]ϕ0(t,x)\phi(t,\mathbf x)= \exp\left[-\frac{iq}{\hbar}\int^t\Phi(s)\,ds\right] \phi_0(t,\mathbf x)

solves the coupled equation, because (iℏ∂t−qΦ)ϕ(i\hbar\partial_t-q\Phi)\phi equals the same phase times iℏ∂tϕ0i\hbar\partial_t\phi_0. The density and current equal the free ones. This check fails if the −iℏ∂tV-i\hbar\partial_tV term is omitted from the expanded equation. A large or rapidly varying pure-gauge potential cannot create particles or change a gauge-invariant observable.

What the external-field approximation leaves out

Section titled “What the external-field approximation leaves out”

The background is supplied rather than dynamically solved with the matter. Depending on the application, this omits source recoil, radiation, backreaction, and quantum fluctuations. A quantized scalar field in the same classical background can describe pair creation without quantizing the electromagnetic field. A first-quantized stationary calculation does not supply that vacuum calculation. Use field strengths, spatial extent, duration, energy transfers, and channel probabilities to assess a fixed particle-sector approximation; an absolute potential offset is not a valid criterion. When Relativistic Quantum Mechanics Is Useful organizes these model choices.

  1. Expand (iℏ∂t−V)2f(i\hbar\partial_t-V)^2f for an arbitrary test function. Which term is lost if VV is treated as a commuting number?
Solution

The result is −ℏ2∂t2f−2iℏV∂tf−iℏV˙f+V2f-\hbar^2\partial_t^2f-2i\hbar V\partial_tf -i\hbar\dot V f+V^2f. The missing term would be −iℏV˙f-i\hbar\dot V f. It arises when the outer derivative acts on the inner multiplication by VV.

  1. With constant V,SV,S, no vector potential, and zero momentum, compare the branch midpoint and gap. Assume mc2+S>0mc^2+S>0.
Solution

E±=V±(mc2+S)E_\pm=V\pm(mc^2+S), so their midpoint is VV and their separation is 2(mc2+S)2(mc^2+S). An electrostatic shift and a mass shift are distinct even though both enter the leading positive-branch energy additively.

  1. In a stationary problem, add a constant V0V_0 to VV and V0V_0 to EE. Determine the change in the spatial equation and current density.
Solution

Neither changes: both depend on E−VE-V. The time-dependent overall gauge phase accounts for the shifted stationary label. Threshold statements based only on ∣V∣|V| would fail this invariance test.

  • F. Bastianelli, Relativistic Quantum Mechanics, University of Bologna lecture notes, 2023–2024, §3 — charged scalar equations and external potentials; its metric convention must be translated.
  • H. Feshbach and F. Villars, “Elementary Relativistic Wave Mechanics of Spin 0 and Spin 1/2 Particles,” Reviews of Modern Physics 30, 24–45, 1958, doi:10.1103/RevModPhys.30.24 — external-field scalar dynamics.
  • W. Greiner, Relativistic Quantum Mechanics: Wave Equations, 3rd ed., Springer, 2000, doi:10.1007/978-3-662-04275-5 — scalar and vector interactions.