Tarea de Variable Compleja II

Teoremas de Cauchy, Morera, y de Liouville

1. Sea () una funcin analtica en el conjunto , que se obtiene al omitir un nmero finito de
puntos interiores 1 , 2 , 3 , del rectngulo .
Prueba que

() = 0
()
dado que lim ( )() = 0.

2. Sea () una funcin analtica en el conjunto , que se obtiene al quitar los puntos
1 , 2 , 3 , , de 0 < . Prueba que

() = 0

Para cualquier curva cerrada en 0 < , dado que lim ( ) () = 0 con =

1,2,3, ,
3. Muestra que la afirmacin del ejercicio anterior permanece cierta si se obtiene al omitir un
nmero infinito de puntos 1 , 2 , 3 , , que no tienen puntos de acumulacin en 0 < .
4. Prueba que la composicin de funciones homotpicas son homotpicas
5. Sean 0 , 1 : , funciones homotpicas y , entonces las funciones restringidas al
subconjunto tambin son homotpicas, 0 y 1 son homotpicas.
6. Sean f una funcin analtica en un dominio simplemente conexo y 1 2 dos puntos que
estn en el interior de una curva cerrada simple que tiene sentido de orientacin positiva y
est dentro de . Muestra que
(2 ). (1 ) 1 ()
=
2 1 2 ( 1 )(2 )
Qu pasa si 2 1 ?
1
7. Los polinomios de Legendre estn definidos como () = 2 ! ( [ 2 1] ). Con la
frmula Integral de Cauchy, verifica que
1 ((2 1) )
() =
2 2 ( )+1

donde es una curva cerrada simple que tiene orientacin positiva y ().
Tambin verifica que (1) = 1 y (1) = (1)
8. Utilizando las frmulas Integrales de Cauchy. Evala la integral dada a lo largo del contorno
cerrado indicado
4 ()
2
2 + 5
; ; ;
3 ( ) 3 2 2
= 5
= 1 3 = 2
 2 4 1
( ) ; ;
4 ( )3 3 ( 1)2

2 = 1 2 = 5

1
9. Considera la funcin () = 2
a. Se satisface que () = 0 para toda curva cerrada (que no pase a travs del
origen), pero no es analtica en = 0 Contradice esta afirmacin el teorema de
Morera?
b. La funcin est acotada conforme , pero no es constante. Contradice esta
afirmacin el teorema de Liouville?
10. La funcin () es analtica es todo el plano complejo, e 0. Demuestra que es una
constante.
( )
11. Haciendo uso del Teorema de Morera; muestra que () = 0 1+ es una funcin
analtica en el semiplano izquierdo = { : () < 0}.
12. Sea () = + , donde la regin es el disco = {: 1}. Muestra que
max () = +
1
13. Muestra que cos no es una funcin acotada.
14. Sea () = 2 . Evala lo que se te pide, donde representa la regin rectangular definida
por el conjunto = { = + : 2 3 1 3}
a. max()

b. min()
zR
c. max (())
zR
d. min (())

1
15. Sea una funcin entera que cumple () () para suficientemente grande.
Entonces muestra que 0.
16.
a. Sea (, ) una funcin armnica para toda (, ). Muestra que
2
1
(0 , 0 ) = (0 + cos , 0 + )
2
0
donde > 0. SUGERENCIA: TOMA () = (, ) + (, ), DONDE ES LA ARMNICA
CONJUGADA DE .
b. Establece el principio del mximo para funciones armnicas. Sea (, ) una funcin
armnica y no constante en un dominio simplemente conexo. Entonces no
alcanza su mximo valor en cualquier punto (0 , 0 ) .
17. Sea () una funcin analtica y no constante en el disco cerrado de radio 1, es decir,
1. Supongamos que () = para toda que esta en = 1. Muestra que () tiene un
cero en el disco unitario.