Expectation Values

A chemist measures a bond length by diffraction, an energy by spectroscopy, a dipole moment by microwave splitting. Every one of these numbers is an expectation value in disguise. Quantum mechanics does not, in general, predict what a single measurement will yield. Instead, it predicts the statistical average one obtains from measuring identically prepared systems many times over. The bridge between an abstract wavefunction Ψ\Psi and a number you can compare to experiment is the expectation value ⟨Ψ∣A^∣Ψ⟩\langle \Psi | \hat{A} | \Psi \rangle. Learning to compute it — cleanly, correctly, and with physical judgment about what it means — is one of the load-bearing skills of quantum chemistry. This matters because almost nothing in molecular science is deterministic at the microscopic level. An electron in a 2p2p orbital does not sit at a fixed distance from the nucleus. Instead, it has a probability distribution, and ⟨r⟩\langle r \rangle is the number that shows up in the periodic trends chemists memorize. A vibrating bond does not have a single "position"; ⟨x2⟩\langle x^2\rangle tells you how floppy it is. A spin does not point in one direction; ⟨Sz⟩\langle S_z \rangle tells you the net magnetization an NMR instrument detects. Expectation values are the currency in which quantum theory pays out testable, tabulated, comparable numbers. These include bond lengths, dipole moments, polarizabilities, magnetic moments, and transition intensities. They emerge from wavefunctions that are otherwise inaccessible to direct observation. The big picture is that expectation values unify three things that look separate at first. These are the abstract postulate that observables are represented by Hermitian Operators, the practical need to extract numbers from a computed or measured Ψ\Psi, and the statistical interpretation of ∣Ψ∣2|\Psi|^2 established by the Normalization of the Wavefunction. Once you see ⟨A⟩\langle A \rangle as literally "the probability-weighted average of the eigenvalues of A^\hat A," things change. A huge amount of quantum chemistry — variational energies, virial ratios, spectroscopic selection rules, population analysis — becomes a single recurring calculation performed in different costumes. This article builds the expectation-value formalism from the ground up. It covers the postulate itself, its derivation from eigenvalue expansions, and the crucial normalization and Hermiticity requirements. It then presents three fully worked examples. These span particle-in-a-box position averages, the hydrogen-atom radius, and a two-state superposition relevant to spectroscopy. It closes with the traps that catch students. These include forgetting normalization, confusing ⟨x⟩2\langle x \rangle^2 with ⟨x2⟩\langle x^2\rangle, and misordering non-commuting operators. Finally, it shows how this single idea feeds directly into the Uncertainty Principle and the Measurement Postulate.

Key takeaways
  • The expectation value of observable AA in state Ψ\Psi is ⟨A⟩=⟨Ψ∣A^∣Ψ⟩\langle A\rangle = \langle\Psi|\hat A|\Psi\rangle, the mean of many identical measurements, not the outcome of one.
  • For a normalized Ψ\Psi this equals ∫Ψ∗A^Ψ dτ\int \Psi^* \hat A \Psi\, d\tau; an un-normalized Ψ\Psi needs the ratio ⟨Ψ∣A^∣Ψ⟩/⟨Ψ∣Ψ⟩\langle\Psi|\hat A|\Psi\rangle/\langle\Psi|\Psi\rangle.
  • Expanding Ψ=∑ncnψn\Psi=\sum_n c_n\psi_n in eigenstates of A^\hat A gives ⟨A⟩=∑n∣cn∣2an\langle A\rangle=\sum_n |c_n|^2 a_n: a probability-weighted average of eigenvalues.
  • Hermiticity of A^\hat A guarantees ⟨A⟩\langle A\rangle is always real, matching the fact that it represents a physical measurement outcome.
  • ⟨x2⟩≠⟨x⟩2\langle x^2\rangle \ne \langle x\rangle^2 in general; the difference is exactly the variance that feeds the uncertainty principle.
  • Expectation values of position, momentum, energy, and dipole operators are how quantum states connect to bond lengths, spectra, and molecular polarities.
  • Key idea: an expectation value is the probability-weighted average of an operator's eigenvalues, computed as a single integral ∫Ψ∗A^Ψ dτ\int \Psi^* \hat A \Psi\, d\tau over the full wavefunction.

Where this lives today

