Eikonal Approximation

At 1 GeV, a proton crossing a nucleus carries ka≈34ka\approx34: its de Broglie wavelength fits thirty-four times into the target. Summing partial waves one δℓ\delta_\ell 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 eiχ(b)−1e^{i\chi(b)}-1 over the impact-parameter plane. We prove its two structural virtues with machine checks: the phase function χ(b)\chi(b) is the phase-shift function (χ=2δℓ\chi=2\delta_\ell at b=(ℓ+12)/kb=(\ell+\tfrac12)/k, 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, f∝J1(qR)/qf\propto J_1(qR)/q, 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.

Key takeaways
  • Regime: ka≫1ka\gg1 and small angles — the particle follows a straight line at impact parameter bb while the potential imprints a phase.
  • Writing ψ=eikzϕ\psi=e^{ikz}\phi and dropping ∂z2ϕ\partial_z^2\phi gives a first-order transport equation; its solution is the eikonal phase χ(b)=−1ℏv∫−∞∞V(b2+z2) dz\chi(b)=-\tfrac{1}{\hbar v}\int_{-\infty}^{\infty}V(\sqrt{b^2+z^2})\,\mathrm{d}z accumulated along the ray.
  • The amplitude is a Fourier–Bessel transform of the profile function: f(θ)=−ik∫0∞J0(qb) [eiχ(b)−1] b dbf(\theta)=-ik\int_0^\infty J_0(qb)\,[e^{i\chi(b)}-1]\,b\,\mathrm{d}b — all partial waves in one integral.
  • The bridge χ(b)=2δℓ\chi(b)=2\delta_\ell at b=(ℓ+12)/kb=(\ell+\tfrac12)/k makes χ\chi a continuum of phase shifts; verified against exact Numerov phase shifts to 1.7% median at ka=15ka=15.
  • For ∣χ∣≪1|\chi|\ll1 the amplitude linearizes to the Born result exactly; for real χ\chi it satisfies the optical theorem (4π/k) Imf(0)=2∫(1−cos⁡χ) d2b=σel(4\pi/k)\,\mathrm{Im}f(0)=2\int(1-\cos\chi)\,\mathrm{d}^2b=\sigma_{\mathrm{el}} to machine precision — Born's forward amplitude is real and cannot.
  • A black disk gives f=ikR J1(qR)/qf=ikR\,J_1(qR)/q: Fraunhofer lobes, first zero at qR=3.83qR=3.83, and σtot=2πR2\sigma_{\mathrm{tot}}=2\pi R^2.
  • 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 eiχ(b)−1e^{i\chi(b)}-1 over the impact-parameter plane.
The core insight

At high energy the particle barely bends: replace the trajectory by a straight line at impact parameter bb, let the potential accumulate the phase χ(b)\chi(b) along it, and the amplitude becomes the Fourier transform of eiχ(b)−1e^{i\chi(b)}-1 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 eiχ(b)e^{i\chi(b)} 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 eiχe^{i\chi} trick again. Optics returned the favor too: adaptive-optics wavefront correction is the inverse eikonal problem — measure the corrugated χ(b)\chi(b), then undo it.

The physical picture

Think of the incident wave as a bundle of parallel rays, one per impact parameter b\mathbf b. 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 ka≫1ka\gg1 the deflection inside the target is negligible — but its phase clock runs at a different rate while V≠0V\ne0: slower over a barrier, faster through a well, by exactly −V dt/ℏ=−V dz/ℏv-V\,\mathrm{d}t/\hbar = -V\,\mathrm{d}z/\hbar v per element of path. The emerging wavefront is no longer flat; it carries a position-dependent phase χ(b)\chi(b), 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.

Figure
A wavefront through a potential: straight rays, position-dependent phase clocks
Eikonal picture: each ray keeps its line, gains a phase χ(b) V(r) b large: χ = 0, ray untouched b = 0: longest path in V, largest χ phase fronts shifted by χ(b) Exit wavefront is corrugated: e^{iχ(b)}. Its 2D Fourier transform over the b-plane is the scattering amplitude.

The dictionary with partial waves is exact bookkeeping, not analogy. A ray at impact parameter bb carries angular momentum ℏkb\hbar kb, so it is the partial wave ℓ≈kb\ell\approx kb; at high energy thousands of ℓ\ell contribute and the discrete ladder blurs into the continuous variable bb. The eikonal phase at that bb 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, ψ(r)=eikzϕ(r)\psi(\mathbf r)=e^{ikz}\phi(\mathbf r), insert it into the time-independent Schrödinger equation at energy E=ℏ2k2/2mE=\hbar^2k^2/2m, and the k2k^2 terms cancel identically (verified symbolically), leaving

2ik ∂ϕ∂z+∇2ϕ  =  Uϕ,U≡2mℏ2V(1)2ik\,\frac{\partial\phi}{\partial z}+\nabla^2\phi \;=\; U\phi,\qquad U\equiv\frac{2m}{\hbar^2}V \qquad (1)

where: ϕ\phi — the modulation, equal to 1 far upstream; UU — the potential in scattering units (dimension 1/length²). Nothing is approximate yet. The eikonal step is dropping ∇2ϕ\nabla^2\phi against 2ik ∂zϕ2ik\,\partial_z\phi: the modulation varies over the potential's range aa, so ∣∇2ϕ∣∼ϕ/a2|\nabla^2\phi|\sim\phi/a^2 while ∣2k∂zϕ∣∼kϕ/a|2k\partial_z\phi|\sim k\phi/a — the neglected term is smaller by 1/ka1/ka. Reading (1) without its Laplacian gives a first-order equation that integrates along each straight line of fixed transverse position b\mathbf b.

Derivation AThe eikonal wavefunction and its validity budget

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 ∇2ϕ\nabla^2\phi in (1), justified for ka≫1ka\gg1:

∂ϕ∂z  =  −i2k U(b,z) ϕ.\frac{\partial\phi}{\partial z} \;=\; -\frac{i}{2k}\,U(\mathbf b,z)\,\phi.

Why the transverse Laplacian goes too: ∂b2ϕ\partial_b^2\phi is the wave spreading sideways between entry and exit — diffraction inside the target — suppressed by the same 1/ka1/ka as the longitudinal term.

Step 2. Integrate along the ray at fixed b\mathbf b with ϕ(−∞)=1\phi(-\infty)=1. Since ℏ2k/m=ℏv\hbar^2k/m=\hbar v,

ϕ(b,z)  =  exp⁡ ⁣[−iℏv∫−∞zV(b,z′) dz′],\phi(\mathbf b,z)\;=\;\exp\!\Bigl[-\frac{i}{\hbar v}\int_{-\infty}^{z}V(\mathbf b,z')\,\mathrm{d}z'\Bigr],

verified symbolically as an exact solution of Step 1's equation. The physical reading: the local wavenumber inside the potential is k(1−V/2E+… )k(1-V/2E+\dots), and the accumulated shift of the phase clock relative to free flight is − ⁣∫(V/ℏv) dz-\!\int(V/\hbar v)\,\mathrm dz — energy unchanged, timing edited.

Step 3. Let the ray exit. The total imprint is the eikonal phase function

χ(b)  =  −1ℏv∫−∞∞V ⁣(b2+z2 ) dz,\chi(b)\;=\;-\frac{1}{\hbar v}\int_{-\infty}^{\infty}V\!\bigl(\sqrt{b^2+z^2}\,\bigr)\,\mathrm{d}z,

one number per impact parameter: the article's central object. Attractive wells give χ>0\chi>0 (clock runs ahead), barriers χ<0\chi<0.

Step 4. The validity budget. Two independent conditions emerged: (i) ka≫1ka\gg1 (dropped Laplacian); (ii) ∣V∣≪E|V|\ll E — needed so the local-wavenumber expansion in Step 2's reading holds and the ray stays straight. Neither condition restricts χ\chi itself: χ∼(V/E) ka\chi\sim(V/E)\,ka 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 θ≲1/ka\theta\lesssim1/\sqrt{ka}-to-1/(ka)1/(ka) 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, f(k′,k)=−14π∫e−ik′⋅r′U(r′)ψ(r′) d3r′f(\mathbf k',\mathbf k)=-\frac{1}{4\pi}\int e^{-i\mathbf k'\cdot\mathbf r'}U(\mathbf r')\psi(\mathbf r')\,\mathrm d^3r' — valid for the true ψ\psi. The Born approximation of Born Approximation inserts a plane wave for ψ\psi; 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
Derivation BThe 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 zz-derivative — is what makes the answer depend only on the total phase χ(b)\chi(b), 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 ψ→eikzϕ\psi\to e^{ikz}\phi; the plane-wave factors combine into eiq⋅re^{i\mathbf q\cdot\mathbf r} with q=kz^−k′\mathbf q=k\hat{\mathbf z}-\mathbf k':

f  =  −14π∫eiq⋅r U(r) ϕ(r)  d3r  ≈  −14π∫eiq⋅b U(b,z) ϕ(b,z) d2b dz,f \;=\; -\frac{1}{4\pi}\int e^{i\mathbf q\cdot\mathbf r}\,U(\mathbf r)\,\phi(\mathbf r)\;\mathrm d^3r \;\approx\; -\frac{1}{4\pi}\int e^{i\mathbf q\cdot\mathbf b}\,U(\mathbf b,z)\,\phi(\mathbf b,z)\,\mathrm d^2b\,\mathrm dz,

using the small-angle fact that q\mathbf q is transverse to the beam (qz=q2/2k→0q_z=q^2/2k\to0, so the phase depends on b\mathbf b alone) — the far-field bookkeeping of Asymptotic Form of the Scattering Wave Function.

Step 2. Trade UϕU\phi for a derivative using the transport equation: Uϕ=2ik ∂zϕU\phi = 2ik\,\partial_z\phi. The zz-integral collapses to endpoints:

∫−∞∞∂zϕ  dz  =  ϕ(b,+∞)−1  =  eiχ(b)−1  ≡  − Γ(b),\int_{-\infty}^{\infty}\partial_z\phi\;\mathrm dz \;=\; \phi(\mathbf b,+\infty)-1 \;=\; e^{i\chi(b)}-1 \;\equiv\; -\,\Gamma(\mathbf b),

Why this step is the whole method: the amplitude stops caring how the phase accumulated along the ray — only the net imprint χ(b)\chi(b) survives. Γ(b)=1−eiχ\Gamma(b)=1-e^{i\chi} 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 ∫02πeiqbcos⁡φdφ=2πJ0(qb)\int_0^{2\pi}e^{iqb\cos\varphi}\mathrm d\varphi=2\pi J_0(qb):

f(θ)  =  ik2π∫eiq⋅b Γ(b) d2b  =  −ik∫0∞J0(qb) [eiχ(b)−1] b db,q=2ksin⁡θ2.f(\theta) \;=\; \frac{ik}{2\pi}\int e^{i\mathbf q\cdot\mathbf b}\,\Gamma(\mathbf b)\,\mathrm d^2b \;=\; -ik\int_0^\infty J_0(qb)\,\bigl[e^{i\chi(b)}-1\bigr]\,b\,\mathrm db, \qquad q=2k\sin\tfrac\theta2.

Step 4. Pin the convention by the Born limit. For ∣χ∣≪1|\chi|\ll1, eiχ−1→iχe^{i\chi}-1\to i\chi, and for a Gaussian potential the resulting integral evaluates in closed form to exactly the Born amplitude −m2πℏ2V~(q)-\frac{m}{2\pi\hbar^2}\tilde V(q) — the sympy identity in the verify script. This locks the pair: the full-line phase χ=−1ℏv∫−∞∞Vdz\chi=-\frac{1}{\hbar v}\int_{-\infty}^{\infty}V\mathrm dz belongs with eiχ−1e^{i\chi}-1. Halve the phase (Sakurai's Δ(b)=χ/2\Delta(b)=\chi/2) and the profile must be e2iΔ−1e^{2i\Delta}-1; 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 χ\chi with the full-line integral and used the profile e2iχ−1e^{2i\chi}-1: 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 n=2mZ1Z2e2/ℏ2kn=2mZ_1Z_2e^2/\hbar^2k; the Rutherford modulus ∣f∣=(n/2k)csc⁡2(θ/2)|f|=(n/2k)\csc^2(\theta/2) requires the Sommerfeld parameter n=mZ1Z2e2/ℏ2kn=mZ_1Z_2e^2/\hbar^2k, and the printed value would quadruple dσ/dΩ\mathrm d\sigma/\mathrm d\Omega — 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-ℓ\ell asymptotic Pℓ(cos⁡θ)≈J0((ℓ+12)θ)P_\ell(\cos\theta)\approx J_0\bigl((\ell+\tfrac12)\theta\bigr) and replacing ∑ℓ→k ⁣∫ ⁣db\sum_\ell\to k\!\int\!\mathrm db, the two expressions coincide exactly when

χ(b)  =  2 δℓ∣ℓ+12=kb(2)\chi(b)\;=\;2\,\delta_\ell\Big|_{\ell+\frac12=kb} \qquad (2)

where: the factor 2 is the round-trip bookkeeping of the S-matrix element e2iδℓe^{2i\delta_\ell} — the profile eiχe^{i\chi} is SℓS_\ell read at continuous angular momentum. This is the statement that χ(b)\chi(b) 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 U=−2.5 e−r2/a2U=-2.5\,e^{-r^2/a^2} with k=5k=5, a=3a=3 (ka=15ka=15, ℏ=2m=1\hbar=2m=1), the radial equation was integrated by Numerov's method for ℓ=0…45\ell=0\ldots45 and the exact δℓ\delta_\ell extracted from the asymptotic match; the eikonal prediction χ((ℓ+12)/k)/2\chi\bigl((\ell+\tfrac12)/k\bigr)/2 tracks them to 1.7% median deviation (δ0\delta_0: 0.653 exact vs 0.664 eikonal; ℓ=20\ell=20: 0.1043 vs 0.1027). This is the regime where the well is not weak — χ(0)=1.33\chi(0)=1.33 rad — and the payoff shows in the cross section:

Figure
One well, three amplitudes: the eikonal resums what Born cannot
dσ/dΩ for the Gaussian well, ka = 15, χ(0) = 1.33 rad (exact solve vs approximations) scattering angle θ (rad) dσ/dΩ (log) 0 0.25 0.5 exact: 629.0 at θ=0.05 eikonal: 618.1 (−1.7%) Born: 675.3 (+7.4%), drifting to 56% off across the cone eikonal stays within 12% over the whole forward cone (all three computed in the verify script) Thesis on the plot: at χ ~ 1 the eikonal's resummation of e^{iχ} beats Born's single power of V everywhere forward.

At θ=0.05\theta=0.05 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 VV, while eiχ−1e^{i\chi}-1 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 χ\chi (no absorption), the identity ∣eiχ−1∣2=2(1−cos⁡χ)|e^{i\chi}-1|^2=2(1-\cos\chi) turns the small-angle Parseval relation for the Fourier–Bessel transform into a chain of equalities:

σel  =  ∫∣Γ(b)∣2 d2b  =  2 ⁣∫ ⁣(1−cos⁡χ) d2b  =  4πk Im f(0)(3)\sigma_{\mathrm{el}} \;=\; \int|\Gamma(\mathbf b)|^2\,\mathrm d^2b \;=\; 2\!\int\!\bigl(1-\cos\chi\bigr)\,\mathrm d^2b \;=\; \frac{4\pi}{k}\,\mathrm{Im}\,f(0) \qquad (3)

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 (23.21350623.213506 in the Gaussian-well lab, deviation 10−1610^{-16}). Contrast Born: for a real potential the first-order amplitude is real, Im fBorn(0)=0\mathrm{Im}\,f_{\mathrm{Born}}(0)=0 exactly, so the optical theorem fails at first order and is only rescued at second — one more face of the resummation. Because eiχe^{i\chi} is a legitimate S-matrix element (∣eiχ∣≤1|e^{i\chi}|\le1, with equality for real χ\chi), the eikonal can also swallow absorption whole: give χ\chi a positive imaginary part and η(b)=∣eiχ∣<1\eta(b)=|e^{i\chi}|<1 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 — σel=σinel=πR2\sigma_{\mathrm{el}}=\sigma_{\mathrm{inel}}=\pi R^2 — and deferred the angular shape here. Set eiχ=0e^{i\chi}=0 for b<Rb<R (total absorption) and 1 outside: the amplitude integral truncates and evaluates in closed form,

f(θ)  =  −ik∫0RJ0(qb) (0−1) b db  =  ik Rq J1(qR)(4)f(\theta)\;=\;-ik\int_0^R J_0(qb)\,(0-1)\,b\,\mathrm db\;=\;ik\,\frac{R}{q}\,J_1(qR) \qquad (4)

where: the Bessel identity ∫0RJ0(qb) b db=(R/q)J1(qR)\int_0^R J_0(qb)\,b\,\mathrm db=(R/q)J_1(qR) is verified symbolically, and J1J_1 makes this Fraunhofer diffraction — the same lobes as light behind an opaque screen. As q→0q\to0, f(0)=ikR2/2f(0)=ikR^2/2, so (4π/k) Imf(0)=2πR2(4\pi/k)\,\mathrm{Im}f(0)=2\pi R^2: the factor-of-two total, recovered from the wave side. The first dark ring sits at qR=3.8317qR=3.8317 (J1J_1's first zero), and the forward lobe's width θ∼1/kR\theta\sim1/kR is the shadow cone of the multichannel article, now with its exact profile.

Figure
Black-disk Fraunhofer pattern from the eikonal integral
|f(θ)|² for total absorption at b under R: lobes of J₁(qR)/q qR first zero: qR = 3.8317 forward lobe: f(0) = ikR²/2 ⇒ σ_tot = 2πR² secondary lobes: the absorber's elastic echo, resolved in angle n + Pb at 14 MeV (R = 7.6 fm): first minimum predicted near 36° — measured neutron patterns show exactly this dip structure.

Screened Coulomb and the Rutherford accident

For the Yukawa potential V=(g/r)e−μrV=(g/r)e^{-\mu r} of Scattering by a Screened Coulomb Potential, the line integral is a textbook Bessel representation: ∫−∞∞e−μb2+z2/b2+z2  dz=2K0(μb)\int_{-\infty}^{\infty}e^{-\mu\sqrt{b^2+z^2}}/\sqrt{b^2+z^2}\;\mathrm dz=2K_0(\mu b) (checked numerically to 10−1210^{-12}), so

χYuk(b)  =  − 2n K0(μb),n=mgℏ2k=gℏv(5)\chi_{\mathrm{Yuk}}(b)\;=\;-\,2n\,K_0(\mu b),\qquad n=\frac{mg}{\hbar^2k}=\frac{g}{\hbar v} \qquad (5)

where: nn — 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 ∫0∞J0(qb)K0(μb) b db=1/(q2+μ2)\int_0^\infty J_0(qb)K_0(\mu b)\,b\,\mathrm db=1/(q^2+\mu^2) reproduces the screened-Coulomb Born amplitude exactly — consistency with the owner article held symbolically. As μ→0\mu\to0, K0(μb)→−ln⁡(μb/2)−γEK_0(\mu b)\to-\ln(\mu b/2)-\gamma_E and the phase diverges logarithmically at large bb: 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 ∣f∣=(n/2k)csc⁡2(θ/2)|f|=(n/2k)\csc^2(\theta/2) 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

CaseResultMeaning
Weak imprint, ∣χ∣≪1\lvert\chi\rvert\ll1eiχ−1→iχe^{i\chi}-1\to i\chi: exactly BornThe eikonal contains Born Approximation as its linearization (proven for Gaussian, sympy).
Strong absorbereiχ=0e^{i\chi}=0 for b<Rb<R: f=ikRJ1(qR)/qf=ikRJ_1(qR)/qFraunhofer lobes; σtot=2πR2\sigma_{\mathrm{tot}}=2\pi R^2 recovered.
Real χ\chiequation (3) holds to machine precisionOptical theorem kept within the approximation; Born cannot (ImfBorn(0)=0\mathrm{Im}f_{\mathrm{Born}}(0)=0).
μ→0\mu\to0 (Coulomb)χ→+2nln⁡(μb)\chi\to+2n\ln(\mu b)-type divergenceInfinite range breaks the phase integral; screening mandatory; Rutherford modulus emerges regardless.
Low energy ka≲1ka\lesssim1expansion invalidFew partial waves each with large δℓ\delta_\ell: 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 T=1T=1 GeV traverses a Gaussian optical well of depth 40 MeV and range a=4a=4 fm.

Step 1. Kinematics (relativistic, honestly): pc=T(T+2mpc2)=1000×2877=1696pc=\sqrt{T(T+2m_pc^2)}=\sqrt{1000\times2877}=1696 MeV, so k=pc/ℏc=1696/197.3=8.60 fm−1k=pc/\hbar c=1696/197.3=8.60\ \mathrm{fm^{-1}} and v=pc2/Etot=0.875cv=pc^2/E_{\mathrm{tot}}=0.875c.

Step 2. License check: ka=34.4≫1ka=34.4\gg1 ✓ and V0/T=0.04≪1V_0/T=0.04\ll1 ✓ — both eikonal conditions hold comfortably.

Step 3. The imprint: ∣χ(0)∣=V0πaℏv=40×1.772×40.875×197.3=1.64 rad|\chi(0)|=\frac{V_0\sqrt\pi a}{\hbar v}=\frac{40\times1.772\times4}{0.875\times197.3}=\mathbf{1.64\ rad}. The phase is order one: first Born, which needs ∣χ∣≪1|\chi|\ll1, is not licensed even though V≪EV\ll E — 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 (R≈7.6R\approx7.6 fm) as a black disk for 14 MeV neutrons.

Step 1. k=2mnE/ℏ=0.822 fm−1k=\sqrt{2m_nE}/\hbar=0.822\ \mathrm{fm^{-1}}, so kR=6.2kR=6.2 — marginal for the asymptotic machinery, which is worth stating rather than hiding; the lobe positions are nonetheless robust.

Step 2. First dark ring at qR=3.8317qR=3.8317: q=0.504 fm−1q=0.504\ \mathrm{fm^{-1}}, and θ=2arcsin⁡(q/2k)=36∘\theta=2\arcsin(q/2k)=\mathbf{36^\circ}.

Step 3. Boundary check: measured 14 MeV neutron elastic distributions on heavy nuclei show their first deep minimum in the 30–40° window — the J1J_1 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
EA
Eikonal Approximation
1895–1959 · Leipzig, Boulder

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.

History
1895
— Bruns names the eikonal: the characteristic function of geometric optics
1912
— Sommerfeld's radiation condition fixes the outgoing-wave boundary language the amplitude formula relies on
1947
— Molière computes multiple-scattering of fast charged particles via accumulated phases
1959
— Glauber's Boulder lectures systematize high-energy collision theory in the impact-parameter representation
1970
— Glauber–Matthiae analysis of proton–nucleus data: the model becomes nuclear physics' workhorse

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 ψ=eikzϕ\psi=e^{ikz}\phi and dropping ∂z2ϕ\partial_z^2\phi; (2) confirm the Yukawa eikonal phase via the K0K_0 integral (Gradshteyn–Ryzhik 3.387); (3) check the black-disk amplitude f=ikR J1(qR)/qf=ikR\,J_1(qR)/q and σtot=2πR2\sigma_{\mathrm{tot}}=2\pi R^2; (4) verify the partial-wave correspondence b=(ℓ+12)/kb=(\ell+\tfrac12)/k, δℓ→χ(b)\delta_\ell\to\chi(b). 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 e2iχe^{2i\chi} 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 n=2mZ1Z2e2/ℏ2kn=2mZ_1Z_2e^2/\hbar^2k — 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, k(1−V/2E)k(1-V/2E), and never meets a turning point because V≪EV\ll E 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 1/ka1/ka and V/EV/E. The full eiχe^{i\chi} is kept, which is why the method resums the entire Born series: our Gaussian-well lab has χ0=1.33\chi_0=1.33 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: Uϕ=2ik ∂zϕU\phi=2ik\,\partial_z\phi collapses the longitudinal integral to its endpoints, ϕ(+∞)−1\phi(+\infty)-1. 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 V(r)V(r), 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 (qz≈q2/2kq_z\approx q^2/2k dropped); once θ\theta 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 VV have a negative imaginary part (the optical potential of the multichannel article): χ acquires a positive imaginary part and ∣eiχ∣=η(b)<1|e^{i\chi}|=\eta(b)<1 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 Im χ(b)\mathrm{Im}\,\chi(b).

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 eiχ(b)e^{i\chi(b)} is a unitary S-matrix per ray, and corrections of order 1/ka1/ka (bent paths, in-target diffraction) live outside it. Born, by contrast, violates even the small-angle statement at first order.

Before this

Where this leads