Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators

DOI10.1016/J.CNSNS.2022.106789MaRDI QIDQ2170862zbMATH OpenOpenAlexWikidataFDO

Authors Peter Rizzi, Evelyn Sander, Thomas Wanner

Publication date 6 September 2022

Published in Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2203.10340

zbMATH Keywords

bifurcationcomputer-assisted proofequilibrium structureimplicit function theoreminterval arithmeticOhta-Kawasaki equationoperator norm bound

Mathematics Subject Classification ID

PDEs in connection with mechanics of deformable solids (35Q74) Micromechanical theories (74A60) Dynamical bifurcation of solutions to dynamical problems in solid mechanics (74H60)

Abstract: Block copolymers play an important role in materials sciences and have found widespread use in many applications. From a mathematical perspective, they are governed by a nonlinear fourth-order partial differential equation which is a suitable gradient of the Ohta-Kawasaki energy. While the equilibrium states associated with this equation are of central importance for the description of the dynamics of block copolymers, their mathematical study remains challenging. In the current paper, we develop computer-assisted proof methods which can be used to study equilibrium solutions in block copolymers consisting of more than two monomer chains, with a focus on triblock copolymers. This is achieved by establishing a computer-assisted proof technique for bounding the norm of the inverses of certain fourth-order elliptic operators, in combination with an application of a constructive version of the implicit function theorem. While these results are only applied to the triblock copolymer case, we demonstrate that the obtained norm estimates can also be directly used in other contexts such as the rigorous verification of bifurcation points, or pseudo-arclength continuation in fourth-order parabolic problems.

Recommendations

• Computer-assisted equilibrium validation for the diblock copolymer model
• Equilibrium validation in models for pattern formation based on Sobolev embeddings
• Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
• Rigorous continuation of bifurcation points in the diblock copolymer equation
• Computer-assisted bifurcation diagram validation and applications in materials science

Cites work

• A computer-assisted study of red coral population dynamics
• A stationary core-shell assembly in a ternary inhibitory system
• 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 proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Droplet solutions in the diblock copolymer problem with skewed monomer composition
• Equilibrium validation in models for pattern formation based on Sobolev embeddings
• Existence and Stability of Spherically Layered Solutions of the Diblock Copolymer Equation
• scientific article; zbMATH DE number 1775466 (Why is no real title available?)
• scientific article; zbMATH DE number 3806869 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• scientific article; zbMATH DE number 2208228 (Why is no real title available?)
• MANY DROPLET PATTERN IN THE CYLINDRICAL PHASE OF DIBLOCK COPOLYMER MORPHOLOGY
• Mathematical challenges in a new phase of materials science. Proceedings of the RIMS international conference, Kyoto, Japan, August 4--8, 2014
• Morphological characterization of the diblock copolymer problem with topological computation
• On energy minimizers of the diblock copolymer problem
• 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
• Spinodal decomposition for multicomponent Cahn-Hilliard systems
• STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
• The dynamics of nucleation in stochastic Cahn-Morral systems
• Validated bounds on embedding constants for Sobolev space Banach algebras
• Validated saddle-node bifurcations and applications to lattice dynamical systems
• Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem

Cited in

(5)

• Equilibrium validation in models for pattern formation based on Sobolev embeddings
• Computer-assisted bifurcation diagram validation and applications in materials science
• Computer-assisted equilibrium validation for the diblock copolymer model
• Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model
• A computer‐assisted method for the diblock copolymer model

This page was built for publication: Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2170862)