Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Importer

Bienvenue sur Scribd !

  • 11 vues

    Formulecauchy

    Transféré par

    inp578346
    Ce document présente la formule de Cauchy pour les fonctions holomorphes ainsi qu'une démonstration de cette formule. La preuve utilise la convergence uniforme de la série de Fourier d'une fonction périodique dérivée de la fonction holomorphe.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    Formulecauchy

    Transféré par

    inp578346
    11 vues2 pages
    Ce document présente la formule de Cauchy pour les fonctions holomorphes ainsi qu'une démonstration de cette formule. La preuve utilise la convergence uniforme de la série de Fourier d'une fonction périodique dérivée de la fonction holomorphe.

    Description originale:

    Cauchy

    Titre original

    formulecauchy

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Ce document présente la formule de Cauchy pour les fonctions holomorphes ainsi qu'une démonstration de cette formule. La preuve utilise la convergence uniforme de la série de Fourier d'une fonction périodique dérivée de la fonction holomorphe.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    11 vues2 pages

    Formulecauchy

    Transféré par

    inp578346
    Ce document présente la formule de Cauchy pour les fonctions holomorphes ainsi qu'une démonstration de cette formule. La preuve utilise la convergence uniforme de la série de Fourier d'une fonction périodique dérivée de la fonction holomorphe.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    sur 2

    168

    Formule de Cauchy et un calcul d’intégrale

    Théorème � Soit f : D(z0 , R) → C holomorphe sur D(z0 , R)\{z0 }. Alors


    �
    ∀z ∈ D(z0 , R), f (z) = an (z − z0 )n ,
    n∈Z
    �
    1 f (ω)
    avec an := dω pour tout 0 < r < R.
    2iπ C(z0 ,r) (ω − z0 )n+1
    Si de plus, f est continue en z0 , alors an = 0 pour n < 0.

    Preuve :
    Par translation, on se ramène à z0 = 0. Soit 0 < r < R, On considère la fonction g : R → C
    définie par
    g(t) := f (reit ).
    g est 2π-périodique, continue de classe C 1 par morceaux. Il y a donc convergence uniforme de
    sa série de Fourier vers g �
    ∀t ∈ R, g(t) = an (r)e−int ,
    n∈Z
    �
    1 2π
    avec an (r) = f (reit )e−int dt. On utilise le théorème de dérivation sous l’intégrale
    2π 0
    � � �� � �
    � � � �
    �∂r f (reit )e−int � = �eit f � (reit )e−int � ≤ M,

    donc on peut intervertir dérivation et intégrale. Ainsi on a


    � �
    1 2π it � it −int 1 2π
    a�n (r) = e f (re )e dt = ∂t [f (reit )]e−int dt
    2π 0 2πri 0
    � 2π
    n n
    = f (reit )e−int dt = an (r).
    2πr 0 r

    On a trouvé une équation différentielle vérifié par an (·), qui peut se réécrire

    d� �
    an (r)r−n = 0.
    dr
    Ainsi, il existe une constante an telle que ∀0 < r < R, an (r) = an rn . En reprenant la formule
    initiale, on a � �
    f (z) = f (reit ) = g(t) = an rn eint = an z n .
    n∈Z n∈Z

    Pour trouver la formule annoncée, il suffit d’écrire l’inégalité a n rn = an (r).


    � � 2π � � 2π �
    1 1 1 f (reit ) 1 f (ω)
    an = f (reit )e−int dt = n+1 ire dt =
    it
    dω.
    rn 2π 0 2iπ 0 (reit ) 2iπ C(0,r) ω
    n+1

    Si on suppose de plus f continue en 0, alors f est bornée au voisinage de 0 par une constante

    Antoine Mouzard
    169

    L > 0. On a alors pour n < 0


    � �
    � 1 � f (ω) �� 1
    �
    L L
    �
    |an | = � dω � ≤ dt ≤ n −→ 0,
    � 2iπ C(0,r) ω n+1 � 2π C(0,r) r n r r→0

    ce qui permet de conclure.

    Remarque On prend ici comme définition d’une fonction holomorphe celle d’une fonction
    de variable complexe dérivable au sens complexe, de dérivée continue. Tous les
    résultats que l’on énonce reste vraie sans l’hypothèse C 1 , car on peut montrer que
    dérivable au sens complexe implique C 1 , mais cela facilite grandement la preuve. Cette
    preuve n’est pas pour autant sans valeur, car pour cette hypothèse on peut prouver
    facilement des résultats profonds. On illuste aussi bien la puissance de la théorie de
    Fourier que la force du caractère holomorphe. On démontre la formule du développement
    en série de laurent d’une fonction méromorphe autour d’une singularité, l’analycité et la
    classe C ∞ des fonctions holomorphes, et la formule de Cauchy.
    �
    cos(x) π
    Proposition dx = .
    R 1+x
    2 e
    Preuve : � � � �
    cos(x) � cos(x) � dx
    Tout d’abord, f (x) = 1+x2
    est intégrable. En effet,
    � � dx ≤
    � 1 + x2 � = π.
    R R 1 + x2
    � � � ��
    eiz �
    Soit R > 1. On pose IR = dz avec Γ := z ∈ C � |z| = R et Im(z) ≥ 0 [−R, R].
    ΓR 1 + z
    2 R
    �
    On décompose ensuite ΓR comme ΓR = Γ+ Γ− ce qui permet d’écrire
    � � �
    eiz eiz eiz
    IR = dz + dz = dz
    Γ+ 1 + z2 Γ− 1 + z2 |z−i|=1 1 + z
    2
    � �
    1 eiz 1 eiz
    = dz − dz
    2i |z−i|=1 z − i 2i |z−i|=1 z + i
    � � π(z−i)eiz
    1 πeiz 1
    = dz − z+i
    dz
    2iπ |z−i|=1 z − i 2iπ |z−i|=1 z −i
    2 π
    = πei − 0 =
    e
    D’autre part, on a
    � R � π it
    eix eiRe
    IR = dx + Rieit dt.
    −R 1 + x 1 + R2 e2it
    2
    0
    � �
    � ReiReit � R
    � it �
    Or � ie �≤ 2 −→ 0. On en déduit en faisant tendre R vers l’infini que
    � 1 + R2 e2it � R − 1 R→∞
    �
    cos(x) π
    dx = .
    R 1+x
    2 e
    �

    Antoine Mouzard

    Vous aimerez peut-être aussi