68 Ejercicicoos 5.0

Capı́tulo 6
Ejercicios
6.1. Ejercicios resueltos
i i+z 1 1 + iz
1. Demuestre que Arctan(z) = ln( ) = ln( ).
2 i−z 2i 1 − iz
Solución:
Sea w = arctan(z) entonces
sin(w)
tan(w) = z ⇔ = z.
cos(w)
Ası́, tenemos
eiw − e−iw = i(eiw + e−iw )z

⇔ e2iw − 1 = ie2iw z + iz
1 + iz
⇔ e2iw =
1 − iz
1 1 + iz
⇔ w = ln( )
2i 1 − iz
109
CAPÍTULO 6. EJERCICIOS 110
Note que:
1 + iz i−z
= .
1 − iz i+z
Entonces
i + z 1 + iz i+z 1 + iz
0 = ln(( )( )) = ln( ) + ln( ).
i − z 1 − iz i−z 1 − iz
1
Multiplicando por obtenemos finalmente
2i
1 1 + iz −1 i+z i i+z
ln( )= ln( ) = ln( ).
2i 1 − iz 2i i−z 2 i−z
p
2. Sea f (z) = |xy| (z = x + iy). Demuestre que valen las
ecuaciones de Cauchy Riemann en z = 0 pero que f 0 (0) no existe.
Justifique.
Solución:
p p
Sea f (x) = |xy| = u(x, y) + iv(x, y), donde u(x, y) = |xy| y
v(x, y) = 0. Tenemos
∂u u(h, 0) − u(0, 0) ∂v
(0, 0) = lı́mh→0 =0= (0, 0)
∂x h ∂y
∂u u(0, h) − u(0, 0) −∂v

(0, 0) = lı́mh→0 =0= (0, 0).
∂y h ∂x
CAP´ITULO 6. EJERCICIOS 111
Para ver que f 0 (0) no existe observamos que:

p p
f (z) − f (0) |xy| |xy|z
f 0 (0) = lı́mz→0 = lı́m = lı́m 2
p z−0 z→0 z p |z| p
z→0
|xy|(x − iy) x |xy| y |xy|
= lı́mz→0 = lı́m ( − i )
x2 + y 2 (x,y)→(0,0) x2 + y 2 x2 + y 2
Si y = 0, el lı́mite es cero, esto es f 0 (0) = 0.

Si x = y > 0, obtenemos
p p
x |x2 | x |x|2 x2 ix2 1 i
− i = − = − .
2x2 2x2 2x2 2x2 2 2
Luego f 0 (0) no existe.
3. Existe una función analitica f = u + iv tal que u(x, y) = ey/x

?. Justifique.
Solución:
No, pues de lo contrario debe ser armónica, pero:
∂u ∂ y −y
= ey/x ( ) = 2 ey/x
∂x ∂x x x
y
∂ 2 u 2y y/x y 2 y/x
= 3e + 4e .
∂x2 x x
Por otro lado
∂u 1
= ey/x
∂y x
y
∂ 2u 1
2
= 2 ey/x .
∂y x
Ası́ vemos que
∂ 2u ∂ 2u
+ 6= 0.
∂x2 ∂y 2
4. Halle una transformación de Möbius que deje fijos los puntos

1 5 3
2 y 2, y que lleve el punto + i en ∞.
4 4
Solución:
z(1 − 4i) − 2(1 − i)

w= .
2z(1 − i) − (4 − i)
z2
5. Encuentre la expansión de la función f (z) = como
(z + 1)2
una serie de Taylor en torno a z = 0 y halle el radio de convergencia.
Solución:
z 1
Sea g(z) = entonces g 0 (z) = 2
y ası́ z 2 g 0 (z) =
z+1 (1 + z)
z2
.
(z + 1)2
Recordemos ahora que para |z| < 1 tenemos

∞
1 X
= (−1)n z n .
1+z n=0
Entonces
∞
z X
= (−1)n z n+1
z + 1 n=0
y luego
∞
0 z 0 X
g (z) = ( ) = (−1)n (n + 1)z n .
z+1 n=0
De esta manera obtenemos, para |z| < 1 la expresi´on
∞ ∞
z2 X
n n+2
X
2
= (−1) (n + 1)z = (−1)(m − 1)z m .
(1 + z) n=0 m=2
z − z1
6. Sea w = . Demuestre que la preimagen de la familia
z − z2
| w |= λ es una familia de circulos para cada λ 6= 1.
Solución:
Ya que ww = λ2 , reemplazando tenemos que

z − z1 z − z1
( )( ) = λ2 ⇔ (z − z1 )(z − z1 ) = λ2 (z − z2 )(z − z2 )
z − z2 z − z2
⇔ zz − zz1 − z1 z + z1 z1 = λ2 (zz − zz2 − z2 z + z2 z2 )
⇔ (1 − λ2 )zz + z(λ2 z2 − z1 ) + z(λ2 z2 − z1 ) + |z1 |2 − λ2 |z
Por lo tanto es un cı́rculo si λ2 6= 1, de lo contrario es una recta.
7. Halle una transformación de Möbius que lleve los puntos

−1, i, 1 + i en los puntos 0, 2i, 1 − i respectivamente.
Solución:
−2i(z + 1)
w=
4z − 1 − 5i
8. Demuestre que la función T (z) = zRe(z) es diferenciable sólo

en z = 0 y halle T 0 (0).
Solución:
T (z) − T (0) zRe(z)

= = Re(z) →z→0 0
z−0 z
Por lo tanto T diferenciable y T 0 (0) = 0.
Veamos que no lo es en otro punto
T (z) − T (z0 ) zRe(z) − z0 Re(z0 ) 1 z(z + z) − z0 (z0 + z0 )

lı́m = lı́m = lı́m
z→z0 z − z0 z→z0 z − z0 2 z→z0 z − z0
Si
1 zz + zz − z0 z0 − z0 z0
z = 2 lı́mz→z0
z − z0
1 zz − z0 z0 + zz − z0 z0
= 2 lı́mz→z0
z − z0
1 (z − z0 )z + z0 z − z0 z0 + (z − z0 )z + z0 z − z0 z0 )
= 2 lı́mz→z0
z − z0
z − z0
= 12 lı́mz→z0 (z + z − 0 + z + z0 )
z − z0
(z − z0 )
= 12 (z + z0 + z0 ) + z0 lı́mz→z0
z − z0
h
= 12 (z + z0 + z0 ) + z0 lı́mh→0
h
y
h
lı́m
h→0 h
no existe.
Note que lo anterior ocurre exepto si z0 = 0
9. Halle el error en el siguiente argumento: ”Ya que (−z)2 = z 2

se tiene 2ln(−z) = 2ln(z) y luego ln(−z) = ln(z) (!).”Justifique
su respuesta.
Solución:
Si tenemos
(−z)2 = z 2
entonces
ln(−z 2 ) = ln(z 2 )
Si z = reiθ entonces z 2 = r2 e2iθ con −π ≤ θ ≤ π por lo cual ln(z 2 )

toma mas de un valor. En general
ln(z 2 ) = ln(r2 ) + 2iθ + 2kπi
(k ∈ Z). Por otra parte
−z 2 = (−1)z 2 = eiπ r2 e2iθ = r2 e2θ+π
luego
ln(−z 2 ) = ln(r2 ) + (2θ + π)i + 2nπi = ln(r2 ) + 2θi + (2n + 1)πi
(n ∈ Z).
Ası́ ln(−z 2 ) en general es diferente de ln(z 2 )
10. Encuentre el valor de
(3 − 4i)1+i .
Solución:
√
En efecto (3−4i) = 9 + 16earctan(−4/3)i = 5eiθ con θ = arctan(−4/3) =
− arctan(4/3). Entonces
(3 − 4i)1+i = e(1+i) ln(3−4i)

