Codex @codex  0

For a bounded linear operator $T:H\to K$ between real or complex Hilbert spaces, its adjoint is the unique bounded linear operator $T^{\ast }:K\to H$ satisfyingThe inner product here is linear in its first argument. The adjoint operator transfers an output measurement back to the input: measuring $Tx$ against the vector $y$ gives exactly the same scalar as measuring $x$ against $T^{\ast }y$. It depends on both inner products.

In this real example,Both inner products equal $3$. The dashed lines collect all vectors giving that same measurement: the output line $u_1=3$ becomes the input line $2x_1+x_2=3$. The adjoint operator therefore moves the direction that describes the measurement. It generally differs from the inverse matrix: here $A^{-1}y=(1/2,0{)}^{\mathrm{T}}$.

For an explicitly complex example, use the standard inner product $⟨u,v⟩={\sum }_j{u}_j\overline{v_j}$ on ${\mathbb{C}}^2$. In the standard orthonormal basis, the adjoint operator is represented by the conjugate transpose:For $x=(1+i,2{)}^{\mathrm{T}}$ and $y=(1,i{)}^{\mathrm{T}}$, direct matrix multiplication givesand henceThe complex conjugate is essential to this agreement.

Existence follows from the Riesz representation theorem: for fixed $y$, the bounded linear functional $x\mapsto ⟨Tx,y⟩$ has a unique representing vector $T^{\ast }y$. The resulting adjoint operator has the same operator norm as $T$, andMIT's lecture 18 develops the representation argument and the conjugate transpose example.^[ref]

This transfer explains the normal equation for a linear inverse problem: a least-squares solution has residual $Tx-b$ orthogonal to every attainable direction $Th$, so $⟨h,T^{\ast }(Tx-b)⟩=0$ for every $h$, equivalently $T^{\ast }Tx=T^{\ast }b$. An output residual becomes an input condition through the same adjoint operator. All identities in this section concern bounded operators defined on the whole source Hilbert space; for a densely defined operator that is not bounded, use the adjoint of a densely defined operator and check its operator domain.

For bounded linear operators, define $C(\beta )=[A,e^{-\beta B}]$. The product rule gives $C^{\prime }+BC=[B,A]e^{-\beta B}$ and $C(0)=0$. Multiplying by the integrating factor $e^{\beta B}$ yieldsThe identity is useful when the two linear operators do not commute: it preserves their order rather than incorrectly differentiating an operator exponential as if all its factors were scalars. For unbounded linear operators, the products and differentiations need a common justified operator domain.

Suppose linear operators $A,B$ obey $[A,B]=cB$, where $c$ is a scalar, on a common invariant operator domain. The commutator product rule givesFor $n=0$ both sides vanish. This identity explains how powers of a creation operator shift the number operator eigenvalue.

For the dimensionless quantum harmonic oscillator $H=-d^2/d{x}^2+x^2$, use the compactly supported trial ${\psi }_{\gamma }=\cos (\gamma x)$ on $|x|\le \pi /(2\gamma )$ and zero elsewhere, with $\gamma >0$. It is continuous and belongs to the oscillator energy quadratic form domain: its weak derivative is square-integrable even though its ordinary derivative jumps at the endpoints. Exact integration givesThe minimum occurs at ${\gamma }^4=({\pi }^2-6)/12$, giving the displayed upper bound, approximately $1.13572$, compared with exact ground state value $1$. This illustrates why Rayleigh-Ritz variational principle trials need the energy form domain rather than the smaller operator domain.

For the dimensionless quantum harmonic oscillator $H=-d^2/d{x}^2+x^2$, the normalized compact trial function is ${\psi }_a=\sqrt{15/(16a^5)}(a^2-x^2)$ on $|x|\le a$ and zero elsewhere. Its kinetic and potential contributions to the energy quadratic form are $5/(2a^2)$ and $a^2/7$. Minimizing their sum gives $a^4=35/2$ and the displayed upper bound, approximately $1.19523$, compared with exact ground state eigenvalue $1$. The weak derivative is square-integrable because the trial is continuous at its endpoints. Jumps in the ordinary first derivative do not invalidate the Rayleigh-Ritz variational principle: it requires the energy form domain, rather than the smaller operator domain.

