Regular and Chaotic Dynamics of a Piecewise Smooth Bouncer^{1}^{1}1Preprint submitted to Chaos November 11, 2014
Abstract
The dynamical properties of a particle in a gravitational field colliding with a rigid wall moving with piecewise constant velocity are studied. The linear nature of the wall’s motion permits further analytical investigation than is possible for the system’s sinusoidal counterpart. We consider three distinct approaches to modeling collisions: (i) elastic, (ii) inelastic with constant restitution coefficient and (iii) inelastic with a velocitydependent restitution function. We confirm the existence of distinct unbounded orbits (Fermi acceleration) in the elastic model, and investigate regular and chaotic behavior in the inelastic cases. We also examine in the constant restitution model trajectories wherein the particle experiences an infinite number of collisions in a finite time i.e., the phenomenon of inelastic collapse. We address these socalled “sticking solutions” and their relation to both the overall dynamics and the phenomenon of selfreanimating chaos. Additionally, we investigate the longterm behavior of the system as a function of both initial conditions and parameter values. We find the nonsmooth nature of the system produces novel bifurcation phenomena not seen in the sinusoidal model, including bordercollision bifurcations. The analytical and numerical investigations reveal that although our piecewise linear bouncer is a simplified version of the sinusoidal model, the former not only captures essential features of the latter but also exhibits behavior unique to the discontinuous dynamics.
I Introduction
The problem of a particle bouncing on a vertically and periodically driven wall has been studied extensively since a similar system was introduced by Fermi and Ulam Fermi (1949) in the study of highenergy cosmic rays. Originally, it was proposed by Fermi that a particle colliding elastically between one fixed and one oscillating wall could in theory obtain unbounded energy growth. Investigations by Pustyl’nikov in Pustyl’nikov (1968, 1972, 1987) showed that although in the FermiUlam model energy remained bounded for sufficiently smooth wall motions, unbounded orbits could be found in the related system of a particle colliding with a sinusoidally oscillating wall in the presence of a constant gravitational field. This system was also found to exhibit a variety of complex and diverse dynamical behavior for both elastic and inelastic collisions, and has been widely studied (cf. for early studies Lichtenberg et al. (1980); Holmes (1982); Lichtenberg and Lieberman (1992); Luck and Mehta (1993) and Naylor et al. (2002); Vogel and Linz (2011) for more recent investigations).
From a mathematical perspective, the gravitational bouncer and related FermiUlam models with piecewisesmooth wall motions have been studied at large energies as perturbations of integrable systems; however, since these perturbations are not smooth, KAM theory can no longer be applied, and the normal (limiting) form of the map becomes more complicated Dolgopyat (2008); de Somoi and Dolgopyat (2012). Understanding these simple models offer first glimpses into the general class of piecewise smooth, nearly integrable systems, an area of research where many open questions remain Dolgopyat (2013).
While numerous numerical and experimental studies of this system have been done, the usual choice of a sinusoidal driving force prevents the explicit Poincaré map of this system from being analytically computed. Hence, there are certain restrictions which have to be made in any theoretical work on the sinusoidal model, and often approximate systems have been studied in place of the exact model. In this work we introduce the socalled piecewise linear bouncer, consisting of a particle colliding with a wall which is being driven by a piecewise linear function (which makes the wall’s velocity piecewise constant). Choosing a piecewise linear as the driving function allows the Poincaré surfaceofsection or impact map to be analytically computed, making exact study of the system at hand possible. This allows us to proceed further analytically for this model than is possible in the sinusoidal model. However, the discontinuity present in the wall’s motion introduces further complexity in the dynamics, leading to a Poincaré map which is only piecewisesmooth. Hence, we have replaced a smooth map for which the explicit form could not be computed analytically with a nonsmooth map for which the explicit form of the map is known.
Nonsmooth dynamical systems arise in a variety of physical applications (such as switching circuits), a prominent class of which is the socalled impact oscillator (cf. di Bernardo et al. (2008) for an introduction to such systems). One example of an impact oscillator is the widely studied motion of a particle attached via a linear spring and dashpot to a datum point such that the position is given by for , where is the particle’s position, is a measure of the damping, and is an applied external force. At the point the particle collides with some rigid obstacle and follows the impact law and , where and denote the position and velocity of the particle just before and after a collision, respectively. The equivalent problem of setting and allowing to move and collide with the particle according to , where is the restitution coefficient, shows the relation between the onedimensional impact oscillator and our piecewise linear bouncer. Many of the features of impact oscillators, such as sticking regions and inelastic collapse are features present in our model as well. The latter feature, consisting of infinite collisions occurring in finite time, is also observed in studies of granular media McNamara and Young (1992); Goldman et al. (1998). Additionally, some of the bifurcation phenomena unique to nonsmooth systems are found in our model when the parameters of the system are varied, including periodadding, discontinuous appearance/disappearance of periodic and chaotic orbits, and sudden transitions from periodic to chaotic orbits. All of these fall in the domain of discontinuityinduced bifurcations, or DIBs for short (cf. Nusse and Yorke (1992); Banerjee and Grebogi (1999); di Bernardo et al. (1999) for an introduction to discontinuityinduced bifurcations).
We find the piecewise linear bouncer offers the opportunity to study in greater analytical detail some of the essential aspects found in the sinusoidal model, as well as some additional complexity due to the discontinuities in the wall’s motion. In what follows we study the elastic model as well as two different kinds of inelastic models: a constant restitution coefficient and a velocitydependent restitution function which is dependent on the velocity of the particle just before impact. We use the particular restitution function found in Weir and Tallon (2005), with dependent on the relative velocity of the particle,
(1) 
where is a constant which makes the argument dimensionless, and is the velocity of the particle just before the collision, given by .
We note that previous work has been done by Okninski et al. in Okninski and Radziszewski (2009a, b) on a similar inelastic, constant restitution coefficient bouncer ^{2}^{2}2The magnitude of the speed of the wall was not constant in this model. In their work Okninski et al. considered either a sawtooth wave or an asymmetrical triangle wave as a driving function. In our work we consider a symmetrical triangle wave.. In our work we confirm some of the basic results found in these investigations, as well as analyze some more global aspects of the dynamics. In their work Okninski et al. were limited to solving particular cases of the implicit map; our explicit map provides the opportunity to investigate the global dynamics for wide ranges of initial conditions and parameter values.
In this work, we study the Fermi piston with piecewise linear and periodic driving function for elastic as well as two different kinds of inelastic collisions. In section II, we compute the time of the collision; combining this with the collision equation(s) relating pre and postcollision velocities gives the full Poincaré map. Next, we solve for periodic motions (i.e. “regular solutions”) for each of the different kinds of collisions, and give a general description of the more exotic possible behavior (i.e. quasiperiodic, sticking, chaotic, and unbounded) for each of the different kinds of collisions. In sections IIIV we present our numerical results for the three models which give a more global picture of the dynamics, and illustrate the dominance of certain solutions. In addition we discuss interesting features of chaotic motions observed in the velocitydependent model, as well as scans of the parameter space to show the distribution of solutions. Finally, in section VI we summarize our results and indicate future directions of research.
Ii Basics
ii.1 The impact map
We consider the motion of a particle moving in one dimension, subject to a gravitational acceleration , bounded from below by an infinitely massive wall which is being driven by a function . We assume that collisions do not affect the wall’s motion i.e. the wall is infinitely massive. Between the and collision, the particle is in free fall. Thus, after defining the wall’s motion to be given by
(2) 
the timeofflight between the collision at and the collision at is given by the smallest positive solution of
(3) 
and the postcollision velocity of the particle is given by
(4) 
To reduce the number of parameters of the system, we introduce the dimensionless acceleration and henceforth work in units where . It is convenient in solving the above equation to define the cyclic time coordinate and reduce the phase space to a half cylinder. We chose to distinguish the different possible kinds of collisions as follows. If the particle fails to escape the collision zone between collisions we say a direct collision occurs; otherwise we say an indirect collision occurs. By definition for direct collisions we have three possible cases for the motion of the wall at the and collisions: either the particle collides with a wall moving upward at both collisions, downward at both collisions, or down at the collision and up at the collision. In the first two cases, the substitution may be made, while in the latter we must use because the wall completes an oscillation in the time between collisions. For indirect collisions, instead of computing directly we first compute , the time it takes the particle to reenter the collision zone ( denotes the time of the particle’s reentry). In terms of , the time of the next collision is given by
(5) 
In solving this equation we distinguish once again three general kinds of collisions: the wall is either moving upward or downward at the time the particle reenters the collision zone and at the moment of the collision, or the wall is moving downward upon reentry and upward at the moment of collision. It follows that in the former two cases the substitutions may be made, and in the latter case . Upon making these substitutions and solving the subsequent quadratic equations, we arrive at the map (where we take in all cases)
(6) 
(7) 
where we have defined the useful quantities
(8) 
(9) 
and
(10) 
In the first case we take the sign if the wall is moving upward at the collision i.e., and vice versa for . In the second case we include the in front of the square root to ensure the smallest positive solution for the time interval is taken, and in the third case the and again depend on the wall’s motion at the collision. For example if then we take the mapping to be
(11) 
(12) 
Note that if we neglect the modulo operator in , the third and fourth cases reduce to the first and second cases, respectively.
ii.2 Types of solutions
ii.2.1 Elastic and constant restitution models  fixed and periodic solutions
In general, working directly from (6)(7) in searching for fixed points and periodic orbits we arrive at two simultaneous nonlinear equations which must be solved numerically for which involve (due to the presence of the modulo operator in the map) at least one arbitrary integer. In searching for basic periodic solutions, we have found it to be more convenient to work directly from (3)(4), the implicit map. However, the two approaches are equivalent and any solutions derived from this map are also valid for the explicit map, if the right combination of the different cases is employed.
We begin our search for fixed point solutions by supposing the particle impacts with an upwardmoving wall; the condition for fixed point implies that . By imposing this condition along with on the implicit map we arrive at
(14) 
(15) 
which implies
(16) 
Hence we find the family of fixed points
(17) 
where is some arbitrary value in the range . Note that for the elastic case the only fixed point corresponds to the particle matching the wall’s velocity exactly.
Although there exist analogous fixed points for the sinusoidal model where the flight time equals an integer multiple of the wall’s period of oscillation, the nature of the fixed points are fundamentally different for our model. In our case the solutions only exist for sharply defined values of the parameter , while in the sinusoidal model the solutions exist and are stable for a region of parameter space. Thus for the sinusoidally driven model the solutions correspond to resonances wherein the ‘period’ of the particle’s flight between two collisions is an integer times larger than the period of the wall’s motion. The regions in parameter space where these resonances exist define a collection of the socalled Arnol’d tongues. In our case, since the solutions exist only for sharply defined parameter values, the collection of fixed points defines a set of isolated curves in the parameter space e.g., Arnol’d tongues of zero width everywhere, as displayed in Fig. (a)a.
Performing linear stability analysis on this orbit requires finding the eigenvalues of , the Jacobian matrix
(18) 
For this orbit a simple calculation leads to the eigenvalues and . Thus, this orbit is marginally stable, since if we perturb a fixed point in the eigendirection the orbit does not return to this value. However, in the sense that the orbit remains a part of the family of fixed points, we may say that the manifold formed by the collection of fixed points at a given is in fact stable, since a perturbed point on the manifold of fixed points will stay on that manifold.
Due to the inherent ambiguity present in the cyclic variable , any search for a period orbit i.e., an orbit with and will involve an arbitrary integer corresponding to the number of wall oscillations between and . In general, we may classify all periodic orbits as follows:

