Pages that link to "Item:Q717163"
From MaRDI portal
The following pages link to Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation (Q717163):
Displaying 50 items.
- Rigorous verification of saddle-node bifurcations in ODEs (Q307743) (← links)
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
- Optimization of the forcing term for the solution of two-point boundary value problems (Q355817) (← links)
- A computer assisted study of uniqueness of ground state solutions (Q413726) (← links)
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation (Q478282) (← links)
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof (Q494285) (← links)
- A new branch of mountain pass solutions for the choreographical 3-body problem (Q996030) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- Rigorous numerics for NLS: bound states, spectra, and controllability (Q1999948) (← links)
- Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions (Q2028596) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal (Q2033679) (← links)
- Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs (Q2060646) (← links)
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE (Q2076212) (← links)
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type (Q2077832) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← links)
- Families of Periodic Solutions for Some Hamiltonian PDEs (Q2960071) (← links)
- Validated Computation of Heteroclinic Sets (Q2967809) (← links)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← links)
- Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation (Q5004084) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
- Nonlinear two-point boundary value problems: applications to a cholera epidemic model (Q5114250) (← links)
- Analysis and computations of a non-local thin-film model for two-fluid shear driven flows (Q5160788) (← links)
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem (Q5250034) (← links)
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model (Q6139059) (← links)
- Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)
- Smooth self-similar imploding profiles to 3D compressible Euler (Q6155889) (← links)
- A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)