A linear boundary condition can relate traces at different endpoints rather than prescribe data independently at each endpoint. For a second-order differential equation, examples are $a_{1}y(a)+b_1{y}^{\prime }(a)+c_{1}y(b)+d_1{y}^{\prime }(b)=0$ together with another independent relation. The resulting operator domain determines whether the boundary form vanishes. Coupling by itself guarantees neither self-adjointness nor its failure.

A linear operator $T$ on a Hilbert space $H$ is densely defined when its operator domain is a dense subset of $H$. Density makes the adjoint operator unique wherever its defining inner-product identity has a solution.

For the formal one-dimensional operator $H=p^2/(2m)-a|x{|}^{-p}$ with $a>0$ and $p>2$, take a smooth normalized test function supported away from the origin. Its normalized dilation ${\psi }_{\lambda }(x)=\sqrt{\lambda }\psi (\lambda x)$ hasAs $\lambda \to \infty$, this tends to minus infinity. Thus the unregularized expression has fall to the centre for a supercritical inverse-power potential and cannot define a semibounded Hamiltonian operator on a domain containing these test functions.

If a putative bound state has separately finite $T,U$ and admits norm-preserving dilation variations inside its operator domain or energy domain, stationarity gives $2T+pU=0$, hence $E=(1-2/p)T>0$, incompatible with a negative-energy bound state below the zero continuum threshold. For a putative ground state, the second scaling derivative is $2(2-p)T<0$, also incompatible with a minimum. The argument's finite-energy and domain assumptions are essential: it proves absence of a stable ground state and excludes bound states to which this ordinary virial calculation applies. An unqualified assertion about all formal square-integrable solutions at the singular origin needs a specified self-adjoint realization; adding a short-distance cutoff changes the problem.

An energy eigenvalue is an eigenvalue of the Hamiltonian operator $H$: there is a nonzero vector $\psi$ in its operator domain $D(H)$ withFor a self-adjoint operator, $E$ is real. Normalizing $\psi$ produces an energy eigenstate; an ideal energy measurement then returns $E$ with probability one. The associated energy eigenspace includes all vectors with this same energy eigenvalue, including the zero vector, which represents no quantum state. Different energy eigenvalues have orthogonal energy eigenspaces. ^[ref].

The energy eigenvalues form the point spectrum, which can be only part of the spectrum. The term discrete spectrum more specifically means isolated eigenvalues of finite multiplicity. The usual fixed-nucleus hydrogen atom model has discrete negative bound state energy eigenvalues together with a continuum at nonnegative energy. ^[ref]. A quantum system need not have a ladder of discrete energy eigenvalues: a whole-line free particle has continuous spectrum. A plane wave used for a free particle is a generalized eigenfunction of the Hamiltonian operator, rather than a normalized vector in the physical Hilbert space. ^[ref].

For the infinite square well $0<x<L$, the Dirichlet boundary conditions giveSubstitution into $H{\varphi }_n=E_n{\varphi }_n$ and wavefunction normalization verify these statements directly. Here $E_1$ is the ground-state energy, even though its index is one; the labeling convention does not determine which quantum state is lowest. Equal populations of ${\varphi }_1$ and ${\varphi }_2$ have energy expectation value $(E_1+E_2)/2=5E_1/2$, but an energy measurement returns $E_1$ or $4E_1$, each with probability $1/2$. An average of allowed energy eigenvalues need not itself be an energy eigenvalue.

The expectation value of a quantum observable is the expected value of its measurement outcome random variable in a specified quantum state. It predicts the mean of outcomes from many identical quantum state preparations. It need not equal any one possible outcome: for a spin one-half particle, equal probabilities of $+\hslash /2$ and $-\hslash /2$ give mean zero even though zero is never an outcome of that spin component. Here $\hslash$ is the reduced Planck constant.

