Rigorous numerics for stationary solutions of dissipative PDEs - Existence and local dynamics -
-
- Matsue Kaname
- Mathematical Institute, Tohoku University
Abstract
We show a criterion for verifying the locally unique existence of stationary solutions of a class of partial differential equations and the local dynamics around them with computer assistance. Our method is designed so that, in near future, it can be extended to further analysis of dynamics, like connecting orbits between equilibria. Several sample examples for verifying hyperbolic equilibria of a concrete PDE are also shown.
Journal
-
- Nonlinear Theory and Its Applications, IEICE
-
Nonlinear Theory and Its Applications, IEICE 4 (1), 62-79, 2013
The Institute of Electronics, Information and Communication Engineers
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1390001205345330176
-
- NII Article ID
- 130003375412
-
- ISSN
- 21854106
-
- Text Lang
- en
-
- Data Source
-
- JaLC
- Crossref
- CiNii Articles
-
- Abstract License Flag
- Disallowed