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.
The one-centre Coulomb model: position and radial distributions of the bound states, with the ground-state density and its scales
A conditional consequence of P1, P2, P4, P5 and the declared one-centre Coulomb model: the position outcome law of any normalised bound eigenvector, the radial density |u_nl|^2/||u_nl||^2 times the angular spherical-harmonic weight for each labelled separated vector, the finite-superposition law and radial mixture for a general bound eigenvector, and the explicit ground-state density, its mean radius 3 a_kappa/2, its mode a_kappa, the positivity of the probability in every ball around the origin and the absence of an atomic probability at the origin. The scales a_kappa and the density are model data; the item asserts no measured radius, no orbit, no trajectory, no formation or decay process, and does not identify a_kappa with any measured length.
Statement
Adopt the framework postulates P1, P2, P4 and P5, the readings of 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 , , and length scale , the energy-observable reading of The one-centre Coulomb model: energy observable, flow, stationary states and spectral support, the bound-state data of 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 spin-zero position law Position and momentum outcome laws of the massive spin-s model (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, Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators, Assigned sharp observables and the outcome law of the framework). Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice). For the integer labels , , with magnetic label distinct from mass , let and be the bound vectors of the cited theorem, and write for the reduced regular solution with . Then:
(a) for every label and every Borel the position outcome law in the unit preparation is in particular, for a radial set with one has so the radial density is a probability density on : and ;
For a general unit bound eigenvector with , write , where , and set . Then and its radial marginal has density The general position density includes interference terms and need not factor as a single times one spherical-harmonic weight.
(b) for the normalized vector has a representative of the form and its radial density is the mean of is , the unique maximum of is at , the spatial density of this representative is , strictly decreasing in and maximal at the origin, and for every which tends to as : the density maximum at the origin is not an atom of probability at any point;
(c) for every label the reduced solution has the polynomial-exponential form with the Laguerre polynomial of integer order, so the radial density of the level is a polynomial times times a decreasing exponential, and its normalisation constant is fixed by ;
(d) Reading and scope. The statements are conditional on P1, P2, P4, P5, the declared Coulomb model and the cited mathematics. The radial density is the reading of the model's position observable on radial sets; it is not a trajectory, an orbit or a definite distance, and the model assigns positive probability to every open ball around the origin and to arbitrarily large radii. No measured radius, no measured density and no identification of with a laboratory length is asserted; numerical comparison requires the measured constants as qualified empirical inputs and is deferred.
Facts & Assumptions
Given: The declared one-centre Coulomb model with , , and bound vectors , ; the polar unitary and spherical harmonics of the angular-radial theory; the Axiom of Countable Choice and the Axiom of Choice.
Bound vectors as reduced solutions. For every , , one has with the regular solution of the radial equation at , the functions lie in with , and the normalised family is orthonormal (Negative-subspace completeness and degeneracy clauses (a), (b), 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)). Every unit bound eigenvector at has a finite expansion in the orthonormal vectors with , , with squared coefficient moduli summing to one (clause (b) of the latter theorem).
Regular solutions. The regular solution has the closed form with and , where is the -th Laguerre polynomial of order ; it is on and square integrable in this terminating case (Kummer recurrence and termination clauses (c), (d)); the nonterminating regular solution is not square integrable by Laguerre bound energy exhaustion clause (a).
Ground-state data and dimensionless ball bound. Write . The normalized ground eigenvector supplied by Ground radial probability and units has a representative , lies in , and satisfies . Its radial density is a probability density with mean and unique mode ; its spatial density is strictly decreasing in and maximal at the origin. With , the ball probability is exactly , and the proof of clause (d) of the cited item gives . Also under (Ground radial probability and units proof 3.2 and clauses (a)-(e), The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clause (b)).
Polar disintegration. For with square integrable and normalised in , and for every Borel , one has ; this is the polar-coordinates formula for the Lebesgue integral with the surface measure and Tonelli's theorem, together with (Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma, Tonelli's theorem for nonnegative measurable functions on a sigma-finite product, The polar surface set function on the unit sphere, Sphere ONB). In particular , and .
Position law. In a unit vector the model's Born position law is for every Borel (Position and momentum outcome laws of the massive spin-s model clause (b), Assigned sharp observables and the outcome law of the framework).
Proof
Given: The data of the statement and [F1]-[F5].
[General radial law] Fix a label. By [F1], and is a regular solution of [F2]; the unit preparation is with . By [F5] its position law is , and since the normalisation constant is a scalar, [F4] applied to gives the displayed formula for every Borel . For a radial set the indicator does not depend on and equals , so the inner integral is by [F4] and ; the density is nonnegative and integrates to one over by choosing , . This proves (a).
[General bound eigenvectors] By [F1], every unit bound eigenvector lies at one and has the stated finite expansion with . By [F4], . Inserting the finite sum into [F5] and applying polar coordinates gives the displayed law: the Jacobian cancels . For a radial event the angular integral of the squared sum has no cross terms, since the spherical harmonics are orthonormal by [F4]; thus its radial density is . This density integrates to one by step 1.1. General position events retain cross terms, so the separated product formula is asserted only for the labelled vectors. This completes the general bound-eigenvector part of (a).
[Ground state] Take , . By [F2] with one has and the regular reduced solution is , where and . With from [F4], the corresponding representative is . Polar integration gives , so the normalized representative is with and . It follows that and for the normalized ground representative of [F3]. Thus [F3] supplies the mean, unique mode, strict decrease of the spatial density and exact ball probability. Put ; [F3] gives which proves the dimensionless remainder in (b). Positivity for every and convergence to zero as follow because the exact probability formula in [F3] is strictly positive for and tends to as . This proves (b).
[Polynomial-exponential form] For a general label, [F2] with and gives with ; the normalisation is the case , of step 1.1. This is (c).
[Assembly and scope] Steps 1.1 and 2.1 give (a), step 2.2 gives (b) and step 2.3 gives (c); only the declared model, P1, P2, P4, P5 and the cited mathematics were used, so the reading is conditional as recorded in (d), no orbit, trajectory, measured radius or empirical identification is asserted, and each labelled radial density is positive except at finitely many roots of its nonzero polynomial factor in step 2.3. Its integral on every nonempty radial interval is therefore positive; hence every ball around the origin and every tail () has positive probability. The same holds for the radial mixtures in step 2.1, since some coefficient has positive squared modulus.
Remarks
- The radial density is not a radial observable. The quantity is the disintegration of the position law on radial Borel sets, a reading of the declared position observable; the model does not assign the radius as an independent sharp observable, and no commutation or measurement claim about a radius operator is made.
- Scales. The two length scales and the energy scale are model data fixed by ; the identification of with a physical Bohr radius of a hydrogen atom is the tested identification of The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clause (e) and carries its uncertainty.
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: energy observable, flow, stationary states and spectral support
The one-centre Coulomb model: bound energies, n^2-degeneracy, completeness of the bound states in the negative spectral subspace and the continuum
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
Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators
Dimensions, SI unit conventions and quantity types of the framework
Assigned sharp observables and the outcome law of the framework
Position and momentum outcome laws of the massive spin-s model
The state space of the framework: preparations, pure rays and density operators
Angular radial unitary reduction
Kummer recurrence and termination
Laguerre bound energy exhaustion
Negative-subspace completeness and degeneracy
Ground radial probability and units
Sphere ONB
Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma
Tonelli's theorem for nonnegative measurable functions on a sigma-finite product
The polar surface set function on the unit sphere
The Axiom of Countable Choice ()
The Axiom of Choice
Dependency tree · 2 levels
Sources
- D. Tong, Quantum Mechanics (author-hosted lecture set), Section 4.3.2, printed pages 116-117 (the hydrogen wavefunctions r^l f_(n,l)(r) e^(-beta r/2n) Y_lm with generalised Laguerre polynomials, the ground state psi = (1/sqrt(pi r_B^3)) e^(-r/r_B) and its nodes)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 8.1.2, printed pages 187-190 (the radial eigenfunctions u_n^l, the ground-state radial function, the r-expectation values and the probability outside classically allowed radii)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 10.4, printed pages 229-235 (the explicit normalised bound states and the lowest eigenvalue, with the ground-state formula)