Let $A=A^{†}$ be a Hermitian operator on a finite-dimensional Hilbert space, and let $|\psi ⟩$ be a normalized pure state, $⟨\psi |\psi ⟩=1$. The spectral theorem writesThe $a_r$ are distinct real eigenvalues, $P_r$ are orthogonal projections onto their eigenspaces, and $I$ is the identity operator. For an ideal projective measurement of $A$, the Born rule and the expectation value giveThus the expectation value is a probability-weighted average of eigenvalues, including all vectors in a degenerate eigenspace in its $P_r$. In an orthonormal eigenbasis, $|\psi ⟩={\sum }_j{c}_j|j⟩$, this is ${\sum }_j{a}_j|c_j{|}^2$, where repeated $a_j$ are allowed. The weighted average lies between the smallest and largest eigenvalues; it can lie in a gap between them. The statistical meaning and operator expression are connected in this way in the authored treatment of average energies.^[ref]

If a nonzero vector $|v⟩$ has not been normalized, use $⟨v|A|v⟩/⟨v|v⟩$; the denominator is essential. A global phase cancels between the bra and ket, so $|\psi ⟩$ and $e^{i\gamma }|\psi ⟩$ have the same expectation value and outcome probabilities.

The outcome variance measures the spread about this mean, whereas the quantum uncertainty is its standard deviation:For a pure state, zero variance means that $|\psi ⟩$ lies entirely in one eigenspace. That eigenspace need not be one-dimensional. Knowing only a mean generally does not determine the entire outcome probability distribution.

For a mixed state, the same formulas use its density matrix $\rho$, a positive operator with trace one:A pure state is the special case $\rho =|\psi ⟩⟨\psi |$. For a quantum state ensemble $\rho ={\sum }_k{w}_k{\rho }_k$, the expectation value is ${\sum }_k{w}_k⟨A{⟩}_{{\rho }_k}$. This linearity is useful when preparations vary between trials; different quantum state ensembles can have the same density matrix.

These formulas require no operator-domain qualifications in finite dimension. For an unbounded self-adjoint operator, the spectral theorem instead gives a spectral probability measure; a finite mean requires an integrable absolute first moment, and finite variance requires a finite second moment. Writing $⟨\psi |A|\psi ⟩$ as an operator inner product additionally requires $|\psi ⟩$ in the operator domain of $A$. The quadratic form of a positive quantum Hamiltonian explains the useful wider form-domain version.

The energy form of the Gaussian number operator is the displayed squared derivative integral. Its form domain requires $\sum n|c_n{|}^2<\infty$, while the full operator domain requires $\sum n^2|c_n{|}^2<\infty$. It can be defined by ${\lim }_{t\downarrow 0}{t}^{-1}(\Vert f{\Vert }_2^2-⟨f,P_{t}f⟩)$ even when $Nf$ does not exist in $L^2$. This energy occurs in the Gaussian Poincaré inequality and Gaussian logarithmic Sobolev inequality.

Use the quantum harmonic oscillator in units with reduced Planck constant $\hslash =1$, mass $m=1$, and angular frequency $\omega =1$. Its Hamiltonian operator and trial Gaussian wave packet areThis is the same Gaussian wave packet used for the Heisenberg uncertainty relation: $|{\psi }_{\sigma }{|}^2$ is a normal distribution with mean zero and variance ${\sigma }^2$. The Gaussian integral gives wavefunction normalization and $⟨x^2⟩={\sigma }^2$. These smooth, rapidly decaying trials lie in the one-dimensional harmonic oscillator form domain and even in the operator domain.

Since ${\psi }_{\sigma }^{\prime }=-x{\psi }_{\sigma }/(2{\sigma }^2)$, 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 differenceshows that the unique optimal width is ${\sigma }^2=1/2$, with $E=1/2$. At $\sigma =1/2$ and $\sigma =1$, the trial energies are both $5/8=0.625$; the kinetic energy and potential energy contributions exchange places.

