How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Partial-wave expansion, unit-modulus channel factors and the phase-shift cross-section series
The declared short-range scattering model with a real bounded central compactly supported potential in the pair's stationary elastic beam reading: rotational reduction of the amplitude to a function of the scattering angle, its convergent Legendre expansion, the unit-modulus channel factors, the phase shift read modulo pi, and the total cross section as a convergent phase-shift series in m^2. Conditional on the declared model and the cited mathematics; no measured angular distribution, no low-energy extrapolation beyond the stated series and no channel identification for material systems is asserted.
Statement
Adopt the declared short-range scattering model The declared short-range scattering model: state space, potential classes, assigned energy observables, asymptotic vocabulary and units with mass , spin zero and a declared central short-range potential in the sense of The model's partial-wave and phase-shift vocabulary for a declared central potential clause (a): is real, bounded and is supported in a ball . Adopt the stationary elastic beam model at wave number and direction , with amplitude as in The model's stationary scattering wave, its outgoing amplitude and the differential and total cross-section readings, and the channel vocabulary of The model's partial-wave and phase-shift vocabulary for a declared central potential clauses (b), (c). Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice). Then:
(a) depends only on , and its Legendre expansion converges in and absolutely, so the model's cross-section reading is
(b) the channel factors are unit modulus, , the phase shifts are real modulo , and the total cross section of the beam model is the series converging, with the channel readings of The model's partial-wave and phase-shift vocabulary for a declared central potential clause (c) as its summands;
(c) the objects , , and of the channel vocabulary are exactly the regular and outgoing radial solutions, the Wronskian ratio and the phase shift constructed by the cited mathematics for the reduced radial potential at the model's wave number ; the phase shifts are not asserted to have a definite sign and no low-energy limit is asserted beyond the convergence of the series.
The statement is conditional on the declared central model, the beam model and the cited mathematics; it asserts no measured angular distribution and no identification of with a measured angular momentum.
Facts & Assumptions
Given: the declared central short-range potential supported in , the wave number , the direction , the amplitude of the stationary theorem, and the channel vocabulary of the pair.
Partial-wave cross-section convergence. Assume Countable Choice. For real bounded central supported in and , with the amplitude of the stationary outgoing solution, depends only on , its Legendre expansion with equals converges in and absolutely, , and the total cross section equals the phase-shift series (Partial-wave cross-section convergence clauses (a), (b)).
The model's amplitude and cross-section reading. The stationary theorem of the pair constructs the model's amplitude and reads and , and the channel vocabulary declares and (The model's stationary scattering wave, its outgoing amplitude and the differential and total cross-section readings clauses (b), (c), The model's partial-wave and phase-shift vocabulary for a declared central potential clauses (b), (c)).
The energy-divided equation in physical coordinates. Dividing the physical stationary equation by gives the energy-divided equation with the reduced central potential , with and in inverse-square-length units; the numerical mathematical problem uses the same (Unit, time and spectral correspondence between the physical scattering operators and the nondimensional Laplacian clauses (a), (b)).
Proof
Given: the data and hypotheses of the statement and [F1]-[F3].
By [F3] the physical stationary problem at wave number and reduced potential is the energy-divided problem with , , which is real, bounded and supported in ; hence is a central potential of the class of [F1].
By [F2] the model's amplitude is the amplitude of the stationary outgoing solution of the energy-divided problem of step 1.1, so [F1] gives that depends only on , that its Legendre expansion has the displayed coefficients and converges in and absolutely, and by [F2] the model reads . This is (a).
By [F1] the factors satisfy with for real modulo , and the total cross section equals the displayed phase-shift series; substituting the model's channel readings from [F2] exhibits the series as the sum of the channel readings, and its convergence is [F1]'s. This is (b).
Since the energy-divided problem of step 1.1 has the same reduced radial equation and the same wave number as the model's channel vocabulary, the functions and the Wronskian ratio of the vocabulary are exactly those constructed by [F1]; the phase shift is the half-argument modulo by definition of the vocabulary, and no sign or low-energy statement is added. This is (c) and completes the proof.
Remarks
- Resonance models. A single-channel model of the phase shift is declared and analysed separately on this page (The declared single-channel resonance model: pole-shaped channel factor and its cross-section reading); this theorem asserts nothing about the existence of resonances for a given potential.
- Low-energy behaviour. The series converges for every of the declared class; no statement is made about its behaviour as , where the class hypotheses themselves remain in force but the pair asserts no limiting formula.
Depends on
The declared short-range scattering model: state space, potential classes, assigned energy observables, asymptotic vocabulary and units
The declared stationary elastic beam model: incident plane wave, scattered wave, current readings and differential and total cross sections
The model's partial-wave and phase-shift vocabulary for a declared central potential
The model's stationary scattering wave, its outgoing amplitude and the differential and total cross-section readings
Unit, time and spectral correspondence between the physical scattering operators and the nondimensional Laplacian
Partial-wave cross-section convergence
State and composition postulate P1: Hilbert spaces, preparations and composite systems
Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes
Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution
Dimensions, SI unit conventions and quantity types of the framework
Assigned sharp observables and the outcome law of the framework
The Axiom of Countable Choice ()
The Axiom of Choice
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 12.5, printed pages 273-278 (PDF pages 281-286)
- R. Fitzpatrick, Quantum Mechanics (University of Texas at Austin, author-hosted course text), Sections 15.5-15.6 printed pages 217-219: partial waves, phase shifts and the low-energy limit of hard-sphere scattering