Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
From MaRDI portal
Publication:5346534
DOI10.1088/1361-6544/aa60e8zbMath1366.65068OpenAlexW2592523939MaRDI QIDQ5346534
No author found.
Publication date: 24 May 2017
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1088/1361-6544/aa60e8
Numerical optimization and variational techniques (65K10) Statistical mechanics of polymers (82D60) Existence theories for optimal control problems involving partial differential equations (49J20) Discrete approximations in optimal control (49M25)
Related Items (24)
Microscopic patterns in the 2D phase-field-crystal model ⋮ Transition pathways in Cylinder-Gyroid interface ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators ⋮ Efficient numerical scheme for a penalized Allen-Cahn type Ohta-Kawasaki phase-field model for diblock copolymers ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Thermodynamically consistent algorithms for models of diblock copolymer solutions interacting with electric and magnetic fields ⋮ Dimension reduction and optimality of the uniform state in a phase-field-crystal model involving a higher-order functional ⋮ Computer-assisted proofs in PDE: a survey ⋮ Connected Coulomb columns: analysis and numerics ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Rigorous validation of stochastic transition paths ⋮ A Globally Convergent Modified Newton Method for the Direct Minimization of the Ohta--Kawasaki Energy with Application to the Directed Self-Assembly of Diblock Copolymers ⋮ Stability of Lamellar Configurations in a Nonlocal Sharp Interface Model ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
Uses Software
Cites Work
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- 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
- Morphological characterization of the diblock copolymer problem with topological computation
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Some mathematical aspects of the micro-phase separation in diblock copolymers
- On the derivation of a density functional theory for microphase separation of diblock copolymers
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Sufficient conditions for global minimality of metastable states in a class of non-convex functionals: a simple approach via quadratic lower bounds
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- Verification methods: Rigorous results using floating-point arithmetic
- Integration of Dissipative Partial Differential Equations: A Case Study
- Small Volume-Fraction Limit of the Diblock Copolymer Problem: II. Diffuse-Interface Functional
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- 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
- Dynamics and Coarsening of Interfaces for the Viscous Cahn—Hilliard Equation in One Spatial Dimension
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
- Fourth-Order Time-Stepping for Stiff PDEs
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- 2D Phase Diagram for Minimizers of a Cahn–Hilliard Functional with Long-Range Interactions
- Small Volume Fraction Limit of the Diblock Copolymer Problem: I. Sharp-Interface Functional
- Scaling laws in microphase separation of diblock copolymers
This page was built for publication: Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem