Teorema del residuo

En el análisis complejo, el teorema del residuo, a veces llamado teorema del residuo de Cauchy, es una poderosa herramienta para evaluar integrales de línea de funciones analíticas sobre curvas cerradas; a menudo se puede usar para calcular integrales reales y también series infinitas. Generaliza el teorema integral de Cauchy y la fórmula integral de Cauchy. Desde una perspectiva geométrica, se puede ver como un caso especial de Stokes' teorema.

Declaración

La declaración es la siguiente:

Ilustración del escenario.

Sea U un subconjunto abierto simplemente conectado del plano complejo que contiene una lista finita de puntos a₁,..., a_n, U₀ = U {a₁, …, a_n}, y una función f definida y holomorfa en U ₀. Sea γ una curva cerrada rectificable en U ₀, e indica el número de bobinado de γ alrededor de a_k por I(γ, a _k). La integral de línea de f alrededor de γ es igual a 2πi veces la suma de los residuos de f en los puntos, cada uno contado tantas veces como γ se enrolla alrededor del punto:

∮ ∮ γ γ f()z)dz=2π π i.. k=1nI⁡ ⁡ ()γ γ ,ak)Res⁡ ⁡ ()f,ak).{displaystyle oint _{gamma }f(z),dz=2pi isum ################################################################################################################################################################################################################################################################ [I} (gammaa_{k})operatorname {Res} (f,a_{k}).}

Si γ es una curva cerrada simple orientada positivamente, I(γ , a_k) = 1 si a_k está en el interior de γ, y 0 si no, por lo tanto

∮ ∮ γ γ f()z)dz=2π π i.. Res⁡ ⁡ ()f,ak){displaystyle oint _{gamma }f(z),dz=2pi isum operatorname {Res} (f,a_{k})}

La relación del teorema del residuo con el teorema de Stokes' El teorema viene dado por el teorema de la curva de Jordan. La curva plana general γ debe reducirse primero a un conjunto de curvas cerradas simples {γ_i} cuyo total es equivalente a γ con fines de integración; esto reduce el problema a encontrar la integral de f dz a lo largo de una curva de Jordan γ_i con interior V. El requisito de que f sea holomorfo en U₀ = U {a_k} es equivalente a la afirmación de que el derivada exterior d(f dz) = 0 en <span class="texhtml" U₀. Por lo tanto, si dos regiones planas V y W de U encierran el mismo subconjunto {a _j} de {a_k}, las regiones V W y W V se encuentran completamente en U₀, y por lo tanto

∫ ∫ V∖ ∖ Wd()fdz)− − ∫ ∫ W∖ ∖ Vd()fdz){displaystyle int _{Vsetminus W}d(f,dz)-int ¿Qué?

Para evaluar integrales reales, se utiliza el teorema de los residuos de la siguiente manera: se extiende el integrando al plano complejo y se calculan sus residuos (que suele ser fácil), y se extiende una parte del eje real a una curva cerrada adjuntando un semicírculo en el semiplano superior o inferior, formando un semicírculo. La integral sobre esta curva se puede calcular usando el teorema del residuo. A menudo, la parte del semicírculo de la integral tenderá hacia cero a medida que crece el radio del semicírculo, dejando solo la parte del eje real de la integral, la que nos interesaba originalmente.

Ejemplos

Una integral a lo largo del eje real

La integral

∫ ∫ − − JUEGO JUEGO JUEGO JUEGO eitxx2+1dx{displaystyle int _{-infty ¿Qué?

El contorno C.

Surge en teoría de probabilidades al calcular la función característica de la distribución de Cauchy. Resiste las técnicas del cálculo elemental pero puede evaluarse expresándolo como un límite de integrales de contorno.

Suponga que t > 0 y define el contorno C que va a lo largo de la línea real desde −a a a y luego en sentido antihorario a lo largo de un semicírculo centrado en 0 desde a a −a. Tome a como mayor que 1, de modo que la unidad imaginaria i está dentro de la curva. Ahora considere la integral de contorno

∫ ∫ Cf()z)dz=∫ ∫ Ceitzz2+1dz.{displaystyle int _{C}{f(z)},dz=int - ¿Qué?

Dado que e^itz es una función completa (sin singularidades en ningún punto en el plano complejo), esta función tiene singularidades solo donde el denominador z² + 1 es cero. Dado que z² + 1 = (z + i)(z − i), eso sucede solo donde z = i o z = −i. Solo uno de esos puntos está en la región delimitada por este contorno. Porque f(z) es

eitzz2+1=eitz2i()1z− − i− − 1z+i)=eitz2i()z− − i)− − eitz2i()z+i),{displaystyle {begin{aligned}{frac {e^{itz}{2}+1} {frac}{frac} {f}}} {f}}}} {f}}} {fnf}}}} {fnMicroc} {fnMicroc} {fnMicroc} {fnMicroc} {fnK}}}}}left({frac} {fnMicroc} {fnK}}}}}}left({frac} {fnMicroc} {f}}}}}}}}}}}}}}left {left {left {left {m} {left({f}{f}f}f} {f} {f}f}f}f}f}f}f}f}f}f}f}fnMicroc}}}}}fn}}}f}f}f}f}f}f}f}f}fn}fn}f}f}}fn}f}f}f}f}}fn {1}{z-i}-{2i {1}{z+i}right)\\q={frac {e^{itz}}{2i(z-i)}}-{frac {e^{itz}{2i(z+i)}}}}end{aligned}}}}}}}}}}}} {}}}} {} {}} {f}}}}} {f}}}} {f}}}}}}} {f} {f} {f}} {f} {f} {f}}}}} {f}}}}}}}}}}}} {f}}}} {f}}}}}}} {f}}}}}}}}}}}} {f}}}}}}}}} {f}}}}}}}}} {f}}}}}}}}}}}}}}}}}}}}}}}}}}

