Pages that link to "Item:Q5945647"
From MaRDI portal
The following pages link to Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation (Q5945647):
Displaying 48 items.
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part (Q255432) (← links)
- Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations (Q306244) (← links)
- A computer assisted study of uniqueness of ground state solutions (Q413726) (← links)
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (Q421136) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof (Q494285) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Q710895) (← links)
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation (Q717163) (← links)
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
- An efficient estimate based on FFT in topological verification method (Q861877) (← links)
- On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach. (Q1419805) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← 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 implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation (Q1774292) (← links)
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof (Q1885383) (← links)
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE (Q2076212) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator (Q2312674) (← links)
- Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
- Families of Periodic Solutions for Some Hamiltonian PDEs (Q2960071) (← links)
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
- Global smooth solution curves using rigorous branch following (Q3584839) (← links)
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← 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)
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof (Q5249807) (← links)
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
- Structure of crossed products by strictly proper actions on continuous-trace algebras (Q5420130) (← links)
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
- Rigorous numerics for fast-slow systems (Q6117937) (← 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)
- Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
- Computational methods in perturbation theory (Q6599390) (← links)
