Operators and Observables

A chemist measures the ionization energy of a hydrogen atom and gets 13.6 eV. It is never 13.7, never a smear of values. It is always that one number or a small set of allowed numbers. Behind that sharp result sits one of the strangest and most productive ideas in physical science. Every measurable quantity in quantum mechanics is represented not by a number, but by a mathematical instruction. This instruction is called an operator, and it acts on the wavefunction. Position, momentum, kinetic energy, total energy: each has its own operator. Each is built by a fixed translation rule from its classical formula. The possible outcomes of measuring that quantity are the operator's eigenvalues. This matters because it is the hinge on which the rest of quantum chemistry turns. Once you accept that observables are operators, the Time-Independent Schrodinger Equation stops looking like an arbitrary recipe. It becomes an instance of a much more general pattern. That pattern is "operator acting on wavefunction equals eigenvalue times wavefunction." Discrete orbital energies, quantized angular momentum, the very existence of atomic shells — all of it follows from one question. That question is: which functions are eigenfunctions of which operators. This question will reappear under the heading Eigenvalue Equations and Quantization. The big picture is this: a wavefunction ψ\psi encodes everything knowable about a system. But you never read numbers off ψ\psi directly. You must first apply an operator A^\hat{A} corresponding to the property you care about. Then you interpret the result. It is either a definite eigenvalue, if ψ\psi happens to be an eigenfunction of A^\hat{A}. Or it is an average over a spread of possible outcomes, if not. The rules for constructing these operators from position and momentum are simple and mechanical. They are the same rules used to build the Hamiltonian in every problem. This holds true from the particle in a box to density functional theory. This article builds the operator postulate from the ground up. It covers how position and momentum operators are defined. It also shows how they combine to give kinetic and potential energy operators and the Hamiltonian. It explains why operators must be linear. For measurable quantities, it explains why they must also be Hermitian. It also shows how eigenvalue equations connect operators to the discrete spectra chemists actually observe. Along the way you will see the canonical commutation relation emerge. You will watch the momentum operator's odd factor of ii get justified. Finally, you will work three examples. These span free-particle momentum, the particle-in-a-box energy levels, and a subtler commutator calculation.

Key takeaways
  • Every measurable (observable) quantity in quantum mechanics corresponds to a linear operator acting on the wavefunction.
  • Position is multiplication by xx; momentum is p^x=−iℏ ∂/∂x\hat{p}_x = -i\hbar\,\partial/\partial x — a differentiation, not a multiplication.
  • The Hamiltonian operator H^=T^+V^\hat{H} = \hat{T} + \hat{V} is built from position and momentum operators using the classical energy expression, then symmetrized.
  • Operators must be linear (to respect superposition) and Hermitian (to guarantee real, measurable eigenvalues).
  • If ψ\psi is an eigenfunction of A^\hat{A}, measuring that observable always returns the same eigenvalue; otherwise, outcomes scatter and only the expectation value is predictable.
  • The failure of x^\hat{x} and p^x\hat{p}_x to commute, [x^,p^x]=iℏ[\hat{x},\hat{p}_x]=i\hbar, is the algebraic seed of the uncertainty principle.
  • Key idea: observables are operators, and the allowed measured values are the eigenvalues of those operators acting on the system's wavefunction.
The core insight

To every physically measurable property of a system, quantum mechanics assigns a specific linear operator; the number(s) you can actually measure are the eigenvalues of that operator, obtained by solving A^ψ=aψ\hat{A}\psi = a\psi.

Where this lives today

Every electronic structure calculation run on a computer — Hartree–Fock, density functional theory, coupled cluster — begins by writing down the molecular Hamiltonian operator as a sum of one-electron kinetic-energy operators, one-electron nuclear-attraction operators, and two-electron repulsion operators, each built by exactly the substitution rule described here. Quantum chemistry software packages diagonalize matrix representations of H^\hat H in a chosen basis; the resulting eigenvalues are the orbital and total electronic energies reported in a calculation, and the eigenvectors are the molecular orbital coefficients. NMR and EPR spectroscopy rely on constructing spin operators (S^x,S^y,S^z\hat S_x, \hat S_y, \hat S_z) with their own commutation relations analogous to [x^,p^x]=iℏ[\hat x,\hat p_x]=i\hbar, and the observed splitting patterns are eigenvalues of spin Hamiltonians built from these operators. Vibrational spectroscopy (IR and Raman) interprets absorption frequencies as energy gaps between eigenvalues of vibrational Hamiltonians constructed the same way as the harmonic-oscillator example above, now applied to real bond force constants extracted from measured spring stiffnesses. Scanning tunneling microscopy and photoelectron spectroscopy are direct experimental measurements of position-space electron density ∣ψ∣2|\psi|^2 and orbital energy eigenvalues respectively — both quantities defined only because the position and energy operators tell us precisely what "density" and "energy level" mean at the quantum level. Even reaction-rate theory (transition-state theory, RRKM theory) implicitly uses momentum and kinetic-energy operators to define what "crossing a barrier" means quantum mechanically, feeding into modern computational catalysis and drug-binding free-energy calculations.

