Pages that link to "Item:Q1885383"

The following pages link to Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof (Q1885383):

Displaying 44 items.

• Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations (Q306244) (← links)
• Local bifurcation analysis and topological horseshoe of a 4D hyper-chaotic system (Q335711) (← links)
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
• Finite resolution dynamics (Q535286) (← links)
• Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
• Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. (Q1414013) (← links)
• Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation (Q1620885) (← links)
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← 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 numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation (Q1809078) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← 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)
• Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
• A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
• Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption (Q2297163) (← links)
• Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
• On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
• Persistence and smooth dependence on parameters of periodic orbits in functional differential equations close to an ODE or an evolutionary PDE (Q2676529) (← links)
• Families of Periodic Solutions for Some Hamiltonian PDEs (Q2960071) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← 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)
• Traveling wave solutions for the FPU chain: a constructive approach (Q5112206) (← 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 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)
• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
• Smooth self-similar imploding profiles to 3D compressible Euler (Q6155889) (← links)
• Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
• Computer-assisted validation of the existence of periodic orbit in the Brusselator system (Q6593389) (← links)
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)