Period orbits, where all collisions in the orbit are with a wall moving in the same direction. These orbits are similar in nature to the fixed points, and result in a free variable in .

Period orbits, where collisions occur with an upwardmoving wall, and collisions occur with a downward moving wall, with . These orbits are more similar to periodic solutions observed in the sinusoidal model.
In this work, we limit our investigations to period orbits, and derive the general constraint equations for both of the possible periodic orbits.
If a period orbit consists of an initial collision with an upwardmoving wall followed by a second collision with a downwardmoving wall i.e., and , the implicit mapping reads (where we have used for )
(19) 
(20) 
(21) 
We write , and define and where ; then the above equations may be rewritten as
(22) 
(23) 
(24) 
Eliminating yields the two coupled nonlinear equations
(25) 
(26) 
The general equations (25)(26) constraining period orbits where the collisions are with an upward/downward moving wall yield in theory an infinite number of solutions with respect to the integers and and the parameters and .
In addition to these period orbits, we also have period orbits. These cases are analytically simpler than the above calculations. Using the same notation as above, we have from the implicit map for consecutive collisions with an upwardmoving wall
(27) 
(28) 
(29) 
Eliminating yields the coupled equations
(30) 
(31) 
Note that just like in the case of fixed points, the constraining equations are free of any dependence. By solving the first equation for and substituting the result into the second equation we arrive at a general equation constraining the four quantities and . First we examine the elastic case. Applying to the above results in a simple formula
(32) 
along with the constraint equation
(33) 
Let us remind the reader that is the number of oscillations the wall completes between the and impacts, and that is the number of oscillations the wall completes between the and collisions. Hence, we have generated for the elastic model a set of families of period orbits:
(34) 
In order for the solutions to be physically meaningful, we must have and ; this places restrictions on the values of and . Stability analysis results in a Jacobian with eigenvalues
(35) 
and if we plug in the expression for given above the second eigenvalue becomes a complicated function of and , the general form of which is unlikely to yield much insight. However, for the simple cases , the function simplifies to give , and thus we have another marginally stable set of periodic orbits.
Returning to the inelastic model, solving (30)(31) in general leads to a complicated expression for and a constraint equation involving and . Proceeding in this fashion is difficult; if we instead choose particular values of and , we may derive a formula for as well as a relationship between and for which period orbits exist. For example, by choosing , we must have , in which case the first of the above equations may be solved:
(36) 
and substituting this relation into the second equation leads to
(37) 
Hence, we have the family of period orbits given by
(38) 
Analyzing the stability of this solution leads to a Jacobian matrix which is upper triangular; thus the eigenvalues are the diagonal entries:
(39) 
It may be shown that the condition for bifurcation i.e., implies that (given by a root of a order polynomial). Hence, for we have a set of marginally stable period orbits, and for the family of period orbits is unstable.
We have taken our analytical computations further to the case of period orbits, and the analysis results in similar, albeit more complicated constraining equations. Nevertheless, the prevalence of periodic orbits in the system is undoubtedly clear.
ii.2.2 Elastic  unbounded solutions
Unsurprisingly, we find for the elastic model the existence of trajectories with unbounded velocity i.e., the presence of Fermi acceleration. Interestingly, we find that there are different kinds of ‘Fermi accelerating’ orbits, including orbits where the velocity growth is chaotic and orbits where the growth is extremely structured and almost quasiperiodic. These orbits will be discussed in greater detail in section III.
ii.2.3 Inelastic constant restitution  sticking solutions
For the inelastic model we find the dynamics to be greatly influenced by the sticking solutions, wherein the particle experiences an infinite number of collisions with the wall in a finite time, sticks to the wall and is released at the moment of discontinuity in the wall’s motion. We call a solution sticking if at some point in time in its trajectory the particle undergoes the inelastic collapse process. In general, this kind of motion is typical of certain nonsmooth dynamical systems; for instance, sticking arises in many models which include friction of some kind di Bernardo et al. (2008). In addition, inelastic collapse arises in the study of granular media and gases of inelastic particles Bernu and Mazighi (1990); McNamara and Young (1992); Goldman et al. (1998). For our system, we were able to analytically determine the time required for inelastic collapse to occur (by transforming to the wall’s reference frame, since for small velocities the mapping simplifies greatly), as well as limiting velocities below which the particle was guaranteed to stick to the wall after ‘complete’ inelastic collapse. We compute the sum of the flighttimes to be given by, for an initial condition ,
(40) 
(where the inequality arises to ensure the particle completes inelastic collapse before the wall changes its direction of motion) from which we find the limiting velocities
(41) 
(42) 
below which inelastic collapse is guaranteed to occur (where we have used to denote the limiting velocity for inelastic collapse with an upwardmoving wall, and for a downwardmoving wall). After a particle completes the sticking process, it is released from the wall with new ‘initial’ conditions . This holds for both upward and downward inelastic collapse, as in the latter case once the wall changes its motion discontinuously at the particle immediately has velocity less than that of the upward moving wall, and thus enters a ‘grazing’ motion with the wall until , at which point it is ‘released’ with velocity equal to that of the wall.
These results together with the mapping allows us in section IV to understand the behavior of sticking solutions for certain parameter values. More precisely, because of the generic nature of the sticking process and the uniformity of the initial/final conditions, we are able to in some cases determine the precise periodic nature of sticking solutions. In this case, we define the periodicity of sticking to mean the number of flight time intervals a particle completes between sticking processes. For example, if a particle experiences inelastic collapse and is released with the initial conditions , and after recolliding with the wall for the first time possesses a velocity below the limiting velocity , it must restart the process of inelastic collapse. Since the particle has cycled through a single flight time between the initial conditions and the first postcollapse collision , we call an orbit such as this periodic sticking with period .
Thus, the uniformity of sticking enables us to define a notion of periodicity for the sticking orbits, and for small enough values of it may be shown that the sticking must occur with period 1, and for some other range of values with period 2, and so on. For this model, we found all sticking solutions to be periodic. This is in contrast to results found for the sinusoidal model, where sticking solutions which are aperiodic have been observed numerically and gives rise to the phenomenon of selfreanimating chaos. Our results, which find no occurrences of selfreanimating chaos, give credence to the idea that the selfreanimating chaos observed in the sinusoidal model may be a result of numerical errors, and not inherent to the true system Vogel and Linz (2011).
ii.2.4 Inelastic constant restitution  chaotic solutions
We find that sticking solutions regulate the phase space. More precisely, any solutions which are chaotic eventually enter the socalled locking region which ‘locks’ the particle into the inelastic collapse process, and forces the orbit to become periodic. This prevents the realization of longterm trajectories which are aperiodic and nonsticking.
ii.2.5 Inelastic velocitydependent model  periodic
For the velocitydependent model, we begin our analysis by searching for fixed points where the wall is moving upward at the moment of collision and completes periods of oscillation between two collisions i.e., . Then the first mapping equation, which does not depend on the nature of the restitution function, is equivalent to
(43) 
The velocity map may be simplified by noting that which implies
(44) 
and since for an upward wall the velocity is always we may for drop the absolute values signs, allowing us to rewrite the velocity map as
(45) 
Setting the two expressions for equal yields
(46) 
Thus we again arrive at a family of fixed point solutions
(47) 
where is arbitrary. Since the inverse hyperbolic cotangent function is realvalued for positive only when , we see that these fixed point solutions become invalid when and thus there are no fixed point solutions for the range
(48) 
Stability analysis results in a Jacobian with and regardless of parameter values. However, due to the fact that we have a family of fixed points for all , and the orbit is stable in the direction, we once again consider the family of fixed points to be stable. In general analytic expressions for periodic orbits are unlikely, due to the transcendental equations which arise in the constraint equations.
ii.2.6 Inelastic velocitydependent model  chaotic solutions
By introducing our particular choice of restitution function, we eliminate the possibility of inelastic collapse. More precisely, we may in fact show that the time required for an infinite number of collisions must itself be infinite, which means that sticking solutions play no part in our velocitydependent model. The sum of an infinite number of direct collisions with an upwardmoving wall leads to
(49) 
Hence, the convergence/divergence of the sum of the flight times hinges on the convergence/divergence of the sumofproducts
(50) 
This sum can only converge if the terms in the series tend to zero as , but the process of decaying collisions ensures that and thus the product as , which means the sum diverges, and it requires an infinite amount of time for an infinite number of collisions to occur.
The lack of sticking solutions allow more ‘interesting’ longterm trajectories which are aperiodic to exist in the velocitydependent model. In fact, we find attracting aperiodic orbits which have positive leading Lyapunov exponent as well as riddled basins of attraction; these chaotic orbits are discussed more fully in section V.2.
ii.3 Trapping region
Just as in the sinusoidal model, we are able to define a trapping region which limits the longterm behavior of the system. It is straightforward to show that for the longterm velocity of the particle is bound inside the trapping region of phase space
(51) 
For the velocitydependent model, a similar trapping region may be analytically demonstrated. More precisely, the upper bound for longterm velocity becomes in the velocitydependent model
(52) 
where the final equality holds for positive . Hence the particle’s phase portrait for the velocitydependent model is contained in
(53) 
Iii Elastic model
For the elastic model, we find unbounded orbits which exist for different parameter values in addition to the usual periodic and quasiperiodic behavior. More precisely, we find several kinds of orbits which lead to unbounded velocities, which are displayed in Fig. 2. These may be roughly classified as follows. First, we observe a structured behavior we call branched Fermi acceleration. In this orbit, the particle’s phase is ‘almost’ periodic while the velocity is always increasing. This results in a trajectory which, upon plotting in a polar form with scaled by , forms a set of nine branches which grow outward as time moves forward and remain roughly at the same angles i.e., a set of nine angles . The existence of these branched accelerating orbits may be understood by comparing our map with the asymptotic form for large velocities. For this, the difference in position of the wall may be neglected, leading to a map of the form
(54) 
(55) 
which naturally leads to unbounded orbits which are exactly periodic in , and ‘straighten out’ the branches. Hence, the exact model provides slight corrections which are due to the wall’s motion.
In addition to this structured form of Fermi acceleration, we observe chaotic trajectories where the velocity growth is still unbounded, although the process is more unpredictable and slower. In these chaotic accelerating orbits, the longterm trajectory takes the form of a chaotic sea which, if the surfaceofsection is plotted in realtime, expands upward in the direction of increasing velocity, all the while avoiding the areas which form quasiperiodic islands of stability. These islands surround the other bounded orbits i.e., the period solutions; these may be computed analytically for small , and the corresponding quasiperiodic solutions arise in the usual fashion as evidenced by an irrational winding number. The examples displayed in Fig. 2 illustrate the sensitivity of these orbits on the discontinuities of the wall’s motion. If a periodic or quasiperiodic orbit hits a discontinuity, it is destroyed and the resulting orbit is chaotic and accelerating. Note that it is the absence of KAM invariant curves which (in the FermiUlam model) span the phase space which allows for the unbounded velocity growth.
Iv Constant coefficient of restitution
iv.1 Typical trajectories
For the inelastic model, we lose all instances of unbounded velocity growth. This is of course due to the presence of dissipation, which implies via Liouville’s theorem that areas in the phase space contract; hence, for we should observe attractors, either regular or chaotic. In fact, we find that the existence of sticking solutions prevents any longterm chaotic trajectories from lasting beyond the first collisions. Thus, we observe two distinct behaviors:

Periodic attractors, valid only for specific parameter ranges;

Sticking attractors, which are periodic as well.
All numerical results lead to sticking solutions which repeat after a finite number of collisions. Hence, for the inelastic, constant restitution model the system’s behavior is in all cases periodic.
iv.2 Bifurcation diagrams and typical trajectories
In this model, largescale bifurcation diagrams illustrating the evolution of individual trajectories as a single parameter is varied do not provide much insight, as sticking solutions which appear aperiodic may falsely lead one to believe the behavior is chaotic. However, if we enlarge individual regions of the diagrams and examine the fates of periodic orbits, we see that the destruction of these orbits is often due to points associated with the discontinuities in the wall’s motion. In Fig. 3 we display the typical behavior at high values of the restitution coefficient. The diagram shows a complicated mixing of periodic and sticking behavior. To generate these bifurcation diagrams, a particular initial condition was followed for collisions, with only the final collisions displayed to eliminate transients, for a fixed . Then the parameter was incremented, and the process repeated.
Note that, since the inelastic collapse process takes an infinite number of collisions to occur, we have in our simulations used the limiting velocity to introduce a ‘cutoff.’ If after iterating the map we find the velocity of the particle to be below this limiting velocity, we immediately skip the inelastic collapse process and set the phase and velocity to their poststicking values i.e., and . Hence in Fig. 3, the orbits with points lying on the horizontal line at correspond to sticking solutions. This allows us to see clearly how many collisions it takes the particle to restart the sticking process i.e., the periodicity of sticking. When viewed on a large scale, the resulting orbits in Fig. 3 appear to be chaotic. However, a closer examination on a smaller window of values reveals that the complex chaoticlooking orbit is in fact a sticking orbit with a very high period of sticking. Thus, we must take care in distinguishing the truly chaotic nonsticking orbits and the chaoticlooking but periodic sticking orbits when characterizing the system’s behavior. One way to confirm this is by plotting a larger number of collisions; as the number of collisions goes up, a truly chaotic sea will look more and more complex, while a periodic sticking solution will at some point reach a point at which the orbit repeats and the surfaceofsection stops changing.
iv.3 Basins of attraction
If we scan the trapping region defined in section II.3 at parameter values where sticking and periodic solutions coexist, we may characterize the behavior fully for those particular values. Namely, we may distinguish the basins of attraction for the different attracting orbits. For the case , a sticking solution and a multitude of periodic orbits coexist. In Fig. 4 we plot a section of the trapping region which is characteristic of the general behavior for the whole range of initial conditions lying within the trapping region.
As we lower , the sticking solutions become on the whole more dominant for larger and larger ranges of . However, in agreement with the earlier analytical investigations, there still exist special parameter values for which periodic solutions constitute a significant part of the trapping region. If we let and fix , then we have a family of fixed point solutions at corresponding to the particle impacting with the wall once every wall oscillation. The basin of attraction for these orbits is given in Fig. 5. Clearly, the fixed point solutions present for precise parameter values constitute a large part of the trapping region, and are more dominant than periodic solutions present at other parameter values.
iv.4 Global Behavior
To gain a complete picture of the global dynamics, we scan the parameter space for different possible kinds of solutions. In our case, the prevalence of sticking solutions at all parameter values makes searching for such solutions trivial; hence, for the constant restitution model we scan the parameters for the existence of periodic (regular) solutions. In Fig. 6 we display the parameter space, along with the fixed point solutions which were computed analytically; note that we have cutoff values of the restitution coefficient above , as the existence of periodic solutions above this value is widespread.
V Velocitydependent model
The dynamics for the velocitydependent are richer and more complex due to the absence of sticking solutions, which as we have seen in the constant restitution model serve to destroy any longterm chaotic orbits. For this model we find the behavior may be classified as follows:

