| Parseval's identity | |
|---|---|
| Name | Parseval's identity |
| Field | Mathematics; Quantum mechanics |
| Named after | Marc-Antoine Parseval des Chênes |
| Related concepts | Fourier transform, Hilbert space, Plancherel theorem |
Parseval's identity
Parseval's identity is a fundamental equality relating the norm of a function to the norm of its transform, expressing conservation of energy between dual representations. In the context of Quantum mechanics it underpins the equivalence between position-space and momentum-space descriptions of a quantum state and ensures probabilities and expectation values are preserved under Fourier transform. This identity is central to rigorous formulations using Hilbert space methods and to the operational practice of computing observables in different bases.
Parseval's identity states that the inner product (or squared norm) of two square-integrable functions equals the inner product of their transforms under an appropriate unitary transform. In the simplest Fourier series setting for functions on the circle, the sum of the squares of expansion coefficients equals the L^2 norm of the function. In continuous settings the identity is closely connected to the Plancherel theorem and is often expressed for the Fourier transform F as ||f||_2^2 = ||F(f)||_2^2. In quantum theory this formal equality guarantees that the total probability (integral of |ψ|^2) is invariant under change from the position basis to the momentum basis or other unitary bases such as eigenbases of self-adjoint operators.
In a separable Hilbert space H equipped with an orthonormal basis {e_n}, Parseval's identity follows from completeness: for any vector v in H, ||v||^2 = Σ_n |⟨e_n,v⟩|^2. The proof uses the Bessel's inequality limit and the density of finite linear combinations of basis vectors. For the continuous-spectrum case relevant to physics, one uses the theory of unitary operators and the spectral theorem for self-adjoint or normal operators to extend the discrete sum to integrals over spectral measures, invoking the Plancherel theorem for the Fourier transform on L^2(ℝ^n). Essential functional-analytic tools include Riesz representation theorem, Parseval-Plancherel identity, and properties of unitary maps between L^2 spaces, such as the Stone–von Neumann theorem when relating representations of canonical commutation relations.
Parseval's identity is applied directly to quantum wavefunctions ψ(x) ∈ L^2(ℝ^n) and their momentum-space transforms φ(p) obtained via the unitary Fourier transform. It ensures normalization: ∫ |ψ(x)|^2 dx = ∫ |φ(p)|^2 dp, which is necessary for consistent probability interpretation under the Born rule. The identity supports computations of expectation values by enabling transforms of operators: the momentum operator −iħ∇ is diagonal in the momentum representation, and Parseval's relation lets physicists compute ⟨ψ|A|ψ⟩ equivalently in either representation. It is also used in scattering theory (e.g., formalism developed by L. D. Landau and R. G. Newton), in time–frequency analysis of quantum signals, and in verifying unitarity of evolution given by the Schrödinger equation or by unitary operator propagators such as the time evolution operator.
Within the framework of the spectral theorem for self-adjoint operators, Parseval-type identities relate the squared norm of a state to integrals over spectral measures associated with an observable. For operators with pure point spectrum the discrete Parseval identity is the basis for expansions in energy eigenstates (e.g., Hamiltonian eigenbasis in models treated at CERN or Los Alamos National Laboratory). For continuous or mixed spectra one uses generalized eigenfunctions and direct integral decompositions; the preservation of L^2 norms under these unitary spectral transforms is a Parseval property that ensures physically meaningful spectral decompositions and the conservation of probability. Connections to compact operator theory, Fredholm theory, and the theory of unitary representations of symmetry groups (e.g., Heisenberg group) make Parseval identities indispensable in rigorous operator analysis.
In quantum information theory, Parseval-type equalities guarantee that fidelity measures and norms of quantum states are invariant under unitary transformations such as quantum Fourier transform used in algorithms like Shor's algorithm. Parseval's identity underlies analyses of signal-to-noise ratio, state distinguishability, and error bounds in quantum tomography and quantum error correction; preserving the L^2 norm corresponds to preserving the trace norm under suitable maps and informs resource accounting in quantum communication protocols. Practical links include applications in quantum optics experiments at institutions like Max Planck Institute for Quantum Optics and engineering implementations in NISQ devices where basis changes must preserve statistical fidelity.
Named after Marc-Antoine Parseval des Chênes, the identity became formalized alongside developments in Fourier analysis and Hilbert space theory in the 19th and early 20th centuries. Its elevation in physics curricula reflects the push to teach rigorous foundations for quantum mechanics alongside computational techniques; many modern texts and courses (e.g., at Massachusetts Institute of Technology, University of Cambridge, California Institute of Technology) emphasize Parseval/Plancherel concepts when introducing wave mechanics, spectral methods, and functional analysis. From a justice and equity perspective, integrating clear mathematical foundations like Parseval's identity into introductory quantum education helps demystify advanced concepts, widening access for students from underrepresented backgrounds and supporting equitable participation in theoretical and experimental research communities.
Category:Fourier analysis Category:Quantum mechanics Category:Mathematical physics