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
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, 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, Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos, 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
