Rigorous numerics for the Cahn-Hilliard equation on the unit square

DOI10.5209/rev_REMA.2008.v21.n2.16380zbMath1160.37418OpenAlexW2019459571MaRDI QIDQ949064

Stanislaus Maier-Paape, Konstantin Mischaikow, Ulrich Miller, Thomas Wanner

Publication date: 20 October 2008

Published in: Revista Matemática Complutense (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/42315

zbMATH Keywords

Cahn-Hilliard equationbifurcation diagramstationary solutionscontinuationcomputer-assisted proof.

Mathematics Subject Classification ID

Nonlinear parabolic equations (35K55) Initial-boundary value problems for higher-order parabolic equations (35K35) Oscillation, zeros of solutions, mean value theorems, etc. in context of PDEs (35B05) Normal forms, center manifold theory, bifurcation theory for infinite-dimensional dissipative dynamical systems (37L10)

Related Items (21)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ An approach to the shape Conley index without index pairs ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ 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 ⋮ The Cahn-Hilliard equation with logarithmic potentials ⋮ Effect of driving on coarsening dynamics in phase-separating systems ⋮ Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ Degenerate Nucleation in the Cahn--Hilliard--Cook Model ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ The Cahn-Hilliard equation and some of its variants ⋮ Rigorous numerical verification of uniqueness and smoothness in a surface growth model

Uses Software

• INTLAB

This page was built for publication: Rigorous numerics for the Cahn-Hilliard equation on the unit square