Sei sulla pagina 1di 25

Matemática D

MATEMÁTICA D

Módulo I: Análisis de Variable Compleja

Unidad 5

Teoría de Residuos

Mag. María Inés Baragatti

Singularidades

Se dice que z 0 es una singularidad aislada de f(z) si f(z) no es analítica en z 0 pero sí es analítica en un entorno reducido de z 0 , es decir si existe un número positivo r tal que f(z) es analítica en un conjunto de la forma 0 < |z – z 0 | < r

Se dice que z 0 es una singularidad no aislada de f(z) si f(z) no es analítica en z 0 y en todo entorno reducido de z 0 hay al menos un punto donde f(z) no es analítica.

Ejemplos

La función f(z) = 2/z tiene una singularidad aislada en z = 0 ya que su dominio de analiticidad es C – {0} y por lo tanto es analítica en todo entorno reducido de 0.

2- La función g(z) = z / sen z no es analítica en los puntos en que se anula el denominador , es

y estos complejos resultan ser

singularidades aisladas de g(z) pues, para cada uno de ellos existe un entorno reducido donde

g(z) es analítica. Observar que dichos entornos tienen la forma 0 < | z - k | < y a continuación se observan algunos de ellos

decir en los complejos de la forma k , con k = 0, ±±±± 1, ±±±± 2,

1-

- 0
-
0
0 2
0 2
3 2
3
2

1

Matemática D

3- La función h(z) = Ln z tiene una singularidad no aislada en z = 0 pues todo entorno reducido de 0 contiene puntos del eje real negativo, donde sabemos que Ln z no es analítica. Es importante observar que además son singularidades no aisladas todos los complejos del eje real negativo pues , como se observa en los gráficos siguientes, todo entorno de cero y de un real negativo contiene puntos donde h(x) no es analítica .

Residuos

0
0
-1 0
-1
0

Si z 0 es un punto singular aislado de f(z), sabemos que f(z) es analítica en un anillo 0 < |z – z 0 | < r y por lo tanto f(z) admite un desarrollo en serie de Laurent convergente en dicha corona:

f(z)

====

••••

∑∑∑∑

n

====

0

a

n

((((

z

z

0

))))

n

++++

••••

∑∑∑∑

b

n

((((

z

z

0

))))

n , 0 < |z – z 0 | < r

n

====

1

1442443

parte principal del desarrollo

deLaurent

y z 0 x
y
z 0
x

|z-z 0 |=r

donde los números a n y b n , por ser los coeficientes de la serie de Laurent, son iguales a :

a

n

====

1

∫∫∫∫

C

f(z)

2

i

(z

z

0

)

n

++++

1

dz

b

n

====

1

∫∫∫∫

C

f(z)

2

i

(z

z

0

)

n

++++

1

dz

y x
y
x

z 0

C

donde C es cualquier curva suave por tramos contenida en la corona que encierra a z 0

Es interesante observar que el coeficiente b 1 de la serie de Laurent mencionada resulta ser

b

1

====

1

∫∫∫∫

C

f(z)

2

i

(z

z

0

)

1

++++

1

dz ====

1

2

i

∫∫∫∫

C

f (z) dz

de donde puede despejarse el valor de la integral de f(z) sobre la curva cerrada C obteniendo:

∫∫∫∫

C

f (z) dz ==== 2

i b

1

por lo tanto si se conoce el coeficiente b 1 podemos obtener el resultado de la integral, este hecho justifica la siguiente definición:

2

Matemática D

Si z 0 es un punto singular aislado de f(z), se denomina residuo de f(z) en el punto z 0 al coeficiente de la potencia (z – z 0 ) -1 de la serie de Laurent que representa a la función en la corona 0 < |z – z 0 | < r y se anota Res(f,z 0 ) = b 1

Ejemplos

1- La función

f (z) ==== e

1 z

tiene una única singularidad aislada en z 0 = 0 y su desarrollo en serie de

