Leçon #1529

Actif : true

Numero : 214

Titre : Théorème d’inversion locale, théorème des fonctions implicites. Illustrations en analyse et en géométrie.2025

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42

✏️ Modifier
Rapport du jury 2014
Il s'agit d'une belle leçon qui exige une bonne maîtrise du calcul différentiel. Même si le candidat ne propose pas ces thèmes en développement, on est en droit d'attendre de lui des idées de démonstration de ces deux théorèmes fondamentaux. On attend des applications en géométrie différentielle (notam- ment dans la formulation des multiplicateurs de Lagrange). Rappelons que les sous-variétés sont au programme. \r
Rapport du jury 2015
Il s'agit d'une belle leçon qui exige une bonne maîtrise du calcul différentiel. Même si le candidat ne propose pas ces thèmes en développement, on est en droit d'attendre de lui des idées de démonstration de ces deux théorèmes fondamentaux. Il est indispensable de savoir mettre en pratique le théorème des fonctions implicites au moins dans le cas de deux variables réelles. On attend des applications en géométrie différentielle (notamment dans la formulation des multiplicateurs de Lagrange). Rappelons que les sous-variétés sont au programme.
Rapport du jury 2016
Il s’agit d’une belle leçon, formulée ici dans la version qui sera adoptée pour la session 2017, qui exige une bonne maîtrise du calcul différentiel. Même si le candidat ne propose pas ces thèmes en développement, on est en droit d’attendre de lui des idées de démonstration des deux théorèmes fondamentaux qui donnent son intitulé à la leçon. Il est indispensable de savoir mettre en pratique le théorème des fonctions implicites au moins dans le cas de deux variables réelles. On attend des applications en géométrie différentielle notamment dans la formulation des multiplicateurs de Lagrange. Plusieurs inégalités classiques de l’analyse peuvent se démontrer avec ce point de vue : arithmético-géométrique, Hölder, Carleman, Hadamard, . . . En ce qui concerne la preuve du théorème des extrema liés, la présentation de la preuve par raisonnement “sous-matriciel” est souvent obscure ; on priviligiera si possible une présentation géométrique s’appuyant sur l’espace tangent.\r\rPour aller plus loin, l’introduction des sous-variétés est naturelle dans cette leçon. Il s’agit aussi d’agrémenter cette leçon d’exemples et d’applications en géométrie, sur les courbes et les surfaces.
Rapport du jury 2017
Il s’agit d’une leçon qui exige une bonne maîtrise du calcul différentiel. Même si le candidat ne propose pas ces thèmes en développement, on est en droit d’attendre de lui des idées de démonstration des deux théorèmes fondamentaux qui donnent son intitulé à la leçon. Il est indispensable de savoir mettre en pratique le théorème des fonctions implicites au moins dans le cas de deux variables réelles. On attend des applications en géométrie différentielle notamment dans la formulation des multiplicateurs de Lagrange. Plusieurs inégalités classiques de l’analyse peuvent se démontrer avec ce point de vue : Hölder, Carleman, Hadamard,... En ce qui concerne la preuve du théorème des extrema liés, la présentation de la preuve par raisonnement « sous-matriciel » est souvent obscure ; on privilégiera si possible une présentation géométrique s’appuyant sur l’espace tangent. Pour aller plus loin, l’introduction des sous-variétés est naturelle dans cette leçon. Il s’agit aussi d’agrémenter cette leçon d’exemples et d’applications en géométrie, sur les courbes et les surfaces.
Rapport du jury 2019
Il s’agit d’une leçon qui exige une bonne maîtrise du calcul différentiel. Même si le candidat ne propose pas ces thèmes en développement, on est en droit d’attendre de lui des idées de démonstration des deux théorèmes fondamentaux qui donnent son intitulé à la leçon. Il est indispensable de savoir mettre en pratique le théorème des fonctions implicites au moins dans le cas de deux variables réelles. On attend des applications en géométrie différentielle notamment dans la formalisation de la méthode des multiplicateurs deLagrange. En ce qui concerne la preuve du théorème des extrema liés, la présentation de la preuve par raisonnement « sous-matriciel » est souvent obscure ; on privilégiera si possible une présentation géométrique s’appuyant sur l’espace tangent. Plusieurs inégalités classiques de l’analyse peuvent se démontrer avec ce point de vue : arithmético-géométrique, Hölder, Carleman, Hadamard,... $\\$ Pour aller plus loin, l’introduction des sous-variétés est naturelle dans cette leçon. Il s’agit aussi d’agrémenter cette leçon d’exemples et d’applications en géométrie, sur les courbes et les surfaces.
Rapport du jury 2022
Les deux théorèmes fondamentaux auxquels cette leçon est consacrée offrent bien sûr une belle utilisation de la complétude, qu'on ne passera pas sous silence. Pour autant, pour traiter l'intégralité du sujet, il faut se garder d'un point de vue trop formel, et proposer des applications significatives aussi bien en analyse qu'en géométrie : étude locale de courbes, de surfaces ou d'intersection de surfaces, problèmes d'optimisation sous contraintes (si possible autres que la preuve de l'inégalité arithmético-géométrique), régularité des racines d'un polynôme en fonction des coefficients, etc.\rUne bonne compréhension de la méthode des multiplicateurs de Lagrange requiert celle de la notion d'espace tangent, qui en donne une justification beaucoup plus claire que certains raisonnements purement matriciels.\r\rLes candidats solides pourront s'intéresser à l'étude locale d'applications suffisamment régulières (submersions, immersions, théorème du rang constant, lemme de Morse), au lemme de Sard, ainsi qu'aux sous-variétés de $R^n$.