Integration of Dissipative Partial Differential Equations: A Case Study
From MaRDI portal
Publication:3052741
DOI10.1137/10078298XzbMath1298.37071MaRDI QIDQ3052741
Publication date: 2 November 2010
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Initial-boundary value problems for higher-order parabolic equations (35K35) Hyperbolicity, Lyapunov functions for infinite-dimensional dissipative dynamical systems (37L45) General theory of infinite-dimensional dissipative dynamical systems, nonlinear semigroups, evolution equations (37L05)
Related Items (34)
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 ⋮ Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation ⋮ Asymptotic scaling and universality for skew products with factors in SL(2,) ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Numerical validation of blow-up solutions of ordinary differential equations ⋮ Optimization of the forcing term for the solution of two-point boundary value problems ⋮ Numerical verification for solutions to partial differential equations ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ Traveling wave solutions for the FPU chain: a constructive approach ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ 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 ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
This page was built for publication: Integration of Dissipative Partial Differential Equations: A Case Study
