Série de Laurent

Une fonction holomorphe dans une couronne (ici en rouge) de centre c s'y développe en série de Laurent ; les coefficients de la série s'expriment comme des intégrales sur un chemin fermé γ tracé dans la couronne et entourant c.
Cet article traite du développement en série de Laurent en analyse complexe. Pour la définition et les propriétés des séries de Laurent formelles en algèbre, veuillez consulter l'article Série formelle.

En analyse complexe, la série de Laurent (aussi appelée développement de Laurent) d'une fonction holomorphe f est une manière de représenter f au voisinage d'une singularité, ou plus généralement, autour d'un « trou » de son domaine de définition. On représente f comme somme d'une série de puissances (d'exposants positifs ou négatifs) de la variable complexe.

Une fonction holomorphe f est analytique, c'est-à-dire développable en série entière au voisinage de chaque point de son domaine de définition. Autrement dit, au voisinage d'un point a où f est définie, on peut écrire f(z) sous la forme :

f ( z ) = ∑ n = 0 ∞ a n ( z − a ) n {\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}(z-a)^{n}} .

On a fait apparaître une série entière en a, qui est la série de Taylor de f en a. Les séries de Laurent peuvent être vues comme une extension pour décrire f autour d'un point où elle n'est pas (a priori) définie. On inclut les puissances d'exposants négatifs ; une série de Laurent se présentera donc sous la forme :

f ( z ) = ∑ n = − ∞ ∞ a n ( z − a ) n {\displaystyle f(z)=\sum _{n=-\infty }^{\infty }a_{n}(z-a)^{n}} .

Les séries de Laurent furent nommées ainsi après leur publication par Pierre Alphonse Laurent en 1843. Karl Weierstrass les découvrit le premier mais il ne publia pas sa découverte.

Le plus souvent, les auteurs d'analyse complexe présentent les séries de Laurent pour les fonctions holomorphes définies sur des couronnes, c'est-à-dire des ouverts du plan complexe délimités par deux cercles concentriques. Ces séries sont surtout utilisées pour étudier le comportement d'une fonction holomorphe autour d'une singularité.

Énoncé

Une couronne centrée en a est un ouvert du plan complexe C {\displaystyle \mathbb {C} } délimité par au plus deux cercles de centre a. En général, une couronne est délimitée par deux cercles de rayons respectifs r, R tels que r < R. Plusieurs cas dégénérés peuvent toutefois être envisagés :

  • Si R vaut l'infini, la couronne considérée est le complémentaire du disque fermé de centre a et de rayon r ;
  • Si r vaut 0, la couronne correspond au disque ouvert de centre a et de rayon R, privé de a. On parle aussi dans ce cas de disque épointé ;
  • Si r vaut 0 et R l'infini, alors la couronne est le plan complexe privé du point a.

Pour toute fonction holomorphe f sur une couronne C centrée en a, il existe une unique suite ( a n ) n ∈ Z {\displaystyle (a_{n})_{n\in \mathbb {Z} }} telle que :

f ( z ) = ∑ n = − ∞ ∞ a n ( z − a ) n {\displaystyle f(z)=\sum _{n=-\infty }^{\infty }a_{n}(z-a)^{n}} ,

où la série de fonctions converge normalement sur tout compact de la couronne C. De plus, les coefficients an sont donnés par :

a n = 1 2 π i ∮ γ f ( z ) d z ( z − a ) n + 1 {\displaystyle a_{n}={\frac {1}{2\pi \mathrm {i} }}\oint _{\gamma }{\frac {f(z)\,\mathrm {d} z}{(z-a)^{n+1}}}} ,

où γ {\displaystyle \gamma } est le paramétrage d'un cercle de centre a tracé dans la couronne.

Sur un exemple

