Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
DOI10.1051/M2AN/2021037zbMATH Open1506.35219OpenAlexW3114219610MaRDI QIDQ5074385FDOQ5074385
Authors: Maxime Breden, C. Chainais-Hillairet, Antoine Zurek 
Publication date: 9 May 2022
Published in: ESAIM: Mathematical Modelling and Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1051/m2an/2021037
Recommendations
- On the existence of solutions for a drift-diffusion system arising in corrosion modeling
- The Existence of Travelling Wave Solutions of a Generalized Phase-Field Model
- The existence of solutions to a corrosion model
- Mathematical and numerical study of a corrosion model
- Travelling waves in a reaction-diffusion model for electrodeposition
Numerical computation of solutions to systems of equations (65H10) Electro- and magnetostatics (78A30) Existence problems for PDEs: global existence, local existence, non-existence (35A01) Traveling wave solutions (35C07) PDEs in connection with optics and electromagnetic theory (35Q60) Free boundary problems for PDEs (35R35) Moving boundary problems for PDEs (35R37) Best approximation, Chebyshev systems (41A50) Fixed-point theorems (47H10) Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Motion of charged particles (78A35) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Electrochemistry (78A57)
Cites Work
- Title not available (Why is that?)
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Approximation theory and approximation practice
- Validated numerics. A short introduction to rigorous computations.
- Verification methods: rigorous results using floating-point arithmetic
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Study of a pseudo-stationary state for a corrosion model: existence and numerical approximation
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Global smooth solution curves using rigorous branch following
- Numerical methods for the simulation of a corrosion model with moving oxide layer
- Mathematical and numerical study of a corrosion model
- Validated Continuation for Equilibria of PDEs
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics in dynamics
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Computer-assisted proofs in PDE: a survey
- Computer-assisted bifurcation diagram validation and applications in materials science
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- Numerical verification methods and computer-assisted proofs for partial differential equations
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Rigorous validation of stochastic transition paths
Cited In (4)
Uses Software
This page was built for publication: Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5074385)
