PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE

FACULTAD DE MATEMÁTICAS
DEPARTAMENTO DE MATEMÁTICAS

Clase de ejercicios 07 - 05/10/2015 ∗

Curso: Variable Compleja I

Sigla: MAT2705 - Segundo Semestre 2015
Profesor: Giuseppe De Nittis (gidenittis@mat.puc.cl)
Ayudante: Victor Cañulef Aguilar (vacanulef@uc.cl)

Ejercicio 1 (Lema de Jordan)

Sea z 7→ f (z) continua en la región Λσ := {z ∈ C | Im(z) > σ} con σ > 0 y suponga que limz→∞ f (z) =
0. Entonces, para todo número positivo t > 0, pruebe que
Z
lim e i zt f (z) dz = 0
R→+∞ ΓR

donde ΓR := {z ∈ C | |z| = R} ∩ Λσ .

Solución.
Note que
Z  Z π−θ 
∗

iφ
e f (z) dz = 
i zt i tR cos(φ)+ i sin(φ)
   
 e f (z(φ)) Re dφ
ΓR   θ∗ 
Z π−θ∗
6 MΓR e−tR sin(φ) R dφ
θ∗
Z π
6 MΓR e−tR sin(φ) R dφ
0
Z π
2
= 2MΓR e−tR sin(φ) R dφ
0

donde MΓR := max{ f (z) | z ∈ ΓR } y θ∗ = θ∗ (R, σ) ∈ [0, π/2]. Dado que sin(φ) > π2 φ para φ ∈ [0, π/2]
(desigualdad de Kober-Jordan) encontramos que
Z  Z π
2
e−tR π φ R dφ
2
 i zt 
 e f (z) dz  6 2MΓR
ΓR 0
Z R
= πMΓR e−tα dα
0
πMΓR  
= 1 − e−tR .
t
∗
Soluciones y notas estarán disponibles en la página web:
https://gdenittis.wordpress.com/courses/variable-compleja-i-mat2705/clase-de-ejercicios
1
2

Entonces,
πMΓR  π
Z 

i zt
1 − e−tR = lim MΓR = 0.
 
lim  e f (z) dz 6 lim
R→+∞  ΓR  R→+∞ t t R→+∞

Ejercicio 2
Encuentre el radio de convergencia de las siguientes series:
(a) S := +∞ 3k
P
k=0 z .

(b) S := +∞ p
P
p=primo z .

(c) S := +∞ 3k zk
P
k=0 4k +5k .

(d) S := +∞ k! k
P
k=1 kk z .

(e) S := +∞
k
P k
k=3 [log(k)] z .
2

(f) S := +∞ z2k
P
k=1 (4k)k .

Solución.
(a) Notemos que
+∞
X +∞
X
S := z3k = aj zj
k=0 j=0
con
si j = 3n , n ∈ N ,

1



a j := 
0 en otro caso .


Ası́
1 q
:= lim sup j |a j | = lim sup a j = 1 ,
R j→+∞ j→+∞
entonces R = 1 por fórmula de Hadamard.

(b) Notemos que

+∞
X +∞
X
S := zp = aj zj
p=primo j=0
con
si j es primo ,

1



a j := 
0 en otro caso .


Ası́
1 q
:= lim sup j |a j | = lim sup a j = 1 ,
R j→+∞ j→+∞
entonces R = 1 por fórmula de Hadamard.
3k
(c) Dado que ak := 4k +5k
se tiene
! 1k
pk 3k 3 3 1
|ak | = = =  1k ,
4k + 5k (4k +
1
5k ) k 5  4  k
5 +1
 3

Ası́
1 pk 3
:= lim |ak | = ,
R k→+∞ 5
entonces R = 5
3 por el criterio de la raı́z de Cauchy.
k!
(d) Dado que ak := kk
se tiene
!k
ak k! (k + 1)(k + 1)k (k + 1)k 1
= k = = 1 +
ak+1 k (k + 1)k! k k k
Entonces,  
ak 
lim   = e,
k→+∞ ak+1 
es decir R = e por el criterio del cociente de D’Alembert.
k
(e) Dado que ak := [log(k)] 2 se tiene
 1
pk
k k 1
|ak | = log(k) 2 = [log(k)] 2

lo cual implica
1 pk
:= lim |ak | = +∞
R k→+∞
y R = 0 por el criterio de la raı́z de Cauchy.

(f) Notemos que

+∞ +∞
X z2k X
S := k
= aj zj
k=1
(4k) j=0
con
 1
si j = 2k, k ∈ N ∪ {0} ,



 (4k)k

a j := 

si j = 2k + 1, k ∈ N ∪ {0} .

0


Ası́
! 2k1 r
1 q 1 1
:= lim sup j |a j | = lim sup k
= lim = 0,
R j→+∞ k→+∞ (4k) k→+∞ 4k
entonces R = +∞ por fórmula de Hadamard. 

Ejercicio 3
¿Que funciones son representadas por las siguientes series de potencias?
(a) S 1 := +∞ k
P
k=1 k z ,
P+∞ 2 zk .
(b) S 2 := k=1 k

Solución.
(a) Notemos que
+∞
 +∞   +∞ 
X X  X dzk 
S1 = k zk = z  k zk−1  = z  
k=1 k=1 k=1
dz 
4

y por el teorema de Weierstrass

 +∞   +∞  !
d X k  d X k  d 1 z
S1 = z  z  = z  z − 1 = z − 1 = , |z| < 1 .
dz k=1 dz k=0 dz 1 − z (1 − z)2
Notemos que |z| < 1 = R es el cı́rculo de convergencia de S 1 .

(b) Notemos que

+∞
 +∞   +∞ 
X X  X dzk 
S2 = k2 zk = z  k2 zk−1  = z  k 
k=1 k=1 k=1
dz 
y por el teorema de Weierstrass
 +∞ 
1+z
!
d X k  dS 1 d z
S2 = z  k z  = z = z 2
= z , |z| < 1 .
dz k=1 dz dz (1 − z) (1 − z)3
Notemos que |z| < 1 = R es tambien el cı́rculo de convergencia de S 2 . 

Ejercicio 4
Demuestre que para cada θ ∈ R, no existe ninguna vecindad de z = e i θ en C donde la función
+∞
X
f (z) := zk!
k=1
sea analı́tica.

Solución.
Notemos que si p y q son coprimos y k > q, entonces
 p
k!  pq  k!q
r e i q 2π = rk! e i q 2π = rk!
k!
dado que q ∈ N. Por lo tanto,
q−1 +∞ q−1 +∞
i qp 2πk! p
X X X X
f (z) = z k!
+ z k!
= k!
r e + rk! , si z = r e i q 2π .
k=1 k=q k=1 k=q

Ası́
 
+∞ +∞ +∞ +∞
q−1
 q−1  q−1
p p
X X  X X X X X
| f (z)| =  rk! e i q 2πk! + rk! −  rk! e i q 2πk!  >
 
rk!  > rk! − rk! > rk! − (q−1)
 
k=1 k=q k=q k=1 k=q k=1 k=q
 
para r < 1. Por lo que | f (z)| → +∞ si hacemos r → 1. De lo que se deduce que f no tiene extensión
p
analitica en e i q 2π . Entonces, f no se extiende analı́ticamente en e i 2πθ si θ ∈ Q ∩ [0, 1]. Como
Θ := {e i 2πθ ∈ C | θ ∈ Q ∩ [0, 1]} es denso en C1 := {z ∈ C | |z| = 1}, se concluye el resultado.