sergey kryzhevich - bcam€Š · this is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟....

23
Sergey Kryzhevich BCAM, Bilbao , 13 February 2013

Upload: others

Post on 30-Apr-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Sergey Kryzhevich

BCAM, Bilbao , 13 February 2013

Page 2: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

1) Vibro-impact systems: definitions and main properties. 2) Grazing bifurcation(s). 3) Estimates on eigenvalues 4) Homoclinic points. 5) Smale horseshoes.

Page 3: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

1. Vibro-impact systems. Mathematical models: Newton, Hook, Peterka,74,

Pesin-Bunimovich-Sinai, 85 (for billiards), Schatzmann, 98 – the most general model, Babitsky, 98 review,


2. Grazing bifurcation. Nordmark, 91, Ivanov, 94, Dankowitz et al 02, Budd et al, 08,


Page 4: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Fig. 1. An example of single degree-of-freedom vibro-impact system

1 – point mass, 2 – spring, 3 - delimiter, 4 – damping element

Page 5: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

𝐜 = [0,𝜇∗] - values of parameter; 𝑓 𝑡, 𝑥, 𝑊, 𝜇 :𝑅3 × 𝐜 → 𝑅 - a 𝐶2 smooth function, . 𝑓 𝑡 + 𝑇, 𝑥,𝑊, 𝜇 ≡ 𝑓(𝑡, 𝑥,𝑊, 𝜇) Consider a system of 2 o.d.e.s ᅵ̇ᅵ = 𝑊; ᅵ̇ᅵ = 𝑓(𝑡, 𝑥,𝑊, 𝜇) (1) Denote the set of corresponding right hand sides by 𝑋𝑓 = 𝑋𝑓(𝐜,𝑛,𝑇) Denote 𝑧 = (𝑥,𝑊)

. . .

Page 6: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Eq. (1) is satisfied for 𝑥 > 0. If 𝑥 = 0 the following impact conditions take place: If 𝑥 𝑡0 − 0 = 0 then 𝑊 𝑡0 + 0 = −𝑟𝑊 𝑡0 − 0 , 𝑥 𝑡0 + 0 = 𝑥(𝑡0 − 0) (2) . Here 𝑟 = 𝑟 𝜇 ∈ 0,1 is a 𝐶2 smooth function. Denote by (*) the VIS defined by Eq. (1) and impact conditions (2) Let .

[ ] ( ) ( ){ }0,,,0,,0,0 111 >=−××∞=Λ yryyJ µµR

Page 7: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

A function 𝑧 𝑡 = col(𝑥 𝑡 ,𝑊(𝑡)) is called solution of the VIS (*) with a finite number of impacts on an interval (𝑎, 𝑏) if the following conditions are satisfied: there exist instants 𝑡0, 
 , 𝑡𝑁+1 where 𝑡0 = 𝑎, 𝑡𝑁+1 = 𝑏 such that 1) The components 𝑥 𝑡 is continuous, points 𝑡1, 
 , 𝑡𝑁 are all points of discontinuity for 𝑊(𝑡). 2) The function 𝑥 𝑡 is non-negative and 𝑡1, 
 , 𝑡𝑁 are all its zeros. 3) 𝑊 𝑡𝑘 + 0 = −𝑟 𝜇 𝑊 𝑡𝑘 − 0 for all 𝑘 = 1, 
 ,𝑁 4) The function 𝑧 𝑡 is a solution of system (1) on every segment 𝑡𝑘 , 𝑡𝑘+1 .

, , , .

