pith. sign in

arxiv: 2312.05542 · v1 · pith:6GPJ6XMMnew · submitted 2023-12-09 · 🧮 math.DS · math-ph· math.MP· physics.class-ph

Geometric properties of integrable Kepler and Hooke billiards with conic section boundaries

Daniel Jaud , Lei Zhao This is my paper

Pith reviewed 2026-05-24 05:05 UTC · model grok-4.3

classification 🧮 math.DS math-phmath.MPphysics.class-ph
keywords Kepler billiardsHooke billiardsconic sectionsfoci lociCassini ovalintegrable systemsbilliard reflectiondirectrix envelope
0
0 comments X

The pith

In Kepler billiards with conic boundaries the second foci of reflected orbits lie on a fixed circle.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines billiard motion of a particle under Kepler or Hooke central force that reflects off conic-section walls chosen to share the force center. These systems are integrable. The authors track successive orbits by the foci of the ellipses they trace between reflections. They prove that the second focus remains on a single circle throughout the Kepler dynamics. In the Hooke case the foci instead trace a Cassini oval, and both cases include an analysis of the envelope formed by the directrices.

Core claim

We show that the second foci of these orbits always lie on a circle in the Kepler case. In the Hooke case, we show that the foci of the orbits lie on a Cassini oval. For both systems we analyze the envelope of the directrices of the orbits as well.

What carries the argument

The loci traced by the foci of successive reflected conic orbits under the billiard reflection map.

If this is right

  • The billiard map reduces to a simpler dynamics on the circle or Cassini oval.
  • Periodic orbits correspond to closed trajectories on these fixed loci.
  • The envelope of the directrices supplies an additional geometric invariant for the flow.
  • The reflection law preserves the conic type of each orbit segment.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Angle coordinates on the circle could yield an explicit closed-form solution for the Kepler billiard map.
  • The Cassini oval may encode a product-of-distances invariant that links directly to the Hooke energy.
  • Similar focus loci might appear for other central forces whose level sets are conics.

Load-bearing premise

The conic boundary must share a focus with the Kepler center or its geometric center with the Hooke center.

What would settle it

Numerical iteration of the billiard map inside a specific ellipse under inverse-square force, with the second-focus coordinates plotted to test whether they satisfy the equation of one common circle.

Figures

Figures reproduced from arXiv: 2312.05542 by Daniel Jaud, Lei Zhao.

