Nearly circular domains which are integrable close to the boundary are ellipses (Q1752923): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q130118356, #quickstatements; #temporary_batch_1725406550273 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q130118356 / rank | |||
Normal rank |
Latest revision as of 00:41, 4 September 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nearly circular domains which are integrable close to the boundary are ellipses |
scientific article |
Statements
Nearly circular domains which are integrable close to the boundary are ellipses (English)
0 references
24 May 2018
0 references
This paper considers the standard billiard map on a billiard table that has a strictly convex boundary. It is known that the billiard system is globally integrable if the boundary of the table is a circle, and integrable if the boundary is an ellipse. Birkhoff (or perhaps Birkhoff and Poritsky) conjectured that the boundary of a strictly convex integrable billiard table must be an ellipse. The conjecture remains unresolved. The authors consider the question using a stronger notion of integrability, rational integrability (a local integrability near the boundary). The critical definition is as follows: if \(\Omega\) is a strictly convex domain in \(\mathbb{R}^2\), a curve is called an integrable rational caustic for the billiard map in \(\Omega\) if the corresponding non-contractible invariant curve of periodic points, so the corresponding rotation number is rational. If \(q_0\geq 2\) and if the billiard map in \(\Omega\) admits rational caustics of rotation number \(p/q\) for all \(p/q\) with \(0<p/4<{1\over q_0}\), then \(\Omega\) is said to be \(q_0\)-rationally integrable. The authors then conjecture the following: for any \(q_0\geq 3\) there exist \(e_0= e_0(q_0)\in (0,1)\), \(m_0= m_0(q_0)\), \(n_0= n_0(q_0)\in\mathbb{N}\), the following holds: for each \(0<e\leq e_0\) and \(c>0\) there exists \(\varepsilon= \varepsilon(e,c,q_0)\) such that any \(q_0\)-rationally integrable \(C^{m_0}\)-smooth domain \(\Omega\) whose boundary is \(C^{n_0}\) \(\varepsilon\)-close to the ellipse \({\mathcal E}_{e,c}\) (with eccentricity \(e\) and semi-focal distance \(c\)) is itself an ellipse. Their main theorem says that the conjecture is true for \(q_0= 2,3,4,5\) with \(m_0= 40q_0\) and \(n_0= 3q_0\). The bulk of the paper contains a proof of the conjecture in same cases, and a proof of the other cases based on some additional assumptions of non-degeneracy.
0 references
billiard map
0 references
Birkhoff conjecture
0 references
strictly convex integrable billiard
0 references
action-angle coordinates
0 references
0 references
0 references
0 references
0 references