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.

セミナーのＨＰ: こちら