FoCM 2014 conference
Workshop A1 - Computational Dynamics
December 13, 15:30 ~ 15:55 - Room B21
Rigorous Continuation of Solutions of PDEs
Marcio Gameiro
University of Sao Paulo, Brazil - gameiro@icmc.usp.br
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.