Page 8: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Lemma 1. Let 𝑧 𝑡 = col(𝑥 𝑡 ,𝑊(𝑡)) - be a solution of (*), corresponding to the value 𝜇0 of the parameter and to the initial data (𝑡0, 𝑥0,𝑊0). Let 𝑥02 + 𝑊02 > 0 and let the considered solution be defined on 𝑡−, 𝑡+ . Let the function 𝑥(𝑡) have exactly 𝑁 zeros 𝑡1, 
 , 𝑡𝑁 on the interval (𝑡−, 𝑡+). Suppose that 𝑊 𝑡𝑘 − 0 ≠ 0 for all k. Then for any 𝑡 ∈ (𝑡−, 𝑡+) ∖ {𝑡1, 
 , 𝑡𝑁} there is a neighborhood 𝑈 of the point 𝑡0, 𝑥0,𝑊0, 𝜇0 such that the mapping 𝑧(𝑡, 𝑡′, 𝑥′,𝑊′,𝜇𝜇) is smooth with respect to (𝑡′, 𝑥′,𝑊′, 𝜇𝜇) from 𝑈. All corresponding solutions have exactly 𝑁 impacts 𝑡𝑘(𝑡𝑡, 𝑥𝑡,𝑊𝑡,𝜇𝑡) over (𝑡−, 𝑡+). Impact instants 𝑡𝑘(𝑡𝑡, 𝑥𝑡,𝑊𝑡, 𝜇𝑡) and corresponding velocities 𝑊(𝑡𝑘 𝑡𝑡, 𝑥𝑡,𝑊𝑡, 𝜇𝑡 − 0) are smooth functions of 𝑡𝑡, 𝑥𝑡,𝑊𝑡,𝜇𝑡 in 𝑈.

Page 9: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟 . The topology is minimal one there for any

pair (𝑓0, 𝑟0) and any 𝑅 > 0 the set

ï¿œ 𝑓, 𝑟 : sup𝑡,𝑧,𝜇 ∈𝑀

( 𝑓 𝑡, 𝑧, 𝜇 − 𝑓0 𝑡, 𝑧, 𝜇 + ᅵ𝜕𝑓𝜕𝑧

𝑡, 𝑧, 𝜇

−𝜕𝑓0𝜕𝑧

𝑡, 𝑧, 𝜇 ï¿œ + ᅵ𝜕𝑓𝜕𝜇

𝑡, 𝑧, 𝜇

−𝜕𝑓0𝜕𝜇

𝑡, 𝑧, 𝜇 ï¿œ + |𝑟 𝜇 − 𝑟0(𝜇)|) < 𝑅ᅵ

is open.

Page 10: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

“Stiff” model with a perturbation ᅵ̇ᅵ = 𝑊; ᅵ̇ᅵ = 𝑓 𝑡, 𝑥,𝑊 + 𝑔 𝑡, 𝑥,𝑊 ; 𝑔 𝐶1 < 𝜀 We assume conditions (2) take place. “Soft” model with a perturbation. ᅵ̇ᅵ = 𝑊; ᅵ̇ᅵ = 𝑓 𝑡, 𝑥,𝑊 + 𝑔 𝑡, 𝑥,𝑊 + ℎ(𝜅, 𝑡, 𝑥,𝑊); 𝑔 𝐶1 < 𝜀 ℎ 𝜅, 𝑡, 𝑥,𝑊 = −2𝛌𝜅𝜒− 𝑥 𝑊 − 1 + 𝛌2 𝜅2𝜒− 𝑥 x, 𝛌 = −log 𝑟/𝜋. χ̲ =1 if x <0 and χ̲ =0 if x≥0; addition of functions h replaces the conditions of impact. Consider stroboscopic (period shift) mappings for both

of these models. Call them 𝑆𝑔,𝑟 and 𝑆𝑔,𝑟,𝜅 Hyperbolic invariant sets persist for small 𝜀 and big 𝜅 and

small changes in 𝑟.

1kÎŽ

Page 11: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Fig. 2. A «soft» model of impact, «sutured» from two linear systems. A delimiter is replaced with a very stiff spring.

Page 12: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Fig. 3. A grazing bifurcation. Here the case µ>0 corresponds to existence of a low-velocity impact, we can select µ equal to this velocity. µ=0 corresponds to a tangent motion (grazing), the case µ<0 corresponds to passage near delimiter without impact.

Page 13: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