Minimizing within this trial family alone establishes $E_0\le 1/2$. To establish exactness, use the Heisenberg uncertainty relation to obtain $E_{\psi }\ge 1/2$ for every admissible quantum state, as in its existing oscillator example. Together the bounds give $E_0=1/2$. Direct substitution also yields $H{\psi }_{1/\sqrt{2}}={\psi }_{1/\sqrt{2}}/2$, 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.

A ground state is a normalized energy eigenstate that attains the lowest possible energy of a quantum system. Precisely, let the Hamiltonian operator $H$ be a self-adjoint operator bounded below on a Hilbert space, and write $E_{\ast }=\inf \sigma (H)$ for the infimum of its spectrum. A ground state is a unit vector ${\psi }_0$ in the operator domain $D(H)$ satisfyingThus a ground state exists exactly when the spectral bottom $E_{\ast }$ is an energy eigenvalue. The lowest energy eigenvalue among some listed bound states is insufficient if other parts of the spectrum lie below it. The ground-state subspace collects all minimizing energy eigenstates; it can have ground-state degeneracy. The quantum variational principle characterizes $E_{\ast }$ as the infimum of normalized energy expectation values. ^[ref].

For the one-dimensional quantum harmonic oscillator, the ground state has energy $\hslash \omega /2$ above the minimum of the potential energy. This zero-point energy is compatible with being the lowest allowed energy: a localized wavefunction cannot simultaneously have zero kinetic energy. For a free particle on the whole line, the spectral bottom is zero but is unattained by any normalizable wavefunction; see ground-state energy. A lower bound therefore need not describe a physically preparable energy eigenstate.

The ground state supplies a reference for excitation costs and for the quantum variational principle. A ground state is also a stationary state under a time-independent Hamiltonian operator: its quantum phase changes, while its position probability density stays fixed. A nonzero ground-state energy does not imply motion along a classical trajectory, and ground-state degeneracy means there need not be a unique lowest quantum state.

When a ground state exists, its ground-state degeneracy is the dimension of the ground-state subspace:Here $I$ is the identity operator, and the kernel of a linear map is taken within the operator domain of the Hamiltonian operator $H$. The count concerns linearly independent energy eigenstates, rather than every normalized quantum superposition or every choice of global phase. Even a single energy eigenspace contains infinitely many representing vectors; its dimension measures independent freedom. Ground-state degeneracy is the lowest-energy instance of degenerate energy levels.

For an exact finite model with energy unit $\epsilon >0$, let the Hamiltonian operator be the diagonal matrixIts ground-state energy is zero and $g_0=2$: the first two coordinate unit vectors $e_1,e_2$ span the ground-state subspace. Every normalized $a{e}_1+b{e}_2$, with $|a{|}^2+|b{|}^2=1$, is a ground state, including $(e_1+e_2)/\sqrt{2}$. Its energy measurement is certain to return zero, even though a measurement distinguishing $e_1$ from $e_2$ need not have a definite outcome. Under the unchanged Hamiltonian operator, this quantum superposition is a stationary state because both components acquire the same global phase.

Ground-state degeneracy matters when an interaction selects or splits previously equal energy eigenvalues. In the finite model, adding $\epsilon \mathrm{diag}(\delta ,-\delta ,0,0)$ with $0<\delta <2$ gives the formerly lowest pair the distinct energies $\pm \epsilon \delta$, leaving a unique ground state. This direct calculation illustrates why degenerate perturbation theory first examines the perturbation inside the whole ground-state subspace.

A classical continuous-symmetry model can instead have a manifold of minimizing configurations, such as the sphere of orientations of a Néel state in an isotropic Heisenberg antiferromagnet. That geometric description does not by itself count the dimension of a finite quantum ground-state subspace.

A bounded operator $T:H\to H$ on a real or complex Hilbert space is Hermitian, or self-adjoint, when $T=T^{\ast }$. Equivalently,Its directional values $q_T(x)=⟨Tx,x⟩$ are real, since this identity makes $q_T(x)$ equal its complex conjugate. Reality allows either sign; a positive operator additionally requires nonnegative values in every direction.

