Automatic differentiation for Fourier series and the radii polynomial approach
From MaRDI portal
Publication:1999949
DOI10.1016/j.physd.2016.02.007zbMath1418.34094OpenAlexW2294573990MaRDI QIDQ1999949
Julian Ransford, Jean-Philippe Lessard, Jason D. Mireles James
Publication date: 27 June 2019
Published in: Physica D (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.physd.2016.02.007
periodic solutionsautomatic differentiationFourier seriescontraction mapping theoremrigorous numerics
Symbolic computation and algebraic computation (68W30) Periodic solutions to ordinary differential equations (34C25)
Related Items
Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ 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 ⋮ Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ On polynomial forms of nonlinear functional differential equations ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Rigorous continuation of periodic solutions for impulsive delay differential equations ⋮ Editorial: Topology in dynamics, differential equations, and data ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ The spatial Hill four-body problem. I: An exploration of basic invariant sets ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Rigorous validation of stochastic transition paths ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Geometric proof for normally hyperbolic invariant manifolds
- Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Computational fixed-point theory for differential delay equations with multiple time lags
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- Dynamics of the universal area-preserving map associated with period-doubling: stable sets
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
- A new branch of mountain pass solutions for the choreographical 3-body problem
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Introduction to Hamiltonian dynamical systems and the \(N\)-body problem.
- Computer-assisted proofs in analysis
- Computer aided proofs in analysis. Based on the proceedings of an IMA participating institutions conference, held at the University of Cincinnati, OH, USA, in April 1989
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- A rigorous ODE solver and Smale's 14th problem
- When chaos meets hyperchaos: 4D Rössler model
- Branches of periodic orbits for the planar restricted 3-body problem
- \(C^1\) Lohner algorithm.
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Computer assisted proof of chaos in the Lorenz equations
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Blow-up profile for solutions of a fourth order nonlinear equation
- Geometric properties of the scattering map of a normally hyperbolic invariant manifold
- Functional analysis and Galerkin's method
- The parameterization method for invariant manifolds. III: Overview and applications
- Polygonal approximation of flows
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
- Reliable Computation of Robust Response Tori on the Verge of Breakdown
- Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices
- Transition tori in the planar restricted elliptic three-body problem
- Integration of Dissipative Partial Differential Equations: A Case Study
- Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- A computer-assisted proof of universality for area-preserving maps
- A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
- Stability and Chaos in Celestial Mechanics
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- Morse Theory, the Conley Index and Floer Homology
- Validated Continuation for Equilibria of PDEs
- INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
- Existence of critical invariant tori
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- 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
- The Lorenz attractor exists
- Chaos in the Lorenz equations: a computer-assisted proof
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
- Heteroclinic primary intersections and codimension one Melnikov method for volume-preserving maps
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
- Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- Cylinder renormalization for Siegel discs and a constructive measurable Riemann mapping theorem
- The Newton-Kantorovich Theorem
- Zur numerischen Integration von Differentialgleichungen durch Potenzreihen‐Ansätze, dargestellt an Hand physikalischer Beispiele
