Rigorous numerics for nonlinear differential equations using Chebyshev series
From MaRDI portal
boundary value problemsChebyshev seriescontraction mapping theoremGray-Scott equationinitial value problemsLorenz equationnonlinear ODEsnonlinear vector fieldnumerical examplesrigorous numericssymmetric connecting orbits
Nonlinear ordinary differential equations and systems (34A34) Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical solution of boundary value problems involving ordinary differential equations (65L10)
Recommendations
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations
Cited in
(47)- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Automatic differentiation for Fourier series and the radii polynomial approach
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Global dynamics in nonconservative nonlinear Schrödinger equations
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- A Chebyshev technique for the solution of optimal control problems with nonlinear programming methods
- Validated computations for connecting orbits in polynomial vector fields
- Rigorous validation of stochastic transition paths
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- A computable criterion for the existence of connecting orbits in autonomous dynamics
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
- Stationary coexistence of hexagons and rolls via rigorous computations
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- A certificate-based approach to formally verified approximations
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Validated forward integration scheme for parabolic PDEs via Chebyshev series
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Computer-assisted proofs of gap solitons in Bose-Einstein condensates
- Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
- A comparative study of validated Taylor and Chebyshev long time integration of ODEs
- Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
- Tool for analyzing ODEs with conserved quantities through verified computation
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
This page was built for publication: Rigorous numerics for nonlinear differential equations using Chebyshev series
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415977)
