(2019 : 245 - Fonctions holomorphes sur un ouvert de C. Exemples et applications.)
Cet intitulé ne sera pas utilisé pour la session 2020 où il sera remplacé par $\\$ Fonctions d’une variable complexe. Exemples et applications. $\\$ Cette reformulation a pour objectif d’offrir des points d’entrée plus variés à cette leçon. Ainsi, il est possible, dans un premier temps et si le candidat le souhaite, de parler de polynômes de la variable complexe, de fractions rationnelles, de séries entières, sans immédiatement exposer la théorie des fonctions holomorphes. Le jury attend des exemples illustrant ces notions et montrant la maîtrise des candidats sur ces points. $\\$ Concernant les questions d’holomorphie, outre la définition, la signification géométrique des équations de Cauchy-Riemann, la formule de Cauchy et les résultats concernant l’analyticité, le principe des zéros isolés, ou encore le principe du maximum, sont des attendus de cette leçon. Le lemme de Schwarz est un joli résultat permettant de faire un développement élémentaire s’il est agrémenté d’applications pertinentes, comme par exemple déterminer les automorphismes du disque unité. La notationş $\int_{\gamma} f(z)dz$ a un sens précis, qu’il faut savoir expliquer. La leçon invite également à présenter le théorème d’holomorphie sous le signe intégral et des exemples de fonctions célèbres (par exemple la fonction Gamma, la fonction zêta,...).Même si cela ne constitue pas le cœur de la leçon, la définition d’une fonction méromorphe (l’ensemble des pôles doit être une partie fermée discrète) peut être présentée à condition que cette notion soit maîtrisée et accompagnée d’exemples. Le jury attire l’attention sur le fait que le prolongement de la fonction Gamma en fonction méromorphe est très souvent proposé mais insuffisamment maîtrisé. Proposer un développement moins ambitieux mais maîtrisé est une stratégie plus payante, qui ouvre la discussion avec le jury de manière plus positive. $\\$ Pour les candidats qui le souhaitent, cette leçon offre des possibilités d’ouverture en lien avec la topologie du plan. La preuve du théorème de l’application conforme de Riemann est par exemple un développement de très bon niveau qui ne doit pas être abordé sans une bonne maîtrise des questions en jeu.
245 : Fonctions holomorphes sur un ouvert de C. Exemples et applications.
208 : Espaces vectoriels normés, applications linéaires continues. Exemples.
Pas de réponse fournie.
Pas de réponse fournie.
Aucune questions sur le développement.
Sur le plan/cours:
1) Pouvez-vous donner une idée de la preuve de la formule de Cauchy?
Je n'ai pas su répondre (ça commence bien), il faut utiliser le théorème de Cauchy sur les primitives.
- Vous avez dit que le théorème d'holomorphie sous le signe intégrale donnait un équivalent des théorèmes de continuité et de dérivabilité dans le cas réel. Pouvez-vous expliquer ce que vous vouliez dire, et en quoi il est plus fort ?
J'ai expliqué que le principe était le même au niveau des hypothèses, mais qu'il était beaucoup plus fort car il suffit de majorer la fonction elle-même (en module) et non pas ses dérivées, mais qu'on obtient quand même le caractère infiniment dérivable et une expression des dérivées $n^{i\grave{e}mes}$ (dû à l'analycité qui donne un contrôle de toutes les dérivées).
- Avez-vous une idée de la preuve ?
J'ai expliqué qu'il fallait utiliser la démonstration de [holomorphie implique analytique] qui donne une expression des coefficients du développement en série entière pour une fonction analytique, mais je ne savais pas trop comment ça marchait après.
- Que pouvez-vous dire d'une fonction entière et dont le module est borné?
C'est le théorème de Liouville : elle est constante. (dans le plan je n'avais mis que le principe du module maximum et pas le théorème de Liouville).
Exercices :
1) On prend $f$ une fonction analytique sur un disque de rayon $R$ et de centre $a$. Que pouvez-vous dire de $f$ ?
J'ai écrit son développement en série entière, c'est à dire : $f = \sum_{n \geq 0} a_n(z-a)^n$.
- Prenez un autre point $b$ dans le disque et écrivez le développement en série entière de $f$ autour de $b$. Pouvez-vous exprimer les coefficients de la deuxième série en fonction de la première ?
J'ai essayé de dériver la première expression, de l'évaluer en $b$. Je ne me souviens plus vraiment mais on s'en sortait à peu près comme ça.
2) On prend $f$ et $g$ deux fonctions holomorphes sur un ouvert de $\mathbb{C}$ qui contient le disque unité. On suppose que $f$ et $g$ ne s'annulent pas sur le disque, et que $|f|=|g|=1$ sur le disque. Montrer qu'il existe $\lambda \in \mathbb{C}$ tel que $f = \lambda g$ sur le disque.
Puisque $g$ ne s'annule pas, on peut déjà considérer $h=f/g$ qui est donc holomorphe sur le disque, et de module 1. C'était le début, après je ne me souviens plus de comment on fait, mais avec leurs conseils je suis arrivée au bout.
- Auriez-vous un contre-exemple à cet exercice ?
Puisqu'on a supposé que $f$ et $g$ ne s'annulaient pas, j'ai pris $f(z)=z$ et $g(z)=z^2$. Ca marchait.
3) Auriez-vous un exemple de fonction définie sur $\mathbb{C}$ mais pas holomorphe ?
On prend $f(z)=\bar{z}$ (ils m'ont largement soufflé l'idée). Ils m'ont demandé d'expliquer: j'ai donc fait le taux d'accroissements et, avec beaucoup de mal, ai réussi à montrer que la limite n'existait pas (on approche $0$ sur la droite de réels et sur la droite des imaginaires pures).
4) On prend $f$ une fonction non constante sur un ouvert $\Omega$ de $\mathbb{C}$ telle que $|f|$ admette un minimum en $a$ sur $\Omega$. Montrer que $f$ s'annule sur $\Omega$.
Je n'avais aucune idée. Ils m'ont suggéré un raisonnement par l'absurde, et c'est allé tout seul: on suppose qu'elle ne s'annule pas sur $\Omega$, on considère $1/f$ dont le module admet alors un maximum en $a$ et on utilise le principe du module maximum qui donne que $1/f$ et donc $f$ est constante.
Ils étaient trois (deux hommes et une femme), et ont été vraiment très gentils et bienveillants. La femme ne faisait que me sourire et m'aidait quand je n'avais pas d'idée, un des deux hommes (celui qui posait les questions de cours au début) me souriait aussi mais ne parlait pas beaucoup, et le troisième (celui qui m'a posé la majeur partie des exercices) était moins souriant mais m'aidait aussi quand j'étais en panne d'idée.
J'avais vraiment très peur, car j'ai regretté mon choix au bout d'une dizaine de minutes en me rendant compte que je ne savais presque rien sur les fonctions holomorphes (bon finalement je l'ai quand même eue, comme quoi tout est possible ^^). Je pense que le fait qu'ils aient été vraiment bienveillants (plus que pour l'algèbre, et bien plus que pour la modélisation) a beaucoup aidé à me mettre à l'aise, et j'ai pu réfléchir posément. Ils n'attendent pas une réponse immédiate aux questions, mais des idées et des pistes de réflexions, et ils aident beaucoup dans cette réflexion. Ca c'est donc mieux passé que prévu.
Pour la préparation, j'ai essentiellement copié Marco (je connaissais mon plan par coeur donc j'ai juste rempli les parties) et j'ai pu écrire la leçon en 1h10, ensuit j'ai refait mes développements (environ 30 minutes) puis j'ai utilisé le temps qu'il me restait pour revoir les démonstrations des propositions de mon plan (je pense que le mieux est de découper la préparation de cette manière, à condition de connaitre plan et développements sur le bout des doigts).
10
245 : Fonctions holomorphes sur un ouvert de C. Exemples et applications.
208 : Espaces vectoriels normés, applications linéaires continues. Exemples.
Pas de réponse fournie.
Pas de réponse fournie.
Aucune questions sur le développement.
Sur le plan/cours:
1) Pouvez-vous donner une idée de la preuve de la formule de Cauchy?
Je n'ai pas su répondre (ça commence bien), il faut utiliser le théorème de Cauchy sur les primitives.
- Vous avez dit que le théorème d'holomorphie sous le signe intégrale donnait un équivalent des théorèmes de continuité et de dérivabilité dans le cas réel. Pouvez-vous expliquer ce que vous vouliez dire, et en quoi il est plus fort ?
J'ai expliqué que le principe était le même au niveau des hypothèses, mais qu'il était beaucoup plus fort car il suffit de majorer la fonction elle-même (en module) et non pas ses dérivées, mais qu'on obtient quand même le caractère infiniment dérivable et une expression des dérivées $n^{i\grave{e}mes}$ (dû à l'analycité qui donne un contrôle de toutes les dérivées).
- Avez-vous une idée de la preuve ?
J'ai expliqué qu'il fallait utiliser la démonstration de [holomorphie implique analytique] qui donne une expression des coefficients du développement en série entière pour une fonction analytique, mais je ne savais pas trop comment ça marchait après.
- Que pouvez-vous dire d'une fonction entière et dont le module est borné?
C'est le théorème de Liouville : elle est constante. (dans le plan je n'avais mis que le principe du module maximum et pas le théorème de Liouville).
Exercices :
1) On prend $f$ une fonction analytique sur un disque de rayon $R$ et de centre $a$. Que pouvez-vous dire de $f$ ?
J'ai écrit son développement en série entière, c'est à dire : $f = \sum_{n \geq 0} a_n(z-a)^n$.
- Prenez un autre point $b$ dans le disque et écrivez le développement en série entière de $f$ autour de $b$. Pouvez-vous exprimer les coefficients de la deuxième série en fonction de la première ?
J'ai essayé de dériver la première expression, de l'évaluer en $b$. Je ne me souviens plus vraiment mais on s'en sortait à peu près comme ça.
2) On prend $f$ et $g$ deux fonctions holomorphes sur un ouvert de $\mathbb{C}$ qui contient le disque unité. On suppose que $f$ et $g$ ne s'annulent pas sur le disque, et que $|f|=|g|=1$ sur le disque. Montrer qu'il existe $\lambda \in \mathbb{C}$ tel que $f = \lambda g$ sur le disque.
Puisque $g$ ne s'annule pas, on peut déjà considérer $h=f/g$ qui est donc holomorphe sur le disque, et de module 1. C'était le début, après je ne me souviens plus de comment on fait, mais avec leurs conseils je suis arrivée au bout.
- Auriez-vous un contre-exemple à cet exercice ?
Puisqu'on a supposé que $f$ et $g$ ne s'annulaient pas, j'ai pris $f(z)=z$ et $g(z)=z^2$. Ca marchait.
3) Auriez-vous un exemple de fonction définie sur $\mathbb{C}$ mais pas holomorphe ?
On prend $f(z)=\bar{z}$ (ils m'ont largement soufflé l'idée). Ils m'ont demandé d'expliquer: j'ai donc fait le taux d'accroissements et, avec beaucoup de mal, ai réussi à montrer que la limite n'existait pas (on approche $0$ sur la droite de réels et sur la droite des imaginaires pures).
4) On prend $f$ une fonction non constante sur un ouvert $\Omega$ de $\mathbb{C}$ telle que $|f|$ admette un minimum en $a$ sur $\Omega$. Montrer que $f$ s'annule sur $\Omega$.
Je n'avais aucune idée. Ils m'ont suggéré un raisonnement par l'absurde, et c'est allé tout seul: on suppose qu'elle ne s'annule pas sur $\Omega$, on considère $1/f$ dont le module admet alors un maximum en $a$ et on utilise le principe du module maximum qui donne que $1/f$ et donc $f$ est constante.
Ils étaient trois (deux hommes et une femme), et ont été vraiment très gentils et bienveillants. La femme ne faisait que me sourire et m'aidait quand je n'avais pas d'idée, un des deux hommes (celui qui posait les questions de cours au début) me souriait aussi mais ne parlait pas beaucoup, et le troisième (celui qui m'a posé la majeur partie des exercices) était moins souriant mais m'aidait aussi quand j'étais en panne d'idée.
J'avais vraiment très peur, car j'ai regretté mon choix au bout d'une dizaine de minutes en me rendant compte que je ne savais presque rien sur les fonctions holomorphes (bon finalement je l'ai quand même eue, comme quoi tout est possible ^^). Je pense que le fait qu'ils aient été vraiment bienveillants (plus que pour l'algèbre, et bien plus que pour la modélisation) a beaucoup aidé à me mettre à l'aise, et j'ai pu réfléchir posément. Ils n'attendent pas une réponse immédiate aux questions, mais des idées et des pistes de réflexions, et ils aident beaucoup dans cette réflexion. Ca c'est donc mieux passé que prévu.
Pour la préparation, j'ai essentiellement copié Marco (je connaissais mon plan par coeur donc j'ai juste rempli les parties) et j'ai pu écrire la leçon en 1h10, ensuit j'ai refait mes développements (environ 30 minutes) puis j'ai utilisé le temps qu'il me restait pour revoir les démonstrations des propositions de mon plan (je pense que le mieux est de découper la préparation de cette manière, à condition de connaitre plan et développements sur le bout des doigts).
10
245 : Fonctions holomorphes sur un ouvert de C. Exemples et applications.
208 : Espaces vectoriels normés, applications linéaires continues. Exemples.
Pas de réponse fournie.
Pas de réponse fournie.
Aucune questions sur le développement.
Sur le plan/cours:
1) Pouvez-vous donner une idée de la preuve de la formule de Cauchy?
Je n'ai pas su répondre (ça commence bien), il faut utiliser le théorème de Cauchy sur les primitives.
- Vous avez dit que le théorème d'holomorphie sous le signe intégrale donnait un équivalent des théorèmes de continuité et de dérivabilité dans le cas réel. Pouvez-vous expliquer ce que vous vouliez dire, et en quoi il est plus fort ?
J'ai expliqué que le principe était le même au niveau des hypothèses, mais qu'il était beaucoup plus fort car il suffit de majorer la fonction elle-même (en module) et non pas ses dérivées, mais qu'on obtient quand même le caractère infiniment dérivable et une expression des dérivées $n^{i\grave{e}mes}$ (dû à l'analycité qui donne un contrôle de toutes les dérivées).
- Avez-vous une idée de la preuve ?
J'ai expliqué qu'il fallait utiliser la démonstration de [holomorphie implique analytique] qui donne une expression des coefficients du développement en série entière pour une fonction analytique, mais je ne savais pas trop comment ça marchait après.
- Que pouvez-vous dire d'une fonction entière et dont le module est borné?
C'est le théorème de Liouville : elle est constante. (dans le plan je n'avais mis que le principe du module maximum et pas le théorème de Liouville).
Exercices :
1) On prend $f$ une fonction analytique sur un disque de rayon $R$ et de centre $a$. Que pouvez-vous dire de $f$ ?
J'ai écrit son développement en série entière, c'est à dire : $f = \sum_{n \geq 0} a_n(z-a)^n$.
- Prenez un autre point $b$ dans le disque et écrivez le développement en série entière de $f$ autour de $b$. Pouvez-vous exprimer les coefficients de la deuxième série en fonction de la première ?
J'ai essayé de dériver la première expression, de l'évaluer en $b$. Je ne me souviens plus vraiment mais on s'en sortait à peu près comme ça.
2) On prend $f$ et $g$ deux fonctions holomorphes sur un ouvert de $\mathbb{C}$ qui contient le disque unité. On suppose que $f$ et $g$ ne s'annulent pas sur le disque, et que $|f|=|g|=1$ sur le disque. Montrer qu'il existe $\lambda \in \mathbb{C}$ tel que $f = \lambda g$ sur le disque.
Puisque $g$ ne s'annule pas, on peut déjà considérer $h=f/g$ qui est donc holomorphe sur le disque, et de module 1. C'était le début, après je ne me souviens plus de comment on fait, mais avec leurs conseils je suis arrivée au bout.
- Auriez-vous un contre-exemple à cet exercice ?
Puisqu'on a supposé que $f$ et $g$ ne s'annulaient pas, j'ai pris $f(z)=z$ et $g(z)=z^2$. Ca marchait.
3) Auriez-vous un exemple de fonction définie sur $\mathbb{C}$ mais pas holomorphe ?
On prend $f(z)=\bar{z}$ (ils m'ont largement soufflé l'idée). Ils m'ont demandé d'expliquer: j'ai donc fait le taux d'accroissements et, avec beaucoup de mal, ai réussi à montrer que la limite n'existait pas (on approche $0$ sur la droite de réels et sur la droite des imaginaires pures).
4) On prend $f$ une fonction non constante sur un ouvert $\Omega$ de $\mathbb{C}$ telle que $|f|$ admette un minimum en $a$ sur $\Omega$. Montrer que $f$ s'annule sur $\Omega$.
Je n'avais aucune idée. Ils m'ont suggéré un raisonnement par l'absurde, et c'est allé tout seul: on suppose qu'elle ne s'annule pas sur $\Omega$, on considère $1/f$ dont le module admet alors un maximum en $a$ et on utilise le principe du module maximum qui donne que $1/f$ et donc $f$ est constante.
Ils étaient trois (deux hommes et une femme), et ont été vraiment très gentils et bienveillants. La femme ne faisait que me sourire et m'aidait quand je n'avais pas d'idée, un des deux hommes (celui qui posait les questions de cours au début) me souriait aussi mais ne parlait pas beaucoup, et le troisième (celui qui m'a posé la majeur partie des exercices) était moins souriant mais m'aidait aussi quand j'étais en panne d'idée.
J'avais vraiment très peur, car j'ai regretté mon choix au bout d'une dizaine de minutes en me rendant compte que je ne savais presque rien sur les fonctions holomorphes (bon finalement je l'ai quand même eue, comme quoi tout est possible ^^). Je pense que le fait qu'ils aient été vraiment bienveillants (plus que pour l'algèbre, et bien plus que pour la modélisation) a beaucoup aidé à me mettre à l'aise, et j'ai pu réfléchir posément. Ils n'attendent pas une réponse immédiate aux questions, mais des idées et des pistes de réflexions, et ils aident beaucoup dans cette réflexion. Ca c'est donc mieux passé que prévu.
Pour la préparation, j'ai essentiellement copié Marco (je connaissais mon plan par coeur donc j'ai juste rempli les parties) et j'ai pu écrire la leçon en 1h10, ensuit j'ai refait mes développements (environ 30 minutes) puis j'ai utilisé le temps qu'il me restait pour revoir les démonstrations des propositions de mon plan (je pense que le mieux est de découper la préparation de cette manière, à condition de connaitre plan et développements sur le bout des doigts).
10
245 : Fonctions holomorphes sur un ouvert de $C$. Exemples et applications.
Théorème d'uniformisation de Riemann (ou théorème de représentation conforme)
Pas de réponse fournie.
Pas de réponse fournie.
Défense de plan ok, jury attentif, puis développement (uniformisation de Riemann).
Quelques questions sur le développement (pourquoi existe-t-il une racine carrée holomorphe, pourquoi l'image d'un ouvert simplement connexe par une application continue est-elle simplement connexe, pourquoi là c'est ouvert etc.)
Comment démontre-t-on le théorème de Montel ? (Ascoli car équilipschitz car on contrôle les dérivées grâce à la formule de Cauchy blabla)
Puis séances de questions :
Q : montrer que $\forall z \in \mathbb{C} \setminus \mathbb{Z}$ on a $\pi cotan( \pi )z = \sum_{n \in \mathbb{Z}} \dfrac{1}{z-n}$
R : alors bah déjà j'vais arranger le terme de droite pour bien dire que c'est convergent, puis après je vais isoler le terme d'ordre zéro... Ces deux fonctions sont méromorphes je vais montrer qu'elles ont les mêmes pôles...
Q : oui mais elles ont quoi d'autre comme propriétés ?
R : ah oui 1-périodique donc je regarde que le pole en zéro... je le fais. Quelques fois, mes méthodes de calculs ne lui plaisent pas trop (j'ai été partisan du plutôt faire plus que faire moins mais visiblement ils voulaient que j'aille moins loin dans les détails). Après faut borner quand la partie imaginaire explose je le fais... Puis Liouville, la différence est entière bornée .. et la limite en l'infini vers les imaginaires complexes donne le résultat
Q : existe-t-il une fonction holomorphe au voisinage de zéro telle que $\forall n \in \mathbb{N}^*,~ f(1/n) = (-1)^n / n^3$ ?
R : (là je sens bien que la réponse est non) bah euh j'vais voir... je suis parti dans la mauvaise direction je voulais regarder g(z) = f(1/z) mais elle m'a dit "non non regardez elle vaut quoi en zéro ? Ah oui : du coup f(z) = o(z) donc en fait f(z) = C z^2 + o(z^2) je mets 1/n donc C = 0... du coup après en allant à l'ordre supérieur on a que C' = (-1)^n pas possible ca doit etre constant et voilà
Jury très sympa, mais seuls deux d'entre eux ont discuté (la troisième personne ne devait pas être très branchée analyse complexe)
Je crois que je leur ai coupé la parole à un moment mais ils ne m'en ont visiblement pas voulu
Oui très bien. Aucune surprise sur ce point de vue là, j'avais bien bossé la leçon.
19.75
245 : Fonctions holomorphes sur un ouvert de $C$. Exemples et applications.
208 : Espaces vectoriels normés, applications linéaires continues. Exemples.
Pas de réponse fournie.
Pas de réponse fournie.
Démo : toute application holomorphe possède la prop de la moyenne.
Exo: existe t- il une fonction holomorphe vérifiant f(1/n)=(-1)^n (1/n)^3
F:R--> C définie par une intégrale à paramètre t'a pour tout x>10 f(x)=0. Montrer que f est constante égale à 0.
Aide
Pas de réponse fournie.
8.75
245 : Fonctions holomorphes sur un ouvert de $C$. Exemples et applications.
219 : Extremums : existence, caractérisation, recherche. Exemples et applications.
Pas de réponse fournie.
Pas de réponse fournie.
Quelques questions sur le développement, une ou deux sur le plan et surtout des exos.
ils ont voulu que j'explique plus lentement le passage 'il existe epsilon tel que D_epsilon est inclus dans phi^-1(omega)' pour ceux qui connaissent le développement
Vous avez dit que la différentielle étaitune similitude drecte, que vouliez vous dire ? Alors bon j'explique tout un tas de trucs, en fait il voulait seulement que je dise que ça conserve les angles.
pourquoi une série entière de rayon de convergence fini a au moins un point singulier ?
Alors par l'absurde, si tous les points sont réguliers t'as autour de chaque point du cercle de convergence un ouvert où ta fonction se prolonge en une fonction holomorphe, t'en extrait un sous recouvrement fini par compacité du cercle et ensuite gros dilemme parce que tu peux étendre ta série en une fonction holomorphe sur un disque plus grand mais est ce que ça veut dire que ta série entière a un rayon de convergence plus grand que prévu et bah ouais, suffit de regarder la formule de Cauchy sur un cercle plus grand où ta fonction est holomorphe et ... fin regarde la preuve de 'une fonction holomorphe est analytique c'est la même idée'
Que sont les biholomorphismes du plan ? Les fonctions affines. On suppose le biholomorphisme nul en 0, on regarde l'inverse, on montre que 0 est un pôle de multiplicité 1 de l'inverse car la dérivée en 0 de f n'est pas nul, il faut pour le voir regarder la dérivée de la composée de la fonction avec sont inverse, bref on fait mumuse. on retire à l'inverse la partie en 1/z, c'est une fonction holomorphe, on montre qu'elle est bornée, on utilise le théorème de Liouville et du coup elle est constante et même nulle et on finit par montrer que le biholomorphisme est une fonction affine et fichtre quand t'as jamais vu ça de ta vie, t'es content d'en avoir fini.
Pas de réponse fournie.
Plutôt bien passé je crois, une leçon pas évidente, j'ai répondu aux questions et leurs questions remuaient beaucoup de notions de mon plan et étaient loin d'être triviales. Ils étaient assez neutres, j'ai un peu dépassé le temps imparti à la défense de plan mais ils n'ont rien dit. J'avais quelques craintes sur mon plan, basé sur l'Amar Matheron qui démontre la formule de Cauchy en mode je suis un psychopathe, j'aime les 1-formes, mais ils ne m'en ont pas parlé, ils m'ont posé quelques questions sur d'autres points du plan, mais pas sur la partie trash.
Pas de réponse fournie.