= e(1+i)(ln(5)+iθ)
= eln(5)+iθ+i ln(5)−θ
= eln(5)−θ ei(ln(5)+θ)
= 5e−θ cos(ln(5) + θ) + i sin(ln(5) + θ)
= 5earctan(4/3) (cos(ln(5) − arctan(4/3)) + i sin(ln(5) − arctan(4/3))
11. Halle todas las raices de la ecuación:
sen(z) = isenh(z)
Solución:
Tenemos que
eiz − eiz ez − e−z

=i ⇔ eiz − e−iz = e−z − ez
2i 2
e(1+i)z − 1 1 − e(1+i)z
⇔ =
ez eiz
⇔ eiz (e(1+i)z − 1) = ez (1 − e(1+z)z )
Haciendo u = e(1+i)z = ez eiz entonces
u−1 1−u
= iz
ez e
De aquı́
u = −e2iz = eiπ+2iz = ei(π+2z)
Caso 1: u = 1
2kπi
e(1+i)z = 1 por lo tanto z =
1+i
−(2k + 1)π
Caso 2: u = ei(π+2z) por lo tanto z =
i+1
∞
X
12. Sea f (z) = z n y sea a ∈ C con |a| < 1 fijo.
n=0
(i) Halle la expansión de f (z) como una serie de Taylor en torno
a z = a.
(ii) Encuentre todos los valores de a para los cuales la expansión
en serie de la parte (i) constituye una continuación analitica de f (z).
Solución:
∞
X 1
(i) f (z) = zn = = (1 − z)−1
n=0
1−z
∞
X
n f (n) (a)
f (z) = an (z − a) con an =
n=0
n!
f 0 (z) = 1(1 − z)−2
f 00 (z) = 1 · 2(1 − z)−3
...
f n (z) = n!(1 − z)−(n+1)
∞
X (z − a)n
Por lo tanto f (z) =
n=0
(1 − a)n+1
(ii) a ∈ [0, 1)
∞
X zn
13. Considere la función f (z) = .
n=1
n
(i) Expanda f (z) en una serie de Taylor en torno a z = −1/2.
(ii) Determine el dominio en el cual la función f (z) es continu-
ada analiticamente.
Solución:
∞
X zn
(i) f (z) = = ln(1 − z)
n=1
n
∞
X
n f n (−1/2)
f (z) = an (z + 1/2) con an =
n=1
n!
−1
f 0 (z) = = −(1 − z)−1 .
1−z
Ası́ f (n) (z) = −(n − 1)!(1 − z)−n con n = 1, 2, ...
(n) −n f (n) (−1/2)

Por lo tanto f (−1/2) = −(n − 1)!(3/2) con =
n!
2 1
( )n .
3 n
Entonces
∞
X 2 1
f (z) = ln(3/2) + ( )n (z + 1/2)n
n=1
3 n
p
(ii) (R)−1 = lı́m sup n
|an | = 32 . Por lo tanto R = 3
2 y |z +1/2| < 3/2
∞ ∞
X zn X − 2)n n (z
14. Sean f (z) = y g(z) = iπ + (−1) . Observe
n=1
n n=1
n
que ambas series de potencia no tienen dominio de convergencia en
común. Sin embargo:
(i) Demuestre que la función g(z) es continuación analitica de la

función f (z).
Solución:
∞ ∞
X zn X
n (z − 2)n
f (z) = y g(z) = cπ + (−1) .
n=0
n n
Z n=1
15. Evalue la integral |z|dz donde γ es el semicirculo |z| = 1,
γ
−π/2 ≤ arg(z) ≤ π/2 y el punto de partida es z = i. (la orientación
de la curva es siempre positiva, esto es, en el sentido contrario a las
manecillas del reloj).
Solución:
Tenemos que γ(t) = eit y γ 0 (t) = ieit con |γ(t)| = 1. Entonces

Z Z π/2 Z π/2
0
|z|dz = |γ(t)|γ (t)dt = γ 0 (t)dt = γ(π/2) − γ(−π/2)
γ −π/2 −π/2
Donde γ(π/2) = eiπ/2 = i y γ(−π/2) = −i.

Ası́ Z
|z|dz = i − (−i) = 2i
Z
dz
16. Evalue la integral √ dz donde γ es el circulo |z| = 1, y
√ γ z
−1 = i (esto significa que el punto de partida es z = −1)
Solución:
Tenemos
Z Z 2π 0 Z π
1 γ (t)
√ dz = p dt = ieit/2 dt = 2(eiπ/2 − e−iπ/2 ) = 4i
γ z 0 γ(t) −π
Z
17. Evaluar la integral ln(z)dz donde γ es el circulo |z| = 1,
γ
πi
y ln(i) = 2.
Solución
Tenemos
Z π/2 Z π/2 Z π/2
0 it
ln(γ(t))γ (t)dt = itie dt = − teit = −2π
−3π/2 −3π/2 −3π/2
Z
18. Evaluar z α dz donde α ∈ C y 1α = 1.
|z|=1
Solución:
R 2π R 2π R 2π
(γ(t))α γ 0 (t)dt =
R α
|z| z dz = 0 0 ieiαt eit dt = i 0 e(α+1)t dt.
Ası́ si
α = −1
Z
z α = 2πi
|z|=1
α 6= −1 Z
1
zα = (e2πiα − 1)
|z|=1 (α + 1)
|dz|
Z
2πR
19. Si |a| =
6 R, demuestre que < 2 .
|z|=R |z − a||z + a| |R − |a|2 |
Solución:
2π
|dz|
Z Z
Rdt
=
|z|=R |z − a||z + a| 0 |γ(t) − a||γ(t) + a|
donde γ(t) = Reit con 0 < t < 2π y |dz| = |γ 0 (t)dt| = Rdt
Tenemos que
|γ(t) − a||γ(t) + a| = |Reit − a||Reit + a|
pero |z − a| ≥ ||z| − |a|| y |z + a| ≥ ||z| + |a||.
Ası́ tenemos que
|γ(t) − a||γ(t) + a| = |γ(t)2 − a2 | ≥ ||γ(t)|2 − |a|2 |
Entonces
Z 2π Z 2π
Rdt Rdt 2πR
≤ =
0 |γ(t) − a||γ(t) + a| 0 |R2 − |a|2 | |R2 − |a|2 |
iθ
Z zSea z :=Zre ∈ C y γ un camino que une a 1 y z. Demuestre
20.
dw dw
que := = ln(r) + iθ + 2kπi, donde k es un entero que
1 w γ w
indica cuantas veces el camino de integración da vueltas alrededor
del origen.
Solución:
γ(t) = (z − 1)t + 1 con 0 ≤ t ≤ 1 y γ 0 (t) = z − 1.
Entonces
1 1
γ 0 (t) (z − 1)
Z Z
dt = dt = ln(z)−ln(1) = ln(z) = ln(r)+iθ+2kπi
0 γ(t) 0 ((z − 1)t + 1)
21. Sea γ : [0, 1] → C una curva cerrada y suponga que z0 ∈

/
T raza(γ). Demuestre que Indγ (z0 ) es un número entero. Ayuda:
Defina g : [0, 1] → C por
t
γ 0 (s)
Z
g(t) = ds
0 γ(s) − z0
y demuestre que la función h(t) = e−g(t) (γ(t) − z0 ) es constante.
Solución:
Tenemos que
1
γ 0 (t)
Z Z
1 dz 1
Indγ (z0 ) = = dt
2πi γ (z − z0 ) 2πi 0 γ(t) − z0
Rt γ 0 (s)
Consideremos g(t) = 0 ds; entonces si h(t) = e−g(t) (γ(t)−
(γ(s) − z0 )
z − 0) se tiene:
h0 (t) = −e−g(t) g 0 (t)(γ(t) − z0 ) + γ 0 (t)e−g(t)
γ 0 (t)
= −e‘−g(t) (γ(t) − z0 ) + γ 0 (t)e−g(t)
(γ(t) − z0 )
= 0
Por lo tanto h(t) es constante.
Por otro lado h(0) = h(1) pero
h(0) = e−g(0) (γ(0) − z0 ) = (γ(0) − z0 )
y
h(1) = e−g(1) (γ(1) − z0 ) = e−g(1) (γ(0) − z0 )
entonces
e−g(1) (γ(0) − z0 ) = (γ(0) − z0 )
y asi
e−g(1) = 1
luego
g(1) = 2kπi
Por lo tanto
1
Indγ (z0 ) = g(1) = k
2πi
Z
ln(z)
22. Calcule n
dz para cada n ∈ N ∪ {0}, donde γ(t) =
γ z
1 + 21 eit , 0 ≤ t ≤ 2π.
Solución:
ln(z)
f (z) = es analı́tica en el disco. Por lo tanto
zn
Z
ln(z)
n
=0
γ z
para todo n ≥ 0
z 1/m
Z
23. Calcule m
dz donde γ(t) = 1 + 12 eit , 0 ≤ t ≤ 2π y
γ (z − 1)
m ∈ N.
Solución:
Sabemos que
Z
(n) n! f (w)
f (z0 ) = dw
2πi γ (w − z0 )(n+1)
entonces
(m − 1)!
Z
f (w)
f (n−1) (z0 ) = dw
2πi γ (w − z0 )m
Sea f (z) = z 1/m , entonces
f 0 (z) = 1 (1/m)
mz −1
f 00 (z) = 1 1
m(m − 1)z (1/m)−2
f 000 (z) = 1 1
m(m − 1)( m1 − 2)z (1/m)−3 ...
1 1
f k (z) = m(m − 1)( m1 − 2)...( m1 − (k − 1))z (1/m)−k Luego
1 1 1 1
f (m−1) (w) = ( − 1)( − 2)...( − (m − 2))z (1/m)−(m−1)
m m m m
Por lo tanto
z 1/m
Z
2πi (m−1) 2πi 1 1 1 1
m
dz = f (1) = ( −1)( −2)...( −(m−2))
γ (z − 1) (m − 1)! (m − 1)! m m m m
24. De una expansión en serie de potencias de ln(z) en torno a

z = i y halle su radio de convergencia.
Solución:
1 X
= zn
(1 − z) n≥0
1 X
si |z| < 1 entonces = (iz)n si |z| < 1
(1 − iz) n≥0
Ası́
1 X
= (i)n−1 z n
i(1 − iz) n≥0
si |z| < 1.
Entonces
1 X
= (i)n−1 z n
(i + z) n≥0
si |z| < 1.
Luego
X
n−1 z n+1
ln(i + z) = (i)
n≥0
n+1
si |z| < 1.
Por lo tanto
X
n−1 (w − i)n+1
ln(w) = (i)
n≥0
n+1
Si |w − i| < 1 el radio de convergencia es 1.
25. Verdadero o Falso: Existe una función analitica en z = 0 y

1
que toma los siguientes valores en los puntos z = (n = 1, 2, ...).
n
a) 0, 1, 0, 1, 0, 1, ..., 0, 1....;
1 2 3 4 5 6 n
b) , , , , , , ..., , ...?.
2 3 4 5 6 7 n+1
Si la respuesta es afirmativa, encuentre explicitamente la función

o, si es negativa, justifique apropiadamente.
Solución:
a) f (1) = 0, f (1/2) = 1, f (3/2) = 0, f (1/4) = 1, ... No existe
pues, zn = 1/n, tal que f (zn ) = 0 para n impar y se tendra
f (0) = lı́mn→∞ f (zn ) = 0. Contradicción con el hecho de que f
es analı́tica.
n
b)f (1) = 1/2, f (2) = 2/3, f (1/3) = 3/4, ...f (1/n) = n+1
1
Sea f (z) = 1+z , cumple lo pedido, ya que f ( n1 ) = n
1+n
26. Suponga que al menos una de las desigualdades de Cauchy

M (r)
es una igualdad, esto es: |ck | = . Demuestre que la función
rk
f (z) tiene la forma f (z) = ck z k .

Solución:
Consideremos
f (z) = c0 + c1 z + c − 2z 2 + ...cn zn+1

n+c n+1
z + ...
Por hipotesis tenemos

|f k (0)| 1
|ck | = = Sup|w|=r |f (w)| k
n! r
Entonces
f ( k)(0)
k
Sup|w|=r |f (w)| = r | |
n!
Ası́
M (r) rk |cn | |ck |
|ck | ≤ = = →r→∞ 0
rn rn rn−k
con n 6= k. Por lo tanto
f (z) = ck z k
27. Demuestre que si f es una función no constante, analitica en

un dominio Ω y f (z) 6= 0 para cada z ∈ Ω, entonces |f (z)| no puede
alcanzar su minimo valor en el interior del dominio Ω.
Solución:
1
Sea g(z) = f (z) , g analı́tica y no constante en Ω. Entonces por el
Principio del Módulo Máximo, |g(z)| no puede alcanzar su m’aximo