Laurent alrededor de dicho punto es

e

1 z

====

••••

∑∑∑∑

n

====

0

1

n! z

n

convergente en

0 < |z | <••••

, como la

serie converge en un entorno reducido de z = 0 y el coeficiente de z -1 es igual a 1 , podemos afirmar que el residuo de f(z) vale 1 y anotamos Res(f,0) = 1 .

C 2 C 1
C 2
C 1

Además podemos afirmar que:

siendo C 1 cualquier curva cerrada suave por tramos que encierra al origen. Observar que si C 2 es cualquier curva cerrada que no encierra al origen entonces

, y este valor se obtiene usando el teorema de Cauchy Goursat y no medio del

residuo.

∫∫∫∫ C

1

e

1/z

dz

====

2

iRes(f,1)

====

2

i

,

∫∫∫∫

C2

e

1/z

dz

====

0

Ln z

1

2- La función

no es analítica en z 0 = 1 pero como es analítica en 0 < | z - 1 | < 1 ,

podemos afirmar que z 0 es una singularidad aislada de f(z) , además esta función no es analítica en cero y en todos los complejos del eje real negativo, pero todos ellos son singularidades no aisladas. Para hallar el residuo en la singularidad aislada z 0 = 1 debemos encontrar la serie de Laurent que la representa en el entorno reducido 0 < |z – 1| < 1, es decir debemos encontrar una serie de potencias positivas y negativas de ( z - 1) .

Como Ln z es analítica en 1 , desarrollamos por Taylor teniendo presente que

f(z) ====

z

((((

Ln z

))))

' ====

1

1

====

z

(z

1)

++++

1

====

••••

∑∑∑∑

n

====

0

(

1)

n

(z

1)

n , convergente en | z – 1| < 1 , entonces

Ln z

====

z

∫∫∫∫

1

((((

Ln z

))))

' dz

====

••••

z

∫∫∫∫ ∑∑∑∑

1

n

====

0

(

1)

n

(z

1)

n

dz

====

••••

z

∑∑∑∑∫∫∫∫

1

n

====

0

(

1)

n

(z

1)

n

dz

====

••• •

∑∑∑∑

n

====

0

(

1)

n

(z

1)

n

++++

1

n

++++

1

para | z – 1| < 1 (observar que por ser una serie de potencias convergente , la integral de la serie fue reemplazada por la serie de las integrales)

Por lo tanto

f(z) ====

Ln

z

====

1

Ln z

====

z

1

z

1

si

0 <| z – 1| < 1

(z- 1) -1

••• •

∑∑∑∑

n

====

0

( 1)

n

(z

1)

n

++++

1

n

++++

1

=

••••

∑∑∑∑

n

====

0

( 1)

n

(z

1)

n

n

++++

1

,

(observar que se ha excluido de la región de convergencia z = 1 pues el primer factor sólo tiene sentido

si

z ππππ 1 )

3

Matemática D

Como la serie obtenida converge en un entorno reducido de z 0 = 1 aparece, podemos afirmar que el residuo de f en 1 vale 0, anotamos

donde la integral

z 0 = 1

y la potencia (z–1) -1 no b 1 = Res(f,1) = 0, de

, siendo C cualquier curva cerrada que encierra a

∫∫∫∫

C

Ln

z

z

1

dz

====

2

i b

1

====

0

y contenida en 0 <| z – 1| < 1

3- La función

f(z) ====

3zi

2

z (z

++++

2i)

no es analítica en

z 0 = 0

y

z 1 = -2i

0 < | z | < 2

son singularidades aisladas de f(z)

y

0 < | z + 2i | < 2 , que son entornos reducidos de z 0

y

, pero es analítica en

z 1 , por lo tanto ambos

Es importante observar que:

si C 1 es una curva cerrada, suave por tramos y simple que encierra a z 0 = 0 y no encierra a z 1 = -2 entonces

∫∫∫∫

