CRM CAMP in Nonlinear Analysis

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

3 décembre 2020 de 11 h 00 à 11 h 15 (heure de Montréal/HNE) Réunion Zoom

CRM-CAMP SPOTLIGHT ON GRADUATE RESEARCH: Computer-assisted proofs for a nonlinear Laplace-Beltrami equation on the sphere

Séminaire par Gabriel William Duchesne (McGill University, Canada)

We prove the existence and local uniqueness of radially symmetric solutions of nonlinear Laplace-Beltrami equation on the sphere by using the Radii Polynomial Theorem on Banach spaces with a combination of Taylor and Chebyshev coefficients of the solutions.