Eikonal Approximation
At 1 GeV, a proton crossing a nucleus carries : its de Broglie wavelength fits thirty-four times into the target. Summing partial waves one at a time becomes bookkeeping without insight, while the Born approximation — which pretends the wave crosses unchanged — is off by half at these couplings. The regime wants a different picture entirely: optics. A fast particle barely bends; the potential's whole effect is to imprint a phase on each straight-line ray through it, and the scattered wave is the interference pattern of the phase-distorted wavefront. This article builds that machine and stress-tests it. We derive the transport equation that turns the Schrödinger equation into a phase integral along the beam, insert the result into the closed amplitude formula of Green's Function for Scattering, and obtain the eikonal amplitude — a Fourier–Bessel transform of the profile over the impact-parameter plane. We prove its two structural virtues with machine checks: the phase function is the phase-shift function ( at , tracking an exactly-solved Gaussian well to 1.7%), and the amplitude honors the optical theorem within the approximation to machine precision — something first-order Born structurally cannot do. The totally absorbing disk then yields its Fraunhofer lobes, , cashing the angular pattern this lane's Inelastic Scattering and Multichannel Theory deferred here. Two defects in the base export are repaired along the way, both machine-proven: a mixed phase convention that would double-count the phase (overshooting the Born limit by exactly 2), and a Coulomb coupling misprinted with an extra factor 2 — which would quietly quadruple Rutherford's cross section.
- Regime: and small angles — the particle follows a straight line at impact parameter while the potential imprints a phase.
- Writing and dropping gives a first-order transport equation; its solution is the eikonal phase accumulated along the ray.
- The amplitude is a Fourier–Bessel transform of the profile function: — all partial waves in one integral.
- The bridge at makes a continuum of phase shifts; verified against exact Numerov phase shifts to 1.7% median at .
- For the amplitude linearizes to the Born result exactly; for real it satisfies the optical theorem to machine precision — Born's forward amplitude is real and cannot.
- A black disk gives : Fraunhofer lobes, first zero at , and .
- Key idea: at high energy the trajectory stays straight and the potential only accumulates phase; the scattering amplitude is the two-dimensional Fourier transform of over the impact-parameter plane.
At high energy the particle barely bends: replace the trajectory by a straight line at impact parameter , let the potential accumulate the phase along it, and the amplitude becomes the Fourier transform of over the impact-parameter plane.
Where this lives today
Every heavy-ion collision at RHIC and the LHC is scored by this article's mathematics: "Glauber Monte Carlo" codes draw nucleon positions, assign each baryon a straight-line path, and convert nucleon–nucleon cross sections into participant counts and centrality classes — the eikonal premise, run millions of times per data set. Proton–nucleus total cross sections are still unfolded with eikonal profile functions, and the same formalism now computes graviton-exchange amplitudes in studies of Planckian scattering and post-Minkowskian orbital dynamics, where resumming the infinite tower of ladder diagrams is precisely the trick again. Optics returned the favor too: adaptive-optics wavefront correction is the inverse eikonal problem — measure the corrugated , then undo it.
The physical picture
Think of the incident wave as a bundle of parallel rays, one per impact parameter . A ray that passes far from the target feels nothing and emerges as it entered. A ray that pierces the potential travels the same straight line — at the deflection inside the target is negligible — but its phase clock runs at a different rate while : slower over a barrier, faster through a well, by exactly per element of path. The emerging wavefront is no longer flat; it carries a position-dependent phase , and a corrugated wavefront is a scattered wave. Everything downstream — the amplitude, the cross section, the diffraction lobes — is the far-field interference of this corrugation, computed exactly as a lens designer would.
The dictionary with partial waves is exact bookkeeping, not analogy. A ray at impact parameter carries angular momentum , so it is the partial wave ; at high energy thousands of contribute and the discrete ladder blurs into the continuous variable . The eikonal phase at that plays the role of twice the phase shift — the identification we verify numerically below. Where the WKB machinery of The WKB Approximation accumulates phase along a one-dimensional coordinate between turning points, the eikonal accumulates it along the undeflected beam direction: the same semiclassical idea, aimed forward.
The straight-line phase
The construction begins with an ansatz that separates the fast oscillation from the slow imprint. Write the scattering state as a plane wave times a modulation, , insert it into the time-independent Schrödinger equation at energy , and the terms cancel identically (verified symbolically), leaving
where: — the modulation, equal to 1 far upstream; — the potential in scattering units (dimension 1/length²). Nothing is approximate yet. The eikonal step is dropping against : the modulation varies over the potential's range , so while — the neglected term is smaller by . Reading (1) without its Laplacian gives a first-order equation that integrates along each straight line of fixed transverse position .
We derive the phase-imprint solution and price its two approximations honestly. The strategy: reduce (1) to a transport equation along the beam, solve it in closed form, and then audit which terms were dropped and what each costs — because the eikonal's reputation for working "beyond its guarantees" is only trustworthy if the guarantees are stated.
Step 1. Drop in (1), justified for :
Why the transverse Laplacian goes too: is the wave spreading sideways between entry and exit — diffraction inside the target — suppressed by the same as the longitudinal term.
Step 2. Integrate along the ray at fixed with . Since ,
verified symbolically as an exact solution of Step 1's equation. The physical reading: the local wavenumber inside the potential is , and the accumulated shift of the phase clock relative to free flight is — energy unchanged, timing edited.
Step 3. Let the ray exit. The total imprint is the eikonal phase function
one number per impact parameter: the article's central object. Attractive wells give (clock runs ahead), barriers .
Step 4. The validity budget. Two independent conditions emerged: (i) (dropped Laplacian); (ii) — needed so the local-wavenumber expansion in Step 2's reading holds and the ray stays straight. Neither condition restricts itself: can be large while both hold — the regime where the eikonal resums physics Born cannot see. Angles enter at the amplitude stage: the construction treats the momentum transfer as transverse, restricting outputs to -to- depending on the potential's smoothness. Verified: the substitution identity and the closed-form solution of the transport equation are checked symbolically (sympy) in verify_aq-qm-eikonal-approximation.py, sections 1a–1b.
From phase to amplitude
The exit wavefront must now be converted into a detector-side amplitude, and the honest route runs through the closed formula this chapter already owns. Green's Function for Scattering derived, exactly, — valid for the true . The Born approximation of Born Approximation inserts a plane wave for ; the eikonal inserts something better: the phase-imprinted wave of Derivation A.
Go deeper · Derivation B · 1 minThe eikonal amplitude as a Fourier–Bessel transform
We insert the eikonal wavefunction into the exact amplitude integral and reduce it to a one-dimensional transform. The key manoeuvre — trading the potential for a -derivative — is what makes the answer depend only on the total phase , and it is also where the phase convention is pinned; the derivation ends by fixing that convention against the Born limit, which is how the base export's inconsistency was caught.
Step 1. Start from the exact closed formula (owner: Green's Function for Scattering) with ; the plane-wave factors combine into with :
using the small-angle fact that is transverse to the beam (, so the phase depends on alone) — the far-field bookkeeping of Asymptotic Form of the Scattering Wave Function.
Step 2. Trade for a derivative using the transport equation: . The -integral collapses to endpoints:
Why this step is the whole method: the amplitude stops caring how the phase accumulated along the ray — only the net imprint survives. is the profile function: zero where nothing happened, maximal where the wave was fully rephased or absorbed.
Step 3. Assemble and do the azimuthal integral with :
Step 4. Pin the convention by the Born limit. For , , and for a Gaussian potential the resulting integral evaluates in closed form to exactly the Born amplitude — the sympy identity in the verify script. This locks the pair: the full-line phase belongs with . Halve the phase (Sakurai's ) and the profile must be ; both dialects are fine, mixing them is not — see the repair card below. Verified: Born-limit identity exact in sympy (section 2a); the azimuthal Bessel step and the profile bookkeeping are exercised numerically throughout sections 5–7.
The convention repair card — surfaced because the base export tripped on it. The exported tldr defined with the full-line integral and used the profile : linearizing that pair overshoots the Born amplitude by exactly a factor 2 (machine-proven, sympy). Its own equation (4), with a half-line integral, was internally consistent — the two statements simply belonged to different dialects. The same export's Yukawa derivation also misprinted the Coulomb coupling as ; the Rutherford modulus requires the Sommerfeld parameter , and the printed value would quadruple — also machine-proven against the exact Rutherford form. Both repairs are folded into the formulas above and flagged in the cheat sheet.
The bridge to partial waves — and a numerical stress test
Comparing the eikonal amplitude with the Legendre-sum amplitude of Partial-Wave Expansion term by term, using the large- asymptotic and replacing , the two expressions coincide exactly when
where: the factor 2 is the round-trip bookkeeping of the S-matrix element — the profile is read at continuous angular momentum. This is the statement that is not merely analogous to a phase shift; it is the phase-shift function, sampled where the classical ray sits. We tested equation (2) against an exact solve. For a Gaussian well with , (, ), the radial equation was integrated by Numerov's method for and the exact extracted from the asymptotic match; the eikonal prediction tracks them to 1.7% median deviation (: 0.653 exact vs 0.664 eikonal; : 0.1043 vs 0.1027). This is the regime where the well is not weak — rad — and the payoff shows in the cross section:
At rad the exact answer is 629.0 (script units); the eikonal gives 618.1 (−1.7%) while first Born gives 675.3 (+7.4%), degrading to 56% across the forward cone as the eikonal stays within 12%. Born's failure is structural, not numerical: it is first order in , while contains all powers — the resummation that Born Series and Higher-Order Corrections organizes term by term, obtained here in one closed profile.
Unitarity honesty: the optical theorem, kept
An approximation earns trust when it respects exact theorems uninvited. For real (no absorption), the identity turns the small-angle Parseval relation for the Fourier–Bessel transform into a chain of equalities:
where: the last member is precisely the statement of the Optical Theorem, whose derivation belongs to that article — here it emerges as an internal identity of the approximation, and the verify script confirms all three members agree to machine precision ( in the Gaussian-well lab, deviation ). Contrast Born: for a real potential the first-order amplitude is real, exactly, so the optical theorem fails at first order and is only rescued at second — one more face of the resummation. Because is a legitimate S-matrix element (, with equality for real ), the eikonal can also swallow absorption whole: give a positive imaginary part and reproduces the inelasticity bookkeeping of Inelastic Scattering and Multichannel Theory ray by ray. That connection pays immediately. Inelastic Scattering and Multichannel Theory computed the black disk's cross-section totals — — and deferred the angular shape here. Set for (total absorption) and 1 outside: the amplitude integral truncates and evaluates in closed form,
where: the Bessel identity is verified symbolically, and makes this Fraunhofer diffraction — the same lobes as light behind an opaque screen. As , , so : the factor-of-two total, recovered from the wave side. The first dark ring sits at ('s first zero), and the forward lobe's width is the shadow cone of the multichannel article, now with its exact profile.
Screened Coulomb and the Rutherford accident
For the Yukawa potential of Scattering by a Screened Coulomb Potential, the line integral is a textbook Bessel representation: (checked numerically to ), so
where: — the dimensionless Sommerfeld-type coupling (the repaired value; the base's extra factor 2 is the error proven in the verify script). In the Born limit the Hankel identity reproduces the screened-Coulomb Born amplitude exactly — consistency with the owner article held symbolically. As , and the phase diverges logarithmically at large : the pure Coulomb potential has no eikonal (or any other) scattering theory without screening, the same infinite-range honesty flagged across this chapter. The remarkable accident, quoted with its source (Sakurai §6.5; Newton Ch. 18): carrying the screened calculation through and then removing the screen reproduces the Rutherford modulus exactly — high-energy approximation notwithstanding — because for Coulomb, Born, eikonal, and the exact answer all share one modulus, differing only in phase. We verify the modulus identity symbolically; the phase statement belongs to the owner article.
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Weak imprint, | : exactly Born | The eikonal contains Born Approximation as its linearization (proven for Gaussian, sympy). |
| Strong absorber | for : | Fraunhofer lobes; recovered. |
| Real | equation (3) holds to machine precision | Optical theorem kept within the approximation; Born cannot (). |
| (Coulomb) | -type divergence | Infinite range breaks the phase integral; screening mandatory; Rutherford modulus emerges regardless. |
| Low energy | expansion invalid | Few partial waves each with large : use Phase Shifts machinery instead — the methods are complementary. |
Worked examples
Example 1 — a 1 GeV proton through a nuclear well: is the eikonal licensed, and is Born? A proton with kinetic energy GeV traverses a Gaussian optical well of depth 40 MeV and range fm.
Step 1. Kinematics (relativistic, honestly): MeV, so and .
Step 2. License check: ✓ and ✓ — both eikonal conditions hold comfortably.
Step 3. The imprint: . The phase is order one: first Born, which needs , is not licensed even though — the two smallness conditions are genuinely different, and this beam sits exactly in the eikonal's exclusive territory.
Example 2 — diffraction minima of 14 MeV neutrons on lead. Treat the Pb nucleus ( fm) as a black disk for 14 MeV neutrons.
Step 1. , so — marginal for the asymptotic machinery, which is worth stating rather than hiding; the lobe positions are nonetheless robust.
Step 2. First dark ring at : , and .
Step 3. Boundary check: measured 14 MeV neutron elastic distributions on heavy nuclei show their first deep minimum in the 30–40° window — the structure of equation (4), fuzzed by the nuclear surface. All numbers recomputed in the verify script.
Origins · 1 minEikonal Approximation and how this was discovered
The word came before the physics: in 1895 the mathematician Heinrich Bruns coined das Eikonal (from the Greek for "image") for the characteristic function of geometrical optics whose gradients carry rays through instruments. Quantum mechanics borrowed the idea piecemeal — semiclassical phases along paths — until high-energy physics forced the issue: multiple-scattering phases in Molière's 1947 treatment of fast charged particles, then the definitive rebuild in Roy Glauber's 1959 Boulder summer-school lectures, which turned straight-line phase accumulation into a systematic scattering theory, complete with the profile function, the impact-parameter transform, and the multiple-scattering expansion for composite targets. (Glauber's own biography belongs to the coherent-states article; the quantum-optics Nobel came for other work.) The Glauber model built on those lectures remains the standard translator between nucleon-level cross sections and nucleus-level collisions.
Going further
References. Sakurai & Napolitano, Modern Quantum Mechanics, §6.5 (Eikonal Approximation) · Glauber, in Lectures in Theoretical Physics, Vol. I (Boulder 1959) · Newton, Scattering Theory of Waves and Particles, Ch. 18 · Shankar, Principles of Quantum Mechanics, Ch. 19 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. II, Ch. VIII · Miller & Amsler (PDG reviews) for Glauber-model centrality practice.
Provenance. Equations derived from the high-energy reduction of the Schrödinger / Lippmann–Schwinger equation following Sakurai & Napolitano §6.5, Shankar Ch. 19, and Newton Ch. 18. A verifier should: (1) reproduce the transport equation by substituting and dropping ; (2) confirm the Yukawa eikonal phase via the integral (Gradshteyn–Ryzhik 3.387); (3) check the black-disk amplitude and ; (4) verify the partial-wave correspondence , . All special-function identities are standard; the Rutherford modulus and Coulomb phase follow the screened-Coulomb limit. No non-textbook numbers are quoted. — Base repairs (machine-proven, verify script sections 2–3): the export's tldr paired a full-line phase integral with the profile, overshooting its own Born limit by exactly 2 (its eq. (4) half-line definition was self-consistent; the dialects were mixed); and its Yukawa derivation printed the Coulomb coupling — the extra 2 quadruples Rutherford. Corrected throughout; trap lines in the cheat sheet.
Builds on: Scattering Amplitude · Born Approximation · Partial-Wave Expansion · Phase Shifts · Lippmann-Schwinger Equation. Leads to: Scattering by a Screened Coulomb Potential · Optical Theorem · Born Series and Higher-Order Corrections · The S-Matrix and Unitarity in Scattering.
Is the eikonal phase just WKB along the beam?
Close kin, not twins. WKB (The WKB Approximation) expands the phase of a one-dimensional wavefunction in a slowly varying potential and worries about turning points, where its expansion dies. The eikonal linearizes the local wavenumber along a fixed straight ray, , and never meets a turning point because by assumption. Same semiclassical seed — phase as an integral along a path — different geometry and different failure modes.
How can the eikonal be accurate when χ is large? Isn't a large phase a large perturbation?
A large phase is a large effect, not a large error. The approximation never expanded in χ — it expanded in and . The full is kept, which is why the method resums the entire Born series: our Gaussian-well lab has and the eikonal still tracks the exact answer to 2% at forward angles while first Born is off by 7% and growing.
Why does the amplitude only involve the total phase χ(b), not the details of how it accumulated?
Because of the total-derivative trick in the amplitude derivation: collapses the longitudinal integral to its endpoints, . Physically the detector sits at infinity and interrogates only the exit wavefront; two potentials with identical line integrals along every ray are indistinguishable at this order. That degeneracy is also a warning: forward-cone data alone cannot reconstruct , only its Abel transform.
What exactly breaks at large angles?
Two things, in order. First the kinematics: the derivation put the momentum transfer in the transverse plane ( dropped); once is no longer small the neglected longitudinal recoil matters. Second the geometry: a large-angle event is precisely one where the trajectory bent inside the target, contradicting the straight-line premise. The formula often degrades gracefully rather than catastrophically — but every large-angle digit it produces is unearned.
Can the eikonal handle absorption, or only real potentials?
Absorption is its natural habitat. Let have a negative imaginary part (the optical potential of the multichannel article): χ acquires a positive imaginary part and becomes an impact-parameter-resolved inelasticity. The black disk is the extreme case, and Glauber's multiple-scattering theory builds nuclear opacity exactly this way — nucleon cross sections stacked into .
Does the eikonal conserve probability exactly?
For real χ it satisfies the optical theorem identity (3) exactly — machine-verified — which is the S-matrix statement of probability conservation restricted to the small-angle sector it controls. It is not exact unitarity of the full three-dimensional problem: the profile is a unitary S-matrix per ray, and corrections of order (bent paths, in-target diffraction) live outside it. Born, by contrast, violates even the small-angle statement at first order.