:::quiz[The commutator [x^,p^x][\hat x,\hat p_x] equals]

  • 00
  • ℏ\hbar
  • iℏi\hbar ✓
  • −iℏ2-i\hbar^2

Ask the tutor: How do I construct the operator for angular momentum, and why does it end up not commuting with itself across different axes?

The physical picture

Classical mechanics describes a particle by a trajectory: at every instant it has a definite position x(t)x(t) and a definite momentum p(t)p(t), and any function of these, such as kinetic energy p2/2mp^2/2m, is simply evaluated by plugging in the numbers. Quantum mechanics abandons trajectories. The state of a system is a wavefunction ψ(x,t)\psi(x,t), and physical quantities are extracted from ψ\psi by a completely different mechanism: you act on ψ\psi with an operator. An operator is a rule that turns one function into another — "multiply by xx," "take the second derivative," "multiply by xx and then differentiate." The postulate at the center of this article states that for every classically measurable quantity ("observable") AA, quantum mechanics assigns a specific linear operator A^\hat{A}, constructed from the operators for position and momentum by the same algebraic formula that defines AA classically. Measuring AA on a system in state ψ\psi can only yield one of the eigenvalues of A^\hat{A} — the numbers aa for which A^ϕ=aϕ\hat{A}\phi = a\phi for some function ϕ\phi. If ψ\psi itself equals one of these eigenfunctions ϕ\phi, the measurement returns aa with certainty. If ψ\psi is instead a superposition of several eigenfunctions, the measurement returns one of their eigenvalues at random, with probabilities set by how much of each eigenfunction is mixed into ψ\psi, and only the average over many trials — the expectation value — is predictable in advance. The two operators from which everything else is built are position and momentum. The position operator is disarmingly simple: x^\hat{x} just means "multiply the wavefunction by xx." The momentum operator is the genuinely new ingredient of quantum theory:

p^x=−iℏ ∂∂x\hat{p}_x = -i\hbar\,\frac{\partial}{\partial x}

Momentum, classically a number, becomes an instruction to differentiate and multiply by −iℏ-i\hbar. This looks bizarre until you test it against the free-particle wavefunction ψ(x)=eikx\psi(x) = e^{ikx}, which describes a particle with classical momentum p=ℏkp = \hbar k (the de Broglie relation). Applying p^x\hat{p}_x:

p^xeikx=−iℏddxeikx=−iℏ(ik)eikx=ℏk eikx\hat{p}_x e^{ikx} = -i\hbar \frac{d}{dx}e^{ikx} = -i\hbar (ik) e^{ikx} = \hbar k\, e^{ikx}

The eigenvalue that pops out, ℏk\hbar k, is exactly the de Broglie momentum. The operator was not guessed; it was reverse-engineered so that plane waves — the wavefunctions of definite momentum — are its eigenfunctions with the correct eigenvalue. Once x^\hat{x} and p^x\hat{p}_x exist, every other one-particle observable is built from them using the same functional form as its classical definition. Kinetic energy T=px2/2mT = p_x^2/2m becomes

T^=p^x22m=−ℏ22md2dx2\hat{T} = \frac{\hat{p}_x^2}{2m} = -\frac{\hbar^2}{2m}\frac{d^2}{dx^2}

Potential energy V(x)V(x), already a function of position alone, becomes the multiplicative operator V^(x)\hat{V}(x) — multiply by whatever function of xx describes the potential (a Coulomb attraction, a harmonic spring, an infinite wall). Total energy, the Hamiltonian, is their sum:

H^=T^+V^=−ℏ22md2dx2+V(x)\hat{H} = \hat{T} + \hat{V} = -\frac{\hbar^2}{2m}\frac{d^2}{dx^2} + V(x)

This is precisely the operator appearing in the time-independent Schrödinger equation H^ψ=Eψ\hat{H}\psi = E\psi: that equation is nothing but the eigenvalue equation for the energy operator. Quantized energy levels — the discrete lines in an atomic spectrum, the shell structure of an atom, the vibrational ladder of a bond — are the eigenvalues of H^\hat{H}, and wavefunctions with sharp, definite energy are its eigenfunctions.

Figure
From classical formula to quantum operator: the translation rule
Building operators from classical observables classical quantity x , p_x , E substitute x̂ = x · p̂ₓ = −iℏ ∂/∂x assemble Ĥ = T̂ + V̂ eigen-eq. T = p_x²/2m T̂ = −ℏ²/2m · d²/dx² V(x) known function V̂ = multiply by V(x) Ĥψ = Eψ Schrödinger eq. = eigenvalue eq. for Ĥ

A crucial subtlety is order. Classically xpxxp_x and pxxp_xx are the same number, but x^p^x\hat{x}\hat{p}_x and p^xx^\hat{p}_x\hat{x} are different operators, because differentiation does not commute with multiplication by a variable. Acting on a test function f(x)f(x):

