C1 Lohner Algorithm

Foundations of Computational Mathematics

Volumn 2, Issue 4, 2002, Pages 429-465

  Zgliczynski, Piotr ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFORT; GALERKIN PROJECTIONS; INITIAL CONDITIONS; KURAMOTO-SIVASHINSKY; MODIFIED ALGORITHMS; PARTIAL DERIVATIVES; PERIODIC ORBITS;

ORDINARY DIFFERENTIAL EQUATIONS; PARTIAL DIFFERENTIAL EQUATIONS;

ALGORITHMS;

EID: 0036433786     PISSN: 16153375     EISSN: 16153383     Source Type: Journal    
DOI: 10.1007/s102080010025     Document Type: Article

References (24)

1. G. Alefeld, Inclusion methods for systems of nonlinear equations - the interval Newton method and modifications, in Topics in Validated Computations (J. Herzberger, ed.), Elsevier Science, New York, 1994.
2. G. Arioli and P. Zgliczyński, Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical energy level, J. Differential Equations 171 (2001), 173-202.
3. G. Arioli and P. Zgliczyński, in preparation.
4. Z. Galias and P. Zgliczyński, Computer-assisted proof of chaos in the Lorenz system, Phys. D, 115 (1998), 165-188.
5. E. Hairer, S. P. Nørsett, and G. Wanner, Solving Ordinary Differential Equations I, Nonstiff Problems, Springer-Verlag, Berlin, 1987.
6. B. Hassard, J. Zhang, S. Hastings, and W. Troy, A computer proof that the Lorenz equations have "chaotic" solutions, Appl. Math. Lett., 7 (1994), 79-83.
7. Y. Kuramoto and T. Tsuzuki, Persistent propagation of concentration waves in dissipative media far from thermal equilibrium, Progr. Theoret. Phys. 55 (1976), 365.
8. R. J. Lohner, Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems, in Computational Ordinary Differential Equations (J. R. Cash and I. Gladwell, eds.), Clarendon Press, Oxford, UK, 1992.
9. R. J. Lohner, Einschliessung der Lösung gewonhnlicher Anfangs-and Randwertaufgaben und Anwendungen, Universität Karlruhe (TH), these, 1988.
10. R. E. Moore, Interval Analysis, Prentice Hall, Englewood Cliffs, NJ, 1966.
11. M. Mrozek and P. Zgliczyński, Set arithmetic and the enclosing problem in dynamics, Ann. Polon. Math. LXXIV (2000), 237-259.
12. K. Mischaikow and M. Mrozek, Chaos in the Lorenz equations: A computer-assisted proof. Part II: Details, Math. Comp. 67 (1998), 1023-1046.
13. N. S. Nedialkov and K. R. Jackson, An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation, in Developments in Reliable Computing (Budapest, 1998), Kluwer Academic, Dordrecht, 1999, pp. 289-310.
14. P. Pilarczyk, Computer assisted method for proving existence of periodic orbits, Topological Methods Nonlinear Anal. 13 (1999), 365-377.
15. T. Rage, A. Neumaier, and C. Schlier, Rigorous verification of chaos in a molecular model, Phys. Rev. E 50 (1994), 2682-2688.
16. L. B. Rall, Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science, Vol. 120, Springer-Verlag, Berlin, 1981.
17. O. E. Rössler, An equation for continous chaos, Phys. Lett. A 57 (1976), 397-398.
18. G. I. Sivashinsky, Nonlinear analysis of hydrodynamical instability in laminar flames - 1. Derivation of basic equations, Acta Astronom. 4 (1977), 1177.
19. W. Tucker, Lorenz attractor exists, C. R. Acad. Sci. Paris Sér I 328 (1999), 1197-1202.
20. W. Tucker, A rigorous ODE solver and Smale's 14th problem. Found. Comp. Math. 2 (2002), 53-117.
21. D. Wilczak and P. Zgliczyński, Heteroclinic connections between periodic orbits in planar restricted circular three-body problem - A computer-assisted proof, submitted, http://www.im.uj.edu.pl/~zgliczyn
22. P. Zgliczynski, Computer-assisted proof of chaos in the Hénon map and in the Rössler equations, Nonlinearity, 10 (1997), 243-252.
23. P. Zgliczyński, Multidimensional perturbations of one-dimensional maps and stability of Sharkovskii ordering, Internat. J. Bifurcation Chaos 9 (1999), 1867-1876.
24. P. Zgliczyński and K. Mischaikow, Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation, Found. Comput. Math. 1 (2001), 255-2889.