A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

95 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Vers le théorème de Cauchy

suivant: Topologie de monter: Fonctions holomorphes précédent: Généralités Index

Vers le théorème de Cauchy

Proposition Soit $\mu$ une mesure complexe sur un espace mesurable , $\phi$ une fonction complexe mesurable, $\Omega$ un ouvert du plan qui ne rencontre pas $\phi(X)$ . Alors avec

$\displaystyle f(z)=\int_X \frac{d\mu(t)}{\phi(t)-z}$

définie pour $z \in \Omega$ On a $f\in H(\Omega)$

Démonstration: $\bullet\$ On développe en série entière $1/(\phi(t)-z)$ sur un disque suffisamment petit pour être inclus dans $\Omega$ et pour que la convergence soit uniforme.

$\bullet\$ On permute alors l'intégrale et la somme (merci la convergence uniforme), et on obtient bien le résultat désiré. $\sqcap$ $\sqcup$

Définition

On appelle courbe une application continue d'un intervalle de $\mathbb{R}$ dans $\mathbb{C}$ .

On appelle chemin une application continue par morceaux d'un intervalle de $\mathbb{R}$ dans $\mathbb{C}$ .

Une courbe ou un chemin $\gamma$ est dit fermé si $\gamma (a)=\gamma (b)$ .

Etant donné $\gamma$ une courbe, on note $\gamma ^*$ l'image de par $\gamma$ .

Etant donné $\gamma$ un chemin et une fonction continue sur $\gamma ^*$ , on note $\int_\gamma f(z).dz$ l'intégrale $\int_{[a,b]} f(t).\gamma '(t).dt$ , on appelle cette intégrale l'intégrale de le long de $\gamma$ .

Deux chemins $\gamma$ et $\gamma '$ sont dits équivalents, si pour toute fonction continue sur $\gamma ^*$ et $\gamma '^*$ l'intégrale de le long de $\gamma$ est égale à l'intégrale de le long de $\gamma '$ .

La longueur d'un chemin $\gamma$ est l'intégrale de la fonction constante égale à le long de cet arc.

On appelle indice de pour $z \in \Omega$ par rapport à $\gamma$ , avec $\Omega$ le complémentaire de $\gamma ^*$ , le complexe

$\displaystyle Ind_\gamma (z)=\frac{1}{2.i.\Pi}\int_\gamma \frac{dt}{t-z}$

si $\phi$ est une bijection de dans , si $\gamma$ est un chemin d'intervalle de définition et $\gamma '$ est un chemin d'intervalle de définition , alors si $\gamma =\gamma ' \circ \phi$ alors l'intégrale le long de $\gamma$ est la même que l'intégrale le long de $\gamma '$ ; c'est à dire qu'un reparamétrage transforme un chemin en un chemin équivalent.

Théorème [Indice] L'indice de par rapport à $\gamma$ est entier, constant sur chaque composante connexe de $\Omega$ (le complémentaire de $\gamma ^*$ ), et nul sur la seule composante connexe de $\Omega$ qui ne soit pas bornée.

Démonstration: $\bullet\$ Pour voir qu'il y a une seule composante connexe non bornée, c'est facile, il suffit de voir que $\gamma ^*$ est inclus dans un disque; le complémentaire de ce disque est connexe et donc inclus dans une composante connexe.