Une fonction rationnelle est holomorphe en dehors de ses pôles. On exprime la série de Laurent d'une fonction rationnelle F en un pôle a, en calculant la série de Taylor de (z – a)nF(z) avec n suffisamment grand. Par exemple, on trouve la série de Laurent sur le disque épointé de centre j (racine cubique de l'unité) et de rayon 3 {\displaystyle {\sqrt {3}}}  :

1 1 + z + z 2 = 1 3 ∑ n ≥ − 1 ( i ( z − j ) 3 ) n {\displaystyle {\frac {1}{1+z+z^{2}}}={\frac {1}{3}}\sum _{n\geq -1}{\left(\mathrm {i} {\frac {(z-\mathrm {j} )}{\sqrt {3}}}\right)}^{n}} .

En effet, j et j2 sont les racines du polynôme 1 + Z + Z2. On est donc en mesure d'écrire, avec y = z – j :

1 1 + z + z 2 = 1 y ⋅ 1 y + i 3 = 1 y i 3 ∑ n ≥ 0 ( i y 3 ) n {\displaystyle {\frac {1}{1+z+z^{2}}}={\frac {1}{y}}\cdot {\frac {1}{y+\mathrm {i} {\sqrt {3}}}}={\frac {1}{y\mathrm {i} {\sqrt {3}}}}\sum _{n\geq 0}{\left({\frac {\mathrm {i} y}{\sqrt {3}}}\right)}^{n}} .

Ce genre de techniques se généralise en algèbre pour développer des fractions rationnelles en série de Laurent formelle (ou série méromorphe formelle). Ce type de développement peut en effet être adapté sur tout anneau.

Preuves

On propose deux preuves différentes de l'existence de la série de Laurent, et de son mode de convergence :

  • La première preuve s'appuie sur la théorie de Fourier, qui cherche à décomposer les fonctions périodiques d'une variable réelle en une somme de sinusoïdales ;
  • La seconde preuve s'appuie directement sur la formule intégrale de Cauchy, qui permet d'écrire la valeur d'une fonction holomorphe en un point comme une certaine intégrale curviligne sur un contour entourant le point.

Pour simplifier les notations, on suppose, sans perte de généralité, a = 0. On peut s'y ramener par l'action de la translation z ↦ z − a {\displaystyle z\mapsto z-a} . On suppose donc que f est une fonction holomorphe sur la couronne C délimitée par les deux cercles de centre 0 et de rayons respectifs r, R tels que r  <  R.

Par la théorie de Fourier

Joseph Fourier, dont la théorie porte le nom.

La restriction de f au cercle de rayon s (compris entre r et R) peut être regardée comme une fonction 2π-périodique d'une variable réelle fs : il suffit d'exprimer f(z) en fonction de l'argument de z. On pose :

f s ( t ) = f ( s e i t ) {\displaystyle f_{s}(t)=f(s\mathrm {e} ^{\mathrm {i} t})} .

Le théorème de convergence de Dirichlet s'applique aux fonctions périodiques continues fs et permet de les décomposer comme somme de sinusoïdales. Plus exactement, on peut faire apparaître des coefficients de Fourier c n ( f , s ) {\displaystyle c_{n}(f,s)} (qui dépendent du choix de s) tels que:

f s ( t ) = ∑ n = − ∞ n = + ∞ c n ( f , s ) e i n t {\displaystyle f_{s}(t)=\sum _{n=-\infty }^{n=+\infty }c_{n}(f,s)\mathrm {e} ^{\mathrm {i} nt}} .

Or, comme la fonction fs est de classe au moins C1, la série de Fourier converge normalement vers fs. Ce résultat général de la théorie de Fourier se démontre en utilisant des estimations sur la vitesse de convergence des coefficients de Fourier. En reprenant l'argument, on pourra obtenir la convergence normale sur tout compact de la série, vue comme série de fonctions en s et t. Fort malheureusement, la série obtenue n'est pas, du moins en apparence, exactement de la forme recherchée : des puissances de z doivent apparaître. Il est donc nécessaire de faire sortir la dépendance des coefficients de Fourier c n ( f , s ) {\displaystyle c_{n}(f,s)} en le module s. Plus précisément, il faut chercher à définir des coefficients complexes a n {\displaystyle a_{n}} vérifiant :