There exists a continuous family of Т – periodic solutions 𝜑 𝑡, 𝜇 = (𝜑𝑥 𝑡,𝜇 ,𝜑𝑊 𝑡, 𝜇 ) of system (*), satisfying following properties: 1) For any 𝜇 ∈ 𝐜 the component 𝜑𝑥 𝑡,𝜇 has exactly 𝑁 + 1 zeros 𝑡0 𝜇 , 
 , 𝑡𝑁(𝜇) over the period [0,𝑇). 2) Velocities 𝑌𝑘(𝜇) = 𝑊(𝑡𝑘(𝜇) − 0) are such that 𝑌𝑘 𝜇 ≠ 0 for all 𝜇 ≠ 0, 𝑌0(0) = 0, 𝑌𝑘 0 ≠ 0 for 𝑘 = 1, 
 ,𝑁. 3) Instants 𝑡𝑘(𝜇) and impact velocities 𝑌𝑘(𝜇) continuously depend on the parameter 𝜇 ∈ 𝐜.

, ,

.

.

Condition 1.

Page 14: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Fig. 4. Curve Г. Homoclinic points arizing due to bent of unstable (а) or stable (b) manifold. Here we consider case 1 – presence of periodic motions with a

low impact velocity.

(a) (b)

Page 15: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Period shift map 𝑆𝜇,𝜃(𝑧0) = 𝑧(𝑇 − 𝜃,−𝜃, 𝑧0, 𝜇) Here Ξ > 0 is a small parameter, 𝑧𝜇,𝜃 = 𝜑(−𝜃, 𝜇) be the fixed point. Let

𝐎 = lim𝜇,𝜃→ 0

𝜕𝑧𝜕𝑧0

𝑇 − 𝜃,𝜃, 𝑧0,𝜇 =𝑎11 𝑎12𝑎21 𝑎22

be the matrix, corresponding for motion out of grazing Condition 2. 𝑎12 > 0 , Tr 𝐎 < −1.

𝐵𝜇,𝜃 =𝜕𝑧𝜕𝑧0

𝜃,−𝜃, 𝑧0, 𝜇

=−𝑟 0

−𝑟 + 1 𝑓 0,0,0

𝑌0 𝜇−𝑟 (𝐞 + 𝑂(µ+Ξ))

.

Page 16: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

𝐷𝑆𝜇,𝜃 𝑧𝜇,𝜃 = 𝐎𝐵𝜇,𝜃(𝐞 + 0(𝜇 +\theta)) Trace is big if 𝑎12 ≠ 0, determinant is bounded. Eigenvalues 𝜆+ → ∞ as 𝜇 → 0 and 𝜆 − → 0 as 𝜇 → 0. Corresponding eigenvectors:

𝑢+ =𝑎21𝑎22 + O(𝜇 + 𝜃),

𝑢− = 01 + O(𝜇 + 𝜃).

Page 17: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Theorem 2. Let Conditions 1 and 2 be satisfied. Then there exist values 𝜇0,𝜃0 such that for all 𝜇 ∈ 0, 𝜇0 ,𝜃 ∈ (0,𝜃0) there exist a natural number m and a compact set 𝐟𝜇,𝜃, invariant with respect to 𝑆𝜇,𝜃 and such that the following statements are true. 1) There exists a neighborhood 𝑈𝜇,𝜃 of the set 𝐟𝜇,𝜃 such that the reduction 𝑆𝜇,𝜃|𝑈𝜇,𝜃 is a local diffeomorphism. The invariant set 𝐟𝜇,𝜃 is hyperbolic 2) The invariant set 𝐟𝜇,𝜃 of the diffeomorphism 𝑆𝜇,𝜃|𝑈𝜇,𝜃 is chaotic in Devaney sense, i.e. it is infinite, hyperbolic, topologically transitive (contains a dense orbit) and periodic points are dense there.

Page 18: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Fig .11. Description of the experiment and bifurcation diagrams, demonstrating presence of chaos in a

neighborhood of grazing

Molenaar et al. 2000

Page 19: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Ing et al., 2008; Wiercigroch & Sin, 1998 (see also Fig. 2)

Fig. 12. Bifurcation diagrams and chaotic dynamics on the set of central leaves in a neighborhood of a periodic point.

Page 20: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Akhmet, M. U. (2009). Li-Yorke chaos in systems with impacts. Journal of Mathematical Analysis & Applications, 351(2), 804-810.

di Bernardo, M., Budd C. J., Champneys A. R. & Kowalczyk P. (2007) Bifurcations and Chaos in Piecewise-Smooth Dynamical Systems: Theory and Applications. New York, Springer.