C

1

3z i - 2

z

((((

z

++++

2i

))))

dz ====

2 zi 2 z ++++ 2i ∫∫∫∫ C z 1
2 zi
2
z
++++
2i
∫∫∫∫
C
z
1

dz

====

2 i Res[[[[f,0]]]]

si C 2 una curva cerrada suave por tramos y simple que encierra a

z 1 = -2i

y no encierra a z 0 = 0

entonces

∫∫∫∫

C

1

3z i - 2

z

((((

z

++++

2i

))))

dz ====

2 zi 2 z ∫∫∫∫ C z ++++ 2i 1
2 zi
2
z
∫∫∫∫
C
z
++++
2i
1

dz

====

2

i Res[[[[f,-2i]]]]

0 C 1 -2i
0
C 1
-2i
0 C 2 -2i
0
C 2
-2i

La pregunta natural después estas observaciones es ¿cómo se puede calcular la integral propuesta sobre una curva cerrada que encierre a las dos singularidades aisladas? La respuesta la provee el siguiente teorema.

Teorema de los residuos

Si f(z) es analítica sobre la curva cerrada, suave por tramos y simple C y su interior, salvo en un

, z n interiores a C, entonces

número finito de puntos z 1 , z 2 ,

z 1 z n
z 1
z n

∫∫∫∫

C

f (z) dz

====

2

i

Res f, z

{{{{

[[[[

1

]]]]

++++

[[[[

Re s f , z

2

]]]]

++++

++++

[[[[

Re s f , z

n

]]]]}}}}

====

2

i

n

∑∑∑∑

1

[[[[

Re s f , z

n

]]]]

Demostración

Si se consideran n curvas cerradas ,simples y suaves por tramos

C 1 , C 2 ,

Puntos interiores comunes, usando la segunda consecuencia del teorema

, C n , que encierren a cada punto singular y que no tienen

z 1 z n
z 1
z n

4

Matemática D

De Cauchy Goursat podemos decir que:

∫∫∫∫

C

f(z) dz =

∫∫∫∫

C

2

f(z) dz

++++

∫∫∫∫

C

3

f(z) dz

++++

++++

∫∫∫∫

C

n

f(z) dz

y usando la definición de residuo sabemos que cada una de estas integrales verifica

, por lo tanto reemplazando cada una por su valor y sacando 2 i factor

común se obtiene lo que queríamos demostrar.

∫∫∫∫

C

k

f(z) dz

====

2

[[[[

iRes f, z

k

]]]]

A partir de ahora podemos calcular integrales sobre curvas cerradas de funciones que son

analíticas sobre la curva y en el interior salvo en un número finito de singularidades interiores a la curva usando los residuos , por ejemplo podemos afirmar que:

∫∫∫∫

|z|

====

1

1

sen z

dz

====

2

iRes



 

1

,0

sen z



 

, ∫∫∫∫

|z

1

1|

====

3

sen z

dz

====

2

i







Res



 

1

,0

sen z



 

++++

Res



 

1

,

sen z

 

     



 



pero para calcular los residuos la única herramienta que tenemos es hallar la serie de Laurent convergente en un entorno reducido de cada punto singular aislado y esto no es tan sencillo

Muchas veces es posible hallar el residuo de una función en una singularidad aislada sin tener que desarrollar la función en serie de Laurent. Para ello es necesario clasificar las singularidades aisladas como se indica a continuación:

Clasificación de singularidades aisladas

Si z 0 es un punto singular aislado de f(z), entonces f(z) es analítica en 0 < |z – z 0 | < r y puede

desarrollarse en serie de Laurent

f(z)

====

••••

∑∑∑∑

n

====

0

a

n

((((

z

z

0

))))

n

++++

••••

∑∑∑∑

b

n

((((

z

z

0

))))

n , 0 < |z – z 0 | < r

n

====

1

1442443

parte principal del desarrollo

deLaurent

Si la parte principal del desarrollo de Laurent convergente en 0 < |z – z 0 | < r no posee

términos, es decir b n = 0 .

n 1, se dice que f(z) tiene una singularidad evitable en z 0

Si la parte principal del desarrollo de Laurent convergente en 0 < |z – z 0 | < r posee infinitos términos no nulos , es decir b n ππππ 0 para infinitos valores de n, se dice que f(z) tiene una singularidad esencial en z 0

Si la parte principal del desarrollo de Laurent convergente en 0 < |z – z 0 | < r posee un número

b k ππππ 0, se dice que f(z) tiene un

finito de términos no nulos, es decir b n = 0 para polo de orden k en z 0

n > k

y

5

Matemática D

Ejemplos

1 z

====

••••

∑∑∑∑

n

====

0

1

n

para

n! z función en un entorno reducido de z 0 = 0 y posee infinitos términos con potencias negativas, podemos decir que z 0 = 0 es una singularidad esencial de e 1/z

convergente en un entorno

2- Sabemos que el desarrollo en serie de Laurent de

1- Ya hemos demostrado que

e

0 < |z | <•••• , como esta serie representa a la

f(z) ====

f(z) ====

Ln

z

z

1

••••

∑∑∑∑

n

====

0

( 1)

n

(z

1)

n

convergente en 0 <| z – 1| < 1,

++++ como esta serie no tiene potencias negativas, podemos decir que es z 0 = 1 es una singularidad evitable de f(z)

reducido de la singularidad aislada z 0 = 1 es

n

1

3- Es importante observar que si bien la serie

••••

∑∑∑∑

n

====

0

( 2)

n

((((

z

++++

1

)))) n

tiene infinitas potencias negativas de

z + 1 , z 0 = -1 no es una singularidad esencial de la función a la cual converge pues dicha serie converge para los z que verifican | z + 1 | > 2 y por lo tanto no converge en un entorno reducido de z 0 = -1

4- La función

, no es analítica en z = 0 pero sí lo es en 0 < | z | <•••• , para obtener la

serie de Laurent que la represente en dicha corona desarrollamos sen z en serie de Taylor

alrededor de 0 y operamos del siguiente modo:

g(z) ====

sen z

z

4

sen z

1

====

z

4

z

4

sen z

====

1

z

4

••••

∑∑∑∑

n

====

1

(-1)

n

(2n

++++

1)!

z

2n

++++

1

====

••••

∑∑∑∑

n

====

1

(-1)

n

(2n

++++

1)!

z

2n

3

====

1

1

z

++++

◊◊◊◊◊◊◊◊◊◊◊◊◊◊◊◊

z

3

3!z

5!

como la serie de sen z converge

afirmar que la serie obtenida representa a la función en 0 < |z1<•••• .

Como la serie obtenida converge en un entorno reducido de z = 0 y la parte principal del desarrollo tiene un número finito de términos, podemos afirmar la función posee en z = 0 un polo, como la potencia negativa de mayor valor absoluto es 3, el polo es de orden 3 . Observar que el Res(f,0) = -1/3!

, y el factor 1/z 4 sólo tiene sentido si z ππππ 0 , podemos

z

∑∑∑∑Ejercicios

1- Hallar las singularidades de las siguientes funciones e indicar cuáles de ellas son aisladas:

6

Matemática D

a)

c)

e)

2-

3-

f (z)

1

====

f

3

(z) ====

f

5

(z) ====

z

++++

z

z

5

4z

3

sen   

1

z

++++

1

  ++++ 

z

4

e

2z

1

3

(z

++++

1)

b)

d)

f)

f

f

2

4

f

6

1

(z) ====

z

(z) ==== Ln z ++++

3

cos z

2

z

z

++++

e

z

2

2

(z) ====

Ln(z

1)

ch z

Mediante un desarrollo en serie de Laurent adecuado, clasificar las singularidades que se indican a continuación teniendo en cuenta la funciones del ejercicio anterior:

