-
High-order persistence of resonant caustics in perturbed circular billiards
Authors:
Comlan Edmond Koudjinan,
Rafael Ramírez-Ros
Abstract:
We find necessary and sufficient conditions for high-order persistence of resonant caustics in perturbed circular billiards. The main tool is a perturbation theory based on the Bialy-Mironov generating function for convex billiards. All resonant caustics with period $q$ persist up to order $\lceil q/n \rceil -1$ under any polynomial deformation of the circle of degree $n$.
We find necessary and sufficient conditions for high-order persistence of resonant caustics in perturbed circular billiards. The main tool is a perturbation theory based on the Bialy-Mironov generating function for convex billiards. All resonant caustics with period $q$ persist up to order $\lceil q/n \rceil -1$ under any polynomial deformation of the circle of degree $n$.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Birkhoff Conjecture for nearly centrally symmetric domains
Authors:
Vadim Kaloshin,
Comlan Edmond Koudjinan,
Ke Zhang
Abstract:
In this paper we prove a perturbative version of a remarkable Bialy-Mironov (Ann.Math:389-413(196), 2022) result. They prove non perturbative Birkhoff conjecture for centrally-symmetric convex domains, namely, a centrally-symmetric convex domain with integrable billiard is ellipse. We combine techniques from Bialy-Mironov (Ann.Math:389-413(196), 2022) with a local result by Kaloshin-Sorrentino (An…
▽ More
In this paper we prove a perturbative version of a remarkable Bialy-Mironov (Ann.Math:389-413(196), 2022) result. They prove non perturbative Birkhoff conjecture for centrally-symmetric convex domains, namely, a centrally-symmetric convex domain with integrable billiard is ellipse. We combine techniques from Bialy-Mironov (Ann.Math:389-413(196), 2022) with a local result by Kaloshin-Sorrentino (Ann.Math:315-380(188), 2018) and show that a domain close enough to a centrally-symmetric one with integrable billiard is ellipse. To combine these results we derive a slight extension of Bialy-Mironov (Ann.Math:389-413(196), 2022) by proving that a notion of rational integrability is equivalent to the $C^0$-integrability condition used in their paper.
△ Less
Submitted 19 September, 2024; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Non co-preservation of the $1/2$ & $1/(2l+1)$-rational caustics along deformations of circles
Authors:
V. Kaloshin,
C. E. Koudjinan
Abstract:
For any given positive integer $l$, we prove that every plane deformation of a circle which preserves the $1/2$ and $1/(2l+1)$-rational caustics is trivial i.e. the deformation consists only of similarities (rescalings plus isometries).
For any given positive integer $l$, we prove that every plane deformation of a circle which preserves the $1/2$ and $1/(2l+1)$-rational caustics is trivial i.e. the deformation consists only of similarities (rescalings plus isometries).
△ Less
Submitted 7 July, 2021;
originally announced July 2021.
-
On some invariants of Birkhoff billiards under conjugacy
Authors:
V. Kaloshin,
C. E. Koudjinan
Abstract:
In the class of strictly convex smooth boundaries, each of which not having strip around its boundary foliated by invariant curves, we prove that the Taylor coefficients of the "normalized" Mather's $β$-function are invariants under $C^\infty$-conjugacies. In contrast, we prove that any two elliptic billiard maps are $C^0$-conjugated near their respective boundaries, and $C^\infty$-conjugated in t…
▽ More
In the class of strictly convex smooth boundaries, each of which not having strip around its boundary foliated by invariant curves, we prove that the Taylor coefficients of the "normalized" Mather's $β$-function are invariants under $C^\infty$-conjugacies. In contrast, we prove that any two elliptic billiard maps are $C^0$-conjugated near their respective boundaries, and $C^\infty$-conjugated in the open cylinder, near the boundary and away from a plain passing through the center of the underlying ellipse. We also prove that if the billiard maps corresponding to two ellipses are topologically conjugated then the two ellipses are similar.
△ Less
Submitted 30 May, 2021;
originally announced May 2021.
-
V.I. Arnold's "Global" KAM Theorem and geometric measure estimates
Authors:
L. Chierchia,
C. E. Koudjinan
Abstract:
This paper continues the discussion started in [CK19] concerning Arnold's legacy on classical KAM theory and (some of) its modern developments. We prove a detailed and explicit `global' Arnold's KAM Theorem, which yields, in particular, the Whitney conjugacy of a non-degenerate, real-analytic, nearly-integrable Hamiltonian system to an integrable system on a closed, nowhere dense, positive measure…
▽ More
This paper continues the discussion started in [CK19] concerning Arnold's legacy on classical KAM theory and (some of) its modern developments. We prove a detailed and explicit `global' Arnold's KAM Theorem, which yields, in particular, the Whitney conjugacy of a non-degenerate, real-analytic, nearly-integrable Hamiltonian system to an integrable system on a closed, nowhere dense, positive measure subset of the phase space. Detailed measure estimates on the Kolmogorov's set are provided in the case the phase space is: (A) a uniform neighborhood of an arbitrary (bounded) set times the d-torus and (B) a domain with $C^2$ boundary times the d-torus. All constants are explicitly given.
△ Less
Submitted 25 October, 2020;
originally announced October 2020.
-
Rigorous numerics for critical orbits in the quadratic family
Authors:
Ali Golmakani,
Comlan Edmond Koudjinan,
Stefano Luzzatto,
Paweł Pilarczyk
Abstract:
We develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We illustrate the effectiveness of our approach by constructing a dynamically defined partition $\mathcal P$ of the parameter interval $Ω=[1.4, 2]$ into almost 4 million subinterva…
▽ More
We develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We illustrate the effectiveness of our approach by constructing a dynamically defined partition $\mathcal P$ of the parameter interval $Ω=[1.4, 2]$ into almost 4 million subintervals, for each of which we compute to high precision the orbits of the critical points up to some time $N$ and other dynamically relevant quantities, several of which can vary greatly, possibly spanning several orders of magnitude. We also subdivide $\mathcal P$ into a family $\mathcal P^{+}$ of intervals which we call stochastic intervals and a family $\mathcal P^{-}$ of intervals which we call regular intervals. We numerically prove that each interval $ω\in \mathcal P^{+}$ has an escape time, which roughly means that some iterate of the critical point taken over all the parameters in $ω$ has considerable width in the phase space. This suggests, in turn, that most parameters belonging to the intervals in $\mathcal P^{+}$ are stochastic and most parameters belonging to the intervals in $\mathcal P^{-}$ are regular, thus the names. We prove that the intervals in $\mathcal P^{+}$ occupy almost 90% of the total measure of $Ω$. The software and the data is freely available at http://www.pawelpilarczyk.com/quadr/, and a web page is provided for carrying out the calculations. The ideas and procedures can be easily generalized to apply to other parametrized families of dynamical systems.
△ Less
Submitted 22 July, 2020; v1 submitted 28 April, 2020;
originally announced April 2020.
-
A KAM Theorem for finitely differentiable Hamiltonian systems
Authors:
Comlan Edmond Koudjinan
Abstract:
Given $l>2ν>2d\geq 4$, we prove the persistence of a Cantor--family of KAM tori of measure $O(\varepsilon^{1/2-ν/l})$ for any non--degenerate nearly integrable Hamiltonian system of class $C^l(\mathscr D\times\mathbb{T}^d)$, where $\mathscr D\subset \mathbb{R}^d$ is a bounded domain, provided that the size $\varepsilon$ of the perturbation is sufficiently small. This extends a result by D. Salamon…
▽ More
Given $l>2ν>2d\geq 4$, we prove the persistence of a Cantor--family of KAM tori of measure $O(\varepsilon^{1/2-ν/l})$ for any non--degenerate nearly integrable Hamiltonian system of class $C^l(\mathscr D\times\mathbb{T}^d)$, where $\mathscr D\subset \mathbb{R}^d$ is a bounded domain, provided that the size $\varepsilon$ of the perturbation is sufficiently small. This extends a result by D. Salamon in \cite{salamon2004kolmogorov} according to which we do have the persistence of a single KAM torus in the same framework. Moreover, it is well--known that, for the persistence of a single torus, the regularity assumption can not be improved.
△ Less
Submitted 2 April, 2020; v1 submitted 9 September, 2019;
originally announced September 2019.
-
V.I. Arnold's "pointwise" KAM Theorem
Authors:
Luigi Chierchia,
Comlan Edmond Koudjinan
Abstract:
We review V.I. Arnold's 1963 celebrated paper \cite{ARV63} {\sl Proof of A.N. Kolmogorov's theorem on the conservation of conditionally periodic motions with a small variation in the Hamiltonian}, and prove that, optimizing Arnold's scheme, one can get "sharp" asymptotic quantitative conditions (as $\varepsilon\to 0$, $\varepsilon$ being the strength of the perturbation). All constants involved ar…
▽ More
We review V.I. Arnold's 1963 celebrated paper \cite{ARV63} {\sl Proof of A.N. Kolmogorov's theorem on the conservation of conditionally periodic motions with a small variation in the Hamiltonian}, and prove that, optimizing Arnold's scheme, one can get "sharp" asymptotic quantitative conditions (as $\varepsilon\to 0$, $\varepsilon$ being the strength of the perturbation). All constants involved are explicitly computed.
△ Less
Submitted 13 September, 2019; v1 submitted 7 August, 2019;
originally announced August 2019.
-
Quantitative KAM normal forms and sharp measure estimates
Authors:
Comlan Edmond Koudjinan
Abstract:
It is widespread since the beginning of KAM Theory that, under "sufficiently small" perturbation, of size $ε$, apart a set of measure $O(\sqrtε)$, all the KAM Tori of a non-degenerate integrable Hamiltonian system persist up to a small deformation. However, no explicit, self-contained proof of this fact exists so far. In the present Thesis, we give a detailed proof of how to get rid of a logarithm…
▽ More
It is widespread since the beginning of KAM Theory that, under "sufficiently small" perturbation, of size $ε$, apart a set of measure $O(\sqrtε)$, all the KAM Tori of a non-degenerate integrable Hamiltonian system persist up to a small deformation. However, no explicit, self-contained proof of this fact exists so far. In the present Thesis, we give a detailed proof of how to get rid of a logarithmic correction (due to a Fourier cut-off) in Arnold's scheme and then use it to prove an explicit and "sharp" Theorem of integrability on Cantor-type set. In particular, we give an explicit proof of the above-mentioned measure estimate on the measure of persistent primary KAM tori. We also prove three quantitative KAM normal forms following closely the original ideas of the pioneers Kolmogorov, Arnold and Moser, computing explicitly all the KAM constants involved and fix some "physical dimension" issues by means of appropriate rescalings. Finally, we compare those three quantitative KAM normal forms on a simple mechanical system.
△ Less
Submitted 30 April, 2019;
originally announced April 2019.
