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
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 , spin zero, action constant , and declare the spherical square well read in joules and metres; is real, bounded and compactly supported, so it is in the compact-support class. Adopt the central stationary reading at wave number of The model's partial-wave and phase-shift vocabulary for a declared central potential and the -wave () channel. Put Because the declared potential is constant on each of the two regions and bounded, the reduced radial function of the cited channel vocabulary (up to a nonzero real normalization) is at with second derivative given by the reduced equation on each side, and the -wave phase shift is determined by matching: for and for .
The phase is read modulo . For , means an angle modulo with and ; hence modulo determines the phase without dividing by or . Big- terms below are for 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 -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 at the origin, the exterior outgoing function and the channel ratio . Its channel cross-section is (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)).
[F2] The derivatives of sine and cosine and are The derivatives of sine and cosine are cosine and minus sine and Parity and the Pythagorean identity for sine and cosine. The finite Taylor remainder estimate with a locally bounded next derivative is A uniform derivative bound gives a uniform Taylor remainder bound. The existence of a zero between opposite signs of a continuous real function is Intermediate value theorem, by bisection with a canonical left-half rule: a continuous function on takes every value between and ; strict decrease follows from a negative derivative by The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with .
[F3] For a radial function , polar integration gives (Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma, , and from Sphere integrals in angle coordinates clause (b)). The weak domain 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 , (The declared short-range scattering model: state space, potential classes, assigned energy observables, asymptotic vocabulary and units clause (c)).
For the reduced equation is , so its nonzero real regular solution is , , with ; the normalization in [F1] corresponds to . For a nonzero real solution has the form with real . The regular solution and its derivative are absolutely continuous locally through the bounded step potential; integrating the radial equation across gives no jump of or . Thus and .
Put , and . Since and sine and cosine cannot both vanish, . With , the matching equations give , , hence regardless of the real sign of . Consequently and modulo , with a nonzero denominator for every positive energy and depth. This is also the actual Wronskian convention of [F1], since outside the well . Where , the equivalent local formula is ; the complex formula remains valid when either matching value vanishes.
Fix and put , so and . If , choose the representative of tending to zero modulo . The tangent is smooth near , so . By [F2], near zero; first and then . Hence modulo , where , and [F1] gives . The expansion uses locally bounded derivatives only where .
At an exact threshold , , write . The identity for and [F2] give , and . Thus and the angle of tends to modulo . Writing modulo , gives , so modulo . Therefore ; 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 inside and to the nonzero constant outside, with matching derivative zero at . Its spatial form is proportional to outside and is not square integrable by [F3]; this is the zero-energy s-wave resonance meant here.
In the finite-length branch, as from below, and ; from above . Thus the iterated low-energy reading diverges on either approach, while the exact-threshold law is step 4.1. Along nonresonant depth regimes with , and the iterated low-energy reading tends to , four times the geometric area . In particular at , , and ; the interior node tends to the boundary. This comparison holds along the stated depth regimes, rather than for every sequence of large depths.
The bound-state interpretation has a separate negative-energy proof. Write . For , define on . It is continuous, and ; [F2] gives a root . On that open interval , so the root is unique. Put , and for , for . Then and , so both and match at . The spatial function , with value 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 . Its weak derivatives through order two are square integrable, with no boundary delta term, hence . The radial identity for gives , , so normalization produces a genuine s-wave bound eigenvector. As , , while for there is no matching root in this branch with . 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.
For the free consistency case , and step 2.1 gives , so modulo at every positive energy, including zeros of sine or cosine. At any positive-depth energy with , , one has and , hence and modulo : this is exactly the exterior phase for the vanishing radial boundary condition of a hard sphere at that energy. If , the same formula gives and 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 , and the depth comparisons of steps 4.1 and 5.1 are limits inside the declared family of wells ( or ), not limits of a measured potential.
Depends on
The declared short-range scattering model: state space, potential classes, assigned energy observables, asymptotic vocabulary and units
The model's partial-wave and phase-shift vocabulary for a declared central potential
Partial-wave expansion, unit-modulus channel factors and the phase-shift cross-section series
Dimensions, SI unit conventions and quantity types of the framework
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
Assigned sharp observables and the outcome law of the framework
Directional derivatives and partial derivatives of a map
Sums and scalar multiples of totally differentiable maps are totally differentiable with the expected derivatives
The Axiom of Countable Choice ()
The Axiom of Choice
The derivatives of sine and cosine are cosine and minus sine
Parity and the Pythagorean identity for sine and cosine
A uniform derivative bound gives a uniform Taylor remainder bound
Intermediate value theorem, by bisection with a canonical left-half rule: a continuous function on takes every value between and
The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with
Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma
Integer-order Sobolev spaces and their norms
Sphere integrals in angle coordinates
Dependency tree · 2 levels
Sources
- R. Fitzpatrick, Quantum Mechanics (University of Texas at Austin, author-hosted course text), Sections 15.5-15.6 printed pages 217-219: phase shifts and hard-sphere scattering, including the low-energy limit tan delta_l = -(ka)^(2l+1)/((2l+1)[(2l-1)!!]^2) and the total cross section 4 pi a^2
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 12.5.1, printed pages 276-278 (PDF pages 284-286)