ON THE DIFFERENTIAL GEOMETRY OF NUMERICAL SCHEMES AND WEAK SOLUTIONS OF FUNCTIONAL EQUATIONS

Abstract : We exhibit differential geometric structures that arise in numerical methods, based on the construction of Cauchy sequences, that are currently used to prove explicitly the existence of weak solutions to functional equations. We describe the geometric framework, highlight several examples and describe how two well-known proofs fit with our setting. The first one is a re-interpretation of the classical proof of an implicit functions theorem in an ILB setting, for which our setting enables us to state an implicit functions theorem without additional norm estimates, and the second one is the finite element method of the Dirichlet problem where the set of triangulations appear as a smooth set of parameters. In both case, smooth dependence on the set of parameters is established. Before that, we develop the necessary theoretical tools, namely the notion of Cauchy diffeology on spaces of Cauchy sequences and a new generalization of the notion of tangent space to a diffeological space.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01961436
Contributeur : Jean-Pierre Magnot <>
Soumis le : mercredi 19 décembre 2018 - 22:23:19
Dernière modification le : mardi 29 janvier 2019 - 17:02:58

Fichier

cauchy.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01961436, version 1

Collections

Citation

Jean-Pierre Magnot. ON THE DIFFERENTIAL GEOMETRY OF NUMERICAL SCHEMES AND WEAK SOLUTIONS OF FUNCTIONAL EQUATIONS. 2018. 〈hal-01961436〉

Partager

Métriques

Consultations de la notice

10

Téléchargements de fichiers

11