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.35016MaRDI 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
35K55: Nonlinear parabolic equations
70K50: Bifurcations and instability for nonlinear problems in mechanics
35B32: Bifurcations in context of PDEs
37M20: Computational methods for bifurcation problems in dynamical systems
Related Items
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, Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof, Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation, Microscopic patterns in the 2D phase-field-crystal model, Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents, Nonlinear two-point boundary value problems: applications to a cholera epidemic model, Analysis and computations of a non-local thin-film model for two-fluid shear driven flows, Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem, Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation, 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, A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE, Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces, Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model, Validated numerical approximation of stable manifolds for parabolic partial differential equations, Smooth self-similar imploding profiles to 3D compressible Euler, A Posteriori Validation of Generalized Polynomial Chaos Expansions, Rigorous verification of saddle-node bifurcations in ODEs, Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra, Optimization of the forcing term for the solution of two-point boundary value problems, A computer assisted study of uniqueness of ground state solutions, Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation, Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof, A new branch of mountain pass solutions for the choreographical 3-body problem, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Rigorous continuation of bifurcation points in the diblock copolymer equation, Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds, Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation, Computer-assisted proofs for radially symmetric solutions of PDEs, An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces, Rigorous numerics for ODEs using Chebyshev series and domain decomposition, Rigorous numerics for NLS: bound states, spectra, and controllability, 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, 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, Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE, Rigorous verification of Hopf bifurcations in functional differential equations of mixed type, A general method for computer-assisted proofs of periodic solutions in delay differential problems, Computer-assisted proofs in PDE: a survey, Orbital stability investigations for travelling waves in a nonlinearly supported beam, Rigorous validation of stochastic transition paths, Validated numerics for continuation and bifurcation of connecting orbits of maps, Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems, Families of Periodic Solutions for Some Hamiltonian PDEs, Validated Computation of Heteroclinic Sets
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
