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.

Identification of the model's scattering operator with the on-shell stationary operator, and the central per-channel form

Physical scope

The declared short-range scattering model with a real bounded compactly supported potential: identification of the model's dynamical scattering operator, read as the product of the wave operators, with the on-shell stationary operator built from the model's stationary amplitude, including the free energy-angular diagonalization, the rotational covariance, and the diagonal per-channel form with the unit-modulus channel factors for a central potential. Conditional on the declared model and the cited mathematics; the identification is an operator statement, not a measurement statement, and no cross-section observation 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 compact-support-class potential V supported in BR; by Asymptotic completeness and the unitary scattering operator for real bounded compactly supported potentials the model's wave operators exist and S=Ω+∗Ω− is unitary on H0 and commutes with the free flow. Write σ for surface measure on S2 and h=L2(S2,dσ), and for every d∈S2 let fk(⋅,d) be the model's stationary amplitude of The model's stationary scattering wave, its outgoing amplitude and the differential and total cross-section readings at incident direction d, with the operator Ak on h defined by (Aka)(Ω):=∫S2fk(Ω,d) a(d) dσ(d). Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Then:

(a) the free flow is diagonalized by the free trace transform of the cited mathematics, a unitary F0:H0→L2((0,∞),dE;h) with (F0g)(E,ω)=E1/42−1/2g^(E ω) in the energy-divided variables of the scaling correspondence, where this auxiliary E=k2 has units m−2 and the physical energy is (ℏ2/2m)E, and the model's scattering operator is carried into multiplication, F0 S F0∗=MS(E);

(b) for almost every E=k2>0 the on-shell operator is S(E)=I+ik2πAk, a unitary operator on h, and the model's stationary amplitude fk(Ω,d) is the kernel of Ak;

(c) for R∈SO(3) let VR(x):=V(R−1x) and (URa)(ω):=a(R−1ω); then S[VR](E)=UR S[V](E) UR−1;

(d) if V is in addition central, the fiber decomposes in the spherical harmonic basis, with integer labels l≥0 and −l≤mˉ≤l, as S(E)Ylmˉ=Sl(k)Ylmˉ, where Sl and δl are the model's channel factor and phase shift of The model's partial-wave and phase-shift vocabulary for a declared central potential, equal to the Wronskian ratio W(φl,fl)‾/W(φl,fl), and the cross-section reading of Partial-wave expansion, unit-modulus channel factors and the phase-shift cross-section series is the phase-shift series of that channel decomposition.

The statement identifies operators and operators-valued functions of the declared model; it asserts no measurement of S or S(E), no detector model and no empirical claim.

Facts & Assumptions

Given: the declared model with m,ℏ>0, compact-support-class V supported in BR; the model's wave operators, scattering operator and stationary amplitude; the free trace transform F0; the choice hypotheses.

[F1]

Stationary and dynamical sector identification. Assume Countable Choice. For real bounded compactly supported V0, with H0=−Δ, H=H0+MV0 and S=Ω+∗Ω− its complete scattering operator, the free trace transform F0g(E,ω)=E1/42−1/2g^(Eω) is unitary onto L2((0,∞),dE;h), F0SF0∗=MS(E) with S(E)=I+ik2πAk unitary, Ak built from the stationary amplitude, S[VR](E)=URS[V](E)UR−1, and for radial V0 the fiber is diagonal with Sl(E)=Wl‾/Wl, ∣Sl∣=1 (Stationary and dynamical scattering in the full energy-angular representation clauses (a), (b), (c), (d)).

[F2]

The model's amplitude and S. The model's amplitude fk(⋅,d) is the stationary theorem's amplitude for the reduced potential W=(2m/ℏ2)V, and the model's S=Ω+∗Ω− is the unitary operator of the compact-support completeness theorem (The model's stationary scattering wave, its outgoing amplitude and the differential and total cross-section readings clause (b), Asymptotic completeness and the unitary scattering operator for real bounded compactly supported potentials clause (c)).

[F3]

The channel vocabulary. For a central short-range potential the model declares Sl=e2iδl=W(φl,fl)‾/W(φl,fl) and σl=(4π/k2)(2l+1)sin⁡2δl (The model's partial-wave and phase-shift vocabulary for a declared central potential clause (c)).

Proof

technique · direct; represent physical-coordinate $W=W_x$, $k$ and $E=k^2$ numerically in the fixed metre convention; the model's operators and amplitude are the cited energy-divided ones through the scaling correspondence, so the energy-divided identification theorem applies and supplies all four clauses

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

1.1F1F2given

The reduced potential W=(2m/ℏ2)V is real, bounded and supported in BR, so [F1] applies to it; by the scaling correspondence the model's operators Hfree,H are cA0,cA with A0=−Δ, A=−Δ+MW and the physical and energy-divided wave operators coincide.

2.1F1F2step 1.1

By [F2] the model's stationary amplitude for direction d is the amplitude of [F1]'s stationary problem for W at the same wave number k; hence Ak is exactly the on-shell amplitude operator of [F1].

3.1F1step 1.1step 2.1algebra

By [F1] the free trace transform F0 diagonalizes the free flow and F0SF0∗=MS(E) with S(E)=I+ik2πAk; since the model's S and Ak are the same operators as in [F1] by steps 1.1 and 2.1, the displays of (a) and (b) follow, including unitarity of the on-shell operator.

4.1F1step 3.1algebra

By [F1] the covariance identity S[VR](E)=URS[V](E)UR−1 holds for the energy-divided potential; since rotations act on W exactly as on V through R−1, the same identity is the model's (c).

5.1F1F3step 4.1algebra∎

If V is central, so is W; [F1], with its integer harmonic index renamed mˉ as in [F3], gives S(E)Ylmˉ=Sl(k)Ylmˉ with Sl=Wl‾/Wl; by [F3] the model's channel vocabulary names exactly these objects Sl=W(φl,fl)‾/W(φl,fl) and δl, and the phase-shift series of the partial-wave theorem is the total cross-section reading of this decomposition. This is (d) and completes the proof.

Remarks

  • What the identification is. The identity F0SF0∗=MS(E) is an operator identity for the declared model; it is the precise sense in which the pair may speak of "the S-matrix at physical energy (ℏ2/2m)E", and it makes no claim that any apparatus measures S(E).
  • Non-central potentials. For a non-central potential no individual spherical-harmonic channel is asserted; only the covariance of (c) holds.

Depends on

Dependency tree · 2 levels

Sources