Rigorous Numerics in Dynamics
From MaRDI portal
Publication:2813138
DOI10.1090/NOTI1276zbMath1338.68301OpenAlexW2205089774MaRDI QIDQ2813138
Jean-Philippe Lessard, Jan Bouwe Van Den Berg
Publication date: 15 June 2016
Published in: Notices of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/noti1276
Symbolic computation and algebraic computation (68W30) Initial value problems for higher-order parabolic equations (35K30) Approximation methods and numerical treatment of dynamical systems (37M99) Quasilinear parabolic equations (35K59)
Related Items (57)
Microscopic patterns in the 2D phase-field-crystal model ⋮ Validated Spectral Stability via Conjugate Points ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Discretization strategies for computing Conley indices and Morse decompositions of flows ⋮ Continuation of solutions and studying delay differential equations via rigorous numerics ⋮ Rigorous computational dynamics in the context of unknown nonlinearities ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Existence and convergence of solutions of the boundary value problem in atomistic and continuum nonlinear elasticity theory ⋮ Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ 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 analysis of chaos in a three‐species food chain model ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Quasiperiodicity and blowup in integrable subsystems of nonconservative nonlinear Schrödinger equations ⋮ Dynamics of waves and patterns. Abstracts from the workshop held August 8--14, 2021 (hybrid meeting) ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Torus knot choreographies in the n-body problem ⋮ Validated integration of semilinear parabolic PDEs ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence ⋮ A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory ⋮ Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods ⋮ Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos ⋮ Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points ⋮ When does a periodic response exist in a periodically forced multi-degree-of-freedom mechanical system? ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data ⋮ Rigorous validation of stochastic transition paths ⋮ Free Vibrations in a Wave Equation Modeling MEMS ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
Uses Software
This page was built for publication: Rigorous Numerics in Dynamics
