Geodesic
Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
Kybernetika, Tome 43 (2007) no. 6, pp. 797-806
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

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.
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.
Classification : 34C37, 34D09, 37C29, 37M20, 65G20, 65P30
Keywords: rigorous numerics; exponential dichotomy; homoclinic orbits 
@article{KYB_2007_43_6_a4,
     author = {Hiraoka, Yasuaki},
     title = {Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems},
     journal = {Kybernetika},
     pages = {797--806},
     year = {2007},
     volume = {43},
     number = {6},
     mrnumber = {2388394},
     zbl = {1138.65107},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2007_43_6_a4/}
}
TY  - JOUR
AU  - Hiraoka, Yasuaki
TI  - Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
JO  - Kybernetika
PY  - 2007
SP  - 797
EP  - 806
VL  - 43
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/KYB_2007_43_6_a4/
LA  - en
ID  - KYB_2007_43_6_a4
ER  - 
%0 Journal Article
%A Hiraoka, Yasuaki
%T Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
%J Kybernetika
%D 2007
%P 797-806
%V 43
%N 6
%U http://geodesic.mathdoc.fr/item/KYB_2007_43_6_a4/
%G en
%F KYB_2007_43_6_a4
Hiraoka, Yasuaki. Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems. Kybernetika, Tome 43 (2007) no. 6, pp. 797-806. http://geodesic.mathdoc.fr/item/KYB_2007_43_6_a4/

[1] Chow S.-N., Deng, B., Fiedler B.: Homoclinic bifurcation at resonant eigenvalues. J. Dyn. Differential Equations 2 (1990), 177–244 | DOI | MR | Zbl

[2] Coddington E. A., Levinson L.: Theory of Ordinary Differential Equations. McGraw-Hill, New York 1955 | MR | Zbl

[3] Coppel W. A.: Dichotomies in Stability Theory. (Lecture Notes in Mathematics 629.), Springer-Verlag, Berlin 1978 | MR | Zbl

[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 | MR

[5] Guckenheimer J., Holmes P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer–Verlag, Berlin 1983 | MR | Zbl

[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 | MR | Zbl

[8] Kapitula T.: The Evans function and generalized Melnikov integrals. SIAM J. Math. Anal. 30 (1999), 273–297 | DOI | MR | Zbl

[9] Kokubu H.: Homoclinic and heteroclinic bifurcations in vector fields. Japan J. Appl. Math. 5 (1988), 455–501 | DOI | MR

[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 | MR | Zbl

[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

[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 | MR | Zbl

[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 | MR | Zbl

[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 | MR | Zbl