Write , , and . At zero temperature all particles occupy . Expanding the bosonic annihilation operator in single-particle orbitals gives
This one-body density matrix is a Gaussian function of width ; it contains one wavefunction evaluated at , so its exponent is half that of the spatial number density . In particular,
the total number density at the trap centre, including condensed and noncondensed particles.
At positive temperature, with occupations of the trap energy eigenstates, the exact ideal-gas decomposition is
For , the sketch has a broad Bose-Einstein condensate component on scale and a narrower thermal peak near the origin. On approaching the broad component loses its weight , while the thermal part remains. Above there is no macroscopic broad Bose-Einstein condensate component; close to , low energy levels can still give a shoulder, so a single narrow Gaussian function is only a high-temperature description. At individual excited energy levels matter and the two-scale description need not apply.
For the Maxwell-Boltzmann distribution applies. The leading off-diagonal one-body density matrix is
Here is the Gaussian function width defined by , and is the thermal de Broglie wavelength. The thermal cloud itself extends over the much larger spatial scale ; this is a correlation width, not the cloud radius.
Figure 1.
Ideal trapped-gas one-body correlations across condensation
. Curves for use the discrete oscillator spectrum and its thermal kernel, with the chemical potential chosen to fix . Each vertical axis shows ; the last panel enlarges the vertical scale. The dotted curve below is the condensate contribution. The value of used in the labels is the leading large- expression. Details.
Take a normalized vector in the required common operator domains. Expanding the squared norm and using self-adjointness gives
Thus its final term is . Set , , . If , minimizing the nonnegative quadratic at gives
Equality holds precisely when the minimum norm vanishes, that is . If , however, then and , so equality is automatic even when . The printed equality criterion needs this zero-vector exception. For example , , saturates the inequality but admits no such real . The exact general criterion is linear dependence of together with vanishing real part of their inner product, as in the uncentered second-moment commutator inequality.
Apply the same calculation to , , whose commutator is unchanged. This gives the Robertson uncertainty principle
If is an eigenvector of , its dispersion is zero; finite dispersion of then forces .
In the position representation, and . The product rule gives , hence . Since commutes with ,
For an energy eigenstate, , so . For the oscillator , and the same argument gives . These expectation identities require the stated finite moments and commutator domains; formal position eigenvectors are not normalizable exceptions.
Apply the Robertson uncertainty principle to each angular-momentum pair:
If is an eigenvector of , then . The inequalities for and force , assuming the relevant moments exist.
With and ,
Thus
For , spin down is the lower energy eigenstate. The negative electron magnetic moment is already accounted for in the positive coefficient multiplying in the given Hamiltonian.
Insert hydrogen energy eigenstates on either side of the commutator. Because is Hermitian and has eigenvalue ,
Thus
This is a necessary electric-dipole selection rule, not a sufficient condition for a nonzero matrix element. For example, by parity even though . The angular factor additionally requires : multiplication of a spherical harmonic by gives only harmonics with the same and adjacent . The commutator alone establishes only the magnetic quantum number restriction; radial integrals and the remaining electric-dipole selection rules for hydrogen must still be considered.
Use the orthonormal energy eigenstates of the infinite square well,
The identity resolves the initial wavefunction into . Each energy eigenstate acquires its own dynamical phase, so
inside the well, and the wavefunction vanishes outside. The energy probabilities are and at every time. Consequently
For the left half, each diagonal integral is , while
The interference term therefore yields
This probability lies between approximately and , with period . A conserved energy distribution is compatible with time-dependent position probabilities because the relative quantum phase keeps evolving.
The Time-dependent Schrödinger equation, with the Hamiltonian for a particle of mass in a real potential energy , is
A stationary state is an energy eigenstate: its wavefunction evolves by a single global phase,
Its probability density is independent of time. For a normalized wavefunction, the probability density and probability current are
Subtracting the complex conjugate of the Time-dependent Schrödinger equation, multiplied by , from the original equation multiplied by cancels the real potential energy terms and gives the continuity equation . Thus measures signed probability flow in the positive direction.
Inside the infinite square well, the time-independent Schrödinger equation and Dirichlet boundary conditions are
and the wavefunction vanishes outside the interval. For a nonzero state, integration by parts gives
The strict inequality follows because a function with zero derivative and zero endpoint values is zero. Put . The general solution is ; the first boundary condition gives , and the second gives , . Since , the normalized energy eigenstates and eigenvalues are
The normalization fixes the magnitude of the coefficient; its arbitrary global phase has been chosen real and positive.
The initial quantum state is the equal superposition of the first two box states, . The orthonormality of the two energy eigenstates makes its squared norm equal to one. Their separate stationary state phases give
Write . The probability density is
Each squared sine integrates to on the left half. For the quantum interference term, the product-to-sum identity gives
Hence the Born rule gives
The quantum interference moves probability between the halves even though each component separately is a stationary state.
The issue is the square-integrable condition on the whole real line, not just decay at one end. Because the quantum harmonic oscillator potential is even, the even and odd parts of a square-integrable wavefunction are themselves square integrable and satisfy the same equation. It is therefore enough to examine each parity sequence separately.
For a nonterminating sequence, put , where or . Its recurrence relation gives
Since is real for an energy eigenvalue, the ratio is eventually positive. After multiplying by one constant phase, the tail coefficients are all positive. Choose . For sufficiently large , the ratio is at least , so for some the tail coefficients obey . Consequently, for , the magnitude of eventually exceeds a positive multiple of after subtraction of a fixed polynomial. Multiplication by leaves exponential growth like , incompatible with the square-integrable condition. Thus each nonzero parity series must terminate. The parity argument also excludes cancellation between the two nonterminating sequences at both infinities. This proves Normalization forces Hermite-series termination.
If the terminating polynomial has degree , its top nonzero coefficient requires . Conversely, when , choosing the seed of parity nonzero makes the recurrence relation terminate exactly at degree . The opposite seed must be zero, since that sequence does not terminate. Therefore
The resulting polynomials are proportional to the physicists' Hermite polynomials, and is normalizable because any polynomial times this Gaussian function is square integrable. The two parity seeds describe the full solution space of the second-order differential equation; the preceding argument therefore exhausts the normalizable stationary states. Each eigenspace has dimension one. General time-dependent quantum states can of course be superpositions of these energy eigenstates.
By linearity of the time-independent Schrödinger equation, the even and odd parts
each satisfy the same energy eigenvalue equation whenever they are nonzero. They obey and , so they have definite parity. At least one is nonzero, and . Each nonzero part can be normalized separately.
Therefore a basis of stationary solutions can be chosen to have definite parity, and solving the even and odd sectors loses no energy eigenvalues. This does not assert that every possible quantum superposition has definite parity; a superposition of the two sectors need not. For one-dimensional bound states in the usual regular setting, nondegeneracy of one-dimensional bound states further implies that each individual energy eigenstate has definite parity.
The time-independent Schrödinger equation is the energy eigenvalue equation for the Hamiltonian operator:
Here is the reduced Planck constant. A corresponding stationary wavefunction evolves as , which follows by substitution in the Time-dependent Schrödinger equation. Its position probability density is time independent because the time factor has unit modulus. Physical energy eigenstates must also satisfy the system's boundary conditions; for a bound state, wavefunction normalization requires .
Write . Repeated application of the annihilation operator lowers the energy eigenvalue in steps of . The lower bound from part (ii) forces this process to stop. To see why it also quantizes the starting energy, write
The first lowering steps have positive squared norms. If , the next step is also nonzero by part (ii), and its energy would be , contradicting the bound. Thus , and
Existence of the ground state can also be checked directly in the position representation. The equation is
whose solution is proportional to . This Gaussian function is square-integrable, so it gives an actual ground state. Its normalization can be chosen using the Gaussian integral.
All the displayed levels occur: for a nonzero state at ,
Thus repeated raising creates a nonzero energy eigenstate at every .
The squared norm is obtained by moving the adjoint operator to the other side of the inner product:
For an energy eigenstate, this is
Since a squared norm is nonnegative, every nonzero energy eigenstate has . Moreover exactly when .
Let have energy and put . The lowering norm formula gives, inductively,
In particular is a nonzero ground state. By the assumed nondegeneracy, it equals for some .
It remains to show that raising this vector recovers , rather than merely another state at the same energy. On an energy eigenstate at , factorization gives . Iterating the factorization down the ladder yields
Applying to therefore proves
For this is the original ground-state assumption. This proves nondegeneracy propagated by an oscillator ladder: every energy eigenspace is one-dimensional if the ground state is nondegenerate.
If , it has energy , distinct from the energy of . Eigenstates of a self-adjoint operator with distinct eigenvalues are orthogonal. Explicitly,
so . If , the same conclusion is immediate.
Dividing by and using the definition of gives
Both expectation values are real because and are self-adjoint operators. Its real and imaginary parts therefore vanish separately:
An oscillator energy eigenstate is centered in both position and momentum, despite having nonzero quantum uncertainties.
Inside the infinite square well, the Schrödinger equation and Dirichlet boundary conditions are
The wavefunction vanishes outside the box. These walls constrain its values, not its first derivatives: requiring both to vanish at an endpoint would eliminate all the nonzero stationary solutions.
For a nonzero separated solution, separation of variables gives
The last equation is the time-independent Schrödinger equation. Its energy eigenvalue is real. Multiplication by and integration by parts, with the endpoint values zero, gives
Equality would force to be constant and hence zero, so a nonzero energy eigenstate has . Writing , the general solution is . The left wall gives ; the right gives . Negative integers reproduce the same functions up to a constant, and gives the zero function, leaving for .
Finally . Thus wavefunction normalization with positive coefficient gives
An arbitrary constant global phase has no effect on the quantum state.
Write , and . Its derivative is
Integration by parts with the Dirichlet boundary conditions gives the energy expectation
It is constant in time, since the time-independent Hamiltonian operator has fixed energy measurement probabilities: .
For the midpoint parity operator, . Hence, again putting ,
Indeed the imaginary part integrates to zero by reflection and . This expectation value is also constant in time, because the bounded self-adjoint operator commutes with and hence with its time-evolution operator. Equivalently, .
For the momentum operator, direct evaluation gives
The real sine-cosine integral vanishes. This expectation value is not constant in time: the infinite square well walls reverse motion. One can prove the change exactly without approximating the wavefunction. At
the energy eigenstate expansion and give . Differentiation shows , so
This half revival in an infinite square well is a concrete counterexample to momentum conservation. The sign from is only a global phase.
Figure 1.
The box state at and : identical position probability density, opposite probability current
. Analytic curves in dimensionless coordinates; arrows indicate the current direction. The integrated current gives , so the reversed currents have opposite mean momentum. Details.
The apparent interior identity cannot justify conservation here: the momentum operator does not preserve the Dirichlet boundary conditions of the Hamiltonian operator's operator domain. For sufficiently regular states, retaining the boundary terms in Ehrenfest theorem instead gives the boundary force in an infinite square well,
In the strictly confined interval, with both endpoint values zero is symmetric but not itself a self-adjoint operator. The requested integral is the conventional mean momentum; it also equals the full-line momentum mean of the zero-extended state, as measured upon releasing the walls. This domain distinction explains why the formal interior commutator misses the wall force.
The requested energy eigenvalue is . By the Born rule, its probability amplitude is the inner product . Put and use :
The first integral is ; the second is zero under . Therefore
For the time-independent Hamiltonian operator, expand in its orthonormal basis of energy eigenstates:
Unitary time evolution changes to , whose modulus is unchanged. Thus the same energy measurement probability holds at every time, even though relative quantum phases and other measurements can change.
The spatial quantum phase has unit modulus. Thus the probability density and total probability are
The exterior contributes zero. This establishes wavefunction normalization, although the spatial quantum phase means the state is not the ground energy eigenstate.
On a smooth wavefunction , the position operator and momentum operator give
Thus the canonical commutation relation is . Since and are self-adjoint operators and are real, the adjoint operator of is
Expanding the products in the stated order is essential:
Subtracting gives . These identities initially hold on smooth rapidly decaying functions, which contain the quantum harmonic oscillator energy eigenstates used below.
The factorization also proves a lower bound: for a normalized energy eigenstate ,
Therefore . The commutator product rule, applied to , gives
So a nonzero application of the creation operator raises the energy eigenvalue by , while the annihilation operator lowers it by the same amount.
Begin with any energy eigenstate, whose existence is assumed. Repeated lowering must terminate: otherwise it would eventually produce a nonzero energy eigenstate below , contradicting the lower bound. More explicitly, if with integer and , the first lowering steps are nonzero. If , one further step is also nonzero by its positive squared norm and has energy , an impossibility. Thus and the last state satisfies . This proves
Every level exists as well: , so repeated raising from never vanishes. The same factorization bounds the energy expectation of any normalized state in the one-dimensional harmonic oscillator form domain below by , proving that the terminated state really is a ground state.
To find its probability density, solve the first-order equation
Its solutions are . With , the supplied Gaussian integral gives
Taking fixes an irrelevant global phase. Consequently
The ground-state energy is positive even though the potential minimum is zero: it is the oscillator's zero-point energy.