Lemme de Goursat (analyse complexe)

Ne pas confondre avec le lemme de Goursat en algèbre.

En analyse complexe, le lemme de Goursat (ou théorème de Goursat) est une version faible du théorème intégral de Cauchy. Selon ce lemme, si une fonction d'une variable complexe est définie et dérivable au voisinage d'un rectangle ou d'un triangle, alors son intégrale curviligne sur le contour est nulle. Initialement, le lemme de Goursat a été pressenti en 1814 par Augustin Louis Cauchy, qui intégra des fonctions d'une variable complexe sur des rectangles.

La preuve du lemme de Goursat ne fait intervenir aucun résultat d'analyse complexe: dans les cours de licence ou dans les livres d'introduction, le lemme de Goursat prépare le terrain à la formule intégrale de Cauchy, qui permet de calculer la valeur d'une fonction holomorphe et de ses dérivées en fonction de ses valeurs sur un contour (pas forcément un triangle ou un rectangle).

Le lemme de Goursat présente pour seul intérêt des démonstrations plus faciles que la formule intégrale très générale de Cauchy.

Sommaire

1 Préparation
- 1.1 Dérivation
- 1.2 Intégrale curviligne sur un segment
2 Le lemme de Goursat
3 Démonstrations
- 3.1 Variation sur les rectangles
- 3.2 Divisions d'un triangle
4 Notes et références

Préparation

Dans cet article, U désigne un ouvert du plan complexe $\mathbb C$ , et f est une fonction définie sur U à valeurs complexes.

Dérivation

Articles détaillés : Fonction holomorphe et Équations de Cauchy-Riemann.

Rappels sur l'holomorphie et de l'équation de Cauchy Riemann

La fonction f est dérivable en un point Z de U (sous-entendu, par rapport à la variable complexe) si, pour tout nombre complexe z dans U, on a :

f (z) = f (Z) + a .(z - Z) + o (z - Z)

Cette écriture est un développement limité en Z et donne le comportement de f au premier ordre, sans aucune information supplémentaire. Le nombre a est un nombre complexe, appelé dérivée de f en Z, et noté $f'(Z)$ . Si f est dérivable en Z, alors elle est continue en ce point. Une présentation plus détaillée est donnée dans l'article fonction holomorphe.

Le plan complexe $\mathbb C$ peut être naturellement identifié au plan réel $\mathbb R$ ². À un nombre complexe z, on peut associer sa partie réelle x et sa partie imaginaire y. Si la fonction f est dérivable en Z, alors elle est différentiable en Z (en tant que fonction de deux variables réelles), et sa différentielle est l'application

$df(Z):\, \C \to \C, h\mapsto f'(Z) h$ .

En particulier, il vient:

$(i\partial_x-\partial_y)f=0$ . Cette équation, appelée équation de Cauchy-Riemann, servira par la suite pour calculer des variations de f.

Intégrale curviligne sur un segment

Article détaillé : Intégrale curviligne.

Rappels sur l'expression d'une intégrale curviligne le long d'un segment

Si Z et W sont des points du plan complexe $\mathbb C$ , alors le segment [Z,W] est l'ensemble des nombres complexes qui s'écrivent sous la forme:

σ(t) = t W + (1 - t) Z

L'application $\sigma:[0,1]\rightarrow \mathbb{C}$ est une application affine, d'image le segment [Z,W]. C'est ce qu'on appelle un paramétrage affine. Si l'application f est définie et continue au voisinage du segment [Z,W], alors la composée $f\circ\sigma$ est une fonction continue d'une variable réelle. On définit alors l'intégrale curviligne de f le long du segment [Z,W]:

$\int_{[Z,W]}f(z)\, dz:=\int_0^1f\left[tW+(1-t)Z\right]\, (W-Z)\, dt$ . Une ligne polygonale, à l'exemple du triangle ou du rectangle, est une concaténation de segments, dont l'extrimité de l'un est l'origine du suivant. L'intégrale curviligne le long d'une ligne polygonale se définit comme la somme des intégrales curvilignes le long des segments qui la constituent.

Le lemme de Goursat

