BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20250720T024946EDT-6029MTprkC@132.216.98.100
DTSTAMP:20250720T064946Z
DESCRIPTION:Title: Existence of traveling wave solutions for the Diffusion 
 Poisson Coupled Model: a computer-assisted proof.\n\nAbstract: In France o
 ne option under study for the storage of high-level radioactive waste is b
 ased on an underground repository. More precisely\, the waste shall be con
 fined in a glass matrix and then placed into cylindrical steel canisters. 
 These containers shall be placed into micro-tunnels in the highly impermea
 ble Callovo-Oxfordian claystone layer at a depth of several hundred meters
 . The Diffusion Poisson Coupled Model (DPCM) aims to investigate the safet
 y of such long term repository concept by describing the corrosion process
 es appearing at the surface of carbon steel canisters in contact with a cl
 aystone formation. It involves 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. So far\, no theoretical results giving a precise description o
 f the solutions\, or at least under which conditions the solutions may exi
 st\, are avalaible in the literature. However\, a finite volume scheme has
  been developed to approximate the equations of the DPCM model. In particu
 lar\, it was observed numerically the existence of traveling wave solution
 s for the DPCM model. These solutions are defined by stationary profiles o
 n a fixed size domain with interfaces moving at the same velocity. The mai
 n objective of this talk is to present how we apply a computer-assisted me
 thod in order to prove the existence of such traveling wave solutions for 
 the system. This approach allows us to obtain for the first time a precise
  and certified description of some solutions. This work is in collaboratio
 n with Maxime Breden and Claire Chainais-Hillairet.\n\nSeminar CRM CAMP In
  Nonlinear Analysis\n	For registration\, please visit: http://crm.math.ca/c
 amp-nonlineaire/\n
DTSTART:20210323T140000Z
DTEND:20210323T150000Z
SUMMARY:Antoine Zurek (Technische Universität Wien)
URL:/mathstat/channels/event/antoine-zurek-technische-
 universitat-wien-329593
END:VEVENT
END:VCALENDAR