Alphabeta Math
ExampleConstruction: AI-adaptedVerification: 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.

S-wave phase shift of a declared spherical square well, with its low-energy limit and hard-sphere comparison

Physical scope

A declared idealised spherical square well of depth U>0 and radius a in the central stationary scattering reading, at every positive energy E: nondividing s-wave matching, the finite-scattering-length and exact zero-energy-resonance branches, the associated onset of an s-wave bound-state branch at each threshold, and the hard-sphere comparison along nonresonant depth regimes and at matching nodes. The U=0 free case is also checked. No measured phase shift, measurement or material-target identification is asserted.

Example

Setup. 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 declare the spherical square well V(x):={−U,∣x∣<a,0,∣x∣≥a,U>0, a>0, read in joules and metres; V is real, bounded and compactly supported, so it is in the compact-support class. Adopt the central stationary reading at wave number k>0 of The model's partial-wave and phase-shift vocabulary for a declared central potential and the s-wave (l=0) channel. Put K:=2m(E+U)ℏ,k:=2mEℏ,E>0. Because the declared potential is constant on each of the two regions and bounded, the reduced radial function u0:=φ0 of the cited channel vocabulary (up to a nonzero real normalization) is C1 at r=a with second derivative given by the reduced equation on each side, and the s-wave phase shift is determined by matching: u0∝sin⁡(Kr) for r<a and u0∝sin⁡(kr+δ0) for r>a.

The phase is read modulo π. For z=X+iY≠0, arg⁡z means an angle θ modulo 2π with cos⁡θ=X/∣z∣ and sin⁡θ=Y/∣z∣; hence arg⁡z modulo π determines the phase without dividing by X or Y. Big-O terms below are for k→0+ at a fixed depth and radius; depth comparisons are taken after that low-energy limit.

Verification

Given: the data of the setup and the reduced equation of the s-wave of The model's partial-wave and phase-shift vocabulary for a declared central potential clause (b).

[F1] The actual channel supplier defines the regular function itself as the reduced radial solution, with φ0(r)/r→1 at the origin, the exterior outgoing function eikr and the channel ratio S0=W(u0,eikr)‾/W(u0,eikr)=e2iδ0. Its channel cross-section is σ0=4πsin⁡2δ0/k2 (The model's partial-wave and phase-shift vocabulary for a declared central potential clauses (b),(c), Partial-wave expansion, unit-modulus channel factors and the phase-shift cross-section series clauses (b),(c)).

[F3] For a radial function f(x)=u(∣x∣)/∣x∣, polar integration gives ∥f∥22=4π∫0∞∣u(r)∣2dr (Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma, n=3, and σ(S2)=4π from Sphere integrals in angle coordinates clause (b)). The weak domain W2,2 requires square-integrable weak derivatives through order two (Integer-order Sobolev spaces and their norms), and the declared bounded-well energy operator has that domain and acts as −cΔ+V, c=ℏ2/(2m) (The declared short-range scattering model: state space, potential classes, assigned energy observables, asymptotic vocabulary and units clause (c)).

1.1givenF1algebra

For r<a the reduced equation is u0′′=−K2u0, so its nonzero real regular solution is u0(r)=Asin⁡(Kr), A≠0, with u0(0)=0; the normalization in [F1] corresponds to A=1/K. For r>a a nonzero real solution has the form Bsin⁡(kr+δ0) with real B≠0. The regular solution and its derivative are absolutely continuous locally through the bounded step potential; integrating the radial equation across a gives no jump of u0′ or u0. Thus Asin⁡(Ka)=Bsin⁡(ka+δ0) and AKcos⁡(Ka)=Bkcos⁡(ka+δ0).

2.1F1F2step 1.1algebra

Put X:=Kcos⁡(Ka), Y:=ksin⁡(Ka) and z:=X+iY. Since k,K>0 and sine and cosine cannot both vanish, X2+Y2>0. With θ:=ka+δ0, the matching equations give Bkcos⁡θ=AX, Bksin⁡θ=AY, hence e2iθ=z/z‾ regardless of the real sign of A/B. Consequently S0(k)=e−2ika (Kcos⁡(Ka)+iksin⁡(Ka))/(Kcos⁡(Ka)−iksin⁡(Ka)) and δ0=arg⁡z−ka modulo π, with a nonzero denominator for every positive energy and depth. This is also the actual Wronskian convention of [F1], since outside the well W(u0,eikr)=−Bke−iδ0. Where cos⁡(Ka)≠0, the equivalent local formula is tan⁡(ka+δ0)=(k/K)tan⁡(Ka); the complex formula remains valid when either matching value vanishes.

3.1F1F2step 2.1algebra

Fix U>0 and put γ:=2mU/ℏ, so K=γ2+k2 and K−γ=k2/(K+γ)=O(k2). If cos⁡(γa)≠0, choose the representative of θ tending to zero modulo π. The tangent is smooth near γa, so tan⁡θ=(k/K)tan⁡(Ka)=ktan⁡(γa)/γ+O(k3). By [F2], tan⁡θ=θ+O(θ3) near zero; first θ=O(k) and then θ=ktan⁡(γa)/γ+O(k3). Hence δ0=−kaeff+O(k3) modulo π, where aeff:=a−tan⁡(γa)/γ, and [F1] gives σ0→4πaeff2. The expansion uses locally bounded derivatives only where cos⁡(γa)≠0.

4.1F1F2F3step 2.1algebra

At an exact threshold γa=αn:=(n+12)π, n≥0, write sn:=sin⁡αn=(−1)n. The identity for K−γ and [F2] give K−γ=k2/(2γ)+O(k4), X=Kcos⁡(Ka)=−snak2/2+O(k4) and Y=ksin⁡(Ka)=snk+O(k5). Thus X/Y=−ak/2+O(k3) and the angle of X+iY tends to π/2 modulo π. Writing θ=π/2+ε modulo π, cot⁡θ=−ε+O(ε3) gives ε=ak/2+O(k3), so δ0=π/2−ak/2+O(k3) modulo π. Therefore k2σ0=4πsin⁡2δ0→4π; the finite-scattering-length formula of step 3.1 does not apply at this depth. At zero energy the regular reduced solution is proportional to sin⁡(γr) inside and to the nonzero constant sn outside, with matching derivative zero at a. Its spatial form is proportional to 1/r outside and is not square integrable by [F3]; this is the zero-energy s-wave resonance meant here.

5.1F1F2step 3.1step 4.1algebra

In the finite-length branch, as γa↑αn from below, tan⁡(γa)→+∞ and aeff→−∞; from above aeff→+∞. Thus the iterated low-energy reading 4πaeff2 diverges on either approach, while the exact-threshold law is step 4.1. Along nonresonant depth regimes with tan⁡(γa)/γ→0, aeff→a and the iterated low-energy reading tends to 4πa2, four times the geometric area πa2. In particular at γa=nπ, n≥1, aeff=a and δ0=−ka+O(k3); the interior node tends to the boundary. This comparison holds along the stated depth regimes, rather than for every sequence of large depths.

5.2F2F3step 4.1algebra

The bound-state interpretation has a separate negative-energy proof. Write g:=γa. For αn<g<(n+1)π, define fg(x):=xcot⁡x+g2−x2 on [αn,g]. It is continuous, fg(αn)=g2−αn2>0 and fg(g)=gcot⁡g<0; [F2] gives a root xg∈(αn,g). On that open interval fg′=cot⁡x−xcsc⁡2x−x/g2−x2<0, so the root is unique. Put q:=xg/a, κ:=g2−xg2/a>0 and u(r):=sin⁡(qr) for r≤a, u(r):=sin⁡(qa)e−κ(r−a) for r≥a. Then q2+κ2=γ2 and qcot⁡(qa)=−κ, so both u and u′ match at a. The spatial function ψ(x):=u(∣x∣)/∣x∣, with value q at zero, is nonzero and square integrable by [F3]; it is smooth near zero, decays exponentially at infinity and is piecewise smooth with matching first derivatives at a. Its weak derivatives through order two are square integrable, with no boundary delta term, hence ψ∈W2,2. The radial identity Δ(u(r)/r)=u′′(r)/r for r>0 gives Hψ=−cκ2ψ, c=ℏ2/(2m), so normalization produces a genuine s-wave bound eigenvector. As g↓αn, 0<κa≤g2−αn2→0, while for g≤αn there is no matching root in this branch x>αn with x≤g. Thus a new negative-energy s-wave branch appears just above each stated threshold, whose endpoint is the non-square-integrable zero-energy resonance in step 4.1; no assertion about other angular channels or the full bound-state count is needed.

6.1F1F2step 2.1step 3.1step 4.1step 5.1step 5.2algebra∎

For the free consistency case U=0, K=k and step 2.1 gives S0=e−2ika(cos⁡ka+isin⁡ka)/(cos⁡ka−isin⁡ka)=1, so δ0=0 modulo π at every positive energy, including zeros of sine or cosine. At any positive-depth energy with Ka=nπ, n≥1, one has Y=0 and X≠0, hence S0=e−2ika and δ0=−ka modulo π: this is exactly the exterior phase for the vanishing radial boundary condition of a hard sphere at that energy. If cos⁡(Ka)=0, the same formula gives S0=−e−2ika and δ0=π/2−ka modulo π. These checks complete the full positive-energy, zero-depth and matching-node cases together with the two low-energy branches above.

Remarks

  • What is asserted. The phase shift, both low-energy branches, the locally proved s-wave bound-state threshold and the hard-sphere comparison are exact consequences of the declared well and the channel vocabulary; no measured phase shift or cross section is reported, and no claim is made that the spherical square well describes any material target.
  • Idealisation. The well is an idealised declared potential: it is discontinuous at ∣x∣=a, and the depth comparisons of steps 4.1 and 5.1 are limits inside the declared family of wells (γa→(n+12)π or tan⁡(γa)/γ→0), not limits of a measured potential.

Depends on

Dependency tree · 2 levels

Sources