Anda di halaman 1dari 17

1

RESIDUOS Y POLOS

En capítulo anterior se estudio el teorema de Cauchy-Goursat que establece que si una


función f es analítica en los puntos interiores de un contorno cerrado simple C como en
los puntos mismos del contorno, entonces el valor de la integral de f a lo largo de ese
contorno C es cero. Sin embargo, si la función no es analítica en un número finito de
puntos interiores a C , existe un número especifico llamado residuo, donde cada uno de
estos puntos contribuye al valor de la integral.

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.

Puntos Singulares Aislados


Un punto z0 se denomina punto singular de una función f si f no es analítica en z0 pero
es analítica en algún punto de todo entorno de z0 . Un punto singular z0 se dice que es
aislado si, además, existe un entorno punteado 0  z  z0  de z0 en el que f es
analítica.

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.

Para más detalles de la analiticidad de f re-examinar o repasar el ejemplo 1 de la sección


23 de coordenadas polares.
La utilidad que se hará de los puntos singulares aislados es como sigue:

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

Donde C es un contorno cerrado simple orientado positivamente de z  0 . El resultado


confirma lo que se conoce del ejercicio 10 sección 42 y a su vez permite ir comprendiendo
el teorema de Cauchy de los residuos que se estudiará mas adelante y que en este caso
expresa que la integral es igual a 2 i por el valor del residuo de f en z  0 .

z2
Ejemplo 2. Sea la función f ( z )  .
z ( z 2  1)
3

Como f ( z ) es un cociente de funciones analíticas salvo en los puntos z  0 y z   i , y


existen discos perforados 0  z  , 0  z  i  y 0  z  i  donde f es analítica
entonces se puede afirmar que f posee tres puntos singulares aislados en z  0 y
z   i Nótese que aquí los radios  son todos iguales a 1 ya que son equidistantes. El
mecanismo para el caso en que se tienen distancias distintas entre los puntos singulares es
el siguiente:

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

Figura 1. Los entornos o discos perforados de los puntos singulares aislados

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

Figura 2. Disco perforado en z  0

Ejemplo 4. (Infinitos puntos singulares aislados)


1 1
La función f ( z )  tiene puntos singulares en z  0, z  n  1, 2, 3,.... , es
 n
sin( )
z
 1 1 1 1 1 1 
decir, en los infinitos puntos 1, , , ,....., 0,...., , , ,1 del segmento del eje real
 2 3 4 4 3 2 
desde z  1 hasta z  1.

El punto z  0 No es aislado ya que todo disco perforado 0  z  0  del origen siempre


contiene otros puntos singulares de la función. Más exactamente dado un  0 y m
1 1
cualquier entero positivo tal que  m entonces 0   lo que significa que infinitos
 m
1
puntos de la forma z   0 y quedan dentro del disco perforado 0  z  0  . Como
m
1 1 1 1
caso particular tómese  entonces  m  5, 6, 7,8,..... y por tanto 0   donde
4  m 4
m  5,6,7,.... . Como 0 es un valor limite de la sucesión convergente de puntos dela forma
1
z , m  5, 6, 7,... siempre se tendrán puntos suficientemente cerca al origen como lo
m
1 1
estipula la definición de lim  0 si sólo si  0  .
m  m m
4

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

Figura 3. Disco perforado en zk con radio mínimo  zk 1  zk donde f es analítica.

Es importante tener presente que si f es analítica dentro de un contorno cerrado simple C


excepto para un número finito de puntos singulares z1 , z2 , z3 ,...zn en su interior entonces
todos estos puntos resultan ser aislados y los discos perforados de estos puntos pueden
construirse lo suficientemente pequeños y totalmente contenidos dentro de C . El radio 
se escoge a través de la función distancia mínima.
Por último, vale mencionar que algunas veces es conveniente considerar el punto en el
infinito como un punto singular aislado. Esto es, si existe un número positivo R1 tal que f
es analítica en R1  z  0   entonces se dice que f tiene un punto singular aislado en
z0   .

RESIDUOS

Cuando z 0 es un punto singular aislado de f , existe un disco perforado de radio R ,


0  z  z0  R , donde para todo z del anillo, f es analítica. Por lo tanto f ( z ) admite
representación en series de Laurent:


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 .

donde los coeficientes an y b n son representaciones integrales. En particular, los b 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

Figura 4. Disco perforado 0  z  z0  R y contorno cerrado simple y positivo 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

integral de arriba toma la forma

 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

z2
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 z2  2
2( z  2)  n0  2   n0 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

Figura 5. Disco perforado en 0  z  2  2 y contorno C : z  2  1 orientado


positivamente.
7

TEOREMA DE LOS RESIDUOS.

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.

TEOREMA DE LOS RESIDUOS DE CAUCHY.


