Alphabeta Math
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.

Qm Central Potentials And Hydrogen — Examples

1 · Prerequisites

2 · Summary

The companion page to qm-central-potentials-and-hydrogen collects exact model computations and one empirical-status record. Bound-energy parametrisations of the Coulomb model: exact identities, units and the reduced-mass factor verifies the bound-energy identity in the declared Z=1 hydrogen branch, En=−mκ22ℏ2n2=−ℏ22maκ2n2=−mα2c22n2, with α=q2/(4πε0ℏc) on the equal-magnitude charge branch q−=q+=q=e. It also verifies the reduced-mass factor μ/m1=1/(1+m1/m2) between the relative and fixed-nucleus energies, checks the dimensional consistency of each identity, and identifies the continuum threshold of the two-body operator; no numerical value is assigned. Low-lying radial distributions of the Coulomb model: normalisations, moments and the failure of cross-l orthogonality of reduced functions computes the normalised reduced radial functions of the states with n≤2, their radial densities and the moments ⟨r⟩10=3a/2, ⟨r⟩20=6a, ⟨r⟩21=5a and ⟨r−1⟩20=⟨r−1⟩21=1/(4a), and checks that reduced radial functions of different angular momentum are not orthogonal. Empirical status of the hydrogen spectrum on this pair: pending spectroscopy evidence and the limits of the model's spectral statements records that no experiment item is built on this pair, that transition-frequency and line-intensity statements belong to the later radiation and light-matter items, and what a comparison with measured spectra would presuppose. Scope of the central-potential and hydrogen examples page records the scope of the examples page and its dependence on the declared model.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

Bound-energy parametrisations of the Coulomb model: exact identities, units and the reduced-mass factor

Physical scope

An exact algebraic and dimensional verification in the declared one-centre and two-body Coulomb models, using the equal-magnitude, opposite-charge branch q_-=q_+=q and the Z=1 hydrogen assignment: the equivalence of the bound-energy parametrisations in terms of (m, kappa), (hbar, m, a_kappa), (m, alpha, c) and the fixed-nucleus reference, the reduced-mass factor mu/m_1 = 1/(1+m_1/m_2), the identification of the continuum threshold of the two-body operator, and the dimensional consistency of each displayed identity in the reference units of the framework. General hydrogen-like ions use kappa=q_-q_+/(4 pi epsilon_0)=Ze^2/(4 pi epsilon_0). The example assigns no numerical value, reports no measurement and makes no empirical identification; a numerical evaluation would require measured constants as qualified empirical premises and is explicitly deferred.

Example

For this example take the equal-magnitude, opposite-charge branch q−=q+=q of clause (d) of the declared Coulomb model. When the example is read as hydrogen, the hydrogen assignment is Z=1, so q=e and κ=e2/(4πε0); for a general hydrogen-like ion the charge product is q−q+=Ze2 and must replace q2 in κ. Adopt the declared one-centre Coulomb model The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clauses (a)-(c) with parameters ℏ>0, m>0, coupling κ>0 and length scale aκ=ℏ2/(mκ), the bound-energy result The one-centre Coulomb model: bound energies, n^2-degeneracy, completeness of the bound states in the negative spectral subspace and the continuum and the two-body reading The declared two-body Coulomb model: reduced-mass decomposition, relative levels as thresholds and the absence of stationary total states with masses m1,m2>0 and reduced mass μ=m1m2/(m1+m2). Let the charge parameter be q>0 with κ=q2/(4πε0), let c be the speed of light of the SI conventions of Dimensions, SI unit conventions and quantity types of the framework clause (c), and put α:=q24πε0ℏc=κℏc, the dimensionless coupling of the model. Then the following identities hold exactly for the declared parameters:

(a) En:=−mκ22ℏ2n2=−ℏ22maκ2n2 for every n≥1, so mκ22ℏ2=ℏ22maκ2 and E1=−ℏ22maκ2;

(b) κ=αℏc, hence En=−mα2c22n2 and aκ=ℏmαc;

(c) the relative bound energies of the two-body model are En=−μκ22ℏ2n2=μm1(−m1κ22ℏ2n2) with μm1=11+m1/m2∈(0,1);

(d) in the reference units of Dimensions, SI unit conventions and quantity types of the framework clause (b), [ℏ]=kg m2 s−1, [κ]=kg m3 s−2, [aκ]=m, [En]=kg m2 s−2=J and [α]=1, so every displayed identity is dimensionally consistent;

(e) the bottom of the continuous spectrum of the total two-body operator is E1=−μκ22ℏ2, which coincides with the relative ground energy, and the total operator has no eigenvalue there.

The identities are conditional model computations in terms of declared parameters; no numerical value of any parameter is assigned, and no measured quantity is reported. A numerical evaluation of E1 requires measured values of constants such as α and of the mass ratio m1/m2 as qualified empirical premises; it is not performed here.

Verification

Given: The declared Coulomb and two-body model with ℏ,m,m1,m2,κ,q,ε0,c>0; α=κ/(ℏc); aκ=ℏ2/(mκ); μ=m1m2/(m1+m2); the bound-energy and two-body results of the cited items.

[L1] One-centre bound energies. The eigenvalues of Hκ are exactly En=−mκ22ℏ2n2=−ℏ22maκ2n2, n≥1 (The one-centre Coulomb model: bound energies, n^2-degeneracy, completeness of the bound states in the negative spectral subspace and the continuum clauses (a), (b), Ground radial probability and units clause (e)).

[L2] Two-body energies and threshold. The relative bound energies are En=−μκ22ℏ2n2, the reduced mass is μ=m1m2m1+m2=m11+m1/m2, and the bottom of the continuous spectrum of the total operator is −μκ22ℏ2, each En being a threshold and not an eigenvalue (The declared two-body Coulomb model: reduced-mass decomposition, relative levels as thresholds and the absence of stationary total states clauses (b), (c), (e), The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clause (d)).

[L3] Units and conventions. The reference units are m, s, kg, C; the dimension map assigns [ℏ]=kg m2 s−1, energy [⋅]=kg m2 s−2, length [⋅]=m and charge [q]=C, with c in m s−1 and ε0=(μ0c2)−1, so [κ]=[q2ε0]=kg m3 s−2 and [α]=1; numerical values of the measured constants are not fixed (Dimensions, SI unit conventions and quantity types of the framework clauses (b), (c), (d)).

Proof technique: direct; substitute the definitions of aκ, α and μ into the model's bound-energy formulae and check the units by the dimension map.

Given: The data of the statement and [L1]-[L3].

1.1givenL1algebra

[Length-scale identity] By definition aκ=ℏ2mκ, so aκ2=ℏ4m2κ2 and ℏ22maκ2=ℏ22m⋅m2κ2ℏ4=mκ22ℏ2; multiplying by n−2 gives the equality of the two expressions for En in (a), and n=1 gives E1=−mκ22ℏ2=−ℏ22maκ2.

1.2givenL1algebra

[Fine-structure parametrisation] By definition α=κℏc, hence κ=αℏc and κ2=α2ℏ2c2; substituting into En=−mκ22ℏ2n2 gives En=−mα2c22n2, and substituting into aκ=ℏ2mκ gives aκ=ℏ2mαℏc=ℏmαc; this is (b).

1.3givenL1L2algebra

[Reduced-mass factor] By [L2], En=−μκ22ℏ2n2 and μ=m11+m1/m2, so μ=μm1⋅m1 gives En=μm1(−m1κ22ℏ2n2), where the bracket is the fixed-nucleus energy of the one-centre model with mass parameter m1; since m1,m2>0 one has 0<11+m1/m2<1, so the relative binding magnitudes are strictly smaller than the fixed-nucleus ones. This is (c).

1.4givenL3algebra

[Dimensions] Using [L3]: [aκ]=[ℏ]2[m][κ]=(kg m2 s−1)2kg⋅kg m3 s−2=m; [mκ2ℏ2]=kg⋅(kg m3 s−2)2(kg m2 s−1)2=kg m2 s−2=J; [ℏmαc]=kg m2 s−1kg⋅1⋅m s−1=m; and [α]=[κ][ℏ][c]=kg m3 s−2kg m2 s−1⋅m s−1=1. Hence the identities of (a) and (b) are dimensionally consistent, which is (d).

2.1step 1.1step 1.2step 1.3step 1.4L2∎

[Threshold and assembly] By [L2] the bottom of the continuous spectrum of the total operator is −μκ22ℏ2=E1, and the relative ground energy is a threshold and not an eigenvalue of the total operator, which is (e). Steps 1.1, 1.2, 1.3 and 1.4 give (a)-(d); no numerical value of any parameter was used, so the example is conditional as recorded.

