1: % versao final
2: % em 13 de outubro 2004
3:
4: \documentclass[a4paper]{article}
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6: \topmargin = 0cm
7: \oddsidemargin = -1cm
8: \evensidemargin = 0cm
9: \parskip 10 pt plus 1 pt minus 1 pt
10: \parindent 0pt
11: \textheight = 22truecm
12: \topskip -5 pt
13: \advance \textheight by \topskip
14: \textwidth 18 truecm
15: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
16: \newcommand { \Proof} {\smallskip \noindent {\bf Proof: }}
17: \newtheorem {theorem} {Theorem}
18: \newtheorem {prop} {Proposition}
19: \newtheorem {lemma} [prop] {Lemma}
20: \newtheorem {definition} [prop] {Definition}
21: \newtheorem {corollary} [prop] {Corollary}
22: \newcommand { \Remark} {\smallskip \noindent {\bf Remark: }}
23: \newcommand { \qed} { $ \hfill \blacksquare$ \smallskip}
24: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
25: \usepackage{graphicx}
26: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
27: \newcommand{\R}{{\rm I\! R}}
28: \def\Z{{\mathchoice {\hbox{$\sf\textstyle Z\kern-0.4em Z$}}
29: {\hbox{$\sf\textstyle Z\kern-0.4em Z$}}
30: {\hbox{$\sf\scriptstyle Z\kern-0.3em Z$}}
31: {\hbox{$\sf\scriptscriptstyle Z\kern-0.2em Z$}}}}
32: \def\C{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}\hbox{\hbox
33: to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
34: {\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox
35: to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
36: {\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox
37: to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
38: {\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox
39: to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}}
40: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
41: \begin {document}
42: \title {
43: The First Birkhoff Coefficient and the Stability of 2-Periodic Orbits on Billiards}
44: \author{ Sylvie OLIFFSON KAMPHORST and S\^onia PINTO DE CARVALHO
45: }
46: \date{Departamento de Matem\'atica ICEx UFMG\\
47: Caixa Postal 702, 30123-970 Brazil\\
48: syok@mat.ufmg.br, sonia@mat.ufmg.br}
49: \maketitle
50:
51: \begin{abstract}
52: In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill the supplementary conditions for strictly convex billiards.
53:
54: \end{abstract}
55:
56: \section{Introduction}
57:
58: Let $\alpha$ be a plane, closed, regular and strictly convex curve.
59: The billiard problem on $\alpha$ consists in the free motion of a
60: point particle in the plane region enclosed by $\alpha$,
61: with unitary velocity and being reflected elastically at the impacts with the boundary.
62: The trajectories are polygonals in the region.
63:
64: \begin{center}
65: \includegraphics[width=6cm]{bil2.eps}
66: \end{center}
67:
68: The motion is completely determined by the point of reflection at
69: $\alpha$ and the direction of motion immediately after each reflection.
70: For instance, the arclength parameter $s$, which locates the point of reflection, and the tangential component of the momentum $p=\sin\theta$, where $\theta$ is the angle
71: between the direction of motion and the normal to the boundary at the reflection point,
72: describe the system. Good introductions to billiards can be found in
73: \cite{bir}, \cite{mar}, \cite{has}, \cite{kat}, \cite{ams}, \cite{str} or \cite{tab}.
74:
75: The billiard model defines a map $T$ which to each $(s,p)$ in the annulus
76: ${\cal A} = [0,L)\times (-1,1)$, representing the pair impact coordinate and direction of
77: motion, associates the next impact and direction:
78: $$
79: \begin{array}{cccc}
80: T :& {\cal A} & \to &{\cal A} \cr
81: & (s,p) & \longmapsto & (S(s,p),P(s,p))
82: \end{array}
83: $$
84:
85: Since the particle can travel along the same polygonal
86: in both senses, the problem is time-reversing and the inverse map $T^{-1}$ is well defined.
87:
88:
89: The derivative of $T$ at $(s,p)$ is implicitly calculated and is given by the formulae:
90: \begin{eqnarray}
91: \frac{\partial S}{\partial s}&=&\frac{l(s,p)-R(s)\cos\theta(p)}
92: {R(s)\cos\theta(P)} \nonumber\\
93: \frac{\partial S}{\partial p}&=&\frac{l(s,p)}
94: {\cos\theta(p)\cos\theta(P)} \label{eq:deriv} \\
95: \frac{\partial P}{\partial s}&=&\frac{l(s,p)-R(s)\cos\theta(p)-R(S)\cos\theta(P)}
96: {R(s)R(S)} \nonumber\\
97: \frac{\partial P}{\partial p}&=&\frac{l(s,p)-R(s)\cos\theta(P)}
98: {R(S)\cos\theta(p)} \nonumber
99: \end{eqnarray}
100: where $S$ stands for $S(s,p)$ and $P$ for $P(s,p)$, $l(s,p)$ is the distance between the two consecutive impacts points $\alpha(s)$ and $\alpha(S)$, $R$ is the radius of curvature of $\alpha$ and $\cos \theta (p) = \sqrt{1-p^2}$ is the normal component of the momentum.
101:
102: If $\alpha$ is a $C^k$ curve, $k\geq 2$, the billiard model gives rise to a discrete two-dimensional $C^{k-1}$ area preserving dynamical system, whose orbits are given by
103: $${\cal O}(s, p)=\{ T^j(s, p), j \in \Z \}\subset {\cal A}. $$
104:
105: A billiard has no fixed points. However, given $n\geq 2$, Birkhoff's Theorem states that $T$ has at least two different orbits of period $n$ which will be fixed points of $T^n$. The linearization of $T^n$ at any of these fixed points, say $(s,p)$, gives the linear
106: area preserving map $DT^n_{(s, p)}$, which has a fixed point at the origin $(0,0)$.
107: According to the eigenvalues of this linear map, the fixed point $(s,p)$ is classified as:
108: hyperbolic if the eigenvalues of are $\mu$ and $\frac{1}{\mu}$, $\mu\in\R$, $\mu\neq\pm 1$,
109: elliptic if the eigenvalues are $\mu=e^{i\gamma}$ and $\overline\mu$,
110: $\mu^2\neq 1$ or parabolic if the eigenvalues are 1 or -1.
111:
112: In the hyperbolic case, the Hartman-Grobman Theorem (see, for instance, \cite{kat} or
113: \cite{jac}) assures that, on a neighbourhood of the fixed point $(s,p)$, the dynamical
114: behaviour of $T^n$ is the same as the dynamical behaviour of $DT^n_{(s, p)}$ on a
115: neighbourhood of the origin. So, $(s,p)$ is an unstable fixed point of $T^n$ and
116: $\{(s,p),T(s,p),...,T^{n-1}(s,p)\}$ is an unstable periodic orbit of $T$.
117: In this case, the instability of the equilibrium of the linear map $DT^n_{(s, p)}$
118: implies the local instability of the periodic orbit for the complete map $T$.
119:
120: In the elliptic case, the linear map $DT^n_{(s, p)}$ is
121: a rotation: the origin is surrounded by closed invariant circles and is a stable
122: equilibrium. However, this beautiful behaviour may not be inherited by the map $T^n$,
123: as it can be seen in the examples on the figure bellow.
124: For both of them, the fixed point is linearly elliptic. On the left side, the non linear map
125: exhibit invariant closed curves surrounding the fixed point, which is then stable. For the
126: non linear map on the right, no invariant curves can be observed and the fixed point seems
127: to be unstable.
128: \footnote{Even more surprising is the example given by Anosov and
129: Katok in \cite{ano} of an ergodic area-preserving map of the disc $|z|<1$, with an elliptic fixed
130: point at $z=0$. The ergodicity implies that the fixed point is unstable. This example
131: does not represent a billiard map and we don't know if there are any billiards with this
132: property.}
133:
134:
135: \begin{center}
136: \includegraphics[bb = 50 200 450 400,width=5cm]{res3a.ps}
137: \hskip 3truecm
138: \includegraphics[bb = 0 20 400 220,width=5cm]{res3c.ps}
139: \end{center}
140:
141: Moreover, it is not even clear if the pictures above, obtained by numerical simulations,
142: correspond to the true behaviour of the maps. In fact, Dias Carneiro and ourselves
143: \cite{dia} have proved that any {\bf $C^1$ strictly convex} billiard map with an elliptic 2-periodic orbit can be approached by billiard maps with a 2-periodic orbit surrounded by
144: closed invariant curves, ie, with a stable orbit. We guess this result can be extended
145: to any period. Therefore, because of natural numerical round off errors, one can not be
146: sure that the simulation corresponds to the actual billiard at and not to a very close one.
147:
148: As a consequence, in the elliptic case, a more carefull approach is needed and higher order terms must be taken into account to assure the local stability of periodic orbits.
149: A classical way to handle this problem is to use the Birkhoff Normal Form and Moser's Twist Theorem \cite{sie}.
150:
151: In what follows we explain how this can be performed and applied to the billiard map in
152: the case of 2-periodic elliptic orbits. We have employed the software \textregistered Maple to calculate the necessary data and all the worksheets are available at http://www.mat.ufmg.br/$\sim$syok/papers. We then apply the results to two special classes of billiards.
153:
154: Related works are Hayli, Dumont, Moulin-Ollagnier, Strelcyn \cite{hay} and Moeckel \cite{moe}. The first authors studied the stability of periodic orbits for a family of Robnik's billiards. The last author studied the generic behaviour of the first Birkhoff coefficient for one-parameter families of conservative maps.
155:
156: \section{Non linear analysis and the local stability of elliptic orbits}
157:
158: Let $T$ be an area preserving map with a $n$-periodic orbit
159: $\{(0,0),T(0,0),...,T^{n-1}(0,0)\}$.
160: We will assume that the map is $C^k$ with $k\geq 4$. In the case of the billiard map,
161: this is equivalent to assume that the curve $\alpha$ is at least $C^5$.
162:
163: The map $T^n$ can then be expanded in Taylor Form up to order 3 in a neighbourhood of its
164: fixed point $(0,0)$,
165: \begin{equation}
166: T^n(s,p)=(a_{10}s+a_{01}p+a_{20}s^2+...+a_{03}p^3,
167: b_{10}s+b_{01}p+b_{20}s^2+...+b_{03}p^3)+{\cal O}(|(s,p)|^4).
168: \label{eq:taylor}
169: \end{equation}
170: If the fixed point is elliptic, with eigenvalues $\mu=\cos\gamma+i\sin\gamma$ and
171: $\bar{\mu}$, by means of a complex linear area preserving coordinate change which
172: diagonalizes the linear part, the map $T^n$ can be written as
173: \begin{equation}
174: z \mapsto \mu (z + c_{20} z^2+c_{11}z\overline z+
175: c_{02}\overline z^2+c_{30} z^3+c_{21} z^2\overline z
176: +c_{12}z\overline z^2+c_{03}\overline z^3) +{\cal O}(|z|^4).
177: \label{eq:comp}
178: \end{equation}
179:
180: If $\mu^j\neq 1$, $j=1,2,3$ or $4$ we say that $\mu$ is non resonant and
181: an analytic coordinate change brings the map into its convergent Birkhoff Normal Form
182: $$
183: z \mapsto {\rm e}^{i(\gamma + \tau_1 |z|^2)} z +{\cal O}(|z|^4)
184: = \mu z+i\mu \tau_1 z|z|^2+{\cal O}(|z|^4) .
185: $$
186: The first Birkoff coefficient $\tau_1$ is given by
187: \begin{equation}
188: \tau_1=\Im (c_{21}) +\frac{\sin \gamma}{\cos\gamma - 1}
189: \left( 3 \left| \! \, c_{20}\, \! \right| ^{2}
190: + \frac {2\,\cos\gamma - 1 }{2\,\cos\gamma + 1}
191: \left| \! \,{c_{02}}\, \! \right| ^{2}
192: \right )
193: \label{eq:tau1}
194: \end{equation}
195: where $\Im (c_{21})$ stands for the imaginary part of $c_{21}$.
196:
197: The calculations leading to expression (\ref{eq:tau1}) are standard (\cite{hay},
198: \cite{moe}) and can also be easily performed using symbolic programming.
199: \footnote{http://www.mat.ufmg.br/$\sim$syok/papers/3NormalForm.}
200:
201: By Moser's Twist Theorem if the first Birkhoff coefficient $\tau_1$
202: is not zero there are $T^n$-invariant curves surrounding the fixed point and therefore it
203: is stable. We have that each point of the n-periodic orbit is contained in an
204: open set, called an island, homeomorphic to a disk and invariant under $T^n$.
205: Each island contains $T^n$-invariant curves surrounding the periodic point.
206: So, the n-periodic orbit of $T$ is stable.
207:
208: \section{Elliptic 2-periodic orbits of convex billiards}
209: \label{sec:3}
210:
211: Any closed regular strictly convex $C^2$ curve $\alpha$ has at least two diameters,
212: characterized by points with parallel tangents and equal normal lines (like the axis of an
213: ellipse). The motion along each one of them corresponds to a 2-periodic trajectory
214: for the billiard map associated to $\alpha$.
215:
216: It is easy to prove that the longest of these diameters, if isolated,
217: corresponds to a hyperbolic orbit (see, for instance \cite{kat} or \cite{koz}).
218: The other(s) can be either hyperbolic, elliptic or parabolic.
219: Let us suppose that one of them is elliptic and let $s=0$ and $s=s_1$ be the arclength parameters of the trajectory.
220: As the motion occurs in the normal direction,
221: the tangential component of the momentum $p$ is zero in both of the reflection points.
222: Then $\{ (0,0),(s_1,0)\}$ is an elliptic 2-periodic orbit of the associated billiard map $T(s,p)=(S(s,p),P(s,p))$ and $(0,0)$ is an elliptic fixed point of $T^2$.
223:
224: Let $R_0 = R(0)$ and $R_1 = R(s_1)$ be the radii of curvature of $\alpha$ at the
225: $s=0$ and $s=s_1$ and $L=||\alpha(0)-\alpha(s_1)||$ be the length of the trajectory.
226: Using equation (\ref{eq:deriv}), the linear map
227: $DT^2_{(0,0)} = DT_{(s_1,0)}\,\, DT_{(0,0)}$ is given by
228: \begin{equation}
229: DT^2_{(0,0)}=
230: \left(
231: \begin{array}{cc}
232: \displaystyle
233: {\frac {(L - {R_{1}})\,(L - {R_{0}})}{{R_{1}}\,{R_{0}}}
234: + \frac {L\,(L - {R_{0}} - {R_{1}})}{{R_{0}}\,{R_{1}}}
235: }
236: & \displaystyle
237: {-\frac { 2\, L\,(L - {R_{1}})}{{R_{1}}}
238: }
239: \\
240: &
241: \\ \displaystyle
242: {- \frac { 2\,(L - {R_{0}})\,(L - {R_{0}} - {R_{1}})}{{R_{0}}^{2}\,{R_{1}}}}
243: & \displaystyle
244: {\frac {(L - {R_{1}})\,(L - {R_{0}})}{{R_{1}}\,{R_{0}}}
245: +
246: \frac {L\,(L - {R_{0}} - {R_{1}})}{{R_{0}}\,{R_{1}}}}
247: \end{array}\right)
248: \label{eq:dt2}
249: \end{equation}
250: and its eigenvalues are
251: $$
252: 2\,\frac {(L - R_1)\,(L - R_0) }{R_0\,R_1} - 1
253: \pm
254: \frac{2\sqrt{L\,(L - R_0 - R_1)\,(L - R_1)\,(L - R_0)}}{R_0\,R_1}
255: $$
256: As the trajectory is elliptic the relations $L-R_0-R_1<0$ and $(L-R_0)(L-R_1)>0$ must be
257: fullfilled. Assuming that $4 \, (L-R_0)(L-R_1)\neq R_0 R_1$ and $2 \, (L-R_0)(L-R_1)\neq R_0 R_1$ then $\mu^j\neq 1$ for $j=1,2,3,4$.
258:
259: In the elliptic and non-resonant case, in order to investigate the stability of the fixed point, we can proceed and examine the first Birkhoff coefficient given by (\ref{eq:tau1}) .
260: The complex coefficients $c_{21}$, $c_{20}$ and $c_{02}$ in the formula depend on the real
261: coefficients $a_{ij}$ and $b_{ij}$ of the Taylor expansion of $T^2$ at the origin (\ref{eq:taylor}).
262:
263: The linear coefficients $a_{ij}$ and $b_{ij}$, $i+j=1$, are obviously the entries of
264: $DT^2_{(0,0)}$ and thus given by (\ref{eq:dt2}).
265: Note that $a_{10}=b_{01}$. As $T$ is area preserving, $a_{10}^2-a_{01}b_{10}=1$ and, as
266: $(0,0)$ is elliptic, $a_{01}b_{10}<0$.
267:
268: These conditions were used to write down the coordinate change leading to (\ref{eq:comp}) and we got
269: \footnote{http://www.mat.ufmg.br/$\sim$syok/papers/2Complex.}:
270: \begin{eqnarray}
271: &\Im (c_{21})= & {\displaystyle
272: \frac{a_{10}}{8}\left( -a_{21}+3\frac{b_{10}}{a_{01}}a_{03}
273: -3\frac{a_{01}}{b_{10}}b_{30}+b_{12}\right)
274: -\frac{b_{10}}{8}\left( a_{12}-3\frac{a_{01}}{b_{10}}a_{30}
275: - \frac{a_{01}}{b_{10}}b_{21}+3b_{03}\right) }\nonumber\\
276: &|c_{20}|^2 = & {\displaystyle
277: \frac{1}{16} \, \sqrt{ - \frac {a_{01}} {b_{10}} } \,
278: \left( \frac {b_{10}}{a_{01}}a_{02} + a_{20} + b_{11} \right)^2
279: + \frac{1}{16} \, \sqrt{ - \frac {b_{10}}{a_{01}}} \,
280: \left(
281: \frac {a_{01} }{ b_{10} }b_{20}
282: + b_{02} + a_{11} \right)^2 } \\
283: &|c_{02}|^2 = & {\displaystyle
284: \frac{1}{16} \, \sqrt{ - \frac {a_{01}} {b_{10}} } \,
285: \left(\frac {b_{10} }{a_{01}}a_{02} + a_{20} - b_{11} \right)^2
286: + \frac{1}{16} \, \sqrt{ - \frac {b_{10}}{a_{01}}} \,
287: \left(
288: \frac {a_{01} }{ b_{10} } b_{20}+ b_{02} - a_{11} \right)^2 } \nonumber
289: \label{eq:coef}
290: \end{eqnarray}
291: which shows that $\tau_1$ is linear on the real coefficients of third order and quadratic on the second order ones.
292:
293: In order to calculate explicitly the first Birkhoff coefficient, all is needed now are the second and third order coefficients of the Taylor expansion at $(0,0)$ of
294: $T^2(s,p)=\left( S(S(s,p),P(s,p)),P(S(s,p),P(s,p))\right ) .$
295:
296: A sequence of straightforward but long computations using the
297: Chain Rule gives those Taylor coefficients.
298: To illustrate it, let us give the expression of $a_{20}$
299: \begin{eqnarray}
300: a_{20}&=&\frac{\partial ^2 }{\partial s^2}S(S(s,p),P(s,p))(0,0)\nonumber \\
301: &=& \frac{\partial S}{\partial s}(0,0)\frac{\partial P}{\partial s}(0,0)
302: \frac{\partial^2 S}{\partial s\partial p}(s_1,0)
303: +\frac{1}{2}\frac{\partial S}{\partial s}(s_1,0)
304: \frac{\partial^2 S}{\partial s^2}(0,0)+\frac{1}{2}
305: \left[\frac{\partial P}{\partial s}(0,0)\right]^2
306: \frac{\partial^2 S}{\partial p^2}(s_1,0)+\nonumber \\
307: & &+\frac{1}{2} \frac{\partial S}{\partial p}(s_1,0)\frac{\partial^2 P}{\partial s^2}(0,0)
308: +\frac{1}{2}\left[\frac{\partial S}{\partial s}(0,0)\right]^2
309: \frac{\partial^2 S}{\partial s^2}(s_1,0)
310: \nonumber
311: \end{eqnarray}
312:
313: The first derivatives of the functions $S$ and $P$ are given by formulae (\ref{eq:deriv}and they depend on the function $l(s,p)$. So, to calculate he second and third derivatives of
314: $S$ and $P$ it is necessary to evaluate the first and second derivatives of $l$.
315: Let $l(s,S) = || \alpha(S)-\alpha(s)||$. Then $l(s,p)= l(s,S(s,p))$.
316:
317: By differentiating
318: $$l^2(s,S)=\left<\alpha(S)-\alpha(s),\alpha(S)-\alpha(s)\right>$$
319: we have
320: \begin{equation}
321: l(s,S)\,\frac{\partial l}{\partial s}(s,S)=
322: -\left<\alpha'(s),\alpha(S)-\alpha(s)\right>
323: \label{eq:dl}
324: \end{equation}
325: and so, as $\alpha'$ is the unitary tangent vector,
326: $$
327: \frac{\partial l}{\partial s}(s,S) = - p \ .
328: $$
329: Analogously
330: $$
331: \frac{\partial l}{\partial S}(s,S) = P \ .
332: $$
333: These relations simply shows that $-l(s,S)$ is the generating function of the billiard map, as a Twist map.
334:
335: Differentiating (\ref{eq:dl}) with respect to $s$ and $S$
336: and using that $ \eta = R \, \alpha'' $ is the unitary normal vector gives
337: \begin{eqnarray*}
338: & \displaystyle {\frac{\partial^2 l}{\partial s^2}}(s,S) =&
339: \frac{1-p^2}{l(s,S)} - \frac{\sqrt{1-p^2}}{R(s)} \cr
340: & \displaystyle{\frac{\partial^2 l}{\partial s \, \partial S}} (s,S) = &
341: \frac{\sqrt{(1-p^2)(1-P^2)}}{l(s,S)} \ .
342: \end{eqnarray*}
343: The same reasoning gives
344: $$
345: \frac{\partial^2 l}{\partial S^2} (s,S)=
346: \frac{1-P^2}{l(s,S)} - \frac{\sqrt{1-P^2}}{R(S)}
347: $$
348: The chain rule will give, now, the first and second order derivatives of $l(s,p)$. To evaluate them at $(0,0)$ and $(s_1,0)$ it is usefull to remember that $\alpha'(s_1) = -\alpha'(0)$, $\eta(s_1) = -\eta(0)$ and $\alpha(s_1) - \alpha(0) = L \, \eta(0) $.
349:
350: Because of the recurrent structure of the formulae, the explicit calculus of the $a_{ij}$ and $b_{ij}$ is suitable to be implemented as a computer program \footnote{http://www.mat.ufmg.br/$\sim$syok/papers/0ThreeJet and 1TaylorCoeffs}. The final expression of the Taylor expansion of $T^2$ is also given in the worksheet {\tt 1TaylorCoeffs}.
351:
352: The second order coefficients $a_{ij},b_{ij}, i+j=2$
353: will have linear dependence on $\frac{dR}{ds}(0) = R'_0$ and $\frac{dR}{ds}(s_1) = R'_1$ while the third
354: order coefficients $a_{ij},b_{ij}, i+j=3$ will have linear dependence on
355: $\frac{d^2R}{ds^2}(0) = R''_0$ and $\frac{d^2R}{ds^2}(s_1) = R''_1$ and quadratic on
356: the first order derivatives.
357: So the first Birkhoff coefficient $\tau_1$ will be quadratic on the first derivatives of $R$ and linear on the second ones. The final expression of $\tau_1$ is obtained after substitution of the $a_{ij}$ and $b_{ij}$ into (\ref{eq:coef}) and then into (\ref{eq:tau1}) given
358: \begin{eqnarray*}
359: \tau_1 &=& -\frac{1}{8} \,
360: \frac{R_0+ R_1}{R_0 \, R_1}
361: -\frac{1}{8} \,
362: \frac{L}{L-R_0-R_1} \,
363: \left(
364: \frac{L-R_1}{L-R_0} \, R''_0 + \frac{L-R_0}{L-R_1} \, R''_1
365: \right ) \\
366: &&
367: -\frac{1}{8} \, \frac{L}{(L-R_0-R_1)^2}
368: \left(
369: 2 \,\frac{L-R_1}{L-R_0} \, (R'_0)^2 + 2 \,\frac{L-R_0}{L-R_1} \, (R'_1)^2
370: + 3 \,R'_0 \, R'_1
371: \right)\\
372: &&
373: +\frac{1}{8} \, \frac{L \, R_0 R_1}{(L-R_0-R_1)^2 \, (4\,(L-R_0)(L-R_1)-R_0 R_1)}
374: \, \left(
375: \frac {(L - R_1)^2 }{L - R_0}\,\frac{(R'_0)^2}{R_0}
376: + \frac {(L - R_0)^2 }{L - R_1}\,\frac{(R'_1)^2}{R_1}
377: - \,R'_0 \, R'_1
378: \right)
379: \end{eqnarray*}
380: The details leading to the formula are given in the worksheet {\tt 4Tau}.
381:
382: \section{Billiards with islands}
383:
384: As remarked in section \ref{sec:3}, a billiard on a strictly convex $C^2$ curve always has 2-periodic orbits and the largest one, if isolated,
385: is hyperbolic. Unfortunately, one cannot assure that at least one of the others is elliptic. In fact, there are many examples where all 2-periodic orbits are
386: isolated and hyperbolic (see, for instance \cite{dia} or \cite{koz}).
387:
388: On the other hand, ellipticity is an open property, in the sense that if a billiard
389: associated to a $C^2$ strictly convex curve $\alpha$ has an elliptic 2-periodic orbit, then any strictly convex curve sufficiently $C^2$-close to $\alpha$ generates a billiard with an
390: elliptic 2-periodic orbit \cite{dia}. So, a large class of strictly convex billiards has elliptic 2-periodic orbits. The question is: are they stable?
391:
392: In what follows we present two classes of billiards (locally circular and symmetric) exhibiting stable 2-periodic orbits.
393:
394: \subsection{Locally Circular Billiards}
395:
396: Our first and simplest example is a 2-periodic orbit between two circles. More precisely, let $\alpha$ be a $C^5$ plane strictly convex closed curve parameterized by the arclength $s$, with the following properties:
397: \begin{list}{--}{\parsep 0pt \itemsep 5pt \topsep 0pt \partopsep 0pt}
398: \item there are two points located by $s=0$ and $s=s_1$ such that
399: $\alpha'(0)=-\alpha'(s_1)$ and $\alpha(0)-\alpha(s_1)=-L\vec{\eta}(0)$, where $\vec{\eta}(0)$
400: is the unitary normal vector at $0$.
401: \item $\alpha$ is locally a circle, both near $s=0$ and $s=s_1$, with radii
402: $R_0$ and $R_1$ respectively.
403: \item $L$, $R_0$ and $R_1$ verify $L-R_0-R_1<0$, $(L-R_0)(L-R_1)>0$ and
404: $4(L-R_0)(L-R_1)\neq R_0R_1$, $2 R_0R_1$, which are open conditions on the $(L,R_0,R_1)$-space.
405: \end{list}
406: \begin{center}
407: \includegraphics[height=4cm,width=4.cm]{2circ.eps}
408: \end{center}
409: With these properties, $\{(0,0),(s_1,0)\}$ is a non-resonant elliptic 2-periodic orbit
410: for the billiard map $T$ associated to $\alpha$.
411:
412: As $\alpha$ is locally circles, $T$ is locally analytic and the
413: first Birkhoff coefficient of the elliptic orbit can be calculated.
414: Moreover, $R'$ and $R''$ vanish at $s=0$ and $s=s_1$.
415: So,
416: $$\tau_1=-\frac{1}{8}\left(\frac{1}{R_0} + \frac{1}{R_1} \right)\neq 0$$
417: and this billiard has a stable 2-periodic orbit.
418:
419: Although extremely simple, this example shows that exchanging the curve $\alpha$ by the osculating circles at the impact points gives information about ellipticity, but not about
420: stability, since $\tau_1$ depends on the derivatives of the radius of curvature.
421:
422:
423: \subsection{Ovals with a special symmetry}
424:
425: Let $R$ be a periodic $C^4$ function with Fourier expansion
426: $$R(\varphi)=a_0+\sum_{n=1}a_n\cos 2n\varphi$$
427: with $a_n>0$ and $a_0>\sum_{n=1}a_n$, implying that
428: $R(\varphi) > 0 , \forall \varphi$.
429:
430: Let $\alpha$ be a curve, having $R$ as its radius of curvature, given by
431: $$\alpha(\varphi)=\left(x(\varphi),y(\varphi)\right)=
432: \left(\int_0^\varphi R(\beta)\cos\beta d\beta,
433: \int_0^\varphi R(\beta)\sin\beta d\beta\right).$$
434: It is a regular, closed and strictly convex $C^5$ curve.
435:
436: \begin{center}
437: \includegraphics[height=4cm,width=5cm]{fourier.eps}
438: \end{center}
439:
440: As $R$ is an even function, $x(-\varphi)=-x(\varphi)$, $y(-\varphi)=y(\varphi)$ and
441: $\overline{\alpha(0)\alpha(\pi)}$ is an axis of symmetry for $\alpha$. $\{(0,0),(\pi,0)\}$ is a 2-periodic orbit for the associated billiard map.
442:
443: We have
444: \begin{eqnarray*}
445: L= ||\alpha(\pi) - \alpha(0)|| = y(\pi)
446: &=& 2 \, a_0 - \displaystyle{\sum_{n=1} \frac{2 \, a_n}{(2n+1)(2n-1)}} \\
447: R(0) = R(\pi) = R_0 &=& a_0 + \displaystyle{\sum_{n=1} a_n}
448: \end{eqnarray*}
449: and then
450: \begin{eqnarray*}
451: L-R(0) - R(\pi) = L-2 R_0 &=&
452: -2 \, \sum_{n=1} a_n \left ( \frac{1}{(2n+1)(2n-1)} + 1 \right)
453: < 0 \\
454: L-R(0) = L-R(\pi) = L-R_0 &=&
455: a_0 - \sum_{n=1} a_n \left ( \frac{2}{(2n+1)(2n-1)} + 1 \right)
456: \end{eqnarray*}
457:
458: If
459: $$
460: (2+k) \, a_0 - \displaystyle{\sum_{n=1} a_n\left[\frac{4}{(2n+1)(2n-1)}+(2-k)\right]}\neq 0, \,\,\,\, k=0,\pm 1, \pm \sqrt2
461: $$
462: which are open conditions, then $\{(0,0),(\pi,0)\}$ is elliptic and non-resonant.
463:
464:
465: Let $s=s(\varphi)$ be the arclength parameter for $\alpha$. Choosing $s(0) = 0$ and $s(\pi) = s_1$ we have
466: \begin{eqnarray*}
467: \left . \frac{dR}{ds} \right |_{s=0} =
468: \left . \frac{1}{R_0}\frac{dR}{d\varphi} \right |_{\varphi=0} = 0
469: &\hbox{ , } &
470: \left .\frac{dR}{ds} \right |_{s=s_1}=
471: \left .\frac{1}{R_0}\frac{dR}{d\varphi} \right |_{\varphi=\pi} = 0
472: \\
473: \left .\frac{d^2R}{ds^2} \right |_{s=0}
474: =
475: \left .\frac{1}{R_0^2} \frac{d^2R}{d\varphi^2} \right |_{\varphi=0}
476: = -4\sum_{n=1}n^2 a_n< 0 &\hbox{ , }&
477: \left .\frac{d^2R}{ds^2}(s_1) \right |_{s=s_1}
478: =
479: \left .\frac{1}{R_0^2}\frac{d^2R}{d\varphi^2} \right |_{\varphi=\pi} =
480: -4\sum_{n=1}n^2 a_n< 0
481: \end{eqnarray*}
482: and the first Birkhoff coefficient is
483: $$\tau_1=-\frac{1}{4R_0}\left(1+
484: \frac{L}{R_0(L-2R_0)}\frac{d^2R}{d\varphi^2}(0)\right)< 0.
485: $$
486: So the 2-periodic orbit is stable.
487:
488: In particular, this class of curves include those studied numerically by Berry in \cite{ber} and defined by $R(\varphi) = 1+ \epsilon \cos 2 \varphi$ with $0 < \epsilon < 1$.
489: If $\epsilon\neq\frac{3}{5},\frac{3}{13}$ or $\frac{3}{41}(13-8\sqrt 2)$, the conditions for non-resonant ellipticity are fullfilled and the 2-periodic orbit is stable.
490: It is claimed in \cite{ber} that when $\epsilon=\frac{3}{5}$ (meaning parabolicity of the 2-periodic orbit) there is neutral stability. There is no specific observations for the other two values of $\epsilon$.
491:
492: It would be interesting to investigate the behaviour of this and other examples at resonances.
493:
494: \bigskip
495:
496: {\bf Acknowledgments} The authors would like to thank M. J. Dias Carneiro for many enlightening discussions. This work is supported by CNPq and FAPEMIG brazilian agencies.
497:
498: \begin{thebibliography}{99}
499: \bibitem {ano}
500: D. V. Anosov, A. B. Katok: New examples in smooth ergodic theory, Ergodic Diffeomorphisms,
501: Trudy Mosk. Math. Obs. {\bf 23}, 3-36 (1970), engl.transl. in Trans. Mosc. Math. Soc., AMS {\bf 23}, 1-35 (1972).
502: \bibitem{ber}
503: M. V. Berry: Regularity and chaos in classical mechanics, illustrated by three deformations of a circular "billiard". European J. Phys. {\bf 2}/2, 91-102 (1981)
504: \bibitem{bir}
505: G. D. Birkhoff: {\em Dynamical Systems}, AMS Coll.Pub., 1966 (Original ed. 1927)
506: \bibitem{mar}
507: N. Chernov, R. Markarian: {\em Introduction to the Ergodic Theory of Chaotic Billiards}, Pub.Mat. IMPA-RJ, 2003.
508: \bibitem{dia}
509: M. J. Dias Carneiro, S. Oliffson Kamphorst, S. Pinto de Carvalho:
510: Elliptic Islands in Strictly Convex Billiards, Erg. Th. Dyn. Sys. {\bf 23}/3, 799-812 (2003).
511: \bibitem{has}
512: B. Hasselblat, A. Katok: {\em A First Course in Dynamics}, Cambridge Univ.Press, 2002.
513: \bibitem{hay}
514: A. Hayli, T. Dumont, J. Moulin-Ollagnier, J.-M. Strelcyn: Quelques
515: r\'esultats nouveaux sur les billards de Robnik, J. Phys. A {\bf 20}/11, 3237-3249 (1987).
516: \bibitem{kat}
517: A. Katok, B. Hasselblat: {\em Introduction to the Modern Theory of Dynamical
518: Systems}, Cambridge Univ.Press, 1995.
519: \bibitem{koz}
520: V. V. Kozlov: Two-link billiard trajectories: extremal properties and
521: stability,(Russian) Prikl. Mat. Mekh. {\bf 64/6}, 942-946 (2000).
522: ; translation in J. Appl. Math. Mech. {\bf 64/6} 903-907 (2001)
523: \bibitem{ams}
524: V.V. Kozlov, D.V. Treshch\" ev: {\em Billiards: A Genetic Introduction to the Dynamics of Systems with Impacts}, Transl. Math. Monog., AMS, 1991.
525: \bibitem {moe}
526: R. Moeckel: Generic bifurcations of the twist coefficient, Erg. Th. Dyn. Syst.
527: { \bf 10}, 185-195 (1990)
528: \bibitem {mos}
529: J. Moser: {\em Stable and random motions in dynamical systems}, PUP, 1973.
530: \bibitem{jac}
531: J. Palis Jr., W. de Melo: {\em Introdu\c c\~ao aos sistemas din\^amicos}, Proj. Euclides, IMPA-RJ, 1978.
532: \bibitem{sie}
533: C. L. Siegel, J. K. Moser: {\em Lectures on Celestial Mechanics}, Springer-Verlag, 1971.
534: \bibitem{str}
535: J-M. Strelcyn: Plane Billiards as Smooth Dynamical Systems with Singularities.
536: In: Katok, Strelcyn, in coll. with Ledrappier, Przytycki, LNM {\bf 1222},
537: Springer-Verlag, 1986
538: \bibitem{tab}
539: S. Tabachnikov: {\em Billiards}, Panoramas et Synth\`eses, SMF, 1995.
540: \end{thebibliography}
541: \end{document}
542:
543:
544:
545: