Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Variable Compleja Sanchez H
Variable Compleja Sanchez H
: :
p
. = o = \ 0, \p _ = o . < c N c en este caso vale
el criterio de Cauchy, o sea
_ _ _ _
_
\ 0, \p, _ , p = . < c N c
:=p
:
se sigue que si la serie converge entonces . lim
:
:
. = 0
. [. [ <
_ _
:=0 :=0
: :
converge absolutamente cuando .
13.Sea un conjunto cualquiera y . Se denota por 1 = ) : 1-C
|)| = [) [: 1 + = [0, [ )
1 :
:=0
sup ( )
_
. Se dice que una serie de
funciones es normalmente convergente sobre si ) : 1 1
:
-C
_
:=0
: 1
|) | < .
14.Sea un conjunto cualquiera, una serie de funciones 1 = )
_
:=0
:
complejas sobre , normalmente convergente. Entonces 1
( ) ( )
_
o \ 1 ) , la serie es absolutamente convergente.
:=0
:
( )
_
/ ) 1 La serie es uniformemente convergente sobre .
:=0
:
15.Sea y una serie de funciones complejas continuas 1 ) C
_
:=0
:
uniformemente convergentes sobre . Entonces, la funcin 1 . ) .
_
( )
:=0
:
es continua en . 1
16. Sea . Llmase de convergencia de al o . = o . [.[ o ( ) [ [
_
:=0
:
:
C radio
nmero real extendido j ( )
_ _
_
o = : 0: [o [: < sup
:=0
:
:
o . . : [.[ < (o) Llmase de convergencia de al conjunto crculo ( ) C j
17.Lema de Abel: Sea y tales que , o . = o . :, : + 0 < : < : ( )
_
:=0
: 0 0
:
supongamos que existe tal que para todo , ` 0 : [o [: _ ` N
:
0
:
entonces la serie es normalmente convergente en el crculo o . ( )
. , [.[ _ : C .
o . = o . Sea el radio de convergencia de la serie . Entonces j ( )
_
:=0
:
:
( ) ( ) o 0 < : < o . . , [.[ _ : Si la serie converge normalmente en . j C
( )
_
/ . [.[ , o . Si tal que entonces es divergente. C j
:=0
:
:
Daro Snchez H Variable Compleja 4
18.Frmula de Hadamard: El radio de convergencia de la serie
o . = o . = [o [ ( )
_
:=0
: :
: 1
o
est dada por la frmula .
j( )
limsup
:
1
:
= _ 0 Sea , entonces; o c c
_
_ _
:=0
: :
:
<1
:
1
o c
o c
es convergente si
es divergente si >
limsup
limsup
( )
( )
:
1:
:
1:
19. Sean , y , series absolutamente convergentes de nmeros
_ _
:=0 :=0
: :
n
complejos, si entonces la serie es absolutamente n = n , n
: p :p :
p=0 :=0
:
_ _
convergente y .
_ _ _
_ __ _
:=0 :=0 :=0
: : :
n = n
20.Sean con donde r = o r , 1 r = / r () _ , (1) _ ( ) ( )
_ _
:=0 :=0
: : 0 0
: :
j j j j
j
0
0 o r = r 1 r , 1 r = r 1 r . Pongamos entonces ( ) ( ) ( ) ( ) ( ) ( )
j j j j C j (o) _ (1) _ . [.[ o . = . 1 . , 1 . = . 1 .
0 0 0
, y si , ( ) ( ) ( ) ( ) ( ) ( )
21.Sea con y sea o r = o r , T r = / r o 0, T 0 l = o T
( ) ( ) ( ) ( )
_ _
:=0 :=1
: :
: :
j j
entonces
( ) ( )
_ _
_
o 1 = : 0: [/ [: < o =
o,T :
:=1
:
j .
( ) ( ) / : 1 , l _ : Para todo .
o,T
j
( ) ( ) ( ) ( ) ( ) ( ) c : 1 [.[ < :, T . [ < o l . = o T . Si y si entonces | y .
o,T
j
22.Sean una serie inversible es decir; con . o r o 0 = 0 (o) 0 ( ) ( ) ( ) j
Entonces, la serie tiene . De aqu se sigue que si T r = T 0 ( ) ( )
1
o r ( )
j
[:[ < o , T o . T . = 1 min j j ( ) ( ) ( ) ( ) entonces .
23.Para todo . Adems de eso para todo o r [[r[[, o = o . ( ) ( ) ( ) C j j C
/
con tenemos . En otras palabras la funcin [.[ < o o . = j( ) ( )
/
/0
o ./ o .
/
lim
( ) ( )
. o . = o . ( ) ( ) es holomorfa en el disco de convergencia y .
do
d.
/
24.Sea con . Entonces la funcin es o . = o . o 0 . o . ( ) ( ) ( )
_
:=0
:
:
j
indefinidamente diferenciable en el disco de convergencia de y para o
todo , . : o = o 0 N
:
1
:!
: ( )
( )
o r , T r [[r[[ o 0, T 0 : 0, Sean tales que y que exista ( ) ( ) ( ) ( ) C j j
: < o , : < T [.[ < : o . = T . j j ( ) ( ) ( ) ( ) y tal que para se tenga, entonces
o r = T r ( ) ( ).
25.Sea con y sea la serie recproca o[r[ = [[r[[ o 0 = 0, o 0 = 0 T r C ( ) ( ) ( )
/
(es decir, ). Entonces si tambin . o T = T o = 1 o 0, T 0 j j ( ) ( )
26.Defnase por la frmula . . y est bien exp exp : .. = .
C C -
_
111
:=0
1
:!
:
definida, pues su radio de convergencia es infinito.
Daro Snchez H Variable Compleja 5
27.La aplicacin es un homomorfismo del grupo aditivo en el j c +
ij
grupo multiplicativo . l = . : [.[ = 1 C
j c + l, 2 El homomorfismo aplica sobre y el ncleo es .
ij
Z
. = . j 0: .j = 0
2
111
min cos
28.Si es compacto, inyectiva y continua entonces es : 1 1 = ) - ( )
compacto y es un homeomorfismo.
29.Dado se llama logaritmo de cualquier complejo tal que . . n C
+
c = .
n
.
t , .t = [t[ i .t Para todo . C
+
log ln arg
n, t , nt = .n .t .2 i Para todo C
+
log log log mod ( ) ( )
. .. . = [.[c = [.[ i . Si se llama aquel tal que C , , ,
+ i
arg cos sin
,
( )
30.Sea un abierto conexo de y una funcin continua tal que ! C ! C ) : -
para todo , Entonces se tiene que es una . ) . = .. ) . ! exp( ) ( ) ( ) rama de
log.. en . !
) . .. Si es un abierto conexo y es una rama de en entonces ! C !
+
( ) log
para todo ; es una rama de , recprocamente todas / [) . 2 /i[ .. Z ( ) log
las ramas de en tienen esta forma. log.. !
31.( ) - o . l . , ) : l ) Sean , una vecindad de . Se dice que
0 0
C C es
analtica en el punto si existe con y existe tal . o r [[r[[ o 0 0
0
( ) ( ) C j c
que < y para todo , con c j C c ( ) o . [. . [ <
0
. o . . = ) . = o . . ( ) ( ) ( )
_
0 : 0
:=0
:
( ) - / ) : ) Si es un abierto de y , entonces se dice que es analtica ! C ! C
en , si es analtica en cada punto de . ! ! ) .
32.Sea una funcin analtica en el punto . Entonces es ) . )
0
C
indefinidamente diferenciable en una vecindad de y si es . o . .
0 : 0
:=0
:
_
( )
su expansin en serie alrededor de , entonces , . \: o = ) .
0 : 0
1
:!
:
N
( )
( )
Toda funcin analtica en un abierto es indefinidamente diferenciable !
en . !
33.Sean funciones analticas en . Entonces ), q .
0
C
( ) ( ) ( ) o ) q ) q . y son funciones analticas en .
0
( ) ( ) ( / q . = 0 . Si , la funcin es analtica en .
)
q
0
( ) c ) q = 0 . ) = 0 q = 0
Si en una vecindad de , entonces ,o, en una
0
vecindad de . .
0
( ) d 1 . Finalmente existe una funcin , analtica en tal que en una
0
vecindad de . Esta funcin est determinada en la vecindad de . , 1 = ) .
0 0
/
a menos de una constante aditiva por
Daro Snchez H Variable Compleja 6
y ) . = o . . 1 . = o . . . ( ) ( ) ( ) ( )
_ _
:=0 :=1
: 0 0 0
: :1 o
:1
:
34. Sea con . Entonces es una o r = o r [[r[[ = o 0 . o . ( ) ( ) ( )
_
:=0
:
:
C j j
funcin analtica en el disco de convergencia de . Ms exactamente para o
todo con la serie de potencias tiene . [. [ < o . . .
0 0 0 0
:=0
1
:!
:
:
C j
_
( )( )
( )
radio de convergencia y su suma para es igual _ [. [ [. . [ < [. [ j j
0 0 0
a . o . ( )
35.Una funcin que es analtica en todo el se llama una funcin plano
entera. Las funciones exponencial y trigonomtricas son enteras.
36. Sean un abierto conexo de , una funcin analtica en y ! C ! C ! ) : -
.
0
!. La siguientes afirmaciones son equivalentes:
( ) ( ) o : ) . = 0. Para todo , N
( ) :
0
( ) / . . . Existe sucesin de puntos diferentes en con y para todo
: : 0
!
: _ 1, ) . = 0 ( )
:
( ) c ) = 0 .
en una vecindad de
0
( ) d ) = 0
en . !
Si es un abierto conexo en las funciones analticas en forman un ! C !
dominio de integridad.
37.PRINCIPIO DE PROLONGAMIENTO ANALTICO. Sean abiertos conexos de ! !
1 2
,
C ! ! ! con y para sea una funcin analtica en . Si
1 2 ) )
= ) = 1, 2, )
) = ) 1
1 2 1 2
en entonces existe una funcin analtica nica en ! !
! !
1 2 )
' 1[ = ) ) = 1, 2 tal que
!
)
( )
38.Sea una funcin analtica en tal que , pero en ) . ) . = 0 ) = 0
0 0
C ( )
una vecindad de . Sea la serie de potencias . ) . = o . .
0 : 0
:=0
:
( ) ( )
_
correspondiente. El nmero se llama o min: : o = 0 N
:
orden
multiplicidad del cero de . . )
0
1 . ) Si la multiplicidad es se dice que es un cero de .
0
simple
. ) . ) . = 0, / _ 1 . ) Sea , es analtica en , es el orden del cero de
0
C
0 0 0
( )
si y slo si , para y . Lo cual es ) . = 0 0 _ : _ / 1 ) . = 0
( ) ( ) : /
0 0
( ) ( )
equivalente a decir que en una vecindad de donde . , ) . = . . q . q
0 0
/
( ) ( ) ( )
es analtica en y ya que . q . = 0
0 0
( )
) . = o . . = . . o . . = . . q . ( ) ( ) ( ) ( ) ( ) ( )
_ _
: 0 0 : 0 0
: / :/ /
:=0
( )
_
( )
( )
t =
2t , 0 _ t _
2t 1 , _ t _ 1
1
1
2
2
1
2
compuesto
de y el cual se denota por .
1 1 2
2
=
40.Sea un abierto de Si y son dos caminos es con ! C ! ( ) o
0 1
!
0 1 0 1 0 1
( ) ( ) ( ) ( ) 0 = 0 1 = 1 y se dice que y son en si homotpicos
existe continua, tal que I ! : [0, 1[ [0, 1[-
( ) ( ) ( ) ( ) ( ) i \t [0, 1[ , t, 0 = t , t, 1 = t I I
0 1
( ) ( ) ( ) ( ) ( ) ( ) ( ) ii \ [0, 1[, 0, = 0 = 0 1, = 1 = 1 y I I
0 1 1 0
Si es conexo se puede definir ! I ( ) ( ) ( ) ( ) t, = 1 t t
0 1
( ) - / , : [0, 1[ , Sean caminos cerrados, se dice que son !
0 1 0 1
homotpicos en si existe continua tal que para todo ! I ! : [0, 1[ [0, 1[-
t [0, 1[, t, 0 = t t, 1 = t [ = [0, 1[ y . Si | se reduce a un I I ( ) ( ) ( ) ( ) ( )
0 1 1 1
punto se dice que es homotpica a un punto.
0
41.Prolongamiento analtico a lo largo de un camino:
Sean un arco, una funcin analtica en o, / , : [0, 1[ ) o = / C C - ( )
o = 0 o t 0 ( ). Se toma la expansin en serie alrededor de . Tmese tal
1
que (disco de convergencia de la serie expandida). Sea ( ) [0, t [ 1
1 0
. = t ) . 1 1 t t ,
1
( )
1 1 1 0 2 1
y si es analtica en existe tal que para algn
( ) ( ) [t , t [ 1 ) . = t 1 1 , .
1 2 1 2 2 2 1
. Si es analtica en existe .
Suponiendo que el proceso puede prolongarse a un punto . = t ,
: :
( )
t < 1 [t /[ 1 /
: , :
tal que , se obtiene as una funcin analtica en . ( )
:
42.Sean abiertos de con . Sea una funcin analtica ! ! C ! !
1 2 1 2 )
, = )
en supngase que es prolongacin analtica de a . Sean ! !
) 2 2
( ) ) = 1, 2 ) )
1
o , / o / ' ! ! ! !
1 2 1 2
y un camino simple un arco de a en . Entonces ( )
la expansin de la serie alrededor de puede ser obtenida a partir de la /
expansin de alrededor de por prolongacin analtica a lo largo de . ) o
1
43.Teorema de Monodromia: Sean dos caminos o, / , o = /, , C
0 1
homotpicos de a y una funcin analtica en , supngase que para o / ) o
todo camino simple intermediario entre y la funcin
0 1
( ) 0 _ _ 1 )
Daro Snchez H Variable Compleja 8
sea continuamente prolongable a lo largo de . Entonces los
r t , j t
-
( ) ( ) ( )
2
camino
diferenciable si las funciones , y, son continuamente t r t t j t ( ) ( )
diferenciables.
o + ( ) Una en un abierto es una expresin forma diferencial !
2
n = 1dr Qdj 1 Q donde y son funciones continuas en . !
( ) / n = 1dr Qdj + Si es una forma diferencial en un abierto y !
2
! : [o, /[ n -
es un camino diferenciable, se define la integral por la
frmula donde .
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
n = ) t dt ) t = 1 r t , j t r t Q r t , j t j t
o
/
/ /
n = n n = )dt En la misma notacin tenemos que donde es
( ) ( )
o
/
+ +
una forma diferenciable sobre . [o, /[
45.Se dice que un camino es si ! : [o, /[--- diferenciable por partes
existe una particin de tal que el o = t < t < < t = / [o, /[ 1 _ ) _ :
0 1 :
\
camino es un camino diferenciable. En este caso para ,
) [t ,t [
= [ n
)1 )
forma diferencial en , se define . !
_
(
n = n
) =1
:
)
+ o, / Sean un abierto conexo de , . Entonces existe una poligonal ! !
2
en con punto inicial y punto final . ! o /
46.Sean un abierto conexo de , . ! ( ! + , 1 ( ) n = dr dj
2 1 01 01
0r 0j
Entonces, si es un camino diferenciable por partes con punto inicial y o
punto final tenemos . En particular si en , / n = 1 / 1 o 11 = 0 1
( ) ( )
!
es constante en . !
47. Una forma diferencial en un abierto conexo posee una n + !
2
primitiva en si y solamente si para todo camino cerrado diferenciable !
por partes en , . !
n = 0
+ n Sean un disco abierto en y una forma diferenciable en tal que ! !
2
para todo rectngulo con lados paralelos a los ejes de coordenadas y
, n = 0 !
0
.
48. Frmula de Green: Sean un abierto de tal que es un ! ! + 0
2
camino cerrado simple diferenciable por partes, una forma n = 1dr Qdj
diferencial definida en una vecindad de y tal que las derivadas !
parciales y existan y sean continuas en la vecindad de . Entonces
01
0j 0r
0Q
!
( ) (
0
1dr Qdj = drdj
! !
0Q
0r 0j
01
Daro Snchez H Variable Compleja 9
49.Sea un abierto continuo conexo una forma ! + n = 1dr Qdj
2
diferencial en , tal que , existan y sean continuas en , ! !
01
0j 0r
0Q
entonces para que posea una primitiva en n !
( ) o = es necesario que en
01
0j 0r
0Q
!
( ) / = es suficiente que sea un disco y que en . ! !
01
0j 0r
0Q
n Se dice que una forma diferencial en un abierto es cerrada si para !
todo , existe vecindad de tal que tiene una ( ) ( ) r, j \ r, j n ! !
primitiva.
50.Sea una forma diferencial en un abierto . n = 1dr Qdj + !
2
Entonces
( ) o n es cerrada si y slo si para todo rectngulo suficientemente !
pequeo con lados paralelos a los ejes, la integral
0
n = 0
( ) / Si las derivadas parciales , existen y son continuas en entonces
01
0j 0r
0Q
!
n = es cerrada si y solamente si en .
01
0j 0r
0Q
!
51.Sean abiertos de , una forma diferencial cerrada en y ! ! + n
2
! C : [o, /[ ) : [o, /[ - - un camino. Entonces existe una funcin continua
con la siguiente propiedad: Para todo , existe vecindad de t ! [o, /[ l
t t ( ), existe primitiva de en , existe vecindad de en tales 1 n l \ [o, /[
que para todo , . Adems de eso la funcin t \ t l . 1 t = ) t ) ( ) ( ) ( ) ( )
est unvocamente determinada a menos de una constante aditiva. En
este caso se dice que es una de . ) primitiva de a lo largo
) Bajo las mismas hiptesis si no es diferenciable por partes y si es
una primitiva de a lo largo de , se define n n = ) / ) o
( ) ( )
1 d.
2 i .o
( ) ( ) o 1 , o Z
( ) / o Si y son dos caminos cerrados homotpicos en entonces C
0 1
1 , o = 1 , o ( ) ( )
0
1
( ) ( ) c o 1 , o Fijando el camino cerrado en , la aplicacin es una C
funcin localmente constante en . La aplicacin que es C [ [ o 1 , o ( )
continua ya que es compacto entonces es constante en las ( ) ( ) o 1 , o
componentes conexas de . C [ [
: [o, /[ + Sea un camino diferenciable con derivada continua y - ( )
2
adems existe vecindad de en tal que es
/
0
( ) ( ) ( ) t = 0, \t o, / , 1 t o, /
inyectiva en y existe una vecindad de tal que es dividida en 1 l t l ( )
0
dos regiones por . ( ) 1
55.Se dice que una coleccin finita de caminos cerrados simples
= ( )
)
1_)_:
diferenciables por partes es el de un BORDE ORIENTADO
compacto si: 1 +
2
( ) 1 01 = [ [ '
) = 1
:
)
( ) 2 [ [ [ [ = ) = / si
) /
( ) 8 \), 1 _ ) _ : [ t [ , [ si es diferenciable entonces para todo c u
) [ , [ c u
c u
)
/
0 ) 0
= 0 t ( , ) t y si las regiones de la vecindad de divididas por el ( )
arco son tales que .
)
l 1, l 1 =
( )
) ) Si es una funcin holomorfa en un abierto entonces posee ! C
localmente una primitiva que tambin es holomorfa . ( )
) Forma usual del teorema de Cauchy: Si es una funcin holomorfa
en un abierto y si es un camino cerrado homotpico a un punto ! C
en entonces . !
( )
) . d. = 0
57.Si es una funcin continua en un abierto de y es holomorfa en ) ) ! C
!, excepto eventualmente en puntos situados sobre una recta paralela 1
al eje real entonces la forma diferencial es cerrada en (en n = ) . d. ( ) !
Daro Snchez H Variable Compleja 11
particular, es cerrada si es continua en y holomorfa en ) . d. ) ( ) ! !
excepto eventualmente en un conjunto finito de puntos de ). !
58. Sean una funcin holomorfa en Frmula integral de Cauchy: )
un abierto y un camino cerrado en , homotpico a un punto. ! C !
Entonces se tiene que \o [ [ d. = 1 , o ) o !
1
2 i .o
) .
( ) ( )
( )
59.Sea una funcin holomorfa en el disco ) = . : [. o[ < , ^ C j
o , 0 ) o ) C j entonces es analtica en y la expresin de en serie de
potencias de tiene radio de convergencia ( ) . o _ j
donde ) . = o . o o = d [.[ < : < ( ) ( ) ( )
_
:=0
: : 0
:
1
2 i
)
o
[ o[ = :
0
( )
( )
:1
j
60.Si es una funcin holomorfa en un abierto entonces es analtica ) ) !
en . En particular, es indefinidamente diferenciable y para todo , ! ! ) .
\: : [ o[ _ : , : 0
N ! si entonces ( )
) . = d
( )
( )
( )
: :!
2 i
)
.
( )
[ .[ = :
:1
que constituye la para las derivadas. frmula integral de Cauchy
61.Teorema de Morera. Si es una funcin continua en un abierto )
! C n = ) . d. ) tal que la forma diferencial es cerrada entonces es ( )
holomorfa en . !
) ) Si es continua en un abierto y es holomorfa en excepto ! C !
eventualmente en puntos situados sobre una recta (o sobre un nmero
finito de rectas ) entonces es holomorfa en todo . ) !
1 ) Sea el borde orientado de un compacto y una funcin C
holomorfa en un abierto entonces ! 1
( ) ( )
o ) . d. = 0
( ) ( )
/ \o 1, d. = ) o
1
2 i .o
) .
( )
62.Principio de simetra de Schwarz: Sea un abierto de ! C
simtrico con respecto al eje real ! !
1
= n i : 0, ( )
! ! !
2 1
= n i : < 0 ) ' 1 ( ) una funcin continua en y holomorfa en
!
1
con . Entonces puede extenderse de manera nica a una ) 1 + ) ( )
funcin holomorfa en todo , donde ! ! 1 = n i : = 0. ( )
63.Sea un abierto de , funcin holomorfa en , entonces ! C ! ! ) .
0
donde ) . = o . . o = d ( ) ( )
_
:=0
: :
:
1
2 i
)
.
0
0
:1
[ . [ = :
0
( )
j
con . La serie convergente en el mayor disco abierto .: [. . [ _ :
0
!
con centro en y contenido en , . Esta serie es llamada . o = ) .
0 : 0
1
:!
:
!
( )
( )
serie de Taylor de en el punto . ) . = .
0
64.Desigualdad de Cauchy. Sea una funcin holomorfa en el disco )
^ j j j j ( ) ( ) . : = .: [. . [ < 0 0 < : <
0 0
y para sea
Daro Snchez H Variable Compleja 12
` . = [) . [: [. . [ = : ( ) ( ) sup
0
Entonces, para todo , para los coeficientes de : [) . [ _ :! o N
( )
( )
:
0 :
` :
:
( )
:
Taylor [o [ _
:
` :
:
( )
:
65.Teorema de Liouville: Si una funcin entera es acotada en todo el
plano, entonces ella es constante.
p . Si es un polinomio no constante con coeficientes complejos ( )
entonces la ecuacin tiene por lo menos una raz en . p . = 0 ( ) C
Este enunciado es conocido como el teorema fundamental del lgebra.
66. Se dice que una funcin real o complejo definida en un abierto ) ( ) !
del plano tiene la si C ! ( ~ + ) \. , \: 0
~ 2
0
propiedad del valor medio
con . .: [. . [ _ : , ) . = ) . :c d
0 0 0
1
2 0
2
i
! o ( )
j
o
) ) Si es una funcin holomorfa en un abierto entonces tiene la !
propiedad del valor medio en . !
) c.) :.) Si es holomorfa en el abierto entonces las funciones , e, ! 1 7
tiene la propiedad del valor medio en . !
67.Principio del mximo: Sea un abierto de y una funcin ! C )
continua en con la propiedad del valor medio. Entonces si tiene un ! [)[
mximo relativo en un punto es constante en una vecindad de . , )
0
!
.
0
.
= ) Sea un subconjunto abierto acotado y conexo de , una funcin ! C
continua en con la propiedad del valor medio en y ! !
` = [) . [: . 0 sup ( ) ! . Entonces
( ) ( ) i . ) . [ _ ` Para todo , | !
( ) ( ) ii . ) . [ = ` ) =
H ! ( ) funciones meromorfas
70.Dado , si la funcin es analtica en una vecindad de . q . = 0
0 0
) .
q .
! ( )
( )
( )
. q . = 0 . ) . = . . . ,
0 0 0 0
/
, si tenemos en una vecindad de , ( ) ( ) ( ) ( )
1
,
q . = . . . / _ 0, / _ 0 , . = 0, ( ) ( ) ( ) ( )
0 2 0
/
2
1
, , donde , holomorfas y
( ) . = 0
0
. Tenemos dos posibilidades
Daro Snchez H Variable Compleja 13
( ) i / _ / )q
1 2
, en ese caso la funcin se puede extender analticamente a
el punto poniendo en la vecindad de . . = . . .
0 0
)
q .
/ / .
( ( ) ( )
1 2
0
,
( )
( )
( ) | | ii / < / = )q en este caso y se dice que tiene un
1 2
..
) .
q .
lim
0
( )
( )
polo en . .
0
El nmero es llamado la ( ) / /
2 1
multiplicidad del polo o tambin orden
Si un polo tiene multiplicidad , se dice que el . 1 polo es simple
71.Si es una funcin meromorfa en un abierto conexo entonces es ) ) !
/
tambin una funcin meromorfa en y si es un polo de orden de , ! . / )
0
. / 1 ) )
0
/ /
es un polo de orden de (los polos de son los mismos polos ( )
de ). )
72.Sea con . Entonces la serie de o r = / r [[r[[ = o 0 ( ) ( )
_
:=1
:
:
C j j
funciones es convergente en . Si , la serie
_
:=1
:
: 1
/ . = .: [.[ 0 < : < ! j
j
es normalmente convergente en . Adems la funcin .: [.[ _
1
:
. / . : / .
_ _
( )
:=1 :=1
: :
: :1
es holomorfa en y la derivada es (converge !
en ). !
73.Sea tal que . , 0 _ < _ , o . = o . .
0 2 1 : 0
:=
:
C j j ( ) ( )
_
( ) ( )
_
i o . . El radio de convergencia de la serie es mayor que o
:=0
: 0
:
igual a . j
1
( )
_
ii o n El radio de convergencia de la serie es mayor que o igual a
/=1
/
/
1 1 1
.. j j
2 2
0
donde | | , , Entonces n < n =
( ) ( ) o o . . = .: < [. . [ < La serie es convergente en el anillo
0 1
! j j
2 0
( ) ( ) / 0 _ < : < : < = o . . Si , es uniformemente convergente j j
2 2
1 1 0
en el anillo .: : _ [. . [ _ :
2 0 1
( ) ( ) c . o . . La funcin es holomorfa en y
0
!
o . . = :o . .
/
0 :
:=
:1
( ) ( )
_
0
74.Sea una funcin en el anillo circular ( , ) = .: < [. . [ < . ! j j C
2 0
1 0
0 _ < _ ) . = o . . j j
2 1 : 0
:=
:
+ ) dada por una serie de Laurent, . ( ) ( )
_
Entonces, los coeficientes estan unvocamente determinados por . o )
:
Tenindose que . o = c ) . :c d
/ 0
1
2 : 0
2
i/ i
o o
/
j
o
. 0 _ < _ = .: < [. . [ < ) Sea , + , y una funcin
0 2 2 0 1
C j j ! j j
1
holomorfa en . Entonces es representable por una serie de Laurent ! )
en . !
Daro Snchez H Variable Compleja 14
. 0 _ < _ , = .: < [. . [ < ) Sean , . Si es
0 2 1 2 0 1
C j j ! j j
holomorfa en y es la serie de Laurent entonces ! ) . = o . . ( ) ( )
_
: 0
:
: =
tomando tenemos ` : = [) . [: [. . [ = : < : < ( ) ( ) ( ) sup
0 2 1
j j
, \: [o [ _ Z
:
` :
:
( )
:
75.Sea y una funcin . , 0 _ < _ , = .: < [. . [ < )
0 2 1 2 0 1
C j j ! j j
holomorfa en entonces donde es una funcin holomorfa ! ) = ) ) )
1 2 1
en y es holomorfa en (llamada descomposicin .: [.[ < ) .: [.[ j j
1 2 2
de Laurent). Se tiene unicidad en la descomposicin si se exige que
lim
[.[
2
[) . [ = 0 ( ) .
o ) o Sean abierto de , , una funcin holomorfa en . ! C ! !
Entonces puede ser extendida analticamente al punto si y ) . = o
solamente si es acotada en una vecindad de . Llamada una ) o
singularidad removible.
76.Si y tenemos dos ) . = o . . = : _ 1: o = 0 = ( ) ( )
_
:=
: :
:
0
posibilidades
( ) ( ) i / = Si es finito, sea entonces min
) . = o . . = q . ( ) ( ) ( )
_
1 1
.. ..
)=0
)/ 0
)
( ) ( )
0 0
/ /
donde es holomorfa en una vecindad de y , es q . q . = o = 0 )
0 0 /
( )
meromorfa en una vecindad de y el punto es un polo de orden de . . / )
0
0
( ) ii . Si es infinito, se dice que es un punto singular esencial aislado
0
de . )
77.( ) Casorati-Weierstrass .Sea , una funcin holomorfa . , 0 )
0
C j
en el disco punteado con como punto singular .: 0 < [. . [ < .
0 0
j
esencial. Entonces para todo el conjunto es c c 0 ) . : 0 < [. . [ < ( )
0
denso en . C
( ) Picard . Con las hiptesis del teorema anterior, tenemos ms
precisamente que la funcin toma en todos los ) .: 0 < [. . [ <
0
c
valores en excepto en lo mximo en uno para todo . C c ( )
78.Se dice que es holomorfa en una vecindad de si es ) . = )
j
1
.
/
holomorfa en una vecindad de . . = 0
/
) o ) = co:t. Si es holomorfa en entonces donde
2
o = , , : = 1
2
2 2 2
( ) j . j .
ya que es compacta y es continua en entonces es acotada por el o ) o
2 2
teorema de Liouville se sigue que es constante. )
) . o o Para una funcin compleja definida en , o en abiertos de , se ( )
2 2
extienden los conceptos de funcin meromorfa en el punto , orden . =
del polo, singularidad esencial, etc, y se consideran las propiedades
correspondientes de las funciones en una vecindad de . . ) . = 0
j
1
.
/
/
Daro Snchez H Variable Compleja 15
79. Si es una serie de Laurent en entonces ) . = o . [.[ :, : 0 ( )
_
:=
:
:
( ) o ) . = / _ 1 = o = 0 o = 0, \: _ / 1 tiene en un polo de orden y
/ :
( ) ( ) / ) . = = : _ 0: o = 0 = tiene una singularidad esencial en #
: 0
) o = ) Una funcin es meromorfa en todo es una funcin racional
2
80.Sean un camino cerrado en el anillo . , 0 _ < _ ,
0 2 1
C j j
! j j ! = .: < [. . [ < ) o
2 0 1 1
, una funcin holomorfa en y el
coeficiente de en la serie de Laurent de en entonces ( ) . . )
0
1
!
1
2 i
0 1
( ) ( ) ) . d. = 1 , . o
. ) . . = . Sean y una funcin holomorfa en una vecindad de con
0 0 0
C ( )
. ) .
0 0
como punto singular aislado se llama de en el punto el residuo
coeficiente de la serie de Laurent de en , y se le nota . o ) . 1c ): .
1 0 0
( )
) [.[ : : _ 0 Sea una funcin holomorfa en con adems teniendo a
. = ) . = o . como punto singular aislado. Si es la serie de ( )
_
:=
:
:
Laurent en | . Se llama residuo de en el punto al nmero .[ : ) . =
o 1c ): = o
1
. ( )
1
81.Teorema de los residuos: Sean un abierto de , una funcin ! o )
2
holomorfa en excepto en un conjunto de singularidades ! .
/ /=1,2,.
aisladas, un compacto con bordes orientados tal que para 1 . y ! I I
/
todo y entonces ; es un conjunto finito y / y . . 1 I
/ /
1
2 i
. 1
/
I
) . d. = 1c ), . ( ) ( )
_
/
) o . Si es una funcin holomorfa en todo excepto en un conjunto de
2 /
singularidades aisladas entonces el conjunto es finito y .
/
_
( )
/
/
1c ), . = 0
82.Clculo de residuos: Si es meromorfa en una vecindad de y ( ) o ) . = .
0
tiene en un polo simple, entonces . . 1c ), . = . . ) .
0 0 0
..
( ) ( ) ( ) lim
0
( ) / ) . , / _ 1 Si es meromorfa en una vecindad de tiene un polo de orden
0
en entonces con holomorfa. Si . ) . = q . q . = / . .
0 : 0
q .
..
:=0
:
( ) ( ) ( ) ( )
_
( )
( )
0
/
entonces entonces . ) . = / . . 1c ), . = /
( ) ( ) ( )
_
:=0
: 0 0 /1
:/
Ms tcnicamente se tiene que, si es un polo de orden de una . / / _ 2
0
( )
funcin analtica , entonces el residuo en es dado por ) ) .
0
1 d
/1 ! d.
0
/
.=.
( )
( )
/1
/1
0
. .
. , ) . Sea una funcin meromorfa no constante en una vecindad de
0 0
C
y "derivada logartmica de " . Entonces , = )
)
)
/
( )
( ) ( ) o ) . = . / _ 1, 1c , . = / si tiene en un cero de orden .
0 0
,
Daro Snchez H Variable Compleja 16
( ) ( ) / ) . = . ) . = 0, . , Si es holomorfa en y es holomorfa en
0 0 0
,
1c , . = 0 ( ) ,
0
( ) ( ) c ) . = . : _ 1 1c , . = : si tiene en un polo de orden , .
0
,
0
83.Si es un abierto de , un compacto con borde orientado ! C ! 1 , )
una funcin meromorfa en , no constante, holomorfa en los puntos de !
01 o o y )(01) 7 y tal que . Adems, sea la suma de las C
o
multiplicidades de las races de la ecuacin en y la suma de ) . = o 1 1 ( )
las multiplicidades de los polos de en . Entonces ) . 1 ( )
1
2 i ) . o
) .
o
I
/
( )
( )
d. = 7 1
84.Sea una funcin holomorfa no constante en una vecindad de , ) . = .
0
con un cero de orden en de . Entonces para toda vecindad / _ 1 . ) \
0
(suficientemente pequea) de existe vecindad de en tal que para . l 0
0
C
todo , la ecuacin tiene exactamente races simples / l / = 0 ) . = / / ( )
en . \
85.Teorema de Rouche: Sean un abierto de funciones ! C, ), q
holomorfas en y un compacto con borde orientado tal que para ! ! 1
todo . Entonces las funciones y tienen el . 01, [) . [ [q . [ ) ) q ( ) ( ) ( )
mismo nmero de ceros en . 1
86. Algunos tipos de integrales definidas
1 = 1 .t, .t dt = 2 1c . , .
( )
_ ] j j
0
2
[.[<1
1 1 1 1
2 . 2 .
cos sin
1 = 1 r dr = 2 1c1 .
( ) ( )
_
:..0
J
donde es una funcin racional , i 1 r ( ) ( )
no tiene polos reales ( ) ( ) ii 1 r
( ) ( ) iii r1 r = 0 lim
r
1 = ) r c dr = 2 i 1c) . c
( ) ( )
_
ir i.
:..0
J
donde es holomorfa en todos sus puntos con excepto , i ) r :.. _ 0, ( ) ( ) J
en lo mximo en un conjunto finito
no tiene puntos singulares reales ( ) ( ) ii ) .
( ) ( ) iii ) . = 0 lim
[.[
La integral es convergente (o por lo menos existe el valor ( ) i
principal ) .p ... = ...
111
lim
1 = ) r c dr = 2 i 1c) . c i1c) . c , . = 0
( ) ( ) ( )
_
ir i. i.
:.._0
0
J
donde es holomorfa en todos los puntos con excepto en , i ) . :.. _ 0 ( ) ( ) J
un conjunto finito
( ) ( ) ii [) . [ = 0 lim
[.[
:.._0 J
Daro Snchez H Variable Compleja 17
La integral es convergente (o por lo menos existe el valor ( ) iii
principal ) .p ) r c dr = ) r c dr ) r c dr
( ) ( ) ( )
]
ir ir ir
0
lim
c
c
c
tiene un polo simple en y es holomorfa en los puntos ( ) ( ) i ) . . = 0,
reales = 0
1 = dr = 1 c 2 i 1c
( )
_
(
0
1 r 1
r .
2 i
1
.
( ) ( )
c c
c
!
c
( ) ( )( )
_ _
_
0
1
2
2
log log 1
donde es una funcin racional sin polos sobre el semi-eje real , i 1 r ( ) ( )
positivo r _ 0
( ) ( ) ii r1 r = 0 lim
r
( ) iii 0 _ .. _ 2 arg
tambin
( ) ( )( )
_ _
_
0
1
2
2
1 r dr = : 1c1 . ..
J log
87.Sea un abierto de . Se dice que una sucesin en ! C ! ( ) ( ) o ) C
:
converge uniformemente en el interior de si para todo compacto ! 1
contenido en , la sucesin converge uniformemente sobre ! ) [ 1.
: 1
( )
_
/ q Se dice que una serie de funciones continuas en converge
:
:
!
uniformemente resp. normalmente en el interior de , si para todo ( ) !
compacto la serie es uniformemente convergente (resp. 1 q [ !
_
( )
:
: 1
normalmente convergente) en . !
Una sucesin puede converger uniformemente en el interior de y no !
converger en como en es una sucesin de funciones definida ! ) r =
:
1
:r
( )
en , convergente uniformemente en y no converge en la ( ) ( ) 0, 0,
recta.
q Si es una serie normalmente convergente en el interior de ,
_
:
!
entonces es uniformemente convergente en el interior de .
_
q
:
!
88.Si es una sucesin de uniformemente convergente en el ) C( )
:
!
interior de y si entonces es una ! ! ) = ) ) . = ) . , . ) lim lim
: :
: :
( ( ) ( )
funcin continua en , o sea . ! ! ) C( )
(El resultado se sigue del hecho de ser localmente compacto). !
) C( ) una sucesin en , converge uniformemente en el interior de
:
! !
= ) 1
:
converge uniformemente en todo disco cerrado . !
Daro Snchez H Variable Compleja 18
89.Si es una sucesin de funciones holomorfas en uniformemente )
:
!
convergente en el interior de y si , entonces ! H ! ) = ) ) ( ) lim
:
:
(Aplquese los teoremas de Morera y Cauchy).
) ( ) Sea un abierto de , una sucesin en uniformemente ! C H !
:
convergente para en el interior de . Entonces la sucesin ) ( ) ) H ! !
:
/
converge uniformemente en el interior de para . ! )
/
(Para la demostracin use la frmula integral de Cauchy para ). )
/
90. Teorema de Hurwitz: Sean un abierto conexo de y una ! C )
:
sucesin de funciones holomorfas uniformemente convergentes para
) ( ) : ) . = 0 , \. H ! ! ! en el interior de . Entonces si para todo , se
:
( )
tiene: , o . ) = 0 , ) . = 0, \.
( ) !
(Por contradiccin suponga que y tal que Use el teorema del residuo ) = 0 . ) . = 0
0 0
! ( ) .
y concluya que ). 0 = / = 0
) ( ) ) Si es una sucesin en , abierto conexo de las funciones
: :
H ! ! C
son inyectivas y si uniformemente en el interior de entonces es ) ) )
:
!
inyectiva o
-
, , . ) = co:t.
( )
(Por contradiccin; construya un abierto, aplique el teorema de Hurwitz y concluya que no es )
:
inyectiva).
) : , ) Sea una funcin holomorfa , abiertos de . Si es ! ! ! ! C -
/ /
inyectiva en una vecindad de un punto entonces . ) . = 0.
0 0
/
C ( )
La propiedad no es verdadera en variable real. Como contra-ejemplo
tome, es uno a uno y . ) r = r , r +, ) ) 0 = 0 ( ) ( )
8 /
(Para la demostracin suponga aplique el resultado 84, para llegar a una contradiccin). ) . = 0
/
( )
91. Si es una funcin Teorema de la aplicacin abierta: )
holomorfa no constante definida en un abierto conexo de , entonces ! C
) : ! C - es una aplicacin abierta.
(Es suficiente mostrar que , la imagen contiene todos los puntos de una vecindad \. )
0
! ! ( )
de , para lo cual considere la ecuacin donde aplquese el resultado ) . ) n n = ) . ( ) ( )
0 0 0 0
84 dos veces).
92.Funcin inversa: Sea una funcin holomorfa ) : . n = ) . ( )
inyectiva en una vecindad de un punto , existe vecindad de y existe . l .
0
0
\ ) . )[ l \ vecindad de tales que es una biyeccin de sobre y la ( )
0 l
aplicacin inversa es holomorfa y para todo , q = ) : \ l . l
1
-
q ) . =
/ 1
) .
( ) ( )
/
( )
.
(Mediante el resultado 84 construya una vecidad de suficientemente pequea de manera \ .
0
que exista vecindad de . Tome es sobre y del teorema \ ) . l = \ ) \ , ) : l \ ( ) ( ) -
0
1
de la aplicacin abierta, es continua). q = ) : \ l
1
-
93.Sean , abiertos no vacos de , y una aplicacin -diferenciable ! ! C
/
) +
de sobre . Se dice que la aplicacin es si es localmente ! !
/
) ) conforme
inyectiva, y si , caminos diferenciables en a travs de \. \ , .
0
! !
0 1 0
entonces el ngulo entre las tangentes a y en es igual al ngulo
0 1
.
0
entre las tangentes a los caminos y de en el punto . ) ) ) . !
0 1 0
( )
Daro Snchez H Variable Compleja 19
1 . = 0 = Una aplicacin , -lineal de sobre es conforme en tiene , C C ,
una de las formas
( ) ( ) i . = c. c , , C
+
( ) ( ) ii . = c. c , , C
+
En el caso conserva la orientacin de los ngulos. En el segundo ( ) i ,
caso cambia la orientacin de los ngulos. ,
) : +
: :1
( ) ii 1 = '
: = 1
:
!
Por ejemplo puede tomarse 1 = . : [.[ _ : . : di ., 0 _
:
1
:
! ! ! ( )
100.Para todo , sea : _ 1
. p ) = [) . [: . 1 , \) ( )
: :
( ) ( ) sup H !
Consideremos la aplicacin dada por j H ! H ! : + ( ) ( )-
j( )
_
), q =
:=1
1
2 1p )q
p )q
:
:
:
( )
( )
. Entonces
( ) ( ) o es una mtrica sobre j H !
( ) ( ) ( ) / ) , Una sucesin es convergente en el espacio mtrico si y
)
H ! j
solamente si es uniformemente convergente sobre todo compacto )
)
1 !.
( ) ( ) ( ) c , El espacio mtrico es completo. H ! j
Daro Snchez H Variable Compleja 21
101.Sea abierto de . Se dice que es una familia normal de ! C H ! ( )
funciones holomorfas en si toda sucesin en contiene una !
subsucesin uniformemente convergente en el interior de . !
Equivalentememente; es una familia normal en si y solamente si H ! ( )
es un subconjunto relativamente compacto ( es compacto) del espacio
( ) ( ) H ! j , .
102.Toda familia uniformemente acotado en cada compacto de ! ( )
! ! ! (o en el interior de ) es en todo compacto de . equicontinua
\. 1 \ 0 0 \. 1 es equicontinua si , , tal que , c c
0
para todo . [. . [ < = [) . ) . [ < )
0 0
c c ( ) ( )
1 0 dit ., 01 2
: :1
sucesiones de compactos en , tal que . ! j j
: :
( )
. , . 1 . . [ <
0 1 0 1 :
:
con | j
[) . ) . [ d = _ . . [ ( ) ( ) | | | | (
0 0 1
1
2 i . . 2 . .
) ) [. . [ ) d `
1
0 1 0 1 :
0 1 :1
= |
j
( ) ( ) ( )
( )( )
existe . ` _ [)[
:
sup
1
:
103.Teorema de Montel: Sea un abierto de y una familia ! C =
uniformemente acotada en el interior de de funciones holomorfas en . ! !
Entonces es una familia normal de . H ! ( )
104.Sea un abierto simplemente conexo. Entonces existe un =
=
! C
abierto isomorfo a tal que . ! ! !
/ /
0 l = .: [.[ < 1
Con tme una rama de defnase mediante o y q : . o / : l ! ! C ! - - ( ) log
/ . = ( )
1
q . q . 2 i ( ) ( )
0
.
, 0 l Sea simplemente conexo abierto tal que y ! !
es inyectiva , y / H ! ! = ) ( ): ) ) 0 = 0 ) l ( ) ( )
Entonces \q , q = l = [q 0 [ = [) 0 [: ) / ! / ( ) ( ) ( )
/ /
sup
105.Teorema de Riemann: Todo abierto no vaco simplemente conexo
! C C l = . : [.[ < 1
=
es isomorfo al disco .
106. Sea se dice que es armnica en si ! ! ! + ) C ( )
2 2
^) . = . = 0
0 ) 0 )
0r 0j
2 2
2 2
en se llama operador Laplaciano . ! ^ ( =
0 0
0r 0j
2 2
2 2
) c) :) es armnica si y solamente si y son armnicas. ( ) ( ) 1 J
) C ( ) ) = 0 Para todo es armnica si y solamente si en .
2
0 )
0.0.
! !
2
En un abierto toda funcin holomorfa es armnica. !
q Si es una funcin armnica real definida en un abierto entonces ! C
localmente es la parte real de una funcin holomorfa unvocamente q
determinada a menos de una constante aditiva .
Daro Snchez H Variable Compleja 22
+ q Sea un abierto simplemente conexo en y una funcin armnica !
2
real en , existe tal que ( est determinada a menos ! H ! 1 ) ( ) q = c ) ) ( )
de una constante aditiva).
C Toda funcin armnica en un abierto es en . ! !
o
(Esto nos indica que una funcin que satisface la propiedad del valor medio no
necesariamente es holomorfa. Como ejemplo tomamos que es armnica ) . = . ( )
cumple la propiedad del valor medio y no es holomorfa).
107.Sea , , una funcin armnica real j ! j 0 = r, j + : r j < q ( )
2 2 2 2
en . Sea donde ! ) . = o . ( )
_
:=0
:
:
o = q : . , : . d , o = d : _ 1
0 :
1 1
2 0 0
2 2 q : . ,: .
:c
o o
( ) cos sin o o o o
( )
( )
cos sin
i
:
o
q : . , : . = o : o c o c ( )
_ j
cos sin o o
0 : :
1
2
:=1
: i i: o o
as tenemos
) . = q : . , : . 1 2 d ( ) ( )
_ _
_j
1 .
2
0
:=1
:c
:
cos sin o o o
io
entonces si r j < :
2 2 2
q r, j = q : . , : . d , . = r ij ( ) ( )_ _
1
2 0
2
: [.[
[:c .[
cos sin o o o
2 2
i 2 o
llamada . El trmino es llamado el frmula de Poisson ncleo de
: [.[
[:c .[
2 2
i 2 o
Poisson.
108.Problema de Dirichlet. Sea ! C C = . : [.[ < :, : 0, ) : [0, 2 [-
una funcin continua con . Hallar tal que es ) 0 = ) 2 1 C 1 ( ) ( )
j
!
armnica en y para . ! o o 1 :c = ) 0 _ _ 2
j
( )
io
(Este problema tiene siempre una solucin nica y esta dada por
1 . = ) d ( ) ( )
1
2 0
2
: [.[
[:c .[
o o
2 2
i
2
o
).
109.Si es un abierto de y tiene la propiedad del valor medio ! ! + ) C( )
2
entonces es armnica en . ) !
( . Sea un disco cerrado con centro en y Por el problema de Dirichlet . , 1 . 1
0 0
! !
existe armnica en el interior de y tal que , . 1 : 1 1 1[ = )[ 1 C 1
- ( ) C
01 01
Entonces tiene la propiedad del valor medio en y es continua en Si se tuviera . ( ) 1 ) 1 1
` = [1 )[ 0, [1 )[ 1
1
armnica en ). !
110.Una funcin , definida y continua en un disco cerrado, armnica en G
el disco abierto, nula sobre el borde del disco entonces es idnticamente
nula.
Daro Snchez H Variable Compleja 23
111.Teorema de Harnack: Sea un abierto conexo. Sea una sucesin l n
:
de funciones armnicas en tales que l
( ) o n _ n : . l
: :1
para todo y todo
( ) ( ) / n . . l es una sucesin acotada para un .
: 0 0
Entonces converge uniformemente en cada compacto de a una n l
:
funcin armnica en . l
++++++
2 RESULTADOS PROBADOS .
1.Sea un abierto no vaco de y . Tmese ! C ! C ) : -
) . = ) r ij = n r, j i r, j n ( ) ( ) ( ) ( ). Mostrar que si y son funciones
diferenciables de en el punto y cumplen en las ( ) ( ) ( ) r, j r , j r , j
0 0 0 0
!
ecuaciones de Cauchy-Riemann, entonces es complejamente )
diferenciable en el punto . = r ij
0 0
0
SOLUCIN: Sabemos que y son diferenciables en el punto n r, j r, j ( ) ( )
( ) r , j
0 0
, esto implica que
n r, j n r , j = r , j r r r , j j j ( ) ( ) ( )( ) ( )( )
0 0 0 0 0 0 0 0
0n 0n
0r 0j
r r , j j r r j j c
1 0 0 0 0
2 2
( ) ( ) ( )
_
con lim
( ) ( ) r,j r ,j
1 0 0
0 0
c ( ) ( ) r r , j j = 0 1
y
r, j r , j = r , j r r r , j j j ( ) ( ) ( )( ) ( )( )
0 0 0 0 0 0 0 0
0 0
0r 0j
r r , j j r r j j c
2 0 0 0 0
2 2
( ) ( ) ( )
_
con lim
( ) ( ) r.j r ,j
2 0 0
0 0
c ( ) ( ) r r , j j = 0 2
Veamos ahora que es ) . ) . ( ) ( )
0
) . ) . = n r, j i r, j n r , j i r , j ( ) ( ) ( ) ( ) ( ) ( )
0 0 0 0 0
= n r, j n r , j i r, j r , j ( ) ( ) ( ) ( )
0 0 0 0
= r r j j r r j j
1 2 ( ) ( ) y
_ _
( ) ( ) ( ) ( )
_
0n 0n
0r 0j
0 0 1 0 0
2 2
c
i r r j j r r j j
_ _
( ) ( ) ( ) ( )
_
0 0
0r 0j
0 0 2 0 0
2 2
c
= i r r i i j j i r r j j
]
( ) ( ) ( ) ( ) ( ) _ _
_
0n 0 0 0n
0r 0r 0j 0j
0 1 2 0 0
2 2
0
c c
= i r r i i j j r r j j
+ ( )
] ]
( ) ( ) ( ) ( )
_
0n 0 0n 0
0r 0r 0r 0r
0 0 0
2 2
0
c
Daro Snchez H Variable Compleja 24
= i r r i j j r r j j
j
[ [ ( ) ( ) ( ) ( )
_
0n 0
0r 0r
0 0 0 0
2 2
c
o sea que
) . ) . = i . . [. . [ ( ) ( ) ( )
j
0
0n 0
0r 0r
0 0
c
con lim lim lim lim
..
1 2 1 2
0
c c c c c = i = i = 0 i0 = 0
( ) ( ) ( ) ( ) ( ) ( ) r,j r ,j r,j r ,j r,j r ,j 0 0 0 0 0 0
( )
luego existe el lmite de cuando y se tiene
) . ) .
..
0
( ) ( )
0
0
. .
o sea es diferenciable en . lim
..
) . ) .
.. 0r 0r
0n 0
0 0 0
0
0
0
( ) ( )
= i ) . . = r ij ( )
.
( ) + = . = se usan las ecuaciones de Cauchy-Riemann
0n 0 0n 0
0r 0j 0j 0r
.
Tco:c:o dc 1ci/:i.
( )
0
0j
2 2 2 2 8
Con el fin de hallar derivamos con respecto a , y tenemos c r r ( )
0
0r
2 /
= 6rj 8j c r 8 ( ) ( )
igualando con se tiene ( ) ( ) 8 2
6rj 8j c r = 8r 6rj 8j
2 / 2 2
( )
o sea que c r = 8r
/ 2
( )
de donde c r = r C ( )
8
as = 8r j 8rj j r C
2 2 8 8
Para hallar tenemos por hiptesis que C
) 1 i = ) 1, 1 = n 1, 1 i 1, 1 = 0 ( ) ( ) ( ) ( )
o sea que de donde tenemos que 1, 1 = 0 ( )
1, 1 = 8 8 1 1 C = 0 = C = 4 ( )
se tiene entonces que
Daro Snchez H Variable Compleja 25
r, j = 8r j 8rj j r 4 ( )
2 2 8 8
( ) ( ) ( ) ( ) c ) r, j = r 8r j 8rj j i 8r j 8rj j r 4
8 2 2 8 2 2 8 8
de aqu
tenemos que tambin se ve que ) r, 0 = ) r = r r i 4i, ( ) ( )
8 8
) 0, j = ) ij = ij i ij 4i = ij j 4i ( ) ( ) ( ) ( )
8 8
8 8
esto nos indica entonces que
) . = . . i 4i = . 1 i 4i ( ) ( )
8 8 8
p
1
2p1
2p1
SOLUCIN:Sea o r = 1 r = r r r r ( ) ( )
_
p=0
p
1 1 1 1
2p1 8 7
2p1 8 7
donde o = 0, o = 1, o = 0, o = , o = 0, o = , 1
0 1 2 8 4
1 1
8
( )
Se tiene que y . Luego por un resultado bsico o 0 = 0 o 0 = 1 = 0 ( ) ( )
/
( ) ( )
_
cul? se tiene que existe tal que . Sea entonces T o T = 1 T j = / j
:
:
tenemos
j = o T j = c j = c j c j c j c j c j = ( ) ( )
_
=1
1 2 8 4
2 8 4
= o / / j o / / j
_ _ _ _
_ _ _ _
_ _ _ _
:=1 :=1
1 2
p p p p
p p p p
2
: 1 : : 1 :
1 : 1 : : :
1 2
o / / j o / / j
_ _ _ _
_ _ _ _
_ _ _ _
:=1 :=1
8 4
p p
p p p p
8 4
p p
: 1 : : 1 :
1 : :
8
1 : :
4
o / / j = o / j o / /
_ _ _ _
_ _ _
_ _
_
:=1
p p
p p 1 1 1 p p
p p
: 1 : 1 :
1 : :
2
1 :
1
o / / j o / / o / /
2 p p 1 p p 2 p p
p p
2
p p p p
_ __ _ _ _ _ _
_ _ _
1 :
2
2 8 8
1 : 1 : 1 :
1 : 1 :
1 2
o / / j o / / o / /
8 p p 1 p p 2 p p
p p p p p p
8
_ _ _ _ _ _ _ _
_ _ _
1 : 1 : 1 :
8 1 2
8
1 : 1 : 1 :
4 4
o / / o / / j o / /
8 p p 4 p p 1 p p
p p p p p p
4
_ _ _ _ _ _
_ _ _
_ _
1 : 1 : 1 :
8 1
4 4
1 : 1 : 1 :
4
o / / o / / o / /
2 p p 8 p p 4 p p
p p p p p p
_ _ _ _ _ _
_ _ _
1 : 1 : 1 :
2 8
1 : 1 : 1 :
4
o / / j = o / j o / o / j
p p 1 1 1 2 2
p p
1 2 2
1 _ _ _
_
1 :
1 :
o / 2o / / o / j o / 2o / / o / 8o / / o / j
]
1 8 2 1 2 8 1 2 1 8 2 8 2 4
1
8 8 2 2 4 4
4 2 1 1
o / 2o / / 8o / / 8o / / 4o / / o / j
1 2 1 4 8 8 8 1 4 2
1 2
2 2 8
1 1
Ahora reemplazando los valores de los dados en se tiene o 1
i
,
( )
Daro Snchez H Variable Compleja 26
j = / j / j / / j / / / j / / / / / / j
1 2 8 4 2 8 1
2 8 8 2 4 2 2 1 1
8 1 1 1 1 2
] ]
Comparando coeficientes se tiene
/ = 1, / = 0, / / = 0 = / = / =
1 2 8 8
1 1 1
8 8 8 1 1
8 8
/ / / = 0 = / = / / = 0
4 2 4 2
1 1
2 2
/ / / / / / = 0 = / = / / / / / = = =
8 1 8 1
1 2 1 2
2 2 2 2 1 1 1 1 2 2
8 1 8 1 1
As
T j = j j j ( )
1 2
8 8
8
: :
. , [[ < 1
2
( ) ( )
_
/ : . , p
:=0
p : +
N
( ) ( )
_
c o . , o = o , o = / o, / 0, 1 donde y
:=0
: 2:1 2:
: 2:1 2:
SOLUCIN:( ) ( ) ( )
_
o o . = . , [[ < 1 Sea
:=0
: :
2
La frmula de Hadamard nos dice que , donde
1
o
:
j( )
= [o [ o limsup
:
1
:
j( )
es el radio de convergencia de , as o . ( )
1
o
: 1:
:
:
j( )
= [ [ = ` limsup lim
:
2
donde, ` = [[, [ [ , [ [ , [ [ , ., [ [ , . =
1
4 12 0 18 16 14 : 1:
sup_ _
2
= [[, [[ , [[ , [[ , ., [[ , . sup
]
2 8 4 :
o sea que ` = [[ , [[ , [[ , .
:
: :1 :2
sup
1
o
: 1: :
:
j( )
= [ [ = [[ = 0
+
[[ < 1
limsup lim
:
2 ( )
entonces es infinito j( ) o
.
( ) + Si es una sucesin convergente de nmeros reales, entonces
:
:=1
limsup lim
:
. =
: :
:
En efecto, sea Dado existe tal que . , 1 = 0 lim
:
:
c N
[ 1[ < : _
:
c ( )
o sea para 1 < < 1 : _ c c
:
( )
As, si entonces es una cota superior para y , : _ 1 , , . 1 c c
: :1, :2
no es cota superior. Por lo tanto
1 < ` = , , , . _ 1 c c
: : :1 :2
sup
As por el criterio de comparacin para sucesiones
1 _ ` _ 1 c c lim
:
:
Pero As puesto que es . , lim limsup limsup
:
: : :
` = . 1 _ . _ 1
: :
c c c
arbitrario, esto implica que limsup
:
. . = 1
:
Daro Snchez H Variable Compleja 27
.
( ) ( ) ( )
_
/ o . = : . , p Sea , por la frmula de Hadamard se tiene
:=0
p : +
N
1
o
p
1:
:
:
j( )
= : = ` limsup lim
:
( )
donde y se conoce que por ` = 1, 2 , 8 , ., : : = 1
:
p2 p8 p 1:
:
sup lim
p:
lo tanto , esto indica que limsup
:
: = 1
p 1:
o sea que
1
:
:
j
= [o [ = .: = : = 1 = 1 limsup limsup lim
: :
1
: : :
p p
j
( ) ( )
_
c o . = o . o = o , o = / , donde , entonces
:=0
: 2:1 2:
: 2:1 2:
o . = o / . o . / . / . o . ( )
2 8 2 4 8 2: 2: 2:1 2:1
De aqu se tiene que
o = 1, o, / , o , / , ., o , / , .
:
2 8 4 2:1 2:
:=0
1 1 1 1
2 8 2:1 2:
1
4
_ _ ( ) ( ) ( ) ( )
j
= 1, o, /, o, /, .
Ahora de la frmula de Hadamard se tiene
1
: : :
1:
:
j
= [o [ = o = ` limsup limsup lim
: :
de donde
` = o, /, o, /, . = o, /
:
sup sup
o sea que
de donde .
1 1 1
o o / j( )
= o, / o = , sup inf j( )
.
1.
:
SOLUCIN:Considerando = se tiene la convergencia de esta
_ _ j
:=0 :=0
.
1.
:
:
n
serie cuando , dedonde, se debe tener que [n[ < 1 < 1 = < 1
| |
.
1. [1.[
[.[
= [.[ < [1 .[ _ 1 [.[ [.[ < 1 [.[ o sea cuando
Haciendo se tiene que | toma la forma siguiente . = r ij .[ < 1 [.[
_ _
( ) r j < 1 r j = r j < 1 r 2r j = 0 < 1 2r
2 2 2
2
2 2 2 2
o sea - as, ;
1 1 1
2 2 2
< r T = . = r ij r = . c.
]
C 1
: :
:
. Mostrar que j j j
SOLUCIN:( ) 1 o / Sean , dos sucesiones de nmeros reales positivos
: :
entonces . sup sup sup o / _ o /
: : : :
En efecto; sea , entonces por la definicin de sup sup sup o = , / = `
: :
se tiene que , o _ , \/ :, / _ `, \/ _ :
/ /
de donde
o / _ ` , \/ _ :
/ /
entonces
sup sup sup o / _ ` = o /
/ / : :
( ) 2 o , / Sean dos sucesiones de nmeros reales positivos entonces
: :
limsup limsup limsup
: : :
o / _ o /
: : : :
En efecto de la afirmacin se tiene ( ) 1
sup sup sup
: _ / : _ / : _ /
o / _ o /
: : : :
Tomando lmite a los dos lados se tiene
limsup lim sup sup limsup limsup
: : :
: _ / : _ /
o / _ o / = o /
: : : : : :
:
_ _
Ahora tenemos
1
: : : : : :
1: 1: 1: 1:
j( )
= [o / [ = [o [ [/ [ _ [o [ [/ [ limsup limsup limsup limsup
: : : :
1
:
2 ( )
o sea que
1 1 1 1
o 1 1 j j j j j ( ) ( ) ( ) ( ) ( )
_ =
de donde
j j j ( ) ( ) ( ) o _ 1
:
:
j
Para sean , y , : = o o o t = N
: 0 1 : : 0 1 :
1
:1
( )
Tomando , y , , mostrar que l r = r \ r = t r ( ) ( )
_ _
:=0 :=0
: :
: :
con \. [.[ < 1 , o . = l . C
1
1.
( ) ( )
SOLUCIN:
1
1.
:=0 :=0 :=0 )=0
:
: : ) :
: :)
o . = . o . = 1 o . = ( )
_ _ _ _
_ _ _ _
_ _
[.[ < 1
= o o o . = . = l . o . = l .
_ _
( ) ( ) ( ) ( )
:=0 :=0
: :1 0 :
: : 1
1.
, o sea que
:
:
2
hacerlo es usando le serie geomtrica la cual converge si y slo si
_
:=0
:
n
[n[ < 1 n = y se tiene que en el disco unitario , en esta forma se
_
:=0
: 1
1n
tiene que y por coeficientes indeterminados se
1 1 1
. 1 .i .i .i .i
2
= =
( )( )
obtiene que y , en esta forma = , , 1 =
i i
2 2
) . = = = ( )
i i
2 2
.1 .1
i1 i1
.i .i 2 .1 i1 2 .1i1 2
i 1 i 1 i 1 1
i1 1 i1 1 ( ) ( ) ( ) ( )
] ]
= =
[ 1 [ < 1 . [ [ < 1
i 1 1 1 1
2 i1 i1 1 1 1
.1 .1
i1 i1
_ _
( )
( )
.1 .1
i1 i1
= =
|
[. 1[ < [i 1[ = 2 . [. 1[ < [i 1[ = 2
i i .1
2 i1 i1 2 i1 i1
:=0 :=0
1 .1
:
:
( ) ( )
( )( )
_ _
]
_ _
= 1 =
i i
2 i1 2 i1
:=0 :=0
: .1 .1
i1 i1 ( ) ( )
( ) ( )
( ) ( )
_ _
( )
: :
: :
= = . 1
i i 1
2 2
:=0 :=0 :=0
1 .1 .1 1
i1 i1 i1 i1
:
_ _ _ _
_ _ _
_ _( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
:
: : :
:1 :1 :1 :1
= . 1
_
( )
:=0
i 1 i1 i1
2 i1 i1
:
]
( ) ( ) ( )
[ [ ( )( )
: :1 :1
:1
=
= 1 i 1 i 1 . 1 =
_ ]
( ) ( ) ( ) ( )
:=0
i
2 2
: :1 :1 :
( )
:1
= 1 i 1 i 1 . 1
_ ]
( ) ( ) ( ) ( )
:=0
i
1 2
: :1 :1 :
( )
:1
:2
Luego
1 i
. 1
:=0
1 2
: :1 :1 :
2 :1
:2
= 1 i 1 i 1 . 1
_ ]
( ) ( ) ( ) ( )
( )
La cual converge para se sigue entonces que [. 1[ < 2 . = 2
_ _
( ) j
9.Mostrar que , \. c = 1 C
.
:
.
:
:
lim
j
SOLUCIN: Se sabe que es convergente, esto indica que dado c =
.
p=0
.
p!
_
p
c C 0 p 0 < \. . , existe tal que
_ _
_
( )
p=:1
.
p! 2
p
c
Sea ahora y o = 1 = 1 . 1 1 1
:
. 1 2 .
: : : : p!
:
p=2
:
p1
j j j j _
p
mostremos que , en efecto dado lim
:
:
.
o . = c 0 ( ) c
| c o . [ = 1 . 1 1 1
.
:
p=0 p=2
:
. 1 2 .
p! : : : p!
p1
( )
_ _
_ _j j j
p p
Daro Snchez H Variable Compleja 30
= 1 1 1
_ _
_ _ _ j j j
p=2 p=2 p=:1
: :
. 1 2 . .
p! : : : p! p!
p1
p p p
_ 1 1 1 1
_ _ _ _
_ _ ] j j j
p=2 p=:1
:
1 2 . .
: : : p! p!
p1
p p
Como donde y
j j j j
( ) 1 1 1 = 1 C : < :
1 2 1
: : : : :
p1 :
:
( )
2
C 2
:
1 1
: :
j
2
indica suma de potencias mayores o iguales a de , adems se
sabe de la teora de series que es absolutamente convergente
_ j
:=1
:
1
:
C
2
luego . Por otro lado la sucesin es acotada por , C = 0 1 lim
:
:
1
: :
:
j
_ _
2
( )
en esta forma . As se tiene que lim lim
: :
: :
: : :
:
1
( ) ( )
= 0 C = 0 _ _
j
2
De donde tenemos
|c o [ _ 1 1 C
.
: :
p=2 p=:1
:
:
: : p! p!
1 . .
_ _ _ _
_ _
_ _
j
( )
2
p
p
_ C ( | |
j _ _
_ _
:
: : p! p!
:
1 . .
p=2 p=:1
:
( )
2
p
p
Como es acotado por | se sigue que
_
| |
p=2
:
.
p!
.
p
c [
< ( | |
j _
:
: : p! 2
:
1 .
p=2
:
( )
C
2
p
c
a partir de un > para algn : N
Luego | para , o sea que . c o . [ < \: o . = c
. .
: :
:
( ) ( ) c lim
:
:
respectivamente por las frmulas
si o = 0, o = 1: o = o o , : _ 2
0 1 : :1 :2
c u
donde . c u , +
( ) ( ) o : _ 1 , [o [ _ 2c c = [ [, [ [, Mostrar que para , donde .
:
:1
1
2
max c u
Deducir que . j( ) o = 0
( ) ( ) ( ) / [.[ < o o . = Muestre que para , j
.
1 . . c u
2
( ) ( ) c . , . . . 1 = 0 / Sean los ceros de la ecuacin . Usar para
1 2
2
u c
mostrar que los pueden ser expresados en trminos de , y deducir o . .
: 1 2
que j( ) o = [. [, [. [ min
1 2
SOLUCIN:( ) ( ) o : = 1 = [o [ = 1 _ 2c = 1 Por recurrencia se tiene para
1
0
supongamos verdadero para o sea p < :, : _ 1, [o [ _ 2c , p < :, : _ 1
p
p1
( )
Para , se tiene p = :
|o [ = [ o o [ _ [ [[o [ [ [[o [ _ [ [ 2c [ [ 2c
: :1 :2 :1 :2
:2 :8
c u c u c u ( ) ( )
Daro Snchez H Variable Compleja 31
_ [ [ 2c [ [ 2c c = 2c 2c [ [ < 2c
[ [ < c
c c c
c
( ) ( ) ( ) ( ) ( ) ( )
j j
:8 :8 :2
1 2c1
2 2
_ 2c 2c = 2c
+ ( )
( ) ( ) ( )
:2 :1
.
( ) + Esta desigualdad se tiene ya que
c _ = 2c _ 1 = 4c _ 2c 1 = 2c _
1 2c1
2 2
.
Luego [o [ _ 2c , \: _ 1
:
:1
( )
Ahora,
| 0 _ = o [ _ [2c[ = [2c[ = 2c = o _ [2c[ 0
1
o
:
1: 1 1
j( )
limsup limsup
: :
1
:
j( )
( )( ) ( ) ( ) / 1 . . o . = ., [.[ < o c u j
2
_ __ _
_ _ _
:=0 :=0 :=0
: : :
: : :
o . / . = c .
donde / = 1, / = , / = , . , / = 0, \: _ 8
0 1 2 :
c u
as, c = o / = 0 / = 0 1 = 0
0 0 0 0
c = o / o / = 0/ 1 1 = 1
1 0 1 1 0 1
c = o / o / o / = o / o / = 1 1 = 0
2 0 2 1 1 2 0 1 1 2 0
( ) c c
para tenemos c = 0, 1,
:
c = o / o / o / = o o o =
: :2 2 :1 1 : 2 :2 :1 :
u c
. = o o o o = 0
:2 :1 :1 :2
u c c u
Luego, ( ) ( ) 1 . . o . = 1 . = . c u
2
para entonces [.[ < o o . = j( ) ( )
.
1 . . c u
2
. = 0 1 . . no es raz de y cualquier otra raz no pertenece al c u
2
crculo de convergencia pues si es raz se tendra :
0 = 1 : : o : = : = 0 - ( ) ( ) ( ) c u
2
lo cual es contradictorio.
( ) c . , . r . 1 = 0 Sea dos races de .
1 2
2
u c
Luego = , entonces por se tiene u c u r . 1 r . r . /
2
1 2
( )( ) ( )
o . = = ( ) (
. 1 .
.. .. .. .. u u ( )( ) ( )( )
1 2 1 2
se sabe que as . = = . = . = 4 = 0
12 1 2
4 1
2 2
4
2
c c u
u u
c c u
_ _
( )
2 2
c u
= = 4 = . = . = c u u
2
4
1 2
2
de donde y
c
c
2
Consideremos el caso entonces se tiene as c u
2
1 2
4 = 0 . = .
o . = = = ( ) ( (
_ _
1 . 1 1
.. .. .. .. . . .. ..
. .
u u u ( )( ) ( )
1 2 1 2 2 1 1 2
.
1
. . . .
2 2 1 2 1 1
.
2
As se tiene que
1 1 . 1
.. 1 . .
/=0 /=0
/
.
/
1 1 1
1
.
1
.
.
1
/1
1
= = = .
[ [ < 1
.
.
1
_ _
_ _
(
tambin
Daro Snchez H Variable Compleja 32
1 1
..
/=0
.
/
2
2
/1
= .
_
de donde
o . = . . . . = ( )
_ _
_ _
1 1 1
. .
1
/=0 /=0
. .
/ /
u( )
2 1
/1 /1
1 2
2
= . .
1 1 1 1 1
. . . .
/=0 /=0
. .
/ /
u
_ _
_ _
1 2 2 1
1 2
/ /
Ahora sea o . = = o = [. [
1 1 1
1 .
. .
/=0
.
( ) ( )
_
u( )
1 2
/
1
/
j
o . = = o = [. [
2 2 2
1 .
. .
/=0
.
( ) ( )
_
u( )
2 1
/
2
/
j
Como para entonces o . = o . o . [.[ < o o _ [. [, [. [ ( ) ( ) ( ) ( ) ( )
1 2 1 2
j j min
Ahora como no pertenecen al crculo de convergencia de se . , . o .
1 2
( )
sigue que
[. [ o , [. [ o
2 1
j j ( ) ( )
de donde . Luego j j ( ) ( ) ( ) ( ) o _ [. [, [. [ o = [. [, [. [ min min
1 2 1 2
n = ) t dt ) t dt = n
o
/
+
c
C -
it
Segn esto
( ) ( ) ( )
[.[=1 0 0
2 2
it it it it
it it
) . d. = ) c ic dt = ) c ic dt
c = c
= ) c ic dt = ) c ic dt = ) c i dt
( ) ( ) ( )
0 0 0
2 2 2
it it it it it c
c
it
it
2
( )
. = ) .
( )
[.[=1
d.
.
2
( ) ( )
) . ) . d.
/
es imaginario puro.
SOLUCIN:Podemos considerar entonces ) . = n r, j i r, j = ) r ij ( ) ( ) ( ) ( )
tenemos que y , adems ) . = n r, j i r, j ) . = i ( ) ( ) ( ) ( )
/ 0n 0
0r 0j
d. = dr idj. Ahora
Daro Snchez H Variable Compleja 33
) . ) . = n i n ( ) ( ) (
/ 0n 0 0 0n
0r 0j 0j 0r
Adems
) . ) . d. = n dr dj dr dj ( ) ( ) ( (
/ 0n 0n 0 0
0r 0j 0r 0j
i n dr n dj
j
(
0 0n 0 0n
0r 0r 0j 0j
Sea n = n dr dj = d
1
0n 0n n
0r 0j 2
( (
2
n = dr dj = d
2
0 0
0r 0j 2
( (
2
n = n dr n dj
8
0 0n 0 0n
0r 0r 0j 0j
j
(
Entonces
( ) ( ) ( )
) . ) . d. = n n in = n n i n
/
1 2 8 1 2 8
como y, son formas diferenciales cerradas, pues ellas admiten n , n
1 2
primitivas en , entonces por un resultado bsico cul? se tiene que ! ( )
n = 0 = n
1 2
Luego o sea es imaginario puro.
( ) ( )
) . ) . d. = i n
/
8
: :
donde | . o [ _ = 0 = o = 0
: :
:
`
:
lim
:
De todo lo anterior tenemos que el cual es un ) . = o . = o . ( )
_ _
:=0 :=0
: :
: :
polinomio de grado menor o igual a . :
/1 1 2/1
1 .
_
( )
/
( )
donde los los nmeros de Bernoulli son todos positivos y satisfacen 1
/
( )
la siguiente frmula recurrente :
1 1
2/1 ! 2 2/ ! 2) ! 2:2)1 !
)=1
/
1 1
( ) ( ) ( ) ( )
( )
= 0.
_
)1
)
SOLUCIN:( ) ( ) o ) . = Que es meromorfa se sigue del hecho de
1
c 1
.
pertenecer al cuerpo de fracciones de las funciones holomorfas en ( C c 1
.
es holomorfa). Los polos de se hallan en aquellos puntos donde ) . c = 1 ( )
.
Daro Snchez H Variable Compleja 35
entonces entonces , y por c = c .j i .j = 1 = c = [c [ = 1 r = 0
rij r r .
( ) cos sin
otra parte .
_ _
cos
sin
.j = 1
.j = 0
= j = 2/ , / Z
De donde se tiene que los polos son los puntos de la forma . . = 2/ i
Los polos son simples ya que
, donde
1 1 1 1
c 1 .q .
.
.
:=1
.
:
:!
:=1
.
:
:!
= = = q 2/ i = 1
_
_ _
_
( )
( )
Por lo tanto donde es analtica en una vecindad de ) . = 2/ i ( ) (
1 1 1
. q . q . ( ) ( )
y entonces los polos son simples o sea son polos de orden .
1
q 2/ i ( )
= 1 = 0 1
( ) ( ) / ) . Se sabe que la serie de Laurent de en una vecindad del origen es
de la forma o sea , de donde
_ _
:=1 :=1
: :
: : 1
c 1
o . = o .
.
_ __ _ _ __ _
_ _ _ _
:=1 :=1 :=1 :=0
. .
:! :! .
: :
: : o
: :
1
o . = 1 = o . = 1 =
= o o . = 1
1 :
:=1 :=1 :=0
. .
:! :!
:
_ _ _ _ _ _
_ _ _
:1 :
En el primer intento de comparacin de los coeficientes se obtiene que
para se tiene , luego . o = 1
0
1
_ _ _
_ __ _
:=2 :=1 :=0
. .
:! :!
:
:
:1 :
o . = 0
lo cual es lo mismo que
_ _ _
_ __ _
:=0 :=0 :=0
. .
:2 ! :1 !
:
:
:1
:1
( ) ( )
o . = 0
o sea (usando la frmula del producto de Cauchy)
_ _ _
_ _
:=0 :=0 )=0
:
.
:2 ! )1 !
o
:1
:1
:)
( ) ( )
. = 0
Tomando el coeficiente de tenemos .
/
1 1 1 1
2/ ! /1 /! 2!
0 1 /1 /
( ) ( )
o o o o = 0 1 ( )
Los coeficientes de orden par son nulos (excepto ), en efecto para eso o
0
tmese en , como , obtenindose ) . = o . . . ( )
_
:=1
:
:
, pero ) . = o 1 . ) . = = ( ) ( ) ( )
_
:=1
:
:
: 1 c
c 1 c 1
. .
.
entonces c = o 1 . = o .
. : : 1 .
c 1 :!
:= 1 :=0 :=1
: :
:
.
:
_ _ _
( )
_ __ _
-
Comparando los coeficientes de se tiene . / _ 1
/
( )
o 1 = o o o o 2
/ 0 1 /1 /
/
1 1 1 1
/1 ! /! /1 ! 1!
( ) ( )
( ) ( )
De y se obtiene que ( ) ( ) 1 2
entonces
1 1 1
/1 ! /! 1!
0 /1 / /
/
( )
o o = 0, o 1 = o \/ _ 1 ( ) ( )
Si es par entonces . Luego / _ 2 , o = o o = 0 ( )
/ / /
Daro Snchez H Variable Compleja 36
+ ) . = o o . ( )
_
1
.
0 2:1
:=1
2:1
De se tiene que . Por lo tanto ( ) 1 o = 0 = o =
1 1
2! 2
0 0
) . = o . ( )
_
1 1
. 2
/=1
2/1
2/1
Haciendo , se tiene que o =
2/1
1 1
2/ !
/
/1
( )
( )
) . = . ( )
_
1 1
. 2 2/ !
/=1
1 1
2/1
( )
( )
/1
/
Usando la frmula recurrente de los dada por hiptesis se tiene 1
/
1 1 1
/2 ! 2 /1 ! /i1 !
i=1
/
i
( ) ( ) ( )
o = 0
_
Teniendo en cuenta que los coeficientes de orden par son nulos,
cambiando por / 2/ 1
1 1 1
2/1 ! 2 2/ ! 2/2i1 !
i=1
/
2i1
( ) ( ) ( )
o = 0
_
entonces
.
1 1
2/1 ! 2 2/ ! 2/ ! 2/2i1 !
i=1
/
1 1
( ) ( ) ( ) ( )
( )
= 0
_
/1
/
Por la definicin de los coeficientes de Bernoulli, son nmeros racionales,
pues se puede escribir
con
1 1 1.c . . .
c 1 . 1n . . 2! 8! :1 !
.
. 2 :
= , n . = =
( ) ( ) ( )
( )
y se obtiene as el desarrollo de Taylor de reemplazando por en
.
c 1
.
. n . ( )
la serie entera . El coeficiente de en el desarrollo de es la
1 .
1. c 1
:=0
: :
= . .
_
.
suma, segn el producto de Cauchy, de los coeficientes de para los de .
:
( ) ( ) n . / _ :, :
:
para un clculo da para los primeros valores de que
1 = , 1 = , 1 = , 1 = , 1 = , 1 = , 1 = , 1 = .
1 2 8 4 6 7 8
1 1 1 1 601 7 8617
6 80 42 80 66 2780 6 10
La numeracin de estos valores juegan un papel importante en
matemticas, como en la teora de los nmeros algebricos y en la
topologa diferencial. Se puede mostrar que
1 = ~ 4
/
2 2/ !
2 c
:=1
1 /
:
( )
( ) ( )
2/ 2/ 2/
2/
1
2
_ _
En esta forma se puede afirmar que los nmeros de Benoulli son todos
positivos.
/
/1
/
( )
( )
. = 0 .
_
j
donde es un polinomio en de grado . j
/
( ) / _ 1 n /
Daro Snchez H Variable Compleja 37
SOLUCIN: Sea en una vecindad de , donde es analtica y ) . = q . 0 q ( ) ( )
1
.
q 0 = 0 ( ) . Entonces:
. ) . n = q . n = = ( ) ( )
1 1 .
. ) . n q . n. ( ) ( )
Como se tiene que es analtica en una vecindad de . lim
.0
1 1
) . n ) . n ( ) ( )
= 0 0
Por lo tanto tambin su derivada es analtica en una vecindad de . Sea 0
( ) ( )( ) ( ) . = . = 0 . ) . n =
) . ) .
) . n
) . n
/ /
2
( ) ( )
( ) ( )
( )
, manteniendo se tiene que -
entonces
) . q .
) . n . .
1
/
( ) ( )
( )
= . n = . q . n . ( ) ( )( ) ( ( ) ( )
Obsrvese que es analtica enuna vecindad de , y su . q . n . 0 ( )( ) ( )
valor en el origen es dado por
0 q 0 = q 0 = q 0 = ( ) ( ) ( ) ( ) ( | |
.
q . n.
/
.=0 .=0
q . n.. q . n
q . n.
( )
( ) ( ) ( )
( ) ( )
/
2
. = q 0 = 1
q 0
q 0
( )
( )
2
( )
Se sigue entonces que tiene un polo en el origen y el residuo es
) .
) . n
/
( )
( )
1.
La serie de Laurent ser dada por
con
) .
) . n . .
1 1
/=0 /=1
/ / / /1
. /1
/
( )
( )
= o . = . = o
_ _
j j
ya que , ahora ) . = q . = ) . = ( ) ( ) ( )
1
. .
/
q . .q . ( ) ( )
/
2
) . q . .q .
) . n . q . n. .
. 1
/=0
/
/
/ /
2
( ) ( ) ( )
( ) ( )
= = o .
_
o sea que
q . .q . ) .
q . n. ) . n
/=0 /=0
/ /
/1 /
( ) ( ) ( )
( ) ( )
/ /
= 1 o . = c . = .
_ _
(
de donde
y c = 1 c = o , / _ 1
0 / /1
Sea entonces de donde q . = / . q . = :/ . ( ) ( )
_ _
:=0 :=1
: :
: / :1
_ _ _ _ _
_ __ _
:=0 :=1 :=0 :=0
/ : / : /
: : / : /1
/=0
/ . :/ . = c . / . n c .
Mostremos que es un polinomio en de grado ; c n / 1 / 1 _ 1
/1
( )
comparando los coeficientes de se tiene .
/1
/ / 1 / = c / c / c / n c
/1 /1 0 /1 1 / / /
( )
0
de donde
// c / c / c / n c = / c 1
+
/1 0 /1 1 / / 1 / 0 /1 _
( )
( )
Para , se obtiene / = 0
c / n c = / c = c = n
0 1 0 0 1 1
/
/ /
1 1
0 0
Entonces es un polinomio en de grado ; admitiendo por induccin c n 1
1
que , es un polinomio en de grado , se sigue de que c 1 _ i _ / n i 1 +
i
( )( )
Daro Snchez H Variable Compleja 38
c n / 1
/1
es tambin un polinomio en de grado . De donde se concluye
que es un polinomio en para todo . Como , c n / 1 c = o / _ 1
i / /1
entonces es un polinomio en de grado . Se concluye que la serie o n /
/1
de Laurent tiene la forma
o .
1
.
/=0
/
/
_
donde es un polinomio en de grado . o n / 1
/
( )
[ [=:
resultado bsico (cul?) para todo tal que
( )
[ [= j
q d = 0 0 < < : j
o y .: [.[ = 0 q j c . Sea cualquiera, por continuidad uniforme de sobre
^ c o j c j c , existe tal que si y . 0 [0, 2 [ [ :[ < = [q c q :c [ < 2 :
j j
i i o o
Por consiguiente | implica j c :[ <
| |
j j
0 0
2 2
i i i i
o o o o
q c i:c d q :c i:c d < j o o c
Sea tal que | y de manera que entonces j j c j 0 :[ < o y .: [.[ =
j j
( )
0 0 [ [=
2 2
i i i : :
o o o
j j j
q c i:c d = q c i d = q d = 0 j o j j o
Luego y por consiguiente | | | |
j
( ) q :c i:c d < = q d <
0 [ [=:
2
i i
o o
o c c
( )
[ [=:
q d = 0
( ) ii . Para todo se define ^
si
si
q . =
, = .
) . , = .
( )
_
( )
) ) .
.
/
( ) ( )
[ [=:
donde se sigue, teniendo en cuenta que que
[ [=:
d
:
= 2 i,
) . = d ( )
1
2 i . [ [=:
)
( )
que
0
2
dt 2
o t/ t o/
2 2 2 2
cos sin
=
SOLUCIN: ( ) ( ) ( ) -
( )
( ) ( ) i : [0, 2 [ + t = r t , j t
t
t
, donde
2
r t = o .t, j t = .t ( ) ( ) cos sin
es claro que
r o t / t
o / o /
j
2 2
2 2 2 2 2
2 2 2 2
2
= = t t = 1
cos sin
cos sin
Daro Snchez H Variable Compleja 39
( ) ( ) ( ) ii . = r ij = . t = o .t i .t d. = o .t i/ .t dt Como , cos sin sin cos
por lo tanto
d.
. o .ti .t 0 0
2 2 o .ti/ .t dt o .ti/ .t o .ti/ .t
o t/ t
= = dt
( ) ( )( ) sin cos sin cos cos sin
cos sin
cos sin
2 2 2
2
= dt i dt
0 0
2 2
o .t .t/ .t .t o/ to/ t
o t/ t o t/ t
sin cos sin cos sin cos
cos sin cos sin
2 2 2
2 2 2 2 2 2
2 2
= o t / t io/
1 dt
2
2 2 2
0
2
0
2
o t/ t
log cos sin ( |
2
2 2 2
2
cos sin
= .o .o io/ = io/
1 1 dt dt
2 2
2 2
0 0
2 2
o t/ t o t/ t
log log
2 2 2 2 2 2
2 2
cos sin cos sin
( ) ( ) iii 1 0 1
( )
( )
= ) 0 = 1
o sea que
d.
.
= 2 i
( ) ( ) ( ) i ii iii De y se recibe que
d. dt
. 0
2
o t/ t
= 2 i = io/
2 2 2
2
cos sin
o sea que =
0
2
dt 2
o t/ t
o/
2 2 2
2
cos sin
)
.
( )
( ) ( ) ( ) o o o = [ o[: o 0 Para , sea ; mostrar que y deducir ! j I j inf
que la funcin es analtica en ) o.
( ) / Mostrar que , \o \: , ) o = :! d ! N
+ :
.
( )
( )
( )
( )
I
,
:1
SOLUCIN:( ) ( ) ( ) o o 0 o o
1
j j , porque supongamos que entonces como
j j ( ) ( ) o o es el de nmeros positivos, no puede ser negativo as inf
j( ) o = 0, o sea que
inf
I
[ o[ = 0
esto significa que dado , existe tal que | . c I 0 : o[ <
/ / /
2
c
Como es compacto entonces es secuencialmente compacto, as existe I
una subsucesin de la cual es convergente, por la compacidad
/ /
i
de en y por la completez de existe tal que , en I I I + =
2
i
/ 0
0 i
lim
particular para el dado , existe tal que c N 0
|
/ 0
2
:
[ < : _
c
Ahora
| c
0 0 / / 0 / /
o[ = [ o[ _ [ [ [ o[ <
: : : :
Daro Snchez H Variable Compleja 40
Como es arbitrario se sigue que por lo tanto c I 0 = o, o
0
lo cual es contradictorio ya que . ( ) - , o !
( ) ( ) o o 1 o: :
2 o
Como es abierto y entonces existe . Tomemos ! ! !
: _ (o), 1 = j I as que .
o
Sea entonces , manteniendo se tiene . 1 [. o[ < o . = o
o
j( )
1 1 1 1
. o .o o
o 1
:=0
.o
o
= = =
( )
( )_ _ (
( )
( ) .o
o
:
:
_
esta igualdad se tiene dado que
( ) ( ) i [ o[ o = [ o[ = < j inf
1 1
[ o[ o j( )
( ) | | ii = < = 1
.o
o [ o[ o
[.o[ o
j
j( )
( )
( ) iii . Para fijo la serie converge uniformemente en . I
As .
_ _
_ _
( ( )
I I I
, , ,
( ) ( ) ( ) ( )
( )
( )
. .o
. o
:=0 :=0
o
o
:
d = d = d . o
:
:
:1
Por hiptesis es continua sobre que es compacto, por lo tanto , I ( )
existe tal que para todo . ` 0 [ [ < ` , I ( )
Como es una curva rectificable, por ser el contorno de un campacto I
existe . As
( ) ( )
I
[d [ = A I
| |
I I I
, , A I
j j
( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) o o o
[ [[d [ `
[ o[
1
:1 :1 :1 :1
d _ _ ` [d [ =
Ahora
limsup limsup
: :
| | _ _
I
, A I
j
( ) ( )
( ) ( ) ( ) o o
1: 1:
`
:1 :1
d _
_ ` = limsup limsup
: :
( ) ( ) A I
1:
1 1
o
o
( ) ( )
( )
j
j 1
1
:
o sea que
o . o = . o ( ) ( )
_
(
:=0
d
o
:
I
,
( )
( )
:1
es tal que j j ( ) ( ) o _ o 0
Luego es analtica en ) . = o. ( )
I
,
( )d
.
( ) ( ) ( ) ( ) ( )
_
(
d
o
:
I
,
( )
( )
:1
Tambin se concluye que es analtica en , esto indica por un ) . o ( )
resultado bsico (cul?) que donde ) . = o . o ( ) ( )
_
:=0
:
:
o = ) o ++
:
1
:!
: ( )
( ) ( )
De las identidades y se tiene que ( ) ( ) + ++
( )
I
,
( )
( )
( )
d
o
1
:!
:
:1
= ) o
o sea que . ) o = :!
( )
( )
( )
:
d
o
( )
I
,
:1
( ) ( )
[.o[
/ 2
p . d. = 2 i p o :
Daro Snchez H Variable Compleja 41
SOLUCIN:Sea . Como o C : [0, 2 [ [. o[ = : = . o = :c
t
:c
-
it
it
equivalentemente de donde se tiene que . = o :c = d. = i:c
it it
y en esta forma y idt = = . = o :c d. = i:c dt
d. d.
:c .o
it it
it
p . = o . p o :c = o o :c ( ) ( ) ( )
_ _
/=0 /=0
: :
/ /
/ it it
/
por lo tanto , as;
( ) ( ) ( )
_ _
_ _
[.o[=: [.o[=: 0
/=0 /=0
: :
/ /
/ it it
2 /
p . d. = o . d. = o o :c i:c dt
= o o :c i:c dt
_
( ) ( )
/=0
:
/
0
2
it it
/
= o :c o :c / o :c :ic :c dt
_
_ _
( )( ) ( ) ( )( ) |
/=0
:
/
it it it it it
/ /1
0
2
0
2
= : o / o :c idt = : /o . d. =
_ _
( )
_ _
/=0 /=0
: :
2 it 2 /1
/ /
0 [.o[=:
2 /1
1
.o
. = : d. = : 2 ip o
2 2 /
[.o[=:
p .
.o
( )
/
( )
Ntese que en la ltima igualdad se ha aplicado la frmula integral de
Cauchy.
21.Clcular la integral :
[.[=2
d.
. 1
2
SOLUCIN: , as;
1 d.
. 1 .i .i . 1 .i .i [.[=2 [.[=2 [.[=2
d. d.
2 2
i i i i
2 2 2 2
= =
Como tomando que es una funcin holomorfa i . : [.[ _ 2 ) . = C ( )
i
2
en un abierto que es compacto y entonces ! C 1 = . [.[ _ 2 i 1
( )
[.[=2
) .
.i 2
i
( )
d. = 2 i) i = 2 i =
y
( )
[.[=2
) . d.
.i 2
i
( )
= 2 i) i = 2 i =
Por lo tanto
( ) ( )
[.[=2
d.
. 1
2
= = 0
_
( )
( ) ( )
( )
d. =
) 0 , o[ < 1
) 0 ) 1o , [o[ 1
si |
si
SOLUCIN:( ) o [o[ < 1, Supongamos que en ese caso tenemos;
1 1 d. 1 o d.
2 i .o 2 i 1 . 2 i . . [.[=1 [.[=1 [.[=1
) . ) .
:=0
( )
_ _
_
( ) ( )
d. = = ) . = o
.
:
:
[ [ < 1
o
.
= ) . = o ) .
1 o d. 1 1 d.
2 i . . 2 i . . [.[=1 [.[=1
:=0 :=0
:
( ) ( )
_ _
_ _
:
:1 2 :1 2
esta ltima igualdad se tiene que es normalmente convergente.
_j
:=0
o
.
:
Ahora esto significa que tambin se tiene que [.[ = 1 . . = 1 = 1
2
Daro Snchez H Variable Compleja 42
de donde . . = 1 . =
:1
:1 :1
1
( ) ( )
.
:1
Por lo tanto tenemos que
1 1 d.
2 i .o 2 i . [.[=1 [.[=1
) .
:=0
:
:1
_
( ) ( )
( )
d. = o ) . .
2
Por el problema tenemos que 11
) . . d. = ) . .
( ) ( )
[.[=1 [.[=1
:1 :1
d.
.
2
Luego
1 1
2 i .o 2 i [.[=1 [.[=1
) .
:=0
: :1
_
( ) ( )
( )
( )
d. = o ) . . d. 1
Ahora es una forma cerrada para todo (esto segn el . ) . d. : _ 1
:1
( )
teorema de Cauchy ya que es holomorfa en el disco | | ) . ) . . _ 1
:1
( )
Ahora como es un camino cerrado se sigue que ( ) = .: [.[ = 1
( )
) . . d. = 0 , \: _ 1
:1
Luego se reduce a ( ) 1
1 1 1
2 i .o 2 i 2 i . [.[=1 [.[=1 [.[=1
) . ) .
0 1
( )
( ) ( )
( )
d. = o ) . . d. = d. =
i = i ( )
= ) 0
:=0
( )
_ _
_
( ) ( )
( )
j
d. = d. ) . d.
.
o
1
o
:
:
= ) . .
_
( )
:=0
1 1 d.
o 2 i . [.[=1
:2
:1 2
Como , luego . . = 1 = . =
:2 :2
:2
1
.
( )
:2
( )
[.[=1 [.[=1 [.[=1
:2 d. d.
. . .
) . ) .
.
) . . = = d.
2 2 :2
:2
( ) ( )
Por lo tanto
1 1 1 1 1
2 i .o o 2 i . o 2 i . [.[=1 [.[=1 [.[=1
) . ) . ) .
:=0 :=0
_ _
( ) ( ) ( )
( )
d. = d. = d.
:1 :2 :1 :2
i = i ( )
o sea que
1 1 1 d.
2 i .o 2 i . [.[=1 [.[=1
) .
:=0
o
_
( )
( )
d. = d. =
:1 :2
= d. d. = _ _
_ _
_
1 1 1 1 1
o 2 i . 2 i . /! [.[=1 [.[=1
) . ) . ) 0
o
/=1
o
( ) ( ) ( )
( ) ( )
2 8 2 /
/ ( )
= ) 0 = ) 0 ) = ) 0 ) _ _ ( ) ( ) ( )
j j
1 1 1 1
o 2! o o
/
o
) 0
( )
( )
( )
2
2 ( )
Ntese que
) 0 ) .
/! 2 i
1
[.[=1 .
( ) /
2/
( ) ( )
= d.
es la frmula integral de Cauchy para las derivadas en . . = 0
0
dr 1
r o ..
2o .o
1o
( ) ( )
j
( ( )
2 2 2
2
2
2
4
2
log
log
_
( )
. (:, )
/
/
~
c c
Tomando suficientemente grande y suficientemente pequeo de : c
manera que todas las singularidades de estn dentro de se ) . :, ( ) ( ) c c
tiene que
( ) ( )
i ) . d. =
[:, [
dr
r o [r[i
c
c
( )( )
2 2
log
( )
[ :, [
-
c
) . d. =
:
dr
r o [r[i c ( )( )
2 2
log
Daro Snchez H Variable Compleja 45
Sumando estas dos identidades se tiene
+ + =
( ) ( )
[:, [
:
:
dr dr
r o [r[i r o [r[i
c
c
c
) . d. ) . d. =
[ :, [
-
c
( )( ) ( )( )
2 2 2 2
log log
= =
: :
dr dr
r o [r[i r o [r[i
c c
( )( ) ( )( )
2 2 2 2
log log
= = =
: :
dr 1 1
r o [r[i [r[i
2 i dr
r o [r[
c c
( )
( )
( ) ( )
j
2 2
2 2 2
2
log log
log
= 2 i = 2 i 1
( )
: :
dr dr
r o [r[ r o |oq[r[
c c
( ) ( ) ( ) ( )
j j
2 2 2 2 2 2
2 2
log
co:/io:do
r po: r
( ) ( )
ii ) . d. =
c c c ( ) [.[=
d.
. o .. ( )
2 2
log
Haciendo . Por lo tanto . = c = d. = i c . .. = c = . i c c c c o
i i i o o o
log log log
j
( )
c c
c o
c c o ( ) 0
2
i c d
c o . i
) . d. =
i
2 i2 2
o
o
( )( ) log
De donde
| | | |
( )
c c
c o o
c c o c c o ( ) 0 0
2 2
i c d d
c o . i [ c o [[ . i [
) . d. = _
i
2 i2 2 2 i2 2
o
o o
( )( ) log log
c
_ = =
+ ( )
c c
0 0
2 2
d d 2
[ [[c [[o [ [ . [ [ o [[ . [ [ o [[ . [
o o c
c c c c c c [ [
2 i2 2 2 2 2 2 o
log log log
.
( ) + teniendo en cuenta que
( ) ( ) 1 [ c . i [ _ [ . i [ 1 c o c o log log
( ) ( ) | | | | 2 [o /[ = [o / [ _ [o[ [ /[ = [o[ [/[
.
As
lim lim lim lim
c
c c
c c c
c c
c c c c
0
( )
0 0 0
2 2 2
[ o [ [ . [ [ o [ . o
| | | |
( ) ) . d. _ = = 0 = 0
2 2 2 2 2
log log
( ) ( ) | | | | | |
iii ) . d. = =
u
o
o (:) [.[=: 0
d. i:c d
. o ..
2
: c o [:[i ( ) ( )( )
2 2
i
2 i2 2
log log
. = :c
io
o
o
_ _ =
0 0
2 2 [i:c [d
[: c o [[ .:i [
:d 2:
[: o [[ .:[ [: o [[ .:[
o
o
o
i
2 i2 2 2 2 2 2
o
o
log log log
Por lo tanto
lim lim lim lim
: : : :
:
2: 2 : 1
[: o [[ .:[ : o [ .:[
| |
( )
| |
u
( )
) . d. _ = = 0
2 2 2 2
log log
( ) ( )
_
i 1 = 1 = = 2 i 1c ) .
.
lim
c
c
,:
0
2 idr
r o [ .r
.
/ 0
:
( )
( ) ( )
j
2 2 2
2
/
log
( ) Cculo del residuo
1 ) . es una singularidad de y es un polo simple, as ( )
1c ) . : 1 = . 1 = = = ( ) ( ) ( ) lim lim lim lim
.1 .1 .1 .1
1 1 1 1 1
. o .. . o .. 1o 1o
.1
( )
( )
j
2 2 2 2 2 2 1
.
log log
io, io ) . son tambin polos simples de por lo tanto ( )
1c ): io = . oi = = ( ) ( ) lim
.io
1 1 1
.oi .oi .. 2io io 2io [o[i ( )( ) ( ) j log log log
2
1c ): io = . io = = ( ) ( ) lim
.io
1 1 1
.oi .oi .. 2io io 2io [o[i ( )( ) ( ) j log log log
2
siendo . 0 < < o < : c
Luego finalmente tenemos
Daro Snchez H Variable Compleja 46
1 = 2 i = 2 i (
_ _
1 1 1 1 i
1o 1o 2io [o[i 2io [o[i
2io .o
2 2
2 2
2
2
4
j j
( ( )
log log
log
= 2 i
1 ( )
0
dr
r o r ( )( )
2 2 2 2
log
Por lo tanto
dr 1
r o r 1o
2o o
( )( )
(
2 2 2 2 2
2
2
4
log
log
25.( )
o : _ 2 = Mostrar que para todo entero ;
0
dr
1r :
:
:
sin( )
( )
/ : : _ 2 0 < 1 < : dr Calcular para entero y , la integral c
0
r
1r
c
:
SOLUCIN:( ) o 1 = 1 Sea donde lim
1
(1) I
1 = =
I
I
(1)
(1) 0
d. dr d. d.
1. 1r 1. 1.
1
: : : :
11
o:c
1C
Ahora,
( )
i = , 1 1
11
o:c
: : i:t
2
:
it
d. i1c dt
1. 11 c 0
= 1c .
it
tomando
| |
11
o:c
: : i:t : i:t : :
2 2
: :
it
2
:
2
: d. i1c dt 1dt dt
1. 11 c [11 c [ [1 1[ 1 1 0 0 0
1
= _ _ 1 =
[1 1 c [ _ [[1 c [ 1[
: i:t : i:t
as
ya que lim lim
1 1
d.
1. 1 11
2 :
11
o:c
: :1
_ = 0 : _ 2
( )
ii = = c
1C
d. c d: d:
1. 1: 1: 1 0
0 1
: : :
2
:
i 2 i
:
Por lo tanto
1 = c ) r dr
I(1)
0 0 0
1 1
dr d:
1r 1:
( )
: :
2 i
:
2
:
o sea que, 1 = 1 c ) r dr
I(1)
0 0
1
dr
1r
(
( )
2 i
:
:
2
:
de donde
1 = 1 = 1 c ) r dr lim lim
1 1
(1)
0 0
dr
1r
I
(
( )
2 i
:
:
2
:
= 2 i1c ): c = 2 i 1c ): . (
_
( )
i
:
/
. (1)
/
I
( ) ( ) iii . = c ) . es un polo simple de as;
i
:
1c ): c = = = = ( | |
i
:
:1 :
i i
: :
i i
: :
1 . c c
:. :. : 1 :
.=c .=c
( )
de donde o equivalentemente 1 = 1 c = 2 i (
2 i
:
:
i
:
dr c
1r :
dr 2 i c 2 i 1
1r : : :
1c c c
: :
:
i
:
2 i i 2 i i
: : : :
c c
i: i:
2i
= = = =
_ _
sin
( ) / 0 Supondremos inicialmente que , en ese caso usamos el mismo c
contorno de integracin y tenemos que donde 1 = 1 lim
1
(1) I
1 = dr d.
I(1)
0 1
1 0
r .
1r 1. 1: c
:c c d:
c c
c
: : : 2 i
11
o:c
2 i 2 i
: :
(
= dr d.
0 0
1 1
r c : d: .
1r 1: 1.
c c c c
: : :
2 i
:
1
11
o:c
( )
= 1 c dr d. (
2 i
:
: :
11
o:c
c c
( ) c1
0
1
r .
1r 1.
( )
| |
i d. = _ _
11
o:c
: : i:t : i:t :
2 :
i t it 1 1
. 1 c i1c dt 1 dt 1 dt
1. 11 c [11 c [ [1 1[ 0 0 0
2 : 2 :
c c c c c
. = 1c
it
=
1 1
2 1
: 1 1
c1
:
( )
lim lim
1 1
. 2 1
1. : 1
11
o:c
: : 1 1
1
1
c
c
c
d. _ = 0
: 1 c
As 1 = 1 c dr = 2 i1c ): c (
j
2 i
:
:
c
( ) c 1 i:
0
r
1r
( ) ( ( | | ii 1c ): c = 1c : c = = =
i i
: :
: :1 :
i i
: :
1 1
i
:
c c c c
. . . c
1 :. :. :
.=c .=c
c
( )
Luego
1 = 1 c dr = c (
2 i
: :
:
i 1 c c
( ) c 1
0
r 2 i
1r :
( )
o lo que es equivalente a
r 2 i c
1r :
1c c c
: 2i : :
c
c
c c c c
c
c
:
i 1
:
i 1 i 1 i 1 1
: : :
c
i 1
:
c
i 1
:
2i
:
dr = = = =
( )
( ) ( ) ( ) ( )
( )
( )
( )( )
_ _
_ _
_ j
sin
Ntese que no puede ser estrictamente menor que ya que c 1
0 < 1 < : < 0 1 < < 0 = c c c c c , as si entonces o sea donde
0 < < 1 c en ese caso se tiene que
0 0
r dr dr
1r r
c
c : 1r
: =
( )
y se aplica el teorema de los residuos al siguiente contorno:
En ese caso donde 1 = 1 , lim
1
1,
c
c ( )
1 =
( )
( ) ( ) ( )
( ) ( )
1,
1
dr d. c d: d.
r 1r . 1. . 1r 1
:c 1c
c
c
c
c c c c
c
: : :
11
o:c o:c
2 i:
2 i: 2 i:
T
=
c c
1 1
dr c d: d. d.
r 1r : 1r . 1. . 1r
c c c c
c
c
( ) ( ) ( ) ( )
: : : :
2 i
:
1
11
o:c o:c
T
( )
Daro Snchez H Variable Compleja 48
( )
i =
11
o:c
: i t : i:t
it
d. i1c dt
. 1. 1 c 11 c 0
2 :
c c c
( ) ( )
. = 1c
it
| |
11
o:c
: i t : i:t : i:t :
it
d. i1c dt 1dt
. 1. 1 c 11 c 1 [11 c [ 1 [1 1[ 0 0
2 : 2 : 12 :
c c c c c
( ) ( )
= _ _
lim lim
1 1
d. 2
. 1. : 1
11
o:c
:
1
1
:1
1
1
:
c
c
( )
_ = 0
( )
ii = = i
T
o:c
: i t : i:t i t : i:t
it it
c
c c c c
d. i c dt c dt
. 1r c 1 c c 1 c 2 : 0
0 2 :
1
( ) ( ) ( )
. = c c
it
c
c c c
c
c
| |
T
o:c
: i t : i:t
it
: i:t :
2
:
1
c
c c
c
d. c dt dt
. 1r c 1 c
1 1
0 0
2 : 2 :
[1 c [ 1 ( ) ( )
= i _ _ c c
c c
c c c
c
lim lim
c c
c
c
0 0
d.
. 1r 1
| |
T
o:c
:
2
:
1
:
c
c
c
( )
= = 0
Luego
1 = 1 c = 2 i1c = 2 i = 2 i
j
| (
2 i:
0
dr 1 1 c
r 1r . 1. . :.
.=c
:
c c c
c
( ) ( )
: : :1
i :
2
:
1
( )
Finalmente
dr
r or
c
c
( )
:
:
1
:
=
sin
( )
inf
r
j 1
Si existen tales que c = 0 r , j , : = 1, 2, ., r , j 1 ( )
: : : :
| r j [ 0 :
: :
( )
Como es compacto, existe tal que r r
/ : ( )
r r / , r .
/ 0 0 ( )
( )
Tenemos
| r j [ 0, [r j [ _ [r r [ [r j [
/ / / / / / 0 0 ( ) ( ) ( ) ( ) ( ) ( )
entonces es un conjunto acotado, sea un punto de acumulacin j j
/ 0 ( )
de supngase que es infinito , entonces j j j 1
/ / 0 ( ) ( )
j
( ) ya que es cerrado y 1
[r j [ _ [r j [ [j j [
0 0 0 0 / / ( ) ( )
Por consiguiente | o sea . Esto es r j [ = 0, r = j r = j 1 -
0 0 0 0 0
0
( )
llegando a una contradiccin.
Daro Snchez H Variable Compleja 49
r
1r
2
4
dr
SOLUCIN: Sea la curva en la figura C
Si es mayor que el valor absoluto de todos los ceros de tenemos 1 Q
C
1
Q cc:o dc Q
d. = 2 i ( ) la suma total de los residuos en el semiplano superior
_ _
| | ( )
11 1 ( )
1 . 1 1 . 1 1 . 1
Q Q . Q 1 1 Q
d[.[
d. = d. _ [ [ [ _ [ [ 0 1
2 2 2
2 2 2
max
[.[ = :
luego
. lim
1
1
1
1
Q
( dr = 2 i
la suma de los residuos
en el plano superior
Los ceros de son r 1 = 0 r = c , c , c , c
4 i i i i
4 4 4 4
8 7
El residuo de en es
.
1.
i
2
4
4
. = c
lim
.c
i . 1
1.
2 c c
4
i 4 4
4
2
4 7
i i
j
. c =
(
El residuo de en es
.
1.
i
2
4
8
4
. = c
lim
.c
i . 1
1.
2 c c
8
4
i
8
4
2
4 8
4 4
i i
( . c =
(
Luego
r 1 1 1i
1r
2 c c 2 c c
2
2
4 7
4 4
i i
8
4 4
i i
dr = 2 i =
_ _
( (
_
c
1r
itr
2
dr t
Chequear su respuesta frente al teorema de inversin para la transformada
de Fourier.
Daro Snchez H Variable Compleja 50
SOLUCIN: tiene un punto singular esencial en , razn por la cual el c
it.
mtodo del problema 27 no sirve. Aplicando mecnicamente el mtodo
anterior, se tendra.
.
c c
1r 2i
t
itr it i
2
dr = 2 i = c
( )
Por la frmula de inversin de Fourier se tiene:
_ _
Si entonces
donde
q t = c ) r dr ) r = c q t dt
) r = , q t = c
( ) ( ) ( ) ( )
( ) ( )
itr itr 1
2
1
r 1
2
t
itr t
c c dt
Revisemos la frmula del problema 27. La frmula sirve, aunque , no 1 Q
sean polinomios, si
( )
11 1 ( )
1
Q
d. 0 1
Si tenemos t 0
_ _
| |
j
11 1 ( )
c c
1. 0 11 c
i i
itr t1 . it1 .
2 2 2i
d. = 1ic d . = 1c
o o
sin cos o o
o
o
_ 1d _ d = 0 1
( )
0 0
c 1 1
1 1 1 1 1 1
t1 .
2 2 2
sin o
o o
(
Ntese que si , , pero si
ya que cuando
t<0 c t0
c _1 . _0 [0, [
t1 .
t1 .
sin
sin
o
o
sin o o
Luego si . , dr = c t 0
( )
c
1r
t
itr
2
Si t < 0 :
haga el cambio:
( )
c c
1r 1r
/
itr itr
2 2
dr = dr r = r
= c = c
t [t[ ( )
Entonces para todo el resultado en t , , c ( )
[t[
Por lo tanto:
1 1
2 1r
itr [t[
c c dt =
2
la cual es la frmula inversa de Fourier.
. .
4
d.
SOLUCIN: Se sabe que
c = 1 . , c = 1 .
. . . . . . . .
2 6 24 2 6 24
2 8 4 2 8 4
c c 2 1 1
. . 8 .
. .
4 8
= ( ) parte analtica
El residuo en es . . = 0
1
8
.
1 c c 1 1 1
2 i . 2 i 8 8
. .
4
d. = 2 i =
o
c o c
d
12 . cos
2
integrando sobre el crculo unitario. ( ) ( ) . . 1 c c
1 1
SOLUCIN: Sea . Usando la frmula integral de ) . = . . ( ) ( )
j
c
1
1
1
c
Poisson se tiene
Daro Snchez H Variable Compleja 51
c
o o
) . d. = ic d . = c ( )
j
0
2
1
c c
i i
( )
j
i i 1 o o
c
o
= = = i
0 0 0
2 2 2
ic d id d
c c c
2 . 1 12 .
c o c o o
c c
c c o c o c
i
i i i
2 2
o
o o o
( ) ( )
cos cos
c
Por otra parte, el residuo de en supngase | es: ) . = [ < 1 c c ( )
lim lim
. .
1
. 1
c c
c
c
( ) ( ) . ) . = = c
1 2
c
luego;
0
2
d 1 i 2
12 . 1 i 1 1
o c
c o o c c c c cos
2 2 2 2
= 2 i = 2 i =
Nota si; se tiene . [ [ 1 c
2
1
c
2
/
( )
( )
. d.
es igual al nmero de ceros de en Cul es el valor de esta ) 1 o: : . ( )
integral en trminos de los ceros de para ?. Cul es la ( ) ) p = 1, 2, 8, .
respuesta si es reemplazada por algn ? . )
p
, H !
SOLUCIN: Sea un cero de grado de la funcin : / ) `
) . = . / ) . , ) / = 0. ( ) ( ) ( ) ( )
`
1 1
Por consiguiente
) . ) .
) . ) . ./
/ /
1
1
( ) ( )
( ) ( )
=
`
Esto es, es el residuo de es , luego `
)
)
/
/
1 1
2 i ) . 2 i ) 1 o,:
) .
(
/
( )
( ) ( )
d. = 2 i
nmero total de los ceros
de que estan en
Ahora, parte analtica de
) . ) .
) . ) . ./ ./
p p p p p /
/ /
1
1
p
( ) ( )
( ) ( )
. = . . / / = /
` `
( ) ( )
grado del cero en
1
2 i ) .
) .
p p
_ _
( )
/
( )
( )
d. = / = / / `
Si reemplazamos por se tiene; . . ( )
p
, H ! ( )
) . ) .
) . ) . ./
/ /
1
1
( ) ( )
( ) ( )
, , , , , ( ) ( ) ( ) ( ) ( )
_ _
_ j
_________
. = . . / /
`
tic:c cc:o c:. = /
la parte analtica =
`,( ) /
./
( )
luego
Daro Snchez H Variable Compleja 52
1
2 i ) .
) .
)=1
) )
( ) ( )
_
/
( )
( )
, ` , . = /
donde son ceros de en con su respectivo grado / , / , ., / ) 1 o, :
1 2
( )
` ` `
1 2
, , ., .
idnticamente,
Daro Snchez H Variable Compleja 53
34.Supngase
donde . 1 . = 1 .1! . :!, Q . = 1 . 1, : = 1, 2, .
: : :
:
( ) ( ) ( )
Que puede usted decir a cerca de la localizacin de los ceros de y 1 Q
: :
para grande? . Especifique tanto como pueda. :
SOLUCIN: Se sabe que . Ahora 1 . = 1 .1! . :!, Q . = 1 . 1
: : :
:
( ) ( ) ( )
lim
:
:
.
1 . = c ( ) uniformemente en cualquier compacto. Por el teorema de
Taylor
[1 . c [ _ [. [ [ [ _ [.[
:
. :1
[c [
:1 !
( )
o
( )
o
( ) o o 1 Si es una raz de entonces
:
|c [ _
o
[c [[o[
:1 !
o
:1
( )
( ) ( ) ( ) i 1c o _ 0, [c [ _ [c [ o[ _ : 1 ! Considrese el caso , o sea |
o o :1
esto significa que [o[ _ : 1 ! : ( ) ( )
1
:1
( ) ( ) ii 1c o < 0, [c [ _ 1 Para el caso .
o
o sea c _ [c [ _ c [o[ _ : 1 !
[o[ o [o[ :1
[o[
:1 !
:1
( )
( )
Esto es cuando [o[ :
( ) ( ) / o = 2/ i (/ ) : 1 o, : Sea . Sea tal que no contiene los puntos Z
2/ i, / Z, entonces
| en Q c 1 [ < [c 1[ [. o[ = :
:
. .
( )
si es suficientemente grande. :
Como no tiene ceros en , no tiene ceros en ( por c 1 1 o, : Q Q o, :
.
: :
( ) ( )
un razonamiento anlogo para ) tenindose o = 2/ i
Los ceros de Q 2/ i :
:
( )
constante , luego ( )
polinomio de grado a lo ms . ) . = . C = / ( )
j
/ o o
. .
o
.
1 2
2
/
/
A
, j !
Probar que . ) ( ) H !
SOLUCIN: Se agrega la condicin de que es totalmente finito, osea A
( )
A
d t < j .
Sea una cota de . ` ., t , . , t A, [ ., t [ _ ` , \., \t
0 0
, ! , ( ) ( )
Sea , tomemos tal que entonces . 1 . , 2 ,
0 0
! c c ! ( )
| si . , c
/ `
0
( ) ( ) ., t [ _ . 1 . , , t A
0
c
Por el teorema del valor medio;
si . | | (
, ,
c
( ) ( ) .,t . ,t
..
`
0 0
0
0
0
_ [. . [ _ ` ,
.1 . ,
tA
( )
0
c
Como por el teorema de la convergencia dominada:
( )
A
0
` d t < , j
lim lim lim
.. .. ..
) . ) . .,t . ,t .,t . ,t
.. .. .. A A
0 0 0
0 0 0
0 0 0
( ) ( ) ( ) ( ) ( ) ( )
= d t = d t
( ) ( )
, , , ,
j j
o sea, es derivable en . ) .
0
i ) . = ., t = , t = t, A = [0, 1[ aqu .
0
1
dt 1
1t. 1t.
, j
Si entonces es acotada en cualquier conjunto ! C ,
1
= ( , 1[
compacto , luego es analtica en . ! !
1 1
)
Nota: La funcin , tiene una linea de discontinuidad de ) . =
( )
log( ) 1.
.
a . 1
( ) ( ) ( ) ( )
ii q . = dt t = = t, A = [0, ) , ., t = c . Sean .
0 0
t
c d
1t 1
1 t.
t.
2 2
j , tan
Si entonces es acotada en , luego es ! 1 , !
2 2
= . c . < 0 A q ( )
analtica en . !
2
( ) ( ) ( )
iii / . = dt t = = .t , . Aqu se toma
1 1
1 t
c d
1t 1 4
t.
2 2
j arctan
A = [ 1, 1[, ., t = c ,( )
t.
.
Como es acotada en {cualquier compacto en } se tiene que , C [ 1, 1[, /
es una funcin entera.
: /
( ) ( )
| | ) . ) . _ [) t ) t [dt 0 :, /
: / : /
1 1
2 :
C
( ) ( ) ( ) ( ) ( )
_
:=1
:[c [
:
2
.
SOLUCIN: ) . = c . ( )
_
:=0
:
:
rea de = donde !
( )
!
dn dn = [J [drdj . = r ij
1 2 )
l
o sea, = [J [ :d:d , . = :c
_ (
0 0
2 1
)
r=: .
j=: .
i
o
o
o
o
cos
sin
Pero
[J [ = [) . [ = :c . = :c . /c . =
) : : /
/ 2 :1 :1
:=1 :=1
2
/=1
/1
( )
_ _ _
. = :/c c c : c
_
:=1
/ : /
:/2 i :/ ( )o
Daro Snchez H Variable Compleja 58
rea de ! o
c
= :/c c : c d d:
2
0
1
:,/=1
: /
:/1 i :/
0
2
:,/
_
_ _
_
_
_ j
_________
o ( )
= 2 : [c [ : d: = :[c [
0
1
:=1 :=1
2 2 2:1 2
: :
_ _
44.Hay una regin tal que . Mostrar que es uno a uno ! ! exp exp ( ) ( ) = 1 1: 1
en , pero que hay muchos semejantes a . Fije uno, y defina para ! ! log..
[. 1[ < 1 n c = . , comosiendo un para el cual . Probar que !
n
log
/ 1 1
. .
: :
:=0
:
( ) ( )
_
. = o = o . 1 . Halle los coeficientes en y de aqu halle los
coeficientes en la expansin En cul otro disco c .. = c . 1 .
: :
:=0
:
log
_
( )
esto puede ser dado?
SOLUCIN:[c 1[ < 1, . = r ij = [c .j ic .j 1[ < 1 =
. r r
( ) cos sin
= c .j 1 c .j < 1 = c c 2 .j < 0 ( ) ( ) ( )
r r r r
2 2
cos sin cos .
Como se tiene . c 0 c 2 .j < 0
r r
cos
Para existe un tal que (ver la figura). r ( , .2[ j [0, [ c 2 .j = 0 log cos
r
Se define para | log.. = n = c = . . 1[ < 1, n
n
!
n = .. = c = . log
n
n n = . . = c = . ., ^ ^ ^ log( )
n n ^
Daro Snchez H Variable Compleja 59
. . = c c = .c , ^
n n n ^ ^
esto es;
usando |e si c = 1 1 r[ < r [r[ < 1
^ ^ . r 2 .
.
( )
se tiene
|c 1 n[ = n < [ n[
^ ^ n 2 .
.
^ ^ ^
| |
o sea
| | | |
( )
1 n n
. . .
+
< [ n[
^ ^
^ ^
^
por consiguiente esto es, . lim log
^
^
^
.0
n 1 1
. . .
/
= .. =
j
( )
Tenemos por otra parte
1 1
. .1 1
:=0
:1 : :1
:
= = 1 . 1 , o = 1
( )
_
( ) ( ) ( )
log.. = dt = 1 t 1 dt = 1
_ _
( ) ( ) ( )
1 1
. .
1
t :1
:=0 :=0
:1 : :1 .1 ( )
:1
de donde si = 1 c = 0, c = : = 0
_
( )
:=1
: .1 1
: :
0 :
( ) ( )
: :
.
( ) ( )
| | | | | |
+ n n 1 n 1
. . [.[ . [.[
[ n[ , 1 [ n[ < ^ ^
^ ^ ^
^ ^ ^
esto es es acotado y adems ; .
| |
^
^
n
.
^n 0
.
47.Calcular
( )
0
dr
1r
:
: = 2, 8, 4, .
SOLUCIN:Sea el nico punto singular de en el interior del ) . = , ) ( )
1
1.
:
contorno es y el residuo de en es; C . = = c ) c c
i:
lim lim
. .
1 . 1 1
. 1 . . : :
i:
c c
c
c c c
( ) . = = = c c
: :1 :1 :1
( )( )
Adems se tiene
( ) ( )
i ) . d. 0 1 : _ 2 cuando , ya que
1
( ) ( )
ii ) . d. dr 1 cuando
0 0
1
1r
:
( ) ( )
iii ) . = c dt c dt
10 1 0
0
1 1
1tc
2 i: 2 i:
1t
2 i: : :
De y se sigue que o sea que ( ) ( ) ( )
j
i , ii iii 1 c dt = c ,
2 i: i:
0
1 1
1t :
:
dt
1t
:
:
:
=
sin
j
[:[ i: t i ( ) o o
= =
1:
12: t : 1r j 2r .t2j .t
1 r j
2
2 2 2
2 2
cos cos sin ( )
( )
o
Dejamos al cibernauta interesado el comprobar que esta funcin es
armnica.
Enfoquemos otro punto de vista para mostrar la afirmacin, as
1 t = : c 1
:
:=
[:[ i: t
( ) ( )
_
o
( ) o
: c = :c c = r ij c
: i: t i i:t i:t
:
:
( ) o o
j
( )
esta tima funcin es armnica ya que:
0 0
0r 0j
: :
2 2
2 2
( ) ( ) r ij r ij =
: : 1 r ij : : 1 i r ij = 0 : _ 2 ( )( ) ( ) ( ) ( )
:2 :2
2
Daro Snchez H Variable Compleja 63
Si evidentemente es armnica. : = 0, 1 r ij ( )
:
Lo mismo para:
. : c = c r ij
: i: t i:t
:
( ) o
( )
Ahora por un resultado bsico cul? , es armnica. ( ) ( ) 1 t
:
o
. 1 :c = 1[d [ = 1 t d t
j
( ) ( )
i 1
2
:
o
j o j
Las derivadas parciales de (con respecto a , y con respecto a 1 t r j)
:
( ) o
son continuas en donde es cualquier compacto en y 1 [ , [ 1 l, j
es una medida finita en se puede intercambiar ( ) y T
0 0
0r 0j
( ) ( )
1 t d t o j , esto es,
0 1 0 1 1
0r 0j 2 0r 0j
0 1 t 0 1 t
2 2
2 2 2 2
2 2
: :
= d t = 0,
o o
_ _ ( )
( ) ( )
j
o sea que es armnica en . 1 l
2
( )
donde quiera que . 1 o: : ( ) !
SOLUCIN:( ) i n o , : es continua en : Sea si es suficientemente ! !
pequeo, tenemos que para todo de alguna vecindad de . 1 /: : / o ( ) !
|n / n o [ = nd r, j nd r, j _ [n[d r, j 0 ( ) ( ) ( ) ( ) ( )
_ _ _ _
( )
1 1
: :
1 o:: 1 /:: 1
2 2
( ) ( )
/ o
donde , siendo la diferencia simtrica 1 = 1 o: : 1 /: : ( ) ( ) ^ ^
Dado que
es integrable localmente
_
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) : 1 o: : 1 /: : ' 1 /: : 1 o: : 0 / o
[n[
se sigue que | lim
/o
n / n o [ = 0 ( ) ( )
( ) ii En coordenadas polares se tiene
. n o = n o tc d tdt ( )
j
1
: 0
:
i
o
2
o
Denotando entonces
j
( )
o
n o tc d = q t o
. : n o = q t t dt
2
0
:
( ) ( )
o
o
Por un resultado bsico cul? se tiene que es armnica. ( ) n
2
2
cos( )
j
1 = n 0 = d t ( ) ( )
1
2
j
. n = d t
j
( )
1 1 8
2 2 4 t
cos( )
j
Por el teorema del valor medio existe tal que t [ . [
0
n = d t =
j
( )
1 1 8 8
2 2 4 .t 4 .t
cos cos
0 0
j
Si el mximo es . Si el mnimo es t = 0, 8 t =
0 0
1
8
Luego
1 1
8 2
_ n _ 8
j
( ) / Sea ahora
) . = n c dt i , ( ) ( )
1 c .
2 c .
it
0
it
it
) 0 = 0 = n c dt i ( ) ( )
1
2
it
0
Luego = 0, n c dt = 0
0
1
2
it
( )
Entonces ) :c = n c dt
j
( )
i it 1
2 1: c: t
1: 2:i t
o
o
o ( ) ( )
( )
2
2
sin
cos
= n :c n c dt
j
( )
i it :i
t
1: 2: t
o
o
o sin
cos
( )
( )
2
[ ) :c [ _ dt = dr = La parte imaginaria de
j
i : 2: .r
0
[ t [
1: 2: t 1: 2: .r
o
o
o sin
cos cos
sin
( )
( )
2 2
= 1 : 2: .r =
1 2 1: 2
0
1:
log
1
2
' ( ) ( )
) ) ) )
c c !
Existe un arco por hiptesis es una regin , sobre este arco . /
0 )
( ) !
tomemos para algn , tales que . , . , ., . :
1 2 :
. 1 . : : , 1 . : 2: , ) = 0, 1, 2, 8, ., :
)
( ) ( )
)1 )1 )1 )1
!
Aplicando la parte del problema 53: ( ) o
luego,
_
j
_
_
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
1
8
0 1 0
1
8
1 2 1
1
8
:1 : :1
1
8
: ) :
n .
8
n . _ n . _ 8n .
n . _ n . _ 8n .
.
n . _ n . _ 8n .
n . _ n / _ 8n .
( )
0
:1
_ n / _ 8 n . ( ) ( )
) 0
:1
Como finito , existen tales que ) = 1, 2, 8, ., , ( ) c u
para todo
para todo
c u n . _ n . _ n .
. 1
n
( ) ( ) ( )
_ 0 0
Si , de la desigualdad anterior: n . 0 :
: 0
( ) ( )
uniformemente en cualquier conjunto compacto contenido en . n . 0 ( ) !
Si se tiene: . n . : , n . , \.
: 0
( ) ( ) ( ) !
Si la funcin armnica no es positiva, no se tiene la desigualdad anterior n
(o sea que la desigualdad del problema 53 no es vlida) luego ( ) o
n . 0 n . 0
: 0 :
( ) ( ) no implica que
Por ejemplo n r, j = 1 r, . = 0 i0 = 0.
: 0
:
( ) ( )
n . = 0 0 :
: 0
( ) ( )
pero no converge si . n r, j = 1 r r = 0
:
:
( ) ( )
2
2
cos( )
j
Tambin se conoce la frmula siguiente
1 :c = 1 t d t 0 _ : < 1 = 1 :c = 1
j j
( ) ( ) ( ) ( )( )
i i 1
2
:
:1
o o
-
o j j o lim
as si . lim
:1
i
n :c = 1 = 0 = 0
j
( )( )
o
j o o
Luego:
n :c = 0 n 0
j
( ) ( ) ( )
i 1 1:
2 1: 2: .
o
o
2
2
cos
j
donde = C1 C = 0 0 .
:
( ) ( ) ( ) o j j
o
n :c d < o
Pero:
n :: = : = : = ( )
j
_ _
( o 7 7
1. 1: 2: .
1. 1: 2: .
2
4: 1: .
1: 2: .
2
2
2
2
2
sin
cos
sin
cos
o
o
o
o
( )
( )
| | j
( ) ( )
0
i 2 2 . 1 1
1: 2: . 1: 1:
o o
o
n :c d = 8: 1 : d = 4 1 : o o
sin
cos ( ) ( ) ( )
2
2 2 2
cuando . Como una medida en es la diferencia de dos : - T ( )
medidas positivas, no es diferencia de dos funciones armnicas n
positivas.
o j
Entonces
( )( ) ( )
j j j
1j o j o _ 1 :c _ 1 :c _ 1
: 1
: 1
liminf limsup
i i o o
para cada , y o
lim
:1
i
1 :c = 1
j
( )( )
o
j o
existe y es finita para casi todo con respecto a la medida de Lebesgue . o ( )
Segn este ltimo resultado se tiene que
cuando para algn . n :c : 1
j
io
o
2
2
cos( )
j j
y
1 = n 0 = d t 1 ( ) ( ) ( )
1
2
j
Si
. n = 1 t d t , n = 1 t d t
1 : 1 2 : 2
1 1
2 2
( ) ( ) ( ) ( ) o j o j
Tenemos para todo ` 0, 1 : ( )
( ) ( ) ( ) ( ) ( )
1 n n = 1 t d 1 t t ` ` o ` j `j
1 2 : 1 2
1
2
( ) ( ) ( ) ( ) d 1 t t = 1 = 1 ` j `j ` `
esto es
. ( ) 1 ` j `j 1
1 2
Sea la familia de todas las medidas positivas en que satisfacen la 1
+
T
condicin . Evidentemente es convexo, y es punto extremo si ( ) 1 n 1 1
+
y slo si la correspondiente medida es punto extremo de . j 1
+
Sea un punto extremo de . Suponemos que el soporte de contiene j 1 j
+
dos puntos diferentes, digamos . Sea cualquier ngulo o o o o o
1 2 1 2
, < ( )
0
entre y se define: o o
1
2
,
, ,
si
si si
si
j o j o
j o o o
j o o o j o o o
j o o o
1 2
0 0
0 0
( ) ( )
_ _
( )
( ) ( )
( )
= =
<
_ _
<
0
0
Daro Snchez H Variable Compleja 68
si
c = d = d , c = d = d
1 1 2 2
1 1 1 1
2 2 2 2 o
o
j j j j
0
0
entonces .
1 1
c c
2 1 2
+
1 2
1
j j 1 , , c c = 1
Tenemos
, j j j j j = = c c
1 2 1 1 2 2
1 1
c c
( (
1 2
luego no es un punto extremo de absurdo. j 1
+
( ) -
Esto es, es un punto extremo de si y slo si el soporte de contiene j 1 j
+
un solo punto.
o o
1 :c ) :c d = 0 o
SOLUCIN: Ntese que implica que ya que ) T ) T T = [ , [. / /
p 1
( ) ( )
1 :c = 1 t ) t dt = ) t 1 t dt 1 t _ 0
j
( ) ( ) ( ) ( ) ( ) ( )
i 1 1
2 2
: : :
o
o o
luego ( ver desigualdad de Jensen)
| | j
( ) ( ) 1 :c _ [) t [ 1 t dt
i p
p
1
2
:
o
o
Entonces, para cada tenemos ver teorema de Fubini : : < 1 ( )
| | j
( ) ( ) ( )
i p
p
1
2
: p
p
o
1 :c d _ [) t [ 1 t dt = |)| o o
Se conoce el siguiente resultado: Si y , entonces ) T 1 = [)[ /
1
( )
lim
:1
i i
1 :c = ) c o.c
j j
o o
Luego podemos afirmar que casi en toda parte 1 :c ) c : 1
j j
( ) ( )
i i o o
En esta formapor convergencia dominada |1| |)| : 1
p p
( )
Por el teorema de Egoroff se tiene que
. |1 )| 0 : 1
p
( )
1
2 i t. o
/ t
,( )
Mostrar que
lim
c0
[) r i ) r i [ 0 ( ) ( ) ( ) c c c
existe para cada real y hllelo en trminos de . r, ,
Cmo se afecta el resultado si suponemos solamente que ? , /
1
Qu le pasa entonces al punto cuando tiene lmite por la derecha y r ,
por la izquierda?.
SOLUCIN: Por hiptesis, , entonces ) . = dt . y 1 ( ) ( )
1
2 i t. o
/ t
,( )
) r i ) r i = ( ) ( )
c c
c
,
c
o
/ t
tr
( )
( )
2
2
( ) 1 r y [o, /[ d = r 1 Si , sea distancia entre y el intervalo entonces
| ) r i ) r i [ _ [ t [dt 0 0 ( ) ( ) ( ) ( )
c c , c
c
1
d o
/
2
( ) 2 r [o, /[ Si , se tiene
c c c
, , ,
c c c
c
c
o o r
r r r t t t
tr tr tr
( ) ( ) ( )
( ) ( ) ( )
2 2 2
2 2 2
dt = dt dt
para todo fijo se tiene c
.
c
c ,
c
( )
o
r t
tr
( )
( )
2
2
dt 0 0 c
Si
,( ) ( ) ( ) t t r 1
entonces
c c c
c c c
, ,
c c c
r r r
r r r t t
tr tr tr
( ) ( )
( ) ( ) ( )
2 2 2
2 2 2
dt = dt dt
Pero
c c c
c c c c
c
( )
r
r 0
tr
j 2
( )
2
2
2 2
dt = dj = 0 arctan c
para fijo. c
De , dado existe tal que . ( ) ( ) 1 0 _ r t _ = [ t [ < c c c , c
0 0
Para este se tiene : c
| |
( )
c c
c c c
,
c
c
r
r 0 t
tr
0
dj
j 2
( )
( )
2
2
2 2
0
dt _ < 2 c
Por lo tanto
cuando . | |
,
c
c
o
r t
tr
2 2
( )
( )
2
2
0
dt _ 0 c
Como es cualquiera, c
0
lim
c
c
,
c
0
o
r t
tr
( )
( )
( )
2
2
dt = 8
De , si es continua en se tiene ( ) 8 r ,
Daro Snchez H Variable Compleja 70
si
si
lim
c
c
,
c
0
o
/ t
tr
_
( )
( )
( )
2
2
dt =
r r 1
0 r = 1
,
Si existen se tiene , , ( ) ( ) r , r
si
si
lim
c
c
,
c
0
o
/ t
tr
1
2
_
( ) ( ) ( )
( )
( )
2
2
dt =
r r r 1
0 r y 1
, ,
( ) ( ) ( ) 8 1 q t = , sea , tenemos , /
1 1
t
c
c
c
2 2
implica
( ) ( )
r
r
1
, , t dt < 2 q t < | |
c
c c
c
2 2
Ahora
casi para todo , lim
c
c
0
o
/
( ) ( ) ( ) ( ) q t r t dt = r r 1 , ,
esto es:
casi para todo . lim
c
c
,
c
0
o
/ t
tr
2
2
( ) ( )
( )
( )
dt = r r 1 ,
C
) . d. = 0 ) ( )
analtica en . La curva se divide en dos partes por el segmento ! C [o, /[
C = C C
1 2
donde est en el semiplano superior y esta en el semiplano inferior. C C
1 2
Por la continuidad de en y por ser analtica en se tiene que ) ) 1 ! !
( )
C
= = 0, ) . d. = 0.
1
C
C
2
luego
Evidentemente puede ser reemplazado por cualquier "arco sencillo 1
rectificable" contenido en . !
`
`
2
rt
2
2
( )
`
`
` 2
2
rt
1
ri t
( )
( )
= : = 0 7 ` _ _ es armnica si , luego
( )
rt
`
`
2
2
( )
) t dt
es armnica si , ya que es la parte imaginaria de una funcin ` = 0
analtica.
( )
) t ) t
.t ri t
( ) ( )
( )
dt = dt = 0 .
`
`
Ntese que garantiza la convergencia uniforme de la integral ) /
1
impropia anterior.
it
it
Como converge, y converge uniformemente en se tiene que n l
: :
) . 1 0,
:
1
2
( )
j
converge uniformemente en .
Ntese que si es un campacto contenido en , existe un nmero finito 1 !
de bolas, que recubren a y tales que 1 o : , ) = 1, 2, ., 1 1 o : ( ( )
) ) )
2
c
)
c !
( ) ) = 1, 2, 8, . .
1
)d , j
donde es una medida de Borel en un segmento de la recta real. j 1
Establezca tal teorema y prubelo.
SOLUCIN:Sea una funcin derivable, una medida de Borel en ) 1 = [o, /[ j
Daro Snchez H Variable Compleja 72
Sea , caculemos la integral doble: 1 = , t o < t < , o < < / ( )
1 = ) dd t
1
( ) ( )
/
j
1 = ) d d t = ) / ) t d t = ) / o, / ) t d t
_ _ ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
o t o o
/ / / /
/
j j j j
Tambin
1 = d t ) d = o, ) d
]
( ) ( ) ( ) ( )
o o o
/ /
/ /
j j
Luego
( ) ( ) ( ) ( ) ( ) ( )
o o
/ /
/
j j j o, ) d ) t d t = ) / o, /
El truco utilizado para reducir la frmula es la integral por partes.
) 0 = 0 ( ) . Entonces
[) . [ _ [.[ . l 1 ( ) ( ) ( )
[) 0 [ _ 1: 2
/
( ) ( )
si igualmente se tiene en para un o si se tiene la igualdad ( ) 1 . l 0,
en entonces donde es una constante tal que ( ) ( ) [ [ 2 , ) . = ., = 1. ` ` `
Dar una prueba de este resultado que no requiera el conocimiento de que
) sea de valor acotado.
SOLUCIN:Como se tiene que es analtica en . Dado ) 0 = 0 q . = l ( ) ( )
) .
.
( )
. l : 1 : [.[ , para todo , tal que se tiene
[q . [ _ [q t [ = _
[t[ = : [t[ = :
( ) ( ) max max
[) t [
[t[ :
1
( )
Tomando lmite cuando se tiene : 1
| q . [ _ 1 = [) . [ _ [.[ 1 ( ) ( ) ( )
Como se tiene que ) 0 = q 0 [) 0 [ _ 1 2
/ /
( ) ( ) ( ) ( )
Si para algn o sea que alcanza a su [) . [ = [.[ . l 0 : [q . [ = 1, [q[ ( ) ( )
valor mximo en un punto interior de una regin por lo tanto es una q
constante . : q . = c = ) . = c. ( ) ( )
. l n y del plano
( )( )
j
) q n = ) i
1 n1
n1
es analtica en y se tiene . Si (ntese l [) q [ _ 1 ) q 0 = ) i =
1 1
( )( ) ( ) u
que | | , luego . Aplicando un resultado bsico Cul? se u u = 1 [ [ < 1) ( )
recibe . | | ( ) ( ) ) q 0 _ = 1 [ [
1 2
/ 1[ [
1
u
2
u
Pero
( )( ) ( ) ( )
j
) q 0 = ) i i = 2i) i
1 / / n1
n1
/
n=0
luego | . ) i [ _
/
1[ [
2
( )
u
2
2
0
ya que : : :
c u
c u u c cos
2
( ) ( )
esto es, | . ) . / . [ 0 : ( ) ( ) ( )
c
Luego existe tal que :
0
implica | . [.[ _ : , . ) . / . [ _ 1
0
H ( ) ( )
c
| en ya que su valor en la frontera es menor ) . / . [ _ 1 [.[ < : , . ( ) ( )
c 0
H
( ) ( ) ( ) o igual que luego | si . 1, ) . / . [ _ 1 .
c
H
Tomando lmite cuando c 0
si . [) . [ _ 1 . ( ) H
( ) ( ) 2 ) . = c : Si tenemos Ejemplo
.
| , para todo real ) . [ = c _ c ) ij = c = 1 j ( ) ( )
1c . [.[ ij
) ) [) . [ _ 1. es continua en . Pero no satisface la desigualdad: H ( )
( ) 8 Consideremos la regin indicada en la figura
Daro Snchez H Variable Compleja 76
1 = .. = :c , < <
i
0 0
o
o o o
Sea donde . Por el procedimiente : . = c 1 < <
c
c
( )
j
.
2
0
u
u o
seguido en se obtiene un resultado similar con la condicin ms ( ) 1
amplia : . c _ 1
1
1t
( ) ( ) ( ) ( ) ii t = t [0, 1) ) t = c 0 t 1 Si se tiene cuando .
2 2
1
1t
1
1t
( ) ( ) ( ) ( ) iii c t 1 [ t [ t 1 Si y
( ) t
( ) ( ) /
2
0 1 (por la desigualdad de essel), pero cada una de estas funciones
tienen norma . 1
( ) o | | Probar que debe ser acotada si converge dbilmente. A A
: :
( ) / A Supngase que es un espacio de Banach separable y es una A
:
sucesin en tal que es acotada. Probar que contiene una A | |
+
: :
A A
subsucesin convergente dbilmente.
SOLUCIN:( ) o Sin perder generalidad suponemos que
dbilmente 0 1
n
:
( ) ( )
Supongamos que
| | 2
:
( )
Por definicin de la norma en existe tal que A , o A
+
:
< , o | | 1, |o | = 1
: : : :
De , se puede escoger una subsucesin de para mayor sencillez ( ) 1 ,
:
la notamos nuevamente , tal que
:
si [ < , o [ < 1, / = 1, 2, ., : 1 1
: /
/
( )
De se puede suponer ( ) 2 :
| | 4, | | 4| | 2
1 :1 :
/
( )
Sea r = o
_
:=1
1
| |
:
:
entonces ya que . r A |o | = 1, < = <
:
:=1 :=1
1 1 1
| | 4 8
_ _
:
:
Tenemos:
Daro Snchez H Variable Compleja 80
. < , r = < , o < , o < , o
: : / : : / /
/=1 /=:1
:1
1 1 1
| | | | | |
_ _
/ : /
Pero
1 1
| | | | 4
: :
| |1
: :
:
:
< , o 1 ,
_ _
/=1 /=1
:1 :1
1 1 1
| | 8
: /
4
/
/
< , o ,
_ _
_ _ _
/=:1 /=:1
1 1 1
| | | | 4 8
: /
| |
)=1
/ /
:
)
< , o _ =
luego
[ < , r [ 1 =
:
1 1 1 1 1
4 8 8 8 4
j
: :
O sea que no converge a lo cual es contradictorio. < , r 0 -
:
( )
( ) / | | _ ` : Suponemos que para todo , demostremos que existe una
:
subsucesin de que converge dbilmente.
:
Como es separable, existe un conjunto medible denso en . La A r A
/
sucesin es acotada, luego existe una subsucesin < , r
: 1
convergente:
converge, . < , r
1,: 1 1,: :
La sucesin es acotada, luego existe tal que < , r
1,: 2 2,: 1,:
< , r
2,: 2
converge. As sucesivamente:
,
: 1,: 2,: /,:
converge cuando . < , r :
/,: /
Sea entonces por la construccin anterior: 1 =
: :,:
converge cuando , < 1 , r : \/
: /
( )
. 1
: :
Sea un punto cualquiera de , dado existe tal que r A 0 r c
/
|r r | < 4` 8
/
c ( )
Si son suficientemente grandes tenemos condicin de Cauchy : :, : ( )
[ < 1 , r < 1 , r [ < 2 4
: : : /
c ( )
De y se tiene: ( ) ( ) 8 4
[ < 1 , r < 1 , r [ < ,
: :
c
esto es, converge , para todo . Se define < 1 , r : r A
:
( )
A < , r = < 1 , r
+
:
:
como sigue: . lim
Evidentemente, y dbilmente. A 1
n
*
:
0 0 0
siempre, se identifica y ; dada podemos escribir C ! C + ) :
2
-
) : , ) : + +
! C C ! - - ,o indiferentemente.
2 2
Ahora hay distincin entre como -diferenciable o considerada como ) ) C
+-diferenciable, y esto parece no estar bien claro para algunos
(
\ .
\ =. [.. [< . \
j
_
_
- ( )
( ) ( ) ( ) ( ) ( )
2 2
0 0 0 0
r,j 0,0
r,j
lineal real tal que para
con
H
lim
( ) ( )
( ) \
H( ) r, j = 0
si y slo si
=
T : + +
= 0
_
j
_
_
-
2 2
r,j 0,0
r,j \
) r r,j j ) r ,j T r,j
[ r,j [
lineal real tal que
si y slo si lim
( ) ( )
( )
( ) ( ) ( )
( )
0 0 0 0
= 2
T : + +
= 0
_
_
j
_
_
_
-
( )
2 2
/0
/\
) . / ) . T/
[/[
lineal real tal que
lim
( ) ( )
0 0
Tomando esto es son las componentes de , ) = n, , n, : + + ) ( ) -
tenemos que la matriz Jacobiana de en es ) .
0
J) . =
. .
. .
( )
_ _
( ) ( )
( ) ( )
0
0n 0n
0r 0j
0 0
0 0
0r 0j
0 0
esto es, en la base cannica. [T[ = J) . ( )
0
Comparando y vemos que son exactamente las "condiciones de ( ) ( ) 1 2
Cauchy-Riemann" que permiten el paso de a siempre implica ( ) ( ) ( ) 2 1 ( 1
Daro Snchez H Variable Compleja 82
( ) - 2 , ) : como es claro). Resumiendo, tenemos: es -diferenciable en ! C C
. c = 0
0
/0
/\
) . / ) . c/
[/[
si y slo si tal que si y slo si ( ) C lim
( ) ( )
0 0
=
T : + +
= 0
. = . , . , . = .
_
j
_
_
-
( ) ( ) ( ) ( )
2 2
/0
/\
) . / ) . T/
[/[
0n 0 0n 0
0r 0j 0n 0r
0 0 0
lineal real tal que
y vale
lim
( ) ( )
0 0
0
si y slo si
=
) + .
_ _
es -diferenciable en , y valen
las condiciones de Cauchy-Riemann
0
As se puede afirmar:
es -diferenciable en y son -diferenciables en . ) + . = n + .
0 0
:
.
convergencia.
SOLUCIN:Sea ; . Supongamos que converge 1 = . [.[ < 1 . C
_
:=0
:
uniformemente en . Entonces dado existe tal que , 1 = \: _
j
c N
1
4
\. 1
.
_
/=0
:
/ 1 1
1. 4
. <
En particular, existe tal que tenemos \. 1 N
[.[ = [. [ = 1 . . 1 < <
1 1 /
/=0
[1.[
4 2
1
( )
_
lo cual es imposible ( pues es continua en por ejemplo) ( ) - . [.[ 1,
1
:
:
j N ( ) ( ) o = 1 : = o o o , t = . . Para sea y,
: 0 2 : : 0 1 :
1
:1
Tomando , y, mostrar que A = A 1 A = t A , ( ) ( )
_ _
:=0 :=0
: :
: :
( ) ( ) ( ) o = 1 = 1: j j
( ) ( ) ( ) / \. [.[ = 1, . = o . con C
1
1.
SOLUCIN:Sea . Tenemos que y . C A = A C = 1 C . = . = ( ) ( ) ( )
_ _
:=0 :=0
: : 1
1.
j
Adems , pues; C r o A = A ( ) ( ) ( )
C A o A = A o A = o A = o A = A ( ) ( ) ( )
_ __ _ _ _
_ _ _ _ _
:=0 :=0 :=0 :=0
:
: : : :
: / :
/=0
1)
Luego por un resultado bsico cul? pues . Sea ( ) ( ) ( ) ( ) j j j _ 1, C = o = 1
1 A = 1 A, C A 1 A = 1 ( ) ( ) ( ) se tiene . Luego
o A = 1 A A ( ) ( ) ( )
Daro Snchez H Variable Compleja 83
Pero ; si entonces lo cual es falso. j j j ( ) ( ) ( ) 1 = _ 1 o _ 1,
0 0
Luego y se tiene j( ) ( ) = 1 /
Sean y . Por el mismo argumento t = \ A = t A \ = 1
: / :
/=0
:=0
:
_ _
( ) ( ) j
pues ya sabemos que . Luego donde j j ( ) ( )
= 1 n = 1
.
_ _
( ) n = A = t A = A1 A
:=0 :=0
t
:1
:1 :1
:
:
Pero esto implica que . j j ( ) ( ) ( ) A1 A = 1 1 = 1
83.Mostrar que , \. c = 1 C
.
:
.
:
:
lim
j
SOLUCIN: Dado que
j j j j _
1 = 1 . 1 1 1
. 1 2 /1 .
: : : : /!
:
/=2
:
/
mostremos que lim
/
.
:
:
.
j
1 = c , . . C
Sean y dado. Sea tal que y . . 0 _ 2 < C c N
1 1
/= 1
[.[
/! 8
_
1
/
c
Pero para la funcin definida por p 2, 8, ., , : + +
1 p
p1
-
p 1 p1 1 2 p1
( ) ( )( ) ( ) r , ., r = 1 1 r 1 r 1 r
es continua y . Como cuando para
p
/
:
( ) 0 = 0 0 : ,
/ 1, 2, , ., p 1 \: _ tenemos que existe tal que tenemos
p p
N
- 1 1 1 1 <
j j j
1 2
: : :
p1
8 c 1[.[
c
( )
[.[
pues > . Sea c 1 [.[ =
[.[
1 p
max
2 _ p _
1
Sea arbitrario tal que . Entonces y , : : : _ : _ N
1 p
max
2 _ p _
1
obtenindose;
| | j j
_ _
_ _
c 1 = 1 . 1 =
. . . . .
: /! /! :
: :
/=:1 /=2
:
/ /
= 1 1 1 1 _
_ _
_ _ ] j j j
/=:1 /=2
:
. 1 2 /1 .
/! : : : /!
/ /
_ 1 1 1
_ _ ] j j
/=:1 /=2
[.[ [.[
/! : : /!
1 /1
/ /
1
1 1 1
_ ] j j
/= 1
:
1 /1
: : /!
[.[
1
/
_
_ _ _
/= 1 /=2 /= 1
:
[.[ [.[ [.[
/! /! /!
8 c 1[.[
1 1
/ / /
1
[.[
c
( )
. _ _ =
2 2
8 /! 8 8 c 1[.[ 8 c 1[.[
p=2
[.[ c 1[.[
c c c
c
( ) ( )
j
[.[ [.[
1
/ [.[
_
c
! C ! C ! -
existen y tal que y j C j j ( ) ( ) ( ) ( ) . 0 o A [[A[[ o _ .
. .
j ! 1 ., . . ) = o . ( ) ( ) ( ) ( )
.
La definicin de que sea analtica en no especifica el mdulo de ; ) . . j( )
pero vemos que existe un mximo. Sea
j j ( ) _ _ ( . = 0
1)
sup
1 .,
1 ., ) =o .
( )
( ) ( ) ( )
j !
j
y
.
Tenemos
0 < . _ . _ d ., , o. j j C ! j ( ) ( ) ( ) ( ) min
(con la frmula integral de Cauchy es posible verificar que
0 < . = d ., _ o j C ! j ( ) ( ) ( )
/
).
Para obtener la serie del desarrollo de en rededor de en o A ) /
/
( ) !
funcin de la serie del desarrollo de en rededor de un punto ) o , !
tenemos por un resultado bsico cul? , para el caso en el que ( )
/ 1 o, o A [[A[[ ( ) ( )
_
j C . Se tiene: La serie tiene radio de
:=0
o /o
:!
: o
: ( )
( )
convergencia y para tenemos _ o [/ o[ 1 /, o [/ o[ j j ( ) ( ) ( )
) = / ( ) ( )
_
:=0
o /o
:!
:
o
: ( )
( )
esto es (por la unicidad del desarrollo en serie)
. o A = /
p
:=0
o /o
:!
:
( ) ( )
_
o
: ( )
( )
Supongamos ahora que es arbitrario, pero que es un / : [0, 1[ ! C -
camino simple tal que . Es claro que, por la compacidad ( ) ( ) 0 = o , 1 = /
de | |, podemos extraer del recubrimiento un j 1 ., . ( ) ( )
.[ [
subrecubrimiento finito de tal que . El [ [: 1 . , . . = o , . = / j ( ) ( )
i i 0 :
i=0
:
problema es que apenas hemos obtenido, necesariamente,
. 1 . .
i1 , i
( ) ( )
i
j . Para que esto valga, es suficiente que los radios
mximos , | | tengan un nfimo positivo. (De hecho, si j ( ) . .
j j ( ) . _ 0 .
0
para | | entonces basta tomar un subrecubrimiento finito
de para obtener
] j j
( ) 1 ., [. . [ _ 2 < _ .
1 1
8 8
0 i1 i 0 0 i
.[ [
j j j j
!
j j ( ) ( ) = . . +
1)
inf
puede ser nulo, pero si es compacto tenemos que . En 1 1 0
! j( )
otras palabras :
LEMA: Dado un conjunto compacto, existe tal que 1 = 1 0
! j j( )
para todo se tiene . 1
Daro Snchez H Variable Compleja 85
j 1 ., ) = o . ( ) ( ) ( )
.
En particular, y . j C ! j j ( ) ( ) ( ) ( ) 1 _ d 1, o . 1 _ 1 0 inf
/
Demostremos el lema: Supongamos que . Dado existe j Z ( ) 1 = 0 :
. 1 0 < . <
: :
1
:
tal que . j( )
Por la compacidad de podemos suponer, sin perder generalidad, que 1
existe tal que . . 1 . .
0 : 0
Sean tal que y tal que : : _ : = [. . [ <
0 0 : 0
.
2
Z Z
j( )
0
_ : . _ . . 1 . , .
0 0 0 0
1 1
2
j j ( ) ( ) ( ) . Como tenemos
,
1 1 1
2
0 0 0
. _ . [. . [ _ . _ - j j j ( ) ( ) ( ) ( )
lo cual es imposible
(Con la frmula integral de Cauchy se podr verificar directamente que
j C ! ( ) ( ) 1 = d 1, 0 ).
En el caso, como es compacto, existe tal que [ [ [ [ = 0
! j j ( )
j j ( ) . _ 0 . [ [ 0 = t < t < < t = 1 para y obtenemos tales que
0 1 :
| | con y . j j j 1 . , . , . = t , , . 1 . , 1 . , .
'
i = 0
:
( ) ( ) ( ) ( ) ( ) ( )
i i i i i1 i i i
Entonces
o A = A
.
:=0
o . .
:!
:
i1
.
i
:
i1 i
( )
_
( )
( )
o sea, es obtenido en funcin de . Como los son en o A o A .
. . i
i1 i
( ) ( )
nmero finito, es claro que podemos obtener en funcin o A = o A
/ .
( ) ( )
:
de . o A = o A
o .
( ) ( )
0
.
En el ejercicio propuesto, = con conjunto abierto conexo ! ! ! ! C
1 2 i
'
:
:
respectivamente por las frmulas
si o = 0, o = 1: o = o o , : _ 2
0 1 : :1 :2
c u
donde . c u , +
( ) ( ) o : _ 1 , [o [ _ 2c c = [ [, [ [, Mostrar que para , donde .
:
:1
1
2
max c u
Deducir que j( ) o = 0
( ) ( ) ( ) / [.[ < o o . = Muestre que para , j
.
1 . . c u
2
( ) ( ) c . , . . . 1 = 0 / Sean los ceros de la ecuacin . Usar para
1 2
2
u c
mostrar que los pueden ser expresados en trminos de , y deducir o . .
: 1 2
Daro Snchez H Variable Compleja 86
que Sea una serie formal, cuyos j( ) ( )
_
o o r = o r = [. [, [. [ min
1 2
.
:=0
:
:
coeficientes estn definidos respectivamente por las frmulas
si o = 0, o = 1: o = o o , : _ 2
0 1 : :1 :2
c u
donde . c u , +
SOLUCIN:( ) ( ) o , + o r = Sean arbitrarios y la serie c u
_
:=0
:
:
o r [[r[[ C
formal dada por para . o = 0, o = 1, o = o o : _ 2
0 1 : :1 :2
c u
Sea . Entonces y . Tenemos c = [ [, [ [, c 0 2c _ 1
1)
max
]
c u
1
2
| ; supongamos que para , entonces o [ = 0 _ = 2c [o [ _ 2c / < :
0 /
1
2c
1 /1
( ) ( )
tenemos que
[o [ _ [ [[o [ [ [[o [ _ c 2c c 2c _ c 4c 2c = 2c
: :1 :2
:8 :8
c u ( )( ) ( )( ) ( ) ( )
:1
Luego | para . o [ _ 2c :
:
:1
( ) N
Como tenemos 0 _ [o [ _ 2c = 2c = 2c,
: :
limsup limsup lim
:
1
:
:1
:
1
:
( ) ( )
:
1
. j( ) ( o = [o [ _ 0
:
limsup
:
1
1
2c
1
:
( ) ( )
_
/ l r = / r Sea la serie dada para
:
:
, y . / = 1 / = , / = / = 0, : _ 8
0 1 2 :
c u
Tenemos y pues j C ( ) ( ) ( ) l = o r l r = r = [[r[[
y o / = 0, o / o / = 1 0 = 1
0 0 1 0 0 1
.
_ _
/=0 /=0
: 2
:/ / :/ / : :1 :2 : :
o / = o / = o o o = o o = 0 c u
Como tenemos, para j j j j ( ) ( ) ( ) ( ) ( ) ( ) l , o _ o [.[ < o , o . l . = .
Sea tal que . Si , entonces . l . = 0 [.[ < o C j ( ) ( )
0 = o . 0 = o . l . = . ( ) ( ) ( )
lo cual es imposible pues . Luego . ( ) ( ) ( ) ( ) - l 0 = 1 = 0 l . = 0 = [.[ _ o j
Tenemos entonces que
0 < o _ [.[l . = 0 j( ) ( ) min
En particular, , de modo que para [.[ < o = l . = 0 o . = j( ) ( ) ( )
.
1 . . c u
2
[.[ < o j( ).
( ) ( ) c . , . . . 1 = 0, i = 1, 2 . = 0 Sean tales que . Entonces y
1 2 i i i
2
C u c
tenemos . De con se sigue . . = 0 . . 1 = n . . . . n
1 2 1 2
2
u c C ( )( ) ( )
que y = . Entonces u c = n =
1
. . . .
. .
1 2 1 2
1 2
(
l . = [ . . 1[ = . . . . ( ) ( )( ) u c
2 1
. .
1 2
1 2
esto es, para tenemos [.[ < o j( )
o . = = . ( )
.
l . . . . .
. .
( )
1 2
1 2
Pero con es tal que y r = r o 0 = [o[ ( ) ( ) ( )
_
1)
:=0
1
o
:
:
C j
Daro Snchez H Variable Compleja 87
para . . = = = [.[ < o ( )
_j
:=0
. 1 o
o 1 o.
:
.
o
Adems es claro que
1 r = r r = r = r ( ) ( )
_ _
1)
:=0 :=1
1 1
o o
:1 :
: :1
y tal que y para . j( ) ( ) 1 = [o[ 1 . = . [.[ < o
o
o.
Entonces es claro que
_ _ _ _
( )
_ __ _
:=0 :=1 :=0 :=0
: :
: : : : 1 1
.
.
o r = o r = r r = c r
( )
( )
1
:1
2
:
donde y para de c = 0 c = 0 = : _ 1
0 :
1 1 1 1
.
/=1 /=1
:
. . . .
( )
( ) ( ) ( ) ( ) 2
:
1 2 1 2
/1 :/ /1 :/
_ _
donde se deduce que
.
_
_
_
_
o = 0
o = , : _ 1
0
:
/=1
:
1
. . ( ) ( )
1 2
/1 :/
Adems, , luego j j ( ) ( ) o _ [. [, [. [ o = [. [, [. [ min min
1 2 1 2
(Obsrvese que , implica que , de donde y c u + . = . [. [ = [. [
1 2 1 2
tenemos .) j( ) o = [. [ = [. [
1 2
( ) -
) : [ [ ) . d.
! C ! C --
( ) es continua en tenemos que es definido por
( ) ( )
) . d. = )d. )d. = n = )dr i) dj
1)
donde es una forma diferencial.
Como tenemos
+ / / / / /
( ) ( ) ( ) ( )( ) ( ) ( ) n = ) r i) j = ) r ij = )
1)
( ) ( )
) . d. = ) dt
o
/
/
C
2
it it
2it it
y , tenemos / t = ) t t = ) c ic = ( ) ( ) ( ) ( ) ( )
/ it it
i) c
c
( )
it
it
( ) ( )
)d. = /dt = /dt = dt = q t dt = qd.
0 0 0 0
2 2 2 2 i) c
c
/
C1o ( )
it
it
donde es dada por . Por definicin se sigue / : [o, /[ / t = / t - ( ) ( ) C
1)
( )
) . d. = )d. = qdt = d.
11
1)
) .
.
( )
2
Daro Snchez H Variable Compleja 88
OBS: Sea continua. Entonces / : [o, /[-C
o o
/ /
/dt = /dt
En efecto; tomando tenemos y / = / i/ / = / i/
1 2 1 2
o o o o o o
/ / / / / /
1 2 1 2
/dt = / dt i / dt = / dt i / dt = /dt
pues . , / dt +
o
/
i
( ) ( )
) . ) . d.
/
es imaginario puro.
SOLUCIN:Sea un camino diferenciable en un abierto y ! ! C : [o, /[
-
sea analtica. Tomando tenemos y por lo ) : ) = n i ) = i ! C -
/ 0n 0
0r 0r
tanto es dada por q = )) :
1)
/
! C -
q = n i n = n i
j j
0n 0 0 0n
0r 0r 0r 0r
1)
de modo que tomando tenemos que = r ij
( ) ( )( ) ( ) ( ) q = n i r ij = n i
/ / /
1)
con y ecuacin de C-R n, : + n = n r j = ( ) = ! - ( ) ( )
/ /
= n r j r j = ( ) ( )
j j
( (
0n 0n 0 0
0r 0j 0r 0j
/ / / /
. = n n = n ( )( ) ( )( ) ( ) ( )
j j
/ / 2 2
1
2
/ /
Pero .
( )
qd. = q dt = ndt i dt + i+
o o o
/ / /
/
Lo cual implica que
1 c qd. = ndt = n dt dt (
j j
( ) ( )
o o o
/ / /
1 1
2 2
2 2
/ /
= n / n o / o = 0
1
2
2 2 2 2
]
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
pues luego ( ) ( ) o = / :
( ) ( )
) . ) . d. = qd. = 0 i dt
/
o
/ 1)
es un imaginario puro.
r r
lim
Segn esta afirmacin entonces dado existe entero tal que c 0, /
0
. c <
/
0
c
Tomando ahora el polinomio
j
c
( ) ( )
_
A = o 1 A o A
/ :
/ :
:=0
/ 1
0
0
0
tenemos
n o A A = / ( ) ( ) ( ) j
c 0
de donde
. d o, = c < ( ) j c
c
/
0
( )
_
d o 1[[A[[ o = o A Sea una sucesin de Cauchy, o sea si
: : :
i=0
i
i
entonces dado existe tal que tenemos c N 0, :, : _
d o , o = c < ( )
: :
n o o: ( )
:
c
Tomando la serie , donde . La definicin de los o = o A o = o o
_
:=0
: : : :
:
i
lim
i
es justificada por lo siguiente: tomando arbitrariamente grande en
n o o :, : o ( )
: : : i )i)o i
:
para la sucesin a partir de grande,
i
N
tiene todos los iguales, para , an que para , los pueden o : _ ) i o
: i :
i )
no ser iguales para , entonces, dado , existe tal que para : _ 0
i
c
: _
c < .
n o o ( )
: :
c
( ) ( ) - c : 1 1 , : n o = /
o
o
Como es lineal; es continua pues , o o
/
/
n o = / 1 c < c = c c ( )
/ / /1 /
y
( )
/ :
/=0
( ) ( ) ( ) ( ) ( ) ( ) ( )
_ _ _
(
donde
C = o d = 1 = = =
: / :/
/=0 /=0 /=0
: : : :
:=0
/ p1:/1 p:/2
:/ :/ :/ ! p2 !
p:/2 !
_ _ _ _ j j
( )
( ) ( )
= =
1 1
p2 ! :/ ! p2 ! :! 0!
/=0
:
p:/2 ! p:2 ! p2 !
( ) ( ) ( )
( ) ( ) ( )
_
_ _
= p 2 ! p 1 !
1
p2 ! 2! :2 ! :1 ! :!
p! p:4 ! p:8 ! p:2 !
( ) ( ) ( )
( ) ( ) ( )
_ _ ( ) ( )
=
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
p2 ! p1 p p1 p p:4 p1 p p:8 p1 p p:2
p2 ! 2! :2 ! :1 ! :!
_ _ ( ) 1 p 1
= = =
o ( )
j
p p1 p1: p p1 p:1 p1 !
:! :! p1 ! :
p:1 ( ) ( ) ( ) ( )( )
( )
Luego . o A = A
p
:_0
p:1
:
:
( )
_j
( ) ( ) ( ) ( ) c o A o A = o A
p p
o sea
_ _ _
o A o A = o A
: :
p : / p :
/
donde
o = o o =
:
p
/=0 /=0
: :
/ :/
p p/1 :/1
/ :/
_ _j j
y
o A = A
p
:_0
p:1
:
:
( )
_j
Comparando los coeficientes de se sigue que A
:
_j j j
/=0
:
p/1 :/1 p:1
/ :/ :
=
lo cual queriamos demostrar.
[.[
:!
_
:
Ahora
|c 1[ _ = [.[ [.[ = [.[ [.[ _ [.[ [.[ = [.[c
. :1 : : [.[
:=1 :=1 :=0 :=0
[.[
:! :! :1 ! :!
1 1 1
_ _ _ _
:
( )
0 sea
| . c 1[ _ c 1 _ [.[c
. [.[ [.[
r _ .r _ r r + 0 _ r _ sin
SOLUCIN:La funcin es entera y decrece de a en luego cos sin 1 0 [0, [
2
crece desde a en pues y 0 1 [0, [ r r = 1 = .r
2 dr
2 2 d .r
cos sin cos
sin
Tomando tenemos que ,( ) r = r .r sin
,
/
2
( ) r = 1 .r _ 0 \r [0, [ cos
entonces es creciente en . ,( ) r [0, [
2
Como entonces o sea de , , , ( ) ( ) ( ) 0 = 0 r _ 0 , \r [0, [ r = r .r _ 0
2
sin
donde sin.r _ r \r [0, [
2
Sea ahora , tomando su derivada tenemos ( ) r = .r r sin
2
/ 2
( ) r = .r cos
Se sabe que es una funcin biyectiva luego existe un cos : [0, [ [0, 1[
2
-
nico tal que entonces r 0, 1 .r = ,
0 0
2
( ) cos
si y si
/ /
0 0
( ) ( ) r _ 0 r [0, r [ r _ 0 r [r , 1[
Luego; crece en toma y decrece en ( ) r [0, r [ r [r , 1[
0 0 0
Como y tenemos que
/
2 2 2
2
( ) 0 = 1 = 1 0
( ) r = .r r _ 0, \r [0, [ sin
2
2
Luego
2
2
r _ .r \r [0, [ sin
Ahora
0 = [ or oij [ = or oj = oj = 0 . or = 2/ cos cos sinh ( )
2 2 2
2
o sea . j = 0 . r = /
2
o 2o
( ) iii . = : ij < o < ,
1
2
| |
(
( )
sin
sin
sin sin sinh
sin sin cos cos sin
si
.o.
. .
2 [ :o io [ :o oj
[ : ij [ [ : . ij : . ij[
=0
1
= = _
i
j j
j j j
( )
_______
o o
2 2
2 2 2
2 2 2
2 2
nh
sin cos
2
2
2
( )
j
oj
[ : .ij[
. =
cosh
cos
2
2
( ) oj
[ ij[
Como se tiene cosh cos . ij = ij
|cos cosh cosh ij[ = [ . j[ = j
2 2 2
de donde
| |
sin
sin cosh
cosh
.o.
. . . j
2
oj
_
( )
Ahora para se tiene . = r i :
j
1
2
=
| |
( )
( )
sin
sin
sin sin sinh sinh c
sin
sin sinh sinh
.o.
. .
2 ori : o or : o 1 : o
ri :
r : :
+
| | j j j j
| | j j
j j
1 1 1
2 2 2
2
1
2
2 1 1
2 2 2
2 2 2
2 2
= _ =
i
osh
sinh
2 1
2
2 1
2
j
j
: o
:
.
( )
j j
+ 2 2 2 1 1
2 2
sinh sin sinh : _ r :
.
Luego
| |
sin
sin
cosh
sinh
.o.
. .
2 : o
:
_
2 1
2
2 1
2
j
j
.
:
:
o A [ _ `A \A [0, 1[
De donde se obtiene la convergencia uniforme.
1
/
( )
( )
entero.
( ) 8 ) Si es holomorfa en un abierto conteniendo al disco unitario y
) . = . [.[ = 1 ) 0 = 0 ( ) ( )
8
siempre que , entonces .
Daro Snchez H Variable Compleja 97
SOLUCIN:( ) 1 ; pues en estas condiciones es holomorfa en Verdadero
)
)
/
l, 1 l abierto simplemente conexo. Luego existe holomorfa en tal que
1 =
/
)
)
/
y tenemos entonces que
(
c
)
/
1 c )) c
) )
c )) c 1 / 1 / 1
2 2
)
/
)
1 / 1
= = = 0
( ) ( )
Luego, donde es una constante. Hgase y
c
)
1 o
1
= c = c = c), c c = c
entonces y donde es holomorfa en ) = ) . = c 1 . o l.
c
c
1 . o
1
o
( ) ( )
( )
( ) - - 2 1 ) : q : 0 ; y holomorfa. Defnase por Verdadero ! ! C ! C
q = ) . = 0 o q ) . o ( ) ( ) ( ) .
1 1 1
.
. Como en entonces existe en y por un
resultado bsico cul? tenemos ( )
( ) ( ) ( ) ( )
o o )o )o
/ / / /
/
) .
) .
/ d
( )
( )
d. = q ) . ) . d. = q d = . .
.
.
Entonces es un nmero entero. 1 ) o = = d.
0
1 1 d 1
2 i 2 i ) .
) .
( )
.
.
)o o
/ /
/
( )
( )
( ) 8 ; por el teorema de Cauchy, se tiene Verdadero
y entonces ) . = d ( )
1
2 i .
)
( )
de donde ) 0 = d t = c ( ) ( )
1
2 i
)
it
( )
y entonces si , tenemos y . [ [ [.[ = 1 ) . = . ( )
8
Luego
) 0 = ) = d ( )
1 1
2 i 2 i o o
2
/ 1
8
lo que calculando da cero.
:
:
( ) ( ) ) q . = o 0 es entera . Entonces y como es un polo,
0
o
.
o
.
1 /
/
existe tal que , si y entonces o = 0 : _
:
y q . = o o . o . ) . = o o . o . ( ) ( )
0 1 0 1
1
es un polinomio. Tenemos an que
Daro Snchez H Variable Compleja 98
[) . [ [o [ [o [ [o [
[.[ . . [.[ [.[
o o o
. [.[
( )
: : :1 : :1
0 1
: :
0 1
= _
| |
y si entonces en todas partes aparece en el denominador y < :, .
entonces si , contradictorio al hecho de ser ,
[) . [ [) . [
[.[ [.[
( ) ( )
: :
0 [.[ - _ c ( )
entonces . _ :
( ( )
y entonces q . = d ( )
1
2 i . o
q
1
( )
q . = dt = dj ( )
1 1
2 i c . 2 c . 0 0
2 2 q c ic q c c
( ) ( )
it it it it
it it
Luego
. = c dt = 0 ( )
(
1
2 c . 0
2 q c c
1
( )
it it
it
pues la parte real de en , segn la hiptesis. Luego q c c = 0
it it
( )
. = 0, \. 1 0: 1 ( ) ( ), por prolongamiento analtico y por ser conexo, !
tenemos que . = 0, \. . ( ) !
Entonces y . Usando las condiciones ) . = n . ) . = n i . = n .
= 0
( ) ( ) ( ) ( ) ( )
~
/
r r r
de Cauchy-Riemann, se tiene
, luego n = = 0 ) . = 0, \.
r j
/
( ) !
Como es conexo, se sigue que es constante en . ! ! )
: :
:
C C
convergencia , entonces existe algn punto del crculo en el : 0 [.[ = :
cual la serie diverge.
( ) - 2 ) : Si es una funcin entera que nunca toma valores reales, C C
entonces es constante. )
( ) - 8 ) : 1, Si es holomorfa en un disco abierto entonces para todo C C
par existe tal que . . , . 1 . 1 ) . ) . = ) . . .
1 2 0 2 1 0 2 1
/
( ) ( ) ( ) ( )
SOLUCIN:( ) ( )
_
1 o 1 = = 1 La serie donde converge Falso;
:=1
.
: o
:
o
:
2
:
:1
lim
para todo tal que , pues ah la serie de valores absolutos queda . [.[ = 1
_ _
[.[
: : 2
1
:
2 2
= = .
Daro Snchez H Variable Compleja 99
( )
_
/ . . Por otro lado, la serie no converge en ningn punto tal que
:
[.[ = 1, [.[ = 0 [j[ = 1 pues deberiamos tener , lo cual es falso si . lim
:
:
( ) ( )
_
c 1 La serie converge en todos los puntos tales que
:1
.
:
:
[.[ = 1 = 1, . = 1 menos en , pues en este caso
_ _
( )
j
1 =
:1 1
: :
1
( )
:
.
( )
_
d . = 1 = 1 . = 1 = 1 Finalmente converge si y no converge en .
.
:
:
( ) ( ) ( ) ( ) 2 ) . = n . i . n = 0,
) . = ) 2 i = c .2 i .2 = 1 ( ) ( )
2
0
cos sin
) . = ) 0 = c .0 ic .0 = 1 ( ) ( )
0
0 0
cos sin
y entonces ) . ) . = 0 = . . ) . = 2 i c . ( ) ( ) ( ) ( )
2 1 2 1
/ .
.r
r r o 2o
o sin
( )
2 2 2
dr = 1 c
( ).
SOLUCIN:Se define ) . = ( )
c
. . o
i.
2 2
( )
Polos de con es slo ) . j 0 io ( )
1c ): io = . io = ( ) ( ) lim
.io
c c
. .io .io 2o
i. o
2
( )( )
Entonces
( ) ( )
01
o
2
) . d. = 2 i1c ): io = 2 i
c
2o
Por otro lado,
( ) ( ) ( ) ( )
01
ir ir
2 2 2 2
1
) . d. = ) . d. ) . d. 1
1 : :
1
c dr c dr
r r o r r o
c
c ( ) ( )
c
Usando el hecho de que . Entonces haciendo lim
c
c
( ) ( ) ) . d. = i1c ): 0
c 0 1 en se tiene ( )
2 i = i ) . d. 2
c c dr 1
2o r r o o 1 :
1
o ir
2 2 2 2
1
( ) ( )
( )
Daro Snchez H Variable Compleja 100
Para
( )
: :
1 1
2 2
) . d. = c d.
1
. . o
i.
( )
Sea , este existe dado que j 7 ( ) _ _ | | 1 = : [.[ = 1 . :. _ 0 sup sup
1
. . o ( )
2 2
lim
[.[
1
. . o ( )
2 2
= 0 en esta forma
| | | |
:
1
2 2 i 2 2i 2
i
1 1
. . o
i. i1c i
0 1c 1 c o ( ) ( )
c d. = c 1ic d
o
o o
o
o
_ 1 1 c d = 21 1 c d j o j o ( ) ( )
0 0
1 1
2
o o sin sin
Pero para , , 0 < < 2 < _ 1 o
o
o 2
. sin
entonces
| | |
( ) ( )
j
:
1
2 2
21
1 21
. . o 21
i.
0
2
0
2
( )
c d. _ 21 1 d = 21 [ c j o j
exp
o
= 1 1 c _ 1 0 j j ( ) ( )
j
1
1
Tenemos entonces que
c c 1
r r o o o
ir o
2 2 2 2
( )
dr = i i
Entonces
( ) ( )
c i .r .r i
r r o o r r o r r o o
o o
ir
2 2 2 2 2 2 2 2
( ) ( ) ( )
= 1 c = dr i dr = 1 c
cos sin
De donde
( )
.r
r r o o
o sin
( )
2 2 2
dr = 1 c .
) . d. = 0
( )
_
2 o . , o +, . , Sea una serie de potencias con radio de
:=0
: :
:
C
convergencia , el cual converge en todos los puntos del crculo : 0
. [.[ = : C . Entonces para algn punto del crculo la convergencia es
condicional.
( ) 8 ) . 0 < [.[ < 1 Sea una funcin analtica en tal que C
lim
.0
[) . [ = 1 q ( ) . Entonces existe un polinomio y una funcin analtica
en tal que si . . [.[ < 1 ) . = 0 < [.[ < 1 C ( )
q .
1 .
( )
( )
SOLUCIN: ; si es abierto simplemente conexo y es ( ) - 1 ) : Falso ! ! C
analtica en entonces por el teorema de Cauchy, tenemos . !
( )
) . d. = 0
Si es continua en , que supuestamente es simplemente conexo y si ) !
( )
C
) . d. = 0 ) para toda curva cerrada en , entonces es analtica en ! !
( ) Teorema de Morera .
Si no es simplemente conexo, por ejemplo y es ! ! C = 0 ) . = ( )
1
.
holomorfa a , entonces tenemos que si . !
( ) ( )
) . = = 2 i = 0 t = c
d.
.
it
Daro Snchez H Variable Compleja 101
( ) ( )
_
2 ) . = Falso; Por ejemplo, converge en todos los puntos del
:=0
.
:
:
2
crculo de convergencia de radio . 1 = 1
( ) ( ) 8 ) 1 = 1 0 [) . [ = Verdadero; es analtica en . La condicin
/
.0
lim
significa que es un polo de y entonces . 0 ) ) . = o . ( )
_
/
. .
/
:=0
:
: :
:
1
Tmese y y entonces . p . = . q . = . ) . ) . = ( ) ( ) ( ) ( )
: :
q .
p .
( )
( )
( )
C
:
) . d. = 0
0 = ) . d. = ) . d. lim
:
C C
:
( ) ( )
Luego, por el teorema de Morera, es holomorfa en . ) l
Pasando al ejercicio propiamente dicho
Si abierto es compacto, entonces existe tal que 1 l : 0
1 1: : = 1 .: : l 1 = 1 1: : ( ) ( ) ( ) '
. 1
y tenemos que es compacto, luego
) ) 1
:
uniformemente en .
Suponga dado, existe tal que implica que c N 0 : : _ :
0 0
| funcin de , ) ) [ < = \ 1 1
:
( ) ( ) ( ) ( ) ,
Sea ahora , arbitrario. Entonces luego . 1 . 1 .: : 1, \ 1 .: : = c , ( ) ( )
vale . Por el teorema de Cauchy, tenemos si que ( ) ( ) 1 : :
0
Daro Snchez H Variable Compleja 102
[) . ) . [ = d _ d
/ /
:
1 1
2 i 2 [.c[ 0C 0C
) ) [) ) [
.
( ) ( ) | |
: :
2 2
( ) ( ) ( ) ( )
( )
_ [) ) [2 : <
1 1
2 : :
:
2
sup
C
( ) ( ) ( ) ,
esta ltima desigualdad es debida a . ( ) 1
Si tomramos en , tenemos entonces para , c ( ) ( ) ( ) ( ) = : 1 [) . ) . [ <
c c
2 2
:
/ /
un arbitrario y . Luego uniformemente en . . 1 : _ : ) ) 1
0
:
/ /
:)
( )
:
analtica en , pues es escrita como serie de potencias convergentes y l
tambin
|,( ) . [ = _
[) . [
[.[ [.[
1
( )
: :
Tome y entonces si | | tenemos que . Por el 0 < < 1 . = , [ . [ _ j j ,( )
1
j
:
teorema del mdulo mximo, el mximo de en es tomado en la , j 1 0: ( )
frontera luego 01,
| , , j ( ) ( ) . [ _ \. 1 0:
1
j
:
Haciendo concluimos que | . Como j , 1, . [ _ 1, \. l ( )
[ . [ = = 1 . .
~ ~ ~
, , , ( )
[ [ ( ) ) .
~
[.[
:
, entonces es un mximo local de en y siendo
analtica en , entonces en , de donde | . l . = co:t. l . [ = . = 1
~
, , , ( ) ( ) [ [ ( )
Luego . ,( ) . = c .
i : c
:
:
C
entonces por q : 0 q . = ) = C C --- ( )
j _
1
. .
o
:
:
Si entonces y en esta forma , luego [.[ < [ [ ` [q . [ = [) [
1 1 1 1
` . . .
( )
j
q 1 0: 0
j j
1
:
no es denso en y por lo tanto no es singularidad esencial C
de . q
Lo anterior implica que es evitable o es un polo de . 0 q
Si es un polo, entonces , de donde para se 0 q . = o : ( )
0
o o
. .
1
( )
polinomio.
Si es evitable entonces lo que slo es posible si 0 ) . = q 1. = ( ) ( )
_
c
.
:
:
c = 0, \: 1 )
:
as se tiene que es constante.
Daro Snchez H Variable Compleja 104
I
:
/
) .
.
:
( )
I
centro y radio . 0 :
SOLUCIN:) . = ( )
1
.o .o ( ) ( )
1 :
( ) ( ) o q . = o = 0 o Sea suponiendo . Como los son polos
1
. .o .o
i i /
1 :
( ) ( )
simples de orden , entonces ( ) 1
1c q . = . o q . = = = :
o i i
.o .o
1 1
. .o .o .o .o
o o o
i
i i
/
1 i1 i1 :
i
/
)=i
i )
( ) ( ) ( ) lim lim
( ) ( )( ) ( ) _
( )
( ) / 0 < : < [o[ < 1 o , esto es , todos los estan dentro de la corona
)
1 = . : _ [.[ _ 1 C
Por la teora general de residuos se sigue que
.
( ) ( )
_ _ _ _
_ _
01
/=1 /=1
: :
i
/
q . d. = 2 i 1c .q . = 2 i : = 2 i :
o
Teniendo en cuenta las orientaciones de y tenemos
1 :
( ) ( ) ( )
01
q . d. = q . d. q . d.
1
:
por lo tanto
.
( ) ( ) ( )
: 1
q . d. = q . d. 2 i :
Cuando , entonces . 1 d. = 0
1
/
) .
.
( )
Luego; .
( )
:
q . d. = 2 i:
:
:
disco de convergencia.
( ) ( ) - 8 ) : 0 0 ) . = c La funcin , definida por es cerrada. C C
1.
( ) 4 ) Sea una funcin holomorfa en una vecindad del disco cerrado
. [.[ _ 1 . [.[ = 1, [) . [ < 1 C , tal que para todo , con se tenga . ( )
Entonces, cualquiera que sea el entero la ecuacin tiene : _ 1, ) . = . ( )
:
exactamente races en el disco abierto . : . [.[ < 1 C
SOLUCIN: localmente es verdadero (y tambin si es ( ) 1 l Falso;
simplemente conexo) no 1 = 0, q : 1 , q . = [.[ = r j C C - ( ) ( ) log log
2 2
es parte real de una funcin en por que el logaritmo no tiene valores 1
nicos en . 1
( ) ( )
_
2 . 1 0: 1 la serie no converge uniformemente en el disco . Falso;
:
( ) ( ) 8 + 0 ) = c : : es cerrado en y no es cerrado Falso; Z Z Z
+ 2 1: +
en , pues es un punto lmite y . + 0 1 1 y )
2 +
( ) Z
( ) ( ) ( ) 4 q . = ) . . 1 Verdadero; tome en y entonces para cualquier tal
:
( )
:
/1
( )
( )
Tenemos que
[o [ _ [d [ _ [) [2 : = [) [
[
/
1 1 1 1
2 2
[) [
[ [
( ) ( )
( )
/1 /1 /
max max
[ = :
[ [ = :
Como es arbitrario, tomando , entonces : : 1
, por lo tanto [) [ < `[ [ [o [ _ `[ [ = ` : = ( )
: : :
/
1 1 `
: : :
/ / /:
entonces y tenemos , luego / : : , o = 0
/
. ) . = o o . o . ( )
0 1 :
:
dr
1r
2
2: !
:! ( )
( )
( )
2
:1 2 2:
=
dr
1r
1 1 0
( )
2
:1
= 2 i / / ) . = i
calculemos considerando la funcin /
1
c( ) ( ) ( ) . = . i ) . =
:1
1
.i ( )
:1
tiene una singularidad evitable en y . Entonces por la frmula de i i = 0 c( )
expansin de en serie de Taylor alrededor de , tenemos que c( ) . . = i
/ = =
1
. i
:1 ! : !
c c
( ) ( ) :1 :
0
( ) ( )
( ) ( )
. = i
: = : 1
0
Calculando por simple derivacin, tenemos c
( ) :
( ) i
c
( )
( ) ( )( ) ( )
( )
:
1 2: 2:1 :1
.i
( ) . =
:
2:1
y entonces
c
( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
:
1 2: :1 1 2: :1
2i i
2 2
( ) i = =
: :
2:1 2:1 2:
y entonces
. / =
1
1 2: :1
i
2 2:!
( ) ( ) ( )
( )
:
2:1 2:
Luego
dr
r 1
2 i 1 2: :1 :! 1 2: ! 2: !
i i 2 :! 2 :!
2 2:!:! i
( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( )
2
:1 2: 2 2
: :
2: 2
:
2: 2:
= = =
1o: /ipot.
lim
lim
= = 0 = 0
co:c:qccio n:i)o::c
lim lim
: :
1 1
2 i ) . ) . 2 i 0C
) . d.
:
/
: : 0
( )
( ) ( )
) . ) . = 0
: : 0
( ) ( )
pues cada es holomorfa en y es una curva cerrada.
) .
) . ) .
:
/
: : 0
( )
( ) ( )
C 0C
Entonces la multiplicidad de es cero, luego no es un cero de en . . q . ,
1 1
( )
esta forma es biunvoca. )
.
( ) ( )
+
Se conoce el siguiente resultado bsico:Supngase y tiene un cero de ) ) H !
orden en el punto Entonces tiene un polo simple en y . , : o ) ) o !
/
1c : o = : ) : o ) o ( ( )
)
)
/
. , , Si tiene un polo de orden en y entonces H !
1c : o = : (
)
)
/
.
.
r .r
r o
sin
2 2
( ) Hacer todas las pruebas
118.Sean , una familia normal de funciones l = . : [.[ < 1 C
holomorfas sobre , una sucesin en tal que para todo entero l ) : _ 2 ( )
)
existe . Mostrar que la sucesin es uniformemente lim
)
) )
1
:
) )
j
( )
convergente en el interior de . l
119.Sean un abierto simplemente conexo no vaco de , ! C C =
l = . : [.[ < 1 . ) l ) . = 0 C ! ! , , y un isomorfismo de sobre con .
0 0
( )
Dar, en trminos de , la expresin general de todos los isomorfismos ) q
de sobre tales que . ! l q . = 0 ( )
0
120.( ) o Hallar una transformacin homogrfica que transforme el semi- ,
disco en el cuadrante ! 7 1 7 = .: [.[ < 1, :.. 0 Q = .: c.. 0, :.. 0
Sugestin: , , ( ) ( ) 1 = 0, 1 =
( ) / = .: [.[ < 1, 0 < .. < Hallar un isomorfismo del sector circular A arg
sobre el semi-plano
_
= .: :.. 0 7
Daro Snchez H Variable Compleja 110
121. Asigne verdad o falsedad a cada una de las siguientes afirmaciones
justificando la asignacin:
( ) 1 Si es una forma diferencial definida en un abierto de con la n = ! C
propiedad de que para todo par de caminos cerrados homotpicos
0
,
1
en , entonces es una forma cerrada. !
0 1
n = n n
( ) 2 ) . = 0 Sea una funcin meromorfa en , holomorfa en el punto , y tal C
que la serie de Taylor de en tiene radio de convergencia igual a . ) . = 0 1
Entonces existe un polo de con | . . ) . [ = 1
0 0
( ) 8 ) Sean un disco abierto en y una funcin meromorfa en la ^ C
vecindad de , sin polos sobre , con un punto singular aislado , y ^ ^ ^ 0 o
tal que . Entonces la singularidad en es removible.
( )
0^
) . d. = 0 . = o
( ) ( ) 4 ) 0 y ) Sean un abierto de , una funcin holomorfa con , y un ! C ! ^
disco abierto con . Entonces la funcin toma el mnimo de sus ^ ! [)[
valores en en un punto de . ^ ^ 0
( ) = . . < 1 ) Sean ;| | , y una funcin holomorfa en una vecindad ^ C
de , tal que si , entonces . Entonces tiene ^ [.[ = 1 [) . .[ _ 1 ) ( )
exactamente un cero simple en . ^
122.Sea . ) . = ( )
1
. .1 ( )
( ) o ) . = 0 Hallar una serie de Laurent de en el punto .
( ) / ) .: [.[ _ 1 Hallar la serie de Laurent de en el exterior del disco .
( ) ( ) ( ) c 1c) . : 0 1c) . : Cuales son los valores de y ?
123.Sea el camino dado por la frmula: C : [0, 1[-
, si
- , si
, si
( )
_
_
( ) ( )
( ) ( )
( ) ( )
t =
1 4 t i 4 t 0 _ t _
1 4 t i 4 t _ t _
1 4 t i 4 t _ t _ 1
cos sin
cos sin
cos sin
1
4
1 8
4 4
8
4
Calcular .
d.
. 1 ( )
2
2
124.Sea un abierto conexo de , y una funcin holomorfa no ! C = )
constante definida en . Mostrar que la aplicacin es abierta, es ! ! C ) : -
decir, que cualquiera que sea el abierto , o el conjunto es ) ! ( )
abierto en . C
125. Sea un abierto conexo y acotado de , una funcin ! C = )
holomorfa en , y tal que toda sucesin de sea convergente ! ! ` 0 . ( )
:
para un punto de , . Mostrar que , . 0 [) . [ _ ` \. [) . [ _ ` ! ! limsup
:
:
( ) ( )
126.Definir:
( ) o Producto formal de dos series de potencias
( ) / Radio de convergencia de una serie de potencias.
( ) c Disco de convergencia de una serie de potencias.
( ) d Funcin analtica en un punto.
Daro Snchez H Variable Compleja 111
( ) c Funcin analtica en un abierto.
127.Sean un abierto de , y una ! C ) . = ) r ij = n r, j i r, j ( ) ( ) ( ) ( )
funcin holomorfa en ; supongamos que existen tres constantes reales !
o, /, c o / = 0 con , tales que
2 2
. \ r ij , on r, j / r, j = c ( ) ( ) ( ) !
Mostrar que es constante en . ) !
128.Sean un abierto conexo de una sucesin en ! C ! ! , o , o ( )
:
convergente para , con y dos funciones analticas en , o o = o, \:, ), q
:
!
tales que , y . Mostrar que si \. ) . = 0, q . = 0 ! ( ) ( )
) o q o
) o q o
/ /
: :
: :
( ) ( )
( ) ( )
= , \:,
entonces existe una constante , tal que , . c \. ) . = c.q . C ! ( ) ( )
129.Sea una serie formal de potencias con y , o A = o A o = 1, ( ) ( )
_
:=0
:
:
j
o _ 0, \: [.[ < 1 ) . = o .
: :
:=0
:
N. Para , sea , . ( )
_
Mostrar que la funcin no es prolongable analticamente ms alla del )
punto . . = 1
Sugerencia: Si se supone prolongable, existiria tal que la c c +, 0 < < 1
expansin en serie de potencias de tendra un radio de ( ) . o
convergencia mayor que . 1 c
130.Sea un abierto conexo de , tal que , donde ! C ! c : n = 1
n
1 = . : [. 1[ < 1 C .
( ) o n c Mostrar que la funcin es injectiva en .
n
!
( ) ( ) / . 1 ) . n c = . Para , defnase como el nico , tal que . Mostrar !
n
que es continua en (y por lo tanto una rama es ) ) 1 .. log
( ) ( ) c ) 1 ) . = Probar que es holomorfa en , y que
/ 1
.
Sugerencia: Para , y usar ) . = n ) . / = n /, / ( ) ( ) ( )
( ) d . 1 Hallar una expansin de la funcin en serie de potencias de .
1
.
Cul es el radio de convergencia de la serie?
( ) ( ) ( ) c ) . . 1 Hallar la expansin de en serie de potencias de .
BIBLIOGRAFIA
- Ahlfors, Lars V., , McGraw-Hill Book Company, Inc. Complex Analysis
Tokyo, 1953.
- Apostol, Tom.M., , Editorial Revert,S.A., 1960. Anlisis Matemtico
- Apostol, Tom.M., Springer- Introduction to analytic number theory,
Verlag, N.Y., 1976.
Daro Snchez H Variable Compleja 112
- Thorie lmentaire des fonctions analytiques dune ou Cartan, Henri,
plusieurs variables complexes, Hermann, Pars 1961.
- Curtiss, D.R., , Dover Analytic functions of a complex variable
publications, Inc., N.Y. 1967.
- Churchill, Ruel V., 2a.Edicin, Complex variables and applications,
McGraw-Hill Book Company, Inc. 1960.
- Derrick, W.R., , Grupo Editorial Variable compleja con aplicaciones
Iberoamrica, 1987.
- Dieudonn, Jean, Hermann, Pars 1968. Calcul infinitsimal,
- Dieudonn, Jean, , Academic Press, N.Y. Foundations of modern analysis
1969.
- Nieto, Jos I., , U.P., Washington, 1968. Funciones de variable comleja
- Rudin, Walter, , McGraw-Hill Book Company, Real and complex analysis
N.Y. 1966.
- Takeuchi Yu, Suarez Rafael, , Teora de funciones de variable compleja
Depto.Matemticas, U.N. Bogot, 1968.
Espero que el lector haya obtenido algn provecho de este trabajo
en el aprendizaje de la teora de funciones de variable Compleja.
En esta forma se completa la parte del Analisis, propuesta en este
proyecto de
aprendizaje en matemtica avanzada.
Quiero agradecer a mi hijo Juan Armando quien ha sido un animador permanente de este proyecto de aprendizaje en
matemtica avanzada y que sin l habra sido imposible realizarlo. Tambin a mi esposa Nohora quien ley todos los
originales y cuid del buen manejo del lenguaje espaol. A la ingeniera Esperanza Nieto quien gentilmente ha ledo gran
nmero de los temas que han salido al ciberespacio.
Exitos y bienvenidos a la investigacin por internet.
Cualquier comentario favor hacerlo llegar a:
danojuanos@hotmail.com,
danojuanos@tutopia.com
Copyright Daro Snchez Hernndez