Particle in a Spherical Well and Infinite Spherical Box
The chapter's function-building is over; this article spends the toolkit. Two confining problems — the infinite spherical box (hard wall at radius ) and the finite spherical well (depth , range ) — are solved end to end with the machinery of the last three serials: interior solutions from the regular family , exteriors from the evanescent Hankel tails, spectra from matching. The infinite box is the three-dimensional heir of the chapter-one particle-in-a-box, and its answer is pleasingly literal: energies are set by the zeros of the spherical Bessel functions, , so the level diagram is a table of root-found numbers (, , , , ) — producing the ordering and, doubled for spin, the filling ladder that nuclear physics reads magic numbers from. The finite well replaces the wall by a cliff: inside, still ; outside, the decaying handed over by the previous article; equality of logarithmic derivatives at quantizes the spectrum through a transcendental equation. For s-waves that equation is — exactly the odd-parity half of the 1D finite well, as the wall-at-the-origin doctrine promised it would be. Two verdicts carry the physics. First, the existence threshold: unlike one dimension, where any attraction binds, a 3D well binds nothing until — shallow-or-narrow wells are barren (numerically confirmed on both sides of the threshold). Second, the article's centerpiece: the deuteron worked end to end. Feeding the measured binding energy MeV into the matching at fm returns MeV — a well fifteen times deeper than its own bound state, only the threshold, holding exactly one state with of its probability outside the well. The nuclear force barely succeeds, and everything low-energy about nuclear physics inherits that near-failure.
- Infinite spherical box: with ⇒ ; = the root-found zeros ⇒ ordering .
- With spin, the box fills — magic 2, 8, 20 appear (compare the oscillator's ladder in The Three-Dimensional Isotropic Harmonic Oscillator: same first three, different beyond).
- Nuclear notation throughout: = second s-level, not hydrogen's (the dictionary card of the oscillator article, reused).
- Finite well, : interior , exterior ; matching ⇒ — the odd sector of the 1D finite well of width (the origin's hard wall made quantitative).
- Existence threshold (3D novelty): binding requires — verified numerically: 0 states at , 1 at ; higher ℓ pay more (the centrifugal rent).
- Deuteron solved: MeV, fm, MeV ⇒ MeV (root-found), , , exactly one s-state, exterior probability .
- Electron in a 1 nm hard sphere: eV, eV, eV (computed) — quantum-dot arithmetic.
- Key idea: interior , exterior evanescent Hankel, match at the edge — the whole spherical bound-state craft in one sentence, with 3D's distinctive lesson that binding must be earned above a threshold.
Spherical confinement quantizes through the spherical Bessel machinery: hard walls pin energies to the zeros of ; finite wells match interior to exterior via logarithmic derivatives, giving transcendental spectra, a binding threshold absent in 1D — and, applied to the deuteron, the depth of the nuclear force from one measured number.
Where this lives today
The threshold theorem runs today's ultracold-atom laboratories in reverse: experimenters tune interatomic wells through the binding threshold with magnetic fields (Feshbach control), watching a bound state be born at zero energy with a divergent tail — the row of this article's limiting table, realized on demand and used to make molecules from free atoms. Halo-nucleus physics at rare-isotope facilities is the deuteron's 63% pushed to extremes: one-neutron halos with approaching 90%, identified by exactly the matching analysis performed here. And every colloidal-quantum-dot display on the market is the worked example's law industrialized — size-sorted nanospheres emitting at zero-ladder-determined colors.
The physical picture
Start with the hard-walled sphere, because its physics is pure geometry: standing ripples of the regular family, cut off where the wall stands. Each channel has its own waking radius (the turnstile of Spherical Bessel and Neumann Functions), so at fixed box size the s-wave fits its first node earliest (), the p-wave later (), the d-wave later still () — and only then does the second s-level arrive (). The interlacing of zeros is the level diagram; nothing else enters.
Now soften the wall to a cliff of depth . Two things change, one cosmetic and one structural. Cosmetic: the wavefunction no longer stops at but leaks into the classically forbidden exterior with decay constant — the imaginary-argument Hankel tails delivered by Spherical Hankel Functions and Outgoing Waves. Structural: binding is no longer guaranteed. The 1D finite well binds at any depth (Finite Square Well's theorem); the 3D well does not, because the origin's hard wall — , the doctrine of Boundary Conditions and Normalization of Radial Wavefunctions — forces the wavefunction to bend over within the well's width before it may decay. Bending costs curvature, curvature costs kinetic energy, and a shallow well cannot pay. Three dimensions makes attraction audition for the role of "binder," and the threshold below is the audition's pass mark.
The infinite spherical box
Inside, : the radial solutions are the free ones of The Free Particle in Three Dimensions — regular family only, since the origin is in-domain. The wall imposes :
where: is the -th zero of — the ladder root-found in Spherical Bessel and Neumann Functions and now cashed as a spectrum (that article's relocated inheritance; this article owns the physics the zeros price). For the zeros are exactly , so — the 1D box spectrum verbatim, because is a 1D box wavefunction on the half-line. Each level holds particles with spin.
We assemble the box spectrum and extract its level ordering and shell capacities — the numbers behind the "poor man's nuclear shell model." Everything reduces to properties of the zero ladder, all root-found rather than quoted.
Step 1. Admissibility inside a domain containing the origin keeps only (the free-particle article's verdict, consumed). The wall condition then quantizes channel by channel: no matching, no transcendental subtlety — geometry.
Step 2. Order the levels. Zeros interlace (Sturm grammar, cited to the function article): (each root-found) — hence in nuclear notation ( = ordinal within the channel; the notation dictionary of The Three-Dimensional Isotropic Harmonic Oscillator, reused). Note below — but barely ( vs ): hard walls push high-ℓ down relative to the oscillator, which put them degenerate ( shell). The two caricatures bracket real nuclear wells.
Step 3. Fill with spin-½ fermions: capacities , cumulative (computed). Closures at 2, 8, 20 match the observed magic numbers; 18 and 34 are false closures the oscillator does not predict (its and merge into one shell of 12) — and nature sides with neither caricature beyond 20, where the spin-orbit force takes over the bookkeeping (one credit line; the shell-model story lives with the portraits of Effective Potential and the Centrifugal Barrier and the oscillator article). Why keep both caricatures: their disagreements localize the physics. Where box and oscillator agree (2, 8, 20), mean-field geometry alone explains nuclei; where they disagree (18/34 vs 20/40), the answer is sensitive to well shape and interactions — a bracketing technique worth more than either model alone. *Verified: all six root-found; ordering strict; capacities and cumulative sums; exact; electron-in-1nm energies below (article verifier).*
The finite well: matching and the threshold
For inside , zero outside, and a bound state at : interior wavenumber , exterior decay . Per channel, the admissible pieces are forced:
where: the interior keeps the regular family (origin in-domain), the exterior keeps the decaying continuation (the previous article's handover, cashed). Continuity of and at — equivalently of the logarithmic derivative , which cancels the free normalizations — is the entire quantization condition. This is precisely the matching craft of Wavefunction Matching Conditions, promoted to three dimensions with new alphabet.
Go deeper · Derivation B · 2 minThe s-wave transcendental, its 1D twin, and the existence threshold
We match the channel explicitly, recognize the result as an old friend, and derive three-dimensions' signature theorem: no binding below a computable depth. The strategy is logarithmic-derivative matching plus one limit () taken honestly.
Step 1. At : (the wall already enforced), . Log-derivatives at : inside, outside (both computed symbolically). The spectrum condition:
Step 2. The 1D twin. Equation (3) is identical to the quantization condition of the odd-parity states of a 1D finite well of width — as it must be: the half-line problem with a hard wall at the origin is the odd sector of the symmetric 1D problem (the doctrine of Effective Potential and the Centrifugal Barrier, now cashed as a working identity). Every graphical-solution technique from Finite Square Well imports unchanged; only the even 1D solutions — the ones with — are missing. And there hangs the physics: the 1D well's always-bound state is an even state. Discard the even sector and you discard the guarantee.
Step 3. The threshold. A bound state appears when (3) first admits a solution as (): then , i.e. with . Existence therefore requires
— the well must be deep and wide enough that a quarter wave fits inside with room to bend over. Numerically confirmed on both sides: at the matching equation has no root; at , exactly one (computed by root-counting sweeps). The -th s-state needs times the threshold; ℓ-channels pay extra rent on top (the centrifugal barrier raising the effective floor — Effective Potential and the Centrifugal Barrier's landscape, one line). Why 1D and 3D disagree about weak binding: in 1D an arbitrarily weak well binds because the wavefunction can spread symmetrically with almost no curvature penalty — the even state's flat top. In 3D the origin wall forbids the flat top; the state must rise from zero and turn over inside the well. The threshold (4) is the price of the turn. (Two dimensions, for the curious, is the marginal case — any attraction binds, but exponentially weakly — an honesty line beyond this article's domain.) *Verified: matching (3) symbolic; threshold value MeV for the deuteron's parameters; root counts at ; excited-state absence check below (article verifier).*
Limiting cases
| case | result | meaning |
|---|---|---|
| (3) forces : box spectrum recovered | the hard sphere as a limit, continuously | |
| one s-state at , tail | threshold birth: infinite halo first, binding second | |
| no bound state at all | 3D novelty — attraction below the pass mark binds nothing | |
| higher thresholds (centrifugal rent) | p-wave binding needs a visibly deeper well | |
| exterior dominates; physics set by alone | the shallow-bound universality the deuteron exemplifies | |
| spectrum condition | odd sector of 1D well, width | the origin wall as parity selection |
Worked examples
Example 1 — an electron in a hard nanosphere. A colloidal quantum dot is crudely a hard sphere of radius nm. Ladder the spectrum.
Step 1. Scale: eV (computed) — conveniently at the electron-volt scale that makes dots optically active.
Step 2. Ladder by zeros (all computed): eV; eV; eV exactly (the tower's law). Level spacings of a few tenths of an eV — visible-light differences: the crude hard sphere already explains why dot emission color tracks size, with as the tuning law.
Step 3. Honesty: real dots have finite barriers, effective masses, and Coulomb corrections — the hard sphere is the geometry-only skeleton. Answer: eV for — the zero ladder in electron-volts.
Example 2 — the deuteron, end to end (the portrait's calculation). Given MeV and force range fm, find the nuclear well.
Step 1. Inputs: MeV (reduced mass, computed); fm — the tail the previous article computed, now the matching's right-hand side.
Step 2. Solve (3) for (root-found): MeV, with interior wavenumber fm. Sanity: threshold MeV (computed), so — the nuclear force clears its audition by less than half. Shallowness index : the state sits just under the rim of a deep well.
Step 3. Consequences, all computed: exactly one s-state (the second would need MeV — root-count confirms none); exterior probability — most of the deuteron is outside the nuclear force, in the pure tail; and no excited deuteron exists, in agreement with experiment. Answer: MeV at fm; one barely-bound, mostly-outside state — the nuclear force's first quantum portrait, and a threshold pass at 1.45.
Origins · 1 minHans Bethe and how this was discovered
The deuteron computation above is, in its essentials, the 1935 paper "Quantum Theory of the Diplon" by Bethe and Rudolf Peierls — written, legend has it, substantially on a train ride, months after Chadwick's neutron made the proton-neutron nucleus thinkable and Urey's deuterium gave it a name. (Bethe's electromagnetic side — the multipole-radiation systematics of his famous reviews — is told in an E&M-track portrait; this card is the nuclear-force debut.) The pair's insight was strategic modesty: nobody knew the nuclear force's shape, but a barely-bound state doesn't care. Take a square well of plausible range, feed in the measured binding energy, and everything observable at low energy — the tail, the photodisintegration cross section they computed, the scattering length — follows from alone, because the state lives mostly outside the well, exactly the 63% this article computes. That "shape-independence" became the effective-range doctrine organizing all of low-energy nuclear physics. Bethe drove the program relentlessly through the 1930s — colleagues called the resulting trio of encyclopedic review articles by a nickname this card will not repeat, since their radiation chapters belong to the other track — and the habit of extracting model-independent physics from one measured number stayed his signature through stellar burning (Nobel 1967) and beyond. Peierls' own portrait duties lie elsewhere in this track; here he is the essential co-author on the calculation that taught physicists how to interrogate a force they could not see.
Going further
- Griffiths & Schroeter §4.1.3 — the infinite spherical well at the source register.
- Bethe & Peierls, Proc. R. Soc. A 148, 146 (1935) — the deuteron paper this article's example reruns.
- Sakurai & Napolitano Ch. 6 — the matching machinery in its scattering continuation.
- Krane, Introductory Nuclear Physics Ch. 4 — the deuteron and the well, at nuclear-physics register.
Provenance note: Equations are standard central-potential and spherical Bessel results; a verifier should confirm: (i) the radial-to-spherical-Bessel reduction (Griffiths §4.1.3, Sakurai §3.7); (ii) zeros at and first zero solving (Abramowitz & Stegun §10.1.1, Table 10.6); (iii) the infinite-box formula ; (iv) the finite-well condition and its binding threshold i.e. (Cohen-Tannoudji Complement A_VII, Shankar Ch.12.6). All numbers quoted (, , , ) are tabulated spherical Bessel zeros. — Item (i) is the reduction owned by Spherical Bessel and Neumann Functions (its verifier); items (ii)–(iv) are executed in this article's verify script (zeros root-found rather than read from tables — , , , , , ; the box formula evaluated for the 1 nm electron; the matching condition derived symbolically; the threshold bracketed numerically at ), plus the deuteron solve ( MeV at fm, MeV), the exterior-probability integral , and the no-excited-state check. Edition note: the infinite-well spectrum derivation formerly resident in the base of Spherical Bessel and Neumann Functions is owned HERE per the chapter map (relocation noted at both ends); scattering off the same well — phase shifts, resonances, the zero-energy story — belongs BY NAME to the scattering chapter (Phase Shifts, Low-Energy Scattering and the Scattering Length, Bound States and Zero-Energy Resonances), which inherits this article's matching setup at .
Why does the s-wave condition involve −cot rather than tan, like half the 1D solutions?
Because only the odd 1D sector survives. The symmetric 1D well's even states satisfy , odd states . The spherical s-wave's must vanish at the origin — that is oddness on the doubled line — so the branch never appears. If your spherical-well solution contains a , you have accidentally counted states that violate ; they are the ghosts of the missing even sector.
Does the threshold theorem contradict the delta-well, which binds despite being infinitely narrow?
No — the 1D delta well binds (its bound state is even, exploiting exactly the sector 3D lacks); a 3D delta-shell or contact interaction is genuinely different and does not bind below threshold strength. Take the well limit , with fixed: binding survives only if stays above — the threshold is scale-invariant under this limit, which is why "zero-range" nuclear models must carry an auxiliary parameter (the scattering length) rather than a bare delta strength.
How sensitive is the deuteron's 63%-outside figure to the model?
Weakly — that is the shape-independence point. The exterior fraction is controlled by (here ): any potential of similar range reproducing the same binding energy gives a comparable split, because the exterior form is model-independent and the interior merely has to join onto it smoothly. Realistic potentials (with repulsive cores and tensor forces) shift the number by some percent, not qualitatively. What is model-sensitive: itself, interior node structure, and anything probing physics — the warning box's caveat.
What happens to these bound states as I make the well shallower through the threshold?
The state's energy rises toward zero, its tail stretches without bound, and at threshold the "state" becomes a zero-energy solution flat at infinity — not normalizable, no longer a bound state, but not nothing either: it leaves a fingerprint as a divergent scattering length and a huge low-energy cross section (the zero-energy resonance of the scattering chapter, named). Just below threshold you have a "quantum halo": arbitrarily large, arbitrarily weakly bound, universal in properties. Feshbach-tuned atoms walk this path in the laboratory daily.
Why do the box's magic numbers fail after 20 when the calculation seems exact?
The calculation is exact — for the model. The model errs twice: real nuclear wells are neither hard-walled nor oscillator-shaped (their flat bottom and diffuse edge reorder high levels), and, decisively, the nuclear spin-orbit interaction is strong and inverted, splitting each ℓ-level by MeV-scale amounts that regroup the ladder entirely. Box and oscillator agree on 2, 8, 20 — geometry-robust closures — and both fail beyond, which is precisely the evidence that pointed Goeppert Mayer and Jensen to the missing spin-orbit ingredient.
Can I use these solutions for a particle confined by something soft, like a trap that isn't square?
As brackets and as bases. Brackets: box (stiffest) and oscillator (softest reasonable) spectra sandwich most smooth traps' low levels — compare both before any serious computation. Bases: the box eigenfunctions form a complete orthogonal set on the sphere's interior (Sturm-Liouville with weight — the orthogonality doctrine of Boundary Conditions and Normalization of Radial Wavefunctions), so soft-trap Hamiltonians are routinely diagonalized in exactly this basis. The zero ladder then reappears as grid points of a spectral method rather than as physical energies.