p^xx^f=−iℏddx(xf)=−iℏ(f+xdfdx)=−iℏf+x^p^xf\hat{p}_x\hat{x}f = -i\hbar\frac{d}{dx}\big(xf\big) = -i\hbar\Big(f + x\frac{df}{dx}\Big) = -i\hbar f + \hat{x}\hat{p}_x f

so that

[x^,p^x]≡x^p^x−p^xx^=iℏ[\hat{x},\hat{p}_x] \equiv \hat{x}\hat{p}_x - \hat{p}_x\hat{x} = i\hbar

This nonzero commutator is not a mathematical curiosity — it is the algebraic origin of the position–momentum uncertainty relation and the reason position and momentum cannot simultaneously have sharp values in the same state. Any classical formula involving a product like xpxxp_x must be handled with care; the standard prescription is to symmetrize, replacing xpxxp_x by 12(x^p^x+p^xx^)\tfrac12(\hat{x}\hat{p}_x+\hat{p}_x\hat{x}), which guarantees the resulting operator is Hermitian.

Figure
Operator as a "black box": eigenfunction versus superposition
What happens when  acts on ψ ψ = φₐ (eigenfunction)  a · φₐ sharp value a, every time ψ = c₁φ₁ + c₂φ₂ mixture of eigenstates  outcome a₁ or a₂, probabilities |c₁|², |c₂|² ⟨A⟩ = |c₁|²a₁ + |c₂|²a₂

The core ideas

1. The operator postulate. For every measurable quantity AA, there exists a linear operator A^\hat{A}, and measuring AA can only yield one of the eigenvalues of A^\hat{A}:

A^ϕn=anϕn\hat{A}\phi_n = a_n \phi_n

where: A^\hat{A} is the operator for observable AA; ϕn\phi_n are its eigenfunctions; ana_n are the corresponding eigenvalues, i.e. the only numbers a measurement can produce. Reading: this equation says the entire menu of possible outcomes of any measurement is fixed the instant you know the operator — you never need to appeal to experiment to know what values are even allowed, only which one shows up.

2. Canonical operators.

x^=x (⋅),p^x=−iℏ∂∂x\hat{x} = x\,(\cdot), \qquad \hat{p}_x = -i\hbar\frac{\partial}{\partial x}

where: x^\hat{x} acting on ψ\psi means ordinary multiplication; p^x\hat{p}_x means differentiate with respect to xx and multiply by −iℏ-i\hbar; ℏ=h/2π\hbar = h/2\pi is the reduced Planck constant. Reading: position keeps its classical, intuitive multiplicative character; momentum is promoted to a differential operator, and this asymmetry between x^\hat x and p^x\hat p_x is the seed of everything nonclassical that follows, including uncertainty and quantization.

3. Constructing composite operators. Any classical observable A(x,px)A(x,p_x) becomes an operator by direct substitution,

A^=A(x^,p^x)\hat{A} = A(\hat{x}, \hat{p}_x)

with symmetrization xpx→12(x^p^x+p^xx^)xp_x \to \tfrac12(\hat x\hat p_x + \hat p_x \hat x) wherever position and momentum are multiplied together in the classical expression. where: A(x^,p^x)A(\hat x,\hat p_x) means "take the classical formula and replace every xx by x^\hat x, every pxp_x by p^x\hat p_x"; symmetrization is required only when xx and pxp_x appear multiplied in the same term, since x^\hat x and p^x\hat p_x do not commute. Reading: this is the master recipe. It is how H^\hat H, L^z\hat L_z (angular momentum), and every other operator in chemistry gets built — always starting from the classical mechanics you already know.

4. The Hamiltonian and the energy eigenvalue equation.

H^ψ=(−ℏ22md2dx2+V(x))ψ=Eψ\hat{H}\psi = \left(-\frac{\hbar^2}{2m}\frac{d^2}{dx^2} + V(x)\right)\psi = E\psi

where: H^\hat H is the total-energy operator; EE is an allowed (eigenvalue) energy; ψ\psi is the corresponding stationary-state wavefunction. Reading: this is exactly the Time-Independent Schrodinger Equation — not a separate law, but the operator postulate applied specifically to the energy observable.

5. The canonical commutator.

[x^,p^x]=iℏ[\hat{x},\hat{p}_x] = i\hbar

where: [A^,B^]≡A^B^−B^A^[\hat A,\hat B] \equiv \hat A\hat B - \hat B\hat A is the commutator of two operators; a nonzero commutator signals that the two observables cannot both be given sharp, simultaneous values. Reading: whenever two operators fail to commute, no wavefunction can be a simultaneous eigenfunction of both (except in trivial special cases), and this single relation is the algebraic root of the Heisenberg uncertainty principle, foreshadowing the deeper structure of Hermitian Operators.

