ON THE DIFFERENTIAL GEOMETRY OF NUMERICAL SCHEMES AND WEAK SOLUTIONS OF FUNCTIONAL EQUATIONS - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Nonlinearity Année : 2020

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

Résumé

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.
Fichier principal
Vignette du fichier
cauchy.pdf (410.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01961436 , version 1 (19-12-2018)

Identifiants

  • HAL Id : hal-01961436 , version 1

Citer

Jean-Pierre Magnot. ON THE DIFFERENTIAL GEOMETRY OF NUMERICAL SCHEMES AND WEAK SOLUTIONS OF FUNCTIONAL EQUATIONS. Nonlinearity, 2020, 33 (12). ⟨hal-01961436⟩
48 Consultations
330 Téléchargements

Partager

Gmail Facebook X LinkedIn More