Le théorème de Goursat peut s'énoncer soit pour les rectangles, soit pour les triangles.

Pour les rectangles

Énoncé du lemme de Goursat pour les rectangles — Si $\ f$ est une fonction d'une variable complexe définie et dérivable (holomorphe) sur un voisinage ouvert d'un rectangle $\ R$ , alors l'intégrale curviligne de $\ f$ sur le contour $\partial R$ de $\ R$ est nulle :

$\oint_{\partial R} f(z)\, dz=0$ .

Ce résultat reste vrai si $\ f$ est supposée continue sur l'ouvert considéré, et holomorphe sur cet ouvert sauf peut-être en un nombre fini de points^[1].

Pour rappel, un rectangle n'est pas simplement son contour, c'est également le domaine intérieur à ce contour (un rectangle est un compact simplement connexe), et donc il ne suffit pas que f soit holomorphe sur le contour, il faut qu'elle le soit sur tout le rectangle.

Le fait que ce théorème soit valable pour une fonction holomorphe sauf en quelques points où elle est continue, se transmet au théorème intégral de Cauchy. L'intérêt réside alors dans la démonstration de la formule intégrale de Cauchy à partir d'une fonction holomorphe sauf en un point où elle est continue à laquelle on applique le théorème intégral de Cauchy.

Pour les triangles

Énoncé du lemme de Goursat pour les triangles — Si $\ f$ est une fonction d'une variable complexe définie et dérivable (holomorphe) sur un voisinage ouvert d'un triangle $\ T$ , alors l'intégrale curviligne de $\ f$ sur le contour $\partial T$ de $\ T$ est nulle :

$\oint_{\partial \mathbf{T}}f(z)\, dz=0$ .

Ce résultat reste vrai si $\ f$ n'est pas holomorphe sur un nombre fini de points de l'ouvert considéré, tout en y restant continue.

Pour rappel, un triangle n'est pas simplement son contour, c'est également le domaine intérieur à ce contour (un triangle est un compact simplement connexe), et donc il ne suffit pas que f soit holomorphe sur le contour, il faut qu'elle le soit sur tout le triangle (ou si elle y est holomorphe sauf en un nombre fini de points où elle est néanmoins continue).

Remarque : extension à tout polygone

Ces résultats s'étendent facilement à tout polygone : Soit une fonction holomorphe sur un ouvert contenant le domaine défini par le polygone, son intégrale sur le contour est nulle. Le résultat reste également vrai si la fonction n'est pas holomorphe sur un nombre fini de points tout en y restant continue.

Explication

Hexagone découpé en 4 triangles. Lors de la sommation des intégrales, chaque segment intérieur se trouve parcouru une fois dans chaque sens, ce qui annule l'intégrale sur celui ci.

Cela se démontre facilement en découpant le polygone en triangles (contenus dans le polygone) : si le polygone n'est pas un triangle, on joint un des sommets du polygone à un autre qui n'est pas un sommet voisin. On a ainsi défini deux nouveaux polygones de chaque côté du segment. On répète cette opération dans chacun des nouveaux polygones jusqu'à n'obtenir que des triangles. L'intégrale d'une fonction holomorphe étant nulle sur chaque triangle, la somme des intégrales sur les triangles est nulle, or cette somme (en prenant une orientation correcte du parcours de chaque triangle) est égale à l'intégrale de la fonction sur le contour du polygone, puisque chaque segment intérieur au polygone est parcouru une fois dans chaque sens, ce qui annule l'intégrale de la fonction sur ce segment.

Cette extension est sans grand intérêt, le lemme de Goursat n'en présentant que pour la démonstration du Théorème intégral de Cauchy, plus général que cette extension.

Démonstrations

Cet article propose deux démonstrations différentes du lemme de Goursat:

La première démonstration remonte à l'article Sur les intégrales définies de Cauchy, publié en 1814. Cette preuve consiste à effectuer des variations sur la taille d'un rectangle, de partir d'un rectangle plat pour l'allonger. La même preuve pourrait être adaptée pour les triangles mais les notations seraient plus délicates à introduire et à manipuler.
La seconde démonstration, rédigée ci-dessous pour les triangles pleins, est un argument géométrique fondé sur des subdivisions successives. Elle s'appuie sur un raisonnement par l'absurde.