a) z = 0 para f 1 (z)

b) z = para f 2 (z)

Dadas

g(z)

h(z)

••••

n

((((

z

 

1

))))

n

3

4

n

====

1

3

n

++++

z

1

((((

z

 

1

)))) 4

,

••••

 

n

((((

z

1

))))

n

++++

3

4

n

====

1

3

n

z

1

((((

z

1

)))) 4

==== ∑∑∑∑

==== ∑∑∑∑

c) z = -1 para f 3 (z)

a) Justificar que z 0 = 1 es una singularidad aislada de g(z) y clasificarla.

b) ¿ z 0 = 1 es una singularidad aislada de h(z) ? Justificar la respuesta.

4- Dada f(z) =

••••

∑∑∑∑

n

====

1

(

1)

n

((((

z

1

))))

2n

12

n

4

n

a) Hallar el dominio de f(z) y el dominio de analiticidad, ¿f(z) tiene puntos singulares aislados?, en caso afirmativo clasificarlos y justificar la respuesta.

b) Hallar y clasificar las singularidades de las funciones G(z) =

e

4 ((((z

1))))

f(z) , H(z) = (z-1) 5 f(z)

5-

2z

Dadas k(z) = ((((

sen z

z

2

2

)))) ((((

z

++++

2

))))

2((((z

2))))

++++

,

f(z)

z - 1

==== ++++

z

4

z

2

4

,

g(z)

====

z

3

e

1 /( z

2)

a) Hallar y clasificar las singularidades aisladas mediante un desarrollo en serie de Laurent adecuado . Justificar en cada caso la elección de la corona.

b) Verificar que z 1 = 0 es un cero de las tres funciones y hallar su orden.

Caracterización de polos

Muchas veces podemos determinar los polos y su orden sin necesidad de desarrollar en serie de Laurent convergente en el el entorno reducido del punto singular utilizando la siguiente propiedad:

7

Teorema

z 0 es un polo de orden k de f(z)

Matemática D

f(z) = (z – z 0 ) -k h(z) , con h(z) analítica en z 0 y h(z 0 ) ππππ0

Demostración:

) sabemos que : z 0 es un polo de orden k de f(z) queremos demostrar que : f(z) = (z – z 0 ) -k h(z) , con h(z) analítica en z 0 y h(z 0 ) ππππ0

Como z 0 es un polo de orden k de f(z) entonces f(z) admite un desarrollo en serie de Laurent convergente en 0 < | z – z 0 | < R de la forma :

f(z) ====

 

b

k

++++

b

k

1

((((

z

z

0

))))

k

((((

z

z

0

))))

k

1

++++◊◊◊◊◊◊◊◊◊◊◊◊++++

b

1

((((

z

z

0

))))

++++

••••

∑∑∑∑

n

====

0

a

n

((((

z

z

0

)))) n

,

con b k ππππ0

multiplicando ambos miembros de la igualdad anterior por (z – z 0 ) k , obtenemos:

((((

f (z) z

z

0

))))

k

====

••••

b

z

1444444444442444444444443

h(z)

k

++++

b

k

1

((((

z

z

0

))))

++++

++++

b

1

((((

z

0

))))

k

1

++++

∑∑∑∑

n

====

0

a

n

((((

z

z

0

))))

n

++++

k

observamos que en el segundo miembro se obtiene una serie de potencias positivas convergente en | z – z 0 | < R . Si llamamos h(z) a la suma de dicha serie, entonces h(z) es analítica en z 0 y h(z 0 ) = b k ππππ0 , por lo tanto podemos afirmar que f(z) (z – z 0 ) k = h(z)

y despejando obtenemos lo que queríamos:

f(z) = (z – z 0 ) -k h(z), con h(z) analítica en z 0 y h(z 0 ) ππππ0

) sabemos que : f(z) = (z – z 0 ) -k h(z) , con h(z) analítica en z 0 y h(z 0 ) ππππ0 queremos demostrar que : z 0 es un polo de orden k de f(z)

