Computer-assisted bifurcation diagram validation and applications in materials science
From MaRDI portal
Publication:4557494
Bifurcations in context of PDEs (35B32) Asymptotic behavior of solutions to PDEs (35B40) Attractors (35B41) Nonlinear parabolic equations (35K55) Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30) Numerical bifurcation problems (65P30) Phase transformations in solids (74N99)
Recommendations
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Computer-assisted equilibrium validation for the diblock copolymer model
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Verification of bifurcation diagrams for polynomial-like equations
Cites work
- A Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators
- Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
- Complex transient patterns on the disk
- Computer-assisted equilibrium validation for the diblock copolymer model
- 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
- Counting stationary solutions of the Cahn–Hilliard equation by transversality arguments
- Degenerate nucleation in the Cahn-Hilliard-Cook model
- DYNAMICS OF LATTICE DIFFERENTIAL EQUATIONS
- Elements of applied bifurcation theory.
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Free energy of a nonuniform system. I: Interfacial free energy
- Global smooth solution curves using rigorous branch following
- Grain sizes in the discrete Allen-Cahn and Cahn-Hilliard equations
- scientific article; zbMATH DE number 439948 (Why is no real title available?)
- scientific article; zbMATH DE number 3933857 (Why is no real title available?)
- scientific article; zbMATH DE number 3766528 (Why is no real title available?)
- scientific article; zbMATH DE number 42441 (Why is no real title available?)
- scientific article; zbMATH DE number 3491650 (Why is no real title available?)
- scientific article; zbMATH DE number 688056 (Why is no real title available?)
- scientific article; zbMATH DE number 1026219 (Why is no real title available?)
- scientific article; zbMATH DE number 1478117 (Why is no real title available?)
- scientific article; zbMATH DE number 3806869 (Why is no real title available?)
- scientific article; zbMATH DE number 903765 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- Introduction to Interval Analysis
- Mathematical challenges in a new phase of materials science. Proceedings of the RIMS international conference, Kyoto, Japan, August 4--8, 2014
- Maximum norms of random sums and transient pattern formation
- Monte Carlo simulations for spinodal decomposition
- Non-simple Turning Points and Cusps
- Nucleation in the one-dimensional stochastic Cahn-Hilliard model
- Perturbation theory for linear operators.
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Slowly-migrating transition layers for the discrete Allen-Cahn and Cahn-Hilliard equations
- Some mathematical aspects of the micro-phase separation in diblock copolymers
- Spatially discrete nonlinear diffusion equations
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions. I: Probability and wavelength estimate
- Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions: Nonlinear dynamics
- Superabundance of stationary solutions for the discrete Allen-Cahn equation
- The Calculation of Turning Points of Nonlinear Equations
- The Computation of Symmetry-Breaking Bifurcation Points
- The Dynamics of Nucleation for the Cahn–Hilliard Equation
- The dynamics of nucleation in stochastic Cahn-Morral systems
- The Global Dynamics of Discrete Semilinear Parabolic Equations
- The implicit function theorem. History, theory, and applications
- Topological microstructure analysis using persistence landscapes
- Unexpectedly Linear Behavior for the Cahn--Hilliard Equation
- Validated Continuation for Equilibria of PDEs
- Validated continuation over large parameter ranges for equilibria of PDEs
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- Verification methods: rigorous results using floating-point arithmetic
- Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
Cited in
(15)- Rigorous continuation of bifurcation points in the diblock copolymer equation
- 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
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Numerical inclusion of exact periodic solutions for time delay Duffing equation
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- 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 verification of Hopf bifurcations via desingularization and continuation
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence
- Efficient Rigorous Continuation via Chebyshev Series Expansion I
This page was built for publication: Computer-assisted bifurcation diagram validation and applications in materials science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4557494)
