Professional Documents
Culture Documents
RESIDUOS Y POLOS
A lo anterior se agregan los diferentes fenómenos que pueden ocurrir en un punto interior
z0 donde f no es analítica. Uno de los interrogantes que se plantea es: ¿Es siempre posible
definir el valor f ( z0 ) de tal forma que f resulte analítica en ese punto z0 , y por tanto
analítica en todo el dominio determinado por el contorno cerrado simple C ? La respuesta
1
es NO, como lo muestra el siguiente ejemplo f ( z ) , donde z0 0 . Lo anterior justifica
z
las definiciones que caracterizan dichos puntos y que permiten analizar los diferentes
fenómenos que pueden ocurrir en estos.
Nota: El término disco abierto perforado en z0 también es muy usado para expresar lo que
se entiende por entorno punteado de z0 (ver ejemplo 8 página 18).
1
Ejemplo 1. La función f ( z ) es analítica en todo el plano complejo excepto en z 0 .
z
El origen es un punto singular aislado de la función dada ya que existe un entorno
punteado 0 z 0 en z 0 donde f es analítica, lo que significa que f admite
desarrollo de Laurent en este entorno.
1 1
Ya que f ( z ) admite representación de Laurent, y como es a su vez la representación
z z
de Laurent centrada en z0 0 con b1 1 , bn 0 n 1 y an 0 n 0,1, 2,3,... , podemos
usar la fórmula de los coeficientes bn del teorema 4 de Laurent cuando n 1 y z0 0 :
2
1 f ( z ) dz
2 i ( z z )
bn n 1
, n 1, 2,3,.....
C 0
1 1
2 i z dz 2 i 2 i Res[f(z);0]
1 f ( z )dz
C C
z2
Ejemplo 2. Sea la función f ( z ) .
z ( z 2 1)
3
Fijamos un zk y tomamos la distancia mínima al punto singular más cercano y éste valor se
toma como el radio para el disco perforado alrededor del punto singular zk .
i
donde f es analítica.
Ejemplo 3. La rama principal del logaritmo tiene como punto singular el origen, z 0 .
f ( z) Log z ln r i r 0,
3
Sin embargo este punto singular NO es aislado ya que todo disco perforado del origen
contiene puntos del eje real negativo y la rama no esta definida en estos puntos (debido a la
No continuidad de la rama). Es decir, No existen discos perforados 0 z donde
f ( z ) Log z sea analítica (ver figura 2). La situación es similar para cualquier otra rama
de la forma
f ( z) log z ln r i r 0, 2
0
1
El punto zk m k (fijo) es punto singular aislado ya que existe un disco perforado
k
0 z zk con min zk 1 zk , zk 1 zk donde f es analítica(ver figura 3). El
mismo procedimiento se aplica de forma similar a los otros puntos.
0
zk 1 zk zk 1
RESIDUOS
b1 b2 b3 bn
f ( z ) an ( z z0 )n .... ... , 0 z z0 R
n 0 z z0 ( z z0 ) ( z z 0 )
2 3
( z z0 ) n .
1 f ( z)
2 i ( z z )
bn n 1
dz n 1, 2,3,...
0
C ,
con C cualquier contorno cerrado simple de z0 y orientado positivamente dentro del disco
perforado 0 z z0 R (ver figura 4) . Cuando n 1 , la expresión anterior de los b n se
convierte en
C
f ( z)dz 2 i b 1 .
5
z0 C
1
El número complejo b1 que corresponde al coeficiente de en la expansión de
z z0
Laurent se llama el residuo de f en el punto singular aislado z0 , y frecuentemente se nota
como b1 Res f ( z ) o también como b1 = Res[f(z); z0 ] . Con esta notación entonces la
z z0
f ( z)dz 2 i Res[f(z); z ]
C
0
Esta última expresión nos provee de un método eficiente para calcular ciertas integrales a lo
largo de contornos cerrados simples.
dz
Ejemplo 5. Evaluar z( z 2)
C
4
donde C : z 2 1 es un círculo orientado positivamente.
Como la función integrando es analítica en todas partes del plano finito excepto en los dos
puntos z 0 y z 2 entonces f posee representación de Laurent válida en el disco
perforado 0 z 2 2 (ver figura 5). De acuerdo con la ecuación de arriba que relaciona
la integral de línea con los residuos
dz
z( z 2)
C
4
2 i Res[f(z); 2]
1 1 1 1 1 1 1
Como 4
z ( z 2) ( z 2) z ( z 2) 2 ( z 2) 2( z 2) 4 1 ( z 2)
4 4
2
Serie Geométrica
6
1 ( z 2) ( z 2) 2 ( z 2) 3 ( z 2)
n
1 ... ...
2( z 2)4 2 2 2 2
Serie Geométrica
z2
donde, 0 1 y por tanto 0< z 2 2.
2
n ( z 2) 1
n n
1
4 n 1 z 2
1
n 4
0 z2 2
2( z 2) n0 2 n0 2
Así,
1
n
1
z 2
n 4
f ( z) n 1
,0 z 2 2
z ( z 2) 4
n 0 2
Expandiendo la serie
1 1 1 1 1 1 1 1
2 3 4 5 6 ( z 2) 7 ( z 2)2 ....
z ( z 2) 4
2( z 2) 2 ( z 2) 2 ( z 2) 2 ( z 2) 2 2
4 3 2 1
2
donde , 0 z 2 2
1 1
Nótese que Res[f(z); 2] b1 4
, por lo tanto
2 16
dz 1 i
C z( z 2)4 2 i 16 8
0 1 2
Si una función tiene un número finito de puntos singulares interiores a un contorno cerrado
simple C , estos deben ser puntos aislados. El teorema que sigue precisa el hecho de que si
f es además analítica sobre el contorno C orientado positivamente, el valor de la integral
de f a lo largo de C es 2 i veces la suma de los residuos en estos puntos singulares.
f ( z )dz 2 i Res[f(z); z k ]
C k 1
C1 Cn
z1
z2 zn
C2
5z 2
Ejemplo 6. Calcular z( z 1) dz
C
donde C : z 2 orientado positivamente.
5z 2
C
z( z 1) dz 2 i Res[f(z);0] Res[f(z);1]
8
5z 2 5z 2 2
f ( z) 1 z z 2 .... 5 1 z z 2 ....
z ( z 1) z z
2
5 5 z 5 z 2 ..... 2 2 z 2 z 2 ......
z
2
f ( z ) 3 3z 3z 2 3z 3 .....
z
Identificando el b1 , Res[f(z);0] 2 .
Para el disco perforado 0 z 1 1 en z 1 la función
5 z 2 5 z 2 1 5( z 1) 3 1
f ( z)
z ( z 1) z 1 z z 1 1 ( z 1)
3
5 1 ( z 1) ( z 1) ( z 1) ....
2 3
z 1
3
5 5( z 1) 5( z 1) 2 5( z 1)3 .... 3 3( z 1) 3( z 1) 2 3( z 1)3 ....
z 1
3
f ( z) 2 2( z 1) 2( z 1) 2 2( z 1)3 .... , donde 0 z 1 1
z 1
5z 2
Identificando el b1 , Res[f(z);1] 3. Es así como dz 2 i 2 3 10 i
C
z ( z 1)
0 1 2
El ejemplo permite una solución alterna por fracciones parciales mucho más simple:
5z 2 2 3
z ( z 1) z z 1
2
Ahora bien, como es ya serie de Laurent cuando 0 z 1 donde b1 2 y el resto de
z
3
coeficientes son nulos y a su vez también es serie de Laurent con b1 3 y el resto de
z 1
5z 2
coeficientes nulos entonces es fácil concluir que dz 2 i 2 3 10 i .
C
z ( z 1)
RESIDUO EN EL INFINITO.
Sea f una función analítica en el plano finito (recuerde el plano extendido )
excepto en un número finito de puntos singulares interiores a un contorno cerrado simple
C orientado positivamente. Y sea R1 un número positivo suficientemente grande tal que el
contorno C quede completamente dentro del círculo z R1 (ver figura 8). La función en
estas condiciones evidentemente es analítica en el dominio R1 z y como ya se
mencionó (página 4 antes de la sección de residuos), el punto en el infinito resulta ser un
punto singular aislado de f .
C0
C
0 R1 R0
C0
f ( z ) dz 2 i Res[f(z); ]
Ahora bien, como f es analítica en la región en la región limitada o acotada por los
contornos C y C0 , y utilizando el principio de deformación de caminos (sección 49) se
tiene:
f ( z)dz f ( z)dz f ( z)dz ( 2 i Res[f(z); ])
C C0 C0
n
cn z n , R1 z
1 f ( z )dz
donde, cn
2 i C 0 z n1
n 0, 1, 2, 3,..
1
Reemplazando en la expansión z por y posteriormente multiplicando el resultado por
z
1 1 1 cn c 1
z2
se llega a:
z 2
f ( )
z n z n 2
n n2
n z
0 z
R1
1 1 cn2 c c c c c c c 1
z 2
f ( )
z n z n
... 42 31 02 11 02 13 24 ....
z z z z z z z
0 z
R1
1 1
con c1 Res[ f( ); 0] .
z2 z
1
2 i C 0
Usando la fórmula de los coeficientes c n con n 1 se tiene c1 f ( z )dz
1 1 1
Igualando los dos términos anteriores
2 i C 0 f ( z )dz Res[ f( ); 0]
z2 z
1 1 1 1
C0
f ( z )dz 2 i Res[ f( ); 0]
z2 z
C0
f ( z )dz 2 i Res[ f( ); 0]
z2 z
Pero de la definición de residuo en el infinito sabemos que
C0
f ( z ) dz 2 i Res[f(z); ] y
1 1
por tanto Res[f(z); ] Res[ f( ); 0]
z2 z
1 1
f ( z)dz 2 i Res[ z
C
2
f ( ); 0]
z
lo que se quería probar.
11
Relacionando el enunciado del teorema de los residuos de Cauchy con el enunciado del
teorema anterior se puede afirmar que si la función f del teorema de los residuos es
además analítica en todo punto del plano finito exterior a C , calcular la integral de f
sobre C a menudo resulta más eficiente si se calcula el residuo de la función relacionada
1 1
2
f ( ) en z 0 .
z z
5z 2
Ejemplo 7. En el ejemplo 6, se evaluó z( z 1) dz
C
para C : z 2 orientado positivamente,
5z 2 1 1
z( z 1) dz 2 i Res[ z
C
2
f ( ); 0]
z
5
5z 2 2
1 5 2 z z (5 2 z )
donde f ( z ) . Como f ( ) z entonces
z ( z 1) z 1 1 1 z 1 z
( 1)
z z z
1 1 5 2z 5 2z 1 5
f( ) 2 (1 z z 2 z 3 ....) ,0 z 1
z 2
z z (1 z ) z 1 z z
1 1 5
lo que finalmente resulta en: 2
f ( ) 3 3z .... , 0 z 1 ,y, donde el residuo
z z z
1 1
de la función 2
f ( ) en z 0 es b1 5 .
z z
5z 2
Es así como z( z 1) dz 2 i (5) 10 i
C
y donde C : z 2 .
b1 b2 b3 bn
f ( z ) an ( z z0 ) n .... ...
n 0 ( z z0 ) ( z z0 ) ( z z0 )
1 2 3
( z z0 ) n
b1 b2 b3 bn
La porción de la serie, .... ... que contiene
( z z0 ) ( z z 0 ) ( z z 0 )
1 2 3
( z z0 ) n
potencias negativas de z z0 , se denomina la parte principal de f en z 0 .
12
Ejemplo 8.
1 1 1 1
(b) La función f ( z ) 2 2 (1 z z 2 z 3 z 4 )
z (1 z ) z 1 ( z ) z
2
1 1
2
1 z z 2 z 3 ... , 0 z 1 tiene un polo de orden m 2 en el origen y
z z
cosh z 1 ( z )2 n 1 ( z )2 ( z )4 ( z )6
(c) La función f ( z )
z4
z 4 n 0 2n !
1
z 4
2! 4! 6!
1 1 1 ( z)2
4 , 0 z tiene un polo de orden m 4 en z0 0
z 2! z 2 4! 6!
con residuo nulo.
f ( z ) an ( z z0 )n a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3 ... , 0 z z0 R2
n 0
13
en este caso el punto z 0 es conocido como punto singular removible o punto singular
evitable. No es difícil ver que el residuo para este tipo de singularidad removible es siempre
b1 Res[f ( z ); z0 ] 0 . Ahora bien, si redefinimos f en z 0 como f ( z0 ) a0 la expansión
de arriba es válida en el disco z z0 R2 con centro en z0 . Como es conocido, una serie
de potencias siempre representa una función analítica dentro de su circulo de convergencia,
de ahí que f es analítica en z0 cuando su valor se redefine como a 0 . Así, la singularidad
z 0 resulta finalmente removida.
Ejemplo 9. La función
ez 1 1 z z 2 z3 z z 2 z3
f ( z) (1 ....) 1 1 ... , 0 z
z z 1! 2! 3! 2! 3! 4!
El comportamiento de una función cerca de un punto singular esencial fue estudiado por
Picard que establece lo siguiente:” En todo entorno de un punto singular esencial, una
función alcanza todo valor finito, con una posible excepción, un número infinito de veces”.
( z)
f ( z)
( z z0 ) m
14
Res f ( z ); z0 ( z0 ) si m 1
( m1) ( z0 )
y Res f ( z ); z0 si m 2
(m 1)!
(log z )3
Ejemplo 11. La función f ( z ) donde la función log usada aquí corresponde a la
z2 1
rama log z ln r i ,( r 0, 0 2 ) . Encontrar el residuo de f en la singularidad
z i.
( z) (log z )3
La función f ( z ) donde (z)= . Claramente la función ( z ) es analítica
z i z i
i
3
ln1
(log i)3 2 3
en z i ,y, (i) 0,
2i 2i 16
f tiene un polo de orden m 1 (polo simple) en z i y el residuo es
3
Res f ( z ); i (i)
16
Ejemplo 12. Es importante tener siempre presente las condiciones del teorema para el caso
sinh z
del residuo. Tal es el caso de f ( z ) en la singularidad z 0 .
z4
( z)
Es un error tomar f ( z ) donde ( z ) sinh z con m 4 pues (0) 0 . En estos
z4
casos es más conveniente usar la serie de Laurent para f ( z ) así:
sinh z 1 z3 z5 z7 1 1 1 z z3
z 3 3! z 5! 7! ... , 0 z
z 4
z ....
z4 3! 5! 7!
1
f tiene un polo de orden m 3 en z0 0 , con residuo b1 .
6
Ejemplo 13. En algunos casos conviene combinar el método básico de las series con la
fórmula del teorema.
1
Encontrar el residuo de f ( z ) en z 0 . Los ceros del denominador z (e z 1) 0
z (e 1) z
son z 2k k 0, 1, 2,... por tanto claramente z 0 es punto singular aislado de la
función dada.
15
z z 2 z3
Sabemos que la serie de Maclaurin de e z 1 ..... , z , por tanto
1! 2! 3!
z z 2 z3 z z2
ez 1 ..... , z entonces z (e z 1) z 2 1 ..... , z
1! 2! 3! 2! 3!
1 1 ( z) 1
f ( z) donde (z)
z (e 1)
z
z z 2
z 2
z z2
z 2 1 ..... 2! 3! .....
1
2! 3!
f ( z ) ( z z0 )m g ( z )
ez 1
cuando z 0
g ( z) z
1 cuando z 0
El siguiente teorema establece que los ceros de una función analítica son aislados cuando la
función no es idénticamente igual a cero, esto es, f ( z ) 0 .
(a) f es analítica en z0 ;
L z0
N0
CEROS Y POLOS.
El siguiente teorema muestra que con ceros de orden m se pueden crear polos de orden m .
17
p( z )
entonces el cociente tiene un polo de orden m en z0 .
q( z )
Ejemplo 16. Las funciones p( z) 1 y q( z) z(e z 1) son enteras. Por el ejemplo 15
sabemos que la función q tiene un cero de orden m 2 en el punto z 0 . Usando el
p( z ) 1
teorema anterior el cociente tiene un polo de orden 2 en z 0 . Lo que
q( z ) z (e 1)
z
p( z0 ) 0, q( z0 ) 0 y q ' ( z0 ) 0,
p( z )
entonces z0 es un polo simple del cociente y
q( z )
p( z ) p ( z0 )
Res[ ; z0 ]
q( z ) q ' ( z0 )
tanh( z ) i
Ejemplo 17. Calcular el residuo de f ( z ) 2
en el cero z de cosh( z ) .
z 2
sinh z
La función f ( z ) 2
donde p( z ) sinh z , q( z ) z 2 cosh z
z cosh z
Las condiciones del teorema son:
i i i i i i 2
p( ) sinh( ) i 0 y q( ) 0 , q '( )( )2 sinh( ) i
2 2 2 2 2 2 4
i
Entonces por el teorema z es un polo simple de f y el residuo en ese punto es
2
i
p( )
i 2 4
Res[f ; ]
2 i 2
q '( )
2