Rigorous Numerics for Nonlinear PDEs

開催日時: 
2014/01/21 Tue 16:30 - 18:00
場所: 
6号館809号室
講演者: 
Marcio Gameiro
講演者所属: 
ICMC-USP Brazil & 京大数理研
概要: 

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.

セミナーのHP: こちら