Ivan Shishkin, Birch Grove

Théorème des résidus

Theorem / Complex analysis / Reviewed

Français
FrançaisEnglish
Intuition

Le théorème des résidus affirme que l'intégrale sur un chemin fermé d’une fonction méromorphe ne dépend que de ses pôles compris dans le chemin. C’est un théorème qui permet, à partir de la simple connaissance des pôles d’une fonction, de calculer des intégrales complexes.

Enoncé du théorème

Soit ff une fonction méromorphe sur un ouvert U⊂CU\subset \mathbb{C} avec nn pôles isolés distincts notés (pi)i∈[ ⁣[1,n] ⁣](p_{i})_{i\in [\![1,n]\!]}.
On définit un chemin continu γ:[0,1]↦C\gamma :[0,1] \mapsto \mathbb{C} ne passant par aucun pôle et tel que γ(0)=γ(1)\gamma(0)=\gamma(1). Alors, on a :
∫γf(z) dz=2iπ∑k=1nInd⁡(γ,pk)⋅Res⁡(f(z) dz,pk)\int_{\gamma}f(z)\diff z=2\mathrm{i}\pi\sum_{k=1}^n \operatorname{Ind}(\gamma,p_{k})\cdot \operatorname{Res}(f(z)\,\mathrm{d}z,p_k)Avec Ind⁡(γ,p)\operatorname{Ind}(\gamma,p) le nombre de tour que γ\gamma fait autour de pp (son indice) comptés dans le sens trigonométrique, potentiellement nul si l’intérieur de γ\gamma ne contient aucun pôle, et
Res⁡(f(z) dz,p)\operatorname{Res}(f(z)\,\mathrm{d}z,p)le coefficient devant le terme en 1z−p\dfrac{1}{z-p} dans le développement en série de Laurent de la fonction ff au voisinage de pp.

Exemples :

∙\bullet Prenons γ:t∈[0,1]↦e2iπt∈C\gamma: t\in [0,1] \mapsto e^{2i\pi t}\in \mathbb{C}, on a
∫γsin⁡(z)dz=0\int_{\gamma}\sin(z)\mathrm{d}z=0car sin⁡\sin n’a pas de pôle dans l’intérieur du cercle unité tracé par γ\gamma.
∙\bullet Soit maintenant γ:t∈[0,1]↦e−4iπt∈C\gamma: t\in [0,1] \mapsto e^{-4i\pi t}\in \mathbb{C}, on a
∫γ1zdz=−4iπ\int_{\gamma}\frac{1}{z}\mathrm{d}z=-4i\picar z⟼1zz\longmapsto \frac{1}{z} possède un pôle en 00 autour duquel γ\gamma tourne 22 fois dans le sens anti-horaire. Cela rajoute un facteur −2-2 au 2iπ2i\pi.
∙\bullet On considère ici γ:t∈[0,1]↦1+e2iπt∈C\gamma: t\in [0,1] \mapsto 1+e^{2i\pi t}\in \mathbb{C} qui tourne autour de 11 dans le sens horaire. On a alors
∫γ1ez−edz=2iπe−1\int_{\gamma}\frac{1}{e^z-e}\mathrm{d}z=2i\pi e^{-1}car 1ez−e\displaystyle\frac{1}{e^z-e} se développe comme e−1z−1+o(1z−1)\displaystyle\frac{e^{-1}}{z-1}+o\left(\frac{1}{z-1}\right) quand zz tend vers 11.

Practice this concept with exercises

  • Déterminer la valeur des intégrales suivantes:

    1. Pour γ ⁣:t∈[0,1]⟼e2iπt\gamma\colon t\in [0,1]\longmapsto e^{2i\pi t}, ∫γezz dz\displaystyle\int_{\gamma}\frac{e^z}{z}\,\mathrm{d}z.
    2. Pour γ ⁣:t∈[0,1]⟼1+2e4iπt\gamma\colon t\in [0,1]\longmapsto 1+2e^{4i\pi t}, ∫γcos⁡(z)z dz\displaystyle\int_{\gamma}\frac{\cos(z)}{z}\,\mathrm{d}z.
    3. Pour γ ⁣:t∈[0,1]⟼e−2iπt\gamma\colon t\in [0,1]\longmapsto e^{-2i\pi t}, ∫γ1sin⁡(z) dz\displaystyle\int_{\gamma}\frac{1}{\sin(z)}\,\mathrm{d}z.
    4. Pour γ\gamma le rectangle, considéré dans le sens anti-horaire, de sommets 0,2,2+2i0, 2, 2+2i et 2i2i, ∫γz(z−1)2 dz\displaystyle\int_{\gamma}\frac{z}{(z-1)^2}\,\mathrm{d}z.
Problems using this concept (1)
Problems using this concept (spoiler) (0)

No listed problems use this concept as a spoiler yet.