Sea C un contorno cerrado simple orientado positivamente. Si una función f es analítica
dentro y sobre C a excepción de un número finito de puntos singulares z k , k  1, 2,3,...n
interiores a C (ver figura 6), entonces

 f ( z )dz  2 i   Res[f(z); z k ]
C k 1

C1 Cn
z1
z2 zn

C2

Figura 6. Los círculos Ck orientados positivamente en el interior de C y sin puntos en


común.
La demostración es corta y se deja como ejercicio de comprensión y análisis.

5z  2
Ejemplo 6. Calcular  z( z  1) dz
C
donde C : z  2 orientado positivamente.

La función integrando tiene dos puntos singulares aislados en z  0 y z  1, ambos en el


interior del circulo C : z  2 . Así,

5z  2
C
 z( z  1) dz  2 i  Res[f(z);0]  Res[f(z);1]
8

Analizamos cada punto por separado:


Para el disco perforado 0  z  1 en z  0 la función
5 z  2 5 z  2 1 5 z  2
f ( z)      1  z  z 2  ....
z ( z  1) z 1 z z
1
donde se aplicó la serie de Maclaurin conocida  1  z  z 2  ... . Realizando el
1 z
producto del lado derecho

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

Figura 7. Discos perforados 0  z  1  1 y 0  z  0  1 .


9

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

Figura 8. Construcción geométrica sobre el punto singular aislado en el infinito.

TEOREMA. Si una función f es analítica en todo el plano finito excepto en un número


finito de puntos singulares interiores a un contorno cerrado simple y orientado
positivamente C , entonces
1 1
C f ( z)dz  2 i Res[ z 2 f ( z ); 0]

Demostración: Sea C0 : z  R 0 un circulo orientado en dirección negativa , donde R0  R1


El residuo de f en el infinito se define mediante la ecuación
10


C0
f ( z ) dz  2 i Res[f(z); ]

Nótese que la dirección negativa de C 0 se elige para mantener el punto en el infinito a


izquierda, así como los puntos interiores a C se mantienen a izquierda.

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

Para encontrar este residuo, tomamos la serie de Laurent de f (exterior a R1)



n  
cn z n , R1  z  

1 f ( z )dz
donde, cn  
2 i  C 0 z n1
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 cn2 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 c1  Res[ f( ); 0] .
z2 z
1
2 i  C 0
Usando la fórmula de los coeficientes c n con n  1 se tiene c1  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

Finalmente reemplazando en  f ( z)dz   ( 2 i Res[f(z); ]) , se obtiene


C

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,

donde se hallaron los residuos en z  0 y z  1 . En este caso, utilizando el teorema


anterior la integral se puede calcular así:

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 .

TRES TIPOS DE PUNTOS SINGULARES AISLADOS.


La teoría de los residuos esta sustentada en el hecho de que si f tiene un punto singular
aislado en z 0 entonces f ( z ) tiene representación en serie de Laurent:


b1 b2 b3 bn
f ( z )   an ( z  z0 ) n     ....   ...
n 0 ( z  z0 ) ( z  z0 ) ( z  z0 )
1 2 3
( z  z0 ) n

en el disco perforado(o disco punteado) 0  z  z0  R 2 (aquí R 1  0) centrado en z0

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

La parte principal de f en el punto singular aislado z 0 es muy usada para distinguir o


caracterizar tres tipos de puntos singulares aislados. El comportamiento de f en las
cercanías de z 0 es fundamentalmente distinto en cada uno de los tres casos.

Si la parte principal de f en z 0 contiene al menos un término no nulo, pero el número de


tales términos es finito, entonces existe un entero positivo m (m  1) tal que

bm  0 , bm1  bm2  bm3  0.

Esto es, la representación en serie de Laurent se reduce a:


 bm
b1 b2
f ( z )   an ( z  z0 )n    ....  , 0  z  z0  R2
n 0 ( z  z0 )1 ( z  z0 )2 ( z  z0 ) m

donde b m  0 . En este caso, el punto singular aislado z 0 se llama de polo de orden m . Un


polo de orden m  1 es usualmente conocido como polo simple.

Ejemplo 8.

tiene un polo simple en el origen. Res  f ( z);0  1


1
(a) La función f ( z ) 
z

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

residuo Res  f ( z );0  1

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.

Cuando cada uno de los b n  0 , la expansión de Laurent de f con centro en el punto


singular z 0 se reduce a:


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 punto z  0 es un punto singular removible. Basta redefinir f (0)  1 y la función se


convierte en entera.

Cuando la parte principal de f en z 0 tiene infinitos coeficientes b n no nulos, el punto z0


