CRM CAMP in Nonlinear Analysis

Preuves mathématiques assistées par ordinateur en analyse non linéaire

7 juillet 2020 de 10 h 00 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom

Computer-assisted existence and multiplicity proofs for semilinear elliptic problems on bounded and unbounded domains

Séminaire par Michael Plum (Karlsruhe Institute of Technology, Germany)

Many boundary value problems for semilinear elliptic partial differential equations allow very stable numerical computations of approximate solutions, but are still lacking analytical existence proofs. In this lecture, we propose a method which exploits the knowledge of a "good" numerical approximate solution, in order to provide a rigorous proof of existence of an exact solution close to the approximate one. This goal is achieved by a fixed-point argument which takes all numerical errors into account, and thus gives a mathematical proof which is not "worse" than any purely analytical one. A crucial part of the proof consists of the computation of eigenvalue bounds for the linearization of the given problem at the approximate solution. The method is used to prove existence and multiplicity statements for some specific examples, including cases where purely analytical methods had not been successful.