Captulo 6

Las Funciones Analticas

6.1 La Representacin en Series de Potencias

6.1.1 Preliminares

Teorema 6.1. Sea una funcin analtica en el disco (0 , ). entonces para todo
(0 , )
(i) existen funciones analticas en , y , tales que
() ()
() = () y () = ;

(ii) para todo paso cerrado contenido en (0 , )

() ()
() = = 0.

Teorema 6.2. Sea una funcin analtica en el disco (0 , ), 0 < < , y | 0 | < .

Entonces

1 ()
() = ,
2

donde es la circunferencia 0 + , 0 2.

Teorema 6.3. (Frmula Integral de Cauchy) Sea analtica en el disco (0 , ), 0 < <

, y | 0 | < . Entonces

1 ()
() = .
2 (0 ,)

1
 ANLISIS DE VARIABLE COMPLEJA

Teorema 6.4. (Desarrollo de Taylor) Si es una funcin analtica en (0 , ), entonces

existen constantes , {0}, tales que est representada por series de potencias

() = ( 0 )
=0

para todo (0 , ). Adems, es infinitamente diferenciable en 0 y

() (0 ) 1 ()
= = , {0}.
! 2 ( 0 )+1

Si max|()| = (), entonces los coeficientes satisfacen la desigualdad de Cauchy

||=

()
| | , < .

Teorema 6.5. (Teorema de Unicidad) Si dos funciones y , analticas en una regin ,

son iguales sobre un subconjunto de con un punto de acumulacin en , entonces y

son iguales en todo .

Teorema 6.6. (Teorema de Liouville) Una funcin entera acotada es constante.

Teorema 6.7. Si es una funcin entera y () cuando , entonces es un

polinomio.

Teorema 6.8. (Valor Medio) Sean una funcin analtica en una regin y 0 .

Entonces
2
(0 ) = (0 + )
0

para (0 , ) .

2
 ANLISIS DE VARIABLE COMPLEJA

Teorema 6.9. (Mdulo Mximo) Si es una funcin analtica no constante en una

regin , entonces para todo y todo > 0 existe (, ) tal que

|( )| > |()|.

Teorema 6.10. (Teorema del Mapeo Abierto) La imagen de un conjunto abierto bajo un

mapeo analtico no constante es un conjunto abierto.

Teorema 6.11. (Lema de Schwarz) Demostrar que si es una funcin analtica sobre
|| < 1, |()| 1 y (0) = 0, entonces |()| < || para || < 1 y | (0)| 1,

excluyendo el caso () = ( real).

Teorema 6.12. (Teorema de Morera) Sea continua sobre un conjunto abierto . Si

() = 0

siempre que sea la frontera de un rectngulo cerrado en , entonces es analtica en

Ejercicios

6.1. Si existe
+1
lim | |,

entonces este lmite es el valor recproco del radio de convergencia de la serie de

potencias
=0 ( ) .

6.2. Hallar los radios de convergencia para las siguientes series de potencias
()
a)
=1
,
()
b)
=2 ln2
,

c)
=0(3 + (1) ) ( )

!
d)
=1 ( )

3
 ANLISIS DE VARIABLE COMPLEJA

6.3. Hallar el radio de convergencia para la siguiente serie de potencias

( )

=1

con respecto al parmetro complejo .

6.4. Comparar los radios de convergencia para las series de potencias

( ) y ( ) ,
=1 =1

donde es real.

6.5. Hallar los radios de convergencia de las siguientes series de potencias

1 1 1
= ( + ) y = .
2
=1 =1

Luego hallar el radio de convergencia para + y .

6.6. Tomando
=0 = 1/(1 ) demostrar que

!
( 1) ( + 1) = , para || < 1.
(1 )+1

6.7. Demostrar que los radios de las siguientes series de potencias

= ( ) ; = ( ) ;

=0 =0

= ( ) ( ) ; = ( ) ,
=0 =0

satisfacen las igualdades

a) () = ()
b) () = () ()
6.8. Sea

= .
0

Demostrar que si el radio de convergencia () de la serie de potencias =

=0 es uno entonces el radio de convergencia () de la serie de potencias

=
=0 es tambin uno.

6.9. Sea , 0 < < , el radio de convergencia de la serie de potencias

=0 .

Hallar los radios de convergencia de las siguientes series

