206 - Théorèmes de point fixe. Exemples et applications. 2016
Rapport du jury 2016
Cette leçon n’apparaîtra plus dans la session 2017. Toutefois le théorème du point fixe de Banach trouve naturellement sa place dans les leçons 205, 226, voire 233. Il est également sous-jacent dans d’autres thèmes de leçons : calcul différentiel, équations différentielles.
Afficher les anciens rapports
Développements
Plans
Rajouter une version
Utilisateur : Promo ENSL 2016
Références :
Retours
Utilisateur : Durand
| Année : 2016
Leçon choisie : 711
Autre leçon :
Formules de Taylor. Exemples et applications.2025
Développement choisi par le jury :
Théorème d'inversion locale
Autre développement proposé :
Pas de réponse fournie.
Résumé de l'échange avec le jury (questions/réponses/remarques) :
Défense bien passée, même si le jury était à moitié mort (je passe à 16h durant la dernière semaine d'oral), l'un avait les yeux fermés la plupart du temps. Durant le développement, j'ai senti le jury très peu réceptif, et pas convaincu, du coup j'ai perdu confiance, j'ai réexpliqué des choses et perdu du temps inutilement : ils m'ont demandé de conclure rapidement alors qu'il me restait une partie du développement à montrer. J'ai donné les étapes. Ils m'ont demandé comme première question de détailler le dernier point (montrer que homéo implique difféo sur la réciproque). -Ex: pouvez-vous appliquer ça (inversion locale) pour montrer que une fonction holomorphe est d'image ouverte. J'ai évacué le cas où la dérivée en un point est non nul, car on applique l'inversion locale. Ensuite, j'ai un peu galéré. Ils m'ont orienté vers l'écriture de la série entière en ce point. J'ai introduit le premier coefficient non nul, et ils m'ont dit de montrer qu'alors on avait pas forcément un difféo, mais qu'on avait en fait un difféo à la puissance $p$. On factorise le terme en $z^p$ puis il reste un terme qui est non nul en $0$, donc on a une détermination locale du logarithme et donc une puissance 1/p-ième. -Ex: Montrer qu'une fonction croissante de $[0,1]$ dans lui-même a un point fixe. J'ai fait un dessin, posé $c=\inf\{x; f(x)\leq x\}$. Ils m'ont demandé de dire des choses sur l'ensemble considéré, j'ai surtout parlé du fait qu'il n'était pas fermé, mais ils attendaient simplement qu'il était non vide et minoré. Ensuite, j'ai montré que si $c$ appartenait à l'ensemble, c'était fini. Puis j'ai pris $(x_n)$ qui tend en décroissant, et je voulais montrer que $c$ était dans l'ensemble. J'ai un peu galéré, mais en regardant la bonne inégalité, on obtient le résultat. -Ex: que dire de la différentielle autour d'un point fixe d'une fonction telle qu'il existe un intervalle attractif ? Réponse donnée : norme $\leq$1. Car sinon, on aurait une direction telle que la dérivée soit $>1+\vareps$ et des histoires de stabilité.
Défense bien passée, même si le jury était à moitié mort (je passe à 16h durant la dernière semaine d'oral), l'un avait les yeux fermés la plupart du temps. Durant le développement, j'ai senti le jury très peu réceptif, et pas convaincu, du coup j'ai perdu confiance, j'ai réexpliqué des choses et perdu du temps inutilement : ils m'ont demandé de conclure rapidement alors qu'il me restait une partie du développement à montrer. J'ai donné les étapes. Ils m'ont demandé comme première question de détailler le dernier point (montrer que homéo implique difféo sur la réciproque). -Ex: pouvez-vous appliquer ça (inversion locale) pour montrer que une fonction holomorphe est d'image ouverte. J'ai évacué le cas où la dérivée en un point est non nul, car on applique l'inversion locale. Ensuite, j'ai un peu galéré. Ils m'ont orienté vers l'écriture de la série entière en ce point. J'ai introduit le premier coefficient non nul, et ils m'ont dit de montrer qu'alors on avait pas forcément un difféo, mais qu'on avait en fait un difféo à la puissance $p$. On factorise le terme en $z^p$ puis il reste un terme qui est non nul en $0$, donc on a une détermination locale du logarithme et donc une puissance 1/p-ième. -Ex: Montrer qu'une fonction croissante de $[0,1]$ dans lui-même a un point fixe. J'ai fait un dessin, posé $c=\inf\{x; f(x)\leq x\}$. Ils m'ont demandé de dire des choses sur l'ensemble considéré, j'ai surtout parlé du fait qu'il n'était pas fermé, mais ils attendaient simplement qu'il était non vide et minoré. Ensuite, j'ai montré que si $c$ appartenait à l'ensemble, c'était fini. Puis j'ai pris $(x_n)$ qui tend en décroissant, et je voulais montrer que $c$ était dans l'ensemble. J'ai un peu galéré, mais en regardant la bonne inégalité, on obtient le résultat. -Ex: que dire de la différentielle autour d'un point fixe d'une fonction telle qu'il existe un intervalle attractif ? Réponse donnée : norme $\leq$1. Car sinon, on aurait une direction telle que la dérivée soit $>1+\vareps$ et des histoires de stabilité.
Quelle a été l'attitude du jury (muet/aide/cassant) ?
Jury endormi au début (littéralement un qui luttait contre le sommeil pendant défense et développement), puis, allant de tout mou à très sec dans son attitude.
Jury endormi au début (littéralement un qui luttait contre le sommeil pendant défense et développement), puis, allant de tout mou à très sec dans son attitude.
L'oral s'est-il passé comme vous l'imaginiez ou avez-vous été surpris par certains points ? Cette question concerne aussi la préparation.
Note obtenue :
19.0
Références:
Utilisateur : Admin
| Année : 2015
Leçon choisie : 711
Développement choisi par le jury :
Théorème du point fixe de Kakutani et sous-groupes compacts de GLn(R)
Autre développement proposé :
Pas de réponse fournie.
Résumé de l'échange avec le jury (questions/réponses/remarques) :
L'exercice m'a paru plutôt difficile. On a seulement traité les cas où K est une boule, puis le cas où K est connexe par arcs. J'ai eu beaucoup d'indications, mais le jury était très pressant dès que la démo n'avançait pas, c'était assez frustrant. questions : comment prouver rapidement le résultat du développement pour les groupes finis ? avez-vous une idée pour généraliser le résultat aux groupes compacts infinis ? que pouvez-vous me dire sur le th. de représentation conforme ? (référence à la dernière remarque du plan qui parlait de points fixes d'homographies) pouvez-vous citer des applications du th. de picard en analyse fonctionnelle ? un exercice : Soit K un compact connexe de R^n, U un voisinage ouvert de K, f : U -\textgreater R^n, C^1, tel que pour tout x dans K, la norme subordonnée de df_x est \textlesser 1. Montrer que f admet un point fixe dans K.
L'exercice m'a paru plutôt difficile. On a seulement traité les cas où K est une boule, puis le cas où K est connexe par arcs. J'ai eu beaucoup d'indications, mais le jury était très pressant dès que la démo n'avançait pas, c'était assez frustrant. questions : comment prouver rapidement le résultat du développement pour les groupes finis ? avez-vous une idée pour généraliser le résultat aux groupes compacts infinis ? que pouvez-vous me dire sur le th. de représentation conforme ? (référence à la dernière remarque du plan qui parlait de points fixes d'homographies) pouvez-vous citer des applications du th. de picard en analyse fonctionnelle ? un exercice : Soit K un compact connexe de R^n, U un voisinage ouvert de K, f : U -\textgreater R^n, C^1, tel que pour tout x dans K, la norme subordonnée de df_x est \textlesser 1. Montrer que f admet un point fixe dans K.
Quelle a été l'attitude du jury (muet/aide/cassant) ?
L'oral s'est-il passé comme vous l'imaginiez ou avez-vous été surpris par certains points ? Cette question concerne aussi la préparation.
Note obtenue :
12.0
Références: