Dirac delta function

Dirac delta function
Name	Dirac delta function
Caption	Schematic of the Dirac delta as limit of narrow peaked functions
Introduced	1920s–1930s
Introduced by	Paul Dirac
Field	Mathematics; Quantum mechanics
Notation	δ(x), δ(x−x₀)
Applications	Green's function, propagators, scattering theory, signal processing

Dirac delta function

The Dirac delta function is a generalized function or distribution that is zero everywhere except at a single point, where it is infinite in such a way that its integral equals one. In Quantum mechanics it is indispensable for expressing pointlike sources, representing position eigenstates, imposing orthonormality and completeness, and constructing Green's functions and propagators for Schrödinger equation and other linear operators.

Definition and properties

The Dirac delta is commonly introduced heuristically via the sifting property: for suitable test functions f, ∫_{−∞}^{∞} f(x) δ(x−x₀) dx = f(x₀). It is often written δ(x) and characterized by support {0} and total mass 1. Key formal properties used in Quantum theory include evenness δ(−x)=δ(x), scaling δ(a x)=|a|^{−1} δ(x) for nonzero real a, and translation δ(x−x₀). The delta can be represented as limits of sequences of ordinary functions, e.g., normalized Gaussians, Lorentzian (Cauchy) kernels, or box functions, each used for different regularization or modeling needs. In distributions, linearity and action on test functions replace pointwise values, making identities such as δ(x)^2 undefined except via limiting procedures or regularizations.

Rigorous formulations (distributions and measures)

Rigorous treatment uses the theory of distributions developed by Laurent Schwartz and measure theory. The delta at x₀ is a linear functional δ_{x₀}: φ ↦ φ(x₀) on the space of smooth compactly supported test functions C_c^∞(ℝ^n). As a Radon measure it corresponds to the unit point mass (Dirac measure) δ_{x₀} in measure theory. In functional analysis contexts relevant to Hilbert space methods in quantum mechanics, δ is not an element of L^2(ℝ^n) but is a continuous linear functional in the dual of certain dense subspaces, motivating the rigged Hilbert space (Gelfand triplet) formulation used to handle generalized eigenvectors and continuous spectra in the style of John von Neumann and I. M. Gelfand.

Fourier transform and representation in quantum mechanics

The delta plays a central role in Fourier analysis and momentum–position duality. The Fourier transform of δ(x−x₀) is a complex exponential e^{−ikx₀}, encoding plane waves and momentum eigenstates. Conversely, δ(k−k') arises from orthogonality of plane-wave states in continuous spectra. These identities underpin the relation between position and momentum representations in wave mechanics and the use of completeness relations like ∫ |x⟩⟨x| dx = I. In scattering and spectral decompositions, the delta enforces energy conservation via δ(E−E'), appearing in the density of states and Fermi's golden rule as derived in textbooks by authors such as Lev Landau and Rudolf Peierls.

Role in quantum states, operators, and normalization

In canonical quantum mechanics, position eigenstates satisfy ⟨x|x'⟩ = δ(x−x'), a distributional orthonormality condition. Similarly, continuum normalization of momentum eigenstates yields δ(k−k'). Operators with kernels K(x,x') frequently contain delta terms corresponding to local potentials, e.g., the one-dimensional contact potential V(x)=g δ(x) used in models of ultracold atoms and quantum dots. The delta also appears in commutator relations of field operators in quantum field theory; equal-time canonical commutation relations for bosonic fields involve δ(x−y). Because δ is not an L^2 function, physical states are constructed as wavepackets (superpositions) that are square-integrable; the rigged Hilbert space formalism legitimizes treating |x⟩ and |p⟩ as generalized vectors.

Green's functions, propagators, and scattering

Green's functions for linear differential operators L are defined by L G(x,x') = δ(x−x'), a fundamental equation used to construct solutions of inhomogeneous Schrödinger equation and to compute time evolution via propagators. The Feynman propagator in quantum field theory and nonrelativistic propagators are Green's functions satisfying distributional source terms. In scattering theory, the Lippmann–Schwinger equation and the resolvent operator involve delta-normalized plane waves and on-shell δ(E−E') factors enforcing energy conservation; the S-matrix formulation and Born approximation use delta distributions to represent asymptotic free states and to derive cross sections.

Regularization, approximations, and numerical implementations

Practical applications require approximations of δ by sequences of smooth functions. Common regularizations include Gaussian kernels, Lorentzian approximants, truncated sinc functions, and spectral mollifiers. In numerical simulations of quantum systems, grid-based methods approximate δ by discrete Kronecker deltas scaled by grid spacing, while spectral methods use Fourier representations and aliasing-avoiding window functions. Renormalization in models with contact interactions (e.g., δ potentials in three dimensions) requires regularization and counterterms; historical ultraviolet divergences in quantum electrodynamics motivated systematic renormalization techniques developed by Freeman Dyson, Richard Feynman, and Julian Schwinger. For computational scattering and time evolution, careful treatment of δ-like sources ensures stability and correct conservation laws.

Category:Mathematical physics Category:Quantum mechanics Category:Distribution theory