$\bullet\$ Pour voir que l'indice est un entier, on suppose l'arc défini sur , on considère la fonction qui à associe $exp(\int_0^t \frac{\gamma '(u)}{\gamma (u)-z}.du)$ . En dérivant cette fonction, on obtient qu'elle est proportionnelle à $\gamma (t)-z$ .

$\bullet\$ On déduit de ça que notre fonction prend la valeur en , ce qui est pile poil ce qu'il nous fallait pour que notre fonction soit un multiple de $2i\Pi$ .

$\bullet\$ L'indice est constant sur chaque composante connexe, puisqu'il est continu et que chaque composante connexe a donc une image connexe.

$\bullet\$ $\vert \frac{1}{2i\Pi} \int_0^1 \frac{\gamma '(s).ds}{\gamma (s)-z} \vert \leq \vert \frac M {2\Pi}\int_0^1 \gamma '(s).ds \vert$ , avec un majorant de $\vert\frac 1 {\gamma (s)-z}\vert$ . tendant vers 0 pour tendant vers l'infini, l'indice est de module inférieur à pour assez grand, et donc il est nul sur la composante connexe non bornée. $\sqcap$ $\sqcup$

Quelques remarques:

- On montre facilement que l'indice d'un point par rapport au chemin $[0,1] \to \mathbb{C}$ , $t \mapsto e^{2i\Pi.t}$ , est si $\vert z\vert < 1$ et 0 sinon.

- On montre facilement que l'intégrale de la dérivée d'une fonction holomorphe le long d'une chemin fermé est nulle. Par suite, l'intégrale d'un polynôme le long d'un chemin fermé est nulle.

Lemme [Théorème de Cauchy dans le cas d'un triangle dans un convexe] Soit un triangle de sommets , et . L'intégrale le long de ce triangle est en fait l'intégrale suivant , plus l'intégrale suivant , plus l'intégrale suivant .

On suppose $\Omega$ convexe.

Alors soit une fonction continue sur $\Omega$ , et holomorphe sur $\Omega\setminus\{ p \}$ , avec $p \in \Omega$ .

Alors l'intégrale de le long du triangle est nulle.

(On montrerait facilement le même résultat pour un carré où n'importe quel autre polygone, en le triangulant)

Démonstration:

Il faut distinguer trois cas

$\bullet\$ n'est sur aucun des trois côtés du triangle. Alors on coupe le triangle en quatre plus petits triangles, comme sur la figure (schéma de gauche), et on constate que l'intégrale sur au moins l'un des triangles doit être de valeur absolue le quart de la valeur absolue de l'intégrale le long du gros triangle; or la longueur du petit triangle est la moitié de la longueur du gros. On construit ainsi par récurrence une suite de triangles $\mathbb{D}_n$ de longueur $L.2^{-n}$ . On considère le point , intersection des triangles.

Soit $\epsilon$ un réel . est dérivable en . Il existe donc un triangle $\mathbb{D}_n$ tel que pour dans $\mathbb{D}_n$ , est de module inférieur à $\epsilon .\vert z-x\vert$ . Or l'intégrale d'une fonction polynôme sur un chemin fermé est nulle, puisqu'un polynôme est la dérivée d'un autre polynôme.

On obtient ainsi que l'intégrale le long du petit triangle est majorée par $\epsilon .(2^{-n}.L)^2$ ; et puisque l'intégrale sur le grand triangle initial est majorée par fois le module de l'intégrale sur le triangle $\mathbb{D}^n$ , on en déduit que cette intégrale est nulle.

$\bullet\$ On suppose maintenant que soit égal à ( ou se traitent bien sûr de même). Alors on place et comme sur la figure (schéma de droite); l'intégrale de sur les triangles et est nulle; et celle sur peut être rendue aussi petite qu'on le souhaite, puisqu'il suffit de faire tendre et vers (rappelons que est continue, sur un compact, donc bornée).

$\bullet\$ Supposons maintenant que soit un point de ; il suffit alors de raisonner sur , et pour conclure. $\sqcap$ $\sqcup$

**Figure:** Découpage en petits triangles; on utilise les milieux des côtés.
$\begin{figure}\begin{displaymath} \epsfxsize =7cm \epsfbox{triangles.eps}\end{displaymath}\end{figure}$

Ceux qui ont un peu d'avance auront constaté que l'hypothèse implique en fait que soit holomorphe sur tout $\Omega$ ; mais nous avons besoin de notre lemme avec ces hypothèses-ci afin d'arriver à prouver les résultats qui impliqueront ces résultats.

On passe maintenant à une version un peu plus forte:

Théorème [Théorème de Cauchy dans un ensemble convexe] On suppose $\Omega$ ouvert et convexe, dans $\Omega$ , continue sur $\Omega$ et $f\in H(\Omega \setminus \{p\}$ .

Alors l'intégrale de le long de $\gamma$ est nulle pour tout chemin $\gamma$ fermé tel que $\gamma ^* \subset \Omega$ .

Démonstration: On fixe un point de $\Omega$ , et on définit pour dans $\Omega$ comme l'intégrale sur de .

On raisonne alors sur des triangles pour considérer la limite de $\frac{F(z)-F(x)}{z-x}$ pour tendant vers . On montre facilement que cette limite est , et donc que est une dérivée et est continue, et donc le résultat est clair. $\sqcap$ $\sqcup$

Théorème [Formule de Cauchy dans un ensemble convexe] On se donne $\gamma$ un chemin fermé dans un ouvert convexe $\Omega$ , et holomorphe sur $\Omega$ . Si $z \in \Omega$ et $z \not \in \gamma ^*$ alors

$\displaystyle f(z).Ind_\gamma (z)=\frac 1 {2i\Pi} \int_\gamma \frac{f(u)}{u-z}.du$

Démonstration:

On se donne vérifiant les hypothèses. On définit alors par $g(u)=\frac{f(u)-f(z)}{u-z}$ si $u\in \Omega$ et $u\neq z$ , et .

La fonction est continue, et holomorphe en tout point de $\Omega \setminus \{ z \}$ , donc d'après le théorème , on a $\int_\gamma g(u).du=0$ . En coupant en ses deux termes $\frac{f(u)}{u-z}$ et $\frac{f(z)}{u-z}$ , on obtient le résultat désiré. $\sqcap$ $\sqcup$

On arrive maintenant à un résultat fondamental d'analyse complexe, facilement démontrable grâce aux résultats qui précèdent.

Théorème [Développement en série entière des fonctions holomorphes] Toute fonction holomorphe est développable en série entière.

Démonstration: On se donne dans $\Omega$ , et un disque suffisamment réduit centré en pour être inclus dans $\Omega$ .

Alors on applique la formule de Cauchy (théorème ) à sur le convexe , avec pour $\gamma$ l'application de dans $\mathbb{C}$ définie par $t\mapsto a+re^{2i\Pi.t}$ .

On obtient une expression de qui permet d'appliquer la proposition , et on a fini... $\sqcap$ $\sqcup$

Remarquons qu'une fonction holomorphe est développable en série entière, donc sa dérivée est développable en série entière, donc sa dérivée est holomorphe. La dérivée d'une fonction holomorphe est donc une fonction holomorphe. En fait une fonction $\mathbb{C}$ -dérivable (i.e. dérivable au sens complexe) est $C^\infty$ .

Enfin un théorème qui peut servir et qui ne coûte pas cher à montrer maintenant qu'on en est là:

Théorème [Théorème de Morera] Soit une fonction continue complexe dans un ouvert $\Omega$ dont l'intégrale sur tout triangle est nulle. Alors est holomorphe sur $\Omega$ .

Démonstration: $\bullet\$ On considère un disque ouvert inclus dans $\Omega$ centré sur .

$\bullet\$ On construit une fonction sur dont est la dérivée, par $F(z)=\int_{[a,z]} f(u).du$ (un disque, c'est convexe...).

$\bullet\$ est holomorphe, donc sa dérivée est holomorphe.

$\bullet\$ Puisque tout cela est valable pour n'importe quel disque inclus dans $\Omega$ , est holomorphe sur $\Omega$ . $\sqcap$ $\sqcup$

Voir le théorème .

Maintenant on va voir plein de conséquences de ces fort jolis théorèmes.

Théorème Soit une fonction holomorphe sur $\Omega$ un ouvert connexe. Soit l'ensemble des tels que . Alors soit est égal à $\Omega$ , soit n'a pas de point d'accumulation dans $\mathbb{C}$ .

Si n'est pas $\mathbb{C}$ alors peut pour tout dans trouver un entier positif unique tel que , avec holomorphe non nulle en . L'ensemble des zéros de est dans ce cas au plus dénombrable.

On verra une jolie application avec le théorème de Runge .

Démonstration: Soit l'ensemble des points d'accumulation de . $Z' \subset Z$ , car étant continue, est fermé.

On considère le développement en série entière de sur un disque centré sur quelconque dans ;

$\displaystyle f(z)=\sum_{n\in \mathbb{N}} c_n.(z-a)^n$

pour tout $z\in D$ .

Si les ne sont pas tous nuls, on considère le plus petit entier tel que $c_m \neq 0$ . On sait alors que , définie par $g(z)=\frac{f(z)}{(z-a)^m}$ si $z\neq a$ et , vérifie les conditions demandées. Par continuité de , on peut alors déduire que est un point isolé de , puisque est non nul sur un voisinage de .

Le fait que ne contienne aucun point d'accumulation implique que contient un nombre fini de points sur toute boule de rayon , et donc que est au plus dénombrable.

De tout ça on déduit que si est dans , alors il y a un disque autour de qui est aussi dans . Donc est ouvert, puisqu'il contient un disque centré sur pour tout dans . Mais il est aussi fermé, puisqu'il est un ensemble de points d'accumulations. Donc s'il n'est pas vide et que l'on travaille dans un connexe, est égal à $\Omega$ . $\sqcap$ $\sqcup$

On remarque au passage que deux fonctions holomorphes égales sur un ensemble ayant un point d'accumulation sont donc nécéssairement égales (leur différence est holomorphe et nulle sur un ensemble ayant un point d'accumulation). Ce résultat est connu sous le nom de principe de prolongement analytique.

Proposition [Principe du prolongement analytique] Si deux fonctions holomorphes sont égales sur un ensemble ayant un point d'accumulation alors elles sont égales partout où elles sont définies.

Définition On appelle l'ordre du zéro de en .

Si est holomorphe sur un ouvert $\Omega$ privé d'un point , et n'est pas holomorphe en , on dit que admet une singularité isolée en .

La singularité est dite artificielle si en changeant on peut rendre holomorphe en .

Théorème Si admet une singularité isolée en et est bornée sur un voisinage de , alors la singularité est artificielle.

Démonstration: $\bullet\$ On définit par $h=(z \mapsto (z-a)^2.f(z))$ , et .

$\bullet\$ est holomorphe, on la développe en série entière, $h(z)=\sum_{n\geq 2} c_n.(z-a)^n$ ( est nulle et de dérivée nulle en , puisque est bornée sur un certain voisinage de ).

$\bullet\$ Il ne reste alors plus qu'à poser . $\sqcap$ $\sqcup$

On peut faire encore plus fort:

Théorème Soit $f \in H(\Omega\setminus\{a\})$ , alors l'un des cas suivants se produit:

- admet une singularité artificielle en ou pas de singularité du tout

- il existe des en nombre fini tels que $z \mapsto f(z) - \sum \frac{c_i}{(z-a)^i}$ admette une singularité artificielle en .

- L'image de tout voisinage de par est dense dans $\mathbb{C}$

Démonstration:

$\bullet\$ Supposons qu'on ne soit pas dans le troisième cas, et choisissons tel que n'appartienne pas à l'adhérence de avec .

$\bullet\$ Définissons $g(z)=\frac 1 {f(z)-w}$

$\bullet\$ est holomorphe sur , et est bornée dans un voisinage de ; donc est prolongeable en une fonction holomorphe sur .

$\bullet\$ Si $g(a)\neq 0$ , alors est prolongeable en une fonction holomorphe, et on n'en parle plus, c'est le premier cas.

$\bullet\$ Sinon, alors on considère l'ordre du zéro de en , et on développe en série entière $z\mapsto \frac{(z-a)^m}{g(z)}$ .

$\bullet\$ La flemme de finir, mais c'est pas très dur à partir de là... $\sqcap$ $\sqcup$

Définition Dans le deuxième cas, $\sum_{i=1}^m \frac{c_i}{(z-a)^i}$ est appelé partie principale du pôle de en ; est appelé l'ordre du pôle en .

est appelé résidu de en ; on le note .

Dans le troisième cas, on dit que a une singularité essentielle en .

Dans le premier cas, on dit que a une singularité artificielle en .

Théorème On se donne une série entière, $f(z)=\sum_{n\in \mathbb{N}} c_n.(z-a)^n$ , pour $\vert z\vert<R$ . Alors pour tout tel que on a

$\displaystyle \sum_{\mathbb{N}} \vert c_n\vert^2.r^{2n}=\frac 1 {2\Pi} \int_0^{2\Pi} \vert f(a+re^{i\theta})\vert^2.d\theta$

Démonstration: Considérer la formule de Parseval (voir théorème ), avec la base des $\theta\mapsto e^{-in\theta}$ . $\sqcap$ $\sqcup$

Quelques corollaires pas trop difficiles:

Corollaire [Théorème de Liouville] Une fonction holomorphe sur $\mathbb{C}$ tout entier (On dit que cette fonction est entière ) est soit constante soit non bornée.

- si holomorphe n'est pas constante sur un domaine (i.e. ouvert connexe) $\Omega$ , alors tout voisinage de contient un point tel que $\vert f(b)\vert>\vert f(a)\vert$ .

Autre corollaire:

Théorème [Estimations de Cauchy] holomorphe sur un disque ouvert de rayon , $\vert f\vert$ bornée par sur , alors $\vert f^{(n)}(a)\vert \leq \frac{n!\ M}{R^n}$ pour tout $n\geq 0$ .

Ceci servira pour le théorème et pour le théorème .

Passons maintenant à des propriétés de passage à la limite:

Théorème Soit une suite de fonctions holomorphes sur $\Omega$ tendant vers uniformément sur tout compact de $\Omega$ . Alors est holomorphe, et les convergent uniformément sur tout compact vers .

Démonstration:

$\bullet\$ est continue comme limite uniforme sur tout compact d'une suite de fonctions continues.

$\bullet\$ Pour le caractère holomorphe de , on regarde ce qu'il se passe sur des diques ouverts ( $\Omega$ étant réunion de tels disques) et il suffit ensuite de considérer l'intégrale de sur le contour d'un triangle inclus dans un disque (un tel disque étant convexe); l'intégrale d'une limite uniforme étant la limite de l'intégrale, on déduit que l'intégrale de sur tout triangle est nulle. Le théorème de Morera (voir théorème ) permet de conclure.

$\bullet\$ On utilise ensuite le théorème pour voir que $\vert f'(z)-f'_n(z)\vert \leq \frac 1 r {\parallel}f - f_n {\parallel}_K$ , avec un compact; d'où la convergence uniforme des dérivées, et le résultat désiré. $\sqcap$ $\sqcup$

Théorème On suppose $\Omega$ convexe, des points distincts de $\Omega$ , et holomorphe sur $\Omega \setminus \{a_1,...,a_n\}$ . On suppose que admet en pôle en chaque , et on se donne un chemin fermé $\gamma$ ne passant pas par les . Alors

$\displaystyle \frac 1 {2i\Pi} \int_\gamma f(z).dz = \sum_{k=1}^n Res(f;a_k).Ind_\gamma (a_k)$

Démonstration: On applique le théorème de Cauchy à la fonction moins ses parties principales en les ; l'intégrale de cette fonction est donc nulle. Il ne reste alors qu'à considérer l'intégrale des parties principales, ce qui est facile au vu de résultats antérieurs (voir le théorème , et le fait que pour $n\neq -1$ a une primitive holomorphe sur $\mathbb{C}\setminus\{0\}$ ).

Théorème $\bullet\$ Si est holomorphe et admet un zéro d'ordre en , alors le résidu de en est .

$\bullet\$ Si est holomorphe sur $\Omega \setminus \{a\}$ , alors le résidu de en est égal à .

Démonstration: Pas dur... Il suffit de réécrire la fonction soit en divisant par (premier $\bullet\$ ), soit en soustrayant la partie principale du pôle (second $\bullet\$ )... $\sqcap$ $\sqcup$

Théorème Soit une fonction holomorphe, et $\gamma$ un chemin $\theta\mapsto a+re^{i\theta}$ , avec $\overline D(a,r)$ inclus dans $\Omega$ .

On définit $\Gamma =f \circ \gamma$ . Soit n'appartenant pas à $\Gamma ^*$ .

Alors le nombre de zéros de dans , comptés avec leurs ordres de multiplicité, est égal à l'indice de par rapport à $\Gamma$ .

Démonstration: Le nombre de zéros de dans est égal à la somme des résidus de dans , et cette somme est bien l'indice de par rapport à $\Gamma$ . $\sqcap$ $\sqcup$

Théorème [Théorème de l'image ouverte] On se donne $\Omega$ un ouvert connexe, i.e. un domaine, et holomorphe sur $\Omega$ . Alors si n'est pas constante, et pour tout dans $\Omega$ , induit sur un voisinage ouvert de une application surjective de sur un ouvert , telle que pour tout dans $W\setminus \{w_0=f(z_0)\}$ , il y ait exactement points distincts $z \in V$ dont l'image par est , avec l'ordre du zéro de en .

Démonstration:

$\bullet\$ on considère un cercle orienté suffisamment petit autour de pour que le disque de même centre et de même rayon ne comporte pas de zéro ni de ni de dedans, à part lui-même.

$\bullet\$ on considère le contour de ce cercle suffisamment petit

$\bullet\$ on considère l'image par de ce contour, et la composante connexe de dans le complémentaire de cette image ( est ouvert comme composante connexe d'un ouvert, le complémentaire de l'image d'un compact étant évidemment fermé puisque complémentaire d'un compact (rappelons que l'image d'un compact par une application continue est un compact)).

$\bullet\$ on prend alors pour l'intersection du disque ouvert et de l'image réciproque de .

$\bullet\$ L'indice de par rapport à $\Gamma =f \circ \gamma$ est , ainsi donc que l'indice de tout dans . D'où le résultat... $\sqcap$ $\sqcup$

Remarquons un corollaire intéressant, qui donne son nom à ce théorème; l'image de tout ouvert par une fonction holomorphe est un ouvert.

Il est clair au vu du théorème précédent que si l'on a non nul, avec holomorphe, alors on a localement une bijection autour de . On peut améliorer ce résultat; la réciproque locale, est elle aussi holomorphe; cela fait l'objet du théorème suivant.

Théorème Soit holomorphe, de dérivée non nulle en alors on peut trouver un ouvert contenant tel que induise une bijection de sur ; la réciproque de est holomorphe sur .

Démonstration: Tout ce qui reste à prouver est le caractère holomorphe de la réciproque de sur .

Pour cela on considère $\frac{g(z)-g(a)}{z-a}$ , on utilise la continuité de (qui découle du fait que est une application ouverte, i.e. que l'image de tout ouvert par une fonction holomorphe est une fonction holomorphe), et le fait que est non nul, et tout ça coule de source... $\sqcap$ $\sqcup$

On va maintenant montrer que l'on a le droit de modifier "un peu" une courbe sans changer l'indice d'un point par rapport à cette courbe.

Théorème Si $\gamma _1$ et $\gamma _2$ sont deux chemins d'intervalle de paramétrage (ou autre chose...) et si pour tout $t \in [0,1]$ on a $\vert\gamma _1(t)-\gamma _2(t)\vert \leq \vert\gamma _1(t)\vert$ , alors $Ind_{\gamma _1}(0)=Ind_{\gamma _2}(0)$ .

Démonstration:

$\bullet\$ On pose $\gamma =\gamma _2/\gamma _1$ .

$\bullet\$ On a alors $\frac{\gamma '}{\gamma }=\frac{\gamma '_2}{\gamma _2} - \frac{\gamma '_1}{\gamma _1}$ , donc en intégrant sur on déduit que la différence entre l'indice de 0 par rapport à $\gamma _2$ et l'indice de 0 par rapport à $\gamma _1$ est l'indice de 0 par rapport à $\gamma$ .

$\bullet\$ $\vert 1-\gamma (t)\vert<1$ ; donc l'indice de 0 par rapport à $\gamma$ est 0. $\sqcap$ $\sqcup$

Corollaire [Théorème de Rouché] et holomorphes sur $\Omega$ , le disque fermé de centre et de rayon étant inclus dans $\Omega$ , et $\vert f(z)-g(z)\vert < \vert f(z)\vert$ sur le cercle de centre et de rayon . Alors et ont le même nombre de zéros sur le disque ouvert de centre et de rayon (en comptant leurs multiplicités).

Démonstration: On considère $\gamma (t)=e^{2i\Pi t}$ , et $\gamma _1=f \circ \gamma$ et $\gamma _2=g \circ \gamma$ . On applique alors le théorème précédent... $\sqcap$ $\sqcup$

Cela servira notamment pour montrer le théorème (preuve d'ailleurs fort sympathique). Ainsi que le rappelle Rudin dans [16], on peut aussi utiliser ce résultat pour montrer que tout polynôme de degré a racines dans $\mathbb{C}$ (en montrant que tout polynôme de degré a le même nombre de zéros que , dans un disque de rayon suffisamment grand.