Skip to content

Hamiltonians in Coordinate Space

A Hamiltonian is the operator that generates time evolution. For an autonomous closed system it also represents a conserved total energy; an explicitly time-dependent Hamiltonian, a time-dependent gauge representation, or a non-Hermitian effective Hamiltonian requires that energy statement to be qualified. In coordinate-space wave mechanics, the Hamiltonian usually appears as a differential operator acting on wavefunctions. The practical task is to translate a physical setup into a Hilbert space, coordinates, kinetic-energy operator, potential-energy operator, and domain.

The shortest warning is:

Hamiltonian expression≠complete quantum problem.\text{Hamiltonian expression} \ne \text{complete quantum problem}.

The same differential expression can define different quantum systems when the coordinate domain or boundary conditions change.

Required background. Coordinate Representation supplies the operator representation. Time-Dependent Schrödinger Equation in Coordinate Space supplies the initial-value role of H^\hat H. Time-Independent Schrödinger Equation supplies its stationary spectral role.

Helpful background. Self-Adjoint Operators places the domain and boundary-form checks in their general operator-theoretic setting.

For a single nonrelativistic particle in one dimension, the classical energy often has the form

H(x,p)=p22m+V(x).H(x,p)=\frac{p^2}{2m}+V(x).

In the position representation,

x^ψ(x)=xψ(x),p^ψ(x)=−iℏdψdx.\hat x\psi(x)=x\psi(x), \qquad \hat p\psi(x)=-i\hbar\frac{d\psi}{dx}.

This gives the coordinate-space Hamiltonian

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

The time-dependent Schrödinger equation is then

iℏ∂ψ(x,t)∂t=[−ℏ22md2dx2+V(x,t)]ψ(x,t),i\hbar\frac{\partial\psi(x,t)}{\partial t} = \left[ -\frac{\hbar^2}{2m}\frac{d^2}{dx^2} +V(x,t) \right]\psi(x,t),

when the potential may depend on time. For time-independent V(x)V(x), the stationary equation is

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

This construction is not blind substitution. The displayed rule assumes a constant mass, Cartesian coordinates, and a local scalar potential with no ordering ambiguity. More general classical expressions can lead to operator-ordering, constraint, and measure questions that must be settled by the physical model rather than by the replacement p↦−iℏ∂xp\mapsto-i\hbar\partial_x alone.

On the full line with ordinary Cartesian coordinate xx, the kinetic-energy operator is

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

In three-dimensional Cartesian coordinates,

T^=−ℏ22m∇2.\hat T = -\frac{\hbar^2}{2m}\nabla^2.

The geometric Laplacian is coordinate invariant, but its coordinate expression and the integration measure change. For a metric gijg_{ij},

Δg=1g∂i(g gij∂j).\Delta_g = \frac{1}{\sqrt g} \partial_i\left(\sqrt g\,g^{ij}\partial_j\right).

In spherical coordinates this contains radial and angular terms, while the inner product uses r2sin⁡θ dr dθ dϕr^2\sin\theta\,dr\,d\theta\,d\phi. A mere coordinate change must be distinguished from physically constraining motion to a lower-dimensional surface, which changes the system itself.

When the kinetic term is restricted to a surface or a constrained coordinate, the Hamiltonian changes again. A rigid rotor, for example, has kinetic energy

H^=L^22I,\hat H = \frac{\hat L^2}{2I},

because the radial degree of freedom has been removed and only angular motion remains.

For an ordinary conservative scalar potential, VV is real and the potential-energy operator acts by multiplication:

(V^ψ)(x)=V(x)ψ(x).(\hat V\psi)(x)=V(x)\psi(x).

If VV is unbounded, this multiplication operator has its own domain: one requires VψV\psi to belong to the Hilbert space. A complex potential instead describes an effective source or sink and is not a self-adjoint closed-system Hamiltonian.

Typical one-dimensional examples include:

  • a square well, where V(x)V(x) is lower in a finite region;
  • a step, where V(x)V(x) changes between two asymptotic values;
  • a rectangular barrier, where V(x)V(x) is higher in a finite region;
  • a harmonic oscillator, where V(x)=mω2x2/2V(x)=m\omega^2x^2/2.

If V(x,t)V(x,t) depends explicitly on time, the Hamiltonian is time dependent. Then stationary-state expansions no longer solve the problem by simply attaching phases e−iEnt/ℏe^{-iE_nt/\hbar}; noncommuting Hamiltonians at different times require the general time-dependent evolution framework.

Piecewise potentials are solved region by region. For example, a rectangular barrier uses one expression for V(x)V(x) on the left, another inside the barrier, and another on the right. In each region, the stationary equation has simple local solutions, but the global wavefunction is fixed by matching conditions at the interfaces.

For a finite jump in V(x)V(x) with constant mass, the standard kinetic term, and no singular gauge term, both ψ\psi and ψ′\psi' are continuous. An infinite wall instead imposes a domain boundary, while a delta-function potential gives a controlled derivative jump. Position-dependent-mass Hamiltonians generally match the derivative combination that carries the physical current, not plain ψ′\psi'. These conditions are part of the Hamiltonian domain.

The compact workflow is:

regions⟶local solutions⟶matching conditions⟶spectrum or scattering data.\text{regions} \longrightarrow \text{local solutions} \longrightarrow \text{matching conditions} \longrightarrow \text{spectrum or scattering data}.

Use Boundary Conditions for the matching rules. Transfer matrices are a later application of the same domain and interface data.

Singular idealizations, such as

V(x)=λδ(x),V(x)=\lambda\delta(x),

cannot be treated as ordinary finite functions. The stationary equation

−ℏ22mψ′′(x)+λδ(x)ψ(x)=Eψ(x)-\frac{\hbar^2}{2m}\psi''(x) +\lambda\delta(x)\psi(x) =E\psi(x)

implies that ψ\psi is continuous while ψ′\psi' jumps:

ψ′(0+)−ψ′(0−)=2mλℏ2ψ(0).\psi'(0^+)-\psi'(0^-) = \frac{2m\lambda}{\hbar^2}\psi(0).

The jump condition is the physical content of this idealized singular interaction. It follows by integrating the equation distributionally across a shrinking interval. More singular interactions require a domain or self-adjoint-extension analysis rather than informal multiplication by a distribution.

For a particle in three-dimensional Cartesian coordinates with scalar potential V(r)V(\mathbf r),

H^=−ℏ22m∇2+V(r).\hat H = -\frac{\hbar^2}{2m}\nabla^2+V(\mathbf r).

If V(r)=V(r)V(\mathbf r)=V(r) is central, spherical coordinates separate angular and radial structure. For ψ(r)=Rℓ(r)Yℓm(θ,ϕ)\psi(\mathbf r)=R_\ell(r)Y_\ell^m(\theta,\phi), the radial kinetic operator contains r−2∂r(r2∂r)r^{-2}\partial_r(r^2\partial_r). For the reduced function uℓ(r)=rRℓ(r)u_\ell(r)=rR_\ell(r), the first-derivative structure is removed. In either form the separated equation contains the centrifugal term

ℏ2ℓ(ℓ+1)2mr2.\frac{\hbar^2\ell(\ell+1)}{2mr^2}.

This term is not an added physical potential; it comes from angular kinetic energy after separation of variables. The measure for RℓR_\ell is r2drr^2dr, whereas the measure for uℓu_\ell is drdr.

In separable Cartesian models, such as the three-dimensional box, the Hamiltonian may split into independent one-dimensional pieces:

H^=H^x+H^y+H^z.\hat H = \hat H_x+\hat H_y+\hat H_z.

Then product wavefunctions and additive energies follow from separation of variables, provided the boundary conditions also separate.

An effective Hamiltonian describes selected degrees of freedom after approximations, constraints, or reductions have been made. Common examples include:

  • replacing a two-body Coulomb problem by a one-body problem with reduced mass μ\mu;
  • using a rigid-rotor Hamiltonian after fixing the bond length of a diatomic molecule;
  • expanding a smooth potential near a stable equilibrium to obtain a harmonic oscillator;
  • using a two-level Hamiltonian after projecting onto a low-energy subspace;
  • using a Born–Oppenheimer potential-energy surface after separating slow nuclear and fast electronic motion.

