Equilibrium validation in models for pattern formation based on Sobolev embeddings
From MaRDI portal
bifurcation diagramcomputer-assisted proofsaddle-node bifurcationsOhta-Kawasaki modelconstructive implicit function theorempattern formation in equilibria
Asymptotic behavior of solutions to PDEs (35B40) Bifurcations in context of PDEs (35B32) Pattern formations in context of PDEs (35B36) Attractors (35B41) Initial-boundary value problems for higher-order parabolic equations (35K35) Semilinear parabolic equations (35K58) Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Computational methods for bifurcation problems in dynamical systems (37M20) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)
Abstract: In the study of equilibrium solutions for partial differential equations there are so many equilibria that one cannot hope to find them all. Therefore one usually concentrates on finding individual branches of equilibrium solutions. On the one hand, a rigorous theoretical understanding of these branches is ideal but not generally tractable. On the other hand, numerical bifurcation searches are useful but not guaranteed to give an accurate structure, in that they could miss a portion of a branch or find a spurious branch where none exists. In a series of recent papers, we have aimed for a third option. Namely, we have developed a method of computer-assisted proofs to prove both existence and isolation of branches of equilibrium solutions. In the current paper, we extend these techniques to the Ohta-Kawasaki model for the dynamics of diblock copolymers in dimensions one, two, and three, by giving a detailed description of the analytical underpinnings of the method. Although the paper concentrates on applying the method to the Ohta-Kawasaki model, the functional analytic approach and techniques can be generalized to other parabolic partial differential equations.
Recommendations
- Computer-assisted equilibrium validation for the diblock copolymer model
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Validated Continuation for Equilibria of PDEs
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
Cites work
- scientific article; zbMATH DE number 903765 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- 2D phase diagram for minimizers of a Cahn-Hilliard functional with long-range interactions
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
- Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
- Computer-assisted bifurcation diagram validation and applications in materials science
- 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
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Diblock copolymer/homopolymer blends: derivation of a density functional theory
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- MATCONT
- Norm bound computation for inverses of linear operators in Hilbert spaces
- Numerical verification methods and computer-assisted proofs for partial differential equations
- On bases of sines and cosines in Sobolev spaces
- On the basicity of trigonometric systems with a linear phase in a weighted Sobolev space
- On the derivation of a density functional theory for microphase separation of diblock copolymers
- On the phase diagram for microphase separation of diblock copolymers: an approach via a nonlocal Cahn-Hilliard functional
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions: Nonlinear dynamics
- The dynamics of nucleation in stochastic Cahn-Morral systems
- Validated Continuation for Equilibria of PDEs
- Validated bounds on embedding constants for Sobolev space Banach algebras
- Validated continuation over large parameter ranges for equilibria of PDEs
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(7)- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model
- A computer‐assisted method for the diblock copolymer model
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
This page was built for publication: Equilibrium validation in models for pattern formation based on Sobolev embeddings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2026625)
