Symmetric heteroclinic connections in the michelson system: A computer assisted proof

SIAM Journal on Applied Dynamical Systems

Volumn 4, Issue 3, 2005, Pages 489-514

  Wilczak, Daniel ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Differential equations; Rigorous numerical analysis; Symmetric solutions

Indexed keywords

NUMERICAL ANALYSIS;

EQUILIBRIUM POINTS; RIGOROUS NUMERICAL ANALYSIS; SYMMETRIC SOLUTIONS;

DIFFERENTIAL EQUATIONS;

EID: 30644464142     PISSN: 15360040     EISSN: 15360040     Source Type: Journal    
DOI: 10.1137/040611112     Document Type: Article

References (21)

1. G. ARIOLI AND P. ZGLICZYŃSKI, Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level, J. Differential Equations, 171 (2001), pp. 173-202.
2. CAPD: COMPUTER ASSISTED PROOFS IN DYNAMICS GROUP, http://capd.wsb-nlu. cdu.pl.
3. Z. GALIAS AND P. ZGLICZYŃSKI, Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map, Nonlinearity, 14 (2001), pp. 909-932.
4. Y. KURAMOTO AND T. TSUZUKI, Persistent propagation of concentration waves in dissipative media far from thermal equilibrium, Progr. Theoret. Phys., 55 (1976), pp. 356-369.
5. J. S. W. LAMB, Reversing Symmetries in Dynamical Systems, Ph.D. Thesis, Universiteit van Amsterdam, Amsterdam, The Netherlands, 1994.
6. 3, J. Differential Equations, to appear.
7. Y.-T. LAU, The "cocoon" bifurcations in three-dimensional systems with two fixed points, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 2 (1992), pp. 543-558.
8. R. J. LOHNER, Computation of guaranteed enclosures for solutions of ordinary initial and boundary value problems, in Computational Ordinary Differential Equations, J. R. Cash and I. Gladwell, eds., Oxford University Press, New York, 1992, pp. 425-435.
9. 2 - 1, J. Math. Anal. Appl., 114 (1986), pp. 584-592.
10. D. MICHELSON, Steady solutions of the Kuramoto-Sivashinsky equation, Phys. D, 19 (1986), pp. 89-111.
11. M. MROZEK AND M. ŻELAWSKI, Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof, Reliab. Comput., 3 (1997), pp. 277-285.
12. W. C. TROY, The existence of steady solutions of the Kuramoto-Sivashinsky equation, J. Differential Equations, 82 (1989), pp. 269-313.
13. A. VANDERBAUWHEDE AND B. FIEDLER, Homoclinic period blow-up in reversible and conservative systems, Z. Angew. Math. Phys., 43 (1992), pp. 292-318.
14. D. WILCZAK, http://www.wsb-nlu.edu.pl/~dwilczak.
15. D. WILCZAK, Chaos in the Kuramoto-Sivashinsky equations - A computer assisted proof, J. Differential Equations, 194 (2003), pp. 433-459.
16. D. WILCZAK AND P. ZGLICZYŃSKI, Heteroclinic connections between periodic orbits in planar restricted circular three body problem - A computer assisted proof, Comm. Math. Phys., 234 (2003), pp. 37-75.
17. D. WILCZAK AND P. ZGLICZYŃSKI, Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - Part II, Comm. Math. Phys., to appear; available at http://www.wsb-nlu.edu.pl/~dwilczak.
18. K. WÓJCIK AND P. ZGLICZYŃSKI, How to show an existence of homoclinic trajectories using topological tools?, in International Conference on Differential Equations, Vol. 1, 2 (Berlin, 1999), B. Fiedler, K. Gröger, and J. Sprekels, eds., World Scientific, River Edge, NJ, 2000, pp. 246-248.
19. P. ZGLICZYŃSKI, Fixed points index for iteration of maps, topological horseshoe and chaos, Topol. Methods Nonlinear Anal., 8 (1996), pp. 169-177.
20. P. ZGLICZYŃSKI, Computer assisted proof of chaos in the Rössler equations and the Hénon map, Nonlinearity, 10 (1997), pp. 243-252.
21. 1-Lohner algorithm, Found. Comput. Math., 2 (2002), pp. 429-465.