c n ( f , s ) = a n ( f ) s n {\displaystyle c_{n}(f,s)=a_{n}(f)s^{n}} . (*)

Or, on dispose d'une expression intégrale pour les coefficients de Fourier : par conséquent, c n ( f , s ) {\displaystyle c_{n}(f,s)} en fonction de s peut être regardée comme une intégrale à paramètres. On peut chercher à établir sa régularité, puis à exprimer sa dérivée. Il est remarquable d'obtenir une équation différentielle relativement facile à intégrer :

d d s c n ( f , s ) = n s c n ( f , s ) {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} s}}c_{n}(f,s)={\frac {n}{s}}c_{n}(f,s)} .

De cette équation différentielle découle effectivement (*), qui permet de voir f comme somme d'une série de Laurent qui converge au moins ponctuellement. Et la convergence normale sur tout compact de la couronne sera chose déjà obtenue. Toujours de (*) et de l'expression des coefficients de Fourier, on déduit :

a n ( f ) = c n ( f , s ) s n = ∮ γ f ( z ) d z ( z − c ) n + 1 {\displaystyle a_{n}(f)={\frac {c_{n}(f,s)}{s^{n}}}=\oint _{\gamma }{\frac {f(z)\,\mathrm {d} z}{(z-c)^{n+1}}}} .

Ainsi se démontre dans les grandes lignes l'existence de la série de Laurent en utilisant les seuls outils de la théorie de Fourier.