Every computed molecular property reported by quantum chemistry software — dipole moments, quadrupole moments, polarizabilities, NMR shielding tensors, spin densities — is an expectation value of the corresponding operator evaluated over a computed wavefunction or electron density, whether that wavefunction comes from Hartree–Fock, coupled cluster, or density functional theory. When a paper reports a computed dipole moment of a drug candidate to compare with a measured Stark-effect splitting, the number quoted is literally ⟨Ψ∣μ^∣Ψ⟩\langle \Psi | \hat{\boldsymbol\mu} | \Psi \rangle evaluated on the optimized electronic wavefunction. In NMR spectroscopy, the observed bulk magnetization is ⟨Sz⟩\langle S_z \rangle summed over an ensemble of nuclear spins, and the entire vector model of pulsed NMR — on which every modern structural biology and metabolomics measurement depends — is built from tracking how this expectation value precesses and relaxes over time. In electronic structure theory, the variational principle itself is stated as a claim about an expectation value: ⟨Ψtrial∣H^∣Ψtrial⟩≥E0\langle \Psi_{\text{trial}} | \hat H | \Psi_{\text{trial}}\rangle \ge E_0, which is the operational foundation of every basis-set calculation performed in computational chemistry, from small-molecule DFT to large-scale materials screening. In spectroscopy generally, transition intensities are governed by expectation values of the transition dipole operator between different states, ⟨ψf∣μ^∣ψi⟩\langle \psi_f | \hat{\boldsymbol\mu} | \psi_i \rangle, determining which electronic or vibrational transitions are allowed or forbidden — the operational basis of UV-Vis and IR selection rules used daily in structure elucidation. Population analysis schemes (Mulliken, natural bond orbital, Bader's QTAIM) partition expectation values of the number operator or position operator across atomic centers to assign "atomic charges," a concept every organic chemist uses informally but which is, underneath, an expectation-value calculation. Even something as applied as designing a magnetic resonance imaging contrast agent relies on computing expectation values of spin and electronic operators to predict relaxation rates.

Ask the tutor: How does the expectation value formalism change once you move from a pure state Ψ\Psi to a mixed statistical ensemble described by a density matrix?

The physical picture

Imagine preparing a thousand identical hydrogen atoms in the same 1s1s state and measuring the electron–nucleus distance rr on each one, using some (idealized) instantaneous position probe. You will not get the same number a thousand times. You will get a scatter of distances, weighted by the probability density ∣ψ1s∣2|\psi_{1s}|^2, and if you average all thousand readings you converge on a specific number: ⟨r⟩=1.5 a0\langle r \rangle = 1.5\,a_0. That average — not any single reading — is what ⟨r⟩\langle r \rangle means, and it is exactly what the operator formalism computes without ever needing to "measure" anything. The key conceptual move is that operators act inside an integral sandwiched between Ψ∗\Psi^* and Ψ\Psi. The wavefunction alone is not observable; ∣Ψ∣2dτ|\Psi|^2 d\tau is a probability, and any observable quantity must be built by weighting the operator's action by that probability density. This is precisely why the expectation value is written as a triple structure: bra ⟨Ψ∣\langle\Psi|, operator A^\hat A, ket ∣Ψ⟩|\Psi\rangle. The bra–ket notation is not decoration — it encodes "how the operator's effect on Ψ\Psi overlaps back with Ψ\Psi itself," which is the mathematical definition of a weighted average. A second essential picture: any wavefunction can be expanded in the eigenstates of the operator you care about, Ψ=∑ncnψn\Psi = \sum_n c_n \psi_n with A^ψn=anψn\hat A \psi_n = a_n \psi_n. Measuring AA on this state can only ever yield one of the eigenvalues ana_n, with probability ∣cn∣2|c_n|^2 (this is the Measurement Postulate in miniature). The expectation value is then nothing but the ordinary statistical mean of a discrete probability distribution, ∑n∣cn∣2an\sum_n |c_n|^2 a_n — the same arithmetic you'd use to average dice rolls weighted by their probabilities, except the "outcomes" are quantized eigenvalues like energy levels or angular momentum quantum numbers.

Figure
Expectation value as a probability-weighted average over eigenvalues
Measuring A on Ψ = c₁ψ₁ + c₂ψ₂ + c₃ψ₃ eigenvalue aₙ a₁ = 2.0 |c₁|²=0.20 a₂ = 5.0 |c₂|²=0.50 a₃ = 8.0 |c₃|²=0.30 ⟨A⟩ = 0.2(2)+0.5(5)+0.3(8) = 5.9

A third picture worth holding in mind is the difference between the spread of a distribution and its mean. Two wavefunctions can share the same ⟨x⟩\langle x \rangle while having wildly different ⟨x2⟩\langle x^2 \rangle — one sharply localized, one smeared over a large region. The mean alone never tells you about the shape; you need the second moment, and the gap between ⟨x2⟩\langle x^2\rangle and ⟨x⟩2\langle x \rangle^2 is precisely the variance σx2\sigma_x^2 that reappears as the width of a spectral line or the delocalization of an electron in a conjugated system.

Figure
Same mean, different spread — why ⟨x²⟩ ≠ ⟨x⟩²
Two densities |Ψ|² with the same ⟨x⟩ = 0, different ⟨x²⟩ x narrow: ⟨x²⟩=0.4 Ų broad: ⟨x²⟩=2.1 Ų ⟨x⟩ = 0 for both

The core ideas

The central postulate connects an operator, a state, and a number:

⟨A⟩=⟨Ψ∣A^∣Ψ⟩=∫Ψ∗(τ) A^ Ψ(τ) dτ\langle A \rangle = \langle \Psi | \hat A | \Psi \rangle = \int \Psi^*(\tau)\, \hat A\, \Psi(\tau)\, d\tau

where: A^\hat A is the Hermitian operator representing the observable, Ψ\Psi is normalized (∫Ψ∗Ψ dτ=1\int \Psi^*\Psi\, d\tau = 1), dτd\tau is the full volume element (all spatial and spin coordinates), and the operator acts on Ψ\Psi first, with the result then dotted against Ψ∗\Psi^*.

Reading: this is a weighted average, structurally identical to xˉ=∑ipixi\bar{x} = \sum_i p_i x_i from elementary statistics, except the "outcomes" are eigenvalues of A^\hat A and the "probabilities" are supplied automatically by ∣Ψ∣2|\Psi|^2. If Ψ\Psi is not normalized, the correct general formula is the ratio

⟨A⟩=⟨Ψ∣A^∣Ψ⟩⟨Ψ∣Ψ⟩\langle A \rangle = \frac{\langle \Psi | \hat A | \Psi \rangle}{\langle \Psi | \Psi \rangle}

where: the denominator rescales the un-normalized overlap so the answer is independent of any arbitrary constant multiplying Ψ\Psi.

Reading: multiplying Ψ\Psi by any nonzero constant cc must not change a physical prediction; the ratio form guarantees this because both numerator and denominator scale as ∣c∣2|c|^2 and cancel. When Ψ\Psi is expanded in the orthonormal eigenbasis of A^\hat A, with A^ψn=anψn\hat A \psi_n = a_n\psi_n and Ψ=∑ncnψn\Psi = \sum_n c_n \psi_n, the expectation value collapses to a discrete sum:

⟨A⟩=∑n∣cn∣2 an\langle A \rangle = \sum_n |c_n|^2\, a_n

where: cn=⟨ψn∣Ψ⟩c_n = \langle \psi_n | \Psi \rangle are expansion coefficients and ∣cn∣2|c_n|^2 is the probability of measuring eigenvalue ana_n, satisfying ∑n∣cn∣2=1\sum_n |c_n|^2 = 1.

Reading: this is the discrete-spectrum version of the integral definition and makes explicit that ⟨A⟩\langle A \rangle is a genuine statistical mean over quantized outcomes, never itself an eigenvalue unless the state happens to be a pure eigenstate. Finally, the variance — how far a single measurement typically strays from the mean — is defined through the second moment:

σA2=⟨A2⟩−⟨A⟩2\sigma_A^2 = \langle A^2 \rangle - \langle A \rangle^2

where: ⟨A2⟩=⟨Ψ∣A^2∣Ψ⟩\langle A^2\rangle = \langle \Psi|\hat A^2|\Psi\rangle is the expectation value of the squared operator, and σA\sigma_A (the standard deviation) is the root-mean-square spread of measurement outcomes.

Reading: this quantity is never negative, vanishes only if Ψ\Psi is an eigenstate of A^\hat A, and is the direct precursor to the Uncertainty Principle, where σxσp≥ℏ/2\sigma_x \sigma_p \geq \hbar/2.

Derivation AFrom the eigenvalue expansion to the weighted-average formula

Goal. Show rigorously that ⟨A⟩=∫Ψ∗A^Ψ dτ\langle A \rangle = \int \Psi^* \hat A \Psi\, d\tau reduces to ∑n∣cn∣2an\sum_n |c_n|^2 a_n whenever A^\hat A has a complete, orthonormal set of eigenfunctions — establishing that the integral definition and the "statistical average of eigenvalues" picture are the same object.

Step 1. Expand the state in the operator's eigenbasis. Because A^\hat A is Hermitian, its eigenfunctions {ψn}\{\psi_n\} form a complete orthonormal set (∫ψm∗ψn dτ=δmn\int \psi_m^*\psi_n\,d\tau = \delta_{mn}). Any normalized Ψ\Psi can be written as a superposition,

Ψ=∑ncnψn,cn=∫ψn∗Ψ dτ.\Psi = \sum_n c_n \psi_n, \qquad c_n = \int \psi_n^* \Psi \, d\tau .

Normalization of Ψ\Psi requires ∫Ψ∗Ψ dτ=∑n∣cn∣2=1\int \Psi^*\Psi\, d\tau = \sum_n |c_n|^2 = 1, so the coefficients automatically form a probability distribution.

Step 2. Let the operator act term by term. Apply A^\hat A to the expansion. Since A^\hat A is linear and each ψn\psi_n is an eigenfunction,

A^Ψ=A^∑ncnψn=∑ncnA^ψn=∑ncnanψn.\hat A \Psi = \hat A \sum_n c_n \psi_n = \sum_n c_n \hat A \psi_n = \sum_n c_n a_n \psi_n .

The operator has done its entire job here: it multiplied each basis component by its eigenvalue, nothing more.

Step 3. Sandwich with Ψ∗\Psi^* and integrate. Now form the full expectation-value integral, substituting both expansions:

⟨A⟩=∫(∑mcm∗ψm∗)(∑ncnanψn)dτ=∑m∑ncm∗cnan∫ψm∗ψn dτ.\langle A \rangle = \int \left(\sum_m c_m^* \psi_m^*\right)\left(\sum_n c_n a_n \psi_n\right) d\tau = \sum_m \sum_n c_m^* c_n a_n \int \psi_m^* \psi_n \, d\tau .

The orthonormality integral ∫ψm∗ψn dτ=δmn\int \psi_m^*\psi_n\,d\tau = \delta_{mn} kills every cross term except m=nm=n:

⟨A⟩=∑ncn∗cnan=∑n∣cn∣2an.\langle A \rangle = \sum_n c_n^* c_n a_n = \sum_n |c_n|^2 a_n .

Step 4. Confirm the eigenstate limiting case. If Ψ\Psi happens to equal a single eigenfunction ψk\psi_k exactly, then cn=δnkc_n = \delta_{nk}, and the sum collapses to ⟨A⟩=ak\langle A \rangle = a_k — a single sharp value with zero spread, exactly as expected for a measurement on a pure eigenstate. This is the boundary case that any correct expectation-value formula must reproduce, and it does so automatically here.

Go deeper · Derivation B · 1 minHermiticity forces ⟨A⟩ to be real
Derivation BHermiticity forces ⟨A⟩ to be real

Goal. Prove that if A^\hat A satisfies the Hermitian (self-adjoint) condition required of all observables, then ⟨A⟩\langle A \rangle computed from any state Ψ\Psi is guaranteed to be a real number, consistent with it representing an actual measurable quantity.

Step 1. State the Hermiticity condition. An operator A^\hat A is Hermitian if, for any two well-behaved functions ff and gg in its domain,

∫f∗(A^g) dτ=∫(A^f)∗g dτ.\int f^* (\hat A g)\, d\tau = \int (\hat A f)^* g \, d\tau .

This is the defining property carried over from Hermitian Operators; physically it says the operator's action can be "moved across" the bra–ket sandwich without changing the integral's value.

Step 2. Apply the condition with f=g=Ψf = g = \Psi. Set f=g=Ψf = g = \Psi in the Hermiticity identity:

∫Ψ∗(A^Ψ) dτ=∫(A^Ψ)∗Ψ dτ.\int \Psi^* (\hat A \Psi)\, d\tau = \int (\hat A \Psi)^* \Psi \, d\tau .

The left-hand side is, by definition, ⟨A⟩\langle A \rangle.

Step 3. Recognize the right-hand side as the complex conjugate. The right-hand side is exactly the complex conjugate of ⟨A⟩\langle A \rangle:

∫(A^Ψ)∗Ψ dτ=[∫Ψ∗(A^Ψ) dτ]∗=⟨A⟩∗.\int (\hat A \Psi)^* \Psi \, d\tau = \left[ \int \Psi^* (\hat A \Psi) \, d\tau \right]^* = \langle A \rangle^* .

This uses only the algebraic fact that (A^Ψ)∗Ψ=(Ψ∗A^Ψ)∗(\hat A\Psi)^*\Psi = (\Psi^*\hat A \Psi)^* when the underlying integral is taken over the same real measure dτd\tau.

Step 4. Conclude reality. Combining Steps 2 and 3 gives

⟨A⟩=⟨A⟩∗,\langle A \rangle = \langle A \rangle^* ,

and any complex number equal to its own conjugate must be purely real. Therefore ⟨A⟩∈R\langle A \rangle \in \mathbb{R} for every state Ψ\Psi, not just eigenstates — this is exactly why physicists insist observables be represented by Hermitian operators: it is the mathematical guarantee that predicted averages are experimentally sensible numbers, never complex.

Worked examples

Example 1 — Foundational: average position in an asymmetric excited state of a particle in a box. Consider an electron confined to a one-dimensional box of length L=1.20 nmL = 1.20\ \text{nm} (a crude but standard model for a conjugated polyene chromophore), in the n=2n=2 stationary state

ψ2(x)=2Lsin⁡ ⁣(2πxL),0≤x≤L.\psi_2(x) = \sqrt{\frac{2}{L}} \sin\!\left(\frac{2\pi x}{L}\right), \qquad 0 \le x \le L .

This state is already normalized (a standard particle-in-a-box result), so ⟨x⟩=∫0Lψ2∗ x ψ2 dx\langle x \rangle = \int_0^L \psi_2^* \, x\, \psi_2 \, dx with no extra normalization ratio needed.

⟨x⟩=2L∫0Lxsin⁡2 ⁣(2πxL)dx\langle x \rangle = \frac{2}{L}\int_0^L x \sin^2\!\left(\frac{2\pi x}{L}\right) dx

Using sin⁡2θ=12(1−cos⁡2θ)\sin^2\theta = \tfrac12(1-\cos 2\theta) and the standard box integral ∫0Lxsin⁡2(nπx/L) dx=L2/4\int_0^L x\sin^2(n\pi x/L)\,dx = L^2/4 (valid for any integer n≥1n \ge 1, including n=2n=2 here), this evaluates cleanly to

⟨x⟩=2L⋅L24=L2.\langle x \rangle = \frac{2}{L}\cdot\frac{L^2}{4} = \frac{L}{2}.

For L=1.20 nmL = 1.20\ \text{nm}, ⟨x⟩=0.600 nm\langle x \rangle = 0.600\ \text{nm} — the electron is on average at the geometric center of the box, exactly as symmetry demands (the density ∣ψ2∣2|\psi_2|^2 is symmetric about x=L/2x=L/2 regardless of quantum number nn). This is the sanity check: any asymmetric-looking intermediate integral must still deliver a midpoint mean because of that reflection symmetry. Now the physically more informative quantity, the spread. For n=2n=2 the box-integral formula for the second moment is

⟨x2⟩=L23−L22n2π2.\langle x^2 \rangle = \frac{L^2}{3} - \frac{L^2}{2 n^2 \pi^2}.

With n=2n=2:

⟨x2⟩=L23−L28π2=L2(13−18π2).\langle x^2 \rangle = \frac{L^2}{3} - \frac{L^2}{8\pi^2} = L^2\left(\frac{1}{3} - \frac{1}{8\pi^2}\right).

Numerically, 1/3=0.333331/3 = 0.33333 and 1/(8π2)=0.0126651/(8\pi^2) = 0.012665, so ⟨x2⟩=0.32067 L2\langle x^2\rangle = 0.32067\, L^2. With L=1.20 nmL = 1.20\ \text{nm}, L2=1.440 nm2L^2 = 1.440\ \text{nm}^2, giving

⟨x2⟩=0.32067×1.440 nm2=0.4618 nm2.\langle x^2 \rangle = 0.32067 \times 1.440\ \text{nm}^2 = 0.4618\ \text{nm}^2 .

The variance is

σx2=⟨x2⟩−⟨x⟩2=0.4618 nm2−(0.600 nm)2=0.4618−0.3600=0.1018 nm2,\sigma_x^2 = \langle x^2\rangle - \langle x\rangle^2 = 0.4618\ \text{nm}^2 - (0.600\ \text{nm})^2 = 0.4618 - 0.3600 = 0.1018\ \text{nm}^2,

so σx=0.319 nm\sigma_x = 0.319\ \text{nm} — the electron's position genuinely fluctuates over roughly a quarter of the box length even though its average sits exactly at the center. This is the first concrete illustration that ⟨x2⟩≠⟨x⟩2\langle x^2\rangle \ne \langle x\rangle^2: here 0.4618≠0.36000.4618 \ne 0.3600, and the 0.102 nm² gap is exactly the physically meaningful spread.

Limiting case check. As n→∞n \to \infty, ⟨x2⟩→L2/3\langle x^2\rangle \to L^2/3 (the classical uniform-distribution value), because the oscillatory term 1/(2n2π2)1/(2n^2\pi^2) vanishes — recovering the correspondence-principle limit where quantum averages match a classical particle bouncing uniformly between the walls.

Example 2 — Applied: average electron–nucleus distance in the hydrogen 1s and 2pz_z orbitals. The radial expectation value ⟨r⟩\langle r \rangle sets the effective "size" chemists use to rationalize periodic trends and orbital overlap. For the hydrogen ground state,

ψ1s=1πa03 e−r/a0,\psi_{1s} = \frac{1}{\sqrt{\pi a_0^3}}\, e^{-r/a_0},

already normalized, with a0=0.529 A˚a_0 = 0.529\ \text{Å} the Bohr radius. The position operator here is simply multiplication by rr, and the volume element is dτ=r2sin⁡θ dr dθ dϕd\tau = r^2\sin\theta\, dr\, d\theta\, d\phi. Because ψ1s\psi_{1s} has no angular dependence, the angular integral gives the full solid angle 4π4\pi, leaving

⟨r⟩=1πa03⋅4π∫0∞r3e−2r/a0 dr=4a03∫0∞r3e−2r/a0 dr.\langle r \rangle = \frac{1}{\pi a_0^3} \cdot 4\pi \int_0^\infty r^3 e^{-2r/a_0}\, dr = \frac{4}{a_0^3}\int_0^\infty r^3 e^{-2r/a_0}\,dr.

Using the standard Gamma-function integral ∫0∞r3e−αr dr=6/α4\int_0^\infty r^3 e^{-\alpha r}\,dr = 6/\alpha^4 with α=2/a0\alpha = 2/a_0:

∫0∞r3e−2r/a0 dr=6(2/a0)4=6a0416=3a048.\int_0^\infty r^3 e^{-2r/a_0}\, dr = \frac{6}{(2/a_0)^4} = \frac{6 a_0^4}{16} = \frac{3a_0^4}{8}.

So

⟨r⟩1s=4a03⋅3a048=32a0.\langle r \rangle_{1s} = \frac{4}{a_0^3}\cdot\frac{3a_0^4}{8} = \frac{3}{2}a_0.

With a0=0.529 A˚a_0 = 0.529\ \text{Å}, this gives ⟨r⟩1s=0.7935 A˚\langle r \rangle_{1s} = 0.7935\ \text{Å} — a textbook number confirming the formula. Now the non-trivial comparison, chosen with an asymmetric quantum number to show the trend clearly rather than just re-deriving the 1s1s case: the hydrogen 2pz2p_z orbital,

ψ2pz=132πa03 ra0 e−r/2a0cos⁡θ,\psi_{2p_z} = \frac{1}{\sqrt{32\pi a_0^3}}\, \frac{r}{a_0}\, e^{-r/2a_0}\cos\theta,

already normalized. Squaring and separating radial/angular parts,

⟨r⟩2p=∫0∞R212(r) r⋅r2 dr∫(cos⁡2θ)sin⁡θ dθ dϕ/[normalization already built in],\langle r \rangle_{2p} = \int_0^\infty R_{21}^2(r)\, r \cdot r^2\, dr \int (\cos^2\theta) \sin\theta\, d\theta\, d\phi \Big/ \left[\text{normalization already built in}\right],

where the angular factor ∫02π ⁣dϕ∫0πcos⁡2θsin⁡θ dθ=2π⋅23=4π3\int_0^{2\pi}\!d\phi \int_0^\pi \cos^2\theta \sin\theta\, d\theta = 2\pi \cdot \tfrac{2}{3} = \tfrac{4\pi}{3} is already absorbed into the normalization constant 1/32πa031/\sqrt{32\pi a_0^3}, so the clean radial-only formula (a standard hydrogenic result) applies directly:

⟨r⟩nℓ=a02[3n2−ℓ(ℓ+1)]\langle r \rangle_{n\ell} = \frac{a_0}{2}\Big[3n^2 - \ell(\ell+1)\Big]

For 2p2p: n=2n=2, ℓ=1\ell=1, so

⟨r⟩2p=a02[3(4)−1(2)]=a02(12−2)=5 a0.\langle r \rangle_{2p} = \frac{a_0}{2}\left[3(4) - 1(2)\right] = \frac{a_0}{2}(12-2) = 5\,a_0.

With a0=0.529 A˚a_0=0.529\ \text{Å}: ⟨r⟩2p=2.645 A˚\langle r \rangle_{2p} = 2.645\ \text{Å} — more than three times larger than the 1s1s value (0.7935 A˚0.7935\ \text{Å}), quantitatively capturing the qualitative rule that higher-nn orbitals are larger and that, at fixed nn, higher ℓ\ell pulls the electron slightly outward less than lower ℓ\ell (compare 2s2s, ℓ=0\ell=0: ⟨r⟩2s=a02(12−0)=6a0\langle r\rangle_{2s} = \tfrac{a_0}{2}(12-0)=6a_0, larger than 2p2p's 5a05a_0, because the 2s2s orbital's inner lobe is offset by even more density piled up far out).

Limiting case check. As n→∞n \to \infty at fixed ℓ\ell, ⟨r⟩nℓ→32a0n2\langle r \rangle_{n\ell} \to \tfrac{3}{2}a_0 n^2, reproducing the n2n^2 scaling of Rydberg-state orbital radii used in Rydberg-atom spectroscopy.

Example 3 — Exam/competition level: expectation value of energy in a non-stationary superposition. A particle in a box of length LL is prepared (say, by a sudden perturbation) in the un-normalized superposition

Φ(x)=3 ψ1(x)−4i ψ3(x),\Phi(x) = 3\,\psi_1(x) - 4i\,\psi_3(x),

where ψ1,ψ3\psi_1, \psi_3 are the (real, normalized, mutually orthogonal) particle-in-a-box eigenfunctions with energies

En=n2h28mL2.E_n = \frac{n^2 h^2}{8mL^2}.

This tests two things simultaneously: handling an un-normalized state and handling complex coefficients correctly.

Step 1 — Normalize. Compute ⟨Φ∣Φ⟩\langle \Phi | \Phi \rangle using orthonormality of ψ1,ψ3\psi_1,\psi_3:

⟨Φ∣Φ⟩=∫(3ψ1+4iψ3)(3ψ1−4iψ3) dx=9∫ψ12 dx+16∫ψ32 dx=9(1)+16(1)=25.\langle \Phi|\Phi\rangle = \int (3\psi_1 + 4i\psi_3)(3\psi_1 - 4i\psi_3)\, dx = 9\int\psi_1^2\,dx + 16\int\psi_3^2\,dx = 9(1) + 16(1) = 25.

(Cross terms vanish by orthogonality; note (3ψ1−4iψ3)∗=3ψ1+4iψ3(3\psi_1 - 4i\psi_3)^* = 3\psi_1 + 4i\psi_3 since ψn\psi_n are real.) So Φ\Phi is 25 times "too big"; the normalized state is Ψ=Φ/5\Psi = \Phi/5.

Step 2 — Identify the probabilities. In the normalized state, c1=3/5c_1 = 3/5 and c3=−4i/5c_3 = -4i/5, so

∣c1∣2=925=0.36,∣c3∣2=∣−4i5∣2=1625=0.64,|c_1|^2 = \frac{9}{25} = 0.36, \qquad |c_3|^2 = \left|\frac{-4i}{5}\right|^2 = \frac{16}{25} = 0.64,

which correctly sum to 1 — the imaginary unit in c3c_3 contributes nothing extra to the probability, only a phase, illustrating that phases never affect ⟨A⟩\langle A\rangle when A^\hat A is diagonal in this basis (energy).

Step 3 — Apply the weighted-average formula. Since ψ1,ψ3\psi_1,\psi_3 are eigenstates of the Hamiltonian,

⟨E⟩=∣c1∣2E1+∣c3∣2E3=0.36 E1+0.64 E3,E3=9E1.\langle E \rangle = |c_1|^2 E_1 + |c_3|^2 E_3 = 0.36\, E_1 + 0.64\, E_3, \qquad E_3 = 9E_1.
⟨E⟩=0.36 E1+0.64(9E1)=0.36E1+5.76E1=6.12 E1.\langle E \rangle = 0.36\,E_1 + 0.64(9E_1) = 0.36 E_1 + 5.76 E_1 = 6.12\, E_1.

For a specific numerical case, take an electron (m=9.109×10−31m = 9.109\times10^{-31} kg) in L=0.500 nmL = 0.500\ \text{nm}:

E1=h28mL2=(6.626×10−34)28(9.109×10−31)(0.500×10−9)2 J.E_1 = \frac{h^2}{8mL^2} = \frac{(6.626\times10^{-34})^2}{8(9.109\times10^{-31})(0.500\times10^{-9})^2}\ \text{J}.

Numerator: (6.626×10−34)2=4.392×10−67(6.626\times10^{-34})^2 = 4.392\times10^{-67}. Denominator: 8×9.109×10−31×2.500×10−19=1.822×10−488 \times 9.109\times10^{-31} \times 2.500\times10^{-19} = 1.822\times10^{-48}. So

E1=4.392×10−671.822×10−48=2.411×10−19 J=1.505 eV.E_1 = \frac{4.392\times10^{-67}}{1.822\times10^{-48}} = 2.411\times10^{-19}\ \text{J} = 1.505\ \text{eV}.

Then

⟨E⟩=6.12×1.505 eV=9.21 eV.\langle E \rangle = 6.12 \times 1.505\ \text{eV} = 9.21\ \text{eV}.

Verification via the direct ratio form. Using ⟨E⟩=⟨Φ∣H^∣Φ⟩/⟨Φ∣Φ⟩\langle E \rangle = \langle \Phi|\hat H|\Phi\rangle / \langle \Phi|\Phi\rangle directly on the un-normalized Φ\Phi: ⟨Φ∣H^∣Φ⟩=9E1+16E3=9E1+144E1=153E1\langle \Phi|\hat H|\Phi\rangle = 9E_1 + 16E_3 = 9E_1 + 144E_1 = 153E_1, and dividing by ⟨Φ∣Φ⟩=25\langle \Phi|\Phi\rangle = 25 gives ⟨E⟩=153E1/25=6.12E1\langle E \rangle = 153E_1/25 = 6.12 E_1 — identical to Step 3, confirming that normalizing first versus dividing at the end are equivalent, exactly as the ratio formula guarantees.

Limiting case check. If instead c3→0c_3 \to 0 (pure ψ1\psi_1), ⟨E⟩→E1\langle E \rangle \to E_1 exactly, with zero variance — the single-eigenstate limit recovers a sharp, dispersion-free energy, as any correctly built superposition formula must.

Limiting cases, scope & common traps

SituationWhat happens to ⟨A⟩\langle A \rangleWhy
Ψ\Psi is an eigenstate of A^\hat A⟨A⟩=ak\langle A\rangle = a_k exactly, σA=0\sigma_A = 0Sum collapses to one term, ∣ck∣2=1|c_k|^2=1
Ψ\Psi is un-normalizedMust divide by ⟨Ψ∣Ψ⟩\langle\Psi|\Psi\ranglePhysical predictions can't depend on arbitrary scale of Ψ\Psi
A^,B^\hat A, \hat B do not commute⟨AB⟩≠⟨BA⟩\langle AB\rangle \ne \langle BA\rangle in generalOperator ordering matters; only commuting observables share eigenstates
Classical / large quantum number limit⟨A⟩→\langle A \rangle \to classical valueCorrespondence principle (e.g. ⟨x2⟩→L2/3\langle x^2\rangle \to L^2/3 as n→∞n\to\infty)
Superposition of eigenstates with a relative phase⟨A⟩\langle A \rangle unaffected by phase if A^\hat A diagonal in that basisPhases matter for interference terms of other operators, not for A^\hat A itself
Time-dependent Ψ(t)\Psi(t)⟨A⟩(t)\langle A \rangle(t) can oscillate even for stationary-basis coefficients with different energiesInterference terms carry factors e−i(En−Em)t/ℏe^{-i(E_n-E_m)t/\hbar}

The chemist behind it

The mathematical apparatus of expectation values belongs to the founders of matrix and wave mechanics, but the physicist whose interpretive framework is most directly responsible for how chemists use ⟨A⟩\langle A \rangle today is Max Born, who supplied the probabilistic reading of ∣Ψ∣2|\Psi|^2 that makes the entire weighted-average picture meaningful in the first place. Born, trained in Göttingen alongside Heisenberg and Jordan during the frantic years of matrix mechanics' construction, initially worked on scattering theory — computing how an electron beam's wavefunction after collision with a potential related to the probability of finding the electron deflected into a given direction. It was in that scattering context, in 1926, that he proposed treating ∣ψ∣2|\psi|^2 as a probability density rather than a literal charge or mass density, a move that took years to be accepted (Schrödinger himself resisted it) but that became the load-bearing statistical foundation beneath every expectation value calculated since.

Origins · 1 minMax Born and how this was discovered
MB
Max Born
1882-1970 · Göttingen school of quantum mechanics, 1920s

Born built the statistical interpretation of the wavefunction that underlies the entire expectation-value formalism: without ∣Ψ∣2|\Psi|^2 as a genuine probability density, "the average of many measurements" has no rigorous meaning. He shared the 1954 Nobel Prize in Physics specifically "for his fundamental research in quantum mechanics, especially for his statistical interpretation of the wavefunction" — decades after the original proposal, reflecting how contested the probabilistic reading initially was even among the theory's own architects.

History
- 1925 — Heisenberg, Born, and Jordan formulate matrix mechanics; observables become matrices whose diagonal-basis values are eigenvalues.
- 1926 — Schrödinger introduces wave mechanics; Born proposes the probability interpretation ∣ψ∣2|\psi|^2 in a footnote-turned-foundation of a scattering paper.
- 1927 — Heisenberg derives the uncertainty relation, built directly on the variance σA2=⟨A2⟩−⟨A⟩2\sigma_A^2 = \langle A^2\rangle - \langle A\rangle^2 defined via expectation values.
- 1930 — Dirac's Principles of Quantum Mechanics formalizes bra–ket notation, giving ⟨Ψ∣A^∣Ψ⟩\langle\Psi|\hat A|\Psi\rangle its modern symbolic form.
- 1954 — Born receives the Nobel Prize in Physics for the statistical interpretation underlying every expectation value computed since.
Is the expectation value ever the result you'd get from a single measurement?

Only in the special case that Ψ\Psi is exactly an eigenstate of the operator A^\hat A being measured. In that situation every individual measurement yields the same eigenvalue aka_k, so the "average" and the "single outcome" coincide, and the variance σA2\sigma_A^2 is exactly zero. For any other state — which is the overwhelming majority of realistic molecular wavefunctions, since they are superpositions in most bases — a single measurement yields one of several possible eigenvalues, and only the average over many repeated measurements on identically prepared systems converges to ⟨A⟩\langle A \rangle. This is why spectroscopic and diffraction measurements always report averages over enormous numbers of molecules or repeated pulses.

Why does the position operator sit "in the middle" of the bra-ket rather than being multiplied directly?

Writing A^\hat A between Ψ∗\Psi^* and Ψ\Psi is essential when A^\hat A involves derivatives, like the momentum operator p^=−iℏ d/dx\hat p = -i\hbar\, d/dx, because the order of operations matters: A^\hat A must act on Ψ\Psi (the ket) first, producing a new function, before that result is multiplied by Ψ∗\Psi^* and integrated. For a purely multiplicative operator like position, x^=x\hat x = x, the ordering happens not to matter numerically, but the notation is kept general and consistent so the same formula applies uniformly to every observable, whether multiplicative, differential, or matrix-valued in a discrete basis.

Does the expectation value depend on which representation (position or momentum) you compute it in?

No — this is one of the deep consistency checks of the formalism. Whether you compute ⟨x⟩\langle x \rangle using the position-space wavefunction Ψ(x)\Psi(x) or Fourier-transform to momentum space and compute the equivalent integral there, you get the same number, because the two representations are related by a unitary (norm-preserving) transformation. This representation-independence is what lets computational chemists freely switch between real-space grids, plane-wave bases, and localized atomic-orbital bases without worrying that a computed dipole moment or energy will change simply because of the choice of basis representation, provided the basis is complete enough.

How does the expectation value connect to the variational method used in computational chemistry?

The variational principle states that for any normalized trial wavefunction Ψtrial\Psi_{\text{trial}}, the energy expectation value ⟨Ψtrial∣H^∣Ψtrial⟩\langle \Psi_{\text{trial}} | \hat H | \Psi_{\text{trial}} \rangle can never fall below the true ground-state energy E0E_0. This turns "compute an expectation value" into an optimization target: quantum chemistry software adjusts basis-set coefficients to minimize ⟨E⟩\langle E \rangle, and the minimized value is reported as the best estimate of E0E_0 within that basis. Every Hartree–Fock and Kohn–Sham DFT calculation performed today is, at its computational core, a large-scale expectation-value minimization.

What happens to ⟨A⟩ for a time-dependent superposition of stationary states?

If Ψ(t)=∑ncne−iEnt/ℏψn\Psi(t) = \sum_n c_n e^{-iE_n t/\hbar}\psi_n, then ⟨A⟩(t)\langle A \rangle(t) generally oscillates in time whenever A^\hat A connects states of different energy, because cross terms in the double sum carry phase factors e−i(En−Em)t/ℏe^{-i(E_n - E_m)t/\hbar} that do not cancel. Physically, this is exactly the origin of oscillating dipole moments in a coherent superposition — the classical picture of a "rotating" or "breathing" charge distribution that emits or absorbs radiation, which underlies both spontaneous emission intuition and Rabi oscillations in laser spectroscopy.

Can two different wavefunctions give the same expectation value for every observable?

Only if they are physically identical states (differing at most by an overall phase factor eiθe^{i\theta}, which never affects any expectation value since it cancels between Ψ∗\Psi^* and Ψ\Psi). If two wavefunctions give the same ⟨A⟩\langle A \rangle for every possible observable A^\hat A, they must be the same quantum state, because the full set of expectation values over a complete operator algebra uniquely determines the density matrix (and hence the state). Agreement on just one or a few observables, however, certainly does not imply identical states — many different wavefunctions share the same ⟨x⟩\langle x \rangle while differing in ⟨x2⟩\langle x^2\rangle, energy, or angular momentum.

Why is Hermiticity required rather than just picking convenient operators?

If A^\hat A were not Hermitian, ⟨A⟩\langle A \rangle could come out complex, which has no sensible correspondence to a real experimental readout — a voltmeter, a spectrometer, a balance never displays an imaginary number. Hermiticity is therefore not a mathematical nicety layered on top of the physics; it is the precise condition that guarantees every observable's expectation value, and every one of its eigenvalues, is real, tying the abstract operator formalism tightly to the requirement that physical measurements yield real numbers. It is the same condition, established under Hermitian Operators, that also guarantees orthogonality of eigenstates belonging to different eigenvalues.

Before this

Where this leads