Equilibrium validation in models for pattern formation based on Sobolev embeddings
DOI10.3934/dcdsb.2020260zbMath1465.35050arXiv2005.14224OpenAlexW3083005703MaRDI QIDQ2026625
Publication date: 20 May 2021
Published in: Discrete and Continuous Dynamical Systems. Series B (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.14224
bifurcation diagramcomputer-assisted proofsaddle-node bifurcationsOhta-Kawasaki modelconstructive implicit function theorempattern formation in equilibria
Asymptotic behavior of solutions to PDEs (35B40) Attractors (35B41) 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) Algorithms with automatic result verification (65G20) Bifurcations in context of PDEs (35B32) Computational methods for bifurcation problems in dynamical systems (37M20) Semilinear parabolic equations (35K58) Pattern formations in context of PDEs (35B36)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
- On bases of sines and cosines in Sobolev spaces
- Computer-assisted equilibrium validation for the diblock copolymer model
- Diblock copolymer/homopolymer blends: derivation of a density functional theory
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Validated continuation over large parameter ranges for equilibria of PDEs
- On the derivation of a density functional theory for microphase separation of diblock copolymers
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions: Nonlinear dynamics
- On the basicity of trigonometric systems with a linear phase in a weighted Sobolev space
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
- Norm bound computation for inverses of linear operators in Hilbert spaces
- 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
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Validated Continuation for Equilibria of PDEs
- On the Phase Diagram for Microphase Separation of Diblock Copolymers: An Approach via a Nonlocal Cahn–Hilliard Functional
- 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
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions
- Validated bounds on embedding constants for Sobolev space Banach algebras
- 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
- MATCONT