valor en Ω. Pués
1
Supz∈Ω |g(z)| = Supz∈Ω | | = Infz∈Ω |f (z)|
f (z)
Por lo tanto |f (z)| no puede alxcanzar su mı́nimo valor en Ω
1
28. Halle Res( √ ; 1).
2−z+1
Solución:
√ √
1 2−z−1 1 2−z
√ = = −
2−z+1 (2 − z) − 1 z−1 z−1
√ √
y 2 − z = a0 + a1 (z − 1) + a2 (z − 1)2 + ...., pues 2 − z es analı́tica
en z = 1 asi tendremos
√
1 2−z 1 1
− = − (±1 + a1 (z − 1)) + ...
z−1 z−1 z−1 z−1
1 1
= ± − a1 − a2 (z − 1) + ...
z−1 z−1
1±1
= − a1 − a2 (z − 1) + ...
z−1
Por lo tanto 0 y 2 son los residuos en z = 1
29. Evalúe
Z
1 1 1
(1 + z + z 2 )(e z + e z−1 + e z−2 )dz.
|z|=3
Solución:
Hay tres singularidaddes esenciales:
z = 0, 1, 2 dentro de |z| = 3
Res(f, 0) = Res((1 + z + z 2 )e1/z , 0) pues el resto es analı́tica en

z = 0.
Además
1 1 1
e1/z = 1 + + 2 + 3 + ...
z z 2! z 3!
.
Entonces
1 1 1
(1 + z + z 2 )e1/z = (1 + + 2 3 + ...)
z z 2! z 3!
1 1 1 1
+ (z + 1 + + 3 + ...) + (z 2 + z + + + ...)
z2! z 3! 2! z3!
1 1 1
= (1 + + + ...)
z 2! 3!
1 1
Por lo tanto Res(f, 0) = 1 + + + ...
2 6
Por otro lado Res(f, 1) = Res((1 + z + z 2 )e1/(z−1) , 1) pues el resto

es analı́tica en z = 1.
Además
1 1 1
e1/(z−1) = 1 + + + + ...
z − 1 2!(z − 1)2 3!(z − 1)3
y (1 + z + z 2 ) = a0 + a1 (z − 1) + a2 (z − 1)2 con
g 0 (1) g 00 (1)
a0 = g(1) = 3, a1 = = 3, a2 = =1
1! 2!
ası́:
3 3
(3 + 3(z − 1) + (z − 1)2 )e1/(z−1) = 3 + + + ...+
(z − 1) 2!(z − 1)2
3 1 1
3(z − 1) + 3 + + ... + (z − 1)2 + +
2!(z − 1) (z − 1) 2!
1 3
= (3 + + 1) + ...
(z − 1) 2
Entonces Res(f, 1) = 3 + 23 + 1
6
30. Evalúe
z3
Z
dz.
|z|=r 2z 4 + 1
Solución:
En efecto
z3 f 0 (z)
Z Z
1 1 2πi
dz = dz = (ceros − polos) = πi
2 |z|=1 z 4 + 21 2 |z|=1 f (z) 2
2. Evalúe Z
1 1
sin2 dz.
2πi |z|=r z
Solución:
z3 z5
sin z = z − + − ...
3! 5!
1 1 1 1
sin = − + − ...
z z 3!z 3 5!z 5
1 1 1 1 1 1 1
sin2 = ( − + − ...)( − + − ...)
z z 3!z 3 5!z 5 z 3!z 3 5!z 5
1 1
= − + ...
z2 z4
Por lo tanto
Res(f, 0) = 0
y ası́ Z
1 1
sin2 ( ) = 0
2πi |z|=r z
za
31. Halle Res( √ ; 1), a ∈ R.
1− z
Solución:
√ √
zα 1+ z −(1 + z)z α
√ · √ = .
1− z 1+ z z−1
Ademaás
√
(1 + z) = a0 + a1 (z − 1) + a2 (z − 1)2 + ...
zα = ea ln z = b0 + b1 (z − 1) + b2 (z − 1)2 + ...
√
(1 + z) = c0 + c1 (z − 1) + c2 (z − 1)2 + ...
Entonces
√
−(1 + z)z α −c0
= + c1 + c2 (z − 1) + ...
z−1 z−1
√
donde f (z) = (1 + z)z α y ası́ f (1 ± 1)e2kπia .
Por lo tanto
zα
Res( √ , 1) = f (1 ± 1)e2kπia
1− z
32. Sea f una función analitica en el circulo |z| < 1 y suponga
que f (0) = 0 y |f (z)| ≤ 1.
i) Demuestre que |f (z)| ≤ |z| para |z| < 1.
ii) Suponga que |f (z)| = |z| en al menos un punto interior del

circulo. Demuestre que f (z) = eiα z ( α real).
Solución:
f (z)
i) Sea g(z) = , entonces g es analı́tica para |z| =< 1 ya que
z
|f (z)|
f (0) = 0. Además si |z| < 1 entonces |g(z)| = ≤ 1. Por el
|z|
principio de Módulo Máximo entonces |g(z)| ≤ |z|
ii) Demostremos que si |f (z0 )| = |z0 | para un punto |z0 | < 1 en-
tonces f (z) = eiα z para α ∈ R.
En efecto si |g(z0 )| = 1 entonces el máximo se alcanza en un punto

interior de |z| < 1 y por lo tanto g es constante y |f (z)| = |c||z|
para |z| < 1.
Ahora |c| = 1 evaluando en z0 . Por lo tanto c = eiα y g(z) = eiα .

Ası́ f (z) = eiα z
33. Verdadero o Falso: Existe una función analitica en z = 0 y

que satisface:
1 −1 1
f ( ) = f ( ) = 2 ? (n ∈ N)
n n n
Si la respuesta es afirmativa, encuentre explicitamente la función
o, si es negativa, justifique apropiadamente.
Solución:
1 1 −1 1
i) f ( ) − 2 = 0 y f ( ) − 2 = 0 con n ∈ n.
n n n n
1
Sea g(z) = f (z) − z 2 con ceros en z = .además g(0) = 0 − 0 =
n
f (0) 6= 0.
Por lo tanto f (z) = z 2 , hace lo anterior y es analı́tica en z = 0
Z
z
34. Evalue : 4
dz; a > 1.
|z−a|=a z − 1
Solución:
z z
=
(z)4 − 1 (z − 1)(z 3 + z 2 + z + 1)
Entonces Z
f (z) 2πi πi
dz = 2πif (1) = =
|z−a|=a z − 1 4 2
z
donde f (z) = 3 es analitica en |z − a| < a
z + z2 + z + 1
zez
Z
1
35. Evalue : dz; si a está en el interior de la
2πi C (z − a)3
curva C.
Solución:
Tenemos que Z
1 f (w)
f (z) = dw
2πi C (w − z)
Z
1 f (w)
f 0 (z) = dw
2πi C (w − z)2
Z
2 f (w)
f 00 (z) = dw
2πi C (w − z)3
Z
1 f (w)
Aquı́ f 00 (a) = 3
dw con f (w) = wew .
πi C (w − a)
Entonces
f 0 (w) = ew + wew
f 00 (w) = 2ew + wew
Ası́
zez 2ea + aea
Z
1
3
dz = = (1 + a/2)ea
2πi C (z − a) 2
1
36. Calcule una expansión de la función f (z) = en serie
z−2
de Laurent en una vecindad de z = ∞.
Solución:
1
Sea f (z) = . La expanción en torno a z = ∞ es por definición,
z−2
1
la expanción de f ( ) en torno de z = 0. Ası́
z
∞
1 1 z X
f( ) = 1 = =z 2n z n
z z − 2 1 − 2z n=0
1 1
si |z| < . Haciendo w = se obtine
2 z
∞ ∞
1 X n 1 n X 2n
f (w) = 2 ( ) =
w n=0 w n=0
wn+1
si |w| > 2 que es la expresión pedida.
1
37. Calcule una expansión de la función f (z) = ,
(z − a)(z − b)
donde 0 < |a| < |b|, en serie de Laurent en una vecindad de:
i) z = 0
ii) z = a
Solución:
i) En z = 0 tenemos
1 1
=
(z − a)(z − b) (a − z)(b − z)
1 1 1
= ( − )
(b − a) (a − z) (b − z)
1 1 1 1 1
= ( ( z)− ( ))
(b − a) a 1 − a b 1 − zb
∞ ∞
1 1 X zn 1 X zn
= ( − )
(b − a) a n=0 an b n=0 bn
∞
1 X zn zn
= ( ( − ))
(b − a) n=0 an+1 bn+1
∞ n+1
1 X
n (b − an+1 )
= ( z )
(b − a) n=0 (an+1 bn+1 )
para |z| < |a|

ii) En z = a tenemos
1 1
=
(z − a)(z − b) (a − z)(b − z)
1
=
(a − z)(b − a + a − z)
1 1
=
(a − z) (b − a)(1 + a−z
b−a )
∞
X (−1)n (a − z)n
1
=
(a − z)(b − a) n=0 (b − a)n
∞
X (z − a)n
1 1
= ( )
(a − b) (z − a) n=0 (b − a)n
1 1 (z − a) (z − a)2
= ( (1 + + + ...))
(a − b) (z − a) (b − a) (b − a)2
X (z − a)n∞
1 1
= ( + )
(a − b) (z − a) n=0 (b − a)n+a
si |z − a| < |b − a|
38. Encuentre y clasifique todas las singularidades de la función

z7
f (z) = .
1
(z 2 − 4)2 cos
z−2
Solución:
z7 1 z7
cos( )= 1 1
(z − 2)2 (z + 2)2 z−2 (z − 2)2 (z + 2)2 (1 + (z−2) + 2!(z−2)2 + ...)
Por lo tanto z = −2 es polo de orden 2 y z = 2 es singularidad
esencial.
39. Encuentre y clasifique todas las singularidades de la función

 
 1 
f (z) = sin  .
1
sin
z
Solución:
1 e/z − e−i/z 1
Si sin = 0 entonces = 0 y si e2i/z = 1 entonces z = .
z 2i kπ
1
Por lo tanto zk = son todas las singularidades de f (z)
kπ
40. Sea f una función analitica en el circulo |z| < 1 y suponga

que f (0) = 0 y |f (z)| ≤ 1. Demuestre que |f (z)| ≤ |z| para |z| < 1.
(Comentario: El resultado se conoce como Lema de Schwarz).
Solución:
f (z)
Sea g(z) = z ; entonces g es analı́tica aún en z = 0 pues f (0) = 0.
Por el principio del módulo máximo tenemos