Figure 1
Figure 1. Figure 1: Left: Representations of the considered cases for the Kepler system. Right: Representation of the considered cases for the Hooke system. 3 Kepler billiards 3.1 First integrals and envelopes In this section we derive the first integral in addition to the total energy for the Kepler billiard we set up. We first present a geometrical proof. Then we show that this agrees with the geometrical interpretation of … view at source ↗
Figure 2
Figure 2. Figure 2: Top: Consecutive flight ellipses with reflection along elliptic boundary and envelope curves E± (dash-dotted). Bot￾tom: Geometric construction of consecutive foci Fi lying upon the same circle C (dashed) around F ′ . been shown [Lem 2, [Takeuchi and Zhao(2024)]] that for the elliptic bound￾ary the quantity D = L 2 − 2cKA1 is a conserved quantity. As in [Felder(2021)], (at least) in the case of α < 0, we ma… view at source ↗
Figure 3
Figure 3. Figure 3: Representative ”string construction” for the two [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Graphical representation for the asymptotic behav [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Illustration of Cassini ovals (right) for differen [PITH_FULL_IMAGE:figures/full_fig_p018_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Cassini foci curve C(cH, RH ) (dashed), associated flight ellipses and envelope E+ (dash-dot) for cH = 1 and RH = √4 2. Proof. This is a direct consequence of the Focal Reflection Property, Thm. 3.5 in the Kepler system. The Kepler conics passing through the second focus of the boundary are pulled back by z 7→ q = z 2 to Hooke conics passing through both foci of the boundary. Without loss of generality we … view at source ↗
Figure 7
Figure 7. Figure 7: Envelope curves for family of directrices for [PITH_FULL_IMAGE:figures/full_fig_p020_7.png] view at source ↗
read the original abstract

We study the geometry of reflection of a massive point-like particle at conic section boundaries. Thereby the particle is subjected to a central force associated with either a Kepler or Hooke potential. The conic section is assumed to have a focus at the Kepler center, or have its center at the Hookian center respectively. When the particle hits the boundary it is ideally reflected according to the law of reflection. These systems are known to be integrable. We describe the consecutive billiard orbits in terms of their foci. We show that the second foci of these orbits always lie on a circle in the Kepler case. In the Hooke case, we show that the foci of the orbits lie on a Cassini oval. For both systems we analyze the envelope of the directrices of the orbits as well.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript studies billiard motion of a particle under Kepler or Hooke central forces reflecting from conic-section boundaries aligned so that a focus (Kepler) or center (Hooke) coincides with the force center. The systems are stated to be integrable. The central claims are that the second foci of successive reflected orbits lie on a circle in the Kepler case, that the foci lie on a Cassini oval in the Hooke case, and that the envelopes of the directrices can be analyzed explicitly for both systems.

Significance. If the geometric loci are rigorously derived from the reflection law and the given alignment of the conic, the results supply concrete, explicit descriptions of the foci and directrix envelopes in these integrable central-force billiards. Such descriptions could aid visualization of the caustic structure and the organization of periodic orbits without requiring numerical integration.

minor comments (2)
  1. [Abstract] The abstract asserts the main geometric results but does not outline the key steps or invoke specific properties of the reflection law or conic sections that are used in the derivations; a brief indication of the argument structure would improve readability.
  2. The manuscript relies on the prior knowledge that the systems are integrable; a short reference or one-sentence reminder of the conserved quantities would help readers who are not already familiar with the cited integrability results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No major comments appear in the report, so we have no points requiring response or revision at this time.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states that the systems are known to be integrable and then derives geometric loci (second foci on a circle for Kepler; foci on Cassini oval for Hooke) as consequences of the reflection law applied to conics with the stated focus/center condition at the force center. No equations reduce a claimed prediction to a fitted input by construction, no self-citation is load-bearing for the central geometric statements, and no ansatz or uniqueness theorem is smuggled in. The derivation chain is self-contained against standard conic-section and billiard-reflection properties.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Claims rest on standard facts about central-force orbits being conics and the law of reflection; no free parameters, new entities, or ad-hoc axioms visible in abstract.

axioms (2)
  • standard math Particle orbits under Kepler or Hooke central forces are conic sections sharing the force center as focus or center.
    Classical result from Newtonian mechanics invoked to describe free segments between bounces.
  • domain assumption Reflection obeys the law that angle of incidence equals angle of reflection.
    Standard idealization for mathematical billiards stated in the setup.

pith-pipeline@v0.9.0 · 5669 in / 1160 out tokens · 25312 ms · 2026-05-24T05:05:41.229851+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    [Barrera et al.(2023)Barrera, Ruz-Cuen and Guti´ errez-Vega] Barrera, B., Ruz-Cuen, J.P., Guti´ errez-Vega, J.C.,

    work page 2023

  2. [2]

    Elliptic bil liard with har- monic potential: Classical description. Phys. Rev. E 108, 0 34205. URL: https://link.aps.org/doi/10.1103/PhysRevE.108.034205, doi:10.1103/PhysRevE.108.034205. [Barutello and Blasi(2023)] Barutello, V.L., Blasi, I.D.,

    work page doi:10.1103/physreve.108.034205 2023

  3. [3]

    arXiv:2312.01312

    A note on chaotic billiards with potentials. arXiv:2312.01312. [Barutello et al.(2023)Barutello, Blasi and Terracini] Ba rutello, V.L., Blasi, I.D., Terracini, S.,

    work page arXiv 2023

  4. [4]

    Nonlinearity 36, 4209–4246

    Chaotic dynamics in re- fraction galactic billiards. Nonlinearity 36, 4209–4246. URL: https://doi.org/10.1088%2F1361-6544%2Facdec2, doi:10.1088/1361-6544/acdec2. [Boltzmann(1868)] Boltzmann, L.,

    work page doi:10.1088/1361-6544/acdec2

  5. [5]

    A Paris, de l’Imprimerie royale

    El` ements d’astronomi e. A Paris, de l’Imprimerie royale. M. DCCXL. 22 [Fedorov(2001)] Fedorov, Y.N.,

    work page 2001

  6. [6]

    An ellipsoidal billi ard with a quadratic potential. Funct. Anal. Appl. 35, 199–208. [Felder(2021)] Felder, G.,

    work page 2021

  7. [7]

    [Gallavotti and Jauslin(2020)] Gallavotti, G., Jauslin, I .,

    URL: https://doi.org/10.1007%2Fs11005-020-01348-z , doi:10.1007/s11005-020-01348-z . [Gallavotti and Jauslin(2020)] Gallavotti, G., Jauslin, I .,

    work page doi:10.1007/s11005-020-01348-z 2020

  8. [8]

    arXiv:2008.01955

    A theo- rem on ellipses, an integrable system and a theorem of boltzm ann. arXiv:2008.01955. [Gasiorek and Radnovi´ c(2023)] Gasiorek, S., Radnovi´ c, M .,

    work page arXiv 2008

  9. [9]

    arXiv:2307.04991

    Peri- odic trajectories and topology of the integrable boltzmann system. arXiv:2307.04991. [Goursat(1887)] Goursat, E.,

    work page arXiv

  10. [10]

    Verlag von G

    Vorlesungen ¨ uber Dy namik. Verlag von G. Reimer. [Jaud(2023)] Jaud, D.,

    work page 2023

  11. [11]

    Journal of Geometry and Physics 194, 104998

    Gravitational billiards boun c- ing inside general domains - foci curves and confined do- mains. Journal of Geometry and Physics 194, 104998. URL: https://www.sciencedirect.com/science/article/pii/S0393044023002504, doi:https://doi.org/10.1016/j.geomphys.2023.104998, arXiv:2211.03788. [Maclaurin(1742)] Maclaurin, C.,

    work page doi:10.1016/j.geomphys.2023.104998 2023

  12. [12]

    [Masalovich(2014)] Masalovich, S.,

    work page 2014

  13. [13]

    Nuclear Instruments and Meth - ods in Physics Research Section A: Accelerators, Spectrome - ters, Detectors and Associated Equipment 763, 517–520

    A remarkable foc using property of a parabolic mirror for neutrons in the gravita- tional field: Geometric proof. Nuclear Instruments and Meth - ods in Physics Research Section A: Accelerators, Spectrome - ters, Detectors and Associated Equipment 763, 517–520. URL : https://www.sciencedirect.com/science/article/pii/S0168900214008468, doi:https://doi.org/10...

    work page doi:10.1016/j.nima.2014.07.004 2014

  14. [14]

    [Takeuchi and Zhao(2022)] Takeuchi, A., Zhao, L.,

    doi: 10.1007/BF02110789. [Takeuchi and Zhao(2022)] Takeuchi, A., Zhao, L.,

    work page doi:10.1007/bf02110789 2022

  15. [15]

    Nonlinearity to ap- pear

    Pro - jective integrable mechanical billiards. Nonlinearity to ap- pear. doi: https://doi.org/10.1088/1361-6544/ad0d6f, arXiv:2203.12938. 23 [Takeuchi and Zhao(2024)] Takeuchi, A., Zhao, L.,

    work page doi:10.1088/1361-6544/ad0d6f 2024

  16. [16]

    Advances in Mathematics 436, 109411

    Con - formal transformations and integrable mechanical bil- liards. Advances in Mathematics 436, 109411. URL: https://www.sciencedirect.com/science/article/pii/S0001870823005546, doi:https://doi.org/10.1016/j.aim.2023.109411. [Zhao(2022)] Zhao, L.,

    work page doi:10.1016/j.aim.2023.109411 2023

  17. [17]

    Communications in Contemporary Mathe matics 24, 2150085

    Projective dynamics and an int egrable boltz- mann billiard model. Communications in Contemporary Mathe matics 24, 2150085. doi: 10.1142/s0219199721500851. 24

    work page doi:10.1142/s0219199721500851