Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
From MaRDI portal
Publication:717163
DOI10.1007/s00205-010-0309-7zbMath1231.35016OpenAlexW2045720672MaRDI QIDQ717163
Publication date: 27 September 2011
Published in: Archive for Rational Mechanics and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00205-010-0309-7
Nonlinear parabolic equations (35K55) Bifurcations and instability for nonlinear problems in mechanics (70K50) Bifurcations in context of PDEs (35B32) Computational methods for bifurcation problems in dynamical systems (37M20)
Related Items (50)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ 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 ⋮ Rigorous verification of saddle-node bifurcations in ODEs ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Computer-assisted bifurcation diagram validation and applications in materials science ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Optimization of the forcing term for the solution of two-point boundary value problems ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ A computer assisted study of uniqueness of ground state solutions ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ Smooth self-similar imploding profiles to 3D compressible Euler ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Nonlinear two-point boundary value problems: applications to a cholera epidemic model ⋮ Validated Computation of Heteroclinic Sets ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Analysis and computations of a non-local thin-film model for two-fluid shear driven flows ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions ⋮ Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem ⋮ A new branch of mountain pass solutions for the choreographical 3-body problem ⋮ From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal ⋮ Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs ⋮ Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Rigorous validation of stochastic transition paths ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
Cites Work
- Unnamed Item
- A smooth center manifold theorem which applies to some ill-posed partial differential equations with unbounded nonlinearities
- Approximate inertial manifolds for the Kuramoto-Sivashinsky equation: Analysis and computations
- Semigroups of linear operators and applications to partial differential equations
- Global analysis of the phase portrait for the Kuramoto-Sivashinsky equation
- A global attracting set for the Kuramoto-Sivashinsky equation
- Spatial analyticity on the global attractor for the Kuramoto-Sivashinsky equation
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Back in the Saddle Again: A Computer Assisted Study of the Kuramoto–Sivashinsky Equation
- Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
- Existence and persistence of invariant manifolds for semiflows in Banach space
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
This page was built for publication: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