f (z)
Sup|z|<1 |g(z)| = Sup|z|=1 |g(z)| = Sup|z|=1 = Sup|f (z)|
z
Ya que |f (z)| ≤ 1 se obtiene Sup|z|<1 |g(z)| ≤ 1.
Entonces |f (z)| ≤ |z| para |z| < 1
1
41. Expandir la función f (z) = en serie de Laurent en
z(z − 1)
torno a:
(i) El punto z0 = 0.
(ii) El punto z0 = 1.
Solución:
i)
1 1 1
= +
z(1 − z) z 1−z
∞
1 X n
= + z
z n=0
1
= + 1 + z + z 2 + ...
z
ii)
1 1 1
= +
z(1 − z) z 1−z
−1 1
= +
(−1 + 1 − z) 1 − z
1 1
= +
1 − (1 − z) 1 − z
∞
1 X
= + (1 − z)n
1 − z n=0
1
= + 1 + (1 − z) + (1 − z)2 + ...
1−z
42. Halle y clasifique las singularidades de las siguientes fun-

ciones. Justifique su respuesta.
1
(i) .
z − z3
1
(ii)
ez − 1
Solución:
1 1
i) = tiene 3 singularidades;z = 0, z = 1, z = −1
(z − z 3 ) z(1 − z 2 )
z = 0 es polo de orden 1 pues si |z| < 1 tenemos

∞
1 1 X 2n 1 2 4 1
2
= z = (1 + z + z + ...) = + z + z 3 + ...
z(1 − z ) z n=0 z z
z = 1 es polo de orden 1 pues
1 1 g(z)
= =
z(1 − z 2 ) (1 − z)(z(1 + z)) (1 − z)
1
donde g(z) = es analı́tica en z = 1.
z(1 + z)
Entonces
1 1 2 a0
= (a 0 +a 1 (1−z)+a 2 (1−z) )+... = +a1 +a2 +...
z(1 − z 2 ) 1 − z 1−z
z = −1 es polo de orden 1, se prueba de manera análoga.

ii) z = 0 y ez = 1 son las singularidades, esto es z = 2kπi con k ∈ Z.
Ahora veamos de que tipo son
z = 0:
Sea
1 1 1 1 g(z)
f (z) = = 2 = 2 = z =
ez − 1 (1 + z + z2! + ...) − 1 z + z2! + ... z(1 + 2! + ...) z
1
donde g(z) = z es analı́tica en z = 0.
1+ 2! + ...
Entonces
1 a0
f (z) = (a0 + a1 z + a2 z 2 ) + ... = + a1 + a2 z + ...
z z
luego
1 1 −1 a0
− + z = + + a1 + a2 z + ...
z e −1 z z
1 1
donde a0 = g(0) = 1. Por lo tanto z − = a1 + a2z + ....
e −1 z
Ası́ z = 0 es singularidad reparable.
z = 2kπi
tenemos que
∞
X
ez = an (z − 2kπi)n
n=0
∞
X 1
= (z − 2kπi)n
n=0
n!
(z − 2kπi)2
= 1 + (z − 2kπi) + + ...
2!
Entonces
(z − 2kπi)
ez − 1 = (z − 2kπi)(1 + + ...)
1!
de aqui tenemos
1 h(z)
=
(ez − 1) (z − 2kπi)
1
donde h(z) = es analı́tica en z = 2kπi.
(z − 2kπi)
1+ + ...
2!
1 1 1
Ası́ z = 2kπi es un polo de orden 1 de z y también de z −
e −1 e −1 z
43. Evaluar: Z
z
dz.
|z|=3 sin(z)(1 − cos(z))
Solución:
Vemos que las singularidades son z = 0, z = π, z = −π y además
Res(f, 0) = 0
−π
Res(f, π) = 2
π
Res(f, −π) = 2
Ası́ tenemos que

Z
z
dz = 2πi(0) = 0
|z|=5 sin(z)(1 − cos(z))
44. Determine el número de raı́ces de la función
f (z) = z 9 − 2z 6 + z 2 − 8z − 2,
en el interior del circulo |z| < 1.
Solución:
Consideremos f (z) = z 9 − 2z 6 + z 2 − 2 y g(z) = −8z.
Entonces |f (z)| ≤ 6 < 8 = |g(z)| en |z| = 1.
Por lo tanto tiene una sola raiz.

45. Supongamos que f es analitica en D(0, 2)\{0} y que para

cada número natural n ≥ 0 se cumple que
Z
z n f (z)dz = 0.
|z|=1
Demuestre que en tal caso z = 0 es una singularidad reparable de f .
Solución:
Si Z
bn = z n f (z)dz = 0
|z|=1
Por lo tanto f tiene una singularidad reparable en z = 0, pues
f (z) = b0 + b1 z + ...
z2 + z − 1
46. Halle los residuos de la función f (z) = 2 con re-
z (z − 1)
specto a todos sus puntos singulares.
Solución:
Vemos que los puntos singulares son z = 0 poolo de orden 2 y

z = 1 polo de orden 1.
Entonces tenemos
z2 + z − 1
Res(f, 1) = lı́m(z − 1)f (z) = lı́m =1
z→1 z→1 z2
∂ 2 ∂ z2 + z − 1
Res(f, 0) = lı́m (z f (z)) = lı́m ( )=0
z→0 ∂z z→0 ∂z z−1
47. Halle Res(f ◦ φ, a) si φ es analitica en z = a, φ0 (a) 6= 0, y f

tiene un polo simple en w = φ(a) con residuo A.
Solución:
Tenemos lo siguiente
A
f (w) = + a0 + a − 1(w − φ(a)) + ...
w − φ(a)
Entonces
A
f (φ(z)) = + a0 + a1 (φ(z) − φ(a)) + ...
φ(z) − φ(a)
donde φ(z) = φ(a) + b1 (z − a) + b2 (z − a)2 + ... con b1 = φ0 (a) 6= 0.
Ası́
A A
(f ◦ φ)(z) = = + ...
b1 (z − a)(1 + bb21 (z − a) + ...) φ0 (a)(z − a)
entonces
A
Res(f ◦ φ, a) =
φ0 (a)
48. Evalue Z
1 1
sen( )dz.
2πi |z|=r z
Solución:
w3
Sabemos que sin w = w − + ....
3!
Entonces
1 1 1
sin = − 3 + ...
z z z 3!
luego
1
Res(sin , 0) = 1
z
.
Por lo tanto Z
1 1
sin dz = 1
2πi |z|=r z
49. Evalue Z
1
z n e2/z dz
2πi |z|=r
siempre que n ≥ −1.
Solución:
w w2
e = 1+w+ + ...
2!2
2 2
e2/z = 1+ + + ...
z 2!z 2 2 n−2
2z 2k z n−k
z n e2/z = z n + 2z n−1 + + ... + ...
2! n!
2n+1
Entonces Res(z n e2/z , 0) =
(n + 1)!
50. Sea a ∈ R, a > 1. Calcule

Z π
dθ
.
−π a + cosθ
Solución:
Z π Z Z
1 2 1 1
dθ = z+z dz = 2
dz
−π a + cos θ |z|=1 (a + 2 )iz i |z|=1 z + 2az + 1
√ √
Observamos que z 2 +2az+1 = (z+a+ a2 − 1)(z+a− a2 − 1).
Ası́
Z π Z
1 4π 1 2π
dθ = √ √ =√
−π a + cos θ 2πi |z|=1 (z + a + a2 − 1)(z + a − a2 − 1) a2 − 1
51. Calcule Z ∞
xsenx
dx.
−∞ x2 + 2x + 2
Solución:
zeiz
Sea f (z) = 2 en donde z 2 +2z+2 = 0 si y sólo si z = −1+i
z + 2z + 2 S
y z = −1 − i, luego consideramos γ = CR [−R, R].
Entonces Z Z Z R
f (z)dz = f (z)dz + f (x)dx
γ CR −R
R
Notar que CR f (z)dz → 0 por Lema de Jordan. Por otra parte
zeiz
Z
2
dz = 2πiRes(f, −1 + i) = π(−1 + i)e−1−i
γ z + 2z + 2
Entonces
R
xeix
Z
lı́m 2
dx = π(−1 − i)e−1−i
n→∞ −R x + 2x + 2
Ası́ Z ∞
x sin x π
2 + 2x + 2
dx = (cos 1 + sin 1)
−∞ x e
ez
Z
52. Evaluar 2 (z 2 − 9)
dz.
|z|=1 z
Solución:
Vemos que z = 0 es polo de orden 2, z = ±3 son polos de or-

den 1 y z 2 − 9 = (z − 3)(z + 3) que no estan en el interior de |z = 1|.
Luego
ez z 2 ez −2πi
Z
∂
2 2
dz = 2πiRes(f, 0) = 2πi lı́m ( ) =
|z|=1 z (z − 9) z→0 ∂z z 2 (z 2 − 9) 9
Z 2π
dt
53. Evaluar donde a > 1. Ayuda: Hacer z = eit .
0 a + cos t
Solución:
1
Sea z = eit entonces 2 cos t = eit + e−it = z + , entonces cos t =
z
1 1 1
(z + ) y como dz = ieit dt entonces dt = dt.
2 z iz
Por lo tanto
Z 2π
2 2π
Z Z
1 1 2 1
dt = 1 dz = 2
dz
0 a + cos t i 0 z(2a + z + z ) i |z|=1 z + 2az + 1
√
Como z 2 + 2az + 1 = 0 ⇔ z = −a ± a2 − 1 donde a2 − 1 > 0
√
observamos que sólo −a + a2 − 1 está en el interior de |z| = 1.
Luego
1 p
2 − 1) = √
1
Res( , −a + a
z 2 + 2az + 1 2 a2 − 1
Ası́
Z
2 1 2 1 p 2π
2
dz = 2πiRes( 2
, −a+ a2 − 1) = √
i |z|=1 z + 2az + 1 i z + 2az + 1 a2 − 1
∞
x2 + 1
Z
54. Evaluar dx.
0 x4 + 1
Solución:
Vemos que las singularidades son polos simples en z1 = eiπ/4 , z −

2 = ei3π/4 , z3 = ei5π/4 , z − 4 = ei7π/4 . Consideremos la curva

S
γ = CR [−R, R], entonces tenemos
Z Z Z R
f (z)dz = f (z)dz + f (x)dx
γ CR −R
donde
Z √
f (z)dz = 2πiRes(f, eiπ/4 ) + 2πiRes(f, e3πi/4 ) = π 2
γ
y por Lema de Jordan

Z
f (z)dz → 0
CR
Entonces Z ∞
x2 + 1 √
4
dx = π 2
−∞ x + 1
Como el argumento es una función par entonces podemos escribir
Z ∞ 2 √
x +1 π 2
dx =
0 x4 + 1 2
55. Halle el número de raı́ces de la ecuación z 4 − 8z + 10 = 0 que

se encuentran en el anillo 1 < |z| < 3.
Solución:
a) f (z) + g(z) = z 4 − 8z + 10 con f (z) = z 4 − 8z y g(z) = 10,

