Mathématiques · Glossaire

Qu'est-ce que « résidu » ?

Aussi appelé : fonction méromorphe

Définition 17.3 Mathématiques universitaires — Licence 3 · Chapitre 17 — Séries de Laurent et théorème des résidus

Si ff est holomorphe sur un disque percé D(a,R){a}D(a, R)\setminus \{a\}, développer par Laurent (r=0r = 0). Trois cas exclusifs :

  • tous les cn=0c_n = 0 pour n<0n < 0 : singularité éliminable (la série non négative étend ff holomorphiquement en aa) ;
  • cn0c_n \neq 0 pour un nombre fini, au moins un, n<0n < 0 : un pôle d’ordre m=min{n:cn0}m = -\min\{n : c_n \neq 0\} ; de façon équivalente f=g/(za)mf = g/(z-a)^m, gg holomorphe, g(a)0g(a) \neq 0 ; de façon équivalente f(z)\abs{f(z)} \to \infty quand zaz\to a ;
  • infiniment beaucoup de cnc_n négatifs 0\neq 0 : singularité essentielle.

Le résidu est Res(f,a)=c1\operatorname{Res}(f, a) = c_{-1}. Une fonction holomorphe sur Ω\Omega moins un ensemble de pôles est méromorphe sur Ω\Omega.

Exemples

Exemple 17.7 (Les quatre types classiques d’intégrales)

(a) Rationnelle sur R\R : pour R ⁣dx1+x4\int_\R\frac{\dd x}{1 + x^4}, fermer avec un grand demi-cercle SRS_R dans le demi-plan supérieur : l’intégrande est O(R4)O(R^{-4}) là, donc SR0\int_{S_R} \to 0 (ML), et le théorème des résidus avec les pôles eiπ/4,e3iπ/4\eu^{\iu\pi/4}, \eu^{3\iu\pi/4} (simples, résidus 14z3=z4z4=z4\frac1{4z^3} = \frac{z}{4z^4} = -\frac z4 en un pôle) donne

R ⁣dx1+x4=2iπ(eiπ/44e3iπ/44)=π2.\int_\R\frac{\dd x}{1 + x^4} = 2\iu\pi\Bigl(-\frac{\eu^{\iu\pi/4}}4 - \frac{\eu^{3\iu\pi/4}}4\Bigr) = \frac{\pi}{\sqrt2} .

(b) Type Fourier : pour t0t \geq 0, Reitx1+x2 ⁣dx=2iπRes(eitz1+z2,i)=2iπet2i=πet\int_\R\frac{\eu^{\iu tx}}{1 + x^2}\dd x = 2\iu\pi\operatorname{Res}\bigl(\tfrac{\eu^{\iu tz}}{1+z^2}, \iu\bigr) = 2\iu\pi\frac{\eu^{-t}}{2\iu} = \pi\eu^{-t} — le demi-cercle supérieur marche car eitz=etImz1\abs{\eu^{\iu tz}} = \eu^{-t\operatorname{Im}z} \leq 1 là ; en prenant les parties réelles : Rcos(tx)1+x2 ⁣dx=πet\int_\R\frac{\cos(tx)}{1+x^2}\dd x = \pi\eu^{-\abs t}, réglant la formule admise de l’Exercice 10.10. (c) Trigonométrique sur une période : substituer z=eitz = \eu^{\iu t}, cost=z+z12\cos t = \frac{z + z^{-1}}2,  ⁣dt= ⁣dziz\dd t = \frac{\dd z}{\iu z} : 02π ⁣dta+cost\int_0^{2\pi}\frac{\dd t}{a + \cos t} (a>1a > 1) devient un comptage de résidus dans le cercle unité (l’Exercice 17.2). (d) Séries : apparier ff avec πcot(πz)\pi\cot(\pi z), dont les pôles sont les entiers de résidu 11 : le problème de week-end somme n2\sum n^{-2} et n4\sum n^{-4} ainsi.

Lire dans le chapitre →