Todos los libros

Profesional

Apps Acerca de Coach Iniciar sesión Empezar a leer

Matemáticas · Glosario

¿Qué es residuo?

También llamado: función meromorfa

Definición 17.3 Matemáticas universitarias — Grado 3 · Capítulo 17 — Series de Laurent y teorema de los residuos

Si ff es holomorfa en un disco punteado D(a,R)∖{a}D(a, R)\setminus \{a\}, desarróllese por Laurent (r=0r = 0). Tres casos excluyentes:

  • todos los cn=0c_n = 0 para n<0n < 0: singularidad evitable (la serie de índices no negativos extiende ff holomorfamente a aa);
  • cn≠0c_n \neq 0 para un número finito, al menos uno, de n<0n < 0: un polo de orden m=−min⁡{n:cn≠0}m = -\min\{n : c_n \neq 0\}; equivalentemente, f=g/(z−a)mf = g/(z-a)^m, gg holomorfa, g(a)≠0g(a) \neq 0; equivalentemente, ∣f(z)∣→∞\abs{f(z)} \to \infty cuando z→az\to a;
  • infinitos cn≠0c_n \neq 0 negativos: singularidad esencial.

El residuo es Res⁡(f,a)=c−1\operatorname{Res}(f, a) = c_{-1}. Una función holomorfa en Ω\Omega menos un conjunto de polos es meromorfa en Ω\Omega.

Ejemplos

Ejemplo 17.7 (Los cuatro tipos clásicos de integral)

(a) Racional sobre R\R: para ∫R ⁣dx1+x4\int_\R\frac{\dd x}{1 + x^4}, ciérrese con una semicircunferencia grande SRS_R en el semiplano superior: allí el integrando es O(R−4)O(R^{-4}), de modo que ∫SR→0\int_{S_R} \to 0 (ML), y el teorema de los residuos con los polos eiπ/4,e3iπ/4\eu^{\iu\pi/4}, \eu^{3\iu\pi/4} (simples, residuos 14z3=z4z4=−z4\frac1{4z^3} = \frac{z}{4z^4} = -\frac z4 en un polo) da

∫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) Tipo Fourier: para 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} — la semicircunferencia superior funciona porque allí ∣eitz∣=e−tIm⁡z≤1\abs{\eu^{\iu tz}} = \eu^{-t\operatorname{Im}z} \leq 1; tomando partes reales: ∫Rcos⁡(tx)1+x2 ⁣dx=πe−∣t∣\int_\R\frac{\cos(tx)}{1+x^2}\dd x = \pi\eu^{-\abs t}, lo que salda la fórmula admitida en el Ejercicio 10.10. (c) Trigonométrica sobre un periodo: sustitúyase 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) se convierte en un recuento de residuos dentro de la circunferencia unidad (Ejercicio 17.2). (d) Series: emparéjese ff con πcot⁡(πz)\pi\cot(\pi z), cuyos polos son los enteros con residuo 11: el problema de fin de semana suma así ∑n−2\sum n^{-2} y ∑n−4\sum n^{-4}.

Leer en el capítulo →