Rigorous numerics for dissipative partial differential equations II. Periodic orbit for the Kuramoto-Sivashinsky PDE - A computer-assisted proof

Foundations of Computational Mathematics

Volumn 4, Issue 2, 2004, Pages 157-185

  Zgliczyńiski, Piotr ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Dissipative PDEs; Galerkin projection; Periodic orbit; Rigorous numerics

Indexed keywords

DIFFERENTIAL INCLUSION; FINITE-DIMENSIONAL TOOLS; PERIODIC ORBITS;

ALGORITHMS; BOUNDARY CONDITIONS; MATRIX ALGEBRA; PROBLEM SOLVING; THEOREM PROVING; VECTORS;

PARTIAL DIFFERENTIAL EQUATIONS;

EID: 2642531129     PISSN: 16153375     EISSN: 16153383     Source Type: Journal    
DOI: 10.1007/s10208-002-0080-8     Document Type: Article

References (27)

1. L. Cesari, Functional analysis and Galerkin's method, Michigan Math. J. 11 (1964), 383-414.
2. P. Collet, J.-P. Eckmann, H. Epstein, and J. Stubbe, Analyticity for the Kuramoto-Sivashinsky equation, Phys. D 67 (1993), 321-326.
3. J. Dugundji and A. Granas, Fixed Point Theory, Monografie Matematyczne, Vol. 61, PWN, Warszawa, 1982.
4. C. Foias and R. Temam, Gevrey class regularity for the solutions of the Navier-Stokes equations, J. Funct. Anal. 87 (1989), 359-369.
5. Z. Galias and P. Zgliczyński, Computer assisted proof of chaos in the Lorenz system, Phys. D 115 (1998), 165-188.
6. M. Gidea and P. Zgliczyński, Covering relations for multidimensional dynamical systems, submitted, http://www.im.uj.edu.pl/~zgliczyn
7. J. K. Hale and G. Raugel, Galerkin methods and regularity, in Differential Equations and Dynamical Systems (Lisbon, 2000), pp. 173-188, Fields Inst. Commun., Vol. 31, American Mathematical Society, Providence, RI, 2002.
8. S. M. Hammel, J. A. Yorke, and C. Grebogi, Do numerical orbits of chaotic dynamical processes represent true orbits? J. Complexity 3, (1987) 136-145.
9. S. M. Hammel, J. A. Yorke, and C. Grebogi, Numerical orbits of chaotic dynamical processes represent true orbits, Bull. Amer. Math. Soc. 19, (1988), 465-470.
10. W. B. Hayes, Rigorous shadowing of numerical solutions of ordinary differential equations by containment, Ph.D. Thesis, Computer Science Department, University of Toronto, 2001, http://www.cs.toronto.edu/NA/reports. html#hayes-01-phd
11. H. -O. Kreiss, Fourier expansions of the solutions of the Navier-Stokes equations and their exponential decay rate, in Analyse Mathématique et Applications, pp. 245-262, Gauthier-Villars, Montrouge, 1988.
12. Y. Kuramoto and T. Tsuzuki, Persistent propagation of concentration waves in dissipative media far from thermal equilibrium, Progr. Theoret. Phys. 55 (1976), 365.
13. R. J. Lohner, Einschliessung der Lösung gewonhnlicher Anfangs- and Randwertaufgaben und Anwendungen, Universität Karlsruhe (TH), these, 1988.
14. 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, 1992.
15. R. E. Moore, Methods and Applications of Interval Analysis, SIAM, Philadelphia, PA, 1979
16. M. Mrozek and P. Zgliczyński, Set arithmetic and the enclosing problem in dynamics, Ann. Polon. Math. (2000), 237-259.
17. A. Ralston, A First Course in Numerical Analysis, McGraw-Hill, New York, 1965.
18. G. I. Sivashinsky, Nonlinear analysis of hydrodynamical instability in laminar flames - 1. Derivation of basic equations, Acta Astronom. 4 (1977), 1177-1206.
19. W. Walter, Differential and Integral Inequalities, Springer-Verlag, Berlin, 1970.
20. P. Zgliczńiski, Fixed point index for iterations of maps, topological horseshoe and chaos, Topological Methods Nonlinear Anal. 8 (1996), 169-177.
21. P. Zgliczyński, Computer assisted proof of chaos in the Rössler equations and the Hénon map, Nonlinearity 10 (1997), 243-252.
22. P. Zgliczyński, Sharkovskii's theorem for multidimensional perturbations of 1-dim maps, Ergodic Theory Dynamical Systems 19 (1999) 1655-1684.
23. P. Zgliczyński, Attracting fixed points for the Kuramoto-Sivashinsky equation - A computer assisted proof, SIAM J. Appl. Dynam. Systems 1 (2002), 215-235, http://epubs.siam.org/sambin/dbq/article/40176
24. 1-Lohner algorithm, Found. Comput. Math., 2 (2002) 429-465
25. P. Zgliczyński, Trapping regions and an ODE-type proof of an existence and uniqueness for Navier-Stokes equations with periodic boundary conditions on the plane, Univ. Iag. Acta Math. (to appear), http://arXiv.org/ abs/math/0103053
26. P. Zgliczyński, Lohner algorithm for ODEs with a controlled perturbation, http://www.im.uj.edu.pl/~zgliczyn
27. P. Zgliczyński and K. Mischaikow, Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation, Found. Comput. Math. 1 (2001), 255-288.