Définition 17.3Mathématiques universitaires — Licence 3 · Chapitre 17 — Séries de Laurent et théorème des résidus
Si f est holomorphe sur un disque percé D(a,R)∖{a}, développer par Laurent (r=0). Trois cas exclusifs :
tous les cn=0 pour n<0 : singularité éliminable (la série non négative étend f holomorphiquement en a) ;
cn=0 pour un nombre fini, au moins un, n<0 : un pôle d’ordre m=−min{n:cn=0} ; de façon équivalente f=g/(z−a)m, gholomorphe, g(a)=0 ; de façon équivalente ∣f(z)∣→∞ quand z→a ;
infiniment beaucoup de cn négatifs =0 : singularité essentielle.
Le résidu est Res(f,a)=c−1. Une fonction holomorphe sur Ω moins un ensemble de pôles est méromorphe sur Ω.
Exemples
Exemple 17.7(Les quatre types classiques d’intégrales)
(a) Rationnelle sur R : pour ∫R1+x4dx, fermer avec un grand demi-cercle SR dans le demi-plan supérieur : l’intégrande est O(R−4) là, donc ∫SR→0 (ML), et le théorème des résidus avec les pôles eiπ/4,e3iπ/4 (simples, résidus4z31=4z4z=−4z en un pôle) donne
∫R1+x4dx=2iπ(−4eiπ/4−4e3iπ/4)=2π.
(b) Type Fourier : pour t≥0, ∫R1+x2eitxdx=2iπRes(1+z2eitz,i)=2iπ2ie−t=πe−t — le demi-cercle supérieur marche car eitz=e−tImz≤1 là ; en prenant les parties réelles : ∫R1+x2cos(tx)dx=πe−∣t∣, réglant la formule admise de l’Exercice 10.10. (c) Trigonométrique sur une période : substituer z=eit, cost=2z+z−1, dt=izdz : ∫02πa+costdt (a>1) devient un comptage de résidus dans le cercle unité (l’Exercice 17.2). (d) Séries : apparier f avec πcot(πz), dont les pôles sont les entiers de résidu1 : le problème de week-end somme ∑n−2 et ∑n−4 ainsi.