exo7 7559

Soit DD un ouvert de C\Cc et f:D→Cf : D\to\Cc une application holomorphe. Soit TT un triangle (plein) inclus dans le domaine DD. On notera pp son périmètre. Le but de l’exercice est de montrer que ∫∂Tf(z)dz=0.\int_{\partial T}f(z)dz=0.

1

En considérant les quatre triangles obtenus en traçant les segments entre deux milieux de côtés de TT, montrer que pour l’un de ces triangles noté T1T_1, ∣∫∂Tf(z)dz∣≤4∣∫∂T1f(z)dz∣.|\int_{\partial T}f(z)dz|\leq 4|\int_{\partial T_1}f(z)dz|.

2

En itérant cette construction, montrer que pour tout nn, il existe un triangle Tn⊂Tn−1T_n\subset T_{n-1} de périmètre p2n\frac{p}{2^n} tel que ∣∫∂Tf(z)dz∣≤4n∣∫∂T1f(z)dz∣.|\int_{\partial T}f(z)dz|\leq 4^n|\int_{\partial T_1}f(z)dz|.

3

Montrer que l’intersection des TnT_n est un point cc de DD.

4

Montrer qu’un existe une fonction continue hh sur DD nulle en cc telle que pour tout z∈Dz\in D, f(z)=f(c)+(z−c)f′(c)+(z−c)h(z).f(z)=f(c)+(z-c)f'(c)+(z-c)h(z).

5

Calculer ∫∂Tnf(c)dz\int_{\partial T_n}f(c)dz et ∫∂Tn(z−c)f′(c)dz\int_{\partial T_n}(z-c)f'(c)dz.

6

Montrer que pour tout ϵ>0\epsilon >0 il existe NN tel que pour n≥Nn\geq N,∣∫∂Tn(z−c)h(z)dz∣≤(p2n)2ε.|\int_{\partial T_n}(z-c)h(z)dz|\leq (\frac{p}{2^n})^2\varepsilon.

7

Conclure.

8

Montrer en choisissant un découpage de TT avec un petit triangle autour de aa que si f:D→Cf : D\to\Cc est une application continue et holomorphe sur D−{a}D-\{a\}, alors pour tout triangle de sommet aa dans DD, ∫∂Tf(z)dz=0\int_{\partial T}f(z)dz=0.

Exercice w8fr

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?