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 encodes everything knowable about a system. But you never read numbers off directly. You must first apply an operator corresponding to the property you care about. Then you interpret the result. It is either a definite eigenvalue, if happens to be an eigenfunction of . 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 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.
- Every measurable (observable) quantity in quantum mechanics corresponds to a linear operator acting on the wavefunction.
- Position is multiplication by ; momentum is — a differentiation, not a multiplication.
- The Hamiltonian operator 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 is an eigenfunction of , measuring that observable always returns the same eigenvalue; otherwise, outcomes scatter and only the expectation value is predictable.
- The failure of and to commute, , 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.
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 .
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 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 () with their own commutation relations analogous to , 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 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 equals]
- ✓
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 and a definite momentum , and any function of these, such as kinetic energy , is simply evaluated by plugging in the numbers. Quantum mechanics abandons trajectories. The state of a system is a wavefunction , and physical quantities are extracted from by a completely different mechanism: you act on with an operator. An operator is a rule that turns one function into another — "multiply by ," "take the second derivative," "multiply by and then differentiate." The postulate at the center of this article states that for every classically measurable quantity ("observable") , quantum mechanics assigns a specific linear operator , constructed from the operators for position and momentum by the same algebraic formula that defines classically. Measuring on a system in state can only yield one of the eigenvalues of — the numbers for which for some function . If itself equals one of these eigenfunctions , the measurement returns with certainty. If 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 , 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: just means "multiply the wavefunction by ." The momentum operator is the genuinely new ingredient of quantum theory:
Momentum, classically a number, becomes an instruction to differentiate and multiply by . This looks bizarre until you test it against the free-particle wavefunction , which describes a particle with classical momentum (the de Broglie relation). Applying :
The eigenvalue that pops out, , 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 and exist, every other one-particle observable is built from them using the same functional form as its classical definition. Kinetic energy becomes
Potential energy , already a function of position alone, becomes the multiplicative operator — multiply by whatever function of describes the potential (a Coulomb attraction, a harmonic spring, an infinite wall). Total energy, the Hamiltonian, is their sum:
This is precisely the operator appearing in the time-independent Schrödinger equation : 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 , and wavefunctions with sharp, definite energy are its eigenfunctions.
A crucial subtlety is order. Classically and are the same number, but and are different operators, because differentiation does not commute with multiplication by a variable. Acting on a test function :
so that
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 must be handled with care; the standard prescription is to symmetrize, replacing by , which guarantees the resulting operator is Hermitian.
The core ideas
1. The operator postulate. For every measurable quantity , there exists a linear operator , and measuring can only yield one of the eigenvalues of :
where: is the operator for observable ; are its eigenfunctions; 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.
where: acting on means ordinary multiplication; means differentiate with respect to and multiply by ; is the reduced Planck constant. Reading: position keeps its classical, intuitive multiplicative character; momentum is promoted to a differential operator, and this asymmetry between and is the seed of everything nonclassical that follows, including uncertainty and quantization.
3. Constructing composite operators. Any classical observable becomes an operator by direct substitution,
with symmetrization wherever position and momentum are multiplied together in the classical expression. where: means "take the classical formula and replace every by , every by "; symmetrization is required only when and appear multiplied in the same term, since and do not commute. Reading: this is the master recipe. It is how , (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.
where: is the total-energy operator; is an allowed (eigenvalue) energy; 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.
where: 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.
Goal. Show why is the correct operator, by demanding consistency with the de Broglie wave , which represents a particle of definite momentum .
Step 1 — State what "definite momentum" must mean operator-wise. If a wavefunction describes a particle with sharp momentum , then by the operator postulate it must be an eigenfunction of the (as-yet-unknown) momentum operator with eigenvalue :
We know from the de Broglie relation that the wave should satisfy this with eigenvalue .
Step 2 — Propose a differential operator and test it. Try for some constant to be determined. Apply it:
For this to equal for every value of (i.e., for every momentum, not just one special case), we need
Step 3 — Fix the operator and note the sign convention. This forces
Had we instead chosen the wave convention (equally valid physically, just opposite sign convention for wave direction), the same argument would still deliver as the universal operator — it is the operator that is fixed, not the sign of for any particular wave.
Step 4 — Verify self-consistency by checking trivially works the same way. Position eigenfunctions are Dirac delta functions , and holds automatically for the multiplicative operator, with no adjustable constant needed — confirming that requires no analogous derivation, only does, because differentiation intrinsically needs a scale-fixing constant while multiplication does not.
Conclusion. The seemingly strange rule is not an axiom pulled from nowhere; it is uniquely fixed by requiring plane waves to be momentum eigenfunctions with the de Broglie eigenvalue , for every simultaneously.
Go deeper · Derivation B · 1 minThe position–momentum commutator and what it forbids
Goal. Compute explicitly and show why a nonzero result means and cannot be measured with simultaneous, arbitrary precision on the same state.
Step 1 — Apply both orderings to an arbitrary test function. Let be any well-behaved function (this device — acting on an arbitrary — is the standard way to compare operators, since two operators are equal only if they agree on every function). Compute :
Step 2 — Compute the opposite ordering, using the product rule. Now compute , remembering means "multiply by " first:
Step 3 — Subtract to form the commutator. By definition :
The terms cancel exactly, leaving only . Since this holds for an arbitrary , we conclude the operator identity
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,
Substituting , whose expectation value in any state is simply (a constant, state-independent), gives
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 , no wavefunction can be a simultaneous eigenfunction of both and (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 for a free particle, which does commute with (check: when 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 , describing a free particle with wavevector (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:
So is an eigenfunction of with eigenvalue . Numerically, with :
For an electron (), the corresponding speed is
about 1% of the speed of light — comfortably nonrelativistic, consistent with using the nonrelativistic kinetic-energy operator. The associated de Broglie wavelength is , 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 the wavefunction becomes spatially uniform (, a constant) and — 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 (an asymmetric, non-round choice representing an actual short conjugated chain), with inside and at the walls. The Hamiltonian operator, per the postulate, is
Solving with boundary conditions gives eigenfunctions and eigenvalues
Compute the energy gap between the 4th and 5th levels (a HOMO→LUMO-type transition for a chain holding 8 π-electrons, filling –4):
Numerically, with , , :
So
This corresponds to an absorption wavelength , 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 (an unconfined, "free" electron), for any fixed 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 , and what does that imply for simultaneous eigenfunctions? For a harmonic oscillator with ( the force constant, not to be confused with wavevector), compute the commutator and evaluate it acting on the specific (non-eigenfunction) trial function , then discuss what a nonzero commutator means for whether and can share eigenfunctions.
Setting up. and . Compute for .
First term, . First . Then
Second term, . First . Then
Subtract.
The result is nonzero (it is times the original function , not the original eigenvalue equation being satisfied by itself — note was never claimed to be an eigenfunction of anything here, it's simply a test function used to evaluate the commutator operator).
Interpretation. Because as an operator identity (confirmed by getting a nonzero result on this generic test function), and 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, , has a well-defined discrete spectrum (the harmonic-oscillator energy ladder ) — 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 (no restoring force, i.e. ), then trivially, and the operators commute vacuously — consistent with the free-particle case where and every eigenfunction of is automatically an eigenfunction of .
Limiting cases, scope & common traps
| Situation | What happens to the operator picture | Why |
|---|---|---|
| Free particle, | ; plane waves are simultaneous eigenfunctions of and | when is constant |
| (formal classical limit) | Commutators vanish; behave like ordinary numbers again | |
| Bound state ( at boundaries) | Energy spectrum becomes discrete | Boundary conditions restrict allowed eigenfunctions to a countable set |
| in particle-in-a-box | ; spectrum becomes continuous | Confinement is what forces quantization; removing it removes discreteness |
| Two operators that commute, | Simultaneous eigenfunctions exist; both observables sharp at once | No lower bound forced on |
| Two operators that don't commute | No general simultaneous eigenfunctions | Uncertainty relation |
The chemist behind it
Origins · 1 minWerner Heisenberg and how this was discovered
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 , 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.
Why does momentum need a factor of in its operator but position does not?
Position is represented in the same "representation" the wavefunction is written in — if already lives in position-space, multiplying by 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 or naturally produce factors of when you want the eigenfunction condition to work out for the complex exponential . The prefactor is exactly what is needed to cancel the that appears when you differentiate , leaving a real, measurable eigenvalue . Without the factor of , momentum eigenvalues would come out imaginary, which is physically unacceptable for a measurable quantity.
Is the Hamiltonian always just ?
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, for a vector potential ), or relativistic corrections in the Dirac equation. For the overwhelming majority of introductory quantum chemistry — atomic orbitals, molecular orbital theory, vibrational and rotational spectroscopy — 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 , then it is possible to find a common set of eigenfunctions shared by both and , 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 and , 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 , term by term, symmetrizing any product where and appear multiplied together. This is exactly how angular momentum operators 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 (that is what "solving the Schrödinger equation" means), but it is generally not an eigenfunction of , , or even and separately. In those cases, quantum mechanics does not fail to predict anything — it predicts an expectation value, , which is the average result over many identical measurements, together with a well-defined uncertainty 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, , is required because physical states obey the superposition principle: if and 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 for all well-behaved , 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 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.