Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model
DOI10.3934/dcdsb.2023109arXiv2212.08492OpenAlexW4390429092MaRDI QIDQ6139059
Thomas Wanner, Evelyn Sander, Peter Rizzi
Publication date: 16 January 2024
Published in: Discrete and Continuous Dynamical Systems. Series B (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2212.08492
bifurcationsinterval arithmeticpitchfork bifurcationscyclic groupcomputer-assisted proofsOhta-Kawasaki modelsymmetry-breakingrigorous validation
Bifurcation and buckling (74G60) Interval and finite arithmetic (65G30) Dynamical aspects of symmetries, equivariant bifurcation theory (37G40) Analysis of microstructure in solids (74N15) Algorithms with automatic result verification (65G20) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30) Equivariant dynamical systems (37C81)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
- 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
- Validated continuation over large parameter ranges for equilibria of PDEs
- Singularities and groups in bifurcation theory. Volume II
- Solutions of nonlinear planar elliptic problems with triangle symmetry
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Equilibrium validation in models for pattern formation based on Sobolev embeddings
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Bifurcation from simple eigenvalues
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
- Verification methods: Rigorous results using floating-point arithmetic
- The Dynamics of Nucleation in Stochastic Cahn–Morral Systems
- The Computation of Symmetry-Breaking Bifurcation Points
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Computer-assisted bifurcation diagram validation and applications in materials science
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Validated bounds on embedding constants for Sobolev space Banach algebras
- A Computer-Assisted Study of Red Coral Population Dynamics
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- 2D Phase Diagram for Minimizers of a Cahn–Hilliard Functional with Long-Range Interactions