entonces |f (z)| ≤ 9 < 10 = |g(z)| en |z| = 1. Por lo tanto no tiene
raı́ces en |z| < 1.
b) f (z) + g(z) = z 4 − 8z + 10 con f (z) = −8z + 10 y g(z) = z 4 ,

entonces |f (z)| ≤ 8|z| + 10 = 34 < 34 = |g(z)| en |z| = 3. Por lo
tanto tiene 4 raı́ces en |z| < 3.
De lo anterior vemos que z 4 − 8z + 10 tiene 4 raı́ces en 1 < |z| < 3
56. Sea f una función analitica en el semiplano superior H+ =

{z ∈ C : Im(z) > 0} y tendiente a cero cuando z → ∞ para z
perteneciente a H+ . Demuestre que para cada z = x + iy ∈ H+ se
tiene Z ∞
y f (t)
f (z) = 2 2
dt
π −∞ (t − x) + y
Ayuda:
Demuestre que Z ∞
1 f (x)
f (z) = dx
1πi −∞ (x − z)
y que Z ∞
1 f (x)
0= dx
2πi −∞ (x − z)
Solución:
Por fórmula de Cauchy en el camino γ(t) = t con −∞ < t < ∞ se

tiene que
Z
1 f (w)
dw = f (z)siz ∈ H+ 0sizH+
2πi γ (w − z)
Y notamos que
Z Z ∞
f (w) f (x)
dw = dx
γ (w − z) −∞ (x − z)
A fin de ver lo pedido, restamos y obtenemos

Z ∞
1 1 1
f (z) = ( − )f (t)dt
2πi −inf ty (t − z) (t − z)
donde
1 1 z−z 2iy
( − )= 2 =
(t − z) (t − z) t − tz − tz + |z|2 t2 − 2tx + x2 + y 2
con z = x + iy y z = x − iy Por lo tanto
1 ∞
Z
yf (t)
f (z) = dt
π −∞ (t − x)2 + y 2
Luego si u(z) = Ref (z), esto es , u(x, y) = Ref (x, y) entonces
f (t) = f (t, 0) = u(t, 0). Ası́
1 ∞
Z
y
u(x, y) = u(t, 0)dt
π −∞ (t − x)2 + y2
Además u(x, y) → 0 cuando (x, y) → ∞
57. Evaluar Z ∞
cos(x)
2 2
dx, a > 0.
−∞ x + a
Solución:
ei z
Usamos que f (z) = 2 y las singularidades son z = ±ia donde
z + a2
sólo ia ∈ Ω
(Ω semicircunferencia de radio a sobre el eje real).
Por lo tanto
(z − ia)ez
Z
π
f (z)dz = 2πiRes(f, ia) = 2πi lı́m = e−a
γ z→ia (z − ia)(z + ia) a
y por el otro lado
Z ∞ Z ∞
eiz
Z Z
cos x sin x
f (z)dz = 2 2
dx + i 2 2
dx + 2 2
dz
γ −∞ x + a −∞ x + a CR z + a
Ası́ Z ∞
cos x π −a
2 + a2
dx = e
−∞ x a
58. Sea w una raı́z n-ésima de la unidad (i.e wn = 1 y wj 6= 1,,

j = 1, 2, ...(n − 1))
n−1
X
i)Encuentre wj
j=0
n−1
X
ii)Encuentre (j + +1)wj
j=0
Solución
i)
n−1
X
j n−1 1 − wn
w = 1 + w + ... + w = =0
j=0
1−w
ya que w 6= 1 y wn = 1
ii)
n−1
X
(j + 1)wj = 1 + 2w + 3w2 + ...nwn−1
j=0
Notar que (1 + 2w + 3w2 + ...nwn−1 )(1 − w) = 1 + w + ...wn−1 + nwn
Luego
n−1 (1 + w + ...wn−1 ) + nwn 0 + nwn n
1 + 2w + ...nw = = =
1−w 1−w 1−w
z
59. Sea f : C → D definida por f (z) = , donde D := {z :
1 + |z|
|z| < 1}
∂f
i)Encuentre
∂z
∂f
ii)Encuentre
∂z
Solución:
i)
z
f (z) = √
1+ zz
Entonces
∂
∂f −z ∂z (|z|)
=
∂z (1 + |z|)2
Ahora
|z|2 = zz
entonces
∂
2|z| (|z|) = z
∂z
ası́
∂ z
(|z|) =
∂z 2|z|
Por lo tanto
−z 2
∂f 2|z| −z 2
= =
∂z (1 + |z|)2 2|z|(1 + |z|)2
ii)
∂
∂f 1(1 + |z|) − z ∂z (|z|)
=
∂z (1 + |z|)2
pero
|z|2 = zz
entonces
∂
2|z| (|z|) = z
∂z
ası́
∂ z
(|z|) =
∂z 2|z|
Por lo tanto
∂f 2 + |z|
=
∂z 2(1 + |z|)2
60. Encuentre los valores de z para los cuales es convergente la

serie
∞
X z n
( )
n=0
1+z
Solución:
z
Sea w = entonces
1+z
∞ ∞
X z n X n
( ) = w
n=0
1 + z n=0
que converge sólo si |w| < 1. Luego la serie pedida converge sólo si
z
| |<1
z+1
az + b
61. Si |z| = 1, demuestre que | | = 1 con a, b ∈ C
bz + a
Solución
Como |z| = 1, entonces zz = 1 y z = (z)−1 . Luego
az + b az + b
=
bz + a (b + za)z
ası́ tendremos
az + b az + b 1 az + b |az + b| |az + b|
| |=| | =| |= = =1
bz + a az + b |z| az + b |az + b| |az + b|
62. Sean γ0 , γ1 : [0, 1] → C dos curvas cerradas de clase C 1 y

z ∈ C tal que
|γ0 (t) − γ1 (t)| < |z − γ0 (t)|
para cada t ∈ [0, 1]. Demuestre que Indγ0 (z) = Indγ1 (z).
Ayuda:Considere la curva
γ1 (t) − z
γ(t) =
γ0 (t) − z
con t ∈ [0, 1] y compruebe que la trayectoria está contenida en

D(1, 1) := {z ∈ C : |z − 1| < 1}
Solución:
S
Notemos que z ∈
/ T raza(γ0 ) T raza(γ1 ), por lo tanto Indγ0 (z) y
Indγ1 (z) están bien definidos. Tambien vemos que γt es de clase C 1
y cerrada pues γ(1) = γ(0).
Observemos que
γ1 (t) − z |γ1 (t)| − γ0 (t)

|γ(t) − 1| = | − 1| = <1
γ0 (t) − z |γ0 (t) − z|
luego T raza(γ) ⊆ D(1, 1) y por propiedades de Indice concluimos

que Indγ (0) = 0.
Ası́
Z 1 0
1 γ (t)
dt =
2πi 0 γ(t)
1
γ 0 (t)(γ0(t) − z) − γ 0 0(t)(γ1 (t) − z)
Z
1
= dt
2πi 0 (γ1 (t) − z)(γ0 (t) − z)
1 1
γ10 (t) γ00 (t)
Z Z
1 1
= dt − dt
2πi 0 γ1 (t) − z 2πi 0 γ0 (t) − z
= Indγ1 (z) − Indγ0 (z)
63. Sea γ la frontera del cuadrado encerrado por las cuatro rec-
tas x = ±2 e y = ±2. Calcule:
Z
cos z
i) dz
γ z2 + 8
Z
z
ii) dz
γ 2z + 1
Z
cosh z
iii) dz
γ z4
Solución:
cos z √ √
i) Vemos que es analı́tica en C \ {−2 2, 2 2}, por lo tanto
z2 + 8
Z
cos z
es holomorfa en Ω, y ası́ dz = 0 por el Teorema de Cauchy.
γ z2 + 8
z
ii) Vemos que es analı́tica en C\{−1/2}, luego por la fórmula
2z + 1
integral de Cauchy tenemos
−πi
Z Z
z 1 z
dz = dz =
γ 2z + 1 2 γ z + 12 2
iii) Usnado la fórmula integral de Cauchy para la tercera deriva-

da tenemos
2πi ∂ 3 (cosh z) πi
Z
cosh z
dz = = sinh(0) = 0
γ z4 3! ∂z 3 3
64. Sea f analı́tica. Suponga que Ref es constante. Demuestre

que f es constante.
Solución:
f = u + iv y por definición u es constante.
Si f es analı́tica entonces
∂u ∂v
=
∂x ∂y
y
∂u −∂v
=
∂y ∂x
∂v ∂v
Por lo tanto =0y = 0.
∂y ∂x
Ası́ v es constante y entonces f es constante.
Z
dz
65. Evaluar √
γ z
√
i) en el semicirculo z = 1, y ≥ 1, 1=1
√
ii)en el semicirculo |z| = 1, y ≥ 1, 1 = −1
Solución:
i) γ(t) = eit con 0 ≤ t ≤ π, entonces

Z π it Z π
ie
it/2
dt = i eit/2 dt = 2(eiπ/2 − 1) = −2(1 − i)
0 e 0
ii)γ(t) = eit con 0 ≤ t ≤ π, entonces

Z π Z π
ieit i
it/2 iπ
dt = iπ eit/2 = (−1)2(i − 1) = 2(1 − i)
0 e e e 0
ez
Z
66. Evaluar dz si:
γ z(1 − z)3
i)El punto z = 0 está en el interior y el punto z = 1 está en el

exterior de la curva γ
ii)El punto z = 1 está en el interior y el punto z = 0 está en el

exterior de la curva γ
iii) Los puntos z = 0 y z = 1 están en el interior de la curva

γ
Solución:
i) Z
1 1
f (z)dz = f (0) = 1
2πi γ z
ez
con f (z) =
(1 − z)3
ii)
−e
Z
1 1 1 00
f (z)dz = f (1) =
2πi γ (z − 1)3 2 2
−ez
con f (z) =
z
iii)
ez −ez
Z Z
1 1
dz = dz = Res(f, 0) + Res(f, 1)
2πi γ z(1 − z)3 2πi γ z(z − 1)3
donde
−ez
Res(f, 0) = lı́m =1
z→0 (z − 1)3
y
1 ∂2 3 e−z −e
Res(f, 1) = − lı́m ((z − 1) ) =
z→1 2 ∂z 2 z(z − 1)3 2
Ası́
ez
Z
1 e
dz = 1 −
2πi γ z(1 − z)3 2
67. Sea f analitica en D. Suponga que |f (z)| ≤ 1 si |z| < 1.

