Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Regulated relative Kepler phase volume and shell law

Definition

Use SI units, positive masses m1,m2 in kg, reduced mass μ=m1m2/(m1+m2), gravitational parameter A=Gm1m2 in J m, relative position q∈R3 in m, relative momentum p∈R3 in kg m s−1, and a fixed action reference h∗>0 in J s. Assume r0>0 and R>16r0. The relative phase domain is Γrel={(q,p):r0≤∣q∣≤R, p∈R3},dνrel=d3q d3ph∗3, with no center-of-mass variables or factor 1/2!. The relative Hamiltonian is h(q,p)=∣p∣22μ−A∣q∣.

For E=−e<0 with A/R<e≤A/(16r0), put δ=er0/A∈(0,1/16] and J(δ)=∫δ1s1/2(1−s)3/2 ds,Ω(E)=νrel{(q,p)∈Γrel:h(q,p)≤E}. The radial integration formula of Radial integration over a bounded Euclidean shell gives the explicit phase volume Ω(−e)=(4π)(4π/3)(2μ)3/2A3h∗3 e−3/2J(δ). This is finite and positive on the stated branch.

Define S2={u∈R3:∣u∣=1} and p∗(r,E)=2μ(E+A/r) for r0≤r≤A/e. Let dσ be the angular area measure of total mass 4π from Radial integration over a bounded Euclidean shell. Push the finite measure (μp∗/h∗3)d3q dσ(u) on {r0≤∣q∣≤A/e}×S2 forward by (q,u)↦(q,p∗(∣q∣,E)u); call the resulting measure ΣE. Its candidate normalized shell law is PE=ΣE/Ω′(E). The separate result Finite regulated Kepler shell measure is normalized ↗ proves Ω′(E)>0, finite total mass, and PE({h=E})=1. Thus the energy-shell preparation is explicitly defined; it is not inferred from phase-volume counting alone.

The entropy convention attached to this model is Gibbs volume, SG(E)=kBlog⁡Ω(E), with 1/TG=dSG/dE and CG=dE/dTG where defined. Other finite-system entropy conventions are distinct.

Depends on

Dependency tree · 2 levels

Sources