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.

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.

Depends on

Dependency tree · 2 levels

Sources