Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
From MaRDI portal
Publication:1704118
DOI10.1007/s00205-017-1186-0zbMath1390.35262arXiv1509.08648OpenAlexW2963779984MaRDI QIDQ1704118
Roberto Castelli, Marcio Gameiro, Jean-Philippe Lessard
Publication date: 8 March 2018
Published in: Archive for Rational Mechanics and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1509.08648
PDEs in connection with fluid mechanics (35Q35) Periodic solutions to PDEs (35B10) Water waves, gravity waves; dispersion and scattering, nonlinear interaction (76B15) Ill-posed problems for PDEs (35R25) Spectral, collocation and related methods for initial value and initial-boundary value problems involving PDEs (65M70) Uniqueness of trigonometric expansions, uniqueness of Fourier expansions, Riemann theory, localization (42A63)
Related Items
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Validated Spectral Stability via Conjugate Points ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Numerical validation of blow-up solutions of ordinary differential equations ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Asymptotically self-similar blowup of the Hou-Luo model for the 3D Euler equations ⋮ Unstable Stokes waves ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ Breather solutions for inhomogeneous FPU models using Birkhoff normal forms ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Stable manifolds to bounded solutions in possibly ill-posed PDEs ⋮ Computer-assisted proofs in PDE: a survey ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Free Vibrations in a Wave Equation Modeling MEMS ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation ⋮ Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Computational fixed-point theory for differential delay equations with multiple time lags
- A numerical verification method for a periodic solution of a delay differential equation
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- A smooth center manifold theorem which applies to some ill-posed partial differential equations with unbounded nonlinearities
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- A numerically based existence theorem for the Navier-Stokes equations
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Symplectic fixed points and holomorphic spheres
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- The existence of many periodic non-travelling solutions to the Boussinesq equation
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- Verification methods: Rigorous results using floating-point arithmetic
- Integration of Dissipative Partial Differential Equations: A Case Study
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- Morse Theory, the Conley Index and Floer Homology
- Validated Continuation for Equilibria of PDEs
- An existence theory for water waves and the boussinesq and korteweg-devries scaling limits
- Soliton and antisoliton interactions in the ‘‘good’’ Boussinesq equation
- Inverse scattering and the boussinesq equation
- 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
- 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
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