a)
=0(2 1)

4
 ANLISIS DE VARIABLE COMPLEJA

b)
=0 !

c)
=1

6.10. Hallar dos series de potencias y tales que el radio de convergencia de su

producto sea estrictamente mayor que el de sus radios () y ().

6.11. Sean = para 1 y = para 1, , y = (1 0 )(1 ) y =

(0 1)( ). Demostrar que entonces la serie , para =
=0 y =

=0 , converge para todo .

6.12. Demostrar que

()2
() =
2 2 ! ( + 1)!
=0

es la solucin de la ecuacin diferencial ordinaria

2
2 2
+ + ( 2 1) = 0.

6.13. Hallar un desarrollo en serie de potencias en una vecindad de cero para las

siguientes funciones y determinar sus radios de convergencia.

a) 1/( + ), 0

b) 1/( 2 5 + 6)
c) 1/( + 1)2
d) sin2
e) log(1 + )/(1 )
f) + 1, (1 = 1)
2
g) 0
sin
h) 0

i) 1/(1)
j) (log(1 ))2
6.14. Hallar el desarrollo en serie de potencias en el punto = para las prximas

funciones con sus radios de convergencia.

a) /( + )
b) 2 /( + 1)2
c) cos
d)
e) log(1 + )

5
 ANLISIS DE VARIABLE COMPLEJA

6.15. Demostrar que

| 1| | || 1| || || ,
o ms general

||
| | | ||

| ||+1 || .
! !
=0 =0

6.16. Demostrar que la funcin () = /( 1) puede ser representada por

= ,
1 !
=0

donde son los nmeros de Bernoulli para los que se cumple

+1 +1 +1
0 = 1, ( ) 0 + ( ) 1 + + ( ) = 0.
0 1
6.17. Sea dada por () =
=0 , que converge para || < .

a) Demostrar la desigualdad

1 !
() (0 )( 0 ) | | ( 0 ) 0
! ! ( )!
=0 =0 =0

| | , |0 | = 0 < ;
=0

b) demostrar que la serie

1 ()
(0 )( 0 )
!
=0

tiene radio de convergencia 0 ;

c) demostrar que

1 ()
() = (0 )( 0 ) .
!
=0

6.18. Sea una funcin continua sobre el paso y sea la regin en la regin cuya

frontera es el paso tal que inf| | = 0 para y . Demostrar:

() 1
a) () =
es una funcin analtica en . Desarrollar en una serie de

potencias con respecto a , .

()
b) () () = ! ()+1
para 1, .

6.19. Sea una funcin analtica en || < ( > 1). Comenzando por la integral

1 ()
(2 ( + )) ,

6
 ANLISIS DE VARIABLE COMPLEJA

donde es la circunferencia () = , 0 2, demostrar que

2 2
( ) cos 2 ( ) = 2(0) + (0),
0 2
2 2
( ) sin2 ( ) = 2(0) (0).
0 2
6.20. De cuntas maneras diferentes podemos obtener la integral

,
()
donde () = ( 1 )( 2 ) ( ), para , y el paso no atraviesa

ningn punto , = 1, , ?
1
6.21. Hallar la integral 2 (1)3
, si:

a) el punto = 0 est dentro, y = 1 est fuera de la regin cuya frontera es ;

b) el punto = 1 est dentro y = 0 est fuera de la regin cuya frontera es ;

c) los puntos = 0 y = 1 estn dentro de la regin cuya frontera es .

6.22. Sea una funcin analtica en una regin conteniendo al punto (0, 0) y acotada por

el paso cerrado . Demostrar que para cualquier eleccin de la rama de Ln

tenemos

1
() Ln = (0 ) (0),
2
donde 0 es el punto inicial del paso .

6.23. Demostrar (frmulas integrales de Cauchy para una regin no acotada):

Sea un paso cerrado que es la frontera de una regin acotada . Sea la funcin

analtica fuera de la regin y lim () = . Entonces

