Rigorous Numerics for Nonlinear PDEs

Date
2014/01/21 Tue 16:30 - 18:00
Room
6号館809号室
Speaker
Marcio Gameiro
Affiliation
ICMC-USP Brazil & RIMS
Abstract

We present a rigorous numerical method to compute solutions of infinite dimensional nonlinear problems. The method combines classical predictor corrector algorithms, analytic estimates and the uniform contraction principle to prove existence of smooth branches of solutions of nonlinear PDEs. The method is applied to compute equilibria and time periodic orbits for PDEs defined on two- and three-dimensional spatial domains.