Remarks

  • Why no numbers appear. Evaluating E1 in electronvolts would require measured inputs such as the fine-structure constant and the electron-to-proton mass ratio; the model's own parameters are not measured by this page, and the empirical premises, their uncertainties and the comparison with observed spectra belong to a dedicated experiment item, which does not yet exist.
  • Fixed-nucleus reference. The bracket in (c) is the fixed-nucleus energy of the one-centre model with mass parameter m1; it is a reference quantity of the declared limiting reading and not a measured quantity, and the limit m2→∞ is a declared reading, not an operator convergence theorem.
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

Low-lying radial distributions of the Coulomb model: normalisations, moments and the failure of cross-l orthogonality of reduced functions

Physical scope

An exact computation of the reduced radial functions, their normalisations and low moments for the states with n = 1 and n = 2 of the declared one-centre Coulomb model, together with the explicit check that reduced radial functions of different angular momentum are not orthogonal in L^2(dr). The example is a conditional model computation in terms of the declared parameters; it reports no measured radius or density, identifies no size with a laboratory length, and asserts no orbit or trajectory.

Example

Adopt the declared one-centre Coulomb model The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clauses (a)-(c) with parameters ℏ>0, m>0, coupling κ>0 and a:=aκ=ℏ2/(mκ), and the radial reading of The one-centre Coulomb model: position and radial distributions of the bound states, with the ground-state density and its scales. In the notation of that item, unl denotes the reduced regular solution with ψnlm(x)=unl(r)Ylm(Ω)/r and pnl=∣unl∣2/∥unl∥22 the radial density of the normalised bound state. For the three reduced solutions below choose the normalisation ∥unl∥2=1 and the phase for which the coefficient cnl multiplying the displayed Laguerre polynomial-exponential expression is positive real. Then:

(a) u10(r)=2a−3/2r e−r/a and u20(r)=2−3/2a−3/2(2r−r2a)e−r/(2a) and u21(r)=2−3/23−1/2a−5/2r2e−r/(2a);

(b) ∥u10∥2=∥u20∥2=∥u21∥2=1, so for these states the reduced solution is already normalised and pnl=∣unl∣2;

(c) the moments ∫0∞r p10(r) dr=3a2,∫0∞r2p10(r) dr=3a2,∫0∞r p20(r) dr=6a,∫0∞r p21(r) dr=5a, and ∫0∞p20(r)r dr=∫0∞p21(r)r dr=14a;

(d) the same-l pair is orthogonal, ∫0∞u10(r)u20(r) dr=0, while the different-l pair is not: ∫0∞u20(r)u21(r) dr=−32≠0, so the reduced radial functions of different angular momentum are not orthogonal in L2((0,∞),dr), the orthogonality of the full bound states being carried by the angular factor;

(e) the closed forms of (a) agree with the standard radial functions Rnl=unl/r of the cited treatments for these states, and the value ∫r pnl for the circular state n=2, l=1 agrees with the general circular-orbit formula ⟨r⟩n,n−1=n(n+12)a at n=2;

(f) Scope. The computation is conditional on the declared model and the cited mathematics; a is a model scale, the moments are moments of the model's radial reading and not measured radii, and no measurement, orbit or trajectory is asserted.

Verification

Given: The declared one-centre Coulomb model with ℏ,m,κ>0, a=ℏ2/(mκ), γ=2/a; the reduced solutions unl of the model with ψnlm=unl(r)Ylm(Ω)/r; the Axiom of Countable Choice.

[L1] Exponential moments. For every λ>0 and integer k≥0, ∫0∞rke−λrdr=k!/λk+1 (Moments of the exponential law on the half-line).

[L2] Reduced solutions. unl(r)=cnlrl+1e−r/(na)Ln−l−1(2l+1)(2r/(na)) with cnl≠0 and Lj(a) the Laguerre polynomial Lj(a)(x)=∑i=0j(−1)i(j+aj−i)xi/i!; for j=0 one has L0(a)=1 and for j=1 one has L1(a)(x)=1+a−x (Kummer recurrence and termination clause (d), The one-centre Coulomb model: position and radial distributions of the bound states, with the ground-state density and its scales clause (c)).