1 () () + para fuera de
= {
2 para

El paso tiene orientacin positiva con respecto a la regin .

6.24. Hallar el desarrollo en serie de potencias de la funcin

3 1 + 3
() = ( 1 = )
2
en el punto = 1 y hallar el radio de convergencia de la serie obtenida.

6.25. Demostrar que los coeficientes del desarrollo

1
=
1 2
=0

7
 ANLISIS DE VARIABLE COMPLEJA

satisfacen la igualdad = +1 + 2 (n 2). Hallar y el radio de

convergencia ( son los nmeros de Fibonacci).

6.26. Para la serie funcional

() =
1
=1

hallar su serie de potencias

=1

y encontrar su radio de convergencia.

6.27. Hallar para la funcin () = 1/(1) su serie de potencias

=0 y encontrar

el radio de convergencia de esta serie.

6.28. Sea

=0 ( )

() =

=0 ( )

para | | < , tal que en el disco dado ambas series convergen y la serie en el

denominador no tiene ceros y 0 0. Expresar los coeficientes en el desarrollo

() = ( )
=0

mediante los coeficientes y en el disco | | < .

6.29. Sea

() = ( 0 )
=0

una serie de potencias con radio de convergencia . Sea un punto de la frontera

y sea 1 un punto arbitrario sobre el segmento de recta [0 , ] diferente de 0 y .

Demostrar que el punto es singular para si

1
= |1 0 | = ,
|() (1 )|

lim sup !

y este es un punto ordinario si

1
< .
|() (1 )|

lim sup !

6.30. (Teorema de Pringshajm) Demostrar que si para la serie de potencias () =

=0 tenemos = 1 y para = 0, 1, 2, , entonces el punto = 1 es un

punto singular para la funcin .

6.31. Demostrar que en el Ejercicio 6.30:

8
 ANLISIS DE VARIABLE COMPLEJA

a) Es suficiente suponer 0 para 0 .

b) El punto sobre la circunferencia unitaria || = 1 es singular si 0 para

0 .

6.32. Sea

2
() = 2 .
2
=0

Demostrar que

a) la funcin es continua e infinitamente diferenciable sobre el disco || 1;

b) la funcin no tiene puntos ordinarios sobre la circunferencia || = 1.

6.33. Desarrollar la funcin arcsin en una serie de potencias con respecto a .

6.34. Sea una funcin analtica en || < . Demostrar que

1 2
a) () = 2 ()(2 )
(), para || < < y una circunferencia

|| = .

b) (Frmula de Poisson)
1 2 ( 2 2 )( )
( ) = ,
2 0 2 2 cos( ) + 2
para < .

6.35. Sea un disco abierto con centro 0 y radio 0 . Sea { ()} una sucesin acotada de

funciones analticas sobre , que satisfacen la condicin: Para cada 0 fijo, la

()
sucesin { (0 )} converge.

a) Sea () =
=0 , ( 0 ) . Qu son los discos de convergencia de estas

series? Hallar la cota superior de , que es independiente de .

b) Demostrar que , , 0 para un fijo, cuando y tienden a infinito

independientemente uno del otro.

c) Usando (b) demostrar que

lim | () ()| = 0 para todo .
,

6.36. Sabemos que

=0 = 1/(1 ) para || < 1. Examinar la situacin

cuando 1 para 0, 2.

6.37. (Teorema de Tauber) El radio de convergencia de una serie de potencias

=0

es uno y lim = 0. Demostrar que

9
 ANLISIS DE VARIABLE COMPLEJA

=1 | |
a) lim
= 0;

b) si existe lim () = , donde () =

=0 para || < 1, entonces la serie
1

=0 converge (a la suma ).

6.38. (Lema de Schwarz) Demostrar que si es una funcin analtica sobre || < 1,
|()| 1 y (0) = 0, entonces |()| < || para || < 1 y | (0)| 1, excluyendo

el caso () = ( real).

6.39. Demostrar que

a) Para todo nmero complejo

2
1
( ) = para = 0, 1, 2, ,
! 2 ! +1
donde es un paso cerrado y la regin () contiene el origen.

b)
2
1 2
( ) = 2 cos .
! 2 0
=0

6.40. Sea analtica sobre || . Demostrar que

2
1
(0) = ( ) ,
2 0
es decir, el valor de una funcin analtica en el centro de un disco es igual a la

media aritmtica sobre la frontera del crculo

() + ( ) + + (1 )
lim ,

donde = 2/ .

6.41. Sea a analtica sobre (0, ) = {: || } y () 0 para (0, ). Demostrar

que
1 2
|(0)| = exp ( ln ( ) )
2 0

= lim ()( ) (1 ),

donde = 2/ .

6.42. 166

10