Fórmula del sumatorio empleando el teorema del Residuo

Andrés Carro Tierno

Universidad De Zaragoza

21/12/2024

Resumen
En este trabajo emplearemos el teorema del P residuo como método mediante el cual pode-
mos evaluar sumas infinitas o series de la forma ∞n=−∞ F (n)

1. Nociones y teoremas básicos

Antes de entrar en detalle en como emplearemos el teorema del residuo para evaluar sumas o
series infinitas, veamos una serie de nociones, definiciones y teoremas previos, que nos servirán de
base para el tema principal.

Definición 1. Una función analı́tica es una función de variable compleja f (z) definida en un
conjunto abierto U ⊆ C que es diferenciable en el sentido complejo en todos los puntos de U . Es
decir, para cada z0 ∈ U , existe el lı́mite:

f (z) − f (z0 )
f ′ (z0 ) = lı́m ,
z→z0 z − z0
y este lı́mite es finito. Una función analı́tica en U también se llama holomorfa.
Adicionalmente, si f (z) es analı́tica en todo el plano complejo C, se dice que es una función entera.
Definición 2. Una singularidad aislada de una función analı́tica f (z) es un punto z0 en el
plano complejo tal que:
i). f (z) no está definida en z0 .

ii). Existe una vecindad U alrededor de z0 (es decir, un disco {z ∈ C : 0 < |z − z0 | < ϵ}) en la
que f (z) es analı́tica en todos los puntos excepto z0 .
Definición 3. Una singularidad evitable es una singularidad aislada z0 que puede ser salvada
extendiendo la definición de f (z) a z0 , de manera que la función sea analı́tica en todo el disco
|z − z0 | < ϵ, incluyendo z0 .
Si f (z) tiene una singularidad aislada en z0 , esta es evitable si:

1
 i). El lı́mite
lı́m f (z)
z→z0

existe y es finito.

ii). La serie de Laurent de f (z) en z0 no tiene términos con potencias negativas de (z − z0 ), es

a−n
decir, no hay términos en la forma (z−z 0)
n para n > 0.

En este caso, podemos redefinir f (z0 ) como:

f (z0 ) = lı́m f (z),

z→z0

y la función se vuelve analı́tica en z0 .

Ejemplo 4. Consideremos la función:

sin z
f (z) = .
z
z0 = 0 es una singularidad aislada, porque f (z) no está definida en z = 0, pero es analı́tica
en z ̸= 0.

Calculamos el lı́mite:
sin z
lı́m = 1.
z→0 z

Esto significa que z0 = 0 es una singularidad evitable, porque podemos redefinir f (0) = 1
para que f (z) sea analı́tica en todo C.

Visto estas definiciones previas, veamos que se entiende por el residuo de una función analı́tica.

Definición 5. Se denomina residuo de una función analı́tica f (z) en una singularidad aislada
z = z0 al número Z
1
Res(f, z0 ) = f (z)dz
2πı C
donde C representa una circunferencia centrada en z0 , en cuyo interior no hay puntos singulares
de la función, salvo en z0 .

Teorema 6. (teorema de los residuos) Sea f : D ⊂ C → C una analı́tica en un dominio

simplemente conexo D, excepto en un número finito de puntos zk que constituyen singularidades
aisladas de f . Sea C una curva en D, simple, cerrada, regular a trozos, con orientación positiva y
tal que el dominio que esta define contiene las singularidades de f . Entonces se tiene:
I X
f (z)dz = 2πı Res(f, zk )
C k

donde Res(f, zk ) es el residuo de la función f en el punto singular zk

2
El objetivo es ver que se cumple la siguiente igualdad
I N
X
lı́m π cot (πz)f (z)dz = lı́m f (n) + R
N →∞ cN N →∞
−N
P
donde R = − (residuos de f (z) cot (πz) en los extremos de f )
Si bien podrı́amos probar esta igualdad mediante el teorema de los residuos, vamos antes a ver el
algoritmo necesario para llegar a esta igualdad.
Tomemos la forma cerrada de Cauchy
I
f (z)dz = 0

a partir de la formula integral tenemos que

