Write , , and . At zero temperature all particles occupy . Expanding the bosonic annihilation operator in single-particle orbitals givesThis 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 isFor , 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 isHere 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.
Take a normalized vector in the required common operator domains. Expanding the squared norm and using self-adjointness givesThus its final term is . Set , , . If , minimizing the nonnegative quadratic at givesEquality 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 principleIf 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 ,ThusFor , 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 ,ThusThis 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, soinside the well, and the wavefunction vanishes outside. The energy probabilities are and at every time. ConsequentlyFor the left half, each diagonal integral is , whileThe interference term therefore yieldsThis 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 , isA 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 areSubtracting 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 areand the wavefunction vanishes outside the interval. For a nonzero state, integration by parts givesThe 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 areThe 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 giveWrite . The probability density isEach squared sine integrates to on the left half. For the quantum interference term, the product-to-sum identity givesHence the Born rule givesThe 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 givesSince 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. ThereforeThe 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 partseach 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, writeThe 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 , andExistence of the ground state can also be checked directly in the position representation. The equation iswhose 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 isSince 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 yieldsApplying to therefore provesFor 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 givesBoth 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 areThe 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 givesThe 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, givesEquality 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 givesAn arbitrary constant global phase has no effect on the quantum state.
Write , and . Its derivative isIntegration by parts with the Dirichlet boundary conditions gives the energy expectationIt 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 givesThe 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. Atthe energy eigenstate expansion and give . Differentiation shows , soThis half revival in an infinite square well is a concrete counterexample to momentum conservation. The sign from is only a global phase.
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 . ThereforeFor 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 areThe 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 giveThus the canonical commutation relation is . Since and are self-adjoint operators and are real, the adjoint operator of isExpanding 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 , givesSo 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 provesEvery 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 equationIts solutions are . With , the supplied Gaussian integral givesTaking fixes an irrelevant global phase. ConsequentlyThe ground-state energy is positive even though the potential minimum is zero: it is the oscillator's zero-point energy.