Demuestre que |f 0 (0)| ≤ 1.
Obs. D := {z ∈ C : |z| < 1}.
Solución:
Z
0 1 f (w)
f (z) = dw
2πi γ (w − z)2
con γ(t) = reit y 0 ≤ t ≤ 2π.
Entonces
2π 2π
f (reit ) it f (reit )
Z Z Z
1 f (w) 1 1
f 0 (0) = dw = rie dt = dt
2πi γ w2 2πi 0 r2 e2it 2π 0 reit
Luego
2π 2π
|f (reit )|
Z Z
0 1 1 1
|f (0)| ≤ dt ≤ dt =
2π 0 r 2πr 0 r
para todo r < 1.
Entonces |f 0 (0)| ≤ 1 cuando r → 1−
68. Suponga que f es entera y que existen M > 0, R > 0, n ≥ 1

tales que
|f (z)| ≤ M |z|n ,
para |z| > R. Demuestre que f es un polinomio de grado ≤ n.
Solución:
X f (n) (0)
Como f (z) = zn y
n
n!
k!M (r)
|f (k) (0)| ≤
rk
≤ k!M rn−k → 0
cuando (n − k) ≤ 0 y donde M (r) = max|z|=r |f (z)| ≤ M rn para

r > R.
Por lo tanto f es un polinomio de grado a lo mas n
69. Sea f : C → C una función entera. Suponga que existe

constante positiva M tal que
|f (z)| ≤ M |z|1/2
para cada z ∈ C. Demuestre que f es constante.
Solución:
Sea 0 < r. Si |z| ≤ r, entonces |f (z)| ≤ M r1/2 .
Luego por la Desigualdad de Cauchy

n!
|f (n) (0)| ≤ M (r)
rn
con M (r) = max|z|=r |f (z)| ≤ M r1/2 .
Entonces
n!
|f (n) (0)| ≤ →0
rn−1/2
para todo n ≥ 1.
Ası́ f (n) (0) = 0 para todo n ≥ 1, por lo tanto f es constante.

Variable Compleja
Ejercicios Resueltos
Figueroa Romero Pedro

pedrofigueroa@live.com.mx
http://p-fold.blogspot.com
Última actualización: 6 de mayo de 2012
“But mathematics is the sister, as well as the servant, of the arts and is touched with the same
madness and genius.”
Harold Marston Morse
Índice
Índice 2
1. Números Complejos 3
1.1. Encuentra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Encuentra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Encuentra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4. Calcula todos los valores de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. En la teorı́a cuántica de fotoionización encontramos la identidad . . . . . . . . . . . 4
1.6. Demuestra algebraicamente que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.8. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.9. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Funciones de variable compleja 9

2.1. Determina si las funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2. Encuentra la función analı́tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3. Integración compleja 11
3.1. Calcula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2. Calcula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.3. Calcula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.4. Si C es el cı́rculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.5. Utiliza la fórmula integral de Cauchy para calcular . . . . . . . . . . . . . . . . . . . 12
3.6. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.7. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4. Series 14
4.1. Encontrar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.2. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.3. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.4. La teorı́a clásica de Langevin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4.5. El análisis de la difracción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.6. El factor de despolarización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.7. Expande la función factorial incompleta . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.8. Demuestre que el desarrollo en series de Laurent es único . . . . . . . . . . . . . . . 20
5. Referencias 21
1. Números Complejos
1.1. Encuentra
la parte real y la parte imaginaria de
√ √
2 + 3i
z=√ √
3 − 2i
Solución
√ √ √ √ ! √ √
2 + 3i 3 + 2i 6 + 5i − 6
z=√ √ √ √ = =i
3 − 2i 3 + 2i 5
entonces
<(z) = 0 =(z) = 1
1.2. Encuentra
√ √
3i
4
z, si z = − 21 + 2
Solución
Si decimos que z = r eiθ , se tiene

2π
|z| = 1 θ=
3
entonces
exp π6 i ,

 k =0
√ exp − π3 i ,

4
π kπ 
k =1
z = exp + i =
6 2 
 exp − 5π6 i , k =2
exp − 4π3 i , k =3

1.3. Encuentra
el recı́proco de x + iy, a) trabajando por completo con representación cartesiana y b)
trabajando con la forma polar pero expresando el resultado en forma cartesiana
Solución
x − iy x y
(x + iy)−1 = 2 2
= 2 2
−i 2
x +y x +y x + y2
−1 e−iθ cos θ − i sin θ x − iy
(x + iy)−1 = reiθ = = = 2
r r x + y2
1.4. Calcula todos los valores de
√
i
(−1 − i)
Solución
√
Sea ω = (−1 − i) i , entonces
√ h√ i
ω = exp [ln(ω)] = i ln(−1 − i) = exp i (ln|(−1 − i)| + i arg(−1 − i) + 2nπi )
√ √ √

5π 5π
= exp i ln(| − 1||1 + i|) + i + 2nπ = exp i ln( 2) + i + 2nπ
4 4
 h √ i
 exp √1 (i + 1) ln( 2) + i 5π 4 + 2nπ
2
= h √ i
 exp √1 (i − 1) ln( 2) + i 5π + 2nπ
2 4
1.5. En la teorı́a cuántica de fotoionización encontramos la identidad
ib
ia − 1
= exp [−2b arccot(a)]
ia + 1
donde a, b ∈ R. Verifica esta identidad.
Solución
ia − 1 ib

ia − 1
= exp ib ln = exp {ib [ln(ia − 1) − ln(ia + 1)]}
ia + 1 ia + 1
= exp {−b [arg(ia − 1) − arg(ia + 1)]} = exp {−b [arctan (−a) − arctan (a) + π]}

1
= exp {−b [−2 arctan (a) + π]} = exp −b −2 arccot +π
a
n h π io
= exp −b −2 −arccot(a) + + π = exp [−2b arccot(a)]
2
1.6. Demuestra algebraicamente que
|z1 | − |z2 | ≤ |z1 + z2 | ≤ |z1 | + |z2 |
Solución
(|z1 | − |z2 |)2 ≤ |z1 + z2 |2 ≤ (|z1 | + |z2 |)2
|z1 |2 − 2|z1 z2 | + |z2 |2 ≤ |z1 |2 + |z2 |2 + 2 <(z1 z¯2 ) ≤ |z1 |2 + 2|z1 z2 | + |z2 |2
−|z1 ||z2 | ≤ <(z1 z¯2 ) ≤ |z1 ||z2 |
−|z1 ||z2 | ≤ <(z1 )<(z2 ) + =(z1 )=(z2 ) ≤ |z1 ||z2 |
Es evidente que
−|z| ≤ <(z) ≤ |z| − |z| ≤ =(z) ≤ |z|
para cualquier z, por tanto se sigue que
<(z1 ) <(z2 ) =(z1 ) =(z2 )

−1 ≤ + ≤1
|z1 | |z2 | |z1 | |z2 |
es cierto para todo {z1 , z2 ∈ C : |z1 z2 | =

6 0}
donde la condición sólo descarta un caso trivial,
ya que implicarı́a que el módulo de cualquiera,
z1 o z2 fuera igual a cero.
1.7. Demuestra que
n−1
X sin(nx/2) h xi
cos kx = cos (n − 1)
sin x/2 2
k=0
n−1
X sin(nx/2) h xi
sin kx = sin (n − 1)
sin x/2 2
k=0
Solución
Véase que
n−1
X n−1
X n−1
X
(cos kx + i sin kx) = cos kx + i sin kx
k=0 k=0 k=0
entonces
n−1 n−1 x x x x
X X
ikx 1 − einx ein 2 e−in 2 − ein 2 ein 2
(cos kx + i sin kx) = e = = x x x x
k=0 k=0
1 − eix ei 2 e−i 2 − ei 2 ei 2
x
x x
x
−in x in x
ein 2 e−in 2 − ein 2 −ein 2 e 22i−e 2 x
ein 2 sin (nx/2)
= = −i x ix
= x
ei 2 sin x/2
x x x x

ei 2 e−i 2 − ei 2 −ei 2 e 22i−e 2
sin (nx/2) i x (n−1) sin (nx/2) h i x (n−1) x i
= e2 = < e2 + i = ei 2 (n−1)
sin x/2 sin x/2
n−1 n−1
sin (nx/2) n h xi h x io X X
= cos (n − 1) + i sin (n − 1) = cos kx + i sin kx
sin x/2 2 2
k=0 k=0
por tanto
n−1
X sin(nx/2) h xi
cos kx = cos (n − 1)
sin x/2 2
k=0
n−1
X sin(nx/2) h xi
sin kx = sin (n − 1)
sin x/2 2
k=0
1.8. Demuestra que
∞
X 1 − p cos x
pk cos kx =
1 − 2p cos x + p2
k=0
∞
X p sin x
pk sin kx =
1 − 2p cos x + p2
k=0
para todo −1 < p < 1. Estas series aparecen en la teorı́a del interferómetro
Fabry-Perot.
Solución
De forma análoga al ejercicio anterior

∞
X ∞
X ∞
X
k k
p (cos kx + i sin kx) = p cos kx + i pk sin kx
k=0 k=0 k=0
entonces
∞ n−1
!
X X 1 − pn einx
pk eikx = lı́m pk eikx = lı́m
n→∞ n→∞ 1 − peix
k=0 k=0
1 1 − p cos x + ip sin x 1 − p cos x + ip sin x
= ix
= 2 =
1 − pe 2 2
(1 − p cos x) + p sin x 1 − 2p cos x + p2
1 − p cos x p sin x
= +i
1 − 2p cos x + p2 1 − 2p cos x + p2
por tanto
∞
X 1 − p cos x
pk cos kx =
1 − 2p cos x + p2
k=0
∞
X p sin x
pk sin kx =
1 − 2p cos x + p2
k=0
1.9. Demuestra que
h −1
i
π = lı́m i z 1 − (−1)z
z→∞
Solución
Sea
h −1
i
f (z) = i z 1 − (−1)z
Para probar la proposición, nótese que

f sólo involucra a la variable dos veces, siendo una su recı́proco,
entonces podemos aprovechar este hecho, diciendo que
z −1 = w
para cualquier w ∈ C, y ası́
i [1 − (−1)w ]
f (w) =
w
Es claro entonces también que
lı́m z −1 = 0
z→∞
por tanto
lı́m f (z) = lı́m f (w)

