Validated Continuation for Infinite Dimensional Problems

Abstract

Studying the zeros of a parameter dependent operator F defined on a Hilbert space H is a fundamental problem in mathematics. When the Hilbert space is finite dimensional, continuation provides, via predictor-corrector algorithms, efficient techniques to numerically follow the zeros of F as we move the parameter. In the case of infinite dimensional Hilbert spaces, this procedure must be applied to some finite dimensional approximation which of course raises the question of validity of the output. We introduce a new technique that combines the information obtained from the predictor-corrector steps with ideas from rigorous computations and verifies that the numerically produced zero for the finite dimensional system can be used to explicitly define a set which contains a unique zero for the infinite dimensional problem F: HxR->Im(F).

We use this new validated continuation to study equilibrium solutions of partial differential equations, to prove the existence of chaos in ordinary differential equations and to follow branches of periodic solutions of delay differential equations. In the context of partial differential equations, we show that the cost of validated continuation is less than twice the cost of the standard continuation method alone.