Lemme de Morse

Soit $f : U \to \mathbb{R}$ où $U$ est un ouvert de $\mathbb{R}^n$ de classe $C^3$ telle que $0 \in U$, $df_0 = 0$, $d^2f_0$ soit non-dégénérée. On note $(p,n-p)$ la signature de $d^2f_0$. Alors à un $C^1$-difféomorphisme près on a\r\r$$ f(x) = f(0)+ x_1^2 + \cdots + x_p^2 - x_{p+1}^2 - \cdots - x_{n}^2 $$
Qualité Numéro Titre
5 157 Matrices symétriques réelles, matrices hermitiennes.2025
5 214 Théorème d’inversion locale, théorème des fonctions implicites. Illustrations en analyse et en géométrie.2025
5 217 Sous-variétés de $R^n$. Exemples. 2016
4 171 Formes quadratiques réelles. Coniques. Exemples et applications.2025
4 215 Applications différentiables définies sur un ouvert de Rn. Exemples et applications.2025
4 218 Formules de Taylor. Exemples et applications.2025
3 206 Exemples d’utilisation de la notion de dimension finie en analyse.2025
3 148 Dimension d’un espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications.2025
2 239 Fonctions définies par une intégrale dépendant d’un paramètre. Exemples et applications.2025
2 170 Formes quadratiques sur un espace vectoriel de dimension finie. Orthogonalité. Applications.2025
1 150 Exemples d'actions de groupes sur les espaces de matrices.2022
Rajouter une version
Utilisateur : Alice M
Mes documents sont longs, déjà parce que je parle vite (donc il faut beaucoup de contenus), que j'écris gros, et que j'aime bien comprendre dans les détails, mais aussi et surtout parce qu'il y a beaucoup de remarques/infos à la fin, pour essayer d'être capable de répondre au max de questions liées au dev ! Evidemment, il est fort possible qu'il y ait des coquilles de ci de là, n'hésitez pas à me les signaler ! (Bon courage !)
Références :
Petit guide de calcul différentiel - Rouvière
Retrouvez toutes les leçons et tous les développements, ainsi que des cours (avec les fichiers sources) sur mon site www.coquillagesetpoincare.fr
Références :
Utilisateur : Chloé
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Hugo
J'aime pas trop ce développement ni la manière dont il est rédigé dans le Rouvière. Mais bon, il présente l'avantage de bien se recaser. Les références sont indiquées à la fin du plan. N'hésitez pas à me contacter pour me signaler toute erreur ou imprécision.
Références :
Utilisateur : Méthivier
Pas grands choses à dire si ce n'est que ma version est plus détaillée que celle faite dans Rouvière mais j'ai évidemment tout calqué sur lui. Attention aux coquilles
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Matoumatheux
J'aime ce développement, la version générale du PGCD, combinée à l'application présentée dans le Bernis-Bernis et vous voilà avec un développement très solide.
Références :
Petit guide de calcul différentiel - Rouvière
Analyse pour l'agrégation de mathématiques, 40 développements - Julien Bernis et Laurent Bernis
Utilisateur : Louis D
Un développement compliqué, mais vraiment très rentable à mes yeux. Le recasage en 206 est un peu abusif, peut-être aussi la 148. Attention aux coquilles.
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Demesmay
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Julie_D
Développement classique mais qui se recase bien une fois bien maîtrisé. De mon point de vue, il peut être utilisé pour les leçons 158, 171, 214 et 215 mais il peut aller ailleurs si on le motive correctement.
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Quayle
Recasages choisis : 171, 206, 214, 215. La référence principale est le Rouvière mais je trouve que c'est pas hyper bien détaillé (surtout pour le théorème). Pour les applications, voir le Bernis
Références :
Petit guide de calcul différentiel - Rouvière
Analyse pour l'agrégation de mathématiques, 40 développements - Julien Bernis et Laurent Bernis
Utilisateur : Burel
Références :
Petit guide de calcul différentiel - Rouvière
Je déteste ce dev j'ai l'impression de ne pas comprendre ce qu'il raconte mais il faut bien combler les trous...
Références :
Utilisateur : Marie N
Références :
Petit guide de calcul différentiel - Rouvière
On prend la preuve du Rouvière à l'envers, on éclaircis plusieurs points qui rendent la preuve opaque et l'on déroule ! J'ai volé cette version à une personne qui était avant moi en prépa agreg et j'ai jamais aussi bien compris le développement qu'en lisant sa version. Attention aux coquilles !
Références :
Utilisateur : Maurer
Références :
https://sites.google.com/view/evariste-d-aubergine
Références :
Utilisateur : F.A.
D'après moi pour les leçons : 151, 158, 170, 171, 214 et 215. Ma version du lemme préliminaire est assez fortement modifiée par rapport à celle de l'excellent livre de F. Rouvière. Une application relativement simple du lemme de Morse est la distance au plan tangent (exercice 111 p341 de la 4e édition du même ouvrage). NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties \"faciles\" ne sont donc pas à mentionner ou juste à l'oral. J'écris assez mal également, toutes mes excuses.
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Clement T
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : abarrier
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Owen
Références :
Petit guide de calcul différentiel - Rouvière
Références :
Utilisateur : mickael
Il y a une application au Folium de Descartes à la fin.
Références :
Utilisateur : JBernis
Une application qui peut être proposée concerne la stabilité des systèmes newtoniens. Énoncé : Soient un entier $n\ge 1$, $\mathcal{U}$ un ouvert de $\mathbb{R}^n$ contenant l'origine $\mathbf{0}$, et $f$ un élément de $\mathcal{C}^3(\mathcal{U}, \mathbb{R})$. On suppose que la différentielle de $f$ est nulle en l'origine et que sa différentielle d'ordre $2$ est non dégénérée en l'origine. Alors il existe un $\mathcal{C}^1$-difféomorphisme $\Phi$ d'un voisinage $\mathcal{V}$ de $ \mathbf{0} $ sur un voisnage $\mathcal W$ de $ \mathbf{0} $ inclus dans $\mathcal U$, qui conserve l'origine et tel que pour tout $ Z \in \mathcal{V}$, on ait : \begin{equation} f(\Phi( Z) ) - f( \mathbf{0} ) = \frac{1}{2} \mathrm{D}^2_{ \mathbf{0} }f\cdot \left( Z,Z\ ight). \end{equation} Référence : Analyse pour l'agrégation de mathématiques, 40 développements, J. et L. Bernis, Ellipses
Références :
Analyse pour l'agrégation de mathématiques, 40 développements - Julien Bernis et Laurent Bernis
Utilisateur : AA
Références :
Utilisateur : Anonyme291
Références :
Petit guide de calcul différentiel - Rouvière
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Sylvain
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Tom
Références :
Petit guide de calcul différentiel - Rouvière
Utilisateur : Victor
Références :
Petit guide de calcul différentiel - Rouvière