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.

Completeness of the Dollard-modified wave operators for the declared Coulomb model

Physical scope

The declared long-range Coulomb model with coupling kappa>0 and its Dollard-modified free comparison: existence of the modified wave operators as strong limits, their isometry and intertwining, the completeness equalities of their ranges with the absolutely continuous and continuous subspaces of the Coulomb operator, and unitarity of the modified scattering operator. Conditional on the declared model and the cited mathematics; the item asserts no Coulomb scattering amplitude, no Rutherford cross section, no measured quantity and no ordinary short-range comparison for the Coulomb potential.

Statement

Adopt the declared long-range Coulomb model The declared long-range Coulomb model and its Dollard-modified free comparison with mass m>0, spin zero, action constant ℏ>0, coupling κ>0, the assigned energy operator Hκ on H2(R3;C), the free operator Hfree, the inverse-length coupling γ=2mκ/ℏ2, a declared reference length ℓ⋆>0 in metres and reference time t⋆=2mℓ⋆2/ℏ, the Dollard-modified comparison UD(t) and the modified wave operators ΩD± and SD of that definition. Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Then:

(a) the modified wave operators exist as strong limits and are bounded linear isometries, ΩD±∗ΩD±=I, and they intertwine, ΩD±e−isHfree/ℏ=e−isHκ/ℏΩD±(s∈R);

(b) the modified wave operators are complete, ran⁡ΩD+=ran⁡ΩD−=Hac(Hκ)=Hc(Hκ);

(c) the modified scattering operator SD=ΩD+∗ΩD− is unitary on H0 and commutes with the free flow;

(d) the ordinary short-range comparison of the model is not substituted: neither existence nor completeness of s-lim⁡t→±∞eitHκ/ℏe−itHfree/ℏ is asserted, and the modification is essential to the statement.

The statement is conditional on the declared model and the cited mathematics. It asserts no explicit Coulomb scattering amplitude, no Rutherford or other cross section, and no measured quantity; the logarithmic phase is a comparison construction for the long-range generator.

Facts & Assumptions

Given: the declared Coulomb model with m,ℏ>0, spin zero, κ>0, γ=2mκ/ℏ2, c=ℏ2/(2m), ℓ⋆>0, t⋆=2mℓ⋆2/ℏ, the operators Hκ=c(−Δw−γ/∣⋅∣) and Hfree=c(−Δw) on W2,2, the comparison UD(t) and the choice hypotheses.

[F1]

Dollard integrable remainder. Assume Countable Choice. For γ>0, with H0=−Δ, Hγ=−Δ−γ/∣⋅∣ on H2 and the Dollard-modified evolution UDnd(τ)=e−iτH0eisign⁡(τ)a(P)log⁡∣τ∣, a(p)=γ/(2∣p∣), the family is unitary and the remainder γ/∣⋅∣−γ/(2∣τ∣∣P∣) is integrable along UDnd: there are Tψ,Cψ with ∥[γ/∣⋅∣−γ/(2∣τ∣∣P∣)]UDnd(τ)ψ∥2≤Cψ(1+log⁡∣τ∣)/∣τ∣2 for ∣τ∣≥Tψ, for vectors in the dense momentum-test class (Dollard integrable remainder clauses (a), (b)).

[F2]

Dollard channel completeness. With the hypotheses of [F1], the modified wave operators ΩD±=s-lim⁡τ→±∞eiτHγUDnd(τ) exist on all of L2, satisfy ΩD±e−isH0=e−isHγΩD±, act in each angular channel as multiplication by a bounded Borel function of the energy with ∣bl,±(E)∣=1 for a.e. E>0, and ran⁡ΩD±=Hac(Hγ)=Hc(Hγ); SD=ΩD+∗ΩD− is unitary (Dollard channel completeness clauses (a), (b), (c)).

[F3]