Variation sur les rectangles

Préliminaire

La démonstration sur un rectangle R1 quelconque est maladroite car multiplie le nombres de paramètres : deux pour chacun de ses sommets. Il est aisé de montrer qu'un rectangle quelconque est l'image par une rotation d'un rectangle R0 aux côtés parallèles aux axes des réels et des imaginaires. Un tel rectangle ne possède que 4 paramètres car l'affixe de chaque sommet partage avec celle de ses voisins soit sa partie réelle (abscisse) soit sa partie imaginaire (ordonnée), simplifiant le problème, la démonstration qui suit est effectuée sur ce type de rectangle.

Rectangle R1 et son image, le rectangle R0, par la rotation de centre (a+ic) d'angle -θ

Pour la démonstration à un rectangle R1 quelconque, il suffit de dire que l'intégrale curviligne d'une fonction holomorphe sur R1 est égale à l'intégrale curviligne sur R0 du produit de la dérivée de la rotation par la fonction composant la rotation (changement de variable), de remarquer que cette fonction composition-produit est une fonction holomorphe. On est ainsi ramené à l'intégrale d'une fonction holomorphe sur R0.

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le rectangle, on se ramène à un cas particulier à partir des quatre cas qui peuvent se présenter :

Le point est à l'extérieur du rectangle : ce cas est trivial : on peut trouver un ouvert contenant le rectangle mais pas ce point, le théorème démontré ci dessus s'applique alors.
Le point est sur le sommet : le rectangle peut se découper en quatre rectangles, dont un qui peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit rectangle (qui est aussi petit que voulu donc son périmètre aussi) l'intégrale est aussi petite que voulu.
Le point est sur le contour du rectangle privé des sommets : on coupe le rectangle en deux par une perpendiculaires au rectangle passant par le point qui devient le sommet de deux nouveaux rectangles.
Le point est à l'intérieur du rectangle, alors il est le sommet de 4 nouveaux rectangles.

Une illustration est disponible dans les détails de la démonstration.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le rectangle il suffit de répéter cette opération autant de fois que nécessaire en isolant chaque point dans un rectangle.

Démonstration principale

Soit une fonction f définie et dérivable sur un voisinage ouvert du rectangle plein R, de côtés parallèles à l'axe des réels et des imaginaires. La démonstration aux fonctions continues mais non dérivable en un nombre fini de points sera étendue plus loin.

Le rectangle plein R, représenté ci-à droite, est délimité par ses quatre sommets a + ic, a + id, b + id et b + ic. On va effectuer des variations sur b, et obtenir que l'intégrale curviligne sur le contour $\partial R$ ne dépend pas de b. En prenant b = a (rectangle de largeur nulle), on obtient le résultat recherché. Pour marquer la dépendance de R en b, on le note R(b).

En faisant varier b, on modifie les segments horizontaux [a + ic, b + ic] et [a + id, b + id]. Cette modification induit une variation $\left[f(b+ic)-f(a+ic)\right]\delta b$ sur les intégrales curvilignes.

Par ailleurs, on déplace horizontalement le segment vertical [b + ic, b + id]. Pour calculer la variation de l'intégrale curviligne sur ces segments verticaux, il est nécessaire d'effectuer une dérivation sous le signe intégrale. En appliquant l'équation de Cauchy-Riemann rappelées plus haut, on constate que cette variation compense la variation précédente (pour les segments horizontaux).

Détails de la démonstration

Préliminaire

Un rectangle quelconque R1 est l'image d'un rectangle R0 aux côtés parallèles à l'axe des réels et des imaginaires par une rotation r de centre l'un des sommets du rectangle R1. L'intégrale curviligne d'une fonction holomorphe h sur R1 est donc l'intégrale curviligne du produit de la dérivée de la rotation r avec la composition de la r par hsur R0 :

$\oint_{\partial \mathbf{R1=r<R0>}} h(z)\, dz=\oint_{\partial \mathbf{R0}} r'(w)h(r(w))\, dw$ .

