Abstract
We consider the vertical motion of a free falling ball bouncing elastically on a racket moving in the vertical direction according to a regular 1-periodic function f. For fixed coprime p, q we study existence, stability in the sense of Lyapunov and multiplicity of p periodic motions making q bounces in a period. If f is real analytic we prove that one periodic motion is unstable and give some information on the set of these motions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The vertical dynamics of a free falling ball on a moving racket is considered. The racket is supposed to move periodically in the vertical direction according to a regular periodic function f(t) and the ball is reflected according to the law of elastic bouncing when hitting the racket. The only force acting on the ball is the gravity g. Moreover, the mass of the racket is assumed to be large with respect to the mass of the ball so that the impacts do not affect the motion of the racket.
This model has inspired many authors as it represents a simple model exhibiting complex dynamics, depending on the properties of the function f. The first results were given by Pustyl’nikov in [21] who studied the possibility of having motions with velocity tending to infinity, for \(\dot{f}\) large enough. On the other hand, KAM theory implies that if the \(C^k\) norm, for k large, of \(\dot{f}\) is small then all motions are bounded. On these lines some recent results are given in [11, 14, 17]. Bounded motions can be regular (periodic and quasiperiodic, see [12]) and chaotic (see [15, 16, 22]). Moreover, the non periodic case is studied in [9, 10], the case of different potentials is considered in [4] and recent results on ergodic properties are present in [23].
In this paper we are concerned with (q, p)-periodic motions understood as p-periodic with q bounces in each period. Here p, q are supposed to be positive coprime integers. In [12] it is proved that if p/q is sufficiently large, then there exists at least one (q, p)-periodic motion. This result comes from an application of Aubry-Mather theory as presented in [2]. Actually, the bouncing motions correspond to the orbits of an exact symplectic twist map of the cylinder, and (q, p)-periodic motions correspond to (p, q)-periodic orbits. The orbits of such maps can be found as critical points of an action functional and the (p, q)-periodic orbits found in [12] correspond to minima. Here we first note that a refined version of Aubry-Mather theory (see [7]) gives, for each couple of coprime p, q such that p/q is large, the existence of another (p, q)-periodic orbit that is not a minimum, since it is found via a minimax argument. This gives the existence of two different (q, p)-periodic motions for fixed values of p, q, with p/q large.
We are first interested in the stability in the sense of Lyapunov of such periodic motions. This is related to the structure of the (p, q)-periodic orbits of the corresponding exact symplectic twist map, for fixed p, q. It comes from Aubry-Mather theory that the (p, q)-periodic orbits that are minima can be ordered and if there are two with no other in the middle then they are connected by heteroclinic orbits. In this case they are unstable. On the other hand, (p, q)-periodic orbits can form an invariant curve. In this case they are all minima but their stability cannot be determined as before since we are in a degenerate scenario. However, if we suppose to be in the real analytic case, a topological argument (see [18, 20]) can be used to deduce instability. More precisely we will use the fact that for a real analytic area and orientation preserving embedding of the plane that is not the identity, every stable fixed point is isolated. Therefore, the hypothesis of f being real analytic comes here into play.
Concerning the structure of the set of (q, p)-periodic motions we prove that in the real analytic case they can only be either isolated or in a degenerate case, in the sense that the corresponding orbits form an invariant curve that is the graph of a real analytic function. As before, in the isolated case at least one is unstable and in the degenerate case they all are minima and unstable. Note that this result differs from Aubry-Mather theory since we are not requiring the orbits to be minima of a functional. To prove this result we need the q-th iterate of the map to be twist. For \(q=1\) this is true for every real analytic f, while for the general case \(q>1\) we need to restrict to \(\Vert {\ddot{f}}\Vert \) being small.
The paper is organized as follows. In Sect. 2 we recall some known facts about exact symplectic twist maps together with the results for the analytic case. In Sect. 3 we introduce the bouncing ball map and describe its main properties. Finally, the results on the existence of two (q, p)-periodic motions, the instability and the structure of the set are given in Sect. 4.
2 Some results on periodic orbits of exact symplectic twist maps
Let us denote by \(\Sigma ={{\mathbb {R}}}\times (a,b)\) with \(-\infty \le a<b\le +\infty \) a possibly unbounded strip of \({{\mathbb {R}}}^2\). We will deal with \(C^k\) (\(k\ge 1\)) or real analytic embeddings \(\tilde{S}:\Sigma \rightarrow {{\mathbb {R}}}^2\) such that
where \(\sigma :{{\mathbb {R}}}^2\rightarrow {{\mathbb {R}}}^2\) and \(\sigma (x,y)=(x+1,y)\). By this latter property, \(\tilde{S}\) can be seen as the lift of an embedding \(S:\Sigma \rightarrow {{\mathbb {A}}}\) where \({{\mathbb {A}}}= {{\mathbb {T}}}\times {{\mathbb {R}}}\) with \({{\mathbb {T}}}= {{\mathbb {R}}}/{{\mathbb {Z}}}\) and \(\Sigma \) is now understood as the corresponding strip of the cylinder. We denote \(\tilde{S}(x,y)=(\bar{x},\bar{y})\) and the corresponding orbit by \((x_n,y_n)_{n\in {{\mathbb {Z}}}}\).
We say that \(\tilde{S}\) is exact symplectic if there exists a \(C^1\) function \(V:\Sigma \rightarrow {{\mathbb {R}}}\) such that \(V\circ \sigma =V\) and
Moreover, by the (positive) twist condition we understand
A negative twist condition would give analogous results. The exact symplectic condition implies that \(\tilde{S}\) preserves the two-form \(dy\wedge dx\) so that it is area and orientation preserving. An equivalent characterization is the existence of a generating function, i.e. a \(C^2\) function \(h:\Omega \subset {{\mathbb {R}}}^2\rightarrow {{\mathbb {R}}}\) such that \(h(x+1,\bar{x}+1) = h(x,\bar{x})\) and \(h_{12}(x,\bar{x}) <0\) in \(\Omega \) and for \((x,y)\in \Sigma \) we have \(\tilde{S}(x,y) = (\bar{x},\bar{y})\) if and only if
Moreover, \(\tilde{S}\) preserves the ends of the cylinder if, uniformly in x,
and twists each end infinitely if, uniformly in x,
Finally we will say that an embedding of the cylinder \(S:\Sigma \rightarrow {{\mathbb {A}}}\) satisfies any of these properties if so does its corresponding lift.
These maps enjoy several properties and many interesting orbits are proved to exist. Here we recall some results concerning periodic orbits. We start with the following
Definition 2.1
Fix two coprime integers p, q with \(q\ne 0\). An orbit \((x_n,y_n)_{n\in {{\mathbb {Z}}}}\) of \(\tilde{S}\) is said (p, q)-periodic if \((x_{n+q},y_{n+q})=(x_n+p,y_n)\) for every \(n\in {{\mathbb {Z}}}\). Moreover, we say that it is stable (in the sense of Lyapunov) if for every \(\varepsilon >0\) there exists \(\delta >0\) such that for every \((\hat{x}_0,\hat{y}_0)\) satisfying \(|(x_0,y_0)-(\hat{x}_0,\hat{y}_0)|<\delta \) we have \(|\tilde{S}^n(\hat{x}_0,\hat{y}_0)-({x}_n,{y}_n)|<\varepsilon \) for every \(n\in {{\mathbb {Z}}}\).
Remark 2.2
Note that (p, q)-periodic orbits correspond to fixed points of the map \(\sigma ^{-p}\circ \tilde{S}^q\). This follows from the fact that \(\tilde{S}\) is a diffeomorphism defined on the cylinder. Each point of the orbit is a fixed point of \(\sigma ^{-p}\circ \tilde{S}^q\) and a fixed point of \(\sigma ^{-p}\circ \tilde{S}^q\) is the initial condition of a (p, q)-periodic orbit. Note that different fixed points may correspond to the same orbit but not viceversa. Moreover, if an orbit is (p, q)-periodic then it cannot be also \((p',q')\)-periodic unless \(p/q=p'/q'\). Actually, let \(\xi =(x,y)\) and suppose that \(\xi =\sigma ^{-p}\circ \tilde{S}^q(\xi )=\sigma ^{-p'}\circ \tilde{S}^{q'}(\xi )\). Then \(\sigma ^{p}(\xi )=\tilde{S}^q(\xi )\) and \(\sigma ^{p'}(\xi )=\tilde{S}^{q'}(\xi )\) from which \(\tilde{S}^{qq'}(\xi )=\sigma ^{pq'}(\xi )=\sigma ^{p'q}(\xi )\) and \(pq'=p'q\). Finally, the stability of a (p, q)-periodic orbit corresponds to the stability in the sense of Lyapunov of the corresponding fixed point of the map \(\sigma ^{-p}\circ \tilde{S}^q\).
A particular class of periodic orbits are the so called Birkhoff periodic orbits.
Definition 2.3
Fix two coprime integers p, q with \(q\ne 0\). An orbit \((x_n,y_n)_{n\in {{\mathbb {Z}}}}\) of \(\tilde{S}\) is said a Birkhoff (p, q)-periodic orbit if there exists a sequence \((s_n,u_n)_{n\in {{\mathbb {Z}}}}\) such that
-
\((s_0,u_0)=(x_0,y_0)\)
-
\(s_{n+1}>s_n\)
-
\((s_{n+q},u_{n+q})=(s_{n}+1,u_{n})\)
-
\((s_{n+p},u_{n+p})=\tilde{S}(s_{n},u_{n})\)
Remark 2.4
Note that a Birkhoff (p, q)-periodic orbit is a (p, q)-periodic orbit since
The existence of Birkhoff (p, q)-periodic orbits comes from Aubry-Mather theory. Here we give a related result [7, Th. 9.3.7]
Theorem 2.5
Let \(S:{{\mathbb {A}}}\rightarrow {{\mathbb {A}}}\) be an exact symplectic twist diffeomorphism that preserves and twists the ends infinitely and let p, q be two coprime integers. Then there exist at least two Birkhoff (p, q)-periodic orbits for S.
Remark 2.6
The Theorem is proved via variational techniques. The periodic orbits correspond to critical points of an action defined in terms of the generating function. One of this point is a minimum and the other is a minimax if the critical points are isolated.
In the analytic case, something more can be said on the topology of these orbits.
Proposition 2.7
Let \(\tilde{S}:\Sigma \rightarrow {{\mathbb {R}}}^2\) be an exact symplectic twist analytic embedding satisfying condition (2.1) and admitting a (p, q)-periodic orbit. Then there exists at least one (p, q)-periodic orbit that is unstable.
Proof
The proof is essentially given in [13, 18, 20]. We give here a sketch. It is enough to prove that there exists at least one unstable fixed point of the area and orientation preserving 1-1 real analytic map \(\sigma ^{-p}\circ \tilde{S}^q\). Let us first note that since \(\tilde{S}\) is twist, the map \(\sigma ^{-p}\circ \tilde{S}^q\) is not the identity. Actually, it is known (see for example [6])) that if \(\tilde{S}\) is twist, then the image of a vertical line under \(\tilde{S}^q\) is a positive path, i.e. a curve such that the angle between the tangent vector and the vertical is always positive. This implies that \(\tilde{S}^q\) cannot be a horizontal translation.
By hypothesis the set of fixed points of \(\sigma ^{-p}\circ \tilde{S}^q\) is not empty so that applying [20, Chapter 4.9, Theorem 15] we deduce that every stable fixed point is an isolated fixed point.
Hence, if there exists some non isolated fixed point, it must be unstable. Finally, suppose that we only have isolated fixed points that are all stable. From [20, Chapter 4.5, Theorem 12] they must all have index 1. On the other hand, the Euler characteristic of the cylinder is null, and by the Poincaré-Hopf index formula we have a contradiction. Hence, there must exists at least one fixed point that is unstable. \(\square \)
Corollary 2.8
In the conditions of Theorem 2.5, if S is real analytic then there exists at least one unstable (p, q)-periodic orbit.
In the analytic case, the twist condition gives information on the structure of the set of (p, q)-periodic orbits. Actually the following result has been proved in [13, 19]
Theorem 2.9
Consider a \(C^1\)-embedding \(\tilde{S}:\Sigma \rightarrow {{\mathbb {R}}}\) satisfying property (2.1) and suppose it is exact symplectic and twist. Fix a positive integer p and assume that for every \(x\in {{\mathbb {R}}}\) there exists \(y\in (a,b)\) such that
Then the map \(\sigma ^{-p}\circ \tilde{S}\) has at least two fixed points in \([0,1)\times (a,b)\). Moreover, if \(\tilde{S}\) is real analytic then the set of fixed points is finite or the graph of a real analytic 1-periodic function. In the first case the index of such fixed points is either \(-1\), 0, 1 and at least one is unstable. In the second case, all the fixed points are unstable.
Remark 2.10
Aubry-Mather theory gives a description, for fixed p, q of those (p, q)-periodic orbits that are global minimizers. They can be ordered and if two of them are neighbouring, in the sense that there is no other minimal (p, q)-periodic orbit in the middle, then there are heteroclinic connections between them [2, 7]. In this case, the (p, q)-periodic orbits are unstable. On the other hand, they can form an invariant curve. We stress that in the analytic case Theorem 2.9 gives the description of the set of all (p, q)-periodic orbits, not only those that are action minimizing.
3 The bouncing ball map and its properties
Consider the motion of a bouncing ball on a vertically moving racket. We assume that the impacts do not affect the racket whose vertical position is described by a 1-periodic \(C^k\), \(k\ge 2\), or real analytic function \(f:{{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\). Let us start getting the equations of motion, following [16]. In an inertial frame, denote by \((t,w)\) the time of impact and the corresponding velocity just after the bounce, and by \((\bar{t},\bar{w})\) the corresponding values at the subsequent bounce. From the free falling condition we have
where g stands for the standard acceleration due to gravity. Noting that the velocity just before the impact at time \(\bar{t}\) is \(w-g(\bar{t}-t)\), using the elastic impact condition and recalling that the racket is not affected by the ball, we obtain
where \(\dot{}\) stands for the derivative with respect to time. From conditions (3.1–3.2) we can define a bouncing motion given an initial condition (t, w) in the following way. If \(w\le \dot{f}(t)\) then we set \(\bar{t}=t\) and \(\bar{w}=w\). If \(w>\dot{f}(t)\), we claim that we can choose \(\bar{t}\) to be the smallest solution \(\bar{t}> t\) of (3.1). Bolzano theorem gives the existence of a solution of (3.1) considering
and noting that \(F_t(\bar{t})<0\) for \(\bar{t}-t\) large and \(F_t(\bar{t})>0\) for \(\bar{t}-t\rightarrow 0^+\). Moreover, the infimum \(\bar{t}\) of all these solutions is strictly larger than t since if there exists a sequence \(\bar{t}_n\rightarrow t\) satisfying (3.1) then,
that contradicts \(w>\dot{f}(t)\) using the mean value theorem. For this value of \(\bar{t}\), condition (3.2) gives the updated velocity \(\bar{w}\).
For \(\bar{t}-t>0\), we introduce the notation
and write
that also gives
Now we change to the moving frame attached to the racket, where the velocity after the impact is expressed as \(v=w-\dot{f}(t)\), and we get the equations
By the periodicity of the function f, the coordinate t can be seen as an angle. Hence, equations (3.5) define formally a map
satisfying \({\tilde{\Psi }}\circ \sigma =\sigma \circ {\tilde{\Psi }}\) and the associated map of the cylinder \(\Psi :{{\mathbb {A}}}\rightarrow {{\mathbb {A}}}\).
This is the formulation considered by Kunze and Ortega [9]. Another approach was considered by Pustylnikov in [21] and leads to a map that is equivalent to (3.5), see [12]. Noting that \(w>\dot{f}(t)\) if and only if \(v>0\), we can define a bouncing motion as before and denote it as a sequence \((t_n,v_n)_{n\in {{\mathbb {Z}}}^+}\) with \({{\mathbb {Z}}}^+=\{n\in {{\mathbb {Z}}}\,:\, n\ge 0\}\) such that \((t_n,v_n)\in {{\mathbb {T}}}\times [0,+\infty )\) for every \(n\in {{\mathbb {Z}}}^+\).
The maps \(\Psi \) and its lift \(\tilde{\Psi }\) are only defined formally. In the following lemma we state that they are well defined and have some regularity. Let us introduce the notation \({{\mathbb {R}}}_{v_*}=\{v\in {{\mathbb {R}}}\, :\, v>v_* \}\), \({{\mathbb {A}}}_{v_*} = {{\mathbb {T}}}\times {{\mathbb {R}}}_{v_*}\) and \({{\mathbb {R}}}^2_{v_*}={{\mathbb {R}}}\times {{\mathbb {R}}}_{v_*}\). We will denote the \(\sup \) norm by \(\Vert {\cdot }\Vert \) and recall that \(f\in C^k({{\mathbb {T}}}), k\ge 2\) or real analytic.
Lemma 3.1
There exists \(v_*>4\Vert {\dot{f}}\Vert \) such that the map \(\Psi :{{\mathbb {A}}}_{v_*}\rightarrow {{\mathbb {A}}}\) is a \(C^{k-1}\) embedding. If f is real analytic, then \(\Psi \) is a real analytic embedding.
Proof
The proof is essentially given in [16]. We give here a sketch. To prove that the map is well defined and \(C^{k-1}\) we denote \(v_{**}=4\Vert {\dot{f}}\Vert \) and apply the implicit function theorem to the \(C^{k-1}\) function \(F :\{(t,v,\bar{t},\bar{v})\in {{\mathbb {A}}}_{v_{**}} \times {{\mathbb {R}}}^2 \, :\,t\ne \bar{t}\} \rightarrow {{\mathbb {R}}}^2\) given by
This gives the existence of a \(C^{k-1}\) map \(\Psi \) defined in \({{\mathbb {A}}}_{v_{**}}\) such that \(F(t,v,\Psi (t,v) )=0\). If f is real analytic, we get that \(\Psi \) is real analytic applying the analytic version of the implicit function theorem.
One can easily check that \(\Psi \) is a local diffeomorphism since
To prove that \(\Psi \) is a global embedding we need to prove that it is injective in \({{\mathbb {A}}}_{v_*}\) for \(v_*\) eventually larger than \(v_{**}\). This can be done as in [16]. \(\square \)
Remark 3.2
Note that we cannot guarantee that if \((t_0,v_0) \in {{\mathbb {A}}}_{v_*}\) then \(\Psi (t_0,v_0) \in {{\mathbb {A}}}_{v_*}\). This is reasonable, since the ball can slow down decreasing its velocity at every bounce. Hence, in general, given \((t_0,v_0) \in {{\mathbb {A}}}_{v_*}\) we can only define a finite number of iterates of the map \(\Psi \). We will be interested in orbits defined for all \(n\in \mathbb {Z}\). These orbits are called complete.
On the other hand, a bouncing motion is defined as long as \(v\ge 0\).
Remark 3.3
From the physical point of view, the condition \(\Psi ^n(t_0,v_0)\in {{\mathbb {A}}}_{v_*}\) for every n, implies that we can only hit the ball when it is falling. To prove it, suppose that \(t_0 =0\) and let us see what happens at the first iterate. The time at which the ball reaches its maximum height is \(t^{max}=\frac{v_0}{g}\). On the other hand, the first impact time \(\bar{t}\) satisfies,
where the last inequality comes from \(v_0\in {{\mathbb {R}}}_{v_*}\) and \(v_*>4\Vert {\dot{f}}\Vert \).
The map \({\tilde{\Psi }}\) is exact symplectic if we pass to the variables time-energy \((t,e)\) defined by
obtaining the conjugated map
defined by
that by Lemma 3.1 is a \(C^{k-1}\)-embedding or real analytic if f is real analytic. More precisely, we have the following result, proved in [16].
Lemma 3.4
The map \(\Phi \) is exact symplectic and twist in \({{\mathbb {A}}}_{e_*}\).
Moreover, \(\Phi \) preserves and twists infinitely the upper end.
The map \(\Phi \) is not defined in the whole cylinder. However, it is possible to extend to the whole cylinder preserving its properties. More precisely:
Lemma 3.5
There exists a \(C^{k-2}\) exact symplectic and twist diffeomorphism \(\bar{\Phi }:{{\mathbb {A}}}\rightarrow {{\mathbb {A}}}\) such that \(\bar{\Phi } \equiv \Phi \) on \({{\mathbb {A}}}_{e_*}\) and \(\bar{\Phi }\equiv \Phi _0\) on \({{\mathbb {A}}}\setminus {{\mathbb {A}}}_{\frac{e_*}{2}}\) where \(\Phi _0\) is the integrable twist map \(\Phi _0(t,e)=(t+e,e)\). Moreover, \(\bar{\Phi }\) preserves the ends of the cylinder and twists them infinitely. If f is real analytic, then the extension \(\bar{\Phi }\) is \(C^\infty \).
Due to Lemma 3.1 and the fact that the maps \(\Phi \) and \(\Psi \) are conjugated we can consider the lift \(\tilde{\Phi }:{{\mathbb {R}}}^2_{e_*}\rightarrow {{\mathbb {R}}}^2\) and give the following
Definition 3.6
A complete bouncing motion \((t_n,e_n)_{n\in {{\mathbb {Z}}}}\) is a complete orbit of the map \(\tilde{\Phi }\).
In the following section we will study the existence and properties of periodic complete bouncing motions as orbits of the map \(\tilde{\Phi }\) defined in (3.6).
4 Periodic bouncing motions
The existence of periodic complete bouncing motions follows from an application of Aubry-Mather theory. In this section we prove it and in the analytic case we give some results on the structure of such motions and their stability.
We start saying that a complete bouncing motion is (q, p)-periodic if in time p the ball makes q bouncing before repeating the motion, more precisely:
Definition 4.1
Given two coprime integers \(q,p\in {{\mathbb {Z}}}^+\), a complete bouncing motion \((t_n,e_n)_{n\in {{\mathbb {Z}}}}\) is (q, p)-periodic if the corresponding orbit of \(\tilde{\Phi }\) is (p, q)-periodic. Moreover, we say that it is stable if the corresponding orbit is stable.
The existence of two (q, p)-periodic complete bouncing motions comes from an application of Theorem 2.5.
Theorem 4.2
For every \(f\in C^3\) there exists \(\alpha >0\) such that for every positive coprime p, q satisfying \(p/q>\alpha \) there exist two different (q, p)-periodic complete bouncing motions. Moreover, if f is real analytic, then at least one of the (q, p)-periodic complete bouncing motion is unstable.
Proof
By Lemma 3.4, the map \(\Phi \) defined in (3.6) is a \(C^2\) exact symplectic twist embedding in \({{\mathbb {A}}}_{e_*}\) for some large \(e_*\) depending on \(\Vert {\dot{f}}\Vert \). Moreover \(\Phi \) preserves and twists infinitely the upper end. Its extension \(\bar{\Phi }\) coming from Lemma 3.5 satisfies the hypothesis of Theorem 2.5 and admits for every coprime p, q two Birkhoff (p, q)-periodic orbit. Consider the Birkhoff (p, q)-periodic orbits for p, q positive and p/q large enough such that
Since Birkhoff periodic orbits are cyclically ordered, from [5, lemma 9.1] we have that they satisfy the estimate \(t_{n+1}-t_n>p/q - 1\). On the other hand, from (3.6),
so that it must be
By the choice of p/q in (4.1) we have that \(e_n>e_*\) for every \(n\in {{\mathbb {Z}}}\) so that these Birkhoff periodic orbits are all contained in \({{\mathbb {A}}}_{e_*}\) and so they are orbits of the original map \(\Phi \). If f is real analytic the result on the instability follows from Proposition 2.7. \(\square \)
Theorem 4.2 gives the existence of (q, p)-periodic bouncing motions but does not give information on the topological structure of the set of (q, p)-periodic bouncing motions for fixed values of (q, p). This is a complicated issue and some results comes from Aubry-Mather theory. However, here we will see which results can be obtained using Theorem 2.9. To state this result we give the following
Definition 4.3
We say that the set of (q, p)-periodic complete bouncing motions is (analytically) degenerate if there exists a real analytic curve (t(s), e(s)) such that \((t(s+1),e(s+1))=(t(s)+1,e(s))\) for every \(s\in {{\mathbb {R}}}\), the function t(s) is bijective for \(s\in [0,1)\) and \((t_n,e_n)_{n\in {{\mathbb {Z}}}}\) is a (q, p)-periodic complete bouncing motion if and only if there exist \(n_0,s_0\) such that \((t_{n_0},e_{n_0})=(t(s_0),e(s_0))\).
The following result is a quite direct consequence of Lemma 3.4.
Proposition 4.4
If f is real analytic, then there exists \(\alpha >0\) such that for every \(p>\alpha \) the set of (1, p)-periodic complete bouncing motions is either finite or degenerate. In the first case at least one (1, p)-periodic complete bouncing motion is unstable. In the degenerate case, all (1, p)-periodic complete bouncing motion are unstable.
Proof
By Lemma 3.4 the map \(\tilde{\Phi }\) is exact symplectic and twist on \({{\mathbb {R}}}^2_{e_*}\). Moreover, let us choose a such that \(e_*<\sqrt{2a}\) and p such that
Let us start with the following estimates for the lift \(\tilde{\Phi }\) that can be easily proved by induction on n from (3.6):
The second, for \(n=1\), gives
On the other hand, Lemma 3.4 also gives that \(\tilde{\Phi }\) twists the upper end infinitely, i.e. \(\lim _{e\rightarrow +\infty }\bar{t}(t,e)-t=+\infty \) uniformly in t. Hence, condition (2.2) is satisfied in the strip \(\Sigma =[a,+\infty )\) for every p. The conclusion comes from the application of Theorem 2.9 and the fact that (1, p)-periodic complete bouncing motions corresponds to the fixed points of the map \(\sigma ^{-p}\circ \tilde{\Phi }\). \(\square \)
This result is not trivially extended to (q, p)-periodic motions for \(q\ge 1\) since \(\Phi ^q\) need to be exact symplectic and twist. The twist condition is in general not preserved by composition, while the exactness is, as shown in the following result, inspired by [3]
Lemma 4.5
For every \(q>0\) there exists \(e_\#\ge e_*\) such that for every \(p>0\) the map \(\sigma ^{-p}\circ \tilde{\Phi }^q:{{\mathbb {R}}}^2_{e_\#}\rightarrow {{\mathbb {R}}}^2\) is exact symplectic.
Proof
Since the map \(\tilde{\Phi }\) is defined in \({{\mathbb {R}}}^2_{e_*}\), the image \(\tilde{\Phi }({{\mathbb {R}}}^2_{e_*})\) could not be contained in \({{\mathbb {R}}}^2_{e_*}\) so that the iterate could not be defined. From (3.5) we have that \(|\bar{v}-v|\le 4\Vert {\dot{f}}\Vert \) from which, the map \(\tilde{\Psi }^q\) is well defined in \({{\mathbb {R}}}^2_{v_\#}\) with \(v_\#=v_* + 4 q \Vert {\dot{f}}\Vert \). Hence passing to the variables (t, e), the map \(\tilde{\Phi }^q\) is defined in \({{\mathbb {R}}}^2_{e_\#}\) with \(e_\#=\frac{1}{2}v_\#^2\).
Since \(\Phi \) is exact symplectic, there exists \(V:{{\mathbb {R}}}^2_{e_\#}\rightarrow {{\mathbb {R}}}\) such that, defining \(\lambda =e dt\) we have \(\tilde{\Phi }^*\lambda -\lambda =dV\). Hence, denoting \(V_1=V+V\circ \tilde{\Phi }+\dots +V\circ \tilde{\Phi }^{q-1}\) it holds that \(V_1\circ \sigma =V_1\) on \({{\mathbb {R}}}^2_{e_\#}\) and
from which \(\tilde{\Phi }^q\) is exact symplectic. Finally, we conclude noting that by the definition of \(\sigma ^{-p}\), \((\sigma ^{-p}\circ \tilde{\Phi }^q)^*\lambda = (\tilde{\Phi }^q)^*\lambda \). \(\square \)
Concerning the twist condition the following technical result holds.
Lemma 4.6
Let f be \(C^2\). For every \(q\ge 1\) there exist \(\varepsilon _q>0\), \(e^q>e_\#\), such that if \(\Vert {\ddot{f}}\Vert <\varepsilon _q\) then
where \(|\tilde{f}_q(t,e)|< 1/2\) on \({{\mathbb {R}}}^2_{e^q}\).
Proof
To simplify the computation, let us perform the change of variables \(y=\sqrt{2e}+\dot{f}(t)\) so that (3.6) becomes
Since \(\partial t_q/\partial e=(\partial t_q/\partial y) (\partial y/\partial e)\) it is enough to prove that for every \(q\ge 1\) there exist \(\varepsilon _q>0\) and \(y^{(q)}\) large, such that if \(\Vert {\ddot{f}}\Vert <\varepsilon _q\) then
where \(|\tilde{f}_q(t,y)|< 1/2\) on \({{\mathbb {R}}}^2_{y^{(q)}}\).
Let us start with some estimates that hold for every \(q\ge 1\). It comes from (4.3) that
so that
Using it,
from which there exists \(y^{(q)}\) large enough and \(C_q\) such that
and analogously
Now we can start the proof by induction on \(q\ge 1\). For \(q=1\) we have, differentiating the first equation in (4.3)
from which, using (4.7) we get the initial step taking a suitably larger value of \(y^{(1)}\).
For the inductive step, let us suppose (4.4) to be true for \(i=1,\dots ,q-1\). By implicit differentiation
From (4.5) and the inductive hypothesis we have
Since by (4.7-4.8) for every i \(|\partial _{t_{i}}f[t_{i-1},t_{i}]|\) tends to zero uniformly as \(y \rightarrow +\infty \) and \(|\tilde{f}_i|<1/2\) for y large, we can find new constants \(C_{q-1}\) and \(y^{(q-1)}\) such that on \({{\mathbb {R}}}^2_{y^{(q-1)}}\),
Using it and the inductive hypothesis in (4.10) we get
where,
Now (4.7-4.8) and (4.11) imply
so that we can find \(\varepsilon _q\) and \(y^{(q)}\) such that if \(\Vert {\ddot{f}}\Vert <\varepsilon _q\) then \(|\tilde{f}_q|<\frac{1}{2}-\frac{1}{2q}\) on \({{\mathbb {R}}}^2_{y^{(q)}}\). Plugging it into (4.12) and using again (4.7–4.8) we get the thesis, eventually increasing \(y^{(q)}\). \(\square \)
This is used to prove the following result
Proposition 4.7
Suppose that f is real analytic. For every \(q>0\) there exist \(\alpha >0\) and \(\varepsilon _q>0\) such that if \(p>\alpha \) and \(\Vert {\ddot{f}}\Vert <\varepsilon _q\) then the set of (q, p)-periodic complete bouncing motion is either finite or degenerate. In the first case at least one (q, p)-periodic complete bouncing motion is unstable. In the degenerate case, all (q, p)-periodic complete bouncing motion are unstable.
Proof
We would like to apply Theorem 2.9 to the map \(\tilde{\Phi }^q\), noting that (q, p)-periodic bouncing motions correspond to fixed points of the map \(\sigma ^{-p}\circ \tilde{\Phi }^q\). Let us fix \(q>0\). In Lemma 4.5 we proved that \(\tilde{\Phi }^q\) is exact symplectic in \({{\mathbb {R}}}^2_{e_\#}\) for some \(e_\#\) depending on q. Moreover, by Lemma 4.6, there exist \(\varepsilon _q\) and \(e^q>e_\#\) such that if \(\Vert {\ddot{f}}\Vert <\varepsilon _q\) then \(\tilde{\Phi }^q\) is also twist on \({{\mathbb {R}}}^2_{e^q}\). Now choose \(p>0\) such that
Hence, there exist \(b>a\) such that
This choice for a, b gives condition (2.2) on the strip \(\Sigma ={{\mathbb {R}}}\times (a,b)\). Actually, from (4.2),
This concludes the proof. \(\square \)
References
Aubry, S., Le Daeron, P.Y.: The discrete Frenkel–Kontorova model and the devil’s staircase. Phys. D 7, 240–258 (1983)
Bangert, V.: Mather sets for twist maps and geodesics on tori. In: Dynamics Reported, vol. 1. Wiley, Chichester, pp. 1–56 (1988)
Boscaggin, A., Ortega, R.: Monotone twist maps and periodic solutions of systems of Duffing type. Math. Proc. Camb. Philos. Soc. 157, 279–296 (2014)
Dolgopyat, D.: Bouncing balls in non-linear potentials. Discrete Contin. Dynam. Syst. 22, 165–182 (2008)
Golé, C.: Symplectic Twist Maps. Global Variational Techniques. World Scientific Publishing, Singapore (2001)
Herman, M.R.: Sur les courbes invariantes par les difféomorphismes de l’anneau. Asterisque, pp. 103–104 (1983)
Katok, A., Hasselblatt, B.: Introduction to the Modern Theory of Dynamical Systems. Encyclopedia of Mathematics and Its Applications, vol. 54. Cambridge University Press, Cambridge (1995)
Krants, S., Parks, H.: A Primer of Real Analytic Functions. Birkhäuser, Basel (2002)
Kunze, M., Ortega, R.: Complete orbits for twist maps on the plane: extensions and applications. J. Dyn. Diff. Equ. 23, 405–423 (2011)
Kunze, M., Ortega, R.: Twist mappings with non-periodic angles. In: Stability and Bifurcation Theory for Non-autonomous Differential Equations, Lecture Notes in Mathematics. Springer, Berlin, pp. 267–302 (2013)
Ma, Z., Xu, J.: A \(C^{1+\alpha }\) mechanical counterexample to Moser’s twist theorem. Z. Angew. Math. Phys. 72, 186 (2021)
Marò, S.: Coexistence of bounded and unbounded motions in a bouncing ball model. Nonlinearity 26, 1439–1448 (2013)
Marò, S.: Periodic solutions of a relativistic pendulum via twist dynamics. Topol. Methods Nonlinear Anal. 42, 51–75 (2013)
Marò, S.: A mechanical counterexample to KAM theory with low regularity. Phys. D 283, 10–14 (2014)
Marò, S.: Chaotic dynamics in an impact problem. Ann. Henri Poincaré 16, 1633–1650 (2015)
Marò, S.: Diffusion and chaos in a bouncing ball problem. Z. für Angew. Math. Phys. ZAMP 71, 78 (2020)
Marò, S.: On Unbounded Motions in a Real Analytic Bouncing ball Problem. Qual. Theory Dyn. Syst. 21, 112 (2022). https://doi.org/10.1007/s12346-022-00644-4
Ortega, R.: Retracts, fixed point index and differential equations. Rev. R. Acad. Cienc. Extras Fis. Nat. Ser. A. Mat. RACSAM 102, 89–100 (2008)
Ortega, R.: Linear motions in a periodically forced Kepler problem. Port. Math. 68, 149–176 (2011)
Ortega, R.: Periodic Differential Equations in the Plane, A Topological Perspective. De Gruyter, Berlin (2019)
Pustyilnikov, L.D.: Poincaré models, rigorous justification of the second element of thermodynamics on the basis of mechanics, and the Fermi acceleration mechanism. Russ. Math. Surv. 50, 145–189 (1995)
Ruiz-Herrera, A., Torres, P.J.: Periodic solutions and chaotic dynamics in forced impact oscillators. SIAM J. Appl. Dyn. Syst. 12, 383–414 (2013)
Zhou, J.: A piecewise smooth Fermi-Ulam pingpong with potential. Ergod. Theory Dyn. Syst. 42, 1847–1870 (2022)
Acknowledgements
The author would like to thank the unknown referee for several valuable advice that improved the final version of the paper.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Declaration
The author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work has been supported by the project PID2021-128418NA-I00 awarded by the Spanish Ministry of Science and Innovation. The work is also part of the author’s activity within the DinAmicI community (http://www.dinamici.org) and the Gruppo Nazionale di Fisica Matematica, INdAM.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Marò, S. Some remarks on the periodic motions of a bouncing ball. Boll Unione Mat Ital 16, 397–409 (2023). https://doi.org/10.1007/s40574-022-00339-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40574-022-00339-3