Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof

DOI10.1051/m2an/2021037zbMath1506.35219OpenAlexW3114219610MaRDI QIDQ5074385

Antoine Zurek, Maxime Breden, Claire Chainais-Hillairet

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

zbMATH Keywords

traveling wave solutionsspectral methodsrigorous numericscorrosion modelfixed-point argument

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) PDEs in connection with optics and electromagnetic theory (35Q60) Fixed-point theorems (47H10) Best approximation, Chebyshev systems (41A50) Interval and finite arithmetic (65G30) Existence problems for PDEs: global existence, local existence, non-existence (35A01) Free boundary problems for PDEs (35R35) Motion of charged particles (78A35) Algorithms with automatic result verification (65G20) Electro- and magnetostatics (78A30) Traveling wave solutions (35C07) Moving boundary problems for PDEs (35R37) Electrochemistry (78A57)

Related Items

Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ Mathematical analysis of a thermodynamically consistent reduced model for iron corrosion ⋮ Dynamics of waves and patterns. Abstracts from the workshop held August 8--14, 2021 (hybrid meeting) ⋮ DPCM

Uses Software

• INTLAB
• galepu
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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 bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Numerical methods for the simulation of a corrosion model with moving oxide layer
• Mathematical and numerical study of a corrosion model
• 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
• Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
• Computer-assisted proofs in PDE: a survey
• Rigorous validation of stochastic transition paths
• Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
• Rigorous Numerics in Dynamics
• Verification methods: Rigorous results using floating-point arithmetic
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Computer-assisted bifurcation diagram validation and applications in materials science
• Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series