Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
DOI10.1051/m2an/2021037zbMath1506.35219MaRDI QIDQ5074385
Claire Chainais-Hillairet, Maxime Breden, 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
traveling wave solutions; spectral methods; rigorous numerics; corrosion model; fixed-point argument
65H10: Numerical computation of solutions to systems of equations
65N35: Spectral, collocation and related methods for boundary value problems involving PDEs
35Q60: PDEs in connection with optics and electromagnetic theory
47H10: Fixed-point theorems
41A50: Best approximation, Chebyshev systems
65G30: Interval and finite arithmetic
35A01: Existence problems for PDEs: global existence, local existence, non-existence
35R35: Free boundary problems for PDEs
78A35: Motion of charged particles
65G20: Algorithms with automatic result verification
78A30: Electro- and magnetostatics
35C07: Traveling wave solutions
35R37: Moving boundary problems for PDEs
78A57: Electrochemistry
Related Items
Uses Software