Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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.

The model's partial-wave and phase-shift vocabulary for a declared central potential

Physical scope

The pair's declared partial-wave and phase-shift vocabulary for a declared central short-range potential: the spherical harmonic channel labels, the normalized regular and outgoing radial solutions, the unit-modulus channel factor, the phase shift read modulo pi, and the channel cross-section reading. The definition is a reading of the stationary model of the pair; it asserts no angular-momentum interpretation of the labels for a material system, no bound-state statement and no measured quantity.

Definition

(a) Framework data. 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, action constant ℏ>0, and its stationary elastic beam model The declared stationary elastic beam model: incident plane wave, scattered wave, current readings and differential and total cross sections at wave number k>0; adopt the declared central-potential reading of The declared central-potential model: state space, assigned energy operator, spherical reading and bound-state vocabulary: a declared central potential of the pair is a real bounded measurable V(x)=v(∣x∣) with v:(0,∞)→R bounded, and it is short-range when it lies in the compact-support class of the scattering model. Units are those of Dimensions, SI unit conventions and quantity types of the framework; the wave number k is read in m−1 and the energy E=ℏ2k2/(2m) in joules.

(b) Channel vocabulary. Let S2={ω∈R3:∣ω∣=1} be the sphere of spatial directions, with polar surface measure σ and angle coordinates Φ(θ,α)=(sin⁡θcos⁡α,sin⁡θsin⁡α,cos⁡θ); dσ=sin⁡θ dθ dα and σ(S2)=4π. Use exactly the dimensionless spherical harmonics defined in Associated Legendre function normalization: for integers l≥0 and 0≤q≤l, set Pl(t)=12ll!dldtl(t2−1)l,wlq(t)=(−1)q(1−t2)q/2dqdtqPl(t),blq=(∫−11wlq(t)2 dt)−1/2>0. The continuous representatives Ylq:S2→C are given by Ylq(Φ(θ,α))=blq2πwlq(cos⁡θ)eiqα(0<θ<π, 0≤α<2π), extended continuously to the poles; for 1≤q≤l set Yl,−q=(−1)qYlq‾. The same symbols denote their almost-everywhere classes in L2(S2,σ;C). Under the declared Countable Choice assumption, Sphere ONB proves that these classes are orthonormal for ⟨F,G⟩=∫S2FG‾ dσ and their closed linear span is all of L2(S2,σ;C). For a declared central short-range potential V, an angular channel (l,mˉ), with integers l≥0 and −l≤mˉ≤l, means the one-dimensional subspace span⁡C{Ylmˉ}; the partial wave l means the degree-l sector Hl:=span⁡C{Ylq:−l≤q≤l}. The angular indices q,mˉ are distinct from the positive mass m.

The radial solutions are those constructed in Partial-wave cross-section convergence. The reduced equation below is read in physical coordinates after energy division: the reduced potential is w:=2mv/ℏ2 of clause (c) of The declared short-range scattering model: state space, potential classes, assigned energy observables, asymptotic vocabulary and units and the energy-divided spectral value is k2, both in m−2, so that the physical parameters m,ℏ do not enter it explicitly. The model declares the regular radial solution φl of the reduced equation −φl′′+(w(r)+l(l+1)r2)φl=k2φl,φl(r)/rl+1⟶1(r→0), and the outgoing radial solution fl with fl(r)=ei(kr−lπ/2)(1+O(r−1))(r→∞) outside the interaction region. Both are maps (0,∞)→C whose functions and first derivatives are locally absolutely continuous; the reduced equation holds almost everywhere, equivalently in distributions on (0,∞), as in the cited theorem's bounded measurable potential construction. They are not asserted to be elements of the state space.

(c) Channel factor and phase shift. The model declares the channel factor and the phase shift of the partial wave l to be Sl(k):=W(φl,fl)‾W(φl,fl),Sl(k)=e2iδl(k), where W(φl,fl)=φlfl′−φl′fl is the Wronskian and δl(k) is the phase shift, a real number read modulo π; the model reads ∣Sl(k)∣=1 and calls the channel elastic. The declared channel cross-section reading is σl(k):=4πk2(2l+1)sin⁡2δl(k), read in m2. The existence of the functions and the identities ∣Sl∣=1 and ∑l(2l+1)sin⁡2δl<∞ are proved on this page and are not presupposed here.

(d) Status and scope. Clauses (b)-(c) are declarations of the pair: names for the objects constructed by the cited mathematics and the reading of the phase shift modulo π. The model asserts no identification of the labels l,mˉ with a measured angular momentum of a material system, no statement about bound states or their count, and no channel decomposition for non-central potentials. Every numerical statement about δl is a separate theorem or example of the pair.

Remarks

  • Modulo π. The phase shift is read modulo π, since Sl=e2iδl determines δl only up to an integer multiple of π; every display of this page that uses δl is insensitive to that ambiguity, as sin⁡2 is.
  • Non-central potentials. For a non-central declared potential the pair asserts no diagonal channel factor; the on-shell operator of the following theorem is then a general unitary on L2(S2).

Depends on

Dependency tree · 2 levels

Sources