Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation

DOI10.1007/s00211-010-0350-3zbMath1216.65145OpenAlexW1976876624MaRDI QIDQ2431105

Jean-Philippe Lessard, Marcio Gameiro

Publication date: 8 April 2011

Published in: Numerische Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00211-010-0350-3

Mathematics Subject Classification ID

Nonlinear parabolic equations (35K55) Error bounds for boundary value problems involving PDEs (65N15) Computational methods for bifurcation problems in dynamical systems (37M20)

Related Items (22)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ A construction of two different solutions to an elliptic system ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Rigorous enclosures of solutions of Neumann boundary value problems ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Numerical verification for solutions to partial differential equations ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ Computational fixed-point theory for differential delay equations with multiple time lags ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Rigorous continuation of periodic solutions for impulsive delay differential equations ⋮ Existence of secondary bifurcations or isolas for PDEs ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Free Vibrations in a Wave Equation Modeling MEMS

Cites Work

• Unnamed Item
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Rigorous numerics for the Cahn-Hilliard equation on the unit square
• A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
• Validated continuation over large parameter ranges for equilibria of PDEs
• Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• A numerically based existence theorem for the Navier-Stokes equations
• Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

This page was built for publication: Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation