A Posteriori Validation of Generalized Polynomial Chaos Expansions
From MaRDI portal
Publication:6174000
DOI10.1137/22m1493197zbMath1530.37103arXiv2203.02404MaRDI QIDQ6174000
Publication date: 13 July 2023
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2203.02404
Orthogonal functions and polynomials, general theory of nontrigonometric harmonic analysis (42C05) Ordinary differential equations and systems with randomness (34F05) Computational methods for stochastic equations (aspects of stochastic analysis) (60H35) Series expansions (e.g., Taylor, Lidstone series, but not Fourier series) (41A58) Numerical chaos (65P20) Numerical bifurcation problems (65P30) Computational methods for invariant manifolds of dynamical systems (37M21)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- A complete proof of the Feigenbaum conjectures
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Automatic differentiation for Fourier series and the radii polynomial approach
- Spontaneous periodic orbits in the Navier-Stokes flow
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
- Computer-assisted proofs in PDE: a survey
- Galerkin's procedure for nonlinear periodic systems
- Dual-based a posteriori error estimate for stochastic finite element methods
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Numerical continuation methods for dynamical systems. Path following and boundary value problems.
- Rigorous Numerics in Dynamics
- Verification methods: Rigorous results using floating-point arithmetic
- Introduction to Uncertainty Quantification
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
- A Posteriori Error Analysis of Stochastic Differential Equations Using Polynomial Chaos Expansions
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- Spectral Methods for Uncertainty Quantification
- A computer-assisted proof of the Feigenbaum conjectures
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Computer-assisted bifurcation diagram validation and applications in materials science
- The Wiener--Askey Polynomial Chaos for Stochastic Differential Equations
- Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
- Uncertainty Quantification of Bifurcations in Random Ordinary Differential Equations
- A Comparative Study of Polynomial-Type Chaos Expansions for Indicator Functions
- A posteriori error analysis for random scalar conservation laws using the stochastic Galerkin method
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- The Newton-Kantorovich Theorem
- Linearization of the Product of Jacobi Polynomials. I
- Linearization of the Product of Jacobi Polynomials. II
- The Homogeneous Chaos
This page was built for publication: A Posteriori Validation of Generalized Polynomial Chaos Expansions
