Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
From MaRDI portal
Publication:4571153
DOI10.1137/17M111938XzbMath1415.35057arXiv1703.01022WikidataQ130135171 ScholiaQ130135171MaRDI QIDQ4571153
Publication date: 6 July 2018
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1703.01022
Probabilistic models, generic numerical methods in probability and statistics (65C20) Asymptotic behavior of solutions to PDEs (35B40) Attractors (35B41) Initial-boundary value problems for higher-order parabolic equations (35K35) Statistical mechanics of polymers (82D60) Homoclinic and heteroclinic orbits for dynamical systems (37C29) Special matrices (15B99) PDEs in connection with statistical mechanics (35Q82)
Related Items (13)
Microscopic patterns in the 2D phase-field-crystal model ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Computer‐assisted analysis of chaos in a three‐species food chain model ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Rigorous FEM for One-Dimensional Burgers Equation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Computer-assisted equilibrium validation for the diblock copolymer model
- Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Fixed points of a destabilized Kuramoto-Sivashinsky equation
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- Droplet solutions in the diblock copolymer problem with skewed monomer composition
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Nucleation in the one-dimensional stochastic Cahn-Hilliard model
- Some mathematical aspects of the micro-phase separation in diblock copolymers
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Covering relations, cone conditions and the stable manifold theorem
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions. I: Probability and wavelength estimate
- Monte Carlo simulations for spinodal decomposition
- Solutions of nonlinear planar elliptic problems with triangle symmetry
- 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
- Stationary solutions and connecting orbits for \(p\)-Laplace equation
- Covering relations for multidimensional dynamical systems
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions: Nonlinear dynamics
- Mathematical challenges in a new phase of materials science. Proceedings of the RIMS international conference, Kyoto, Japan, August 4--8, 2014
- Perturbation of doubly periodic solution branches with applications to the Cahn-Hilliard equation
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Single droplet pattern in the cylindrical phase of diblock copolymer morphology
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- The Dynamics of Nucleation in Stochastic Cahn–Morral Systems
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- The Dynamics of Nucleation for the Cahn–Hilliard Equation
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- MANY DROPLET PATTERN IN THE CYLINDRICAL PHASE OF DIBLOCK COPOLYMER MORPHOLOGY
- On the Phase Diagram for Microphase Separation of Diblock Copolymers: An Approach via a Nonlocal Cahn–Hilliard Functional
- Mappings and homological properties in the Conley index theory
- The viscous Cahn-Hilliard equation: Morse decomposition and structure of the global attractor
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- Maximum norms of random sums and transient pattern formation
- Unexpectedly Linear Behavior for the Cahn--Hilliard Equation
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
- Counting stationary solutions of the Cahn–Hilliard equation by transversality arguments
- Free Energy of a Nonuniform System. I. Interfacial Free Energy
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
- 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
- Existence and Stability of Spherically Layered Solutions of the Diblock Copolymer Equation
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
This page was built for publication: Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
