A real centered Gaussian wave packet with initial position variance and momentum variance evolves under a quantum harmonic oscillator by
The covariance matrix obeys and . Thus the Robertson-Schrödinger uncertainty relation stays saturated, although the position-momentum variance product can exceed because of nonzero quantum covariance. The widths are stationary only for ; otherwise they breathe with frequency .
A chirped Gaussian wave packet adds a quadratic quantum phase to the zero-mean Gaussian wave packet already evaluated above. Here and is a real dimensionless parameter. Its probability density function is unchanged for every , so and . Nevertheless, applying the momentum operator gives
The sign of the quantum covariance follows directly, without assigning a classical trajectory to the wavefunction:
Here is a normalized symmetrized quantum covariance, analogous to a correlation coefficient. Positive gives positive , and reversing reverses while leaving both variances unchanged. In the negative-exponent Fourier transform convention used above, the momentum density is
Consequently the quantum uncertainty product and the covariance matrix determinant tell different stories:
Every member of this pure state family saturates the Robertson-Schrödinger uncertainty relation. Only saturates the Heisenberg uncertainty relation for this fixed pair of position and momentum axes. Thus being a Gaussian wave packet alone does not imply a minimum .
For a concrete comparison, choose a reference length , put , , and set . The choices all have , but give and , respectively. The two nonzero cases have and product ; all three covariance matrices have determinant .
Figure 1.
Quadratic phase preserves the position density but broadens the momentum density: opposite chirps tilt covariance ellipses in opposite directions while preserving their area
. Details.
The phase space curves in the figure satisfy in the dimensionless coordinates, where . They display second moments, not observed simultaneous position and momentum pairs. Their common area is , although their coordinate projections differ.
This distinction is useful for predicting focusing. Under free particle evolution with mass , , so
A negative chirp initially narrows the position distribution; positive chirp initially broadens it. For , the minimum occurs at and has variance . At that time the quantum covariance vanishes, and the unchanged momentum spread gives . The extra initial product was a usable position-momentum correlation, not extra measurement backaction.
Equality case of the Heisenberg uncertainty relation Created 2026-09-24 Updated 2026-10-14
Equality in the Heisenberg uncertainty relation requires the centred vectors and to be imaginary scalar multiples, where , and are the expectation values. Thus, for some ,
In the position representation, using the momentum operator turns this into a first-order differential equation, whose normalizable solutions are
Hence the quantum states saturating the Heisenberg uncertainty relation are these Gaussian wave packets, with arbitrary position and momentum means and global phase. Their width is . A Gaussian wave packet with an additional quadratic quantum phase need not saturate this product bound.
Let the initial Gaussian wave packet be
Fourier transforming, multiplying each momentum amplitude by and evaluating the Gaussian integral gives
Its probability density is a normalized Gaussian with center and width ; the momentum width remains . Its symmetrized position-momentum covariance is , so
Thus free spreading preserves equality in the Robertson-Schrödinger uncertainty relation while producing a nonzero quadratic position-dependent phase and a product larger than . More generally, , so an initially correlated Gaussian can first contract.
Under a quantum harmonic oscillator Hamiltonian, the Heisenberg equations of motion give
Subtract the expectation values, square the first equation, and use the symmetrized covariance . This yields
These moment equations hold for any state with finite second moments; a quadratic Hamiltonian additionally preserves Gaussian wave packets. A coherent state has , , and , so its width stays fixed while its center follows the classical orbit. A squeezed coherent state generally has a width that oscillates at .
Gaussian evolution in an inverted harmonic oscillator Created 2026-10-14 Updated 2026-10-18
For the Hamiltonian , a Gaussian wave packet satisfies and . The displayed solution is normalizable for real exactly when ; its second moments of a complex Gaussian wave packet are
Both grow as , while their difference and hence the mean energy remain constant.
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.
Ground-state energy Created 2026-09-28 Updated 2026-10-14
The ground-state energy is the energy eigenvalue attained by a ground state. For a self-adjoint operator bounded below, distinguish this attained value from the always-defined spectral bottom . When a ground state exists, . Some usage calls the ground-state energy even when it is unattained; here an unattained bottom is explicitly identified as an infimum. The quantum variational principle states
Approaching this infimum with trial wavefunctions does not ensure that a minimizing wavefunction exists. [ref].
For the whole-line free particle with mass ,
Its spectrum is continuous and contains no energy eigenvalues represented by normalizable wavefunctions. The Fourier transform makes multiplication by ; a fixed energy restricts to a set of zero length, on which a nonzero square-integrable function cannot be supported. [ref]. An explicit family of normalized Gaussian wave packets demonstrates how the bottom is approached:
The formula follows from , integration by parts, and . Every finite width gives positive kinetic energy. At zero energy, would require an affine function on the whole line, which is never a nonzero normalizable wavefunction. Spreading a Gaussian wave packet indefinitely produces an unattained infimum, rather than a zero-energy ground state.
An additive choice of energy origin changes the numerical ground-state energy without changing the ground-state subspace. For , every energy eigenvalue becomes , while all differences stay fixed. Time evolution gains only the global phase . This makes excitation costs and spectroscopic differences more intrinsic than the isolated number .
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].
A coherent state is a normalized eigenstate of the annihilation operator, . Expanding in the Fock state eigenbasis gives a recurrence , and wavefunction normalization fixes
The displacement operator therefore shifts the oscillator ground state in phase space. Distinct coherent states are not orthogonal:
The occupation probabilities form a Poisson distribution,
For the quantum harmonic oscillator, the expectation values of position and momentum are
The fluctuations equal those of the ground state,
Thus the position wavefunction is a displaced Gaussian wave packet that saturates the Heisenberg uncertainty principle.
Time evolution under preserves this form:
The center follows the classical oscillator trajectory while the packet width stays constant. Its mean energy is ; it is generally a superposition of energy eigenstates, rather than a state of definite energy. For , the relative occupation fluctuation is , explaining the classical appearance of a highly excited coherent state.
Use the condensate wavefunction convention , so is the number density and is a normalized one-particle orbital. The contact interaction strength is for dilute atoms with s-wave scattering length . The chemical potential fixes the stationary time dependence and enforces normalization when minimizing the energy. The Gross–Pitaevskii equation follows from an energy functional that contains the pair-counting factor :
Varying gives the stationary Gross–Pitaevskii equation; the interaction contribution to that equation is , without the factor .
For the broadening discussed here assume repulsive interactions, . The Thomas–Fermi approximation for a condensate neglects the gradient kinetic energy compared with the trapping and interaction energies. At fixed spatial scale, increasing increases the mean-field potential. Expansion then reduces the kinetic energy further: for a cloud radius , its scale per atom is , whereas the trap energy scale is . Their ratio decreases as . In the weak-interaction limit the kinetic energy instead balances confinement, giving the Gaussian wave packet ground state of the quantum harmonic oscillator.
The spherical Thomas–Fermi condensate has
Integrating this density gives . Thus
At fixed , stronger repulsion produces a wider, lower wavefunction: the Gaussian wave packet crosses over towards the square root of an inverted parabola, with an almost flat central region and a steeper outer drop. The density is the inverted parabola; the wavefunction is its square root. The exact wavefunction remains smooth and has a tail, since kinetic energy cannot be neglected near the Thomas–Fermi condensate edge rounding region. The healing length must be small compared with the cloud size in the bulk. Attractive interactions would not follow this large- expansion argument.
The original plot compares the noninteracting endpoint with two normalized repulsive spherical Thomas–Fermi condensate profiles. The latter are asymptotic shapes, rather than exact intermediate solutions of the Gross–Pitaevskii equation. Each has the same integrated atom number; labels the illustrative interaction strengths.
Figure 1.
Condensate broadening
. Details.
Choose real and positive. The Gaussian integral gives
The three zero-point energies add for each atom. The ideal-gas chemical potential is a one-atom energy; the total energy includes all atoms.
For weak interactions, the first-order correction in perturbation theory is the energy functional of the contact interaction evaluated on the unperturbed Gaussian wave packet. The integral needed is
Consequently the Gaussian interaction energy of a trapped condensate is
Here . These are the mean-field expressions consistent with the supplied equation and . Exact first-order perturbation theory for precisely atoms in one orbital replaces by through the number of distinct pairs; this distinction is negligible in the large- regime of the crossover estimate.
To judge the ideal-gas approximation, compare the interaction energy with the total ideal energy, or compare the interaction energy per atom with :
Thus the crossover from Gaussian to Thomas–Fermi condensate is governed by : perturbation theory is reliable for , while the regime of the Thomas–Fermi approximation for a condensate requires . The characteristic crossover number is ; there is no sharp critical atom number here. If one specifically defines crossover by using the weak-interaction expression, it gives . That prefactor is a convention-dependent estimate extrapolated to the edge of perturbation theory, not a phase transition. Comparing itself to a single would incorrectly omit a factor of .
For the numerical estimate use and . Then
The particular equality would instead give about atoms. These quantify different choices within a smooth crossover; a well-developed spherical Thomas–Fermi condensate profile requires going substantially beyond the characteristic scale.
For the proposed Gaussian wave packet, differentiation gives
Inserting these in the Time-dependent Schrödinger equation with Hamiltonian , its right-hand side becomes
Equating the constant and quadratic coefficients with yields
Conversely these two equations make the substitution an identity, so they are sufficient for the Gaussian evolution in an inverted harmonic oscillator.
Write with . Normalization of the Gaussian wave packet gives , hence . The supplied Gaussian integral ratio then gives
The momentum operator obeys , and direct second differentiation gives . Taking the expectation value and substituting the first result gives
since . These are the second moments of a complex Gaussian wave packet.
For the solution in part (b), the trigonometric identity
gives, writing ,
Thus normalizability requires , and the exact expectation values are
Since ,
Their difference is the constant , so the mean energy stays constant despite exponential spreading in both observables.
For a normalized state and an observable , define and . Suppose first that the position and momentum variances are finite and the state has the regularity needed for the usual position-momentum quadratic forms. Put , , and . The Cauchy-Schwarz inequality gives
The term involving has zero imaginary part. Integration by parts gives
Consequently , and
This proves the Heisenberg uncertainty relation. For smooth rapidly decaying states the boundary terms vanish directly. The same proof extends to and weak derivative using smooth cutoffs and taking their radius to infinity; the necessary mixed products are integrable by Cauchy-Schwarz. Normalization alone need not give finite variances or an operator-domain momentum expectation. A state with infinite spread is interpreted through the corresponding extended bound, rather than assigning a finite uncertainty to an undefined expression.
For the specified Gaussian wave packet, write and . Its probability density is
It is a normalized centered normal distribution with variance . Symmetry gives , and hence
Also , so and by oddness. Integration by parts, or directly taking the squared norm, gives
Thus
The packet saturates the bound at and has a larger position-momentum uncertainty product at every nonzero time. Its spatial spreading does not change the momentum distribution.
A free nonrelativistic Gaussian wave packet with initial position variance has wave function
The free dispersion relation makes its different momentum components acquire different phases. Fourier evolution gives a position variance
This spreading is ordinary unitary dynamics. A Gaussian already has nonzero tails initially, so its width increase alone is not an example of information suddenly appearing outside an initially compact support.
For genuinely compactly supported nonzero initial data, the nonrelativistic free kernel yields
At , the integral is an entire Fourier transform of a compactly supported function. It cannot vanish on an open exterior interval unless the whole transform, and hence the initial state, vanishes. Thus this theory has no strict finite propagation cone for nonzero compact initial wave functions. It is a nonrelativistic theory, so that result is not a contradiction in a fundamental relativistic field theory.
Positive-energy relativistic particle descriptions raise a subtler issue. The Hegerfeldt theorem concerns a Hamiltonian bounded below and a positive localization effect . The function either vanishes identically or is nonzero for almost every time. Vanishing for an open interval makes the analytic continuation of the vector matrix elements vanish identically. A sharp exterior localization probability which remains zero for a nonzero time interval but becomes positive later is therefore incompatible with those assumptions.
The conclusion restricts simultaneous assumptions about positive energy and sharp particle localization. It does not establish an admissible procedure for controllable superluminal messaging. A particle-position projection need not belong to the algebra of a physically local relativistic measurement, and strictly localized one-particle preparation can fail the required assumptions. In field theory the appropriate locality test concerns local operations and observables, not merely pointwise values of a one-particle wave function. Localization, propagation of field disturbances and transmission of information must be distinguished.
Put and write the Gaussian wave packet as . Differentiation gives
Hence , the free Time-dependent Schrödinger equation.
With , its probability density is
The stated Gaussian integral shows its integral is one. Symmetry gives ; differentiating that Gaussian integral with respect to its coefficient gives . Thus the position standard deviation is
It is not a stationary state: its probability density changes with time as the packet spreads. A stationary state would have only an overall time-dependent phase and a fixed position density.
The momentum operator in the position representation is . Differentiating the given Gaussian wave packet gives
The probability density is an even function, so the term proportional to the odd function has integral zero. Normalization supplies , and hence
The one-dimensional Time-dependent Schrödinger equation for a wavefunction in a real potential is
Multiplying this equation by , multiplying its complex conjugate by , and subtracting gives the probability continuity equation
If and its first derivative decay sufficiently rapidly as , then the probability current vanishes at both ends. Integrating the continuity equation and using the fundamental theorem of calculus yields
This conservation of quantum probability is required by the Born rule: once a normalizable wavefunction has total probability one, its time evolution must preserve that normalization.
For the stated Gaussian wave packet, put . Since
its squared modulus is
The Gaussian integral then gives
which is independent of time, as required.
An initially localized escaping electron occupies a superposition of lead momentum states. In a uniform free one-dimensional lead,
A packet centered at moves with group velocity and generally spreads because its components have different velocities. For an initially unchirped minimum-uncertainty Gaussian wave packet,
This illustrates dispersive evolution; the actual emission contact determines and whether only outward-propagating components are appreciable. It does not instantaneously become a single lead plane wave.
A single-electron transistor used as a sensitive electrometer exploits Coulomb blockade: a nearby charge shifts the offset and therefore the conductance peaks. This requires stable calibrated capacitances and low charge noise, rather than merely a small conductor.
Put . Logarithmic differentiation gives
Therefore
so the appropriate potential energy is . The wavefunction never vanishes, so no other time-independent potential gives the same equation for this precise phase choice.
The squared modulus is
It changes width and height with time, so this is not a stationary state. Its integral is the constant ; multiplying the wavefunction by normalizes it. The normalized Gaussian wave packet stays centred at zero but spreads, with position variance . It represents a localized free particle with a spread of momenta, rather than an energy eigenstate. Free Gaussian wave packet evolution broadens the packet even with zero mean momentum.