Computer-assisted bifurcation diagram validation and applications in materials science
From MaRDI portal
Publication:4557494
DOI10.1090/psapm/074/00638zbMath1406.35040OpenAlexW2924248149MaRDI QIDQ4557494
Publication date: 23 November 2018
Published in: Rigorous Numerics in Dynamics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/psapm/074/00638
Asymptotic behavior of solutions to PDEs (35B40) Attractors (35B41) Nonlinear parabolic equations (35K55) Interval and finite arithmetic (65G30) Phase transformations in solids (74N99) Algorithms with automatic result verification (65G20) Bifurcations in context of PDEs (35B32) Numerical bifurcation problems (65P30)
Related Items
Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos, Continuation of solutions and studying delay differential equations via rigorous numerics, Rigorous continuation of bifurcation points in the diblock copolymer equation, Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof, Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators, Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model, A Posteriori Validation of Generalized Polynomial Chaos Expansions, 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, From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal, Numerical inclusion of exact periodic solutions for time delay Duffing equation, Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems, Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
- Computer-assisted equilibrium validation for the diblock copolymer model
- The implicit function theorem. History, theory, and applications
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Complex transient patterns on the disk
- Nucleation in the one-dimensional stochastic Cahn-Hilliard model
- Some mathematical aspects of the micro-phase separation in diblock copolymers
- Validated continuation over large parameter ranges for equilibria of PDEs
- Elements of applied bifurcation theory.
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions. I: Probability and wavelength estimate
- Monte Carlo simulations for spinodal decomposition
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Perturbation theory for linear operators.
- Grain sizes in the discrete Allen-Cahn and Cahn-Hilliard equations
- Spatially discrete nonlinear diffusion equations
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions: Nonlinear dynamics
- Topological microstructure analysis using persistence landscapes
- Mathematical challenges in a new phase of materials science. Proceedings of the RIMS international conference, Kyoto, Japan, August 4--8, 2014
- Degenerate Nucleation in the Cahn--Hilliard--Cook Model
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
- Verification methods: Rigorous results using floating-point arithmetic
- The Dynamics of Nucleation in Stochastic Cahn–Morral Systems
- The Dynamics of Nucleation for the Cahn–Hilliard Equation
- The Computation of Symmetry-Breaking Bifurcation Points
- Non-simple Turning Points and Cusps
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- Introduction to Interval Analysis
- The Calculation of Turning Points of Nonlinear Equations
- The Global Dynamics of Discrete Semilinear Parabolic Equations
- DYNAMICS OF LATTICE DIFFERENTIAL EQUATIONS
- A Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators
- Maximum norms of random sums and transient pattern formation
- Unexpectedly Linear Behavior for the Cahn--Hilliard Equation
- Counting stationary solutions of the Cahn–Hilliard equation by transversality arguments
- Slowly-migrating transition layers for the discrete Allen-Cahn and Cahn-Hilliard equations
- Free Energy of a Nonuniform System. I. Interfacial Free Energy
- Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
