Im Rahmen der Forschungsseminare am Institut für Angewandte Analysis sprechen Dr. Kaori Nagatu und Mr. Louis Carillo am 12. Januar 2026 im Raum E.60 (Helmholtzstrasse 18) zu folgenden Themen: 

16 Uhr
Dr. Kaori Nagatu (Karlsruher Institut für Technologie) referiert über „Computer Assisted Proofs for Nonlinear Partial Differential Equations“, und 

17 Uhr
Mr. Louis Carillo (CERMICS) über „Entropic Metastability in the Narrow Escape Problem“.

Abstracts:

Dr. Nagatou 16 Uhr:

Computer Assisted Proofs for Nonlinear Partial Differential Equations
Numerical methods that ensure the reliability of numerical results obtained by a computer, sometimes referred to as "numerical verification methods", have attracted a lot of attention in recent years. These methods not only guarantee a bound for the error between an approximate solution and an exact solution, but also prove the existence of an exact solution within the computed error bounds. That is why such methods are also referred to as "Computer Assisted Proofs". In particular, they can cover cases where purely analytical methods have failed. This lecture will introduce the fundamental concepts of computer assisted proofs for partial differential equations (in particular elliptic boundary value problems) and show some examples, including the current project on non-selfadjoint spectral problems related to self-similar blowup in nonlinear wave equations.

Mr. Carillo 17 Uhr:

Entropic metastability in the narrow escape problem
The narrow escape problem is a prototypical example to study entropic metastability, inspired by concrete applications in biology and chemistry. The problem is the determination of the exit time and position of a Brownian particle trapped in a domain with narrow holes. Unlike the usual double well potential, this form of metastability is not of energetic form as there is no potential involved, hence no Eyring-Kramers formula. Our goal is to study this problem in any dimension for arbitrary shapes of hole, and thanks to the quasi-stationary distribution approach to metastability, to rigorously derive the counterpart Eyring-Kramers type formulas in this context. Our numerical predictions are illustrated by numerical simulations, both Monte Carlo like and deterministic ones based on solving appropriate partial differential equations.