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
Contributor : Jean-Pierre Magnot <>
Submitted on : Wednesday, December 19, 2018 - 10:23:19 PM
Last modification on : Tuesday, January 29, 2019 - 5:02:58 PM
Document(s) archivé(s) le : Thursday, March 21, 2019 - 2:14:23 AM

File

cauchy.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

13

Files downloads

15