Or la rotation étant une holomorphie, la composée de celle-ci par une fonction holomorphe est une fonction holomorphe, de plus la dérivée de la rotation est également une holomorphie, donc son produit avec la composition est une holomorphie. On est donc ramené à prouver que l'intégrale d'une fonction holomorphe sur un rectangle aux côtés parallèles aux axes des réels et des imaginaires est nulle.

Expression de l'intégrale curviligne

R le rectangle cité précédemment. On fixe B de sorte que R(B) soit inclus dans la domaine de définition de f. On effectue les calculs pour $0\leq b<B$ . L'intégrale curviligne sur un rectangle est la somme des intégrales curvilignes sur ses quatre côtés. Isolons les trois intégrales où b intervient :

$\oint_{\partial \mathbf{R}(b)} f(z)\, dz+\int_0^1 f[a+i(c(1-t)+d*t)]\, (d-c)\, dt=\int_a^b f[t+ic]\, dt- \int_a^b f[t+id]\, dt+\int_c^d f[b+it]\, dt$ .

Variation des deux premiers termes

On a pris soin de modifier les paramétrages pour les segments [a + ic, b + ic] et [a + id, b + id] de sorte de faire sortir au niveau des bornes d'intégration la dépendance par rapport à b des deux premières intégrales de droite. La dérivation par rapport à b pour ces deux intégrales est alors facile à obtenir:

$\frac{\partial}{\partial b}\int_a^b f[t+ic]\, dt=f(b+ic)$ et $\frac{\partial}{\partial b}\int_a^b f[t+id]\, dt=f(b+id)$ .

Variation du troisième terme

La troisième intégrale peut être vue comme une intégrale à un paramètre. On constate, en posant $g : (b,t)\mapsto b+it$ :

Pour tout t entre 0 et 1, la fonction $b\mapsto f(b+it)=f(g(b,t))$ est continument dérivable sur $[0, B)$ ;
La fonction $(b,t)\mapsto \frac{\partial}{\partial b} f(g(b,t))$ est continue sur $[0,B)\times [c,d]$ .

D'après le théorème de dérivation sous le signe intégrale^[2], il vient :

$\frac{\partial}{\partial b}\int_c^d f(g(b,t))\, dt=\int_c^d \frac{\partial}{\partial b}f(g(b,t))\, dt=\int_c^d (\frac{\partial}{\partial b}g(b,t))\partial_b f (g(b,t))\, dt$

Or, l'équation de Cauchy-Riemann nous permet d'écrire:

$\partial_b f(b+it)=i\partial_t f(b+it)=(\partial_t g(b,t))\partial_t f (g(b,t))=\frac{\partial}{\partial t}f(g(b,t))$ .

En injectant cette expression dans l'intégrale, il vient:

$\frac{\partial}{\partial b}\int_c^d f(g(b,t))dt=\int_c^d \frac{\partial}{\partial t}f(g(b,t))\, dt=f(b+id)-f(b+ic)$ .

Variation de l'intégrale curviligne: En combinant les différentes dérivées précédemment obtenues, on trouve:; $\frac{\partial}{\partial b}\oint_{\partial \mathbf{R}(b)}f(z)\, dz=0$ .; Donc l'intégrale curviligne de f sur le contour du rectangle plein $\mathbf{R}(b)$ est constant en fonction de b. Par suite, elle vaut la valeur pour b = a:; $\oint_{\partial \mathbf{R}(b)}f(z)\, dz=\oint_{\partial \mathbf{R}(a)}f(z)\, dz=0$ .

Rectangle et ses subdivisions adaptées à chaque point où la fonction n'est pas holomorphe

Pour le cas où le point est un sommet, le rectangle peut se subdiviser en quatre rectangles dont un contient le point en question. Ce rectangle est aussi petit que voulu.

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le rectangle, quatre cas peuvent se présenter (voir image à droite), dont l'un est trivial, et deux autres cas qui se ramènent au dernier :

