Extrema liés

Voici une preuve des extrema liés adaptée du Troutman Variational calculus with elementary convexity (p 126-131), qui le démontre avec des hypothèses plus faibles. On utilise des techniques d’algèbre linéaire, et dans la preuve, c’est s’autoriser à se déplacer selon $k+1$ directions (peu importe l’espace ambiant) qui permet de conclure, ce qui justifie le recasage en 206. La preuve est assez courte, il y a donc le temps un exemple rapide et bien senti, ou pour donner l’intuition de la preuve et de $F$, ou comment obtenir les conditions de minimum sur un ouvert, sur un ensemble avec des directions admissibles puis les extrema liés (comme fait dans le Troutman). Dans la 159, on peut aussi faire le lemme technique sur la surjectivité de $\Phi$ (voir Gourdon) et conclure en montrant que $\bigcap \ker (dg_i(a))\subseteq \ker (df(a))$.'

Je n'ai pas utilisé ce développement, mais je l'ai quand même rédigé au propre. Attention, le jury n'aime pas trop cette version, paraît-il. 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.'

Développement rédigé au cours de l'année. Garder un esprit critique, surtout qu’il se peut qu’il y ait des typos. Remarque : On a rajouté le cas $p=1$ car dans la référence il ne le faisait pas mais cela ne change rien. N’hésitez pas à nous contacter si besoin ou à nous signaler s’il y a des erreurs. Bon courage pour cette année.'

À ma connaissance, cette preuve n'est pas référencée dans un livre. Elle provient du cours de Stéphane Rigat, dispensé en master de préparation à l’agrégation de mathématiques, à l’université d’Aix-Marseille. Développement très sympathique, qui se comprend et se retient facilement, et qui se présente dans de nombreuses leçons. De plus, le théorème des extrema liés figure sur le programme du concours.'

Fameux développement c'est vrai, malgré tout très difficile à cause des connaissances théoriques nécessaires. En effet, je pense que si l'on choisit ce développement, il faut pleinement assumer de parler de sous-variétés et ne pas faire l'autruche. Si l'on prépare ce développement suffisamment tôt, c'est malgré tout très gérable. Le fameux \"théorème des sous-variétés\" qui donne l'équivalence entre plusieurs définitions de sous variété est un théorème important. Mon avis est que mieux vous maitriserez ce théorème, plus vous vous sentirez à l'aise pour parler de sous-variétés. Dans cette version du développement, j'ai fait le choix de démontrer une implication de ce théorème, qui est l'ingrédient miracle pour cette preuve. En plus, il justifie beaucoup mieux le recasage dans le leçon sur le théorème d'inversion locale puisque c'est à ce moment qu'il apparaît. La preuve que je donne ici est le fruit d'un regroupement de plusieurs références, livres et pdf trouvés sur le net, c'est pourquoi je ne donne pas de référence ici. J'espère ne pas avoir fait d'erreurs, sinon, signalez le moi par mail. Une fois qu'il est bien compris, c'est un développement de très haute qualité. Côté recasage: Fonctions différentiables sur un ouvert de $\mathbb{R}^n$. Théorème d'inversion locale et des fonctions implicites. Problèmes d'extrema. Les remarques que j'ai mises à la fin du document sont purement personnelles ; elles font souvent référence aux difficultés que j'ai pu avoir au moment de préparer mes développements, peut-être certains pourront les trouver utiles... S'il y a une erreur dans le document ou quelque chose de douteux, vous pouvez me contacter par mail avec plaisir.'

Retrouvez toutes les leçons et tous les développements, ainsi que des cours (avec les fichiers sources) sur mon site www.coquillagesetpoincare.fr'

Selon les leçons, il faut choisir parmi les résultats.'

Version manuscrite, désolée pour l'écriture . Je n'ai pas pris beaucoup de temps pour travailler ce développement étant donné que je le plaçais dans des leçons que je n'aimais pas. C'est donc un plus ou moins un copier coller du Gourdon. Il se peut qu'il reste des coquilles, n'hésitez pas à me contacter au besoin. '

'

https://sites.google.com/view/evariste-d-aubergine Preuve par l'espace tangent. Attention, le jury annonce dans plusieurs de ses rapports qu'ils préfèrent voir cette preuve, qui est plus visuelle que celle où on calcule des matrices sans visualiser.'

'

On rajoute le corollaire suivant : Soient $(E,(.,.))$ un espace vectoriel (réel) euclidien, et $u\in \mathcal{L}(E)$ un endomorphisme symétrique, alors $u$ est diagonalisable sur $E$ (i.e $E$ possède une base formée de vecteurs propres de $u$).'

J'ai combiné deux références et repris des éléments des preuves précédentes en corrigeant 2/3 coquilles. J'en ai profité pour faire un tir groupé sur les sous-variétés.'

'

Version par les sous-variétés.'

'

Mis à jour le 5.06.17'