Effective Hamiltonians are powerful, but their assumptions must be stated. A reduced Hamiltonian is not usually valid outside the scale range, symmetry sector, or subspace used to derive it.

For a particle of charge qq in prescribed electromagnetic potentials, the scalar-potential Hamiltonian is replaced by minimal coupling:

H^=12m(−iℏ∇−qA)2+qΦ.\hat H = \frac{1}{2m} \left( -i\hbar\nabla-q\mathbf A \right)^2 +q\Phi.

The canonical momentum −iℏ∇-i\hbar\nabla and kinetic momentum −iℏ∇−qA-i\hbar\nabla-q\mathbf A are different. Gauge choices can change the appearance of the wavefunction and the operator, while gauge-invariant observables remain unchanged.

Use Minimal Coupling in Wave Mechanics for the detailed construction and Landau Levels for the uniform-magnetic-field model.

The expression

−ℏ22md2dx2-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}

can describe several different systems:

SystemDomain And Boundary DataSpectrum Type
free particle on the lineL2(R)L^2(\mathbb R), for example D(H)=H2(R)D(H)=H^2(\mathbb R)continuous
infinite well0<x<L0<x<L, ψ(0)=ψ(L)=0\psi(0)=\psi(L)=0discrete
particle on a ringψ(L)=eiθψ(0)\psi(L)=e^{i\theta}\psi(0) and ψ′(L)=eiθψ′(0)\psi'(L)=e^{i\theta}\psi'(0)discrete momenta shifted by θ/L\theta/L
half-line problemL2(0,∞)L^2(0,\infty) with a real Robin condition such as ψ′(0)=γψ(0)\psi'(0)=\gamma\psi(0)boundary-condition dependent

The differential expression is the same in all four rows. The quantum problem is different because the Hilbert space and operator domain are different. Continuum normalization describes generalized spectral eigenfunctions; it is not an operator domain.

For the standard constant-mass expression on [a,b][a,b], integration by parts gives the boundary form

⟨ϕ,Hψ⟩−⟨Hϕ,ψ⟩=−ℏ22m[ϕ∗ψ′−ϕ′∗ψ]ab.\langle\phi,H\psi\rangle -\langle H\phi,\psi\rangle = -\frac{\hbar^2}{2m} \left[ \phi^*\psi'-\phi'^*\psi \right]_a^b.

Vanishing of this form on a proposed domain establishes symmetry. A self-adjoint Hamiltonian additionally requires the domain to equal the domain of its adjoint; zero endpoint flux alone does not prove that maximality.

This is the practical version of the symmetric-versus-self-adjoint warning. A formally symmetric differential expression may fail to generate valid unitary evolution until its domain has been specified. Self-Adjoint Operators develops the general criterion.

When building a coordinate-space Hamiltonian, record:

  1. the degrees of freedom and coordinates;
  2. the Hilbert space and inner product;
  3. the kinetic-energy operator in those coordinates;
  4. scalar potentials, constraints, and approximations;
  5. singular terms or matching rules, if present;
  6. electromagnetic potentials and gauge choice, if present;
  7. the coordinate domain and boundary conditions;
  8. the natural length, energy, or frequency scales;
  9. the intended use: bound-state spectrum, scattering, time evolution, or expectation values.

This checklist prevents a compact formula from hiding physical assumptions.

  • Treating −ℏ2d2/(2m dx2)+V(x)-\hbar^2d^2/(2m\,dx^2)+V(x) as a complete problem before specifying the domain.
  • Reusing infinite-wall boundary conditions for finite walls.
  • Expanding a minimally coupled Hamiltonian as if derivatives did not act on A\mathbf A.
  • Forgetting reduced mass in two-body Hamiltonians.
  • Calling an effective Hamiltonian exact after projecting out degrees of freedom.
  • Dropping the coordinate measure when changing variables.
  • Treating singular potentials as ordinary finite jumps.
  1. Explain why H^=−ℏ2d2/(2m dx2)\hat H=-\hbar^2d^2/(2m\,dx^2) does not uniquely define a quantum system.