[L3] Radial reading. For a radial set the position law of the normalised bound state is ∫abpnl(r)dr with pnl=∣unl∣2/∥unl∥22, and ∫0∞pnldr=1 (The one-centre Coulomb model: position and radial distributions of the bound states, with the ground-state density and its scales clause (a), Position and momentum outcome laws of the massive spin-s model clause (b)).

Proof technique: direct; insert the Laguerre data into the closed forms, evaluate the resulting elementary integrals with the exponential-moments lemma, and compare with the cited radial functions.

Given: The data of the statement and [L1]-[L3].

1.1givenL2algebra

[Closed forms] For n=1, l=0: j=0, k=1/(na)=1/a, so [L2] gives u10(r)=c re−r/a. For n=2, l=0: j=1, L1(1)(x)=2−x and k=1/(2a), so u20(r)=c re−r/(2a)(2−r/a). For n=2, l=1: j=0, L0(3)=1 and k=1/(2a), so u21(r)=c r2e−r/(2a). The constants c are fixed by the normalisation condition ∥unl∥2=1, evaluated in the next step, giving the displayed coefficients of (a).

2.1step 1.1L1algebra

[Normalisations] By [L1] with λ=2/a: ∫0∞r2e−2r/adr=2/(2/a)3=a3/4 and ∫0∞r4e−2r/adr=24/(2/a)5=3a5/4; hence ∫0∞(2a−3/2re−r/a)2dr=4a−3⋅a3/4=1, so c=2a−3/2 for u10 and ∥u10∥2=1. By [L1] with λ=1/a: ∫0∞r2e−r/adr=2a3, ∫0∞r3e−r/adr=6a4, ∫0∞r4e−r/adr=24a5; expanding (2−r/a)2=4−4r/a+r2/a2 gives ∫0∞r2(2−r/a)2e−r/adr=8a3−24a3+24a3=8a3, so c=2−3/2a−3/2 yields ∥u20∥2=1; and c2∫r4e−r/adr=c2⋅24a5=1 gives c=24−1/2a−5/2=2−3/23−1/2a−5/2 for u21. This is (b).

2.2step 1.1L1algebra

[Moments of the ground state] With p10=4a−3r2e−2r/a, [L1] gives ∫0∞r p10(r)dr=4a−3⋅3!/(2/a)4=4a−3⋅6a4/16=3a/2 and ∫0∞r2p10(r)dr=4a−3⋅4!/(2/a)5=4a−3⋅24a5/32=3a2. Thus the variance is 3a2−(3a/2)2=3a2/4.

2.3step 1.1L1algebra

[Moments of the n=2 states] With p20=2−3a−3r2(2−r/a)2e−r/a and p21=24−1a−5r4e−r/a, [L1] gives ∫r p20=2−3a−3∫r3(2−r/a)2e−r/adr=2−3a−3⋅a4∫x3(4−4x+x2)e−xdx=2−3a−3⋅a4(4⋅3!−4⋅4!+5!)=2−3a−3⋅48a4=6a; and ∫r p21=24−1a−5⋅5!a6=5a. Moreover ∫r−1p20=2−3a−3∫r(2−r/a)2e−r/adr=2−3a−3(4⋅1! a2−4⋅2! a2+3! a2)=2−3a−3⋅2a2=a−1/4, and ∫r−1p21=24−1a−5⋅3!a4=a−1/4. This is (c).

2.4step 1.1L1algebra

[Overlaps] With u10=2a−3/2re−r/a and u20=2−3/2a−3/2(2r−r2/a)e−r/(2a) one has ∫u10u20dr=2−1/2a−3∫(2r2−r3/a)e−3r/(2a)dr; by [L1] with λ=3/(2a), ∫r2e−3r/(2a)dr=2(2a/3)3=16a3/27 and ∫r3e−3r/(2a)dr=6(2a/3)4=32a4/27, so the bracket is 2⋅16a3/27−(32a4/27)/a=0: the same-l pair is orthogonal. With u21=2−3/23−1/2a−5/2r2e−r/(2a), the cross overlap is ∫u20u21dr=2−33−1/2a−4∫(2r3−r4/a)e−r/adr=2−33−1/2a−4(2⋅6a4−24a4)=2−33−1/2(−12)=−3/(23)=−3/2, nonzero. This is (d).

3.1step 1.1step 2.3L1L2L3∎