Babitsky, V. I. (1998) Theory of Vibro-Impact Systems and Applications, Berlin, Germany, Springer.

Banerjee, S., Yorke, J. A. & Grebogi, C. (1998) Robust chaos. Physical Review Letters, 80(14), 3049-3052.

Budd, C. (1995) Grazing in impact oscillators. In: Branner B. & Hjorth P. (Ed.) Real and Complex Dynamical Systems (pp. 47-64). Kluwer Academic Publishers.

Bunimovich L.A., Pesin Ya. G., Sinai Ya. G. & Jacobson M. V. (1985) Ergodic theory of smooth dynamical systems. Modern problems of mathematics. Fundamental trends, 2, 113-231.

Chernov N., Markarian R. (2001) Introduction to the ergodic theory of chaotic billiards. IMCA, Lima.

Chillingworth, D.R.J. (2010) Dynamics of an impact oscillator near a degenerate graze. Nonlinearity, 23, 2723-2748.

Page 21: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Chin W., Ott E., Nusse, H. E. & Grebogi, C. (1995) Universal behavior of impact oscillators near grazing incidence. Physics Letters A 201(2), 197-204.

Devaney, R. L. (1987) An Introduction to Chaotic Dynamical Systems. Redwood City, CA: Addison-Wesley.

Fredriksson, M. H. & Nordmark, A. B. (1997) Bifurcations caused by grazing incidence in many degrees of freedom impact oscillators. Proceedings of the Royal Society, London. Ser. A. 453, 1261-1276.

ГПрбОкПв С. П. & МеМьшеМОМа А.В. (2005) БОфуркацОя, прОвПЎящая к хаПтОческОЌ ЎвОжеМОяЌ в ЎОМаЌОческОх сОстеЌах с уЎарМыЌО взаОЌПЎействОяЌО. ДОффереМц. уравМеМОя, 41(8), 1046-1052.

Holmes, P. J. (1982) The dynamics of repeated impacts with a sinusoidally vibrating table. Journal of Sound and Vibration 84(2), 173-189.

Ing, J., Pavlovskaia E., Wiercigroch M, Banerjee S. (2008) Experimental study of an impact oscillator with a one-side elastic constraint near grazing. Physica D 239, 312-321.

Ivanov, A. P. (1996) Bifurcations in impact systems. Chaos, Solitons & Fractals 7(10), 1615-1634.

КПзлПв В.В., Трещев Д.В. (1991) БОллОарЎы. ГеМетОческПе ввеЎеМОе в ЎОМаЌОку сОстеЌ с уЎараЌО. М.: ИзЎ-вП МГУ. 1991. 168 c.

Page 22: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the

Molenaar J, van de Water W. & de Wegerand J. (2000) Grazing impact oscillations. Physical Review E, 62(2), 2030-2041.

Nordmark, A. B. (1991) Non-periodic motion caused by grazing incidence in an impact oscillator. Journal of Sound & Vibration, 145(2), 279-297.

Palis, J., di Melo, W. (1982) Geometric Theory of Dynamical Systems. Springer-Verlag, 1982.

Pavlovskaia, E. ,Wiercigroch, M. (2004) Analytical drift reconstruction for visco-elastic impact oscillators operating in periodic and chaotic regimes. Chaos, Solitons & Fractals 19(1), 151-161.

Smale, S. (1965) Diffeomorfisms with many periodic points. Differential & Combinatorial. Topology. Princeton: University Press, 63-81.

Thomson, J. M. T., Ghaffari, R. (1983) Chaotic dynamics of an impact oscillator. Physical Review A, 27(3), 1741-1743.

Wiercigroch, M., Sin, V.W.T. (1998) Experimental study of a symmetrical piecewise base-excited oscillator, J. Appl. Mech.65, 657-663.

Whiston, G. S. (1987) Global dynamics of a vibro-impacting linear oscillator. Journal of Sound & Vibration, 118(3), 395-429.

Page 23: Sergey Kryzhevich - BCAM€Š · This is a space 𝑋, consisting of 𝐶1smooth pairs 𝑓, 𝑟. The topology is minimal one there for any pair (𝑓0, 𝑟0) and any 𝑅> 0 the