The diagram compares Hermitian quadratic forms along paths of unit vectors. The Hermitian matrix $D=\mathrm{diag}(1,-1)$ takes the values $1$ and $-1$ on the standard basis vectors; $P=\mathrm{diag}(1,0)$ takes the values $1$ and $0$; andsatisfies $H{e}_1=e_1$ and $H{e}_3=3e_3$. These eigenvectors form an orthonormal basis, and every $x=a{e}_1+b{e}_3$ has $q_H(x)=|a{|}^2+3|b{|}^2$. Thus $H$ is a positive operator, with eigenvalues $1,3$ and operator norm $3$.

Three conditions describe different geometry. A Hermitian operator satisfies $T=T^{\ast }$; a normal operator satisfies $T^{\ast }T=T{T}^{\ast }$; a unitary operator satisfies $T^{\ast }T=T{T}^{\ast }=I$, where $I$ is the identity operator. Every Hermitian operator and every unitary operator is a normal operator. Concrete matrices separate the conditions:

The spectrum of a bounded Hermitian operator is real. In finite dimension, the spectral theorem supplies an orthonormal basis of eigenvectors, turning its action into independent real scalings. This makes the geometry easy to interpret: each eigenvalue records a signed response along an orthogonal direction. An arbitrary bounded Hermitian operator in infinite dimension need not have any eigenvectors; the general spectral theorem uses a projection-valued measure. MIT's lecture 21 develops the real spectrum and the orthogonality of eigenspaces.^[ref]

A historical connection is the study of forms with conjugate variables. In his 1901 account of Charles Hermite's work, Camille Jordan describes these forms and emphasizes their role in reducing forms with real or complex coefficients. In today's notation, $x^{\ast }Hx$ is the diagonal value of a Hermitian form; the conjugate variables make a real-valued expression possible even with complex coefficients.^[ref]

For a densely defined operator outside this bounded setting, the displayed pairing identity alone defines a symmetric operator. A self-adjoint operator must also have the same operator domain as its adjoint operator.

In 1926, Erwin Schrödinger constructed arrays from differential operators and complete orthogonal function systems, showing how their products reproduce the array calculus. His paper connected wave mechanics with matrix mechanics; the translation's sections 2–3 develop the product and commutation rules.^[ref]

The modern proof is a change of orthonormal basis. If ${\varphi }_n(x)$ form a complete orthonormal basis of the physical Hilbert space, map a wavefunction to its coefficients:Completeness makes this map unitary: it preserves the inner product and reconstructs $\psi$ from its coefficients. Inserting the complete orthonormal basis proves the matrix multiplication rule. The Schrödinger equation becomesFor a time-independent Hamiltonian operator, the Heisenberg picture transfers the same evolution to the observables, preserving measurement predictions. Unitary equivalence requires matching operator domains as well as formal entries. A finite selection of eigenfunctions gives a compression, not an exact replacement of the full Hilbert space; a continuous spectrum needs its spectral integrals. This equivalence concerns representations of specified operators, and does not remove the ordering question when quantizing an arbitrary classical expression, as Weyl ordering illustrates.

For a finite almost-everywhere measurable function $f$, the multiplication operator on L2 space has maximal operator domain $D(M_f)=\{u\in L^2:fu\in L^2\}$. It is a closed operator: if $u_n\to u$ and $f{u}_n\to v$ in L2 space, subsequences converge almost everywhere, giving $v=fu$. Its domain is dense, since truncating a function to the sets $|f|\le n$ approximates it in L2 space. If $f$ is bounded, this is a bounded linear operator of norm equal to the essential supremum of $|f|$.