[Cross-checks and scope] Since Rnl=unl/r, step 1.1 gives R10=2a−3/2e−r/a, R20=2−3/2a−3/2(2−r/a)e−r/(2a) and R21=2−3/23−1/2a−3/2(r/a)e−r/(2a), which agree with the cited tabulated radial functions, and the value 5a of step 2.3 agrees with the circular-orbit formula ⟨r⟩n,n−1=n(n+12)a at n=2; this is (e). Only the declared model, the cited mathematics and the exponential-moments lemma were used, and a remains a model scale, so the scope statement (f) holds.

Remarks

  • Why cross-l overlaps need not vanish. The full bound states ψnlm and ψn′l′m′ are orthogonal in L2(R3) whenever the angular factors Ylm,Yl′m′ are orthogonal, even if the reduced radial functions overlap; the nonzero value −3/2 computed in (d) is exactly such a case. No orthogonality of reduced functions across angular momenta is claimed anywhere on this pair.
  • Moments are readings, not measurements. The mean radius and the inverse radius are moments of the model's radial reading; the inverse-radius value 1/(4a) for the two n=2 states is a consistency check with the model's virial-type relation and is not compared with any measured quantity here.
RemarkRemark: AI-adaptedProof: Not applicableOpen item page →

Empirical status of the hydrogen spectrum on this pair: pending spectroscopy evidence and the limits of the model's spectral statements

Physical scope

A status record for the empirical comparison of the Coulomb model's spectrum with hydrogen spectroscopy: the model's spectral statements, what a comparison would presuppose, why no experiment item is built in this batch, and the deferral of transition-frequency and line-intensity statements to the radiation and light-matter items. The record asserts no measured line, no wavelength, no frequency and no empirical result, and it does not endorse or reproduce any numerical value appearing in the cited source treatments.

Remarks

  • What the pair's spectral statements are. The model's content is the conditional spectral statement of The one-centre Coulomb model: bound energies, n^2-degeneracy, completeness of the bound states in the negative spectral subspace and the continuum: bound energies En=−mκ22ℏ2n2 with n2-fold model degeneracy, a complete negative spectral subspace and a nonzero continuum, together with the two-body threshold reading of The declared two-body Coulomb model: reduced-mass decomposition, relative levels as thresholds and the absence of stationary total states. These are statements about the declared model and its assigned parameters; they are not statements about any measured hydrogen line.

  • Why no experiment appears on this pair. The design reservation for this pair names a spectroscopy data candidate and marks it pending. No source-backed observation record with preparation, apparatus, calibration, sampling and uncertainty was harvested for this batch, so no experiment item is built and no measured wavelength, frequency or transition is reported. The source treatments do describe the Lyman, Balmer, Paschen and Brackett series and the historical Balmer fit; this page neither reproduces their numerical values nor treats them as its own observations, and the comparison of the model with measured spectra is deferred to a future experiment item carrying its own uncertainty record.

  • What a comparison would presuppose. An emission-frequency illustration, conditional on an initial model energy Ei greater than the final energy Ef, uses ν=(Ei−Ef)/h together with the radiation extension and the light-matter coupling of later pairs; no transition-frequency claim is made on this page. Any comparison with a measured line would test the combined model, apparatus and constant assumptions: the preparation and isolation idealization, the identification of the species parameters with measured masses and charges, the treatment of linewidth, Doppler and instrumental response, and the sampling model of the recorded sample. Agreement of a finite set of measured lines with the predicted values would be evidence about the combined assumptions; it would not be a deductive proof of the model, and disagreement would require the same auxiliary assumptions to be examined before the model is rejected.

  • Excluded corrections and their status. The gross-structure model omits spin, relativistic fine structure, finite nuclear size, QED corrections including the Lamb shift, hyperfine structure and shielding, as recorded in The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clause (f); the source treatments describe some of these corrections and their consequences, but no magnitude, splitting or numerical value is asserted or used by this pair.

  • Identification caution. The assignment of the model's parameters to a laboratory hydrogen atom is the tested identification of clause (e) of the model definition under the preparation and apparatus postulate (Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions); it is not derived from the mathematics of the model and carries the uncertainty of that identification. The model's spectral statements remain conditional until such an identification, with its qualifications, is supplied.

RemarkRemark: AI-adaptedProof: Not applicableOpen item page →

Scope of the central-potential and hydrogen examples page

Physical scope

A scope record for the examples companion of the central-potential and hydrogen pair: the conditional computations it contains, their model reliance and the content it does not supply. The record asserts no mathematical theorem and no empirical result.

Remarks

Sources