Computer-assisted equilibrium validation for the diblock copolymer model
From MaRDI portal
Publication:501487
DOI10.3934/DCDS.2017045zbMATH Open1364.35116OpenAlexW2557660592MaRDI QIDQ501487FDOQ501487
Publication date: 9 January 2017
Published in: Discrete and Continuous Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3934/dcds.2017045
Recommendations
- Efficient and accurate numerical schemes for a hydro-dynamically coupled phase field diblock copolymer model
- Efficient and energy stable method for the Cahn-Hilliard phase-field model for diblock copolymers
- Thermodynamically consistent algorithms for models of diblock copolymer solutions interacting with electric and magnetic fields
- A rigorous derivation of mean-field models for diblock copolymer melts
- Efficient numerical schemes for solving the self-consistent field equations of flexible-semiflexible diblock copolymers
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Generalized ensemble computer simulations for structure formation of semiflexible polymers
- Numerical approximation of corotational dumbbell models for dilute polymers
- Multilayered equilibria in a density functional model of copolymer-solvent mixtures
bifurcationnumerical continuationcomputer-assisted proofphase field modeldiblock copolymersmodified Cahn-Hilliard equation
Large deviations (60F10) Stochastic partial differential equations (aspects of stochastic analysis) (60H15) Asymptotic behavior of solutions to PDEs (35B40) Attractors (35B41) Higher-order parabolic equations (35K25) Nonlinear parabolic equations (35K55) Phase transformations in solids (74N99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the derivation of a density functional theory for microphase separation of diblock copolymers
- Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
- Introduction to Interval Analysis
- On the phase diagram for microphase separation of diblock copolymers: an approach via a nonlocal Cahn-Hilliard functional
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Some mathematical aspects of the micro-phase separation in diblock copolymers
- Nonlocal models of phase transitions in solids
- Title not available (Why is that?)
- Title not available (Why is that?)
- Spectral comparison principles for the Cahn-Hilliard and phase-field equations, and time scales for coarsening
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Verification methods: rigorous results using floating-point arithmetic
- The Dynamics of Nucleation for the Cahn–Hilliard Equation
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Title not available (Why is that?)
- Validated Continuation for Equilibria of PDEs
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices
- Counting stationary solutions of the Cahn–Hilliard equation by transversality arguments
- The Dynamics of Nucleation in Stochastic Cahn–Morral Systems
- Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions: Nonlinear dynamics
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions. I: Probability and wavelength estimate
- Monte Carlo simulations for spinodal decomposition
- Maximum norms of random sums and transient pattern formation
- Unexpectedly Linear Behavior for the Cahn--Hilliard Equation
- Solutions of nonlinear planar elliptic problems with triangle symmetry
- A class of pattern-forming models
- Perturbation of doubly periodic solution branches with applications to the Cahn-Hilliard equation
- The best constant of Sobolev inequality on a bounded interval
- The Nishiura-Ohnishi free boundary problem in the 1D case
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Steepest Descent and the Least C for Sobolev's Inequality
- Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
- Nucleation in the one-dimensional stochastic Cahn-Hilliard model
Cited In (16)
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- Computer-assisted bifurcation diagram validation and applications in materials science
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- A computer‐assisted method for the diblock copolymer model
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Equilibrium validation in models for pattern formation based on Sobolev embeddings
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Degenerate nucleation in the Cahn-Hilliard-Cook model
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- Some improvements of invertibility verifications for second-order linear elliptic operators
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
Uses Software
This page was built for publication: Computer-assisted equilibrium validation for the diblock copolymer model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q501487)