Periodic solutions;

Aperiodic (chaotic) solutions;

Effective sticking solutions, where the particle experiences a large number of decaying collisions with the wall, and eventually matches the wall’s velocity within the numerical precision of our calculations. Note that although the number of collisions is finite, we ‘effectively’ observe the same end result of the process as in the case of true inelastic collapse.
v.1 Bifurcation diagrams and typical trajectories
In considering the velocitydependent model, we begin by fixing the constant in the restitution function and varying . We observe drastically different behavior than in the constant restitution model, including a larger number of periodic orbits and more complex behavior. In Fig. 7 we display several typical ways an orbit can evolve as we vary at a constant value of .
In contrast to the constant restitution model, we observe what appears to be chaotic behavior resulting from the bifurcation of a periodic orbit into a chaotic structure. In section V.2 we compute the leading Lyapunov exponent for a range of values as well as the basin of attraction for this orbit, both of which confirm the chaotic nature of the dynamics at this parameter value. Furthermore, in section V.4 we survey the global behavior of the velocitydependent model and find that chaotic behavior is widespread for a large range of parameter values.
The existence of a positive leading average Lyapunov exponent is a commonly used indicator of chaos; hence we have computed this quantity for this particular range of values, the results of which confirm the chaotic nature of the orbit(s) at this parameter value. This indicates that nearby initial conditions exponentially diverge in time. We explore these attractors in greater depth in the next section.
v.2 Attractors
Despite the chaotic nature of the particle’s trajectory at certain parameter values, we find that such orbits remain on a general structure for large numbers of collisions. In Fig. 8 we give several views of the attracting orbit. Fig. (a)a displays the full orbit, while Figs. (b)b and (c)c show the structure present at smaller and smaller scales. We note that strange attractors observed in Vogel and Linz (2011) for the sinusoidal system are dramatically different in structure and origin than those found in our model. In the sinusoidally driven bouncer, chaotic attractors arise purely out of the classic perioddoubling bifurcation cascades, whereas in our system routes to chaos are for the most part initiated by the discontinuity in the wall’s motion.
v.3 Basin of attraction and Lyapunov exponent
We may gain an understanding of the influence of the chaotic attractor described in the previous section on the trapping region of phase space by computing the corresponding basin of attraction, which allows us to distinguish between the different kinds of possible longterm orbits. In Fig. (a)a we display for , a representative section of the trapping region, showing initial conditions drawn to the regular and chaotic attractors for different values. The structure of the basin exhibits the property of continued structure upon magnification (i.e., a riddled basin), lending further credence to the chaotic nature of the attractor.
In addition to a riddled basin of attraction, the existence of a positive leading average Lyapunov exponent is a commonly used indicator of chaos; a positive value indicates that nearby trajectories diverge exponentially in time. In Fig. (b)b we plot the leading Lyapunov exponent for the range of values corresponding to Fig. (b)b. As expected, transitions from to correspond to points on the bifurcation diagram separating periodic and chaotic regions.
v.4 Global behavior
To understand the global solution structure, we scanned the parameter space for a wide range of initial conditions. We used a set of initial conditions in the trapping region defined in section II.3. The results are shown in Fig. 10, illustrating the presence of periodic and chaotic solutions. For clarity we display only a representative portion of the parameter space, as in this model there is no precise upper bound for the parameter in the restitution function. We observe a similar global structure to the sinusoidal results seen in Vogel and Linz (2011), as the reduced dominance of sticking/effective sticking solutions permits the existence of chaotic regions of the parameter space.
Vi Conclusion
The Fermi piston, and the closely related sinusoidal bouncer, are seminal models of chaotic driven dynamical systems. They are of general interest because they exhibit a rich variety of phase space trajectories within a seemingly simple dynamical setting . In contrast with chaotic mappings, such as the standard map or Henon map, we can visualize the associated motion and, in some cases, observe it in the laboratory. Thus it is surprising that questions still remain about the nature of some of the possible motions. This may be due to subtleties in the numerical algorithms for simulating the dynamics that have yet to be completely resolved. Since impact models play an important roll in modeling more complex systems, such as one encounters in the study of granular media McNamara and Young (1992); Goldman et al. (1998), a complete understanding of the associated behavior in simple models is essential.
To shed light on the true nature of the orbit geometry of a driven system with one space dimension, in this paper we have studied a piecewise linear bouncing ball system for three different collision models. In contrast to the widely studied sinusoidal model, we were able to derive the Poincaré map analytically; this was due to the piecewise linear nature of the wall’s motion. We were also able to demonstrate the existence of fixed points and investigate their stability analytically. We showed the existence of higher order periodic orbits analytically and investigated their stability numerically. We found that the elastic model’s phase space was, for the most part, dominated by chaotic accelerating orbits that surround stable quasiperiodic islands. However, an additional type of Fermi acceleration was found which is not present in the sinusoidal model; namely, we observed unbounded orbits which were almost periodic in the phase variable . For inelastic collisions with a constant restitution coefficient, we computed the time required for inelastic collapse to occur analytically. In our numerical work on the constant restitution coefficient model we found that longterm trajectories are in general dominated by these sticking solutions. This is in close correspondence to the sinusoidal model. However, in contrast to the sinusoidal model we found a distinct lack of selfreanimating chaos i.e., all sticking solutions appear to be periodic. This gives credence to the idea that the selfreanimating chaos observed in the sinusoidal model could simply be a result of numerical errors.
Our velocitydependent model has the advantage of eliminating sticking solutions which (in the constant restitution model) often prevent significant chaotic attractors from forming, allowing for a more diverse phase space. We demonstrated analytically that the time required for an infinite number of collisions diverges for our choice of restitution function. In our numerical simulations for the velocitydependent model, we found periodic orbits to be prevalent, and observed the usual perioddoubling and periodadding bifurcations expected for a system which is nonsmooth. In addition, we found attractors where the trajectories stayed on a single structure for a large number of collisions. Together, the bifurcation processes which give birth to these attractors and a positive leading Lyapunov exponent suggest that the attractors are chaotic.
In future work, we would like to supplement our numerical results with analytical computations which explain the origins of the attractors in the velocitydependent model. Investigating the extension of this work to a system of two particles colliding with each other and a piecewise linearly driven wall and the related problem of a particle falling in a driven wedge are possible future directions as well.
Acknowledgements.
We would like to acknowledge the support of the REU program at TCU and the earlier work on this model carried out by Mathew Holtfrerich under this program. This work was supported by NSF grant PHY1358770.References
 Fermi (1949) E. Fermi, Physical Review 75, 1169 (1949).
 Pustyl’nikov (1968) L. D. Pustyl’nikov, Russian Math. Surveys 23 (1968).
 Pustyl’nikov (1972) L. D. Pustyl’nikov, Soviet Math. Dokl. 13, 94 (1972).
 Pustyl’nikov (1987) L. D. Pustyl’nikov, Soviet Math. Dokl. 292, 88 (1987).
 Lichtenberg et al. (1980) A. Lichtenberg, M. Lieberman, and R. Cohen, Physica D 1, 291 (1980).
 Holmes (1982) P. J. Holmes, Journal of Sound and Vibration 84, 173 (1982).
 Lichtenberg and Lieberman (1992) A. Lichtenberg and M. Lieberman, Regular and Chaotic Dynamics, Applied Mathematical Sciences, Vol. 38 (Springer New York, 1992).
 Luck and Mehta (1993) J. M. Luck and A. Mehta, Phys. Rev. E 48, 3988 (1993).
 Naylor et al. (2002) M. A. Naylor, P. Sanchez, and P. Swift, Am. J. Phys. 55, 316 (2002).
 Vogel and Linz (2011) S. Vogel and S. J. Linz, Int. J. of Bifurcation and Chaos 21, 869 (2011).
 Dolgopyat (2008) D. Dolgopyat, Discrete Contin. Dyn. Syst. 2, 165 (2008).
 de Somoi and Dolgopyat (2012) J. de Somoi and D. Dolgopyat, Chaos 22 (2012).
 Dolgopyat (2013) D. Dolgopyat, in International Congress on Mathematical Physics (2013) pp. 52–66.
 di Bernardo et al. (2008) M. di Bernardo, C. Budd, A. R. Champneys, and P. Kowalczyk, Piecewisesmooth Dynamical Systems  Theory and Applications, Applied Mathematical Sciences, Vol. 163 (Springer Berlin, 2008).
 McNamara and Young (1992) S. McNamara and W. R. Young, Phys. Fluids A 4 (1992).
 Goldman et al. (1998) D. Goldman, M. D. Shattuck, C. Bizon, W. D. McCormick, J. B. Swift, and H. L. Swinney, Phys. Rev. E 57, 4831 (1998).
 Nusse and Yorke (1992) H. E. Nusse and J. A. Yorke, Physica D 57, 39 (1992).
 Banerjee and Grebogi (1999) S. Banerjee and C. Grebogi, Phys. Rev. E 59, 4052 (1999).
 di Bernardo et al. (1999) M. di Bernardo, M. I. Feigin, S. J. Hogan, and M. E. Homer, Chaos, Solitons, & Fractals 10, 1881 (1999).
 Weir and Tallon (2005) G. Weir and S. Tallon, Chemical Engineering Science 60, 3637 (2005).
 Okninski and Radziszewski (2009a) A. Okninski and B. Radziszewski, Nonlinear Dynamics 58, 515 (2009a).
 Okninski and Radziszewski (2009b) A. Okninski and B. Radziszewski, in Modeling, Simulation, and Control of Nonlinear Engineering Dynamical Systems (Springer Berlin, 2009) p. 117.
 (23) The magnitude of the speed of the wall was not constant in this model. In their work Okninski et al. considered either a sawtooth wave or an asymmetrical triangle wave as a driving function. In our work we consider a symmetrical triangle wave.
 Bernu and Mazighi (1990) B. Bernu and R. Mazighi, J. Phys. A: Math. Gen. 23, 5745 (1990).