Théorème d'Hadamard Levy

On utilise le flot d'un ODE pour la démonstration. Attention, de mon point de vue les refs ne sont pas vraiment optimales, cela demande donc un petit peu de travail pour bien adapter la preuve. De plus je ne connais qu'une application de ce résultat, donnée dans le document. Le lien pour le document: https://perso.eleves.ens-rennes.fr/people/thomas.courant/Agr%C3%A9gation.html

Cette version est une preuve résumée. Son intérêt est de découper la preuve en étapes. Cela permet une présentation plus claire où les articulations logiques sont mieux expliquées.

Version manuscrite, désolée pour l'écriture . Développement que je trouvais plutôt compliquée et qui me prenais énormément de temps. Je triais les parties en fonction des leçons. Il y avait notamment la partie surjectivité que je traitais uniquement dans la leçon 203 (je pense qu'elle pourrait également être traitée en application des équations différentielles mais ces leçons étaient mes impasses). Le schéma au niveau de la surjectivité étaient essentiellement pour moi, pour bien comprendre ce qu'il se passe. Il aurait peut-être était pertinent de le présenter mais je ne le faisais pas par manque de temps. Il se peut qu'il reste des coquilles, n'hésitez pas à me contacter au besoin.

Recasages : 203,204,214,215,220 J'ai fini par faire une preuve maison adaptée du ZQ utilisant les fonctions de Liapounov ; tous les théorèmes utilisés sont cités et démontrés dans le fichier, mais sinon je crois que pendant mon oral de modé j'ai trouvé des trucs là dessus dans le Hubbard-West. La preuve du ZQ (pas la nouvelle édition) a beaucoup de soucis, apparemment c'est plus simple dans le Bernis, mais je m'y suis attachée, donc bon. Si on ne passe pas par les fonctions de Liapounov, faire des dessins pour la stabilité asymptotique. Lien direct vers le fichier : https://delbep.notion.site/406816fc93b74e5db75ff232d12fdab7?v=d11624e4c7aa41bdb625b5e3a57af4e6 Vous trouverez toutes mes ressources pour l'agrégation à cette adresse : https://www.notion.so/delbep/Agr-gation-c834c3492ca94b68b157e683e615536b?pvs=4

https://sites.google.com/view/evariste-d-aubergine

Soient $n\in\mathbb{N}^*$ et $f : \mathbb{R}^n\ ightarrow\mathbb{R}^n\in\mathcal{C}^2(\mathbb{R}^n,\mathbb{R}^n)$. Les deux propositions suivantes sont équivalentes : -- L'application $f$ est un $\mathcal{C}^1$-difféomorphisme de $\mathbb{R}^n$ sur $\mathbb{R}^n$. -- Pour tout $x\in \mathbb{R}^n$, $\mathrm{D}_x f$ est inversible, et $\lim\limits_{\|x\|\to +\infty}{\|f(x)\|}=+\infty$. Référence : Analyse pour l'agrégation de mathématiques, 40 développements, J. et L. Bernis, Ellipses

La preuve faite dans le livre de Queffelec n'est pas optimale, mais c'est à peu près la seule référence. L'adaptation au cas où $f$ est seulement $\mathcal{C}^{1}$ vient d'une idée de D. Monclair.

Version un poil différente des autres.