Derivation AConstructing the momentum operator from the free-particle wavefunction

Goal. Show why p^x=−iℏ d/dx\hat p_x = -i\hbar\, d/dx is the correct operator, by demanding consistency with the de Broglie wave ψ(x)=Aeikx\psi(x) = Ae^{ikx}, which represents a particle of definite momentum p=ℏkp = \hbar k.

Step 1 — State what "definite momentum" must mean operator-wise. If a wavefunction describes a particle with sharp momentum pp, then by the operator postulate it must be an eigenfunction of the (as-yet-unknown) momentum operator p^x\hat p_x with eigenvalue pp:

p^xψ=p ψ\hat{p}_x \psi = p\,\psi

We know from the de Broglie relation p=ℏkp = \hbar k that the wave ψ=Aeikx\psi = Ae^{ikx} should satisfy this with eigenvalue ℏk\hbar k.

Step 2 — Propose a differential operator and test it. Try p^x=c d/dx\hat p_x = c\,d/dx for some constant cc to be determined. Apply it:

p^xψ=cddx(Aeikx)=c(ik)Aeikx=(ick) ψ\hat{p}_x \psi = c\frac{d}{dx}\big(Ae^{ikx}\big) = c(ik)Ae^{ikx} = (ick)\,\psi

For this to equal ℏk ψ\hbar k\, \psi for every value of kk (i.e., for every momentum, not just one special case), we need

ick=ℏk⟹c=ℏi=−iℏick = \hbar k \quad\Longrightarrow\quad c = \frac{\hbar}{i} = -i\hbar

Step 3 — Fix the operator and note the sign convention. This forces

p^x=−iℏddx\hat{p}_x = -i\hbar\frac{d}{dx}

Had we instead chosen the wave convention ψ=Ae−ikx\psi = Ae^{-ikx} (equally valid physically, just opposite sign convention for wave direction), the same argument would still deliver p^x=−iℏ d/dx\hat p_x=-i\hbar\,d/dx as the universal operator — it is the operator that is fixed, not the sign of kk for any particular wave.

Step 4 — Verify self-consistency by checking x^\hat x trivially works the same way. Position eigenfunctions are Dirac delta functions δ(x−x0)\delta(x-x_0), and x^ δ(x−x0)=x0 δ(x−x0)\hat x\,\delta(x-x_0) = x_0\,\delta(x-x_0) holds automatically for the multiplicative operator, with no adjustable constant needed — confirming that x^\hat x requires no analogous derivation, only p^x\hat p_x does, because differentiation intrinsically needs a scale-fixing constant while multiplication does not.

Conclusion. The seemingly strange rule p^x=−iℏ d/dx\hat p_x=-i\hbar\,d/dx is not an axiom pulled from nowhere; it is uniquely fixed by requiring plane waves to be momentum eigenfunctions with the de Broglie eigenvalue ℏk\hbar k, for every kk simultaneously.

Go deeper · Derivation B · 1 minThe position–momentum commutator and what it forbids
Derivation BThe position–momentum commutator and what it forbids

Goal. Compute [x^,p^x][\hat x,\hat p_x] explicitly and show why a nonzero result means xx and pxp_x cannot be measured with simultaneous, arbitrary precision on the same state.

Step 1 — Apply both orderings to an arbitrary test function. Let f(x)f(x) be any well-behaved function (this device — acting on an arbitrary ff — is the standard way to compare operators, since two operators are equal only if they agree on every function). Compute x^p^xf\hat x\hat p_x f:

x^p^xf=x(−iℏdfdx)=−iℏ xf′\hat{x}\hat{p}_x f = x\left(-i\hbar\frac{df}{dx}\right) = -i\hbar\, x f'

Step 2 — Compute the opposite ordering, using the product rule. Now compute p^xx^f\hat p_x\hat x f, remembering x^f\hat x f means "multiply ff by xx" first:

