We develop some computer-assisted techniques for the analysis of stationary solutions of dissipative partial differential equations, of their stability, and of their bifurcation diagrams. As a case study, these methods are applied to the Kuramoto–Sivashinski equation. This equation has been investigated extensively, and its bifurcation diagram is well known from a numerical point of view. Here, we rigorously describe the full graph of solutions branching off the trivial branch, complete with all secondary bifurcations, for parameter values between 0 and 80. We also determine the dimension of the unstable manifold for the flow at some stationary solution in each branch.
Bifurcation Diagram Open Neighborhood Bifurcation Point Unstable Manifold Positive Real Part
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.
Kevrekidis J.G., Nicolaenko B., Scovel J.C.: Back in the saddle again: a computer assisted study of the Kuramoto–Sivashinsky equation. SIAM J. Appl. Math. 50, 760–790 (1990)zbMATHCrossRefMathSciNetGoogle Scholar
Pazy A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer-Verlag, New York (1983)zbMATHGoogle Scholar
Bates, P.W., Lu, K., Zeng, C.: Existence and persistence of invariant manifolds for semiflows in Banach space. Mem. Amer. Math. Soc. 135(645) (1998)Google Scholar
de la Llave R.: A smooth center manifold theorem which applies to some ill-posed partial differential equations with unbounded nonlinearities. J. Dyn. Diff. Eq. 21, 371–415 (2009)zbMATHCrossRefGoogle Scholar
Dunford N., Schwartz J.T.: Linear Operators. Part I: General Theory. Wiley- Interscience, New Edition (1988)zbMATHGoogle Scholar
The GNU NYU Ada 9X Translator. Available at ftp://cs.nyu.edu/pub/gnat and many other places