Resz=i⁡ ⁡ f()z)=e− − t2i.{displaystyle operatorname {Res} _{z=i}f(z)={frac {fnMicrosoft Sans Serif}

Según el teorema del residuo, entonces, tenemos

∫ ∫ Cf()z)dz=2π π i⋅ ⋅ Resz=i⁡ ⁡ f()z)=2π π ie− − t2i=π π e− − t.{displaystyle int _{C}f(z),dz=2pi icdot operatorname {Res} limits _{z=i}f(z)=2pi i{frac {fnMicrosoft Sans Serif}

El contorno C se puede dividir en una parte recta y un arco curvo, de modo que

∫ ∫ straightf()z)dz+∫ ∫ arcf()z)dz=π π e− − t{displaystyle int _{mathrm {straight}f(z),dz+int _{mathrm {arc} }f(z),dz=pi e^{-t}

∫ ∫ − − aaf()z)dz=π π e− − t− − ∫ ∫ arcf()z)dz.{displaystyle int _{-a}{a}f(z),dz=pi e^{-t}-int _{mathrm {arc} }f(z),dz.}

Usando algunas estimaciones, tenemos

Silencio∫ ∫ arceitzz2+1dzSilencio≤ ≤ π π a⋅ ⋅ SuparcSilencioeitzz2+1Silencio≤ ≤ π π a⋅ ⋅ Suparc1Silencioz2+1Silencio≤ ≤ π π aa2− − 1,{displaystyle left WordPressint _{mathrm {arc}{frac {e^{itz}{z^{2}+1}},dzright sometidaleqpi acdot sup _{text{arc}}left durable{frac}frac} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fn} {fn}} {f} {fn}}}}}}}fn}}}}}}}}justo} {fn} {f}}} {f}}}} {f}}}}}}}}}}}}}}justo}}}}justo}}}justo}}justo}justo}justo}}justo}justo}justo}justo}justo}justo}justo}justo}justo}justo}}f}}justo}justo}justo}justo}justo}justo}justo}justo}justo}justo}fnfnfnh}fnh}justo}fnjusto}justo}fnh}justo} pi acdot sup _{text{arc}{frac {1}{ vidasz^{2}+1 vidas}}leq {fnMicroc} a}{a^{2}-1}}

