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
- Absolute and Conditional Convergence; Rearrangement; Products
- Absolute Continuity and the Sharp Fundamental Theorem of Calculus
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Analyticity of Holomorphic Functions; Liouville and Morera
- Approximation and Compactness in C(K)
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Banach Alaoglu Goldstine and Krein Milman
- Banach Algebras Spectrum and Holomorphic Functional Calculus
- Banach Valued Integration and the Radon Nikodym Property
- Banach-Space Differential Calculus and Banach Manifolds
- Bessel-Potential Completions and Real-Order Sobolev Spaces
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Cm Math Geometry
- Compact Operators and Riesz Schauder Theory
- Compact Self Adjoint Hilbert Schmidt and Trace Class Operators
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Lp Spaces and Test-Function Conventions
- Complex Power Series and Analytic Functions
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Continuous Functional Calculus for Self Adjoint and Normal Operators
- Contour Integration
- Convergence: Nets and Filters
- Convexity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Cyclic Groups and Direct Products
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Differentiation of Monotone Functions and the Vitali Covering Theorem
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces Adjoint Operators and Annihilators
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Euclidean Surface Measure, Divergence, and Green Identities
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Probability and the Probabilistic Method
- Foundations of the Real Numbers for Analysis
- Fourier Multipliers and Sobolev Characterisations
- Fourier Transform Convolution and Approximate Identities
- Fredholm Elliptic Problems and the Elliptic Spectrum
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Gelfand Theory and Commutative C Star Algebras
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harmonic Functions and Mean Values in Rn
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Interior and Boundary Sobolev Elliptic Regularity
- Lax--Milgram and Weak Elliptic Solutions
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Order, Zorn's Lemma, and the Axiom of Choice
- Orthonormal Bases, Parseval and Fourier Series
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- pi: the Equivalent Characterizations
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Poisson Problems and Interior Harmonic Estimates
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Qm Autonomous Dynamics
- Qm Central Potentials And Hydrogen
- Qm Framework And Quantities
- Qm Massive Particle Kinematics
- Qm Math Composites
- Qm Math Coulomb
- Qm Math Fock And Equilibrium
- Qm Math Intervals And Contacts
- Qm Math Magnetic And Detection
- Qm Math Orbital And Spin
- Qm Math Oscillator
- Qm Observables And Born Probabilities
- Qm One Dimensional Potentials
- Qm State Geometry
- Radon Measures and the Riesz Markov Kakutani Theorem
- Reflexivity and Eberlein Smulian
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Schwartz Space and the Plancherel Theorem
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Approximation and Sobolev Extension
- Smooth Partitions of Unity and Exhaustions
- Sobolev Poincare and Morrey Inequalities
- Sobolev Traces and Zero Boundary Values
- Spectral Measures and Borel Functional Calculus
- Splitting Fields
- Stone–Weierstrass in General
- Strongly Continuous Semigroups and Hille Yosida
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tempered Distributions and the Fourier Transform
- Tensor Products of Modules
- The Analytic Hahn Banach Theorem
- The Baire Principles of Functional Analysis
- The Branching Rule and the Young Graph
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Duality of Lᵖ and L^q
- The Exponential Function
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Group Algebra and Representations of Finite Groups
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The Real Gamma and Beta Functions
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Unbounded Self Adjoint Operators and Stones Theorem
- Uniform Spaces: the Three Definitions
- Unitary Representations, Positive Type and GNS
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Weak and Weak Star Topologies
- Weak Derivatives and Sobolev Spaces
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 hydrogen branch, , with on the equal-magnitude charge branch . It also verifies the reduced-mass factor 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 , their radial densities and the moments , , and , 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
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.
Low-lying radial distributions of the Coulomb model: normalisations, moments and the failure of cross-l orthogonality of reduced functions
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 , , coupling and , 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, denotes the reduced regular solution with and the radial density of the normalised bound state. For the three reduced solutions below choose the normalisation and the phase for which the coefficient multiplying the displayed Laguerre polynomial-exponential expression is positive real. Then:
(a) and and ;
(b) , so for these states the reduced solution is already normalised and ;
(c) the moments and
(d) the same- pair is orthogonal, , while the different- pair is not: , so the reduced radial functions of different angular momentum are not orthogonal in , 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 of the cited treatments for these states, and the value for the circular state , agrees with the general circular-orbit formula at ;
(f) Scope. The computation is conditional on the declared model and the cited mathematics; 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 , , ; the reduced solutions of the model with ; the Axiom of Countable Choice.
[L1] Exponential moments. For every and integer , (Moments of the exponential law on the half-line).
[L2] Reduced solutions. with and the Laguerre polynomial ; for one has and for one has (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 with , and (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].
[Closed forms] For , : , , so [L2] gives . For , : , and , so . For , : , and , so . The constants are fixed by the normalisation condition , evaluated in the next step, giving the displayed coefficients of (a).
[Normalisations] By [L1] with : and ; hence , so for and . By [L1] with : , , ; expanding gives , so yields ; and gives for . This is (b).
[Moments of the ground state] With , [L1] gives and . Thus the variance is .
[Moments of the states] With and , [L1] gives ; and . Moreover , and . This is (c).
[Overlaps] With and one has ; by [L1] with , and , so the bracket is : the same- pair is orthogonal. With , the cross overlap is , nonzero. This is (d).
[Cross-checks and scope] Since , step 1.1 gives , and , which agree with the cited tabulated radial functions, and the value of step 2.3 agrees with the circular-orbit formula at ; this is (e). Only the declared model, the cited mathematics and the exponential-moments lemma were used, and remains a model scale, so the scope statement (f) holds.
Remarks
- Why cross- overlaps need not vanish. The full bound states and are orthogonal in whenever the angular factors are orthogonal, even if the reduced radial functions overlap; the nonzero value 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 for the two states is a consistency check with the model's virial-type relation and is not compared with any measured quantity here.
Empirical status of the hydrogen spectrum on this pair: pending spectroscopy evidence and the limits of the model's spectral statements
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 with -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 greater than the final energy , uses 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.
Scope of the central-potential and hydrogen examples page
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
-
What the page contains. Two conditional computations and one status record in the declared Coulomb model: the exact equivalence of the bound-energy parametrisations in terms of , and , the reduced-mass factor between the relative and fixed-nucleus energies, and the dimensional checks of those identities (Bound-energy parametrisations of the Coulomb model: exact identities, units and the reduced-mass factor); the explicit reduced radial functions, normalisations and low moments for the states with , including the check that reduced radial functions of different angular momentum are not orthogonal (Low-lying radial distributions of the Coulomb model: normalisations, moments and the failure of cross-l orthogonality of reduced functions); and the empirical-status record deferring the comparison with measured spectra (Empirical status of the hydrogen spectrum on this pair: pending spectroscopy evidence and the limits of the model's spectral statements).
-
What the page does not contain. No experiment, no reported line, no wavelength or frequency value, no count, no calibration and no statistical inference appears; no item assigns a numerical value to any model parameter or measured constant, and none of the computations establishes that the model or its postulates describes nature. The identification of a concrete hydrogen atom with the declared model is a tested identification under the preparation and apparatus postulate (Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions) and is not made here.
-
Dependence on the A page. Every statement of the page is conditional on the declared Coulomb model, its assigned energy observable and the spectral theorem (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 model scales and the energies are model data, not measured lengths or energies.
-
Deferred content. Transition frequencies, line intensities, selection rules and photon statements belong to the radiation and light-matter items of the quantum-mechanics track; scattering and ionisation belong to the three-dimensional scattering pair. The numerical spectroscopic comparison remains a pending experiment candidate and is not anticipated by any claim of this page.
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))
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 8.1.2, printed pages 187-193 (Table 8.1 of radial eigenfunctions for n <= 3, equation (8.37) <r> = n(n+1/2)a_0/Z for circular orbits and equations (8.52)-(8.60) for <r^-1>, <r^-2>, <r^-3>)
- D. Tong, Quantum Mechanics (author-hosted lecture set), Section 4.3.2, printed pages 116-117 (the generalised Laguerre radial functions L^{2l+1}_{n-l-1}(2r/(n r_B)) and the ground state)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 10.4, printed pages 229-235 (the explicit Laguerre eigenfunctions and their normalisation)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 8.1.1, printed page 186 (the emission-line spectrum nu = (R/h)(1/n'^2 - 1/n^2), the Lyman, Balmer, Paschen and Brackett series and the historical Balmer fit as evidence for the model); Section 8.1.3, printed pages 190-192 (the Lamb shift and shielding as corrections beyond the gross-structure model)
- D. Tong, Quantum Mechanics (author-hosted lecture set), Section 4.3.1, printed pages 115-116 (the Rydberg scale, the infinite number of bound states and the fine-structure exclusion, with the numerical value alpha ~ 1/137)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 8.1, printed pages 182-193 (the gross-structure model, its radial eigenfunctions and the historical series evidence discussed on this page)
- D. Tong, Quantum Mechanics (author-hosted lecture set), Section 4.3, printed pages 111-117 (the hydrogen atom, its spectrum, the Bohr radius and the ground-state wavefunction)