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
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 , spin zero, action constant , 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 ; 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 with 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 is read in and the energy in joules.
(b) Channel vocabulary. Let be the sphere of spatial directions, with polar surface measure and angle coordinates ; and . Use exactly the dimensionless spherical harmonics defined in Associated Legendre function normalization: for integers and , set The continuous representatives are given by extended continuously to the poles; for set . The same symbols denote their almost-everywhere classes in . Under the declared Countable Choice assumption, Sphere ONB proves that these classes are orthonormal for and their closed linear span is all of . For a declared central short-range potential , an angular channel , with integers and , means the one-dimensional subspace ; the partial wave means the degree- sector . The angular indices are distinct from the positive mass .
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 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 , both in , so that the physical parameters do not enter it explicitly. The model declares the regular radial solution of the reduced equation and the outgoing radial solution with outside the interaction region. Both are maps whose functions and first derivatives are locally absolutely continuous; the reduced equation holds almost everywhere, equivalently in distributions on , 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 to be where is the Wronskian and is the phase shift, a real number read modulo ; the model reads and calls the channel elastic. The declared channel cross-section reading is read in . The existence of the functions and the identities and 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 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 is a separate theorem or example of the pair.
Remarks
- Modulo . The phase shift is read modulo , since determines only up to an integer multiple of ; every display of this page that uses is insensitive to that ambiguity, as 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 .
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 declared central-potential model: state space, assigned energy operator, spherical reading and bound-state vocabulary
Partial-wave cross-section convergence
Associated Legendre function normalization
Sphere ONB
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
- NIST Digital Library of Mathematical Functions, Section 14.30, equations 14.30.1, 14.30.6 and 14.30.8: spherical harmonics, negative-index convention and orthonormality
- R. Fitzpatrick, Quantum Mechanics (University of Texas at Austin, author-hosted course text), Section 15.5 printed pages 217-219: partial waves, phase shifts and hard-sphere scattering
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 12.5 printed pages 275-281 (PDF pages 283-289): partial-wave expansions and scattering at low energy