p^xx^f=−iℏddx(xf)=−iℏ(f+xf′)=−iℏf−iℏ xf′\hat{p}_x\hat{x} f = -i\hbar\frac{d}{dx}\big(xf\big) = -i\hbar\Big(f + xf'\Big) = -i\hbar f - i\hbar\, xf'

Step 3 — Subtract to form the commutator. By definition [x^,p^x]f=x^p^xf−p^xx^f[\hat x,\hat p_x]f = \hat x\hat p_x f - \hat p_x\hat x f:

[x^,p^x]f=(−iℏ xf′)−(−iℏf−iℏ xf′)=iℏf[\hat{x},\hat{p}_x]f = \big(-i\hbar\, xf'\big) - \big(-i\hbar f - i\hbar\, xf'\big) = i\hbar f

The terms −iℏ xf′-i\hbar\,xf' cancel exactly, leaving only iℏfi\hbar f. Since this holds for an arbitrary ff, we conclude the operator identity

[x^,p^x]=iℏ[\hat{x},\hat{p}_x] = i\hbar

Step 4 — Interpret the nonzero result physically. A general theorem (a corollary of the Cauchy–Schwarz inequality applied to quantum states) states that for any two observables,

ΔA ΔB  ≥  12∣⟨[A^,B^]⟩∣\Delta A\,\Delta B \;\ge\; \frac{1}{2}\left|\langle[\hat A,\hat B]\rangle\right|

Substituting [x^,p^x]=iℏ[\hat x,\hat p_x]=i\hbar, whose expectation value in any state is simply iℏi\hbar (a constant, state-independent), gives

Δx Δpx≥ℏ2\Delta x\,\Delta p_x \ge \frac{\hbar}{2}

This is the Heisenberg uncertainty relation, and it is now visibly not a separate postulate — it is a direct algebraic consequence of the commutator computed in Steps 1–3.

Conclusion. Because [x^,p^x]≠0[\hat x,\hat p_x]\neq 0, no wavefunction can be a simultaneous eigenfunction of both x^\hat x and p^x\hat p_x (aside from pathological limiting cases), so a particle can never have both perfectly sharp position and perfectly sharp momentum. Contrast this with an operator such as H^\hat H for a free particle, which does commute with p^x\hat p_x (check: [H^,p^x]=0[\hat H,\hat p_x]=0 when VV is constant), meaning energy and momentum can be simultaneously sharp for a free particle — plane waves are eigenfunctions of both.

Worked examples

Example 1 (foundational): momentum eigenvalue of an asymmetric plane wave. Consider the one-dimensional wavefunction ψ(x)=A ei(2.70×1010 m−1)x\psi(x) = A\,e^{i(2.70\times10^{10}\,\text{m}^{-1})x}, describing a free particle with wavevector k=2.70×1010 m−1k = 2.70\times10^{10}\ \text{m}^{-1} (chosen off any round number deliberately). Find the momentum eigenvalue and the corresponding classical momentum and speed if this represents an electron. Apply the momentum operator directly:

p^xψ=−iℏddx[Aeikx]=−iℏ(ik)Aeikx=ℏk ψ\hat{p}_x \psi = -i\hbar\frac{d}{dx}\Big[A e^{ikx}\Big] = -i\hbar (ik) A e^{ikx} = \hbar k\,\psi

So ψ\psi is an eigenfunction of p^x\hat p_x with eigenvalue p=ℏkp = \hbar k. Numerically, with ℏ=1.0546×10−34 J ⋅ s\hbar = 1.0546\times10^{-34}\ \text{J}\,\cdot\,\text{s}:

p=ℏk=(1.0546×10−34 J ⋅ s)(2.70×1010 m−1)=2.847×10−24 kg ⋅ m/sp = \hbar k = (1.0546\times10^{-34}\ \text{J}\,\cdot\,\text{s})(2.70\times10^{10}\ \text{m}^{-1}) = 2.847\times10^{-24}\ \text{kg}\,\cdot\,\text{m/s}

For an electron (me=9.109×10−31 kgm_e = 9.109\times10^{-31}\ \text{kg}), the corresponding speed is

v=pme=2.847×10−249.109×10−31=3.125×106 m/sv = \frac{p}{m_e} = \frac{2.847\times10^{-24}}{9.109\times10^{-31}} = 3.125\times10^{6}\ \text{m/s}

about 1% of the speed of light — comfortably nonrelativistic, consistent with using the nonrelativistic kinetic-energy operator. The associated de Broglie wavelength is λ=2π/k=2.327×10−10 m\lambda = 2\pi/k = 2.327\times10^{-10}\ \text{m}, roughly 2.3 Å, a typical interatomic length scale — reassuring, since matter waves of atomic-scale wavelength are exactly where quantum mechanics becomes chemically relevant. Limiting case check: as k→0k\to 0 the wavefunction becomes spatially uniform (ψ→A\psi \to A, a constant) and p^xψ=0\hat p_x\psi = 0 — zero momentum, exactly as expected for a "wave" with infinite wavelength, i.e., no spatial oscillation at all.

Example 2 (applied): energy eigenvalues of an electron confined to a conjugated chain (particle in a box). Treat a linear polyene's π-electron system as a particle confined to a one-dimensional box of length L=8.40 A˚L = 8.40\ \text{Å} (an asymmetric, non-round choice representing an actual short conjugated chain), with V(x)=0V(x)=0 inside and V→∞V\to\infty at the walls. The Hamiltonian operator, per the postulate, is

H^=−ℏ22med2dx2\hat{H} = -\frac{\hbar^2}{2m_e}\frac{d^2}{dx^2}

Solving H^ψn=Enψn\hat H \psi_n = E_n \psi_n with boundary conditions ψn(0)=ψn(L)=0\psi_n(0)=\psi_n(L)=0 gives eigenfunctions ψn(x)=2/Lsin⁡(nπx/L)\psi_n(x) = \sqrt{2/L}\sin(n\pi x/L) and eigenvalues

En=n2h28meL2E_n = \frac{n^2 h^2}{8m_e L^2}

Compute the energy gap between the 4th and 5th levels (a HOMO→LUMO-type transition for a chain holding 8 π-electrons, filling n=1n=1–4):

E5−E4=h28meL2(52−42)=h28meL2(9)E_5 - E_4 = \frac{h^2}{8m_eL^2}\big(5^2-4^2\big) = \frac{h^2}{8m_eL^2}(9)

Numerically, with h=6.626×10−34 J ⋅ sh = 6.626\times10^{-34}\ \text{J}\,\cdot\,\text{s}, me=9.109×10−31 kgm_e = 9.109\times10^{-31}\ \text{kg}, L=8.40×10−10 mL = 8.40\times10^{-10}\ \text{m}:

h28meL2=(6.626×10−34)28(9.109×10−31)(8.40×10−10)2=8.51×10−20 J\frac{h^2}{8m_eL^2} = \frac{(6.626\times10^{-34})^2}{8(9.109\times10^{-31})(8.40\times10^{-10})^2} = 8.51\times10^{-20}\ \text{J}

So

E5−E4=9×(8.51×10−20 J)=7.66×10−19 J=4.78 eVE_5-E_4 = 9\times(8.51\times10^{-20}\ \text{J}) = 7.66\times10^{-19}\ \text{J} = 4.78\ \text{eV}

This corresponds to an absorption wavelength λ=hc/ΔE=(6.626×10−34)(3.00×108)/(7.66×10−19)=2.60×10−7 m=260 nm\lambda = hc/\Delta E = (6.626\times10^{-34})(3.00\times10^8)/(7.66\times10^{-19}) = 2.60\times10^{-7}\ \text{m} = 260\ \text{nm}, squarely in the UV region where conjugated polyenes actually absorb — the operator formalism, applied to a crude but honest model, reproduces the right order of magnitude and region of real spectroscopic behavior. Limiting case check: as L→∞L\to\infty (an unconfined, "free" electron), En→0E_n \to 0 for any fixed nn and the levels crowd together into a continuum — exactly the free-particle limit, where momentum (not a boxed quantum number) becomes the good quantum number and energy is no longer quantized.

Example 3 (exam/competition level): does a given trial function commute the kinetic and potential parts of H^\hat H, and what does that imply for simultaneous eigenfunctions? For a harmonic oscillator with V(x)=12kfx2V(x) = \tfrac12 k_f x^2 (kfk_f the force constant, not to be confused with wavevector), compute the commutator [T^,V^][\hat T,\hat V] and evaluate it acting on the specific (non-eigenfunction) trial function f(x)=x3f(x) = x^3, then discuss what a nonzero commutator means for whether T^\hat T and V^\hat V can share eigenfunctions.

Setting up. T^=−ℏ22md2dx2\hat T = -\dfrac{\hbar^2}{2m}\dfrac{d^2}{dx^2} and V^=12kfx2\hat V = \tfrac12 k_f x^2. Compute [T^,V^]f=T^(V^f)−V^(T^f)[\hat T,\hat V]f = \hat T(\hat V f) - \hat V(\hat T f) for f(x)=x3f(x)=x^3.

First term, T^(V^f)\hat T(\hat V f). First V^f=12kfx2⋅x3=12kfx5\hat V f = \tfrac12 k_f x^2\cdot x^3 = \tfrac12 k_f x^5. Then

T^(12kfx5)=−ℏ22m⋅12kfd2dx2(x5)=−ℏ2kf4m(20x3)=−5ℏ2kfmx3\hat{T}\Big(\tfrac12 k_f x^5\Big) = -\frac{\hbar^2}{2m}\cdot\frac12 k_f \frac{d^2}{dx^2}\big(x^5\big) = -\frac{\hbar^2 k_f}{4m}\big(20x^3\big) = -\frac{5\hbar^2 k_f}{m}x^3

Second term, V^(T^f)\hat V(\hat T f). First T^f=−ℏ22md2dx2(x3)=−ℏ22m(6x)=−3ℏ2mx\hat T f = -\dfrac{\hbar^2}{2m}\dfrac{d^2}{dx^2}(x^3) = -\dfrac{\hbar^2}{2m}(6x) = -\dfrac{3\hbar^2}{m}x. Then

V^(−3ℏ2mx)=12kfx2(−3ℏ2mx)=−3ℏ2kf2mx3\hat{V}\left(-\frac{3\hbar^2}{m}x\right) = \tfrac12 k_f x^2\left(-\frac{3\hbar^2}{m}x\right) = -\frac{3\hbar^2 k_f}{2m}x^3

Subtract.

[T^,V^]f=(−5ℏ2kfmx3)−(−3ℏ2kf2mx3)=−5ℏ2kfmx3+3ℏ2kf2mx3=−7ℏ2kf2mx3[\hat{T},\hat{V}]f = \left(-\frac{5\hbar^2 k_f}{m}x^3\right) - \left(-\frac{3\hbar^2 k_f}{2m}x^3\right) = -\frac{5\hbar^2k_f}{m}x^3 + \frac{3\hbar^2k_f}{2m}x^3 = -\frac{7\hbar^2 k_f}{2m}x^3

The result is nonzero (it is −72(ℏ2kf/m)-\tfrac{7}{2}(\hbar^2k_f/m) times the original function x3x^3, not the original eigenvalue equation being satisfied by ff itself — note f=x3f=x^3 was never claimed to be an eigenfunction of anything here, it's simply a test function used to evaluate the commutator operator).

Interpretation. Because [T^,V^]≠0[\hat T,\hat V]\neq 0 as an operator identity (confirmed by getting a nonzero result on this generic test function), T^\hat T and V^\hat V do not commute in general for the harmonic oscillator, so there is no reason to expect a common set of eigenfunctions for kinetic and potential energy separately. Only their sum, H^=T^+V^\hat H = \hat T+\hat V, has a well-defined discrete spectrum (the harmonic-oscillator energy ladder En=(n+12)ℏωE_n = (n+\tfrac12)\hbar\omega) — individually, a state of sharp kinetic energy is never simultaneously a state of sharp potential energy, which is precisely why chemists speak of total energy levels and never "kinetic energy levels" as separately quantized, observable rungs. Limiting case check: if kf→0k_f \to 0 (no restoring force, i.e. V^→0\hat V \to 0), then [T^,V^]→0[\hat T,\hat V]\to 0 trivially, and the operators commute vacuously — consistent with the free-particle case where H^=T^\hat H = \hat T and every eigenfunction of T^\hat T is automatically an eigenfunction of H^\hat H.

Limiting cases, scope & common traps

SituationWhat happens to the operator pictureWhy
Free particle, V=0V=0H^=T^\hat H = \hat T; plane waves are simultaneous eigenfunctions of H^\hat H and p^x\hat p_x[H^,p^x]=0[\hat H,\hat p_x]=0 when VV is constant
ℏ→0\hbar \to 0 (formal classical limit)Commutators vanish; x^,p^x\hat x,\hat p_x behave like ordinary numbers again[x^,p^x]=iℏ→0[\hat x,\hat p_x]=i\hbar \to 0
Bound state (V→∞V\to\infty at boundaries)Energy spectrum becomes discreteBoundary conditions restrict allowed eigenfunctions to a countable set
L→∞L\to\infty in particle-in-a-boxEn→0E_n\to0; spectrum becomes continuousConfinement is what forces quantization; removing it removes discreteness
Two operators that commute, [A^,B^]=0[\hat A,\hat B]=0Simultaneous eigenfunctions exist; both observables sharp at onceNo lower bound forced on ΔA ΔB\Delta A\,\Delta B
Two operators that don't commuteNo general simultaneous eigenfunctionsUncertainty relation ΔA ΔB≥12∣⟨[A^,B^]⟩∣\Delta A\,\Delta B \ge \tfrac12|\langle[\hat A,\hat B]\rangle|

The chemist behind it

Origins · 1 minWerner Heisenberg and how this was discovered
WH
Werner Heisenberg
1901–1976 · Göttingen and Copenhagen, 1925

Heisenberg's 1925 paper on matrix mechanics was the first place physical observables were represented not by ordinary numbers but by arrays that do not commute under multiplication — the direct ancestor of the operator formalism described here. Working with Max Born and Pascual Jordan, he showed that the noncommutativity of position and momentum, expressed then as a matrix relation and later recognized as equivalent to [x^,p^x]=iℏ[\hat x,\hat p_x]=i\hbar, was not a mathematical inconvenience but the mechanism generating quantized energy levels directly from algebra, without ever solving a differential equation. Schrödinger's wave mechanics, developed independently the same year, was shown by Schrödinger himself and later more cleanly by Dirac to be mathematically equivalent: the "operator acting on a wavefunction" picture used throughout chemistry is the Schrödinger-representation twin of Heisenberg's matrix picture. Heisenberg received the Nobel Prize in Physics in 1932 for the creation of quantum mechanics.

History
- 1925 — Heisenberg introduces matrix mechanics; observables become noncommuting arrays.
- 1926 — Schrödinger publishes wave mechanics; introduces H^ψ=Eψ\hat H\psi=E\psi as a differential eigenvalue equation.
- 1926 — Schrödinger and later Dirac establish the equivalence of matrix and wave mechanics.
- 1927 — Heisenberg derives the uncertainty relation from the noncommutativity of x^\hat x and p^x\hat p_x.
- 1930 — Dirac's Principles of Quantum Mechanics formalizes operators, eigenvalues, and observables as the axiomatic core of the theory.
Why does momentum need a factor of ii in its operator but position does not?

Position is represented in the same "representation" the wavefunction is written in — if ψ(x)\psi(x) already lives in position-space, multiplying by xx is a completely real, direct operation. Momentum, however, is related to position by a Fourier transform (de Broglie's relation links wavelength, not position, to momentum), and derivatives of a real oscillating function like cos⁡(kx)\cos(kx) or sin⁡(kx)\sin(kx) naturally produce factors of ii when you want the eigenfunction condition to work out for the complex exponential eikxe^{ikx}. The −iℏ-i\hbar prefactor is exactly what is needed to cancel the ii that appears when you differentiate eikxe^{ikx}, leaving a real, measurable eigenvalue ℏk\hbar k. Without the factor of ii, momentum eigenvalues would come out imaginary, which is physically unacceptable for a measurable quantity.

Is the Hamiltonian always just T^+V^\hat T + \hat V?

For a single, nonrelativistic particle with no external magnetic field, yes — that is the operator obtained by direct substitution into the classical energy expression. In more general settings, the Hamiltonian can include additional terms: spin–orbit coupling operators, magnetic-field coupling terms (which require modifying the momentum operator itself, p^→p^−qA\hat p \to \hat p - qA for a vector potential AA), or relativistic corrections in the Dirac equation. For the overwhelming majority of introductory quantum chemistry — atomic orbitals, molecular orbital theory, vibrational and rotational spectroscopy — H^=T^+V^\hat H=\hat T+\hat V built from the simple position and momentum operators is the correct and sufficient starting point.

What does it mean physically if two operators commute?

If [A^,B^]=0[\hat A,\hat B]=0, then it is possible to find a common set of eigenfunctions shared by both A^\hat A and B^\hat B, meaning a system can be prepared in a state where both observables have simultaneously sharp, well-defined values. Total energy and total angular momentum in a central-potential problem commute, for instance, which is why atomic states can be labeled simultaneously by both a definite energy and a definite angular momentum quantum number. When operators fail to commute, as with x^\hat x and p^x\hat p_x, no state (except in trivial limits) can assign sharp values to both simultaneously, and the product of their uncertainties is bounded below by the size of the commutator.

How do I know which operator to build for a quantity that isn't simply position, momentum, or energy?

Start from the classical mechanical expression for the quantity in terms of position and momentum coordinates, then substitute the operators x^→x\hat x\to x, p^x→−iℏ d/dx\hat p_x \to -i\hbar\,d/dx term by term, symmetrizing any product where xx and pxp_x appear multiplied together. This is exactly how angular momentum operators L^z=x^p^y−y^p^x\hat L_z = \hat x\hat p_y - \hat y\hat p_x are constructed, and how the dipole moment operator, spin operators, and multipole operators are all defined in more advanced treatments. The rule is completely general: classical formula in, canonical substitution, Hermitian operator out.

Does the wavefunction itself have to be an eigenfunction of every operator we care about?

No — and this is one of the most important practical points. A typical molecular wavefunction is an eigenfunction of the full Hamiltonian H^\hat H (that is what "solving the Schrödinger equation" means), but it is generally not an eigenfunction of x^\hat x, p^x\hat p_x, or even T^\hat T and V^\hat V separately. In those cases, quantum mechanics does not fail to predict anything — it predicts an expectation value, ⟨A⟩=∫ψ∗A^ψ dτ\langle A\rangle = \int \psi^*\hat A\psi\,d\tau, which is the average result over many identical measurements, together with a well-defined uncertainty ΔA\Delta A describing the spread. This distinction between sharp eigenvalues and averaged expectation values is exactly the subject that Expectation Values develops in full.

Why must operators representing observables be linear?

Linearity, A^(c1ψ1+c2ψ2)=c1A^ψ1+c2A^ψ2\hat A(c_1\psi_1+c_2\psi_2)=c_1\hat A\psi_1+c_2\hat A\psi_2, is required because physical states obey the superposition principle: if ψ1\psi_1 and ψ2\psi_2 are valid physical states, any linear combination must also be a valid physical state, and the operator's action on that combination must be consistent with its action on the individual pieces, weighted by the same coefficients. Position (multiplication) and differentiation are both manifestly linear operations, so every operator built from them by the substitution rule inherits linearity automatically. A nonlinear operator would break superposition and could not consistently represent a physical measurement.

Why do measurable quantities specifically require Hermitian operators?

A Hermitian operator is defined by ∫ϕ∗(A^ψ) dτ=∫(A^ϕ)∗ψ dτ\int \phi^*(\hat A\psi)\,d\tau = \int (\hat A\phi)^*\psi\,d\tau for all well-behaved ϕ,ψ\phi,\psi, and this property guarantees two things chemists rely on constantly: every eigenvalue is real (essential, since a measurement must return a real number, not something like 3+2i3+2i eV), and eigenfunctions belonging to different eigenvalues are automatically orthogonal, which underlies the whole basis-set expansion machinery of quantum chemistry. The full proof and consequences of this property are developed under Hermitian Operators, but the operator postulate itself already anticipates it: only Hermitian operators are eligible to represent genuine observables.

Before this

Where this leads