z→∞ w→0
es decir
i [1 − (−1)w ]
lı́m f (w) = lı́m
w→0 w→0 w
= lı́m −i [(−1)w ln (−1)]
w→0
= lı́m −i [(−1)w (ln | − 1| + i arg(−1))]
w→0
= lı́m π (−1)w
w→0
h −1
i
= lı́m f (z) = lı́m i z 1 − (−1)z =π
z→∞ z→∞
como se querı́a demostrar.

2. Funciones de variable compleja
2.1. Determina si las funciones
!
p y
u(x, y) = ln 4 x2 + y 2 v(x, y) = arctan p
x + x2 + y 2
satisfacen las ecuaciones Cauchy-Riemann
Solución
Sean
x = r cos θ y = r sin θ
entonces por la regla de la cadena

∂u ∂u ∂u ∂ ∂u ∂u
= cos θ + sin θ = (−r sin θ) + (r cos θ)
∂r ∂x ∂y ∂θ ∂x ∂y
∂v ∂v ∂v ∂v ∂v ∂v
= cos θ + sin θ = (−r sin θ) + (r cos θ)
∂r ∂x ∂y ∂θ ∂x ∂y
Ası́, con las ecuaciones Cauchy-Riemann, se tiene que
∂u ∂v ∂v 1 ∂v
=− sin θ + cos θ =
∂r ∂x ∂y r ∂θ

∂u ∂v ∂v ∂v
= −r cos θ + sin θ = −r
∂θ ∂x ∂y ∂r
entonces, simplemente, ya que
√

∂u ∂ 1 1 ∂v 1 ∂ sin θ 1 ∂ θ
= ln r = = = arctan =
∂r ∂r 2r r ∂θ r ∂θ cos θ + 1 r ∂θ 2
∂u ∂v
= 0 = −r
∂θ ∂r
las ecuaciones Cauchy-Riemann se satisfacen para u, v
2.2. Encuentra la función analı́tica
w(z) = u(x, y) + iv(x, y)

si
a) u(x, y) = x3 − 3xy 2 ,
b) v(x, y) = e−y sin x
Solución a)
Se tiene
∂u ∂v
= 3x2 − 3y 2 =
∂x ∂y
∂u ∂v
= −6xy = −
∂y ∂x
entonces
Z
v(x, y) = (3x2 − 3y 2 ) dy = 3x2 y − y 3 + ξ(x)
∂v
= 6xy + ξ 0 (x)
∂x
por tanto
w(x) = (x3 − 3xy 2 ) + i(3x2 y − y 3 )
Solución b)
Se tiene
∂v ∂u
= e−y cos x = −
∂x ∂y
∂v ∂u
= −e−y sin x =
∂y ∂x
entonces
Z
u(x, y) = −e−y sin x dx = e−y cos x + ξ(y)
∂u
= −e−y cos x + ξ 0 (y)
∂y
por tanto
w(x) = (e−y cos x) + i(e−y sin x)

3. Integración compleja
3.1. Calcula
ez
I
dz
z
|z|=1
Solución
Por la fórmula integral de Cauchy
ez
I
dz = 2πi
z
|z|=1
3.2. Calcula
I
dz
z2 +1
|z|=2
Solución
I I I
dz dz dz
= A + B
z2 + 1 z+i z−i
|z|=2 |z|=2 |z|=2
= 2πi(A + B)
Al separar por fracciones parciales, entontramos A = −B, por tanto

I
dz
2
=0
z +1
|z|=2
3.3. Calcula
I
ez z −n dz
|z|=1
Solución
Por la forma diferencial de la fórmula integral de Cauchy,
ez
I
2πi
n
dz =
z (n − 1)!
|z|=1
3.4. Si C es el cı́rculo
de centro en z0 = 3i y radio 4, calcula
I
dz
C z3 + 9z
Solución
Se tiene
1 1 1 a b c
= = = + +
z3 + 9z 2
z(z + 9) z(z + 3i)(z − 3i) z z + 3i z − 3i
por tanto, por la fórmula integral de Cauchy

I I I
dz 1 1 1 1 πi
3
=a dz + c dz = 2πi(a + c) = 2πi − =
C z + 9z C z C z − 3i 9 18 9
3.5. Utiliza la fórmula integral de Cauchy para calcular

Z ∞
dx
−∞ x2 +x+1
Solución
Sea
1 1 1 a b
ξ(z) = = 2 = = +
q(z) z +z+1 (z − α)(z − β) z−α z−β
Las raı́ces de q(z) son

4 2
α = i3 β = −i 3
entonces, si C es la semicircunferencia de radio r para toda parte imaginaria mayor a cero

I I
dz dz 1 2π
2+z+1
=b = b2πi = 2πi = √
C z C z − β β − α 3
que es independiente del radio de la circunferencia, entonces
Z ∞
dx 2π
2
=√
−∞ x + x + 1 3
3.6. Demuestra que
I
n 2πi, n = −1
(z − z0 ) dz =
C 0, n=6 −1
donde C encierra al punto z = z0 en sentido positivo y n ∈ Z.
Solución
Parametrizando C como una circunferencia de radio R y centro z = z0 ,

I Z 2π
n
(z − z0 ) dz = i (Reiθ )n+1 dθ
C 0
n+1
2π
R iθ(n+1)

= e = 0, ∀n 6= −1
n+1 0
y para el caso n = −1 entonces se tiene

I Z 2π
n
(z − z0 ) dz = i dθ = 2πi
C 0
como se esperaba por el teorema integral de Cauchy
3.7. Demuestra que

I
1
z m−n−1 dz, m, n ∈ Z
2πi Γ
donde Γ encierra una vez el origen en sentido positivo, es una representación de la
delta de Kronecker δmn
Solución
Empleese una parametrización análoga a la del ejercicio anterior, con centro z = 0,

I Z 2π
1 m−n−1 1
z dz = (Reiθ )m−n dθ
2πi Γ 2π 0
2π
(Reiθ )m−n
= = 0, ∀m 6= n
2πi(m − n) 0
y para el caso m = n,
I Z 2π
1 1
z m−n−1 dz = dθ = 1
2πi Γ 2π 0
que también resulta trivial por el teorema integral de Cauchy.

4. Series
4.1. Encontrar
la expansión en serie de potencias (alrededor de z = 0) de
z
f (z) =
2+z
Solución
z z2 z3

z 1 z 1 z
=z = z = 1− + − + ...
2+z 2+z 2 2 +1 2 2 4 8
∞
z z2 z3 z4 X z k
= − + − + ... = − −
2 4 8 16 2
k=1
4.1.1.
z2 − 1
f (z) =
z2 + 7z + 12
Solución
z2 z2

−1 −1 2 1 1
= =z −1 −
z 2 + 7z + 12 (z + 3)(z + 4) z+3 z+4
z2 z3 z2 z3 z4

2 1 z 1 z
=z −1 − + − + ... − + − + − + ...
3 9 27 81 4 16 64 256 1024
37z 2 175z 3 781z 4

2 1 7z
=z −1 − + − + + ...
12 144 1728 20736 248832
1 7z 107z 2 833z 3 4547z 4
=− + + − + + ...
12 144 1728 20736 248832
4.1.2.
z2
f (z) =
(1 − z)3
Solución
z2 z2 d

1 2 1
f (z) = =z =
(1 − z)3 (1 − z)3 2 dz (1 − z)2
z 2 d2 z 2 d2

1
= = (1 + z + z 2 + z 3 + . . .)
2 dz 2 1 − z 2 dz 2
z2
= (2 + 6z + 12z 2 + 20z 3 + 30z 4 + 42z 5 + . . .)
2
= z 2 + 3z 3 + 6z 4 + 10z 5 + 15z 6 + . . .
4.2. Demuestra que
∞
z n X z n
lı́m 1+ =
n→∞ n n!
n=0
Solución
z n

Sea ωn = 1 + n .
Ahora bien, ωn = exp (ln ωn ), y sabemos que

z
ln ωn = n ln 1 +
n
z2 z3 z4

z
=n − + − + ...
n 2n2 3n3 4n4
∞
zk 1 k−1
X
= −
k n
k=1
por tanto concluimos que

∞
" #
zk 1 k−1
X
lı́m ωn = exp z + −
n→∞ k n
k=2
z
=e
cuya serie de Taylor alrededor de cero ya conocemos, esto es
X zn ∞
z n
lı́m 1+ = ez =
n→∞ n n!
n=0
La intención del ejercicio es emplear series de Taylor,

sin embargo se puede calcular directamente el lı́mite sin muchos problemas;
sea α = 1/n, entonces
−1
lı́m ωn = lı́m (1 + αz)α
n→∞ α→0
ln (1 + αz)
= lı́m
eα→0 α
z
= lı́m
eα→0 1 + αz

z
= lı́m exp
α→0 1 + αz
z
=e
tal como se habı́a encontrado.

4.3. Demuestra que
∞
Y 1 1
1− 2 =
k 2
k=2
Solución
∞ n 2
Y 1 Y k −1
1 − 2 = lı́m
k n→∞ k2
k=2 k=2
Examı́nese el producto finito de la secuencia:

n 2
(n − 1)2 − 1
2
Y k −1 3 8 15 n −1 Pp
= ··· =
k2 4 9 16 (n − 1)2 n 2 Pq
k=2
Inmediatamente se puede ver que
Pq = (n!)2
Para Pp pueden examinarse algunos casos
n = 4 =⇒ Pp = 3 · 8 · 15 = (2 · 3) · (3 · 4 · 5)
n = 5 =⇒ Pp = 3 · 8 · 15 · 24 = (2 · 3 · 4) · (3 · 4 · 5 · 6)
n = 6 =⇒ Pp = 3 · 8 · 15 · 24 · 35 = (2 · 3 · 4 · 5) · (3 · 4 · 5 · 6 · 7)
..
.
1
n ≥ 2 =⇒ Pp = (n − 1)! (n + 1)!
2
entonces reescribimos el producto como
n 2
Y k −1 (n − 1)! (n + 1)! n+1
= =
k2 2 (n!) 2 2n
k=2
por tanto
n 2
Y k −1 n+1
lı́m = lı́m
n→∞ k2 n→∞ 2n
k=2
1
= lı́m
n→∞ 2
∞
Y 1 1
= 1− 2 =
k 2
k=2
como se esperaba.
4.4. La teorı́a clásica de Langevin
del paramagnetismo lleva a una expresión para la polarización magnética,