Le point est à l'extérieur du rectangle ( $Z 1$ sur l'illustration) : ce cas est trivial, il existe un ouvert contenant le rectangle mais pas ce point, le théorème démontré ci dessus s'applique alors.
Le point est à l'intérieur du rectangle ( $Z 2$ sur l'illustration) : Il se découpe en 4 rectangles ayant pour sommet commun ce point. Pour ces 4 rectangles c'est le quatrième cas qui s'applique.
Le point est sur le contour du rectangle privé des sommets ( $Z 3$ sur l'illustration) : le rectangle se coupe en deux 4par une perpendiculaire (au segment contenant le point) passant par le point, donnant deux rectangles ayant pour un de leur sommet le point à problème : c'est le quatrième cas qui s'applique alors pour ces deux rectangles.
Le point est sur un sommet ( $Z 4$ sur l'illustration) : le rectangle peut se découper en deux rectangles, dont un qui possède ce point comme sommet, il peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit rectangle (qui est aussi petit que voulu donc son périmètre aussi) l'intégrale est aussi petite que voulue :

$\forall \epsilon >0$ soit $R_{\epsilon}$ le carré (par exemple) de sommet $\ Z4$ , de côté de longueur $\epsilon$ .

$| \oint_{\partial {R_\epsilon}} \ f(z) \,dz | \leq 4\epsilon M$

où $\ M$ majore $\ f$ continue sur le compact $\ R$ .

Pour les deux autres rectangles, $\ f$ y est holomorphe, l'intégrale sur leur contour est donc nulle quel que soit $\ \epsilon$ . Donc, $\forall \epsilon, | \oint_{\partial {R_{\epsilon}}} f(z) \,dz | = | \oint_{\partial {R_{\epsilon}}} f(z) \,dz | \leq 3\epsilon M$

L'intégrale est donc nulle.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le rectangle, il suffit d'appliquer autant de fois que nécessaire la méthode ci dessus.

Divisions d'un triangle

Soit une fonction f définie et dérivable au voisinage d'un triangle T, la démonstration aux fonctions continues mais non dérivable en un nombre fini de points sera étendue plus loin.

On suppose par l'absurde que l'intégrale curviligne de f le long de $\partial\mathbf{T}$ est non nulle, et on définit:

$C=\left|\oint_{\partial \mathbf{T}} f(w)\, dw\right|>0$

Par des divisions successives, on va chercher à réduire la taille du triangle, tout en garantissant une faible décroissance de l'intégrale curviligne de f sur son contour. Par une récurrence sur n, on construit une suite décroissante $\left(\mathbf{T}_n\right)$ de triangles pleins vérifiant:

Triangle ABC et ses 4 divisions

$\left|\oint_{\partial \mathbf{T}_n}f(w)\, dw\right|\geq \frac{C}{4^n}$ .

Chaque triangle T_n peut être divisé en quatre petits triangles, comme indiqués sur la figure ci-à droite, selon les milieux de ses côtés. Et T_n+1 est l'un de ces quatre triangles. La construction et le théorème de Thalès garantiront:

$l\left(\partial \mathbf{T}_{n+1}\right)=\frac{1}{2}l\left(\partial \mathbf{T}_n\right)$ et $diam\left(\partial \mathbf{T}_{n+1}\right)=\frac{1}{2}diam\left(\partial \mathbf{T}_n\right)$ .

En particulier, la suite $\left(\mathbf{T}_n\right)$ est une suite décroissante de compacts dont le diamètre tend vers 0. Par conséquent, l'intersection est non vide, et restreinte en un unique point a. Une étude locale de f en a prouvera:

$\oint_{\partial \mathbf{T}_n}f(w)\, dw=o\left(\frac{1}{4^n}\right)$ .

Cette estimation asymptotique contredira l'inégalité précédente.

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le triangle, on se ramène à un cas particulier quatre cas peuvent se présenter :

Le point est à l'extérieur du triangle : ce cas est trivial : on peut trouver un ouvert contenant le triangle mais pas ce point, le théorème démontré ci dessus s'applique alors.
Le point est sur le sommet : le triangle peut se découper en trois triangles, dont un qui peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit triangle (qui est aussi petit que voulu donc son périmètre aussi) l'intégrale est aussi petite que voulu.
Le point est sur le contour du triangle privé des sommets : on coupe le triangle en deux par une médiane passant par le point qui devient le sommet de deux nouveaux triangles.
Le point est à l'intérieur du triangle, alors il est le sommet de 3 nouveaux triangles.

Une illustration est disponible dans les détails de la démonstration.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le triangle il suffit de répéter cette opération autant de fois que nécessaire en isolant chaque point dans un triangle.

Détails de la démonstration

Division d'un triangle

Dans un triangle direct ABC du plan complexe, on définit les milieux I, J et K de [BC], [AB] et [AC]. On considère les quatre triangles directs AJK, BIJ, CKI et IKJ. Au total, on recense neuf côtés. Leurs longueurs sont données dans le tableau ci-dessous. Justifions seulement la première ligne:

Comme J est le milieu du segment [AB], les longueurs AJ et JB sont égales et valent la moitié de AB.
I et K sont les milieux respectifs des segments [BC] et [AC]. Par le théorème des milieux (conséquence du théorème de Thalès), on en déduit IJ = AB / 2.

Les deux autres lignes se justifient de manière analogue.

Côtés			Longueurs
[AJ] ;	[JB] ;	[IK]	AB / 2
[BI] ;	[IC] ;	[JK]	BC / 2
[AK] ;	[KC] ;	[IJ]	AC / 2

Par conséquent, les périmètres de AJK, BIJ, CIK et IJK sont égaux et valent la moitié du triangle ABC:; $l (A J K) = l (B I J) = l (C I K) = l (I J K) = l (A B C) / 2$ .
Construction de la suite décroissante $\left(\mathbf{T}_n\right)$: On suppose dans un premier temps la fonction f définie et dérivable au voisinage du triangle ABC (quelconque). Le raisonnement suivant pourra s'appliquer au triangle plein $\mathbf{T}_n$ . Il vient, en reprenant les notations précédentes:

$\oint_{\partial {AJK}}f(w)\, dw=$	$\int_{AJ}f(w)\, dw+\int_{JK}f(w)\, dw+\int_{KA}f(w)\, dw$
$\oint_{\partial {BIJ}}f(w)\, dw=$	$\int_{BI}f(w)\, dw+\int_{IJ}f(w)\, dw+\int_{JB}f(w)\, dw$
$\oint_{\partial {CKI}}f(w)\, dw=$	$\int_{CK}f(w)\, dw+\int_{KI}f(w)\, dw+\int_{IC}f(w)\, dw$
$\oint_{\partial {IJK}}f(w)\, dw=$	$\int_{IJ}f(w)\, dw+\int_{JK}f(w)\, dw+\int_{KI}f(w)\, dw$

Une combinaison des quatre identités précédentes nous fournit:

$\left[\oint_{\partial {AJK}}+\oint_{\partial {BIJ}}+\oint_{\partial {CKI}}-\oint_{\partial{IJK}}\right]f(w)\, dw=$	$\left[\int_{AB}+\int_{BC}+\int_{CA}\right]f(w)\, dw$
$=$	$\oint_{\partial {ABC}}f(w)\, dw$

L'intégrale curviligne de f sur le contour du triangle plein ABC est la somme des intégrales curvilignes sur les contours des quatre triangles AJK, BIJ, CKI et IKJ. En particulier, parmi ces quatre triangles, il existe au moins un triangle, notons-le S, de sorte que:; $\left|\oint_{\mathbf{\partial S}}f(w)\, dw\right|\geq \frac{1}{4}\left|\oint_{\partial {\mathbf{T}}}f(w)\, dw\right|$ .; Ce raisonnement permet de construire par récurrence une suite décroissante $\left(\mathbf{T}_n\right)$ de triangles, avec $\mathbf{T}_0=\mathbf{T}$ , et :; $\left|\oint_{\partial {\mathbf{T}_{n}}}f(w)\, dw\right|\geq \frac{1}{4^n}\left|\oint_{\partial {\mathbf{T}}}f(w)\, dw\right|$ .
Intersection décroissante: Par construction, le périmètre du triangle $\mathbf{T}_n$ vaut la moitié du périmètre du triangle $\mathbf{T}_{n-1}$ . La même relation est vérifiée pour les diamètres. Par suite, on a:; $l\left(\partial {\mathbf{T}_n}\right)=\frac{C'}{2^n}$ et $diam\left(\mathbf{T}_n\right)=\frac{C''}{2^n}$ .; La suite $\left(\mathbf{T}_n\right)$ est une suite décroissante de compacts. Donc son intersection X est non vide. Par ailleurs, le diamètre des T_n tend vers 0. En conséquence, le diamètre de X est nul ; autrement dit, X est un singleton, qui contient un unique point a.
Étude locale: Comme f est une fonction dérivable en a, pour tout $\epsilon$ , il existe un voisinage V de a tel que:; $\forall z\in V,\quad \left|f(z)-f(a)-f'(a)(z-a)\right|\leq \epsilon |z-a|$; Or, le singleton {a} est l'intersection décroissante des compacts T_n. Donc, pour n suffisamment grand, le triangle plein T_n est inclus dans V. Il ne serait pas difficile de prouver que l'intégrale curviligne d'une application affine sur un triangle est nulle (remarque laissée au lecteur pour alléger la preuve). Ceci permet de faire apparaître la partie gauche de l'inégalité qui peut alors s'appliquer. Puis $| w - a |$ se majore dans l'intégrale par $diam(\mathbf{T}_n)$ .

$\left\|\oint_{\partial {T_n}}f(w)\, dw\right\|=$	$\left\|\oint_{\partial {\mathbf{T}_n}}\left[f(w)-f(a)-f'(a)(w-a)\right]\, dw\right\|$
$\leq$	$\epsilon diam(\mathbf{T}_n).l(\partial\mathbf{T}_n)$
$=$	$\epsilon\frac{C'C''}{4^n}$

Cette inégalité est vraie pour n suffisamment grand, et pour tout réel positif $\epsilon$ . Par conséquent, on vient de prouver:

$\oint_{\partial {T_n}}f(w)\, dw=o\left(\frac{1}{4^n}\right)$ .

D'où une contradiction avec le choix de la suite décroissante des triangles pleins,

C

est donc nul.

Triangle ABC et ses subdivisions adaptées à chaque point où la fonction n'est pas holomorphe

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le triangle, quatre cas peuvent se présenter, dont l'un est trivial, et deux autres cas qui se ramènent au dernier :

Dans ce qui suit, il faut garder à l'esprit que l'intégrale de $f$ sur le contour du triangle est la somme des intégrales de $f$ sur les contours des subdivisions de ce triangle (en gardant une orientation appropriée, comme dans la première partie de la démonstration). Si ces intégrales sont toutes nulles, alors celle sur le contour du triangle l'est aussi (quelle que soit l'orientation prise pour chaque contour de triangle finalement).

Pour le cas où le point est un sommet, le triangle peut se subdiviser en trois triangles dont un contient le point en question. Ce triangle est aussi petit que voulu.

Le point est à l'extérieur du triangle ( $z 0$ sur l'illustration) : ce cas est trivial, il existe un ouvert contenant le triangle mais pas ce point, le théorème démontré ci dessus s'applique alors.
Le point est sur le contour du triangle privé des sommets ( $z 1$ sur l'illustration) : le triangle se coupe en deux par une médiane passant par le point, donnant deux triangles ayant pour un de leur sommet le point à problème : c'est le quatrième cas qui s'applique alors pour ces deux triangles.
Le point est à l'intérieur du triangle ( $z 2$ sur l'illustration) : Il se découpe en 3 triangles ayant pour sommet commun ce point. Pour ces 3 triangles c'est le quatrième cas qui s'applique.
Le point est sur un sommet ( $z 3$ sur l'illustration) : le triangle peut se découper en trois triangles, dont un qui possède ce point comme sommet, il peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit triangle (qui est aussi petit que voulu donc son périmètre aussi) l'intégrale est aussi petite que voulue :

$\forall \epsilon >0$ soit $T_{\epsilon}$ le triangle équilatéral (par exemple) de sommet $\ z_3$ , de côté de longueur $\epsilon$ .

$| \oint_{\partial {T_\epsilon}} \ f(z) \,dz | \leq 3\epsilon M$

où $\ M$ majore $\ f$ continue sur le compact $\ T$ .

Pour les deux autres triangles, $\ f$ y est holomorphe, l'intégrale sur leur contour est donc nulle quel que soit $\ \epsilon$ . Donc, $\forall \epsilon, | \oint_{\partial {T_{\epsilon}}} f(z) \,dz | = | \oint_{\partial {T_{\epsilon}}} f(z) \,dz | \leq 3\epsilon M$

L'intégrale est donc nulle.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le triangle, il suffit d'appliquer autant de fois que nécessaire la méthode ci dessus.

Notes et références

↑ En fait, on peut démontrer ultérieurement que cet affaiblissement des hypothèses n'est qu'apparent, et que la fonction est holomorphe sur tout l'ouvert.
↑ La condition de domination est ici automatique du fait qu'on intègre sur un segment. On peut aussi appliquer une version plus faible du théorème de dérivation, dont la preuve s'appuie sur l'uniforme continuité, et non sur le théorème de convergence dominée.

Portail de l'analyse

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme de Goursat (analyse complexe) de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

Lemme de Goursat — Le lemme de Goursat (à ne pas confondre avec le Lemme de Goursat en analyse complexe) est un théorème d algèbre. Soient G, G groupes, et soit H un sous groupe de tel que les 2 projections et soient surjectives. Définissons … Wikipédia en Français
Édouard Goursat — Cette surface étoilée, étudiée par Goursat, a pour équation x4 + y4 + z4 + 1 / 4 * (x2 + y2 + z2)2 + 1 / 2 * (x2 + y2 + z2) = 1 Édouard Goursat, né le 21 mai 1858 à … Wikipédia en Français
Theoreme de Goursat — Théorème de Goursat Le théorème de Goursat, encore appelé lemme de Goursat est un résultat important de l analyse complexe, puisqu il est la cause directe des différents théorèmes de Cauchy. Énoncé Soit une fonction holomorphe sur un ouvert… … Wikipédia en Français
Théorème de Goursat — Le théorème de Goursat, encore appelé lemme de Goursat est un résultat important de l analyse complexe, puisqu il est la cause directe des différents théorèmes de Cauchy. Énoncé Soit une fonction holomorphe sur un ouvert convexe . Alors l… … Wikipédia en Français
Théorème de goursat — Le théorème de Goursat, encore appelé lemme de Goursat est un résultat important de l analyse complexe, puisqu il est la cause directe des différents théorèmes de Cauchy. Énoncé Soit une fonction holomorphe sur un ouvert convexe . Alors l… … Wikipédia en Français
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Fonction holomorphe — Une grille et son image par f une fonction holomorphe. Une fonction holomorphe est une transformation conforme. En analyse complexe, une fonction holomorphe est une fonction à valeurs dans , définie et dérivable en tout point d un sous ensemble… … Wikipédia en Français
Histoire des mathématiques — L’histoire des mathématiques s étend sur plusieurs millénaires et dans de nombreuses régions du globe allant de la Chine à l’Amérique centrale. Jusqu au XVIIe siècle, le développement des connaissances mathématiques s’effectue… … Wikipédia en Français
Histoire Des Mathématiques — Article de la série Histoire des sciences Chronologie Chronologie des sciences Chronologie de l astronomie … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Lemme de Goursat (analyse complexe)

Sommaire

Préparation

Dérivation

Intégrale curviligne sur un segment

Le lemme de Goursat

Pour les rectangles

Pour les triangles

Remarque : extension à tout polygone

Démonstrations

Variation sur les rectangles

Divisions d'un triangle

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Lemme de Goursat (analyse complexe)

Sommaire

Préparation

Dérivation

Intégrale curviligne sur un segment

Le lemme de Goursat

Pour les rectangles

Pour les triangles

Remarque : extension à tout polygone

Démonstrations

Variation sur les rectangles

Divisions d'un triangle

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link