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
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 of clause (d) of the declared Coulomb model. When the example is read as hydrogen, the hydrogen assignment is , so and ; for a general hydrogen-like ion the charge product is and must replace 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 , , coupling and length scale , 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 and reduced mass . Let the charge parameter be with , let be the speed of light of the SI conventions of Dimensions, SI unit conventions and quantity types of the framework clause (c), and put the dimensionless coupling of the model. Then the following identities hold exactly for the declared parameters:
(a) for every , so and ;
(b) , hence and ;
(c) the relative bound energies of the two-body model are with ;
(d) in the reference units of Dimensions, SI unit conventions and quantity types of the framework clause (b), , , , and , so every displayed identity is dimensionally consistent;
(e) the bottom of the continuous spectrum of the total two-body operator is , 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 requires measured values of constants such as and of the mass ratio as qualified empirical premises; it is not performed here.
Verification
Given: The declared Coulomb and two-body model with ; ; ; ; the bound-energy and two-body results of the cited items.
[L1] One-centre bound energies. The eigenvalues of are exactly , (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 , the reduced mass is , and the bottom of the continuous spectrum of the total operator is , each 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 , energy , length and charge , with in and , so and ; 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 , 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].
[Length-scale identity] By definition , so and ; multiplying by gives the equality of the two expressions for in (a), and gives .
[Fine-structure parametrisation] By definition , hence and ; substituting into gives , and substituting into gives ; this is (b).
[Reduced-mass factor] By [L2], and , so gives , where the bracket is the fixed-nucleus energy of the one-centre model with mass parameter ; since one has , so the relative binding magnitudes are strictly smaller than the fixed-nucleus ones. This is (c).
[Dimensions] Using [L3]: ; ; ; and . Hence the identities of (a) and (b) are dimensionally consistent, which is (d).
[Threshold and assembly] By [L2] the bottom of the continuous spectrum of the total operator is , 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 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 ; it is a reference quantity of the declared limiting reading and not a measured quantity, and the limit is a declared reading, not an operator convergence theorem.
Depends on
The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions
The one-centre Coulomb model: bound energies, n^2-degeneracy, completeness of the bound states in the negative spectral subspace and the continuum
The declared two-body Coulomb model: reduced-mass decomposition, relative levels as thresholds and the absence of stationary total states
Dimensions, SI unit conventions and quantity types of the framework
Position and momentum outcome laws of the massive spin-s model
Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions
Ground radial probability and units
The Axiom of Countable Choice ()
The Axiom of Choice
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 8.1, printed pages 184-186 (equations (8.25)-(8.27): E = -Z^2 mu e^4/(2 n^2 (4 pi eps_0 hbar)^2), the Rydberg constant R = (1/2) mu (e^2/(4 pi eps_0 hbar))^2 and E = -R/n^2)
- D. Tong, Quantum Mechanics (author-hosted lecture set), Section 4.3.1, printed pages 114-116 (equations (4.30) and (4.31): the energy spectrum and the Bohr radius, and the fine-structure-constant rewriting E = -alpha^2 m_e c^2/(2n^2))