Showing math.DSShow all
3 papers · 1 filter
math.DS2018
Rigorous Validation of Stochastic Transition Paths
Maxime Breden, Christian Kuehn
Global dynamics in nonlinear stochastic systems is often difficult to analyze rigorously. Yet, many excellent numerical methods exist to approximate these systems. In this work, we…
math.DS2017
Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
Jan Bouwe van den Berg, Maxime Breden, Jean-Philippe Lessard +1
In this paper, we prove existence of symmetric homoclinic orbits for the suspension bridge equation for all parameter values . For each , a p…
math.DS2015
Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
Maxime Breden, Laurent Desvillettes, Jean-Philippe Lessard
We present a method designed for computing solutions of infinite dimensional non linear operators with a tridiagonal dominant linear part. We recast the operator equatio…