The existence of shilnikov homoclinic orbits in the michelson system: A computer assisted proof

Foundations of Computational Mathematics

Volumn 6, Issue 4, 2006, Pages 495-535

  Wilczak, Daniel ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ASSISTED PROOF; EQUILIBRIUM POINT; HETEROCLINIC ORBIT; HETEROCLINIC SOLUTIONS; HOMOCLINIC ORBITS; INTERVAL ARITHMETIC; REVERSIBLE SYSTEMS; UNSTABLE MANIFOLD;

COMPUTATIONAL METHODS;

TOPOLOGY;

EID: 33846933597     PISSN: 16153375     EISSN: 16153383     Source Type: Journal    
DOI: 10.1007/s10208-005-0201-2     Document Type: Article

References (28)

1. CAPD-Computer-Assisted Proofs in Dynamics Group, http://capd.wsb-nlu.edu. pl.
2. J. Dugundji and A. Granas, Fixed Point Theory, Monografie Matematyczne, Vol. 61, PWN, Warszawa, 1982.
3. F. Dumortier, S. Ibáñez, and H. Kokubu, New aspects in the unfolding of the nilpotent singularity of codimension three, Dyn. Syst. 16 (2001), 63-95.
4. F. Dumortier, S. Ibáñez, and H. Kokubu, Cocoon bifurcation in three-dimensional reversible vector fields, Nonlinearity 19 (2006), 305-328.
5. M. Gidea and P. Zgliczyński, Covering relations for multidimensional dynamical systems, J. Differential Equations 202/1 (2004), 33-58.
6. The IEEE Standard for Binary Floating-Point Arithmetics, ANSI-IEEE Std 754 (1985).
7. 3, J. Differential Equations 208 (2005), 147-75.
8. O. Junge, S. Day, and K. Mischaikow, A rigorous numerical method for the global analysis of infinite-dimensional discrete dynamical systems, SIAM J. Appl. Dyn. Syst. 3(2) (2004), 117-160.
9. P. Kent and J. Elgin, A Shilnikov-type analysis in a system with symmetry, Phys. Lett. A 152(1,2) (1991), 28-32.
10. P. Kent and J. Elgin, Travelling-waves of the Kuramoto-Sivashinsky equation: Period-multiplying bifurcations, Nonlinearity 5 (1992), 899-919.
11. T. Kaczyński, M. Mischaikow, and M. Mrozek, Computational Homology, Applied Mathematical Sciences, Vol. 157, Springer-Verlag, New York, 2004.
12. Y. Kuramoto and T. Tsuzuki, Persistent propagation of concentration waves in dissipative media far from thermal equilibrium, Progr. Theor: Phys. 55 (1976), 356-69.
13. 3, J. Differential Equations 219 (2005), 78-115.
14. Y.-T. Lau, The "cocoon" bifurcations in three-dimensional systems with two fixed points, Intnat. J. Bifur. Chaos Appl. Sci. Engrg. 2(3) (1992), 543-558.
15. R. J. Lohner, Computation of guaranted enclosures for solutions of ordinary initial and boundary value problems, in Computational Ordinary Differential Equations (J. R. Cash, I. Gladwell, eds.), Clarendon Press, Oxford, 1992.
16. D. Michelson, Steady solutions of the Kuramoto-Sivashinsky equation, Phys. D 19 (1986), 89-111.
17. 2 - 1, J. Math. Anal. Appl. 114 (1986), 584-592.
18. K. Mischaikow and M. Mrozek, Conley Index, Handbook of Dynamical Systems, Vol. 2, 2002.
19. K. Mischaikow and M. Mrozek, Chaos in Lorenz equations: A computer-assisted proof, Bull. Amer. Math. Soc. (N.S.) 33 (1995), 66-72.
20. R. E. Moore, Interval Analysis, Prentice Hall, Englewood Cliffs, NJ, 1966.
21. M. Mrozek and M. Zelawski, Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer-assisted proof, Reliab. Comput. 3 (1997), 277-285.
22. D. Wilczak, http://www.wsb-nlu.edu.pl/~dwilczak.
23. D. Wilczak, Chaos in the Kuramoto-Sivashinsky equations - A computer-assisted proof, J. Differential Equations 194 (2003), 433-459.
24. D. Wilczak, Symmetric heteroclinic connections in the Michelson system - A computer-assisted proof, SIAM J. Appl. Dyn. Syst. 4(3) (2005), 489-514.
25. D. Wilczak and P. Zgliczyński, Topological method for symmetric periodic orbits for maps with a reversing symmetry, submitted, DCDSA, available at http://arxiv.org/abs/math.DS/0401145.
26. D. Wilczak and P. Zgliczyṅski, Heteroclinic connections between periodic orbits in planar restricted circular three body problem-Part II, Comm. Math. Phys. 259(3) (2005), 561-576.
27. P. Zgliczyński, Fixed point index for iterations, topological horseshoe and chaos, Topol. Methods Nonlinear Anal. 8(1) (1996), 169-177.
28. 1-Lohner algorithm, Found. Comput. Math. 2(4) (2002), 429-465.