Asymptotic Form of the Scattering Wave Function
Every article in this chapter leans on one piece of furniture: far from the target, the scattering state looks like . Scattering Amplitude defines its central object on top of that form; Lippmann-Schwinger Equation builds it into the boundary condition; every measured cross section is read through it. This article is where the furniture is actually built — and where its small print is measured rather than mumbled. Four results are proved here. First, the asymptotic ansatz theorem: outside the potential's range the Schrödinger equation becomes the free Helmholtz equation, whose radial solutions are — and the is not an approximation but the only falloff that conserves probability flux (amplitude gives flux ; verified symbolically). Second, the outgoing-selection theorem: the radial current of points inward, so demanding that the target emit rather than absorb picks — Sommerfeld's radiation condition, tied to the causal taxonomy of Retarded and Advanced Green Functions. Third, the range ladder: how fast must die, with the honest Coulomb failure — a logarithmically distorted phase — stated with its source. Fourth, the owned laboratory: the far-zone onset theorem. For a source of size the form switches on at , the Fraunhofer distance — derived from the dropped quadratic phase, then measured on a two-emitter toy: error falling exactly as , the knee at for , and thermal-neutron experiments sitting nine orders of magnitude inside asymptopia.
- Far from a short-range potential every stationary scattering state at takes the universal form .
- The is forced, not chosen: an amplitude falling as carries flux through spheres, and only conserves probability (machine-verified).
- Outgoing means outgoing: while carries the same current inward — the boundary condition that selects the physical state; the prescription in disguise (Retarded and Advanced Green Functions).
- Validity needs . Bare Coulomb fails logarithmically — the phase becomes (stated with source; screened rescue → Scattering by a Screened Coulomb Potential).
- Owned and measured: the far zone begins at the Fraunhofer distance — error , slope measured, knee at for .
- The detector direction is the final momentum: — pointing a counter is choosing .
- Key idea: far from a short-range scatterer the energy eigenstate becomes — the outgoing wave is fixed by three-dimensional flux conservation, and everything a detector can measure rides on its angular amplitude.
Far from a short-range scatterer the energy eigenstate becomes ; the outgoing spherical wave is fixed by 3D flux conservation, the outgoing choice is fixed by the direction of its probability current, and the form switches on beyond the Fraunhofer distance .
Where this lives today
Every scattering facility is an applied far-field theorem. Neutron and X-ray instruments quote momentum transfer per detector pixel on the strength of , with sample-to-detector distances chosen so even mesoscopic samples stay safely Fraunhofer. Antenna engineering runs the same arithmetic in reverse: the "far-field range" stamped on every anechoic-chamber test plan is this article's in optics conventions. The near zone became its own instrument: electron ptychography and coherent diffractive imaging deliberately record inside the Fresnel regime — the quadratic phase this article drops is their signal, inverted computationally to reconstruct targets at sub-ångström resolution.
The physical picture
Zoom out from any scattering event and three nested regions appear. Innermost, the interaction zone (): , the wave function complicated, target-specific, invisible to a distant experimenter. Next, the near zone: the potential is already zero but the outgoing ripple still remembers the target's shape — waves from different parts arrive with different phases, and no single "amplitude times " describes them. Finally, past the Fraunhofer distance , the far zone: internal path differences have collapsed below a radian, the target has shrunk to a point with a directional voice, and the universal form takes over. The experimental miracle is how early "infinity" arrives. A thermal neutron ( Å) on an atom ( Å) has m — a third of a nanometre, against a detector at cm: nine powers of ten inside asymptopia. But the scale is physical, not rhetorical: shine nm light on a millimetre object and m — the far field hasn't started by the end of the bench, which is why laser labs need lenses to reach the Fraunhofer regime. Inside the far zone the geometry does one more favour: the wave crossing a detector at direction is locally a plane wave of momentum — the detector's position reads out the final momentum, . Counting at an angle is a momentum measurement.
Free space starts early: the Helmholtz reduction
The construction rests on one observation: the wave function only needs to be simple where the detector is, and the detector sits where . There, the time-independent Schrödinger equation at becomes
where: is the beam wavenumber — the free Helmholtz equation. Outside the target, every scattering state at the same energy obeys the same equation, whatever the potential did inside; targets differ only through the boundary data they hand outward, which is why one universal form serves every short-range potential in the chapter. (Separating (1) in spherical coordinates is the Spherical Coordinates and the Helmholtz Equation story in this article's prerequisites; The Free Particle in Three Dimensions owns the free spherical solutions.) For the radial factor, substitute : the radial Helmholtz operator collapses to (verified symbolically), whose solutions are . Dividing back:
where: marches outward and is its inward mirror. Both solve (1) exactly for (machine-checked). At they fail usefully: the operator acting on produces — not this article's business but the entire business of Green's Function for Scattering.
The asymptotic ansatz, derived
We are deriving the universal far-field form: that any stationary scattering state approaches , with the power forced by probability conservation rather than assumed. The strategy has three moves: split the state into "what was sent in" plus "what the target added"; show the added piece must ride with some angular modulation; then let the flux integral kill every radial power except . The step to watch is the last one — most treatments assert the ; here it is the unique survivor of a one-line calculation.
Step 1. Split the state. Write : the solution with the target removed, plus a remainder. Both and solve (1) in the exterior, so does too — and unlike the beam it must consist, far out, of waves leaving the target (sharpened in the next derivation). Why the plane wave is consistent furniture. contains both incoming and outgoing spherical components — the Rayleigh split is Partial Wave Expansion of Plane Waves' theorem, recalled in one line: the beam's own outgoing half is part of "no scattering," so measures only the excess the target adds.
Step 2. Outgoing waves with an angular voice. The most general exterior outgoing solution has, at large , the leading form
for some falloff power : the radial phase must be (energy fixes ; outgoing fixes the sign), while the prefactor may depend on direction — the target radiates differently into different angles.
Step 3. Flux conservation selects p = 1. Compute the radial probability current of that trial wave and integrate over a sphere of radius . With amplitude ,
Why this is the executioner. Probability streaming outward through every sphere must be the same — nothing accumulates in empty space in a stationary state. forces , exactly: faster falloff would mean probability vanishing en route, slower would mean empty space manufacturing it. (Machine-verified symbolically.)
Step 4. Assemble.
The remaining coefficient — one complex length per direction — is the scattering amplitude, and its story (dimensions, , the interference audit) is Scattering Amplitude's, built directly on this theorem. Verified: for ; flux through spheres independent of at and otherwise; reduction exact — 18-check suite green.
Outgoing means outgoing: the selection theorem
Equation (2) offered two exact exterior waves, and , and nothing in the time-independent equation prefers one: complex-conjugating a solution gives a solution at the same energy. The choice is physics, not mathematics — and it is worth one short derivation, because it is the same choice that reappears as in every Green function of the chapter.
Go deeper · Derivation B · 1 minThe outgoing-selection theorem and the radiation condition
We are proving that the boundary condition "the target emits" translates into keeping and discarding — by computing where each wave's probability current actually points. The route is a two-line current calculation; the payoff is the license to call (3) the scattering state rather than a solution. Watch the sign: it is the entire content of the theorem.
Step 1. Current of the outgoing candidate. For , the radial component of evaluates to
positive everywhere: probability streams away from the origin, of it per second through every sphere. (The -prefactor differentiation contributes only a real term, killed by — the current is exactly this, no corrections.)
Step 2. Current of the incoming candidate. The same computation for flips one sign:
Why this settles it. A wave converging on the target forever is legitimate mathematics — the time reverse of scattering — but an experiment prepares a beam and then finds waves leaving; causality lives in the boundary condition. Demanding for the scattered piece selects : Sommerfeld's radiation condition (1912), stated precisely to make exterior problems unique.
Step 3. The chapter-wide echo. Outgoing-at-infinity is retarded-in-time: Retarded and Advanced Green Functions' table pairs () with "outgoing … scattering out-states." When Lippmann-Schwinger Equation writes and Green's Function for Scattering evaluates the kernel, the is exactly the sign chosen here by hand. One boundary condition, three dialects. Verified: both radial currents symbolic — exactly; the discarded solution is the complex conjugate (time reverse) of the kept one.
How fast must the potential die? The range ladder
The exterior argument assumed "outside the range, ." Real potentials have tails, and the asymptotic form survives only if the tail's accumulated effect on the phase converges. A wave crossing the tail picks up phase at a rate ; the accumulated distortion is finite exactly when
where: the integral runs over the tail. For the ladder reads: gives — converges, asymptotic form safe; even converges (); but — the Coulomb tail — gives , a logarithmic divergence (all three verified symbolically). The wave never stops accumulating phase.
The Coulomb honesty card. For the failure is precise: the asymptotic phase is distorted to , Sommerfeld parameter — both waves carry the logarithm forever (Landau & Lifshitz Vol. 3, Ch. XVII; stated, not derived). Physical rescue: real charges are screened, kills the tail, and the screened problem — including how Rutherford's formula survives the limit — is owned by Scattering by a Screened Coulomb Potential.
The far-zone onset: asymptopia has a doorstep
"" earns its keep only if we can say how far is far. The answer is the article's owned laboratory.
Go deeper · Derivation C · 2 minThe far-zone onset theorem: the Fraunhofer distance kd²
We are deriving — then numerically measuring — the radius at which the asymptotic form (3) becomes accurate for a target of size . The strategy: model the target as two coherent point emitters separated by (the minimal object with internal structure), expand the exact path lengths, and demand the first dropped term stay below a radian; then, because a derived scale deserves a measurement, compute the exact two-emitter field and locate the knee empirically. Watch the quadratic term — the linear one is not an error at all.
Step 1. Exact and expanded path lengths. An emitter at () reaches the observer at over the distance
Why the first two terms are kept. The term is the common spherical phase; the linear term , multiplied by , is precisely the direction-dependent phase that builds — target structure encoded in angle. Keeping it is what "point target with a directional voice" means.
Step 2. The first dropped phase. The quadratic term contributes a phase error of at most
The asymptotic form is trustworthy when : the far zone begins at — larger targets and shorter wavelengths push it outward, quadratically in .
Step 3. Measure it. Two unit emitters at , ; the asymptotic amplitude is . Against the exact summed field over : the relative error falls from to on a log-log slope of — the predicted — matching within a factor of two; the knee lands at . Why slope −1 and not −2. The dropped term is a phase; to first order a phase error produces an amplitude error . The next-order corrections are invisible until the phase error itself is tiny.
Step 4. Reality check. For a thermal neutron on an atomic target, m against a m detector — nine decades inside the far zone; for optical light on a millimetre object, m and the far field never arrives on the bench. The full ladder is Worked Example 1. Verified: expansion error slope measured over the last decade; error/(phase bound) ; ; all ladder numbers recomputed from CODATA constants — 18-check suite green.
Which r matters: the three scales, ordered
| scale | meaning | typical size (thermal neutron, atomic target) |
|---|---|---|
| — range of | interior physics; wave function target-specific | m |
| — Fraunhofer onset | far zone begins; universal form switches on | m |
| — detector | where (3) is actually used | m |
The hierarchy is what makes scattering theory clean. At the detector-direction card applies: the outgoing wave at is locally a plane wave of momentum , so placing a counter at is selecting the final momentum — why every formula downstream writes . One honesty card completes the picture. A real experiment sends wave packets, not infinite stationary beams: a packet of width built on the family (3) rides through, scatters, and disperses — construction and spreading laws owned by Free Particle and Wave Packets and Wave Packet Spreading. Averaged over the packet's narrow band, every counting prediction reduces to the stationary state's — which is why the chapter may work at fixed , and the same band-averaging is what erases the backward interference endpoint in Scattering Amplitude's audit.
Limiting cases
| case | result | meaning |
|---|---|---|
| falloff | flux through spheres -independent | the unique conserving power — the theorem |
| , exactly | no target, no ripple; the beam is its own asymptotic form | |
| error | asymptopia; detector nine decades deep for neutron experiments | |
| no single describes the field | near zone: Fresnel regime, target structure unresolved into one amplitude | |
| , | , form holds | short-range in the scattering sense — even qualifies |
| (Coulomb) | phase ; form fails | logarithmic distortion, never outrun; screened rescue → Scattering by a Screened Coulomb Potential |
| selected instead | : convergent conspiracy | the time-reversed solution; legitimate math, wrong experiment |
Worked examples
Example 1 — the Fraunhofer ladder for real beams. For (a) a thermal neutron ( meV) on an atom ( Å), (b) a keV X-ray on the same atom, and (c) the same neutron on a Rydberg atom with : find the far-zone onset and compare with a detector at m.
Step 1. Neutron wavenumber. with meV gives Å and .
Step 2. Onset for the atomic target: . The detector ratio is — nine orders of magnitude inside the far zone.
Step 3. X-ray: Å , so — same conclusion; wavelength parity with the neutron keeps the scale atomic.
Step 4. Rydberg target: m, so — a million times the atomic value (the scaling has teeth), yet still inside a m apparatus. Answer: m, m, mm — all m; the asymptotic form is practically exact in all three experiments.
Example 2 — reading the measured error curve. For the two-emitter laboratory with : how accurate is the asymptotic form at , at the knee, and at — and what does the phase bound predict at the far point?
Step 1. Near point: at the measured error is — off by forty percent three target-lengths out. The near zone is real.
Step 2. The knee: the error crosses at , i.e. in Fraunhofer units — the derived scale, located empirically within thirty percent.
Step 3. Far point: at the measured error is . The quadratic-phase bound predicts — agreement to a few percent, and the interpolating slope is : pure , as the dropped-phase argument demands. Answer: 39% → 10% at → , falling exactly as .
Origins · 1 minFar Field and how this was discovered
The far field was charted long before quantum mechanics needed it. Fresnel's 1818 prize memoir built the near-zone theory — his integrals and half-period zones describe exactly the region where a source's parts still argue by phase. Fraunhofer, working with gratings in Munich from 1821, isolated the opposite regime: far enough away (or behind a lens) the pattern depends only on direction. Kirchhoff made the split mathematical in 1882 with his diffraction integral, and in 1912 Sommerfeld supplied the uniqueness clause — the radiation condition, requiring outgoing behaviour at infinity, without which the exterior problem has spurious solutions (his person-story is told elsewhere in this program; here he contributes one boundary condition). Quantum scattering inherited the toolkit wholesale: the Fraunhofer distance , the outgoing condition, the direction-reads-momentum card — hundred-year-old optics, re-employed at m.
Going further
References. Griffiths, Introduction to Quantum Mechanics, 3rd ed., Ch. 11 (Scattering), Sec. 11.1-11.2 · Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., Ch. 6 (Scattering Theory) · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 19 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. II, Ch. VIII · Townsend, A Modern Approach to Quantum Mechanics, 2nd ed., Ch. 13 · Landau & Lifshitz, Quantum Mechanics (Non-relativistic Theory), Vol. 3, Ch. XVII
Provenance. All equations are standard textbook results. A verifier should: (1) confirm the asymptotic form and against Griffiths 3rd ed. Sec. 11.1-11.2 and Sakurai 2nd ed. Sec. 6.1; (2) check the Green's function and the amplitude integral against Sakurai Sec. 6.1 or Shankar Ch. 19; (3) verify the Rayleigh expansion and asymptotic (Abramowitz & Stegun / Arfken); (4) verify the momentum transfer relation and the optical theorem (Cohen-Tannoudji Vol. II Ch. VIII). The Sommerfeld parameter and the Coulomb logarithmic phase appear in Landau-Lifshitz Vol. 3 Ch. XVII. No experimental numbers are quoted; only structural and symbolic results. (Lane note: of the base's menu this article keeps and re-verifies the asymptotic-form and 1/r-flux derivations; the base's steps belong to Scattering Amplitude, its Rayleigh-split derivation to the canon owner Partial Wave Expansion of Plane Waves, its Green's-function/amplitude-integral blocks to Lippmann-Schwinger Equation and Green's Function for Scattering, its optical-theorem derivation to Optical Theorem, and its Born paragraph to Born Approximation — relocated by chapter ownership; no physics error was found in the base.)
Builds on: Time-Independent Schrödinger Equation · Free Particle and Plane Waves · Probability Current and the Continuity Equation · Spherical Coordinates and the Helmholtz Equation Leads to: Scattering Amplitude · Differential and Total Cross Section · Lippmann-Schwinger Equation · Green's Function for Scattering · Partial-Wave Expansion · Optical Theorem
If the plane wave extends over all space, how can the state describe a localized experiment?
It describes the experiment's steady state. A real run sends wave packets — finite trains built from a narrow band of these stationary states (owners: Free Particle and Wave Packets, Wave Packet Spreading) — and after band-averaging, every counting rate reduces to the fixed- prediction. The stationary state is to the beam what a DC solution is to a circuit: transients have simply left the observation window.
Is e^(ikr)/r actually a solution of the Schrödinger equation, or only approximately?
Exactly, for every — substitution into gives zero identically. The approximation is never about the wave, only the superposition: near the target you need many such waves with different centres to represent the field; beyond a single centred one suffices. At the function is singular and — the defining property of the kernel Green's Function for Scattering owns.
The time-independent equation is invariant under complex conjugation — so why isn't the incoming solution equally physical?
It is equally mathematical — the time reverse of the outgoing state, and formal theory uses it (the ψ⁻ family, paired with ; owners: Retarded and Advanced Green Functions, Lippmann-Schwinger Equation). It fails only as a description of this experiment: its current converges on the target, requiring the walls to emit a perfectly phased spherical conspiracy. The boundary condition is where the experiment's arrow enters a time-symmetric formalism.
Does "short-range" mean the potential has to vanish beyond some radius?
No — that would exclude nearly everything real. The criterion is convergence of : any with qualifies, Yukawa exponentials trivially. The boundary case (Coulomb) fails logarithmically — measurably, through the phase. In between sit long-range curiosities (dipole tails) where the form holds but partial-wave sums converge slowly — flagged here, handled downstream.
How can the detector direction "measure" momentum when the wave spreads over all angles?
The outgoing wave carries all final momenta at once — one amplitude per direction, which is what tabulates. A detector at interacts with the locally-plane wavefronts crossing it (wavevector ); a count collapses the superposition onto that momentum. At the correspondence is clean to within the dropped phase.
Why do optics and quantum scattering use the same Fraunhofer criterion?
Both solve the Helmholtz equation with a finite source, and is a property of the equation, not the field's interpretation. Fresnel and Fraunhofer charted the zones for light a century early; the probability amplitude inherited the geometry unchanged. The quantum addition is the reading: here the far field carries — a cross section, with Scattering Amplitude's current theorem converting geometry into counting rates.