Rigorous continuation of bifurcation points in the diblock copolymer equation

DOI10.3934/jcd.2017003zbMath1404.35030OpenAlexW2762201087MaRDI QIDQ1654464

Thomas Wanner, Jean-Philippe Lessard, Evelyn Sander

Publication date: 8 August 2018

Published in: Journal of Computational Dynamics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3934/jcd.2017003

zbMATH Keywords

pitchfork bifurcationsbifurcation diagramsaddle-node bifurcationscomputer assisted-proofdiblock copolymer model

Mathematics Subject Classification ID

Asymptotic behavior of solutions to PDEs (35B40) Attractors (35B41) Nonlinear parabolic equations (35K55) Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Initial-boundary value problems for higher-order parabolic equations (35K35) Interval and finite arithmetic (65G30) Phase transformations in solids (74N99) Algorithms with automatic result verification (65G20) Bifurcations in context of PDEs (35B32) Numerical bifurcation problems (65P30) Group-invariant bifurcation theory in infinite-dimensional spaces (58E09)

Related Items

Computer-assisted bifurcation diagram validation and applications in materials science, Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators, Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model, A Posteriori Validation of Generalized Polynomial Chaos Expansions, Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems, Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions, Equilibrium validation in models for pattern formation based on Sobolev embeddings, From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal, The Cahn-Hilliard equation with a nonlinear source term, Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards, Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation

Uses Software

• INTLAB
• CkAnalytic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Computer-assisted equilibrium validation for the diblock copolymer model
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• Rigorous numerics for the Cahn-Hilliard equation on the unit square
• Nucleation in the one-dimensional stochastic Cahn-Hilliard model
• Some mathematical aspects of the micro-phase separation in diblock copolymers
• Validated continuation over large parameter ranges for equilibria of PDEs
• On the derivation of a density functional theory for microphase separation of diblock copolymers
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Degenerate Nucleation in the Cahn--Hilliard--Cook Model
• Rigorous Numerics in Dynamics
• Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
• Integration of Dissipative Partial Differential Equations: A Case Study
• The Dynamics of Nucleation in Stochastic Cahn–Morral Systems
• The Computation of Symmetry-Breaking Bifurcation Points
• Non-simple Turning Points and Cusps
• 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
• On the Phase Diagram for Microphase Separation of Diblock Copolymers: An Approach via a Nonlocal Cahn–Hilliard Functional
• The Calculation of Turning Points of Nonlinear Equations
• A computer-assisted proof of the Feigenbaum conjectures
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Continuation of solutions and studying delay differential equations via rigorous numerics
• Computer-assisted bifurcation diagram validation and applications in materials science
• An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
• Counting stationary solutions of the Cahn–Hilliard equation by transversality arguments
• Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem