Régularité de l'exponentielle matricielle
Bonjour,
Je suis à la recherche d'une preuve que la fonction exponentielle matricielle est de classe C infini.
La plupart des ressources que j'ai trouvées sur internet me renvoient vers les livres de Lafontaine et Rouvière, mais malheureusement ces deux livres ne sont pas disponibles à la bibliothèque de mon université.
Si quelqu'un a une idée d'une ressource que je pourrais trouver sur internet, avec la démonstration détaillée de la proposition dont j'ai besoin, je lui serai reconnaissant.
Je vous remercie d'avance.
Cordialement
Je suis à la recherche d'une preuve que la fonction exponentielle matricielle est de classe C infini.
La plupart des ressources que j'ai trouvées sur internet me renvoient vers les livres de Lafontaine et Rouvière, mais malheureusement ces deux livres ne sont pas disponibles à la bibliothèque de mon université.
Si quelqu'un a une idée d'une ressource que je pourrais trouver sur internet, avec la démonstration détaillée de la proposition dont j'ai besoin, je lui serai reconnaissant.
Je vous remercie d'avance.
Cordialement
Réponses
-
C'est parfois fait en à la fin d'un développement d'agreg où on montre le fait que si $(f_n)_n$ est une suite de fonctions de classe $\mathcal C^1$ sur un ouvert $U$ de $\mathbb R^N$, convergeant simplement sur $U$ vers $f$ (on peut affaiblir cette hypothèse) et telle que les différentielles $(D_{f_n})_n$ convergent uniformément sur tout compact de $U$ alors $f$ est de classe $\mathcal C^1$ et se différentielle est donnée par la limite des $D_{f_n}$. Il doit en exister des versions tapées ou photocopiées en ligne.
-
On fait la version $N=1$ du théorème mentionné par Poirot en spé (MP) et je pense que la preuve s'adapte sans souci, donc tu peux aussi chercher du côté des cours de prépa
-
$$d\big(\exp(M)\big)(H)=\sum_{n\geq 1} \frac{1}{n!} \underbrace{\big[HM^{n-1}+MHM^{n-2}+\ldots +M^{n-1} H\big]}_{n\text{ termes}} $$
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres