Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards
Abstract
Using rigorous numerical methods, we prove the existence of 608 isolated periodic orbits in a gravitational billiard in a vibrating unbounded parabolic domain. We then perform pseudo-arclength continuation in the amplitude of the parabolic surface’s oscillation to compute large, global branches of periodic orbits. These branches are themselves proven rigorously using computer-assisted methods. Our numerical investigations strongly suggest the existence of multiple pitchfork bifurcations in the billiard model. Based on the numerics, physical intuition and existing results for a simplified model, we conjecture that for any pair , there is a constant for which periodic orbits consisting of impacts per period cannot be sustained for amplitudes of oscillation below . We compute a verified upper bound for the conjectured critical amplitude for using our rigorous pseudo-arclength continuation.
References
- 2007] “ Periodic orbits for billiards on an equilateral triangle,” Amer. Math. Month. 115, 479–491. Crossref, Web of Science, Google Scholar [
- 1997] “ Periodic orbits in polygonal billiards,” Pramana 48, 487–501. Crossref, Web of Science, Google Scholar [
- 1998] “ Periodic billiard orbits are dense in rational polygons,” Trans. Amer. Math. Soc. 350, 3523–3535. Crossref, Web of Science, Google Scholar [
- 2013] “ Global bifurcation diagrams of steady states of systems of pdes via rigorous numerics: A 3-component reaction–diffusion system,” Acta Appl. Math. 128, 113–152. Crossref, Web of Science, Google Scholar [
- 2021] “ Torus knot choreographies in the -body problem,” Nonlinearity 34, 313. Crossref, Web of Science, Google Scholar [
- 1996] “ Rigid-body motion, interacting billiards, and billiards on curved manifolds,” Phys. Rev. E 53, 5670–5679. Crossref, Web of Science, Google Scholar [
- 2003] Introduction to the Ergodic Theory of Chaotic Billiards (Impa). Google Scholar [
- 2015] “ Circular, elliptic and oval billiards in a gravitational field,” Commun. Nonlin. Sci. Numer. Simulat. 22, 731–746. Crossref, Web of Science, Google Scholar [
- 2005] “ Inelastic gravitational billiards,” Phys. Rev. Lett. 94, 224102. Crossref, Web of Science, Google Scholar [
- 2019] “ Computer-assisted proofs in PDE: A survey,” SeMA J. 76, 459–484. Crossref, Google Scholar [
- 2002] “
Interval analysis in MATLAB ,” Manchester Centre for Computational Mathematics, Numerical Analysis Reports 416. Google Scholar [ - 2013] “ Dynamics of a dissipative, inelastic gravitational billiard,” Phys. Rev. E 87, 032901. Crossref, Web of Science, Google Scholar [
- 2017] “ Complex dynamics of bouncing motions on boundaries and corners in a discontinuous dynamical system,” J. Comput. Nonlin. Dyn. 12, 061014. Crossref, Web of Science, Google Scholar [
- 2019] “ Stability and chaos for an adjustable excited oscillator with system switch,” Commun. Nonlin. Sci. Numer. Simulat. 77, 108–125. Crossref, Web of Science, Google Scholar [
- 1991] “ A new integrable gravitational billiard,” J. Phys. A: Math. Gen. 24, 45–52. Crossref, Google Scholar [
- Langer, C. K. & Miller, B. N. [2015] “A three dimensional gravitational billiard in a cone,” arXiv:1507.06693. Google Scholar
- 2016] “ Rigorous numerics for analytic solutions of differential equations: The radii polynomial approach,” Math. Comput. 85, 1427–1459. Web of Science, Google Scholar [
- 2017] “ Rigorous continuation of bifurcation points in the diblock copolymer equation,” J. Comput. Dyn. 4, 71. Google Scholar [
- 1996] “ The dynamics of a bouncing ball with a sinusoidally vibrating table revisited,” Nonlin. Dyn. 10, 1–18. Crossref, Web of Science, Google Scholar [
- 2011] “ Geometrical origin of chaoticity in the bouncing ball billiard,” Chaos Solit. Fract. 44, 1111–1116. Crossref, Web of Science, Google Scholar [
- 2017] “ Rotation in a gravitational billiard,” Int. J. Mod. Phys. C 28, 1750021. Link, Web of Science, Google Scholar [
- 1999] “
INTLAB — INTerval LABoratory ,” Developments in Reliable Computing, ed. Csendes, T. (Kluwer Academic Publishers, Dordrecht), pp. 77–104. Crossref, Google Scholar [ - 2019] “ Periodic motion for an oblique impact system with single degree of freedom,” J. Vibr. Test. Syst. Dyn. 3, 71–89. Crossref, Google Scholar [
- 2005] “ Periodic billiard orbits in right triangles,” Ann. Inst. Fourier 55, 29–46. Crossref, Web of Science, Google Scholar [