Article
Full entry |
PDF
(1.1 MB)
Feedback
PDF
(1.1 MB)
Feedback
Keywords:
rigorous numerics; exponential dichotomy; homoclinic orbits
rigorous numerics; exponential dichotomy; homoclinic orbits
Summary:
We propose a new rigorous numerical technique to prove the existence of symmetric homoclinic orbits in reversible dynamical systems. The essential idea is to calculate Melnikov functions by the exponential dichotomy and the rigorous numerics. The algorithm of our method is explained in detail by dividing into four steps. An application to a two dimensional reversible system is also treated and the existence of a symmetric homoclinic orbit is rigorously verified as an example.
References:
[1] Chow S.-N., Deng, B., Fiedler B.: Homoclinic bifurcation at resonant eigenvalues. J. Dyn. Differential Equations 2 (1990), 177–244 DOI 10.1007/BF01057418 | MR 1050642 | Zbl 0703.34050
[2] Coddington E. A., Levinson L.: Theory of Ordinary Differential Equations. McGraw-Hill, New York 1955 MR 0069338 | Zbl 0064.33002
[3] Coppel W. A.: Dichotomies in Stability Theory. (Lecture Notes in Mathematics 629.), Springer-Verlag, Berlin 1978 MR 0481196 | Zbl 0376.34001
[4] Deng B.: The Sil’nikov problem, exponential expansion, strong $\lambda $-lemma, $C^1$-linearization, and homoclinic bifurcation. J. Differential Equations 79 (1989), 189–231 DOI 10.1016/0022-0396(89)90100-9 | MR 1000687
[5] Guckenheimer J., Holmes P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer–Verlag, Berlin 1983 MR 0709768 | Zbl 0515.34001
[6] Hiraoka Y.: in preparatio.
[7] Iooss G., Pérouème M. C.: Perturbed homoclinic solutions in reversible 1:1 resonance vector fields. J. Differential Equations 102 (1993), 62–88 DOI 10.1006/jdeq.1993.1022 | MR 1209977 | Zbl 0792.34044
[8] Kapitula T.: The Evans function and generalized Melnikov integrals. SIAM J. Math. Anal. 30 (1999), 273–297 DOI 10.1137/S0036141097327963 | MR 1664760 | Zbl 0921.34009
[9] Kokubu H.: Homoclinic and heteroclinic bifurcations in vector fields. Japan J. Appl. Math. 5 (1988), 455–501 DOI 10.1007/BF03167912 | MR 0965875
[10] Kisaka M., Kokubu, H., Oka H.: Bifurcations to $N$-Homoclinic orbits and $N$-periodic orbits in vector fields. J. Dyn. Differential Equations 5 (1993), 305–357 DOI 10.1007/BF01053164 | MR 1223451 | Zbl 0784.34038
[11] Lohner R. J.: Einschliessung der Lösung gewonhnlicher Anfangs- and Randwertaufgaben und Anwendungen. Thesis, Universität Karlsruhe (TH) 1988
[12] Melnikov V. K.: On the stability of center for time periodic perturbations. Trans. Moscow Math. Soc. 12 (1963) , 1–57 MR 0156048
[13] Oishi S.: Research Institute for Mathematical Sciences Kôkyûroku, 928 (1995), 14–1.
[14] Vanderbauwhede A., Fiedler B.: Homoclinic period blow-up in reversible and conservative systems. Z. Angew. Math. Phys. 43 (1992), 292–318 DOI 10.1007/BF00946632 | MR 1162729 | Zbl 0762.34023
[15] Wilczak D., Zgliczyński P.: Heteroclinic connections between periodic orbits in planar restricted circular three-body problem – a computer assisted proof. Comm. Math. Phys. 234 (2003), 37–75 DOI 10.1007/s00220-002-0709-0 | MR 1961956 | Zbl 1055.70005
[16] Yamamoto N.: A numerical verification method for solutions of boundary value problems with local uniqueness by Banach’s fixed-point theorem. SIAM J. Numer. Anal. 35 (1998), 2004–2013 DOI 10.1137/S0036142996304498 | MR 1639986 | Zbl 0972.65084
Search
Partner of