lima→ → JUEGO JUEGO π π aa2− − 1=0.{displaystyle lim _{ato infty}{frac ♪ a}{a^{2}=0}

La estimación en el numerador sigue desde t > 0, y para números complejos z a lo largo del arco (que se encuentra en el semiplano superior), el argumento φ de z mentiras entre 0 y π. Entonces,

SilencioeitzSilencio=SilencioeitSilenciozSilencio()#⁡ ⁡ φ φ +ipecado⁡ ⁡ φ φ )Silencio=Silencioe− − tSilenciozSilenciopecado⁡ ⁡ φ φ +itSilenciozSilencio#⁡ ⁡ φ φ Silencio=e− − tSilenciozSilenciopecado⁡ ⁡ φ φ ≤ ≤ 1.{displaystyle left habite^{itz}right sobre la vida=left habite^{it habitz habit(cos varphi +isin varphi)}right sobre la vida=left sometidae^{-t sometidaz sobre la vidasin varphi +it perpetuazcos varphi }right WordPress=e^{-t WordPresssin varphi }leq 1.}

Por lo tanto,

∫ ∫ − − JUEGO JUEGO JUEGO JUEGO eitzz2+1dz=π π e− − t.{displaystyle int _{-infty }{2},dz=pi e^{-t}

Si t < 0 luego un argumento similar con un arco C′ que gira alrededor de −i en lugar de i muestra que

El contorno C..

∫ ∫ − − JUEGO JUEGO JUEGO JUEGO eitzz2+1dz=π π et,{displaystyle int _{-infty - ¿Qué?

y finalmente tenemos

∫ ∫ − − JUEGO JUEGO JUEGO JUEGO eitzz2+1dz=π π e− − SilenciotSilencio.{displaystyle int _{-infty }{infty }{frac {e^{itz}}{z^{2}+1}}, dz=pi e^{-left sometidatright sometida}

(Si t = 0 entonces la integral cede inmediatamente a los métodos de cálculo elemental y su valor es π.)

Una suma infinita

El hecho de que π cot(πz) tenga polos simples con residuo 1 en cada entero se puede usar para calcular la suma

.. n=− − JUEGO JUEGO JUEGO JUEGO f()n).{displaystyle sum _{n=-infty }{infty }f(n).}

Considere, por ejemplo, f(z) = z⁻². Sea Γ_N el rectángulo que es el límite de [− N − 1/2, N + 1/2]² con orientación positiva, con un número entero N. Por la fórmula del residuo,

12π π i∫ ∫ .. Nf()z)π π cot⁡ ⁡ ()π π z)dz=Resz=0+.. n=− − Nnل ل 0Nn− − 2.{displaystyle {frac}{2pi} - ¿Qué? Gamma _{N}f(z)pi cot(pi z),dz=operatorname {Res} limits _{z=0}+sum _{n=- N atop nneq No.

El lado izquierdo va a cero como N → desde que el integrante tiene orden O()n− − 2){displaystyle O(n^{-2}}. Por otro lado,

z2cot⁡ ⁡ ()z2)=1− − B2z22!+⋯ ⋯ {displaystyle {frac {z}{2}}cot left({frac {z}{2}}right)=1-B_{2}{2}{2}}}}+cdots }

B2=16.{displaystyle B_{2}={frac {1}{6}.}

(De hecho, z/2 cot(z/2) = iz/ 1 − e^−iz − iz/ 2.) Por lo tanto, el residuo Res_z=0 es −π²/3. Concluimos:

.. n=1JUEGO JUEGO 1n2=π π 26{displaystyle sum _{n=1}{infty }{frac {1}{n^{2}={frac} {pi ^{2}{6}}} {fn}} {f}}} {f}}}} {f}}}} {f}}}}}}} {f}}}}}}}}}}} {f}}}}}}}}}}}}}}} {f}}}}}}}}}}}}} {

El mismo truco se puede utilizar para establecer la suma de la serie de Eisenstein:

π π cot⁡ ⁡ ()π π z)=limN→ → JUEGO JUEGO .. n=− − NN()z− − n)− − 1.{displaystyle pi cot(pi z)=lim _{Nto infty }sum ¿Qué?

Tomamos f(z) = (w − z)⁻¹ con w un número no entero y mostraremos lo anterior para w. La dificultad en este caso es mostrar la desaparición de la integral de contorno en el infinito. Tenemos:

∫ ∫ .. Nπ π cot⁡ ⁡ ()π π z)zdz=0{displaystyle int _{ Gamma...

∫ ∫ .. Nf()z)π π cot⁡ ⁡ ()π π z)dz=∫ ∫ .. N()1w− − z+1z)π π cot⁡ ⁡ ()π π z)dz{displaystyle int _{ Gamma _{N}f(z)pi cot(pi z),dz=int ¿Qué? Gamma _{N}left({frac {1}{w-z}}+{frac {1}{z}right)pi cot(pi z),dz}