A posteriori validation of generalized polynomial chaos expansions

03/04/2022
by   Maxime Breden, et al.
0

Generalized polynomial chaos expansions are a powerful tool to study differential equations with random coefficients, allowing in particular to efficiently approximate random invariant sets associated to such equations. In this work, we use ideas from validated numerics in order to obtain rigorous a posteriori error estimates together with existence results about gPC expansions of random invariant sets. This approach also provides a new framework for conducting validated continuation, i.e. for rigorously computing isolated branches of solutions in parameter-dependent systems, which generalizes in a straightforward way to multi-parameter continuation. We illustrate the proposed methodology by rigorously computing random invariant periodic orbits in the Lorenz system, as well as branches and 2-dimensional manifolds of steady states of the Swift-Hohenberg equation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/11/2021

Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs

A computer-assisted argument is given, which provides existence proofs f...
research
04/27/2023

A framework for rigorous computational methods using Haar wavelets for differential equations

This work presents a framework for a-posteriori error-estimating algorit...
research
06/17/2020

Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds

We derive a new methodology for the construction of high order integrato...
research
04/09/2021

Some Observations on A Posteriori Error Estimation for Maxwell Equations

We extend the framework of a posteriori error estimation by precondition...
research
11/11/2020

Continuation of Probability Density Functions using a Generalized Lyapunov Approach

Techniques from numerical bifurcation theory are very useful to study tr...
research
10/02/2020

Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations

Kac-Rice formulas express the expected number of elements a fiber of a r...

Please sign up or login with your details

Forgot password? Click here to reset