全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 Français 版。

Mathématiques · 术语表

什么是 résidu?

又称: fonction méromorphe

Définition 17.3 Mathématiques universitaires — Licence 3 · 第 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) ;
  • cn≠0c_n \neq 0 pour un nombre fini, au moins un, n<0n < 0 : un pôle d’ordre m=−min⁡{n:cn≠0}m = -\min\{n : c_n \neq 0\} ; de façon équivalente f=g/(z−a)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 z→az\to a ;
  • infiniment beaucoup de cnc_n négatifs ≠0\neq 0 : singularité essentielle.

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

示例

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(R−4)O(R^{-4}) là, donc ∫SR→0\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π/44−e3iπ/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 t≥0t \geq 0, ∫Reitx1+x2 ⁣dx=2iπRes⁡(eitz1+z2,i)=2iπe−t2i=πe−t\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∣=e−tIm⁡z≤1\abs{\eu^{\iu tz}} = \eu^{-t\operatorname{Im}z} \leq 1 là ; en prenant les parties réelles : ∫Rcos⁡(tx)1+x2 ⁣dx=πe−∣t∣\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}, cos⁡t=z+z−12\cos t = \frac{z + z^{-1}}2,  ⁣dt= ⁣dziz\dd t = \frac{\dd z}{\iu z} : ∫02π ⁣dta+cos⁡t\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 ∑n−2\sum n^{-2} et ∑n−4\sum n^{-4} ainsi.

在原文中阅读 →