cosh z 1
P (z) = c −
sinh z z
expande P (z) en serie de potencias alrededor de z = 0.
Solución
e2z + 1 1

P (z) = c −
e2z − 1 z

2 1
=c − +1
e2z − 1 z
   
∞
X 1
=c −2  e2zj  − + 1
z
j=0
  !j  
∞ X (2z)k
− 1 +1
 X 
=c −2 
 k! z 
j=0 k
Esta representación, aunque correcta, no es muy satisfactoria, hágase

1 1 1
P (z) = c 1 + z − −
e − 1 ez + 1 z
 !−1 !−1 
∞ k ∞ k
X z X z 1
=c  −1 − +1 +1− 
k! k! z
k=0 k=0
...calculando las inversas de ambas series *
z3 z5 z3 z5

1 1 z 1 z 1
P (z) = c − + − + ... − + − + − ... + 1 −
z 2 12 720 30240 2 4 48 480 z
z3 2z 5

z
P (z) = c − + − ...
3 45 945
También se puede emplear la serie de Taylor de tanh z y obtener la serie inversa;
la manera más tentadora, aunque quizá menos inmediata de obtener el resultado
es obtener la expansión en series de Laurent de coth z.
Se invita al lector a intentarlo.
*
Véase 2, se ofrece una explicación completa y sencilla, o en 4 se ofrecen las fórmulas para calcular los primeros
coeficientes.
4.5. El análisis de la difracción
de una abertura circular involucra
Z 2π
cos(c cos ϕ) dϕ
0
expande el integrando en series e integra usando

Z 2π Z 2π
2n (2n)!
cos ϕ dϕ = 2n 2π, cos2n+1 ϕ dϕ = 0
0 2 (n!)2 0
El resultado es 2π veces la función de Bessel J0 (c)
Solución
Z 2π Z 2π X∞
(c cos ϕ)2k
cos(c cos ϕ) dϕ = (−1)k dϕ
0 0 (2k)!
k=0
∞
(−1)k c2k 2π
X Z
= cos2k ϕ dϕ
(2k)! 0
k=0
∞
X (−1)k c 2k
= 2π = 2πJ0 (c)
(k!)2 2
k=0
4.6. El factor de despolarización

L para un esferoide oblato en un campo eléctrico uniforme paralelo al eje de rotación
es
1
1 + ζ0 2 (1 − ζ0 arccotζ0 )

L=
ε0
donde ζ0 define un esferoide oblato en coordenadas oblato-esferoides (ξ, ζ, ϕ).
Demuestra que
1 1
lı́m L = (esf era) lı́m L = (“sabana” delgada)
ζ0 →∞ 3ε0 ζ0 →0 ε0
Solución
Se tiene la expansión en serie de McLaurin (Taylor alrededor de cero)
π ζ0 3 ζ0 5
arccot ζ0 = − ζ0 + − + ...
2 3 5
con lo que se vuelve evidente que
1
lı́m L =
ζ0 →0 ε0
Ahora bien, podemos encontrar fácilmente la serie de Laurent, recordando que
1
arccot ζ0 = arctan
ζ0
Sea χ = 1/ζ0 , entonces
∞ χ 2k+1 ∞ 2k+1
X X 1
arctan χ = (−1)k = (−1)k , ∀|ζ0 | > 1
k ζ0 k
k=0 k=0
por tanto

1 2
1 1
L= 1 + ζ0 − + ...
ε0 3ζ0 2 5ζ0 4

1 1 1 1 1
= + − − + ...
ε0 3 3ζ0 2 5ζ0 2 5ζ0 4
y ası́ entonces se concluye que
1
lı́m L =
ζ0 →∞ 3ε0
4.7. Expande la función factorial incompleta

Z x
γ(n + 1, x) = e−t tn dt
0
en serie de potencias de x. ¿Cuál es el radio de convergencia de ésta?
Solución
∞
xX
tk n
Z
γ(n + 1, x) = (−1)k t dt
0 k=0 k!
∞ x
(−1)k
X Z
= tk+n dt
k! 0
k=0
∞
X (−1)k xk+n+1
=
k!(k + n + 1)
k=0
x2

n+1 1 x
=x − + − ...
n + 1 n + 2 2!(n + 3)
Analicemos entonces el radio de convergencia r,
m m+n+1 (m + 1)!(m + n + 2)

am
r = lı́m = lı́m (−1) x
m→∞ am+1 m→∞ m!(m + n + 1) (−1)m+1 xm+n+2
(m + 1)(m + n + 2)
= lı́m =∞
m→∞ −x(m + n + 1)
por tanto la serie converge ∀x ∈ R
4.8. Demuestre que el desarrollo en series de Laurent es único
Solución
La serie de Laurent de una función analı́tica f (z) en D : r1 < |z − z0 | < r2 es

+∞
X
An (z − z0 )n
n=−∞
por tanto si el desarrollo es único, existe

+∞
X +∞
X
n
Bn (z − z0 ) = f (z) = An (z − z0 )n
n=−∞ n=−∞
tal que An = Bn , esto es

+∞
X
(An − Bn )(z − z0 )n = 0
n=−∞
Sea ϑ un entero constante arbitrario, entonces

+∞
X +∞
X
n −ϑ−1
(An − Bn )(z − z0 ) (z − z0 ) = (An − Bn )(z − z0 )n−ϑ−1 = 0
n=−∞ n=−∞
Sea C un contorno positivo contenido en D, entonces también

I +∞
X
(An − Bn )(z − z0 )n−ϑ−1 dz = 0
C n=−∞
+∞
X I
(An − Bn ) (z − z0 )n−ϑ−1 dz = 0
n=−∞ C
por el teorema integral de Cauchy

+∞
X
2πi (An − Bn )δnϑ = 0
n=−∞
donde

1, si n = ϑ
δnϑ =
0, si n 6= ϑ
es la delta de Kronecker.
Ya que ϑ es arbitrario, se sigue que
An = Bn
como se querı́a demostrar.

68 Ejercicicoos 5.0

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

68 Ejercicicoos 5.0

Cargado por

Copyright:

Formatos disponibles

Capı́tulo 6

6.1. Ejercicios resueltos

eiw − e−iw = i(eiw + e−iw )z

∂u u(0, h) − u(0, 0) −∂v

Para ver que f 0 (0) no existe observamos que:

Si y = 0, el lı́mite es cero, esto es f 0 (0) = 0.

Luego f 0 (0) no existe.

3. Existe una función analitica f = u + iv tal que u(x, y) = ey/x

4. Halle una transformación de Möbius que deje fijos los puntos

z(1 − 4i) − 2(1 − i)

Recordemos ahora que para |z| < 1 tenemos

De esta manera obtenemos, para |z| < 1 la expresi´on

Ya que ww = λ2 , reemplazando tenemos que

⇔ zz − zz1 − z1 z + z1 z1 = λ2 (zz − zz2 − z2 z + z2 z2 )

⇔ (1 − λ2 )zz + z(λ2 z2 − z1 ) + z(λ2 z2 − z1 ) + |z1 |2 − λ2 |z

Por lo tanto es un cı́rculo si λ2 6= 1, de lo contrario es una recta.

7. Halle una transformación de Möbius que lleve los puntos

8. Demuestre que la función T (z) = zRe(z) es diferenciable sólo

T (z) − T (0) zRe(z)

T (z) − T (z0 ) zRe(z) − z0 Re(z0 ) 1 z(z + z) − z0 (z0 + z0 )

9. Halle el error en el siguiente argumento: ”Ya que (−z)2 = z 2

Si z = reiθ entonces z 2 = r2 e2iθ con −π ≤ θ ≤ π por lo cual ln(z 2 )

ln(z 2 ) = ln(r2 ) + 2iθ + 2kπi

(k ∈ Z). Por otra parte

−z 2 = (−1)z 2 = eiπ r2 e2iθ = r2 e2θ+π

ln(−z 2 ) = ln(r2 ) + (2θ + π)i + 2nπi = ln(r2 ) + 2θi + (2n + 1)πi

10. Encuentre el valor de

(3 − 4i)1+i = e(1+i) ln(3−4i)

11. Halle todas las raices de la ecuación:

eiz − eiz ez − e−z

Haciendo u = e(1+i)z = ez eiz entonces

f 0 (z) = 1(1 − z)−2

f 00 (z) = 1 · 2(1 − z)−3

f n (z) = n!(1 − z)−(n+1)

Ası́ f (n) (z) = −(n − 1)!(1 − z)−n con n = 1, 2, ...

(n) −n f (n) (−1/2)

(i) Demuestre que la función g(z) es continuación analitica de la

Tenemos que γ(t) = eit y γ 0 (t) = ieit con |γ(t)| = 1. Entonces

Donde γ(π/2) = eiπ/2 = i y γ(−π/2) = −i.

|γ(t) − a||γ(t) + a| = |Reit − a||Reit + a|

pero |z − a| ≥ ||z| − |a|| y |z + a| ≥ ||z| + |a||.

Ası́ tenemos que

|γ(t) − a||γ(t) + a| = |γ(t)2 − a2 | ≥ ||γ(t)|2 − |a|2 |

γ(t) = (z − 1)t + 1 con 0 ≤ t ≤ 1 y γ 0 (t) = z − 1.

21. Sea γ : [0, 1] → C una curva cerrada y suponga que z0 ∈

h0 (t) = −e−g(t) g 0 (t)(γ(t) − z0 ) + γ 0 (t)e−g(t)

Por lo tanto h(t) es constante.

Por otro lado h(0) = h(1) pero

h(0) = e−g(0) (γ(0) − z0 ) = (γ(0) − z0 )

24. De una expansión en serie de potencias de ln(z) en torno a

25. Verdadero o Falso: Existe una función analitica en z = 0 y

Si la respuesta es afirmativa, encuentre explicitamente la función

26. Suponga que al menos una de las desigualdades de Cauchy

f (z) tiene la forma f (z) = ck z k .

f (z) = c0 + c1 z + c − 2z 2 + ...cn zn+1

Por hipotesis tenemos

27. Demuestre que si f es una función no constante, analitica en

Principio del Módulo Máximo, |g(z)| no puede alcanzar su m’aximo

Por lo tanto |f (z)| no puede alxcanzar su mı́nimo valor en Ω

Res(f, 0) = Res((1 + z + z 2 )e1/z , 0) pues el resto es analı́tica en

Por otro lado Res(f, 1) = Res((1 + z + z 2 )e1/(z−1) , 1) pues el resto

i) Demuestre que |f (z)| ≤ |z| para |z| < 1.