Use the Fourier transform convention . First observe that satisfies the differential equation, decay, and normalization, using the Gaussian integral. The uniqueness allowed in the question identifies it with . In particular it is a Schwartz function, so the derivative and multiplication rules below are justified.
Taking the Fourier transform of the differential equation gives
The Riemann-Lebesgue lemma gives decay of . Every decaying solution of this equation is proportional to : setting gives , and integration yields
The term with grows like as , so decay forces . Thus for a scalar . This establishes proportionality before using Fourier inversion to calculate the scalar.
On the small clockwise contour , decreases from to . Uniformly on that arc, , and hence
The large arcs also vanish. To make this precise for the displayed geometry, take them on the left semicircle , , split at the cut. On the principal holomorphic branch, , , and . The estimation lemma gives
For the last bound, symmetry and on imply that the angular integral is at most . The exact choice of large arcs does not affect the limiting result. The vertical improper integral converges absolutely because decays as .
Taking limits in the closed contour integral now yields , where . Thus
As an optional explicit evaluation, put and define . Differentiation under the integral sign and the Gaussian integral give and . Therefore and in terms of the error function and complementary error function.
For constant and no drift, particle conservation and Fick's first law give the one-dimensional diffusion equation . For ,
so direct substitution verifies the equation for . The Gaussian integral fixes the normalization:
This is the heat kernel for a point release, with in the distributional limit. It remains centered at zero while its width grows as and its peak falls as . To compute the second moment, set :
using over the whole real line, obtained by integration by parts.
If the mean number of independent unbiased jumps in time is , conditioning on gives . Matching it to the continuum diffusion result yields
For fixed-magnitude steps , . The equality of second moments also holds for Poisson jump times independent of the increments; a Gaussian continuum approximation additionally requires many steps and finite step variance.
Figure 1.
Spreading of a normalized one-dimensional diffusion packet
. Analytic Gaussian profiles with N=1 and D=1 at three illustrative times have fixed unit area, peak proportional to inverse square root of time, and variance 2Dt. Details.
For , has the normal distribution . Evaluate its Gaussian integral:
At the defining random variable is one, consistent with the same formula. Thus
Put . The change of measure and part (a)(iii) yield
For a centered normal random variable of variance , a Gaussian integral gives the Gaussian quadratic exponential moment
Here and for finite positive , so the required positivity holds, including when . Thus
Expanding the two exponentials in terms of hyperbolic functions gives
At this is one. As , the denominator tends to , recovering part (a)(i). At it gives the Laplace transform of the integrated square of Brownian motion. The joint terminal-and-integral transform is the Joint Laplace transform of Brownian square and its time integral.
The normalized initial Gaussian wave packet is real and even, so the integrands for and are odd. Its second position moment is the elementary Gaussian integral . Since and ,
Moreover and . Thus
Put . momentum eigenstates evolve with energy , so the retarded momentum kernel is . Its Fourier transform reduces to
Completing the square and defining the oscillatory Gaussian integral by a convergent limiting prescription gives
For the square root has quantum phase . As , this kernel tends to in the distributional sense. Differentiating the Heaviside step function consequently supplies the required source; an extra factor would correspond to a different Green-function convention.
Use the Dirac delta function to set , and write . The remaining momentum-dependent quantum phase is
Shifting the integration variable by reduces the integral to the free Gaussian integral. Therefore
The force is , not . Both the linear endpoint term and the cubic-time term disappear in the zero-force limit. The prefactor remains the free one.
Specify the Fourier transform before performing the Gaussian integral:
At the functional is diagonal in both component and momentum, with inverse kernels , , and . The condition makes all three positive. The covariance of a Gaussian distribution with statistical weight is times the inverse kernel, hence
If is already the dimensionless free energy divided by , the numerators are one instead. Translational invariance forces opposite momenta to pair. There is no complex conjugate on the second field, so the delta function is at , not at . A correlation with would have the latter convention. Rotational symmetry in real space leaves dependence on alone once the momentum-conservation delta function is factored out. The correlation lengths are and ; the second component becomes soft as . The skipped letter in the source is preserved: this solution is part (e), with no inferred part (d).
Keep the same measure normalization as in the free generating functional and define
Here is the source-dependent partition function, despite the common alternative convention in which that letter denotes its logarithm. A functional derivative of brings down one factor at the differentiated point. Expanding the interaction exponential and replacing each such factor by therefore gives
Completing the square in the free Gaussian integral gives because with periodic boundary conditions. Restoring replaces the upper limit by and the interaction coefficients by and , exactly as in the source.
For indistinguishable classical particles the canonical partition function is an integral over phase space,
The factor removes overcounting under particle permutations, and makes the classical phase-space measure dimensionless. The pair potential depends only on positions, so all momentum integrations separate. The three-dimensional Gaussian integral for each particle gives
The grand canonical partition function is , where chemical potential controls the mean number of particles. Therefore
For , the empty products and configurational integral equal one. The factor in the interaction prevents double counting of unordered particle pairs.
Normalize the probability density function on :
For , the change of variables is , . Conservation of probability gives the transformed probability density function
It is a Rayleigh distribution with scale . Its derivative is , so it rises from zero, has one maximum, and then decays:
The expected value follows by putting :
Here , obtained from the Gaussian integral by integration by parts. In particular , and the mode changes under a nonlinear variable transformation because a density includes its Jacobian determinant.
Figure 1.
The square root of an exponential variable has a positive density mode
. Original dimensionless Rayleigh distribution with its mode and expected value marked. The density is measured per unit transformed variable, including the change-of-variable factor. Details.
Phase-space path integral 2026-10-06
A phase-space path integral represents a quantum transition kernel by integrating both coordinates and conjugate momenta with action . It follows from inserting position and momentum completeness relations between short-time evolution operators. For a quadratic momentum dependence the momentum variables can be integrated by a Gaussian integral.
Quantum harmonic oscillator Created 2026-09-24 Updated 2026-10-13
The quantum harmonic oscillator describes a particle of mass in a quadratic potential energy with angular frequency . In the position representation its Quantum Hamiltonian is
The model is useful far beyond a literal spring: a Taylor series about a stable equilibrium with positive potential curvature has this quadratic term as its leading nonconstant approximation. The pure quartic oscillator has zero curvature at its minimum, so that particular approximation does not apply. [ref].
In units with , creation and annihilation operators give
Here is the number operator. Restoring the reduced Planck constant, the energy eigenvalues are for : neighboring levels are separated by , and the ground-state energy is the zero-point energy .
With length scale and dimensionless coordinate , the ground state is the normalized Gaussian wave packet
For , this is precisely the trial wavefunction in the quantum variational principle. The balance of kinetic energy and potential energy therefore recovers the exact ground-state energy using only Gaussian integrals.
Quantum variational principle Created 2026-10-03 Updated 2026-10-14
The quantum variational principle estimates the lowest energy by choosing a trial wavefunction and computing its expectation value, without solving the Schrödinger equation exactly. Minimizing over a manageable family of trial wavefunctions gives an upper bound; enlarging that family can improve the estimate.
Let be a self-adjoint operator bounded below, and put . For in its operator domain ,
Trial states may also lie in the form domain , where . Then use the quadratic form of a positive quantum Hamiltonian shifted by :
This extends the expectation value beyond without requiring to exist. Equality for a normalized state holds exactly in the energy eigenspace at , if that eigenvalue exists. [ref].
A short proof makes the direction of the bound memorable. If has a complete orthonormal basis of energy eigenstates , write
The expectation value is a weighted average of allowed energies:
Equality requires every occupied energy eigenstate to have energy . [ref]. With continuous spectrum, the spectral theorem replaces the sum by an integral against the scalar spectral measure; the same nonnegative-difference argument works.
For an unnormalized trial wavefunction, divide by its squared norm: is the form version of the Rayleigh quotient. The quantum variational principle supplies an upper bound on ; it supplies neither a lower bound on nor, by itself, a guarantee that a bound state exists.
To see the method at work, choose the real Gaussian wave packet
The Gaussian integral gives wavefunction normalization and the two useful position averages:
Thus its position probability density is a normal distribution with standard deviation : large means narrow confinement. In units , integration by parts and give the kinetic energy
These smooth, rapidly decaying trial wavefunctions belong to the operator domains of both polynomial Quantum Hamiltonians below. Narrowing the Gaussian wave packet increases its kinetic energy; widening it increases the potential energy in either confining potential.
For the quantum harmonic oscillator, take :
The trial values at are respectively . The derivative changes sign at , where kinetic energy and potential energy are both . Here the trial family contains an exact ground state:
The zero-point energy remains positive even at the best width. For comparison, removing the potential leaves as : the free Quantum Hamiltonian on the line has spectral bottom zero but no normalizable zero-energy energy eigenstate. A sequence of ever broader trial wavefunctions need not approach an actual bound state.
Figure 1.
Gaussian trial widths and the kinetic–potential energy tradeoff
. Normalized Gaussian wave packets with have different position probability densities. The bars show the competing kinetic energy and harmonic potential energy ; their sum is smallest at . Details.
For a pure quartic oscillator, keep and set the quartic coefficient to one:
The trial values at are respectively . Setting the derivative to zero gives
The sign of this derivative changes from negative to positive at the optimum, giving the smallest energy within this Gaussian wave packet family:
At this width, and , so , as expected from the power-law quantum virial theorem for a scale-optimized trial wavefunction. The number is an upper estimate of the ground-state energy, not an asserted exact energy eigenvalue. Indeed,
depends on for every , so no member of this trial family is an energy eigenstate. Nevertheless, a single width parameter already turns a difficult Schrödinger equation into a useful, explicit energy estimate.
Figure 2.
Energy landscapes for harmonic and quartic Gaussian trials
. The quantum harmonic oscillator reaches its exact ground-state energy at . The pure quartic oscillator has a Gaussian wave packet optimum at giving only the upper bound . Dashed curves separate kinetic energy and potential energy. Details.
Real-time winding representation of a quantum rotor kernel Created 2026-10-14 Updated 2026-10-18
The quantum rotor with angle period has both the spectral kernel and the displayed winding representation. The Poisson summation formula converts one into the other by a Gaussian integral. Each winding sector has a constant-velocity classical path and action . Quadratic fluctuations give the same prefactor in every sector, so this is exact. Real time is understood by , which fixes the square-root branch and convergence prescription.
Regulated complex Fresnel integral Created 2026-10-07 Updated 2026-10-14
For , polar coordinates reduce the integral to . The result is . Its damped limit for real is , which fixes the sign of the oscillatory complex Gaussian integral. The Fresnel integral convention can be compared with NIST definitions.
Schrödinger equation Created 2026-09-24 Updated 2026-10-20
The Schrödinger equation governs the evolution of a quantum state between instances of measurement in quantum mechanics. For a particle of mass moving in a prescribed real potential energy , its position wavefunction satisfies
Here is the Planck constant, is the Laplace operator, and the Hamiltonian operator combines kinetic energy with potential energy. Specify an initial wavefunction, an operator domain and any boundary conditions: the differential expression alone does not completely specify a physical model. The Born rule then turns the evolving probability amplitude into position probabilities through and integration over a region.
This scalar Schrödinger operator describes nonrelativistic quantum mechanics, with relevant momenta much smaller than , where is the speed of light. It omits the constant rest energy , assumes fixed particle number, and suppresses active spin dynamics and coupling to a magnetic vector potential. A free electron with a fixed, uncoupled spin state can still use this scalar model; the Pauli equation supplies the additional spin components and magnetic coupling when needed. A prescribed real describes a closed evolution model or an approximation in which the source of that potential energy is treated as external. Dissipation, particle creation and a general measurement in quantum mechanics need further modelling.
For a time-independent self-adjoint Hamiltonian operator, the spectral theorem defines unitary time evolution by
Initial states in the operator domain satisfy the differential equation in the Hilbert space sense; the unitary operator also evolves all other states in that Hilbert space. Time-dependent Hamiltonian operators need suitable regularity and domain hypotheses; their evolution is not generally the exponential of .
The local reason for conservation is especially tangible. Multiply the Schrödinger equation by the complex conjugate , subtract its conjugate multiplied by , and use the fact that the real potential energy terms cancel. For smooth wavefunctions this gives the probability continuity equation
The divergence theorem identifies the change in probability inside a region with minus the outward probability current. Decay at infinity, or appropriate probability-conserving boundary conditions, preserves wavefunction normalization. Conservation of total probability does not require a stationary probability density.
Its usefulness comes from being a linear partial differential equation: quantum superpositions of solutions are solutions, while different quantum phases can produce interference. For a fixed Hamiltonian operator, the time-independent Schrödinger equation finds the energy eigenstates; each then acquires just its own time-dependent quantum phase. One eigenvalue problem therefore organizes both allowed energies and the evolution of arbitrary quantum superpositions, with a continuous spectrum included when required. This is the attractive bridge between a spatial wave problem and a clock: energy differences determine the rate at which relative quantum phases change. It makes atomic spectral lines, quantum tunnelling and quantum scattering calculable from a specified model.
For an explicit example without confinement, take a free particle on the whole line, , initially in a Gaussian wave packet with position standard deviation and mean momentum :
Unlike a single plane wave, this wavefunction satisfies wavefunction normalization. A Fourier transform writes it as a quantum superposition of plane waves. Their dispersion relation is , so each Fourier component gains the factor . Completing the square in the resulting Gaussian integral gives
with the square root chosen continuously from . Its position probability density and standard deviation are
The centre moves with the group velocity and the wave packet spreads because different wavenumbers have different group velocities. This is unitary wave dispersion, without a random force or loss of probability. Independently, the initial momentum standard deviation is and the initial position-momentum covariance vanishes. Free evolution gives in the Heisenberg picture, hence
This independently checks the spreading law. The Gaussian integral of is one at every time; the decreasing peak is exactly offset by increasing width.
As hypothetical preparation parameters, choose a free electron with and . Using and gives
The rounded electron mass uses the 2022 adjustment.[ref] At , the centre is and ; at , they are and . The mean kinetic energy stays
It includes both mean motion and the momentum spread. The mean speed is about and the momentum spread corresponds to , making the nonrelativistic model accurate for the appreciably occupied part of this ideal Gaussian distribution. Its mathematically unbounded tails are an idealization.
Figure 1. . Calculated electron position probability densities for the hypothetical preparation above, together with the position standard deviation. The area under every curve is one. The dashed width curve illustrates pure translation without spreading for comparison; it is not the free solution. No curve represents measured data. Source. Details.
The complex width also explains where the probability goes. Write , where is the dimensionless quantum phase. Differentiating the exact solution gives
Relative to the moving centre, the probability current points outward on both sides for . This is a flux statement, not an additional assumption about individual particle trajectories. At and , the relative flow speeds are , about . The probability within a moving interval of half-width falls from about initially to at , exactly because of this outward probability current.
Figure 2.
Curved quantum phase drives spreading probability current
. The same free Gaussian wave packet at . With , removing the carrier and a spatially constant quantum phase leaves . The right panel plots : negative to the left, positive to the right. Flux through the marked moving interval endpoints explains its decreasing probability. Source. Details.
Historically, the 1926 Quantisierung als Eigenwertproblem (Erste Mitteilung) by Erwin Schrödinger began with the stationary hydrogen atom problem. It distinguishes discrete negative energies from a positive continuous spectrum; it is not yet the general evolution equation displayed above.[ref] The opening of quantum mechanics discusses its original vibrating-string analogy.
In the 12 December 1933 lecture The fundamental idea of wave mechanics by Erwin Schrödinger, Erwin Schrödinger explains the move from independent rays to waves through diffraction, then applies that analogy to atomic physics. His closing pages explicitly acknowledge the difficulty of reconciling wave language with observed particle tracks. This retrospective physical argument motivates the model; it does not derive the modern Born rule from classical mechanics.[ref]
The dates separate proposal from measurement: the de Broglie wavelength belongs to the 1924 thesis, the Schrödinger equation to 1926, and the Davisson–Germer experiment's electron diffraction beams to 1927.[ref] That linked experiment describes the prepared nickel crystal, evacuated electron gun, angular collector scans, retarding-potential selection and heating controls. Its measured collector electric current tests wave-dependent scattering probabilities; it neither measures a wavefunction directly nor establishes this equation uniquely.
Schwinger parameterization Created 2026-10-05 Updated 2026-10-25
For and , rescaling the defining gamma function integral proves this representation, with compatible complex-power branches. It turns denominator powers into exponential factors, making Gaussian integrals possible. Combining two parameters by their sum and ratio gives the usual Feynman parameter identity. Outside its convergence domain a further continuation or pole prescription is needed.