I I ′
1 f (z) f (z)
dz = f (z0 ) ⇒ = (z − p)k
2πı z − z0 C f (z)

donde k = 2πı, luego

∞
X
f (z) = an (z − z0 )n
n=−∞

que es una serie de Laurent, por lo tanto, tenemos que

I X
f (z)dz = 2πıa = 2πı Res(αi )
C
.

Teorema 7. (Teorema de Cauchy) Sea f : [u, v] → C.

I
f (z)dz = 0
Cn

Demostración. Por el teorema general de Stokes tenemos que

Z Z
M= ∂M
∂ω ω

luego tenemos que I ZZ  

∂P ∂Q
P dx + Qdy = − dA
C ∂y ∂x
Ahora, como f = u + ıv y dz = dx + ıdy, tenemos que
I I
f (z)(dx + ıdy) = (u + ıv)(dx + ıdy) ⇒
φ
I I
⇒ (udx − vdy) + ı (vdx + udy)
φ φ

3
Por el teorema de Green
I ZZ  
dv du
(udx − vdy) = − − dxdy
φ dx dy
y I ZZ  
du dv
(vdx + udy) = − dydx
φ dx dy
Luego para f (z) = u + ıv, tenemos las derivadas parciales
(
fx′ (z) = du
dx
dv
+ ı dx
fy′ (z) = du
dy
dv
+ ı dy
H H
luego, tenemos que φ (udx − vdy) + ı φ (vdx + udy), luego
   
du ıdv du ıdv
− − − =0
dx dx dx dx
de forma que I
f (z)dz = 0
φ

Teorema 8. La fórmula integral de Cauchy es:

I
1 f (z)
f (a) = dz
2πı C I −a

= 2πı. Tomando C f ′ (z)dz = 0. Entonces

H 1 H
Demostración. Veamos que C I−a
f (z) − f (a)
I I
′
lı́m f (z)dz = lı́m dz
I→a C I→a C I −a
luego, como C f ′ (z)dz = 0, tenemos que
H

I I
f (z) 1
dz = f (a) dz = 2πıf (a)
C I −a C I −a

luego I
1 f (z)
f (a) = dz
2πı C I −a

Definición 9. Sea f (z) una función analı́tica en una región anular A = {z ∈ C : r < |z−z0 | < R},
donde r y R son radios positivos y z0 es el centro del anillo. Entonces, f (z) se puede representar
como una serie de Laurent en A, de la forma:
∞
X
f (z) = an (z − z0 )n ,
n=−∞

donde:

4
 Los coeficientes an están dados por la fórmula de integración:
Z
1 f (w)
an = dw,
2πi γ (w − z0 )n+1

con γ una curva cerrada en A que rodea z0 en sentido positivo.

Los términos con n ≥ 0 constituyen la parte regular de la serie.

Los términos con n < 0 forman la parte singular de la serie.

Proposición 10. Si f (z) es analı́tica en un disco |z − z0 | < R, la serie de Laurent coincide con la
serie de potencias:
∞
X
f (z) = an (z − z0 )n .
n=0

Demostremos las series de Laurent mediante la formula de integración de Cauchy.

H f (z)
Demostración. Sea f (a) = I−z 0
y f (z) = f (z1 ) + f (z2 ), entonces tenemos que
!
1 1 1 1
= = z0 −a
I − z0 z − a − z0 − a z−a 1− z−a

Tenemos la siguiente interpretación

∞
1 X
= wn
1 − w n=0
luego ! ∞  n
1 1 1 X z0 − a
z0 −a =
z−a 1− z−a
z − a n=0 z−a
de forma que por la integral de Cauchy
∞  n ∞
z0 − a
I I
1 X 1 f (z0 ) X
f (z1 ) = f racf (z0 )z − a dz0 = (z0 − a)n (z − a)−n−1 dz0
2πı C 1 n=0
z−a 2πı C z − a n=0

Ahora tomando −k = n + 1, tenemos que

I −1
1 f (z0 ) X
f (z1 ) = ak (z − a)k
2πı C1 z − a k=−∞

El mismo razonamiento anterior lo aplicamos para
f (z2 ).

1 R1
Ahora , consideramos z0 −z desde la vista z−a > 1 donde R1 es es el radio del circulo. Luego
tenemos que
∞ I
X 1 f (z0 )
f (z2 ) = n+1
(z − a)n
n=0
2πı C2 (z − a)

5
 1
H f (z0 )
donde an = 2πı C2 (z−a)n+1
, luego, como tenı́amos f (z) = f (z1 ) + f (z2 ) llegamos a que
∞
X
f (z) = an (z − a)n
n=−∞

De esta demostración de las series de Laurent mediante la integral de Cauchy, podemos definir el
residuo como I
1
a−1 = f (z0 )dz0
2πı c2
Entonces tenemos que I
2πıa−1 = f (z)dz

donde a−1 puede determinarse como el residuo algebraico de

X
ka−1 = 2πı Res (f (αi ), ai )

donde αi son los puntos singulares.

El residuo se puede encontrar mediante tres reglas.

i). f (z) tiene un extremo simple en z0 .

