The Free Particle in Three Dimensions
The simplest potential in the chapter gets solved last for a reason. has no bound states, no wells, no spectra to hunt — and yet running the central-potential machinery on nothing produces the chapter's most widely used output: the free spherical waves , the standing-wave alphabet in which every scattering experiment, every nuclear reaction, and every partial-wave computation is ultimately written. The puzzle that makes "free particle, again" worth an article is basis freedom. The ONED chapters solved with plane waves — momentum eigenstates, complete, done. Here the same Hamiltonian is solved with eigenstates of instead: waves of definite angular momentum about a chosen origin. Same energies, same physics, radically different bookkeeping — and the second bookkeeping wins the moment the world contains a target, because a target sits at an origin and talks to one at a time. The radial equation at is solved here from scratch: the case falls out in one line (, with evicted by the origin's hard wall), the general case is the spherical Bessel equation, and the admissibility verdict — keep , evict — is exactly the doctrine of Boundary Conditions and Normalization of Radial Wavefunctions applied to a new family. Because the spectrum is continuous, normalization needs the Dirac-δ craft of the formalism chapter, and the key integral is verified numerically rather than asserted. The functions' own anatomy — closed forms, asymptotics, recurrences — belongs to the next serial; the dictionary between the two bases belongs to the expansion article that closes the chapter. This article owns the physics: what a free particle looks like when you insist on asking it about angular momentum.
- in the radial machinery: with — every allowed: a continuum, no quantization, because nothing confines the tail.
- by hand: survives the wall ; is evicted — and the evicted secretly solves the wrong equation: it carries a hidden source (verified by smeared integral).
- General : admissible, evicted at the origin — same verdict, new family (anatomy owned by Spherical Bessel and Neumann Functions).
- Continuum normalization: — verified numerically for (peak area matches to 0.1%).
- Two complete bases for one Hamiltonian: plane waves diagonalize , spherical waves diagonalize — a CSCO choice, not a physics difference.
- Every energy is infinitely degenerate (all , all ) — the continuum's version of shell degeneracy, and the reason a beam can be "decomposed into partial waves" at fixed .
- A thermal neutron ( at 293 K: 25.25 meV, Å — computed) meeting a 2 fm nucleus has : effectively only the wave touches the target.
- Key idea: free space, interrogated about angular momentum, answers in spherical Bessel functions — the standing-wave channels that scattering physics will phase-shift one ℓ at a time.
At the radial equation admits, for each energy and each , exactly one admissible solution — a standing spherical wave regular at the origin; the set is a complete, δ-normalized alternative to plane waves, sorted by angular momentum about the origin instead of by momentum direction.
Where this lives today
Neutron science runs on this article's arithmetic: moderators, reactor lattices, and neutron-scattering instruments all exploit the fact that ångström-wavelength neutrons are pure s-wave customers of femtometer nuclei — one scattering length per isotope, tabulated, is the entire interaction. Cold-atom collision physics lives in the same regime deliberately: microkelvin temperatures push so low that a single channel survives, making the two-body problem exactly summarizable and Feshbach control possible. And the spherical-wave basis is the working language of modern electronic-structure and nuclear-reaction codes alike — "partial-wave expansion of the continuum" is a checkbox in scattering software, and the δ-normalization conventions verified here are the ones those codes must agree on before their cross sections can be compared.
The physical picture
A plane wave is democracy among directions of travel: one , every point of space treated identically. A spherical wave of definite is democracy among directions from the origin: one energy, one angular character, and a radial profile that ripples in and out about a chosen center. The two descriptions carve the same free space along perpendicular seams.
Why bother with the second slicing? Because interactions have addresses. A nucleus, an atom, a scattering center sits somewhere, and a central interaction conserves angular momentum about that point — so it cannot mix different . In the spherical basis, a central scatterer becomes a diagonal matrix: each channel is processed independently. In the plane-wave basis the same scatterer is a dense tangle coupling every to every . Choosing the basis that diagonalizes the upcoming interaction is the oldest trick in quantum mechanics, and this article builds that basis. The second picture to hold: at fixed energy, the free particle is infinitely degenerate. A bound spectrum doles out degeneracy in finite shells; the continuum at energy contains every from zero to infinity, each with its orientations. That is what makes decompositions possible: a single plane wave of energy is a superposition purely within one energy's degenerate family — coefficients, not dynamics.
The radial problem at V = 0
Set in the effective one-dimensional form of Effective Potential and the Centrifugal Barrier (consumed, not re-derived), with :
where: the only landscape feature left is the centrifugal rent — repulsive, dying as — so for the far field always oscillates and every positive energy is allowed: no tails to kill, no quantization. (For there is nothing attractive to pay the binding bill: no bound states, in agreement with the far-field taxonomy of The Radial Equation, whose classification we cite rather than rerun.) The physics questions are therefore not "which energies?" but "which solutions survive the origin?" and "how do we normalize a continuum?"
We solve completely and elementarily, then expose the discarded solution's secret: it fails not by misbehaving at infinity but by solving the wrong equation at the origin. This one computation is the admissibility doctrine of Boundary Conditions and Normalization of Radial Wavefunctions in its cleanest instance, and it sets the pattern for all .
Step 1. At , equation (1) is : the general solution is . The half-line wall — the theorem owned by Boundary Conditions and Normalization of Radial Wavefunctions, used here with its owner named — forces . So , i.e. , which is finite at the origin () and ripples forever: the s-wave.
Step 2. Autopsy the evicted branch. behaves like near the origin — normalizable (the measure tames it), so normalization is not the executioner. The honest charge: compute smeared over a shrinking ball. The surface flux of plus the volume term totals as the ball shrinks (verified symbolically) — the function satisfies , not the free Schrödinger equation. It is the field of a point source at the origin — perfectly good mathematics (it will have a starring role as a Green function in the scattering chapter, one line) but not a free-particle state. The same smeared test on returns exactly zero: no hidden source. Why this repeats hydrogen's rung-2 logic: the -function eviction is the same argument The Radial Equation ran for — the solution inherits the singularity's crime, energy term and all. Admissibility is one doctrine applied family by family, not a new rule per potential.
Step 3. Pattern for general : the two-dimensional solution space of (1) always contains one member entering as (regular — the indicial root of The Radial Equation, cited) and one as (irregular). The regular member, normalized by convention, is ; the irregular one is . The verdict is wholesale: keep , evict — when the origin is part of the physical domain. (Outside a finite target, where is not in play, returns to service — the loophole the next two serials and the whole scattering chapter live in.) Verified: solves (1) with ; fails the wall; satisfy the -form equation; the smeared source integral gives for and for (article verifier, symbolic).
The admissible solutions assemble into the free spherical waves:
where: is the angular catalogue of Spherical Harmonics (its property list, not re-derived), and — closed forms, asymptotics , recurrences — is anatomized in the next serial, Spherical Bessel and Neumann Functions; this article uses only its existence, regularity, and far-field oscillation. Each is a standing wave: equal parts incoming and outgoing (the travelling-wave split is the article after next). The label set replaces the plane wave's : three continuous labels traded for one continuous and two discrete.
Go deeper · Derivation B · 1 minNormalizing a continuum: the delta-function identity for radial waves
Free spherical waves are not square-integrable — no continuum state is — so we normalize them the way Continuous Spectra and Dirac Delta Normalization taught: to a Dirac δ in the continuous label. We state, interpret, and numerically verify the key integral; its closed-form proof (via the completeness of the Fourier–Bessel transform) is mathematics we cite honestly rather than derive.
Step 1. The claim:
so the states are orthonormal in the δ-sense: (the angular deltas from the orthonormality of Spherical Harmonics).
Step 2. Interpret before verifying. The integrand oscillates forever; the integral does not converge classically — exactly as does not. The δ lives under a regulator: damp with , integrate, and watch a peak of vanishing width and fixed area form at as . The area is the physics.
Step 3. Verify numerically ( and , , ): the regularized integral, scanned over through the peak, has area matching to , and off-peak values four orders of magnitude below the peak (computed). The is worth reading: it is the measure's echo — radial waves dilute as , and the normalization must repay two powers.
Step 4. Completeness, stated with its owner: — the spherical resolution of the identity, the exact analogue of the plane-wave one built in Continuous Spectra and Dirac Delta Normalization, whose δ-toolbox licenses all of this. Practical corollary: any free wavefunction expands in the labels, which is the license the chapter's closing expansion article will exercise on itself. Verified: identity (3) numerically for — regulated peak area vs within relative, off-diagonal suppressed below of peak (article verifier).
One more free gift of the machinery: put the system in a huge impenetrable sphere of radius (a mathematical box, not physics) and the continuum discretizes: modes need , i.e. — a ladder so fine () that counting states below gives (verified: 31 modes below for ). This box-to-continuum bridge — count in the box, then let — is how densities of states are manufactured, a craft founded in Continuous Spectra and Dirac Delta Normalization and spent heavily in the golden-rule physics of the time-dependent chapter.
Limiting cases
| case | result | meaning |
|---|---|---|
| , finite at origin | the only wave with presence at the center — contact physics is s-wave | |
| suppression | centrifugal exclusion: low- waves of high never visit small | |
| far field forgets everything but a phase offset — the seat scattering will occupy | ||
| no admissible solution | free space binds nothing; both exponential branches fail one end each | |
| origin excluded (shell/exterior problem) | readmitted | eviction was about , not about the function |
| box | mesh continuum | δ-normalization = bookkeeping limit of box counting |
Worked examples
Example 1 — which channels touch a thermal neutron's target? A thermal neutron ( K) approaches a nucleus of radius fm. Census the participating .
Step 1. Thermal energy: meV (computed; the standard "thermal" convention). De Broglie wavelength Å (computed) — atomic-scale, five orders above the nuclear radius.
Step 2. Wavenumber , so (computed). The centrifugal reading: a wave of angular momentum has its probability pushed out to ; the target sits deep inside the exclusion zone for every .
Step 3. Quantify with the small-argument law (the next serial's , cited): the amplitude at the surface is down by , its probability by — and the standard penetration bookkeeping (stated in Effective Potential and the Centrifugal Barrier, owned by the scattering chapter) gives (computed). Answer: the s-wave alone interacts; thermal-neutron physics — moderation, capture, reactor design — is a strictly business, which is why a single number (the scattering length) summarizes it.
Example 2 — the box-to-continuum bridge, run honestly. How does δ-normalization connect to something countable?
Step 1. Enclose the s-wave problem in an impenetrable sphere of radius (any units): admissible solutions with . Count modes below : , so 31 modes (computed).
Step 2. The mode spacing shrinks as grows; sums over modes become . A box-normalized state has norm 1 with prefactor ; watch the bookkeeping: — precisely the normalization of the δ-convention, recovered as a limit rather than decreed.
Step 3. Moral: δ-normalization is not exotic — it is box counting with the box forgotten at the end. When a future calculation (a golden-rule rate, a density of states) seems to depend on the fictitious , this bridge is the audit that shows cancels. Answer: 31 modes below ; spacing ; the of the continuum convention is the box count's surviving fingerprint.
Origins · 1 minSpherical Wave and how this was discovered
The object this article quantizes has three centuries of prior service. Huygens' Traité de la Lumière (1690) made the expanding spherelet the atom of wave propagation — every disturbed point a new source of spherical ripples (how that principle becomes a propagator is the quantum-dynamics chapter's story, told in its Huygens portrait, not here). The mathematics stayed loose until Euler, computing the sound of bells and organ pipes in the 1750s, wrote the three-dimensional wave equation and found the miracle of odd dimensions: a spherical pulse in 3D has a clean wake — it passes and is gone, amplitude falling as — where a 2D ripple drags a tail forever (why concert halls are possible in our dimension, an honesty line mathematicians sharpened much later). Helmholtz's 1860 study of air vibrating in open-ended tubes distilled the time-independent form — the very equation of this article — and with it the monopole solutions and , the regular one and the source-carrying one whose fingerprint the derivation above exposed. Kirchhoff (1882) made Huygens' picture a theorem of that equation. Quantum mechanics inherited the whole kit unchanged: Schrödinger's free equation at fixed energy is the Helmholtz equation, and the standing waves assembled here are the nineteenth century's acoustics, renormalized to probability amplitude — waiting, as the scattering chapter will show, to have their phases shifted by whatever sits at the origin.
Going further
- Griffiths & Schroeter §4.1.3 — the free particle in spherical coordinates at the source register.
- Sakurai & Napolitano §6.4 — free spherical waves as the scaffold of scattering theory.
- Shankar Ch. 19 — the two-bases discussion and the road to partial waves.
- Abramowitz & Stegun Ch. 10 — the function-family reference behind the next serial.
Provenance note: All equations are standard and verifiable: the spherical Bessel equation and (Abramowitz & Stegun Ch. 10; Griffiths §4.1), Rayleigh expansion with (Sakurai §6.4, Shankar Ch. 19), asymptotic forms and , and delta-normalization . A verifier should: (1) confirm , satisfy the spherical Bessel equation; (2) re-derive the Frobenius indices ; (3) recompute the Rayleigh coefficient by leading-power matching; (4) verify the cross-section formula in any scattering text. — Item (1) is executed in this article's verify script (plus , the smeared-δ eviction audit, and the numeric δ-normalization); item (2) is The Radial Equation's verified property, cited; item (3) belongs, with the whole Rayleigh-expansion derivation, to Partial Wave Expansion of Plane Waves per chapter ownership (the base's coefficient derivation is RELOCATED there — executed in that article's verify script); item (4) is scattering-chapter physics (phase shifts, cross sections), deferred BY NAME to its owners and neither derived nor verified here. Edition note: the base's small-/large- asymptotics derivation is likewise relocated forward to Spherical Bessel and Neumann Functions, which owns the function family; this article uses the asymptotic statements with their owner named.
If both bases are complete, is anything physical gained by the spherical one?
Nothing physical — everything practical. A central interaction is diagonal in and dense in ; a crystal's periodic potential is the reverse. The eigenvalue problem doesn't care; your labor does. The deeper habit this article installs: read the symmetry of the interaction you are about to add, then choose the free basis that symmetry will leave diagonal.
How can a state have definite energy and definite angular momentum but completely indefinite momentum direction?
Because and the momentum components don't commute — . The spherical wave is an exact superposition of plane waves of the same pointing in all directions, weighted by (the closing article makes this precise). Sharp costs total ignorance of — a compatibility ledger, not a paradox.
Does the free particle really have no bound states — even at exactly E = 0?
None. At the radial solutions are growing/decaying exponentials and the decaying one fails the origin (or the growing one fails infinity) — no admissible combination. At exactly the solutions are powers and ; neither is normalizable against on the half-line. Threshold ("zero-energy") states become possible only when a potential is present to bend the balance — a fine point the scattering chapter's zero-energy-resonance article owns.
Why do we normalize in k rather than in energy?
Convention, with a conversion fee. Using instead of rescales states by — the one-dimensional density-of-states factor. Energy normalization flatters rate formulas (Fermi's golden rule arrives pre-packaged); -normalization flatters wave mechanics. Mixing conventions silently is a classic factor-of- factory; the box-bridge worked example is the audit that keeps them straight.
Is the ℓ-decomposition of a beam something you can measure, or just formalism?
Measurable, channel by channel. Resonances pick out single (a -wave resonance leaves its fingerprint as a angular pattern); Ramsauer-type transparencies happen when one channel's phase shift passes through zero while others are negligible; modern atom-collision experiments literally titrate "how much -wave" enters at a given temperature by watching threshold laws. The coefficients this chapter computes for the plane wave are the default beam composition every such measurement is compared against.
The wall u(0)=0 forced sin over cos — but j_0(0)=1 is not zero. Which is it?
Both, consistently: the wall condition is on , not on . For the s-wave, vanishes at the origin while stays finite — the particle has presence at the center even though . The distinction (probability density at a point versus radial probability in a shell) was drawn in Boundary Conditions and Normalization of Radial Wavefunctions and matters here identically: only s-waves have , the structural root of every contact-interaction statement in atomic physics.
What replaces all this if the particle is charged and feels a Coulomb tail?
A genuinely different function family. The Coulomb potential's tail never becomes negligible — it distorts phases logarithmically out to infinity — so the free are the wrong asymptotic alphabet; regular and irregular Coulomb wave functions replace them, with the same admissibility logic but modified far-field phases. That honesty line matters in nuclear and atomic scattering; the machinery belongs to the scattering chapter's treatment of charged-particle collisions.