Spectral correspondence of a positive multiple. For a self-adjoint operator T, positive c0 and every Borel B, the projection valued measure of c0T satisfies Ec0T(B)=ET(B/c0), so Hac, Hsc, Hpp and Hc of c0T and T coincide; consequently for a bounded Borel f one has f(c0T)=(f∘c0)(T) (Spectral theorem for unbounded self-adjoint operators (PVM form), Bounded borel pvm integral, Unbounded Borel functional calculus: domains, products, spectral mapping clause 2, Positive scalar multiples of self-adjoint operators: domains, resolvents, spectra and eigenbases clauses (a), (b)).

[F4]

The model's readings. The declared comparison, modified wave operators and spectral vocabulary are those of clauses (b), (c) of the Coulomb definition; the Coulomb operator is self-adjoint on H2 with the flow e−itHκ/ℏ (The declared long-range Coulomb model and its Dollard-modified free comparison clauses (b), (c), The one-centre Coulomb model: energy observable, flow, stationary states and spectral support clauses (a), (b)).

Proof

technique · direct; represent the physical data numerically in SI, compare with the supplied mathematical Dollard evolution through a fixed incoming or outgoing energy phase, and transfer the full limits, intertwining, completeness and scattering unitarity

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

1.1F3F4givenalgebra

[Numerical SI comparison with dimensionless arguments] Write the fixed SI units as L0=1 m, T0=1 s, M0=1 kg and E0=1 J. Let m0=m/M0, h0=ℏ/(E0T0), k0=κ/(E0L0), L=ℓ⋆/L0>0 and t0=t/T0 be their numerical values, and put γ0=γL0=2m0k0/h02, c0=h02/(2m0) and τ=h0t0/(2m0). These are pure real numbers, with τ→±∞ as t→±∞. Represent the wavefunctions in the numerical SI coordinate q=x/L0, with the normalized L2 coordinate map J0f(q)=L03/2f(L0q), the Jacobian normalization understood in the chosen length unit. Substitution in the integral proves this map unitary; weak derivative substitution gives its exact H2 domain transport. The numerical energy representatives are therefore Hκ=E0−1J0HκJ0−1=c0Cγ0 and Hf=E0−1J0HfreeJ0−1=c0A0, where A0=−Δq and Cγ0=−Δq−γ0/∣q∣. Thus J0e−itHκ/ℏJ0−1=e−iτCγ0 and similarly for the free operator. The numerical reference time is t⋆,0=2m0L2/h0, so ∣t∣t⋆=∣t0∣t⋆,0=∣τ∣L2,log⁡∣t∣t⋆=log⁡∣τ∣−2log⁡L. Every logarithm has a dimensionless argument; no time having units of length squared is placed inside the source logarithm.

2.1step 1.1F1F3F4algebra

[Exact fixed energy phases] For a positive numerical energy e=c0λ, the phase coefficient of the physical definition is m0k0/(h02m0e)=γ0/(2λ). By [F1], a(P)=γ0/(2∣P∣) for the numerical source A0=∣P∣2. For σ∈{+1,−1} define the fixed bounded unitary Bσ,L=bσ,L(A0),bσ,L(λ)=exp⁡(−2iσγ02λlog⁡L)(λ>0),bσ,L(0)=1. The functions are bounded unimodular Borel functions despite their oscillation near zero, so their calculus is defined on all L2 and they commute with e−irA0 for every r. Spectral correspondence [F3] and step 1.1 give, for ∣τ∣≥1 and σ=sign⁡t, J0UD(t)J0−1=e−iτA0eiσa(P)log⁡∣τ∣Bσ,L=UDnd(τ)Bσ,L. The bounded functional calculus also transports under J0: conjugating the PVM gives a regular PVM representing the numerical operator, so spectral uniqueness identifies it and simple-function approximation gives the claimed calculus transport. If desired, the annular smooth momentum class in [F1] is preserved by each Bσ,L because its multiplier is smooth on every compact annulus; hence the source remainder estimate remains integrable on that class after this fixed phase. The comparison for finite ∣τ∣<1 need not equal the source's short-time extension and is irrelevant to the two asymptotic limits.