Solution

The differential expression must be paired with a Hilbert space, coordinate domain, and boundary conditions. On the full line it describes a free particle with continuous spectrum. On 0<x<L0<x<L with ψ(0)=ψ(L)=0\psi(0)=\psi(L)=0, it describes an infinite square well with discrete spectrum. On a ring it uses periodic boundary conditions and gives quantized momenta. The local expression is the same, but the domains are different.

  1. A constant-mass Hamiltonian has the standard kinetic term and a finite scalar-potential jump at x=ax=a, with no singular gauge term. Which matching conditions apply?
Solution

Under the stated assumptions, both the wavefunction and its first derivative are continuous:

ψ(a−)=ψ(a+),ψ′(a−)=ψ′(a+).\psi(a^-)=\psi(a^+), \qquad \psi'(a^-)=\psi'(a^+).

Derivative discontinuities arise for singular potentials such as delta functions, not for ordinary finite jumps. Position-dependent-mass or other nonstandard kinetic operators require their own current-preserving interface rule.

  1. Derive the boundary form for H=−ℏ2d2/(2m dx2)+V(x)H=-\hbar^2d^2/(2m\,dx^2)+V(x) on [a,b][a,b] with real VV.
Solution

The potential terms cancel in ⟨ϕ,Hψ⟩−⟨Hϕ,ψ⟩\langle\phi,H\psi\rangle-\langle H\phi,\psi\rangle. Integrating the two kinetic terms by parts gives

⟨ϕ,Hψ⟩−⟨Hϕ,ψ⟩=−ℏ22m[ϕ∗ψ′−ϕ′∗ψ]ab.\langle\phi,H\psi\rangle-\langle H\phi,\psi\rangle = -\frac{\hbar^2}{2m} \left[\phi^*\psi'-\phi'^*\psi\right]_a^b.

Dirichlet endpoints, real Robin endpoints, and periodic or common-phase twisted matching all make this form vanish when imposed consistently on both test functions. Vanishing proves symmetry on that domain; self-adjointness still requires equality with the adjoint domain.

  1. In one dimension, expand (−iℏ∂x−qA(x))2ψ(-i\hbar\partial_x-qA(x))^2\psi without assuming that AA is constant.
Solution

Applying the first-order operator twice gives

(−iℏ∂x−qA)2ψ=−ℏ2ψ′′+iqℏA′ψ+2iqℏAψ′+q2A2ψ.\begin{aligned} (-i\hbar\partial_x-qA)^2\psi ={}&-\hbar^2\psi'' +iq\hbar A'\psi\\ &+2iq\hbar A\psi' +q^2A^2\psi. \end{aligned}

The A′ψA'\psi term is missed if one treats the derivative as though it did not act on the vector potential.

  1. Near a stable equilibrium x0x_0, let
V(x)≈V(x0)+12V′′(x0)(x−x0)2.V(x)\approx V(x_0)+\frac12V''(x_0)(x-x_0)^2.

Identify the effective oscillator frequency for a particle of mass mm.

Solution

Compare the quadratic term with mω2(x−x0)2/2m\omega^2(x-x_0)^2/2. Thus

mω2=V′′(x0),ω=V′′(x0)m.m\omega^2=V''(x_0), \qquad \omega=\sqrt{\frac{V''(x_0)}{m}}.

The constant V(x0)V(x_0) shifts all energies by the same amount and does not change the oscillator wavefunctions.

  • G. Bonneau, J. Faraut, and G. Valent, “Self-adjoint extensions of operators and the teaching of quantum mechanics,” American Journal of Physics 69, 322–331 (2001).
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
  • D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018.
  • E. Merzbacher, Quantum Mechanics, 3rd ed., Wiley, 1998.
  • M. Reed and B. Simon, Methods of Modern Mathematical Physics, Vol. II: Fourier Analysis, Self-Adjointness, Academic Press, 1975.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.