Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ESAIM: Mathematical Modelling and Numerical Analysis Year : 2021

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

Abstract

The Diffusion Poisson Coupled Model describes the evolution of a dense oxide layer appearing at the surface of carbon steel canisters in contact with a claystone formation. This model is a one dimensional free boundary problem involving drift-diffusion equations on the density of species (electrons, ferric cations and oxygen vacancies), coupled with a Poisson equation on the electrostatic potential and with moving boundary equations, which describe the evolution of the position of each unknown interfaces of the spatial domain. Numerical simulations suggest the existence of traveling wave solutions for this model. These solutions are defined by stationary profiles on a fixed size domain with interfaces moving both at the same velocity. In this paper, we present and apply a computer-assisted method in order to prove the existence of these traveling wave solutions. We also establish a precise and certified description of the solutions.
Fichier principal
Vignette du fichier
p2021_BCZ.pdf (569.68 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03082893 , version 1 (18-12-2020)
hal-03082893 , version 2 (19-07-2021)

Identifiers

Cite

Maxime Breden, Claire Chainais-Hillairet, Antoine Zurek. Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof. ESAIM: Mathematical Modelling and Numerical Analysis, 2021, 55 (4), pp.1669 - 1697. ⟨10.1051/m2an/2021037⟩. ⟨hal-03082893v2⟩
233 View
188 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More