Démonstration
Décomposition en séries de Fourier
Une fonction holomorphe est une fonction développable en série entière en tout point de son domaine de définition. Par conséquent, elle est indéfiniment dérivable. Par composition, la fonction fs définie ci-dessus est une fonction indéfiniment dérivable d'une variable réelle. Par ailleurs, elle est 2 π {\displaystyle 2\pi } -périodique. Le théorème de convergence de Dirichlet s'applique et montre que la fonction fs est la somme de sa série de Fourier :
f ( s e i t ) = ∑ n = − ∞ n = ∞ c n ( f , s ) e i n t {\displaystyle f\left(s\mathrm {e} ^{\mathrm {i} t}\right)=\sum _{n=-\infty }^{n=\infty }c_{n}(f,s)\mathrm {e} ^{\mathrm {i} nt}} .
où la série de fonctions converge au moins ponctuellement. Par ailleurs, on connait l'effet de la dérivation sur les coefficients de Fourier, décrit dans l'article Série de Fourier. Une intégration par parties fournit en effet :
| c n ( f , s ) | ≤ ‖ f s ″ ‖ ∞ n 2 {\displaystyle |c_{n}(f,s)|\leq {\frac {\|f_{s}''\|_{\infty }}{n^{2}}}} ,
où ‖ ⋅ ‖ ∞ {\displaystyle \|\cdot \|_{\infty }} désigne la norme infini sur l'espace des fonctions bornées 2 π {\displaystyle 2\pi } -périodiques. Il est possible d'exprimer f s ″ {\displaystyle f_{s}''} en fonction des premières dérivées de f. Fixons deux rayons intermédiaires r < u < U < R. La couronne fermée F délimitée par les cercles de rayon u et U est compacte (c'est en effet un fermé borné de C), et les dérivées de f sont des fonctions continues sur F, et donc bornées. Sans chercher à exprimer les dérivées de f au moyen de la formule intégrale de Cauchy, on obtient directement :
u < s < U , | c n ( f , s ) | ≤ C s t e n 2 {\displaystyle u<s<U,\quad |c_{n}(f,s)|\leq {\frac {Cste}{n^{2}}}} .
Comme la série de terme général 1/n2 est sommable, la série de fonctions ∑ c n ( f , s ) e i n t {\displaystyle \sum c_{n}(f,s)\mathrm {e} ^{\mathrm {i} nt}} est normalement convergente sur toute couronne fermée de C.
Convergence normale sur tout compact
Si K est un compact de C, l'application qui à un complexe associe son module induit une fonction continue sur K. Elle est donc bornée et atteint ses bornes. Autrement dit, on dispose d'un encadrement :
∀ z ∈ K , u ≤ | z | ≤ U {\displaystyle \forall z\in K,\quad u\leq |z|\leq U}  ;
où les réels u et U se réalisent comme les modules d'éléments de K et a fortiori de C. Comme C est la couronne délimitée par les cercles de rayosn r et R, on en déduit r < u < U < R. Donc, K est inclus dans la couronne fermée délimitée par les cercles de rayons u et U, elle-même incluse dans C.
Comme tout compact de C est inclus dans une couronne fermée suffisamment grosse de C, la convergence normale sur toute couronne fermée de C (précédemment établie) implique la convergence normale sur tout compact de C.
Expression des coefficients de Fourier
Les coefficients de Fourier sont définis par la formule intégrale :
c n ( f , s ) = ∫ 0 2 π f ( s e i t ) e − i n t d t 2 π {\displaystyle c_{n}(f,s)=\int _{0}^{2\pi }f\left(s\mathrm {e} ^{\mathrm {i} t}\right)\mathrm {e} ^{-\mathrm {i} nt}{\frac {\mathrm {d} t}{2\pi }}} .
En particulier, c n ( f , s ) {\displaystyle c_{n}(f,s)} est l'intégrale sur le segment [0, 2π] d'une fonction continue dépendant d'un paramètre réel s. Cette fonction intégrée, comme fonction à deux variables, est continument différentiable. La dérivation sous le signe intégrale ne pose aucune difficulté. La fonction s ↦ c n ( f , s ) {\displaystyle s\mapsto c_{n}(f,s)} est définie et continument dérivable sur l'intervalle ouvert (r,R) et sa dérivée vaut :
d d s c n ( f , s ) = ∫ 0 2 π ∂ ∂ s f ( s e i t ) e − i n t d t 2 π {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} s}}c_{n}(f,s)=\int _{0}^{2\pi }{\frac {\partial }{\partial s}}f\left(s\mathrm {e} ^{\mathrm {i} t}\right)\mathrm {e} ^{-\mathrm {i} nt}{\frac {\mathrm {d} t}{2\pi }}} .
Exprimons la dérivée partielle par rapport à s :
∂ s f ( s e i t ) = e i t f ′ ( s e i t ) = 1 i s ∂ t f ( s e i t ) {\displaystyle \partial _{s}f\left(s\mathrm {e} ^{\mathrm {i} t}\right)=\mathrm {e} ^{\mathrm {i} t}f'\left(s\mathrm {e} ^{\mathrm {i} t}\right)={\frac {1}{\mathrm {i} s}}\partial _{t}f\left(s\mathrm {e} ^{\mathrm {i} t}\right)} .
(En fait, on a établi les équations de Cauchy-Riemann en coordonnées polaires.) On injecte l'expression obtenue de la dérivée partielle par rapport s dans l'intégrale, puis on effectue (à nouveau) une intégration par parties :
d d s c n ( f , s ) = 1 i s c n ( f s ′ ) = n s c n ( f , s ) {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} s}}c_{n}(f,s)={\frac {1}{\mathrm {i} s}}c_{n}(f_{s}')={\frac {n}{s}}c_{n}(f,s)} .
Autrement dit, les coefficients de Fourier de f s {\displaystyle f_{s}} comme fonction de s vérifient une équation différentielle, à variables séparées, qu'il est donc facile d'intégrer. Il vient, pour tout r  <  s, t  <  R :
c n ( f , s ) c n ( f , t ) = s n t n {\displaystyle {\frac {c_{n}(f,s)}{c_{n}(f,t)}}={\frac {s^{n}}{t^{n}}}} .
En particulier, le rapport :
a n ( f ) = c n ( f , s ) s n = ∫ 0 2 π f ( s e i t ) ( s e i t ) n d t 2 π = ∮ C s f ( z ) z n + 1 d z {\displaystyle a_{n}(f)={\frac {c_{n}(f,s)}{s^{n}}}=\int _{0}^{2\pi }{\frac {f\left(s\mathrm {e} ^{\mathrm {i} t}\right)}{{\left(s\mathrm {e} ^{\mathrm {i} t}\right)}^{n}}}{\frac {\mathrm {d} t}{2\pi }}=\oint _{C_{s}}{\frac {f(z)}{z^{n+1}}}\mathrm {d} z}
est indépendant de s, et permet d'isoler la dépendance des coefficients de Fourier en s :
c n ( f , s ) = a n ( f ) s n {\displaystyle c_{n}(f,s)=a_{n}(f)s^{n}} .
Conclusion
L'expression obtenue ci-dessus peut s'injecter dans la série de fonctions. Il vient :
f ( z ) = ∑ n = − ∞ ∞ a n ( f ) z n {\displaystyle f(z)=\sum _{n=-\infty }^{\infty }a_{n}(f)z^{n}} .
On sait déjà que la série converge normalement sur tout compact de la couronne C. L'unicité des coefficients anf découle immédiatement de l'unicité des coefficients de Fourier. La démonstration est terminée.

Par la formule intégrale de Cauchy

Augustin Louis Cauchy.

La formule intégrale de Cauchy permet de représenter la valeur d'une fonction holomorphe f en z en fonction d'une expression intégrale le long d'une courbe fermée qui « entoure » z. C'est la formule intégrale de Cauchy qui permet d'obtenir le développement en série entière de f au voisinage des points de son domaine de définition. Il est donc naturel de vouloir de nouveau exploiter cette formule ici pour obtenir le développement en série de Laurent.

On considère la courbe γ tracée dans la couronne C, qui consiste à :

  • Parcourir une fois le cercle de centre 0 et de rayon S dans le sens trigonométrique ;
  • Aller de S à s en suivant le segment [S,s] ;
  • Parcourir le cercle de centre 0 et de rayon s dans le sens des aiguilles d'une montre ;
  • Retourner de s à S, toujours en suivant le segment [s,S].

Cette courbe γ est contractile dans la couronne U et « renferme » la couronne ouverte C(s,S) délimitée par les cercles de rayons respectifs s, S tels que s < S. Si z est un nombre complexe (non réel positif) de module compris entre s et S, la formule intégrale de Cauchy s'applique donc en z et donne :

f ( z ) = 1 2 π i ∮ γ f ( w ) d w ( w − z ) si  z ∈ C ∖ R +  et  s < | z | < S . {\displaystyle f(z)={\frac {1}{2\pi \mathrm {i} }}\oint _{\gamma }{\frac {f(w)\,\mathrm {d} w}{(w-z)}}\quad {\text{si }}z\in \mathbb {C} \setminus \mathbb {R} _{+}{\text{ et }}s<|z|<S.}

Or, le lacet γ a été décrit en concaténant des chemins, de sorte que l'intégrale curviligne se décompose en une somme de quatre intégrales curvilignes. On intègre deux fois le long du segment [s,S], la première fois de S à s, la seconde fois de s à S. Ces deux intégrales s'annulent. Par conséquent :

f ( z ) = 1 2 π i ( ∫ C S f ( w ) d w ( w − z ) − ∫ C s f ( w ) d w ( w − z ) ) {\displaystyle f(z)={\frac {1}{2\pi \mathrm {i} }}\left(\int _{C_{S}}{\frac {f(w)\,\mathrm {d} w}{(w-z)}}-\int _{C_{s}}{\frac {f(w)\,\mathrm {d} w}{(w-z)}}\right)}

où Cs et CS désignent les cercles de rayons s et S. Cette formule reste valable pour tout nombre complexe z de module compris entre s et S.

Dans les deux intégrales, on peut exprimer l'intégrande comme une série de fonctions, qui font apparaître des puissances de z, d'exposants positifs pour la première intégrale, strictement négatifs pour la seconde. L'interversion série-intégrale se justifie en évaluant la norme infinie des fonctions sommées. De la sorte, f(z) s'exprime comme la somme d'une série en puissances de z, de la forme :

f ( z ) = ∑ n = − ∞ ∞ a n ( f , s , S ) z n {\displaystyle f(z)=\sum _{n=-\infty }^{\infty }a_{n}(f,s,S)z^{n}} .

La convergence de la série est au moins ponctuelle. La même estimation sur les normes infini justifie la convergence normale de cette série sur tout compact contenu dans la couronne ouverte C(s,S). On aura donc écrit f comme somme d'une série de Laurent sur chaque couronne ouverte C(s,S) fortement incluse dans C. Pour obtenir l'indépendance des coefficients en s et S, il faut à nouveau effectuer une interversion série-intégrale. Le calcul fournit aussi l'unicité des coefficients, et l'expression annoncée.

Démonstration
Dans toute la première partie de la preuve, s et S sont deux rayons intermédiaires fixés : r < s < S < R. Ils permettent de définir la couronne ouverte C(s,S) en restriction de laquelle on va travailler.
Application de la formule intégrale de Cauchy
Soit un nombre complexe z de module compris entre s et S. La droite Rz sectionne les cercles de rayons s et S en des points a et b de sorte que le segment [a,b] ne contienne pas z (voir figure). On introduit γ le lacet obtenu :
  • En parcourant une fois le cercle de rayon S dans le sens trigonométrique ;
  • En suivant le segment [b,a] ;
  • En parcourant une fois le cercle de rayon s dans le sens des aiguilles d'une montre ;
  • Puis en suivant le segment [a,b].
En regardant les intersections du lacet γ avec la droite Rw, on montre sans difficulté que l'indice de γ en z vaut 1.
Comme le lacet est contractile dans la couronne U, la formule intégrale de Cauchy s'applique et donne :
f ( z ) = 1 2 π i ∮ γ f ( w ) w − z d w {\displaystyle f(z)={\frac {1}{2\pi \mathrm {i} }}\oint _{\gamma }{\frac {f(w)}{w-z}}\,\mathrm {d} w} .
Compte tenu des orientations sur les cercles, il vient :
f ( z ) = 1 2 π i ( ∮ C S f ( w ) w − z d w − ∮ C s f ( w ) w − z d w + ∫ b a f ( x ) x − z d x + ∫ a b f ( x ) x − z d x ) {\displaystyle f(z)={\frac {1}{2\pi \mathrm {i} }}\left(\oint _{C_{S}}{\frac {f(w)}{w-z}}\,\mathrm {d} w-\oint _{C_{s}}{\frac {f(w)}{w-z}}\,\mathrm {d} w+\int _{b}^{a}{\frac {f(x)}{x-z}}\,\mathrm {d} x+\int _{a}^{b}{\frac {f(x)}{x-z}}\,\mathrm {d} x\right)} .
Après simplification :
f ( z ) = 1 2 π i ( ∮ C S f ( w ) w − z d w − ∫ C s f ( w ) w − z d w ) {\displaystyle f(z)={\frac {1}{2\pi \mathrm {i} }}\left(\oint _{C_{S}}{\frac {f(w)}{w-z}}\,\mathrm {d} w-\int _{C_{s}}{\frac {f(w)}{w-z}}\,\mathrm {d} w\right)} .
Développement de la première intégrale
Comme le module de z est plus petit que S, on peut penser à développer l'intégrande en puissances de z/w :
f ( w ) w − z = ∑ n = 0 ∞ f ( w ) w ( z w ) n = ∑ n = 0 ∞ g n ( w , z ) {\displaystyle {\frac {f(w)}{w-z}}=\sum _{n=0}^{\infty }{\frac {f(w)}{w}}{\left({\frac {z}{w}}\right)}^{n}=\sum _{n=0}^{\infty }g_{n}(w,z)}
avec : g n ( w , z ) = f ( w ) w ( z w ) n {\displaystyle g_{n}(w,z)={\frac {f(w)}{w}}{\left({\frac {z}{w}}\right)}^{n}} .
Majorons la fonction gn. Pour tout w de module S, et si le module de z est compris entre s et rS (avec r <  1), on a :
| g n ( w , s ) | ≤ ‖ f ‖ ∞ S r n {\displaystyle |g_{n}(w,s)|\leq {\frac {\|f\|_{\infty }}{S}}r^{n}}
où ‖ f ‖ ∞ {\displaystyle \|f\|_{\infty }} désigne le supremum du module de f sur C(s,S). Comme la série géométrique converge, la série de terme général g n ( . , w ) {\displaystyle g_{n}(.,w)} converge normalement sur le cercle de rayon S. Par conséquent, nous pouvons effectuer l'interversion série-intégrale :
1 2 π i ∮ C S f ( w ) w − z d w = 1 2 π i ∑ n = 0 ∞ ∮ C S g n ( w , z ) d w = ∑ n = 0 ∞ a n ( f , S ) z n {\displaystyle {\frac {1}{2\pi \mathrm {i} }}\oint _{C_{S}}{\frac {f(w)}{w-z}}\,\mathrm {d} w={\frac {1}{2\pi \mathrm {i} }}\sum _{n=0}^{\infty }\oint _{C_{S}}g_{n}(w,z)\,\mathrm {d} w=\sum _{n=0}^{\infty }a_{n}(f,S)z^{n}}
avec : a n ( f , S ) = 1 2 π i ∮ C S f ( w ) w n + 1 d w {\displaystyle a_{n}(f,S)={\frac {1}{2\pi \mathrm {i} }}\oint _{C_{S}}{\frac {f(w)}{w^{n+1}}}\,\mathrm {d} w} .
La série de terme général a n ( f , S ) z n {\displaystyle a_{n}(f,S)z^{n}} converge normalement sur la couronne ouverte délimitée par s et rS avec r <  1.
Développement de la seconde intégrale
Pour la seconde intégrale, on développe l'intégrande en puissances de w/z :
f ( w ) w − z = − f ( w ) z ∑ n = 0 ∞ ( w z ) n = ∑ n = 0 ∞ h n ( w , z ) {\displaystyle {\frac {f(w)}{w-z}}=-{\frac {f(w)}{z}}\sum _{n=0}^{\infty }{\left({\frac {w}{z}}\right)}^{n}=\sum _{n=0}^{\infty }h_{n}(w,z)} .
Pour w de module s, et z de module compris entre Rs et S (avec R >  1) :
| h n ( w , z ) | ≤ ‖ f ‖ ∞ R s ( 1 / R ) n {\displaystyle |h_{n}(w,z)|\leq {\frac {\|f\|_{\infty }}{Rs}}\left(1/R\right)^{n}} .
Comme ci-dessus, cette majoration fournit la convergence normale sur le cercle de rayon s de la série de terme général h n ( . , z ) {\displaystyle h_{n}(.,z)} . L'interversion série-intégrale s'en trouve justifiée :
− 1 2 π i ∮ C s f ( w ) w − z d w = 1 2 π i ∑ n = 0 ∞ ∮ C s h n ( w , z ) d w = ∑ n = 1 ∞ b n ( f , s ) 1 z n {\displaystyle -{\frac {1}{2\pi \mathrm {i} }}\oint _{C_{s}}{\frac {f(w)}{w-z}}\,\mathrm {d} w={\frac {1}{2\pi i}}\sum _{n=0}^{\infty }\oint _{C_{s}}h_{n}(w,z)\,\mathrm {d} w=\sum _{n=1}^{\infty }b_{n}(f,s){\frac {1}{z^{n}}}}
avec : b n ( f , s ) = 1 2 π i ∮ C s f ( w ) w n − 1 d w {\displaystyle b_{n}(f,s)={\frac {1}{2\pi \mathrm {i} }}\oint _{C_{s}}f(w)w^{n-1}\,\mathrm {d} w} .
La série converge normalement sur toute couronne délimitée par les cercles de rayons Rs et S, avec R >  1.
Convergence normale sur tout compact
En combinant les trois égalités précédentes, il vient, pour tout z dans C(s,S) :
f ( z ) = ∑ n = 0 ∞ a n ( f , S ) z n + ∑ n = 1 ∞ b n ( f , s ) ( 1 / z ) n {\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}(f,S)z^{n}+\sum _{n=1}^{\infty }b_{n}(f,s){\left(1/z\right)}^{n}} .
Tout compact K de la couronne ouverte C(s,S) est compris dans une couronne fermée délimitée par des rayons Rs et rS, avec r < 1 < R. Cet argument est détaillé dans la preuve donnée plus haut. Or, les deux étapes précédentes ont démontré que les deux séries convergent normalement sur cette couronne fermée, a fortiori sur le compact K.
Sur la couronne C(s, S), la fonction f est donc la somme d'une série de Laurent qui converge normalement sur tout compact. Pour étendre cette décomposition à toute la couronne C, il suffit de montrer que les coefficients précédents sont indépendants de s et S.
Indépendance en s et S
Fixons un rayon intermédiaire s < T < S. Alors, les deux séries précédentes convergent normalement au voisinage du cercle de rayon T. La convergence normale justifie les interversions séries-intégrales :
∮ C T f ( z ) z k + 1 d z = ∑ n = 0 ∞ a n ( f , S ) ∮ C T 1 z k + 1 − n d z + ∑ n = 1 ∞ b n ( f , s ) ∮ C T 1 z k + 1 + n d z {\displaystyle \oint _{C_{T}}{\frac {f(z)}{z^{k+1}}}\,\mathrm {d} z=\sum _{n=0}^{\infty }a_{n}(f,S)\oint _{C_{T}}{\frac {1}{z^{k+1-n}}}\,\mathrm {d} z+\sum _{n=1}^{\infty }b_{n}(f,s)\oint _{C_{T}}{\frac {1}{z^{k+1+n}}}\,\mathrm {d} z} .
Dans l'article « Intégrale curviligne », le lecteur trouvera le résultat suivant :
∮ C T 1 z q d z = 2 π i δ q , 1 {\displaystyle \oint _{C_{T}}{\frac {1}{z^{q}}}\,\mathrm {d} z=2\pi \mathrm {i} \delta _{q,1}} .
Par conséquent :
1 2 π i ∮ C T f ( z ) z k + 1 d z = { a n ( f , S )  si  k = n   ; b n ( f , s )  si  k = − n . {\displaystyle {\frac {1}{2\pi \mathrm {i} }}\oint _{C_{T}}{\frac {f(z)}{z^{k+1}}}\,\mathrm {d} z={\begin{cases}a_{n}(f,S)&{\text{ si }}k=n~;\\b_{n}(f,s)&{\text{ si }}k=-n.\end{cases}}}
De fait, cette formule montre que les coefficients a n ( f , S ) {\displaystyle a_{n}(f,S)} et b n ( f , S ) {\displaystyle b_{n}(f,S)} ne dépendent pas de s et de S. Quand on fait varier s et S entre les limites r et R, il est en effet possible de fixer un rayon intermédiaire, du moins pour de petites variations. Par conséquent, a n ( f , S ) {\displaystyle a_{n}(f,S)} et b n ( f , S ) {\displaystyle b_{n}(f,S)} sont effectivement constants.

Lien externe

(en) Eric W. Weisstein, « Laurent Series », sur MathWorld

  • icône décorative Portail de l'analyse