Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedprecheck pass
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

Physical scope

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 m>0, spin zero and a declared central short-range potential V(x)=v(∣x∣) in the sense of The model's partial-wave and phase-shift vocabulary for a declared central potential clause (a): v is real, bounded and V is supported in a ball BR. Adopt the stationary elastic beam model at wave number k>0 and direction d∈S2, with amplitude fk 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 (ACω), The Axiom of Choice). Then:

(a) fk depends only on cos⁡θ=Ω⋅d, and its Legendre expansion fk(θ)=12ik∑l≥0(2l+1)(Sl(k)−1)Pl(cos⁡θ) converges in L2(S2) and absolutely, so the model's cross-section reading is dσdΩ(θ)=∣fk(θ)∣2;

(b) the channel factors are unit modulus, ∣Sl(k)∣=1, the phase shifts δl(k) are real modulo π, and the total cross section of the beam model is σ=πk2∑l≥0(2l+1)∣Sl(k)−1∣2=4πk2∑l≥0(2l+1)sin⁡2δl(k)in m2, 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 φl, fl, Sl and δl 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 w=(2m/ℏ2)v at the model's wave number k; 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 l with a measured angular momentum.

Facts & Assumptions

Given: the declared central short-range potential V=v(∣⋅∣) supported in BR, the wave number k>0, the direction d, the amplitude fk of the stationary theorem, and the channel vocabulary of the pair.

[F1]

Partial-wave cross-section convergence. Assume Countable Choice. For real bounded central V0 supported in BR and k>0, with f the amplitude of the stationary outgoing solution, f depends only on cos⁡θ, its Legendre expansion with Sl equals W(φl,fl)‾/W(φl,fl)=e2iδl converges in L2(S2) and absolutely, ∣Sl∣=1, and the total cross section equals the phase-shift series (Partial-wave cross-section convergence clauses (a), (b)).

[F2]

The model's amplitude and cross-section reading. The stationary theorem of the pair constructs the model's amplitude fk and reads dσ/dΩ=∣fk∣2 and σ=∫∣fk∣2, and the channel vocabulary declares φl,fl,Sl,δl and σl (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)).

[F3]

The energy-divided equation in physical coordinates. Dividing the physical stationary equation by c=ℏ2/(2m) gives the energy-divided equation with the reduced central potential W=(2m/ℏ2)V=vW(∣⋅∣), with W and k2 in inverse-square-length units; the numerical mathematical problem uses the same k (Unit, time and spectral correspondence between the physical scattering operators and the nondimensional Laplacian clauses (a), (b)).

Proof

technique · direct; reduce the physical stationary problem to its energy-divided form in physical coordinates, note that centrality is preserved, and instantiate the cited partial-wave theorem, whose amplitude is the model's amplitude

Given: the data and hypotheses of the statement and [F1]-[F3].

1.1F3givenalgebra

By [F3] the physical stationary problem at wave number k and reduced potential W=(2m/ℏ2)V is the energy-divided problem with W(x)=w(∣x∣), w=(2m/ℏ2)v, which is real, bounded and supported in BR; hence W is a central potential of the class of [F1].

2.1F1F2step 1.1

By [F2] the model's amplitude fk is the amplitude of the stationary outgoing solution of the energy-divided problem of step 1.1, so [F1] gives that fk depends only on cos⁡θ, that its Legendre expansion has the displayed coefficients Sl and converges in L2(S2) and absolutely, and by [F2] the model reads dσ/dΩ=∣fk∣2. This is (a).

3.1F1F2step 2.1algebra

By [F1] the factors satisfy Sl=e2iδl with ∣Sl∣=1 for real δl modulo π, and the total cross section equals the displayed phase-shift series; substituting the model's channel readings σl=(4π/k2)(2l+1)sin⁡2δl from [F2] exhibits the series as the sum of the channel readings, and its convergence is [F1]'s. This is (b).

4.1F1step 1.1F2algebra∎

Since the energy-divided problem of step 1.1 has the same reduced radial equation and the same wave number k as the model's channel vocabulary, the functions φl,fl and the Wronskian ratio Sl=W(φl,fl)‾/W(φl,fl) of the vocabulary are exactly those constructed by [F1]; the phase shift is the half-argument δl 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 k>0 of the declared class; no statement is made about its behaviour as k→0, where the class hypotheses themselves remain in force but the pair asserts no limiting formula.

Depends on

Dependency tree · 2 levels

Sources