Rigorous numerics for stationary solutions of dissipative PDEs - Existence and local dynamics -

説明

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.

収録刊行物

被引用文献 (2)*注記

もっと見る

参考文献 (9)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