Gaussian variational energy for the harmonic oscillator Created 2026-10-14 Updated 2026-10-18
Use the quantum harmonic oscillator in units with reduced Planck constant , mass , and angular frequency . Its Hamiltonian operator and trial Gaussian wave packet are
This is the same Gaussian wave packet used for the Heisenberg uncertainty relation: is a normal distribution with mean zero and variance . The Gaussian integral gives wavefunction normalization and . These smooth, rapidly decaying trials lie in the one-dimensional harmonic oscillator form domain and even in the operator domain.
Since , integration by parts with vanishing boundary terms gives the kinetic energy and potential energy:
Narrow trials cost kinetic energy, while broad trials cost potential energy. The exact difference
shows that the unique optimal width is , with . At and , the trial energies are both ; the kinetic energy and potential energy contributions exchange places.
Figure 1.
Gaussian oscillator trial energies: widths 0.5 and 1 both give 0.625, while the optimal width gives 0.5
. The kinetic energy decreases and the potential energy increases with the width of the Gaussian wave packet. Their sum touches the exact ground-state energy only at . Details.
Minimizing within this trial family alone establishes . To establish exactness, use the Heisenberg uncertainty relation to obtain for every admissible quantum state, as in its existing oscillator example. Together the bounds give . Direct substitution also yields , agreeing with the Gaussian eigenstate for a quadratic potential. This is a useful distinction: the variational method supplies the upper bound, while the Heisenberg uncertainty relation supplies the complementary lower bound.
Heisenberg uncertainty relation Created 2026-10-06 Updated 2026-10-14
The Heisenberg uncertainty relation constrains the standard deviations of position and momentum in one preparation:
On the real line, the position operator acts by multiplication, and the momentum operator is , with the reduced Planck constant. Their canonical commutation relation and the Robertson uncertainty principle give the bound on normalized quantum states satisfying the moment and product-domain assumptions above; Schwartz functions are a convenient sufficient class. Thus making a preparation more sharply localized in position forces a wider momentum distribution, even for ideal measurement in quantum mechanics.
An explicit saturating example is the normalized Gaussian wave packet, for ,
The wavefunction is a probability amplitude; its squared magnitude is the probability density function, by the Born rule. That density is a normal distribution of mean zero and standard deviation , rather than a density whose width is read directly from the amplitude's exponent. With the unitary, negative-exponent convention for the Fourier transform, its momentum amplitude is
The Gaussian integral evaluates this Fourier transform. Consequently is another normal distribution, with mean zero and standard deviation
For example, in dimensionless units with , give . The Gaussian wave packets all saturate the same bound: narrowing one density broadens the other. More precisely, choose a reference length and set , ; then , and the plotted widths are and .
Figure 1.
Position and momentum probability densities for three minimum-uncertainty Gaussian preparations: dimensionless widths 0.5, 1, and 2 in position give reciprocal momentum widths 1, 0.5, and 0.25
. Details.
The Heisenberg uncertainty relation connects localization to the cost in kinetic energy. In a quantum harmonic oscillator with mass and angular frequency , the variance contribution to the expectation value of the energy is bounded using the arithmetic-geometric mean inequality:
The mean-dependent contributions are nonnegative. The Gaussian eigenstate for a quadratic potential with and zero means reaches this ground state energy. This is why the tradeoff is more than a limitation on preparation: it predicts an unavoidable positive minimum energy.
Heisenberg's original article appeared in March 1927 as "Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik", Zeitschrift für Physik 43, pp. 172–198. Its abstract discusses simultaneous imprecision of canonically conjugate quantities and explanatory thought experiments. The precise standard deviation formulation here distinguishes preparation spreads from a slogan about measurement disturbance. [ref].
For ,
The stationary Schrödinger equation becomes
Hence, choosing the positive root and a positive normalization constant,
The state is even, so . The Gaussian integrals give
and therefore . These values are collected in gaussian eigenstate for a quadratic potential.
Finally, equality in the derivation of the uncertainty relation requires the centred vectors to be linearly dependent with a purely imaginary proportionality constant. Thus for some ,
In position space this says
whose normalizable solutions are
Thus every saturating state is Gaussian up to translation, a plane-wave factor, and an overall phase, as in the equality case of the Heisenberg uncertainty relation.