se suele llamar punto singular esencial.
Ejemplo 10. La función
1 
1 1 1 1 1 1 1 1
f ( z)  e  
z
 n  1     2   3  ... ,0  z  
n 0 n ! z 1! z 2! z 3! z

tiene un punto singular esencial en z0  0 , donde el residuo b1  1 .

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”.

RESIDUOS EN LOS POLOS.


Cuando una función f tiene una singularidad aislada en un punto z0 , el método básico
para identificar a z0 como un polo y encontrar el residuo allí consiste en expresar la serie de
1
Laurent apropiada y notar el coeficiente de . El teorema que se enuncia a
z  z0
continuación da una caracterización alterna de los polos y una forma de encontrar residuos
en estos que a menudo es más conveniente que el método básico.

TEOREMA. Un punto singular aislado z0 de una función f es un polo de orden m si sólo


si f ( z ) puede ser escrito en la forma

 ( z)
f ( z) 
( z  z0 ) m
14

donde  ( z ) es analítica en z0 y  ( z0 )  0 . Además,

Res  f ( z ); z0    ( z0 ) si m  1

 ( m1) ( 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!   

como  ( z ) es analítica en z  0 y  (0)  1  0 , el punto z  0 es un polo de orden m  2 y


 '(0)
por tanto según condición del teorema Res  f ( z );0    '(0) . Derivando  ( z ) como
(1)!
1
un cociente y evaluando luego en z  0 se obtiene que el residuo es  '(0)  .
2

CEROS DE FUNCIONES ANALITICAS.


Los polos y ceros de las funciones están estrechamente relacionados. Si una función es
analítica en un punto z0 , se sabe que todas las derivadas f ( n ) ( z0 ) existen , con n  1, 2,3,... .
Si f ( z0 )  0 y si existe un entero positivo m tal que f ( m) ( z0 )  0 y cada derivada de orden
inferior en z0 se anula entonces se dice que f tiene un cero de orden m en z0 . El teorema
que se enuncia a continuación presenta una caracterización alterna para los ceros de orden
m.

TEOREMA. Sea f una función analítica en un punto z0 . La función tiene un cero de


orden m si sólo si existe una función g , la cual es analítica y no nula en z0 , y tal que

f ( z )  ( z  z0 )m g ( z )

Ejemplo 14. El polinomio f ( z)  z 3  8  ( z  2)( z 2  2 z  4) tiene un cero de orden m  1


en z  2 . Basta ver que f ( z)  ( z  2) g ( z) donde g ( z)  z 2  2 z  4 . Como f y g son
funciones polinómicas estas enteras y g (2)  12  0 .

Nótese que por el criterio mencionado arriba z  2 es un cero de orden m  1 ya que f es


entera, f (2)  0 y f '(2)  3(2 2) 12 0 .

Ejemplo 15. La función f ( z )  z (e z  1) tiene un cero de orden m  2 , f es entera y


f '( z )  ze z  e z  1 , f ''( z )  ze z  2e z toman los siguientes valores: f (0)  f '(0)  0 y
f ''(0)  2  0 .

En este caso f ( z )  ( z  0)2 g ( z ) donde g ( z ) es la función entera


16

 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 .

TEOREMA. Dada una función f y un punto z0 , supóngase que

(a) f es analítica en z0 ;

(b) f ( z0 )  0 pero f ( z ) no es idénticamente igual a cero en alguna vecindad de z0 .

entonces f ( z )  0 en alguna vecindad perforada 0  z  de z0 .

La demostración se deja como ejercicio de comprensión y análisis.


El siguiente teorema final tiene que ver con aquellas funciones cuyos ceros no son todos
aislados.

TEOREMA. Dada una función f y un punto z0 , supóngase que

(a) f es analítica en la vecindad N 0 de z0 ;

(b) f ( z )  0 en cada punto de z de un dominio D o segmento lineal L que contiene a


z0 . (ver figura 9)

entonces f ( z )  0 en N 0 , esto es, f ( z ) es idénticamente igual a cero en todo N 0 .

L z0
N0

Figura 9.Ilustracion del teorema


La demostración se deja como ejercicio de comprensión y análisis.

CEROS Y POLOS.
El siguiente teorema muestra que con ceros de orden m se pueden crear polos de orden m .
17

TEOREMA. Supóngase que

(a) Dos funciones p y q son analíticas en un punto z0 ;

(b) p( z0 )  0 y q( z ) tiene un cero de orden m en z0

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

confirma el resultado del ejemplo 13.


El teorema que se enuncia a continuación permite un método alternativo para identificar
polos simples y encontrar los correspondiente residuos. Este criterio algunas veces es más
fácil de aplicar que aquel teorema de la página 14 previo al ejemplo 11.

TEOREMA. Sean p y q dos funciones analíticas en un punto z0 . Si

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