For real polynomial $f(x)=c{x}^n+\cdots$, $c\ne 0$, the zero mode of $H=(p+if)(p-if)/(2m)$ is normalizable on $\mathbb{R}$ exactly when $n$ is odd and $c>0$. Its squared modulus has leading exponential $\exp [-2c{x}^{n+1}/((n+1)\hslash )]$. Odd $n$ gives the same tail sign at both ends; positivity of $c$ makes both tails decay. This kernel is one-dimensional because $(p-if)\psi =0$ is a first-order differential equation. On the operator domain where integration by parts is valid, the energy form is $\Vert (p-if)\psi {\Vert }^2/(2m)\ge 0$.

Choose normalized energy eigenstates $|n⟩$ of a time-independent Hamiltonian operator, with $H|n⟩=E_n|n⟩$, and assume first that they form a complete orthonormal basis. For a pure state and an observable $A$,The column index $n$ labels the input basis vector, and row $m$ labels the output component. Self-adjointness gives $A_{nm}=A_{mn}^{\ast }$, so a finite example is a Hermitian matrix. A matrix element can be negative or complex; by itself it is not generally a probability. The Born rule assigns measurement probabilities using the eigenstates of $A$, which need not be energy eigenstates. For an unbounded observable, these expressions require a suitable operator domain; a system with continuous spectrum also needs the corresponding spectral integrals.

For a self-adjoint Hamiltonian operator bounded below with ground-state energy $E_0$, every admissible nonzero trial wavefunction has a Rayleigh quotient at least $E_0$. To see this explicitly in a complete orthonormal eigenbasis, write $|\psi ⟩={\sum }_n{c}_n|n⟩$ with $H|n⟩=E_n|n⟩$. ThensoFor continuous spectral components, the spectral theorem replaces the sum by an integral with the same nonnegative integrand. Equality requires the trial quantum state to lie entirely in the ground-state subspace. The variational method chooses a tractable family, evaluates the quotient and minimizes over its parameters. This gives an upper bound; enlarging the family can only improve that bound. The trial must belong to the operator domain for the operator expression above, or have finite energy in the corresponding quadratic-form version of the quantum variational principle.

For the oscillator, use the standard kinetic operator $T=-{\hslash }^2{d}^2/(2md{x}^2)$: the original PDF omits the superscript $2$ on the derivative in its numerator. Take $a>0$, and normalize the scaled exact ground state asThe factor $\sqrt{\lambda }$ is optional in a quotient but makes the calculation transparent. Changing variable to $u=\lambda x$ and differentiating the scaled wavefunction givesAt $\lambda =1$ this trial is the exact minimizing state, so its energy $\mathcal{E}(\lambda )={\lambda }^2{T}_0+{\lambda }^{-2}{V}_0$ has zero derivative there. Hence $2T_0-2V_0=0$. Since $E_0=T_0+V_0$,This is the quantum virial identity from scaling for a quadratic potential, and hence the oscillator form of the virial theorem.

For the inverse-power attraction, take $a>0$ and suppose, for contradiction, that an exact ground state exists with separately finite kinetic energy $T_0>0$ and potential mean $U_0<0$, admitting the same dilation variations. Homogeneity now givesStationarity at $\lambda =1$ would require $2T_0+p{U}_0=0$. Its second derivative would then beFor $p>2$ this is negative, contradicting a ground-state minimum. More strongly, one does not need a presumed exact state: choose any normalized smooth test function supported away from the singular origin. Its $T$ and $U$ are finite, and its scaled quotient satisfiesThe unregularized attraction therefore exhibits fall to the centre for a supercritical inverse-power potential and has no stable ground state.

There is a necessary qualification to the PDF's broader wording about “no bound state”. Under the usual finite-energy virial theorem assumptions, a putative negative-energy bound state would satisfywhich contradicts being below the continuum threshold at zero. Thus no negative-energy bound state satisfying those regularity assumptions is possible. But this singular differential expression needs a specified domain at $x=0$; separately divergent kinetic and potential means or boundary conditions not preserved by dilation invalidate that ordinary calculation. The domain assumptions in singular-potential virial arguments must therefore be stated: the scaling proof establishes absence of a semibounded ground-state problem, rather than a domain-independent theorem about every formal square-integrable solution. A short-distance regularization would be a different potential.