arxiv:302.0369v [nlin.cd] 2 Feb 203 Bouncing ball dynamics: simple model of motion of the table and sinusoidal motion Andrzej Okniński, Bogus law Radziszewski 2 Kielce University of Technology, 25-34 Kielce, Poland Collegium Mazovia Innovative University, 08-0 Siedlce, Poland 2 October 30, 208 Abstract Nonlinear dynamics of a bouncing ball moving vertically in a gravitational field and colliding with a moving limiter is considered and the Poincaré map, describing evolution from an impact to the next impact, is described. Displacement of the table is approximated in one period by four cubic polynomials. Results obtained for this model are used to elucidate dynamics of the standard model of bouncing ball with sinusoidal motion of the limiter. Introduction In the present paper we study dynamics of a small ball moving vertically in a gravitational field and impacting with a periodically moving limiter a table. This model belongs to the field of nonsmooth and nonlinear dynamical systems [, 2, 3, 4]. In such systems nonstandard bifurcations such as border-collisions and grazing impacts leading often to complex chaotic motions are typically present. It is important that nonsmooth systems have many applications in technology [5, 6, 7, 8, 9]. Impacting systems studied in the literature can be divided into three main classes: bouncing ball models [0,, 2], impacting oscillators [3] and impacting pendulums [4, 9], see also []. In dynamics with impacts it is usually difficult or even impossible to solve nonlinear equation for an instant of the next impact. For example, in the bouncing ball models the table s motion has been usually assumed in sinusoidal form, cf. [2] and references therein. This choice of the limiter s motion leads indeed to nontractable nonlinear equation for time of the next impact. To tackle this problem we proposed a sequence of models in which periodic motion of the table is assumed in one period of limiter s motion as a low-order polynomial of time [5]. It is thus possible to approximate the sinusoidal motion of the table more and more exactly and conduct analytical computations. Carrying out this plan we have studied several such models with linear, quadratic and cubic polynomials [6, 7, 8, 9].
In the present work we conduct analytical and numerical investigations of the model in which sinusoidal displacement of the table is approximated in one period by four cubic polynomials. We shall refer to this model as M C. Simultaneously, we study the standard dynamics of bouncing ball with sinusoidal motion of the limiter, referred to as M S. We hope that rigorous results obtained for the model M C cast light on dynamics of M S. It should be stressed that results obtained for the model M S can be compared with experimental studies, see [20, 2, 22] for the early papers, summarized in [23], and [24] for recent work. The paper is organized as follows. In Section 2 a one dimensional dynamics of a ball moving in a gravitational field and colliding with a table is reviewed and the corresponding Poincaré map is constructed and models of the limiter s motion M C and M S are defined. Bifurcation diagrams are computed for M C and M S. In Sections 3, 4 and 5 a combination of analytical and numerical approach is used to investigate selected problems of dynamics in models M C and M S. More exactly, fixed points and their stability are discussed in Section 3, birth of low velocity n-cycles is investigated in Section 4 and birth of high velocity 3-cycles is studied in Section 5. In Section 6 the case of N impacts in one interval of the limiter s motion is studied for the model M C. We summarize our results in the last Section. 2 Bouncing ball: a simple motion of the table Let a ball moves vertically in a constant gravitational field and collides with a periodically moving table. We treat the ball as a material point and assume that the limiter s mass is so large that its motion is not affected at impacts. Dynamics of the ball from an impact to the next impact can be described by the following Poincaré map in nondimensional form [25] see also Ref. [] where analogous map was derived earlier and Ref. [2] for generalizations of the bouncing ball model: γy T i+ = γy T i 2 i+ + i+ V i, a V i+ = RV i +2R i+ +γ+rẏ T i+, b wheret i denotestimeofthei-thimpactandv i isthe correspondingpost-impact velocity while i+ T i+ T i. The parameters γ, R are a nondimensional acceleration and the coefficient of restitution, 0 R < [5], respectively and the function Y T represents the limiter s motion. The limiter s motion has been typically assumed in sinusoidal form, Y S T = sin2πt. Equations and Y = Y S lead to the model M S. This choice of limiter s motion leads to serious difficulties in solving the first of Eqns. for T i+, thus making analytical investigations of dynamics hardly possible. Accordingly, we have decided to simplify the limiter s periodic motion to make a solvable. The function 2
Y C T: Y C T = f T, 0 ˆT < 4 f 2 T, 4 ˆT < 2 f 3 T, 2 ˆT < 3 4 f 4 T, 3 4 ˆT 2 f T = 32π 28 ˆT 3 + 6π+48 ˆT 2 +2πˆT f 2 T = 28 32π ˆT 3 + 44+32π ˆT 2 +48 0π ˆT 4+π 3a 3b f 3 T = 28 32π ˆT 3 + 240+64π ˆT 2 +44 42π ˆT 28+9π 3c f 4 T = 32π 28 ˆT 3 +336 80π ˆT 2 + 288+66π ˆT +80 8π 3d approximates Y S = sin2πt on the intervals [k, k +], k = 0,,..., with ˆT = T T, where x is the floor function the largest integer less than or equal to x. The model M C consists of equations, 2, 3 with control parameters R, γ. We shall also need velocities of the limiter, defined as g i T df = d dt f it, i =,...,4. γ Figure : Bifurcation diagram for the model M C, R = 0.85. In Fig. above we show the bifurcation diagram with impact times blue and velocities black versus γ computed for growing γ and R = 0.85. It follows that dynamical system M C has several attractors: two fixed points which after one period doubling give rise to chaotic bands and two other fixed points which go to chaos via period doubling scenario. There are also several small attractors. 3
We shall investigate some of these attractors in the next Section combining analytical and numerical approach general analytical conditions for birth of new modes of motion were given in [26]. We show below the corresponding bifurcation diagram for the sinusoidal motion. γ Figure 2: Bifurcation diagram for the model M S, R = 0.85. Similarity of Figs., 2 suggests that analytical results obtained for model M C shed light on the problem of sinusoidal motion, M S. 3 Fixed points and their stability We shall first study periodic solutions of the model M C with one impact per k periods and T 0, 4 since it is suggested by the bifurcation diagram that they are stable. Such states have to fulfill the following conditions: where: V n+ = V n V k/, T n+ = T n +k T k/ +k k =,2,..., 4 T k/ 0, 4, V k/ > γẏc T k/ The demanded stable solution is given by T k/ π 3 s = 6π 4 24π 4 4π 6 2 +6Bπ 4,. 5 B = k R γ +R 6a V k/ = k. 6b 4
Since T [0, ] we demand that T > 0 and it follows from 6a that physical solution appears for lower critical value γ > γ cr k/ where: γ k/ cr = k R,C 2π +R. 7 We have checked by stability analysis that the solution 6a, 6b is stable for γ > γ k/ cr,c, i.e. when it is physically acceptable. To determine upper critical value of γ when dynamics looses stability we put into : T i = T k/ s +ε i, T i+ = T k/ s +k +ε i+, 8 V i = V +µ i = k +µ i, V i+ = V +µ i+ = k +µ i+, 9 with Y T given by 3, and keep only terms linear in perturbations ε i, ε i+, µ i, µ i+ of the fixed point to get: εi+ = µ i+ k γf T +k γ+rg T k 2R+γ+RgT γf T +k R εi µ i 0 where T T k/ s, f T is given by 3a and g T = d dt f T. Since the characteristic polynomial is: X 2 +αx +β = 0 α = 4 4π 6 2 R +6kπ 4 γ+r +R2 γ R 2 β = R 2 application of the Shur-Cohn criterion [27]: β < 2 α < β + leads finally to the localization of the fixed points 6, γ k/ cr < γ <,C γk/ cr, with: 2,C γ k/ cr = 6kπ 4R2 + 36k 2 π 4 2 R 2 2 +4π 6 2 +R 2 2 2,C, R <. 3 8π 6 2 +R 2 In Fig. 3 stability regions in R,γ plane for the M C model are shown. In the case of the model M S we have: γ k/ cr 2,S γ k/ cr 2,S = = γ k/ cr, 4 2,C k2 π 2 R 2 2 +4+R 2 2 2π 2 +R, R <, 5 2 see [25] note that in [25] we used YT = sint rather than Y S T = sin2πt and it follows that all values of the control parameter λ must be rescaled, γ = λ 2π 2 and stability regions are very similar to those of model M C, cf. Fig. 4. 5
Figure 3: Stability regions in the R,γ plane, model M C. Figure 4: Stability regions in the R,γ plane, model M S. 6
4 Birth of low velocity k - cycles In this Subsection we shall study birth of low velocity k - cycles which can be seen in the bifurcation diagrams, Figs., 2, for γ > 0.03 and V <. In the case of such cycles T,T 2,...,T k 0, and T k+ = T. Of course, it is possible to follow periodic orbits backwards, i.e. iterating the map until the convergence to the k - cycle is achieved for some initial condition and some γ. Then the value of γ is decreased slightly and the map is iterated again until convergence is obtained with the previously computed k - cycle as the initial condition. This method, although leads to determination of the critical value of γ at which the k - cycle disappears for decreasing γ or is born for growing γ but is time-consuming and not very effective due to very poor convergence near the threshold. On the other hand, analytical conditions for birth of k - cycles are found below. In what follows theorems about differentiation of implicit functions [28] will turn out useful since Eqn. a defines T i+ implicitly. Consider equation: F T,T 2 = 0, 6 which defines dependence of, say, T 2 on T, see [28] where necessary and sufficient assumptions are given. Then it follows from implicit function theorem that: dt 2 = F. 7 dt where F F T, F 2 F T 2. In a more complicated case, equations: F 2 F T,T 2,T 3 = 0, GT,T 2,T 3 = 0, 8 define T 2 and T 3 as functions of T under appropriate assumptions. We can now compute derivatives with respect to T as [28]: T 2 T = F 3 G 3 det F G F 3 G 3 det F 2 G 2, T 3 T = F G det F 2 G 2 F 3 G 3 det F 2 G 2, 9 with F F T, F 2 F T 2, F 3 F T 3 and analogous notation for G i, i =,2,3. 4. Low velocity 2 - cycle in the model M C Numerical tests show that a 2 - cycle fulfilling conditions T 0, 4, T2 2, 3 4 and T3 = T + is stable. This 2 - cycle can be seen in the bifurcation diagram in Fig. for γ 0.0366 and V = 0.5, V2 = 0.55 R = 0.85. 7
Equations to determine T, T 2 and V, V 2 are shown below: γf 3 T 2 = γf T T 2 T 2 +T 2 T V V 2 = RV +2RT 2 T +γ+rg 3 T 2 γf T 3 = γf 3 T 2 T 3 T 2 2 +T 3 T 2 V 2 V 3 = RV 2 +2RT 3 T 2 +γ+rg T 3 T 3 = T + V 3 = V 20 where f i T s and g i T s are defined in Eqn. 3 and the text below. We were able to simplify Eqns. 20 significantly obtaining equation for T 2 T only: F = 9 j=0 d j j = 0, 2 where d i s are given in the Appendix. Numerical computations suggest that the 2 - cycle appears for γ = γ 2 cr,c and fixed R, where γ2 cr,c is a critical value, as a double and stable solution of Eqns. 20. For γ > γ 2 cr,c there are two real solutions, one stable seen in the bifurcation diagram and another unstable. On the other hand, for γ < γ 2 cr,c the solutions are complex conjugated and thus unphysical. Moreover, at γ = γ 2 cr,c the stability matrix has unit eigenvalue. Therefore this is a tangent saddle-node bifurcation, see [29] for elementary discussion of the tangent bifurcation in the logistic map when the 3 - cycle is born. All other cycles discussed in our paper are also born in tangent bifurcation. To determine critical value of the parameter γ let us note that double solution of the polynomial equation 2 is also the solution of G = 0 where G = F. For example, solving for R = 0.85 the system of equations: d d F = 9 j j = 0, j=0 22 G = j j j = 0, j= 23 we get γ 2 cr,c = 0.0366705268289225062, cr = 0.63427996067774735595 and many other, unphysical solutions in perfect agreement with numerical computations, see also Fig.. Alternatively, we can use implicit function theorem. Solving the second and fourth equations in 20 for V, V 2 we get and V = γ+rrg 3T 2 g T +2R+RT 2 T 2R +R 2 V 2 = γ+rrg T g 3 T 2 2R+RT 2 T +2R 2 +R 2 24 F T,T 2 df = γf T γf 3 T 2 T 2 T 2 +T 2 T V = 0 GT,T 2 df = γf 3 T 2 γf T T + T 2 2 +T + T 2 V 2 = 0 25 8
We can, in principle, solve the equation F T,T 2 = 0 to determine T 2 T and demand that d dt GT,T 2 T = 0 to obtain condition for double root: F T,T 2 = 0 GT,T 2 = 0 26 d dt GT,T 2 = T GT,T 2 + T GT,T 2 dt2 dt = 0 where the derivative dt2 dt is computed from Eqn. 7. Eqns. 26 provide analytical condition for the onset of the 2 cycle. They are too complicated to be solved analytically but can be solved numerically for a fixed value of R or γ. For example, for R = 0.85 we compute the critical value of γ and the critical 2 cycle: T = 8.67748882344294327 0 2, T 2 = 0.75957449 509029728, γ 2 cr,c = 3.667052682892250620 0 2 in perfect agreement with solution of Eqns. 22, 23. 4.2 Low velocity 2 - cycle, model M S We can apply this result to the case of sinusoidal motion. First of all, there is analogous 2 - cycle with T 0,, T2 2, which appears at γ cr,s = 4 2, 3 4 0.0346, see Fig. 2. It can be thus assumed that this 2 - cycle is also born as a double solution. The corresponding equations of the 2 - cycle are of form: γsin2πt 2 = γsin2πt T 2 T 2 +T 2 T V V 2 = RV +2RT 2 T +γ+r2πcos2πt 2 γsin2πt = γsin2πt 2 T + T 2 2 +T + T 2 V 2 V = RV 2 +2RT + T 2 +γ+r2πcos2πt 27 Solving second and fourth equations of 27 for V, V 2 we get: V = 2 R RT RT 2 +γπcos2πt γrπcos2πt 2 + R +R 28 V 2 = 2 R RT +RT 2 γrπcos2πt +γπcos2πt 2 R2 +R The problem is thus reduced to the system of two equations for T, T 2 F T,T 2 = df γsin2πt γsin2πt 2 2 +V = 0 GT,T 2 = df γsin2πt 2 γsin2πt 2 +V 2 = 0 29 = T 2 T, = T + T 2 We couldn t solve the system of equations 28, 29 analytically. Analytical condition for double root of these equations, i.e. for the beginning of the 2 - cycle, are again provided by Eqns. 26, 7 with functions F, G defined in 29. Solving now these equations numerically for R = 0.85 we get the critical value of the parameter γ and values of dynamical variables of the critical 2 - cycle: γ 2 cr,s = 3.458072636337462076 0 2, T = 7.72368607764004 3 0 2, T 2 = 0.706987635846385603. 9
Numerical computations show that at γ = γ 2 cr,s there is indeed a double solution of 27, two real solutions for γ > γ 2 cr,s one stable, another unstable and complex solutions for γ < γ cr 2. These considerations describe and explain the birth of the corresponding 2 - cycles. 4.3 Low velocity 3 - cycle in the model M C Wehavefoundnumericallythata3-cyclesatisfyingconditionsT 0, 4, T2 2, 3 4, T3 3 4, and T 4 = T + is stable. This attractor is seen in the bifurcation diagram near the 2 - cycle for γ 0.0452, R = 0.85, cf. Fig.. The 3 - cycle variables fulfill equations: γf 3 T 2 = γf T T 2 T 2 +T 2 T V V 2 = RV +2RT 2 T +γ+rg 3 T 2 γf 4 T 3 = γf 3 T 2 T 3 T 2 2 +T 3 T 2 V 2 V 3 = RV 2 +2RT 3 T 2 +γ+rg 4 T 3 γf T 4 = γf 4 T 3 T 4 T 3 2 +T 4 T 3 V 3 V 4 = RV 3 +2RT 4 T 3 +γ+rg T 4 T 4 = T + V 4 = V 30 Equations 30 can be simplified. We can solve the second, fourth and sixth equations for V, V 2, V 3 to get V = Γg T +ΓR 2 g 3 T 2 ΓRg 4 T 3 +at +bt 2 ct 3 +d V 2 = ΓRg T +Γg 3 T 2 +ΓR 2 g 4 T 3 ct +at 2 +bt 3 dr V 3 = ΓR 2 g T ΓRg 3 T 2 +Γg 4 T 3 +bt ct 2 +at 3 +dr 2 Γ = γ R 2 R+, a = 2R R R 2 R+, b = 2R2 R 2 R+, c = 2R R 2 R+, d = 2R +R 3 3 The problem is thus reduced to three equations for impact times T, T 2, T 3 only: F T,T 2,T 3 df = γf T γf 3 T 2 2 + V = 0 GT,T 2,T 3 df = γf 3 T 2 γf 4 T 3 2 2 + 2V 2 = 0 HT,T 2,T 3 df = γf 4 T 3 γf T 2 3 + 3 V 3 = 0 = T 2 T, 2 = T 3 T 2, 3 = T + T 3 32 where V, V 2, V 3 are known functions of impact times, cf. 3. We were unable to solve Eqns. 30 analytically. However, it is possible to write down condition for the onset of the 3 - cycle since it follows from numerical computations that the 3 cycle is born as a double root of Eqns. 30. The condition for the double root is d dt H T,T 2 T,T 3 T = 0 and hence the condition for the 0
onset of the 3 cycle is: F T,T 2,T 3 = 0 GT,T 2,T 3 = 0 33 H T,T 2,T 3 = 0 d dt H T,T 2,T 3 = H T + H T 2 T 2 T + H T 3 T 3 T = 0 where the derivatives T2 T T, 3 T are computed from 9. Solving these equations numerically for R = 0.85 we get critical value of the control parameter γ and the critical 3 - cycle: γ 3 cr,c = 4.588344478468075539 0 2, T = 0.03935975396275497,T 2 = 0.63520026683098225,T 3 = 0.84876032 635724499. 4.4 Low velocity 3 - cycle in the model M S We can apply this result to the case of sinusoidal motion. First of all, there is analogous3-cyclewith T 0, 4, T2 2, 3 4,T3 3 4, andt 4 = T +, which appears at γ cr 3 = 0.04499, see Fig. 2. We can thus expect that this 3 - cycle is also born as a double solution. Dynamical variables of the 3 - cycle obey equations: γsin2πt 2 = γsin2πt T 2 T 2 +T 2 T V V 2 = RV +2RT 2 T +γ+r2πcos2πt 2 γsin2πt 3 = γsin2πt 2 T 3 T 2 2 +T 3 T 2 V 2 V 3 = RV 2 +2RT 3 T 2 +γ+r2πcos2πt 3 γsin2πt = γsin2πt 3 T + T 3 2 +T + T 3 V 3 V = RV 3 +2RT + T 3 +γ+r2πcos2πt 34 Solving second, fourth and sixth equations for V, V 2, V 3 we get V = a R 2 C 2 RC 3 +C +brt2 T +T T 3 +c V 2 = a R 2 C 3 RC +C 2 +brt3 T 2 +T 2 T cr V 3 = a R 2 C RC 2 +C 3 +brt T 3 +T 3 T 2 +cr 2 a = 2γπ+R +R, b = 2R+R 3 +R, c = 2R 3 +R, C 3 i = cos2πt i i =,2,3 and we have to solve equations for impact times only: 35 F T,T 2,T 3 df = γsin2πt γsin2πt 2 2 + V = 0 GT,T 2,T 3 df = γsin2πt 2 γsin2πt 3 2 2 + 2V 2 = 0 H T,T 2,T 3 df = γsin2πt 3 γsin2πt 2 3 + 3 V 3 = 0 = T 2 T, 2 = T 3 T 2, 3 = T + T 3 36 Equations 35, 36 are too complicated to be solved analytically. However, it is possible to write down condition for the beginning of the 3 - cycle since it follows from numerical computations that the 3 - cycle is born as a double root
of Eqns. 34. More exactly, we have to solve Eqns. 33 for functions F, G, H definedin 36. We thusgetforr = 0.85thecriticalvalueγ 3 cr,s = 4.498669496 4457467548 0 2 and the critical 3 - cycle, T = 9.5425832574445543 3 0 2,T 2 = 0.633092075488733456,T 3 = 0.848082849264298209. 5 Birth of high velocity 3 - cycles High velocity 3 - cycles are very characteristic of bouncing ball dynamics. They accompany all fixed points and are seen in the bifurcation diagrams around V =, 2, 3,..., see Figs., 2. In the case of such cycles T,T 2,T 3 0, and T 4 k = T. 5. Model M C, V = We start with such 3 - cycle with V = which appears in the model M C for γ 0.042, see Fig. with impact times T 4, 2, T2 0, 4, T3 0, 4, T4 = T. The corresponding equations are: γf T 2 = γf 2 T T 2 T 2 +T 2 T V V 2 = RV +2RT 2 T +γ+rg T 2 γf T 3 = γf T 2 T 3 T 2 + 2 +T 3 T 2 +V 2 V 3 = RV 2 +2RT 3 T 2 ++γ+rg T 3 γf 2 T = γf T 3 T +2 T 3 2 +T +2 T 3 V 3 V = RV 3 +2RT + T 3 ++γ+rg 2 T 37 Solving equations for V, V 2, V 3 we get and V = aγg 2 T arγg T 3 +ar 2 γg T 2 2aRA +b V 2 = γag T 2 arγg 2 T +aγr 2 g T 3 2aRA 2 b V 3 = aγg T 3 arγg T 2 +aγr 2 g 2 T +2aRA 3 +c A = RT 2 +RT T +T 3, A 2 = RT 3 +RT 2 T 2 +T A 3 = RT 3 +RT T 2 +T 3 a = +R +R, b = 2R2 R 3 +R, c = 2R+2R2 3 +R 3 F T,T 2,T 3 df = γf 2 T γf T 2 2 + V = 0 F 2 T,T 2,T 3 df = γf T 2 γf T 3 2 2 + 2V 2 = 0 F 3 T,T 2,T 3 df = γf T 3 γf 2 T 2 3 + 3 V 3 = 0 = T 2 T, 2 = T 3 T 2 +, 3 = T +2 T 3 38 39 Analyticalconditionforthe onsetofthis 3 cycleisgivenbyeqns. 33 with F, G, H given by 39. Solving these equations numerically for R = 0.85 we get γ cr 3, = 4.84258672034450463 0 2 andt = 0.29294434434686757994, T 2 =.3429439708688766, T 3 =.79986760902335569. For R cr,c = 2
0.685094 and γ cr,c = 0.05689493 there is smooth transition to the state T 4, 2, T2 3 4,, T 3 0, 4, T4 = T. For R > R cr,c this transition occurs for γ > γ cr,c. 5.2 Model M S, V = In the case of sinusoidal motion described by the model M C we can see the 3 cycle with V = in Fig. 2 for γ 0.045 with impact times T 0, 4, T2 4, 2, T3 0, 4, T4 = T. Dynamical equations read: and γsin2πt 2 = γsin2πt T 2 T 2 +T 2 T V V 2 = RV +2RT 2 T +γ+r2πcos2πt 2 γsin2πt 3 = γsin2πt 2 T 3 T 2 + 2 +T 3 T 2 +V 2 V 3 = RV 2 +2RT 3 T 2 ++γ+r2πcos2πt 3 γsin2πt = γsin2πt 3 T +2 T 3 2 +T +2 T 3 V 3 V = RV 3 +2RT +2 T 3 +γ+r2πcos2πt Solving equations for V, V 2, V 3 we get V = ar 2 cos2πt 2 arcos2πt 3 +acos2πt ba c V 2 = ar 2 cos2πt 3 arcos2πt +acos2πt 2 ba 2 +cr V 3 = ar 2 cos2πt arcos2πt 2 +acos2πt 3 +ba 3 +d A = RT 2 +RT T +T 3, A 2 = RT 3 +RT 2 T 2 +T A 3 = RT RT 3 +T 3 T 2 a = 2γπ+R +R, b = 2R+R 3 +R, c = 2RR 2 3 +R, d = 2R+2R2 3 +R 3 F T,T 2,T 3 df = γsin2πt γsin2πt 2 2 + V = 0 GT,T 2,T 3 df = γsin2πt 2 γsin2πt 3 2 2 + 2V 2 = 0 H T,T 2,T 3 df = γsin2πt 3 γsin2πt 2 3 + 3 V 3 = 0 = T 2 T, 2 = T 3 T 2 +, 3 = T T 3 +2 Conditions for the onset of 3 cycle are given by Eqns. 33 with functions F, G, H defined in 42. Solving these equations for R = 0.85 we obtain: γ cr 3, = 4.5402080565479834 0 2 and T = 7.43990609992924794 0 2, T 2 =.5422643883260526,T 3 =.3574783503240757289. For R cr,s = 0.699649225 and γ cr,s = 0.055974756 there is smooth transition to the state T 4, 2, T2 3 4,, T 3 0, 4, T4 = T. For R > R cr,s this transition occurs for γ > γ cr,s. 40 4 42 6 N impacts in one period of limiter s motion and chattering in the model M C In the bouncing ball dynamics chattering and chaotic dynamics arise typically, see [30, 3] where chattering mechanism was studied numerically for sinusoidal 3
motion of the table. Due to simplicity of our model analytical computations are possible. We shall consider a possible course of events after grazing. 6. First interval: T i, T i+ 0, 4 Let T i, T i+ 0, 4. In this case we get from Eqns. a, 3a i+ = 0 and: ± i+ = 2 γa T i + ± 28γ4 πw i 64γ4 π 2 γa T i + 2, 43 a T = d2 dt 2 f T, and i+ is the solution describing chattering obviously, W i must be small enough so that expression under the square root be non-negative. The denominator in 43 can be written as 2 γa T i + = 96γ4 π T i T cr where: T cr = +6γ 3+π, 44 96γ 4+π and we check that T cr 4 occurs for γ γ cr = 0.043 73. Therefore for γ < γ cr the grazing ball will stay on the table forever. Let us assume that a ball sticks to the table for some time T g < T cr 4. At critical point T i = T cr and V i = γg T i, equations a, 3a have the degenerate triple solution T i+ = T cr. For γ > γ cr and T > T cr the solution i+ is no longer < 0 what is physically unacceptable. The solution + i+ is also unacceptable and thus the ball has to jump to another time interval, 4, 2, 2, 4 3 or further. We shall now consider the first possibility. Let us assume that the ball grazes at T i = T cr and thus its velocity is that of the table, V i = γg T i. We thus have to solve equation for the jump: valid since 2 γa T i + < 0 and i+ γf 2 T i+ = γf T i T i+ T i 2 +T i+ T i V i, T i = T cr 0, 4, Ti+ 4, 2, Vi = γg T i. 45 The solution of 45 is π T cr 2 2 2 4+2 2 3 + 3 2 + 2 = γ + +2 2 3 + 3 2 4+π 96 4+πγ. 46 It follows that the interval T cr, T cr 2 is the forbidden zone. The solution 50 is valid for γ γ cr 2 = 0.05702 since for γ > γ cr 2 we have T cr 2 > 2 contradicting assumptions. For γ > γ 2 cr we thus have to consider the following equation for the jump to time interval 2, 4 3 : γf 3 T i+ = γf T i T i+ T i 2 +T i+ T i V i, T i = T cr 0, 4, Ti+ 2, 4 3, Vi = γg T i. 4 47
Solution of Eqn. 47, X = T cr 3, fulfills the following cubic equation: a 0 X 3 +b 0 +b γx 2 + c 0 +c γ +c 2 γ 2 X +d 0 +d γ +d 2 γ 2 +d 3 γ 3 = 0 a 0 = 32, b 0 =, b = 240+64π, c 0 = 96, c = 3 π c 2 = 304π 552 24 3 π2, d 0 = 27648, d = 576 π+ 92, d 2 = 36 π2 6 π + 4, d 3 = 239 27 π3 296 3 π2 +364π 444 48 with T cr 3 X = γ 4+π. Eqn. 52 has acceptable solutions, i.e. such that T cr 3 2, 3 3 4, for γ γ cr = 0.087308825. 6.2 Second interval: T i, T i+, 4 2 We have to consider now chattering in the interval 4, 2. Let us thus consider that T i,t i+ 4, 2. It follows from equations a, 3b that i+ = 0 and ± i+ = 2 γa 2T i + ± 64γ4 π 2γa 2T i + 2 γa 2T i + + 28γ4 πw i 2 γa 2T i + 2 a 2 T = d2 dt f 2 2 T. 49 The solution describing chattering is + i+ for 2 γa 2T i + > 0. The denominatorcan be written in form 2 γa 2T i + = 96γ4 π T T cr 2 where: T cr 2 = 44γ +32γπ. 50 96 γπ 4 It follows that chattering is thus possible for T i T cr 2, 2. 6.3 Third interval: T i,t i+, 3 2 4 Let us suppose now that T i,t i+ 4. It follows from equations a, 3c that i+ = 0 and ± i+ = 2 γa 3T i + ± 2γa 3T i + 64γ4 π 2 γa 3T i + + 28γ4 πw i 2 γa 3T i + 2, a 3 T = d2 dt f 2 3 T. 5 The solution describing chattering is + i+ for 2 γa 3T i + > 0. The denominator can be written in form 2 γa 3T i + = 96γ4 π T T cr 3 with: 2, 3 T cr 3 = 240γ +64γπ+ < 0.5 γ > 0, 52 96 γπ 4 and it follows that T cr 3 cannot belong to 2, 3 4 interval for positive γ. Chattering is thus possible in the whole interval 2, 3 4 since 2 γa 3T i + > 0. 5,
6.4 Fourth interval: T i, T i+ 3 4, Let us assume finally that two subsequent impacts occur in the last quarterperiod and T i, T i+ 3 4,. In this case the solution i+ = 0 of equation a is always present and this equation can be easily solved. We thus get from Eqns. a, 3d i+ = 0 and: ± 2 i+ = γa 4T i + ± 28γ4 πw i 64γ4 π 2 γa 4T i + 2, 53 a 4 T i = d2 dt 2f 4T, 54 where γa 4 T i is the acceleration of the table, a 4 T = d2 dt f 2 4 T and W i is a relativevelocity, W i = V i γ d dt i f 4 T i. In the caseofchatteringthe appropriate solution is i+ since for W i 0 we have i+ 0. The denominator can be written as 2 γa 4T i + = 96γ4 π T T cr 4 where T cr 4 = 6γ2 5π+ > γ > 0. 55 96 γ4 π We do not have to worry that the denominator in 53 may vanish since the condition 2 γa 4T i + = 0 cannot be fulfilled for T i 3 4, and γ > 0. Thereforechatteringispossibleinthewholeinterval 2, 3 4 since 2 γa 4T i + > 0. 6.5 Grazing: a homoclinic orbit Let us assume that the ball grazes at T i = T cr with velocity V i = γg T i i.e. it has velocity of the table and that the value of γ is such that the ball [ jumps. ] Letus nextassumethatthe ballgrazesatsometime T in theinterval 0, T cr. For growing γ it will happen eventually at γ = γ that T = T cr. Then for larger values of γ the ball after grazing and jumping returns with chattering into the 0, T cr interval but it will not graze, i.e. V will be larger than γg T. We have computed numerically the critical value as γ = 0.0583486. Therefore for γ > γ long transients can be expected after grazing. In Fig. 5 below bifurcation diagram is shown with initial conditions on the grazingmanifold. Forγ < γ thegrazingmanifoldisgloballyattractive. Indeed, in this parameter range the bifurcation diagram is empty we show attractors different than the grazingmanifold only. Onthe otherhand, for γ > γ the ball jumps at T = T cr and then either grazes eventually or settles on some attractor after a long transient. Just after the threshold there is a very irregular, probably chaotic attractor. 6
Figure 5: Bifurcation diagram for the model M C, R = 0.85. Initial conditions are on the grazing manifold. 7 Summary We have studied dynamics of a bouncing ball impacting with a periodically movinglimiterwithintwoframeworksofthe tablemotion: M C andm S defined in Section 2. Stability conditions of fixed points have been determined and results for the models M C and M S have been compared. Then we have found that low-velocity k-cycles as well as high-velocity 3-cycles are generically born in tangent bifurcations. Moreover, we have been able using implicit functions theorems, to write down conditions for the onset of these cycles and solve them numerically. Analytical conditions for the onset of such cycles are new. Finally, the case of N impacts in one interval of the limiter s motion has been studied within the M C model. Equations for N impacts in one period of limiter s motion were found and simplified significantly, making analysis of chattering and grazing possible. We have found, combining analytical and numerical approach, the grazing homoclinic orbit which appears at γ = γ and gives rise to a very irregular, probably chaotic attractor, cf. Fig. 5. We expect that analogous attractor exists in the model M S. 7
A Equation for the 2 - cycle In the Appendix coefficients of the polynomial 2 are listed. d 9 = 2 6 3 3 γ 3 4+π 4 +R 6 d 8 = 2 2 3 3 γ 2 +R 6 4+π 3 72π 288γ + d 7 = 2 6 3 3 γ+r 4 4+π 2 a 2 R 2 +a R+a 0 a 2 = 66048π+8256π 2 +32096 γ 2 +256π 024γ + a = 38240π+7280π 2 +276480 γ 2 +2+52π 2048γ a 0 = 66048π+8256π 2 +32096 γ 2 +256π 024γ + d 6 = 8+R 4 4+π b 2 R 2 +b R+b 0 b 2 = 960064π 2 +76640256π+596672π 3 0287008 γ + 3024+756πγ + 36664 679680π+84864π 2 γ 2 + b = 24532928+3773952π 3 +849696π 45287424π 2 γ 3 + 83552π 2 469952π+294452 γ 2 +52π 6048γ +2 b 0 = 960064π 2 +76640256π+596672π 3 0287008 γ 3 + 36664 679680π+84864π 2 γ 2 + 3024+756πγ + d 5 = 8+R 4 c 2 R 2 +c R+c 0 c 2 = 80983808 80983808π 39552π 3 +707968π 4 +67885056π 2 γ 3 + 295424π 3953664+6056π 3 734976π 2 γ 2 + 7928+8π 2 8952π γ +3π 2 c = 2202368π 4 +56504528 564682752π+2636224π 2 35254272π 3 γ 3 + 63584π 3 056536 96766π 2 +7893504π γ 2 + 676π+32400+2020π 2 γ 24+6π c 0 = 706432π 4 +6806240π 2 897936π 327232π 3 +823092 γ 3 + 295424π 3953664+6056π 3 734976π 2 γ 2 + 7928+8π 2 8952π γ +3π 2 8
d 4 = 4+R 2 e 4 R 4 +e 3 R 3 +e 2 R 2 +e R+e 0 e 4 = 50264064 38824π 3 +20344π 4 50264064π+8929664π 2 γ 3 + 854720π 255968 456960π 2 +37632π 3 γ 2 + 2960 4520π+80π 2 γ 36+9π e 3 = 29354496π 3 +4732576+76357376π 2 +834496π 4 47453696π γ 3 + 2864640π 2 +566080π 5593472+236928π 3 γ 2 + 660π 2 +99360 49440π γ +30π 20 e 2 = 68896π 4 +205702π+56800π 3 2689856 730880π 2 γ 3 + 27039744 498248π 2 +4246π 3 +20086272π γ 2 + 40400 69840π+8700π 2 γ +42π 68 e = 48638366+8936π 4 +7856926π 2 2943296π 3 48406976π γ 3 + 2864640π 2 +566080π 5593472+236928π 3 γ 2 + 660π 2 +99360 49440π γ +30π 20 e 0 = 3220224π 3 +93664π 4 55240704π+20035584π 2 +56899584 γ 3 + 854720π 255968 456960π 2 +37632π 3 γ 2 + 2960 4520π+80π 2 γ 36+9π d 3 = 6+R 2 f 4 R 4 +f 3 R 3 +f 2 R 2 +f R+f 0 f 4 = 3905280 233088π 3 +4000π 4 389456π+437264π 2 γ 3 + 628π+27648+3072π 2 92π 3 γ 2 + 332+548π 92π 2 γ +8 2π f 3 = 340032π 3 6027264 20662π 2 2504π 4 +570932π γ 3 + 5968π 2 479232π+663552 9408π 3 γ 2 + 622π 2 052+506π γ 5π+20 f 2 = 68896π 4 +205702π+56800π 3 2689856 730880π 2 γ 3 + 7476+308736π 2 25344π 3 257984π γ 2 + 232+6072π 752π 2 γ 6π+24 f = 9234432 7792π 4 2600640π 2 +358592π 3 +84688π γ 3 + 5968π 2 479232π+663552 9408π 3 γ 2 + 622π 2 052+506π γ 5π+20 f 0 = + 225088π 3 +5600π 4 2854656π+206864π 2 +2522880 γ 3 + 628π+27648+3072π 2 92π 3 γ 2 + 332+548π 92π 2 γ +8 2π 9
d 2 = 2+R 2 g 4 R 4 +g 3 R 3 +g 2 R 2 +g R+g 0 g 4 = 9372672 534528π 3 +3552π 4 9206784π+3349440π 2 γ 3 + 52064+2656π 3 3200π 2 +20384π γ 2 + 3456+632π 96π 2 γ +36 9π g 3 = 544448π 3 +2455424+946448π 2 +9384π 4 25049088π γ 3 + 4432π 2 +49328π 497664+076π 3 γ 2 + 92π 2 9872+9696π γ 2π+48 g 2 = 33248π 4 2524976π 969920π 3 +273328+0696320π 2 γ 3 + 838592+38336π 2 25728π 3 32344π γ 2 + 2096+5760π 696π 2 γ 8π+72 g = 2607488+07008π 4 +7425792π 2 475328π 3 60936π γ 3 + 4432π 2 +49328π 497664+076π 3 γ 2 + 92π 2 9872+9696π γ 2π+48 g 0 = 55328π 3 +35392π 4 678464π+2796480π 2 +605492 γ 3 + 3472π 38240 30624π 2 +2720π 3 γ 2 + 3456+632π 96π 2 γ36 9π d = 2+R 2 h 4 R 4 +h 3 R 3 +h 2 R 2 +h R+h 0 h 4 = 57024π 3 +3872π 4 746496π+3328π 2 +663552 γ 3 + 3824+46π 3 428π 2 +3248π γ 2 + 360π 48π 2 648 γ +3π 2 h 3 = 48224π 3 35872 02824π 2 7552π 4 +2985984π γ 3 + 26576π 4800π 3 +276480+56064π 2 γ 2 + 52π 2 248π+2592 γ h 2 = 25920π 4 +5474304π+39536π 3 4976640 2223936π 2 γ 3 + 32640π 2 +32480π+2688π 3 7972 γ 2 + 720π 96π 2 296 γ +6π 24 h = 497664 0624π 4 579456π 2 +32864π 3 +995328π γ 3 + 26576π 4800π 3 +276480+56064π 2 γ 2 52π 2 248π+2592 γ h 0 = 57024π 3 +3872π 4 746496π+3328π 2 +663552 γ 3 + 2060π+352π 3 27648 4704π 2 γ 2 + 360π 48π 2 648 γ +3π 2 20
d 0 = k 6 R 6 +k 5 R 5 +k 4 R 4 +k 3 R 3 +k 2 R 2 +k R+k 0 k 6 = 235872π 2 +608256π 2528π 4 580608+4028π 3 γ 3 + 4272π 2 +7280 400π 3 4976π γ 2 + 26 20π+6π 2 γ π +4 k 5 = 7744π 4 +4048π 3 32704+492992π 622656π 2 γ 3 + 32π 3 692+3456π 288π 2 γ 2 + 240π+32π 2 +432 γ k 4 = 7456π 4 +995328π 746496 478368π 2 +98880π 3 γ 3 + 8432π 2492+368π 3 4560π 2 γ 2 + 360π+648+48π 2 γ +2 3π k 3 = 552960π 256896π 2 +52480π 3 442368 3968π 4 γ 3 + 480π+864+64π 2 γ k 2 = 588960π 2 +492992π+02720π 3 6688π 4 40048 γ 3 + 4272π 2 +4976π+400π 3 7280 γ 2 + 360π+648+48π 2 γ 3π+2 k = 7744π 4 +4048π 3 32704+492992π 622656π 2 γ 3 + 288π 2 3456π+32π 3 +692 γ 2 + 240π+32π 2 +432 γ k 0 = 38848π 3 +442368π 99008π 2 359424 2784π 4 γ 3 + 368π 3 +4560π 2 8432π+2492 γ 2 + 26 20π+6π 2 γ +4 π References [] M. di Bernardo, C.J. Budd, A.R. Champneys, P. Kowalczyk, Piecewise- Smooth Dynamical Systems. Theory and Applications. Series: Applied Mathematical Sciences, vol. 63. Springer, Berlin 2008. [2] A.C.J.Luo, Singularity and Dynamics on Discontinuous Vector Fields. Monograph Series on Nonlinear Science and Complexity, vol. 3. Elsevier, Amsterdam 2006. [3] J. Awrejcewicz, C.-H. Lamarque, Bifurcation and Chaos in Nonsmooth Mechanical Systems.World Scientific Series on Nonlinear Science: Series A, vol. 45. World Scientific Publishing, Singapore 2003. [4] A.F. Filippov, Differential Equations with Discontinuous Right-Hand Sides. Kluwer Academic, Dordrecht 988. 2
[5] W.J. Stronge, Impact mechanics. Cambridge University Press, Cambridge 2000. [6] A. Mehta ed., Granular Matter: An Interdisciplinary Approach. Springer, Berlin 994. [7] C. Knudsen, R. Feldberg, H. True, Bifurcations and chaos in a model of a rolling wheel-set. Philos. Trans. R. Soc. Lond. A 338, 455 469 992. [8] M. Wiercigroch, A.M. Krivtsov, J. Wojewoda, Vibrational energy transfer via modulated impacts for percussive drilling, Journal of Theoretical and Applied Mechanics 46, 75 726 2008. [9] J. Awrejcewicz, G. Kudra, G. Wasilewski, Experimental and numerical investigation of chaotic regions in the triple physical pendulum, Nonlinear Dynamics 50, 755 766 2007. [0] Holmes, P.J.: The dynamics of repeated impacts with a sinusoidally vibrating table. J. Sound and Vibration 84, 73-89 982. [] A.C.J. Luo, R.P.S. Han, The dynamics of a bouncing ball with a sinusoidally vibrating table revisited, Nonlinear Dynamics 0, 8 996. [2] A.C.J.Luo, Y.Guo, MotionSwitchingandChaosofaParticleinaGeneralized Fermi-Acceleration Oscillator, Mathematical Problems in Engineering, vol. 2009, Article ID 298906, 40 pages, 2009. [3] A.B. Nordmark, Existence of periodic orbits in grazing bifurcations of impacting mechanical oscillator, Nonlinearity 4, 57 542 200. [4] S. Lenci, G. Rega, Periodic solutions and bifurcations in an impact inverted pendulum under impulsive excitation, Chaos, Solitions and Fractals, 2453 2472 2000. [5] A. Okniński, B. Radziszewski, Simple models of bouncing ball dynamics and their comparison, arxiv:002.2448 [nlin.cd] 200. [6] A. Okniński, B. Radziszewski, Dynamics of impacts with a table moving with piecewise constant velocity, Nonlinear Dynamics 58, 55 523 2009. [7] A. Okniński, B. Radziszewski, Chaotic dynamics in a simple bouncing ball model, Acta Mech. Sinica 27, 30 34 20, arxiv:002.2448 [nlin.cd] 200. [8] A. Okniński, B. Radziszewski, Simple model of bouncing ball dynamics: displacement of the table assumed as quadratic function of time, Nonlinear Dynamics 67, 5 22 202. [9] A. Okniński, B. Radziszewski, Simple model of bouncing ball dynamics. Displacement of the limiter assumed as a cubic function of time., Differential Equations and Dynamical Systems 2, 65 7 203. 22
[20] P. Pierański, Jumping particle model. Period doubling cascade in an experimental system, J. Phys. Paris 44, 573 578 983. [2] N.B. Tufillaro, T.M. Mello, Y.M. Choi, N.B. Albano, Period doubling boundaries of a bouncing ball, J.Phys Paris 47, 477 482 986. [22] S. Celaschi, R.L. Zimmerman, Evolution of a two-parameter chaotic dynamics from universal attractors, Phys. Lett. 20A, 447 45 987. [23] P. Pierański, R. Barberi, Bouncing Ball Workbench, OWN Poznań 994. [24] B. Eichwald, M. Argentina, X. Noblin, F. Celestini, Dynamics of a ball bouncing on a vibrated elastic membrane, Phys. Rev. E82, 06203 200. [25] A. Okniński, B. Radziszewski, Grazing dynamics and dependence on initial conditions in certain systems with impacts, arxiv:0706.0257v2 [nlin.cd] 2007. [26] A.C.J.Luo, Discontinuous Dynamical System on Time-varying Domains. Series: Nonlinear Physical Science. Higher Education Press, Beijing and Springer, Dordrecht, Heidelberg, London, New York 2009. [27] E.I.Jury, Inners and Stability of Dynamic Systems. Wiley, New York974 [2nd edn., Krieger, Malabar, 982]. [28] S.G. Krantz, H.R. Parks, The implicit function theorem: history, theory, and applications. Birkhäuser, Boston 2002. [29] H.O. Peitgen, H. Jürgens, and D. Saupe, Fractals for the Classroom. Part Two: Complex Systems and Mandelbrot Set., Springer, New York 992. [30] S. Giusepponi, F. Marchesoni, The chattering dynamics of an ideal bouncing ball, Europhysics Letters 64, 36 2003. [3] S. Giusepponi, F. Marchesoni, M. Borromeo, Randomness in the bouncing ball dynamics, Physica A 35, 42 58 2005. 23