Sabemos que f(z) = (z – z 0 ) -k h(z)

tanto podemos desarrollar h(z) en serie de Taylor alrededor de dicho punto obteniendo:

donde h(z) es una función analítica en z 0 y h(z 0 ) ππππ0 , por lo

h(z) ====

••••

∑∑∑∑

n

====

0

h

(n)

(z

0

)

n!

((((

z

z

0

)))) n

, convergente en | z – z 0 | < R

Reemplazando esta serie en f(z) = (z – z 0 ) -k h(z) obtenemos:

f(z)

====

(z

z

0

)

k

••••

∑∑∑∑

n

====

0

h

(n)

(z

0

)

n!

((((

z

8

z

0

))))

n

====

••••

∑∑∑∑

n

====

0

h

(n)

(z

0

)

n!

((((

z

z

0

)))) n k

Matemática D

como el factor (z – z 0 ) -k sólo tiene sentido si z ππππ z 0 y la serie de h(z) converge en | z – z 0 | < R , el producto converge en la intersección, es decir esta serie converge en 0 <| z – z 0 | < R y por lo tanto es una serie de Laurent de f(z) que converge en un entorno reducido de z 0

Explicitando los términos encontramos que:

f(z)

====

h(z

0

)

h'(z )

0

((((

z

z

0

))))

k

((((

z

z

0

))))

k

1

++++

++++◊◊◊◊◊◊◊◊◊◊◊◊++++

h

(k

1)

(z

0

)

((((

z

z

0

))))

++++

h

(k)

(z

0

)

++++

,

en

0 <| z – z 0 | < R

como h(z 0 ) ππππ0 , podemos afirmar que k es la mayor potencia que aparece en el denominador y por definición de polo podemos afirmar que z 0 es un polo de orden k , que es lo que queríamos demostrar.

Ejemplos

1- Las funciones

f(z) ====

e

z

z

4

(z

i

)

y

g(z) ====

sen z

z

4

(z

i

)

tienen como puntos singulares a z 1 = 0

y z 2 = i y son aislados en ambas (¿porqué?)

Como f(z) puede escribirse así

f(z)

====

z

4

   

14243

   

e

z

z

i

h

1

(z)

con h 1 (z) analítica en 0 y h 1 (0) ππππ0, por el

teorema de caracterización de polos podemos asegurar que 0 es un polo de orden 4 de f(z)

Si queremos razonar en forma similar para la función g(z) escribimos

g(z)

====

z

4

  z sen i z  

14243





h

2

(z)

, en

este caso h 2 (z) es analítica en 0 , pero h 2 (0) = 0 , y por lo tanto no puede aplicarse el teorema de caracterización de polos y nos quedamos sin saber que tipo de singularidad tiene g(z) en 0

Actividad 1:

Averiguar si puede aplicarse el teorema de caracterización de polos para clasificar la singularidad z 2 = i de las funciones f(z) y g(z) del ejemplo anterior, en caso afirmativo hallar el orden del polo.

Es natural preguntarse si para clasificar las singularidades aisladas es necesario hallar la serie de Laurent convergente en un entorno reducido de dicha singularidad, veremos a continuación que si la función es cociente de dos funciones analíticas entonces podemos clasificar las singularidades evitables .

9

Matemática D

Teorema : Clasificación de singularidades aisladas de funciones que son cociente de analíticas

g(z)

Sea

h(z) h(z) tiene un cero de orden q en z 0 entonces :

f (z) ====

donde g(z) y h(z) son analíticas en z 0 y g(z) tiene un cero de orden p en z 0 y

(q – p) de f(z)

b) Si p q , z 0 es una singularidad evitable de f(z)

a) Si p < q , z 0 es un polo de orden

Demostración:

