There are two objectives in this paper. First we develop a theory which is valid in the infinite dimensional setting and which shows that, under reasonable conditions, if M is a normally hyperbolic, compact, invariant manifold for a semiflow S0(t) generated by a given evolutionary equation on a Banach space W, then for every small perturbation G of the given evolutionary equation, there is a homeomorphism hG:M→W such that MG=hG(M) is a normally hyperbolic, compact, invariant manifold for the perturbed semiflow SG(t), and that hG converges to the identity mapping (on M), as G converges to 0. The second objective is to develop a methodology which is rich enough to show that this theory can be easily applied to a wide range of applications, including the Navier-Stokes equations. It is noteworthy in this regard that, in order to be able to apply this theory in the analysis of numerical schemes used to study discretizations of partial differential equations, one needs to use a new measure or norm of the perturbation term G that arises in these schemes.
Bibliographical noteFunding Information:
1 This research was supported in part by grants from the Russian Foundation for Fundamental Studies. Both authors express appreciation to the Faculty of Mathematics and Mechanics, in St. Petersburg; and to the Ordway Visiting Professorship program in the School of Mathematics, the Institute for Mathematics and its Applications, and the Minnesota Supercomputer Institute, in Minneapolis, for their help in sponsoring this project. We extend our sincere appreciation to both Yuncheng You and the referee for their very careful readings of our manuscript. We are very grateful for their many helpful suggestions and comments.
- Approximation dynamics
- Bubnov-Galerkin approximations
- Couette-Taylor flow
- Evolutionary equations
- Exponential dichotomy
- Exponential trichotomy
- Navier-Stokes equations
- Ordinary differential equations