3.1step 1.1step 2.1F2F3algebra

[Strong limits, isometry and intertwining] Apply [F2] at the positive numerical coupling γ0. Let W± be its two full-space Dollard wave operators. Step 2.1 makes the physical comparison product, conjugated by J0, equal eiτCγ0UDnd(τ)B±,L on the corresponding exterior half-line. The fixed bounded right factor and the positive scalar time change let the strong limits pass on every vector, giving ΩD±=J0−1W±B±,LJ0. Both W± are isometries by [F2] and both B±,L are unitaries, so these operators are isometries. For physical s∈R, put r=h0(s/T0)/(2m0). The numerical free/Coulomb flows are e−irA0 and e−irCγ0 by step 1.1. Since B±,L commute with the free flow and W±e−irA0=e−irCγ0W±, conjugating gives the exact intertwining of (a). No new source existence or momentum-domain assumption was introduced.

4.1step 2.1step 3.1F2F3algebra

[Full completeness under the reference convention] Because B±,L are onto, step 3.1 gives ran⁡ΩD±=J0−1ran⁡W±. By [F2], this is J0−1Hac(Cγ0)=J0−1Hc(Cγ0). Positive energy scaling by c0 preserves these spectral subspaces [F3], and the unitary numerical coordinate representation transports the spectral measures and their subspaces as in step 2.1. The resulting physical subspaces are exactly Hac(Hκ)=Hc(Hκ). This proves (b) for every declared reference length, preserving the source's whole continuous subspace and all angular channels.

5.1step 2.1step 3.1step 4.1F2F3F4algebra

[Scattering phases, unitarity and free-flow commutation] Put Snd=W+∗W−. The formula in step 3.1 gives SD=J0−1B+,L∗SndB−,LJ0. All factors are unitary by [F2] and step 2.1, so SD is unitary. The commutation with the free flow follows directly from the two intertwinings: taking the adjoint of the plus identity at time −r gives e−irA0W+∗=W+∗e−irCγ0, hence Snde−irA0=W+∗e−irCγ0W−=e−irA0Snd. The fixed B±,L commute with that same flow, so their scattering product does too, and conjugating proves (c). Equivalently the common range projection from step 4.1 gives both SD∗SD=I and SDSD∗=I. For any other reference time t⋆′, let Qσ=qσ(Hfree) with qσ(E)=exp⁡(−iσα(E)log⁡(t⋆′/t⋆)), α(E)=mκ/(ℏ2mE) for E>0 and qσ(0)=1. The defining phases give exactly ΩD±′=ΩD±Q± and SD′=Q+∗SDQ−. These incoming/outgoing factors are different sign conventions, not a claim that the scattering operator itself is unchanged.

6.1F4givenstep 3.1step 4.1step 5.1∎

[Scope and assembly] Steps 3.1–5.1 establish all the original modified-limit, isometry, intertwining, full completeness and scattering-unitarity conclusions with their corrected dimensional convention. No step supplies the ordinary unmodified Coulomb wave limits, so (d) retains exactly that distinction. The reference length adds only a comparison convention and its fixed channel phases; it adds no hypothesis on a state or on the Coulomb interaction, no amplitude formula and no measured cross section.

Remarks

  • Phases and observables. The modified comparison is not unique: changing the reference time t⋆ changes asymptotic channel phases. The completeness equalities of (b) and the unitarity of (c) are invariant under that change, which is why the definition declares the reference time as a convention.
  • What would be needed for an amplitude. An explicit Coulomb scattering amplitude, and with it any Rutherford-type cross section, would require the angular asymptotic analysis of the Coulomb continuum solutions and a further normalization statement; neither is contained in the completeness theorem, and the pair does not assert one.

Depends on

Dependency tree · 2 levels

Sources