∞
X
f (z) = ak (z − z0 )k
n=−∞

y por la expresión de la serie de Laurent

0 ∞
a−1 X
k
X
f (z) = + ak (z − z0 ) + ak (z − z0 )k
z − z0 k=−∞ k=0

entonces, por la definiciones anteriores tenemos que

(z − z0 )f (z) = a−1 + (z − z0 ) ⇒ lı́m f (z) = a−1 + 0 = a−1

z→z0

ii). f (z) tiene una doble raı́z en z0

(z − z0 )2 f (z) = a−2 + (z − z0 )a−1 + terminos

d 0
(z − z0 )2 f (z) = a−1 +
dz dz
d
lı́m (z − z0 )2 f (z) = a−1
z→z0 dz

6
 f (z)
iii). Para g(z)
tenemos el caso I).
Sea  
f (z) f (z) f (z)
Res( = lı́m (z − z0 ) =
g(z) z→z0 g(z) lı́mz→z0 g(z)−g(z 0 )+g(z0 )
(z−z0 )
Ahora, tenemos que
f (z) f (z0 )
lı́m =
z→z0 g(z)−g(z0 )
+ g(z0 ) g ′ (z0 )
z−z0 z−z0
luego se tiene que    
f (z) f (z)
Res = lı́m
g(z) z−z0 g ′ (z)
Ahora con todo lo que hemos visto estamos en condiciones de demostrar la fórmula principal, es
decir de demostrar la siguiente igualdad.
I N
X X
lı́m π cot (πz)f (z)dz = lı́m f (n) − Res f (z) cot (πz)
N →∞ CN N →∞
n=−N

Demostración. Consideremos una función compleja sobre un recinto cuadrado del espacio. Sea
f (z) = π cot (πz), entonces por el caso II) anterior descrito y por el teorema del residuo tenemos
que
I
1
f (z)π cot (πz)dz = lı́m (z − n)π cot (πz)f (z)
2πı C z→z0

donde n es una singularidad, entonces tenemos que

 
z−π
lı́m (z − n)π cot (πz)f (z) = lı́m π cos πzf (z) = f (n)
z→n z→n sin πz
z−π


cuando lı́mz→n π sin πz
= 1 de forma que tenemos que
I
f (z)π cot (πz) = f (n) + otros puntos residuales
C
Como la función la hemos definido sobre un cuadrado del espacio complejo, tenemos que
Luego por esta curva (Fig 1), los puntos singulares se transforman en el conjunto [−N, N ] ∀N ∈ Z,
y luego por el teorema del residuo tenemos que
I XN X
lı́m π cot (πz)f (z)dz = f (n) − lı́m Res f (z) cot (πz)
N →∞ CN N →∞
n=−N
H
Luego por la forma cerrada de Cauchy C
f (z)dz = 0 tenemos que
I
lı́m π cot (πz)f (z)dz = 0
N →∞ CN

de donde tenemos que

∞
X X
f (n) = −R = − Res f (z) cot (πz)
n=−∞

7
Figura 1: La proyección cerrada del cuadrado.