Como sabemos que z 0 es un cero de orden p de g(z) y de orden q de h(z) , utilizando el teorema de caracterización de ceros a cada una de ellas podemos para afirmar que dichas funciones pueden escribirse como:

g(z) = (z – z 0 ) p g 1 (z) , con g 1 (z) analítica en z 0 y g 1 (z 0 ) ππππ 0

h(z) = (z – z 0 ) q h 1 (z) , con h 1 (z) analítica en z 0 y h 1 (z 0 ) ππππ 0

de donde

f(z) ====

g(z)

====

(z

z

0

)

p g

1

(z)

====

(z

z

0

)

p (z)

g

1

====

(z

z

0

)

p

h(z)

(z

z

0

)

q h (z)

1

(z

z

0

)

q (z)

h

1

(z

z

0

)

q

f (z)

1

(*)

donde f 1 (z) es analítica en z 0 , por ser el cociente de dos analíticas en z 0 , y f 1 (z 0 ) ππππ 0

Si q > p , entonces (q – p) > 0

y

por (*) , f(z) puede escribirse como

f(z) = (z – z 0 ) - (q p) f 1 (z)

y por el teorema de caracterización de polos, podemos afirmar que z 0 es polo de orden (q – p)

Si p q , entonces (p – q) > 0 y por (*) podemos escribir f(z) = (z – z 0 ) p q f 1 (z) si z ππππ z 0 . Como el producto (z – z 0 ) p q f 1 (z) es analítico en z 0 se puede desarrollar en serie de Taylor en potencias de (z – z 0 ) , se deja como ejercicio justificar que en este caso z 0 es una singularidad evitable de f(z).

∑∑∑∑Ejercicios

6-

Hallar y clasificar las singularidades aisladas de las siguientes funciones teniendo en cuenta que todas ellas son cociente de funciones analíticas :

a)

f (z) ====

1

sen(z

2)

((((

z

2

)))) 2

b)

f

2

10

(z) ====

z

2

sen z

Matemática D

c)

f (z) ====

3

z

sh z

d)

f

4

(z) ====

sen z (z ++++

)

2

1

cos (2z)

7- Sea g(z) una función analítica en z 0 = 2 con g(2) ππππ 0 ´f'(z)

F(z) ====

f(z)

f(z) = (z –2) 4 [g(z)] 3 , justificar que

y

tiene una singularidad aislada en z 0 = 2 y clasificarla.

8- Sabiendo que h(z) tiene un polo de orden n en z 0 y g(z) tiene un polo de orden m en z 0 , con m < n , justificar la validez de las siguientes proposiciones .

a) F 1 (z) = ( z – z 0 ) -2 h(z) tiene un polo de orden n + 2 en z 0

b)

c) F 3 (z) = h(z) + g(z) d) g(z)

F 2 (z) = h(z) g(z)

F

4

(z) ====

h(z)

h(z)

g(z)

tiene un polo de orden n + m en z 0

tiene un polo de orden n en z 0

tiene una singularidad evitable en z 0

tiene un polo de orden n – m en z 0

e) (z) ====

F

5

f) Si n = m, analizar qué tipo de singularidad tienen las funciones F 3 (z), F 4 (z) y F 5 (z) en z 0

Teorema : Cálculo de residuos en polos

1

[[[[((((

z

Si z 0 es un polo de orden k de f(z) entonces

En particular: Si z 0 es un polo de orden 1 de f(z) entonces Res(f,z 0 ) = lím[[[[((((z

Res(f, z 0 ) =

lím

z

z

0

(k

1)!

z

0

z

z 0

Demostración:

))))

k

f(z)

]]]] (k 1)

z ))))f (z)]]]]

0

Por ser z 0

podemos escribir:

un polo de orden k de f(z)

entonces por el teorema de caracterización de polos

f(z) = (z – z 0 ) -k h(z) , con h(z) analítica en z 0 y h(z 0 ) ππππ0

Desarrollando por Taylor la función h(z) obtenemos:

f(z)

====

h(z

0

)

h'(z )

0

((((

z

z

0

))))

k

((((

z

z

0

))))

k

1

++++

++++◊◊◊◊◊◊◊◊◊◊◊◊++++

 

h

(k

1)

(z

0

)

++++

h

(k)

(z

0

)

(k

((((

1)! z

z

0

))))

k!

 

++++

,

en

0 <| z – z 0 | < R

Como el residuo es el coeficiente de la potencia (z – z 0 ) -1 de la serie que converge en un entorno reducido de z 0 , buscamos dicho coeficiente en la serie anterior y podemos afirmar que:

11

Matemática D

Res(f, z 0 ) =

h

(k

1)

(z

0

)

(k

1)!

Esta expresión no es muy útil pues expresa el residuo de f en función de la derivada de orden (k –1) d e la función h, por ello es conveniente observar que:

Res(f, z 0 ) =

h

(k

1)

(z

0

)

(k

1)!

y el teorema queda demostrado.

Ejemplos

1-

Calcular

∫∫∫∫

|z

1

1|

====

3

z sen z

dz

==== lím

z

z

0

[[[[

h(z)

]]]]

(k

1)

(k

1)!

==== lím

z

z

0

[[[[

(z

z

0

k

) f(z)

]]]]

(k

1)

(k

1)!

0
0

Como los únicos puntos singulares de la función interiores a la curva son z 0 = 0 sabemos que

∫∫∫∫

|z

1

1|

====

3

z sen z

dz

====

2

i Res f,0

{{{{

[[[[

]]]]++++

Re s f ,

[[[[ ]]]]}}}}

, donde

f(z) ====

1

z senz

y

z 1 =

,

Se deja como ejercicio justificar que z 0 = 0 es un polo de orden 2 y z 1 = es un polo simple, entonces:

Res(f, 0)

====

lím

z

0

1

1!



 

z

2

1

z sen z



 

(1)

==== lím

z

0



 

z

sen z



 

(1)

==== lím

z

0

sen z

z cos z

sen

2

z

=

(como la indeterminación es de la forma 0/0, podemos usar la regla de L´Hospital)

=

lím

z

0

cos z

cos z

++++

z sen z

2 sen z cos z

====

lím

z

0

Res(f,

)

====

lím(z

z

)

1

z sen z

z

==== 0

2 cos z

==== lím

z

1

====

sen z

++++

zcosz

1

(como la indeterminación era de la forma 0/0, usamos la regla de L´Hospital para salvarla)

Por lo tanto

∫∫∫∫

|z

1

1|

====

3

z sen z

dz

====

2

i







0

1 





====

12

2i

∑∑∑∑Ejercicios

Matemática D

9- Hallar el residuo en las singularidades aisladas de las funciones del ejercicio 6

10- Si

f (z) ====

g(z)

(z - z

0 )

2

tiene un polo de orden dos en z 0 y el residuo en dicho punto vale cero,

demostrar que g(z 0 ) ππππ 0 y g’(z 0 ) = 0

11- Calcular usando residuos

a)

c)

e)

∫∫∫∫

|z|

====

∫∫∫∫

|z

2|

∫∫∫∫

|z ++++

2

====

z

z

2

++++

1

dz

2

cos z

senz

((((

cos 2z

))))

dz

cos 2z

/ 2|

====

2

((((

1

sen2z

))())(((

z ++++

/ 2

))))

2

dz

b)

d)

f)

∫∫∫∫

|z

∫∫∫∫

|z

∫∫∫∫

|z|

====

4

i|

====

2

e

z

z

2

((((

++++

2z

z

))))

dz

2

sen(2z)

/ 2|

====

2

((((

1

cos 2z

))))

 



((((

sh 1 / z

))))

z

++++

sh z

z

  dz 

12- Si f(z) es analítica sobre la curva

C : |z – i| = 2 f(z)