PONTIFICIA UNIVERSIDAD CATOLICA

DE CHILE

FACULTAD DE MATEMATICAS

DEPARTAMENTO DE MATEMATICAS

Interrogacion 1 - 07/09/2015
Curso: Variable Compleja I
Sigla: MAT2705 - Segundo Semestre 2015
Profesor: Giuseppe De Nittis (gidenittis@mat.puc.cl)
Ayudante: Victor Canulef Aguilar (vacanulef@uc.cl)

NOMBRE:
APELLIDO:
R.U.T.:

Ej 1 Ej 2 Ej 3 Ej 4

N. T.

Tiempo: 120 minutos

Sin consultas de libros y notas

Ejercicio 1

(2 puntos)

Considere el operador diferencial lineal definido por

!

:=
+ i
.
z
2 x
y
(a) Prueba que

z
=0
z

z
=1
z

zC.
(1/4 de punto)

(b) Sean f1 = u1 + i v1 y f2 = u2 + i v2 dos funciones complejas definidas en el dominio A C,

tal que u1 , v1 u2 , v2 tienen derivadas parciales en A . Prueba que la regla de Leibniz se cumple,
es decir

( f1 f2 )
f2
f1
(z) = f1 (z)
(z) + f2 (z)
(z)
z
z
z

zA.
(1/4 de punto)

(c) Prueba que si

f
z (z0 )

, 0 entonces, f no puede ser analtica en z0 A .

Soluciones y notas estaran disponibles en la pagina web:

https://gdenittis.wordpress.com/interrogaciones-y-examen

Nota Total, N. T. = (Ej 1 + Ej 2 + Ej 3 + Ej 4) +1 .

1

(1/4 de punto)

(d) Sea g : A C analtica y f (z) := g(z) z m con m Z y z A . Prueba que

f
(z) = m g(z) z m1
z
y concluya que si g , 0, entonces f es analtica en z A {0} si y solo si m = 0. Que se
puede decir en el caso z = 0? Y en el caso g(z) = 0?

Ejercicio 2

(1/4 de punto)

(2 puntos)

Sea f la funcion compleja dada por

f (z) :=

x3 (1 + i ) y3 (1 i )
,
x2 + y2

z = x + iy , 0 .

(a) Explique por que f es continua en C {0}. Diga si f tiene una extension continua en todos C
y, en caso afirmativo, calcule f (0).

(1/4 de punto)

(b) Prueba que las ecuaciones de Cauchy-Riemann se cumplen si y solo si z = 0. (1/4 de punto)
(c) Es f analtica en z = 0?

(1/4 de punto)

(d) Calcule la integral de lnea a lo largo de la curva cerrada y orientada positivamente definida
por |z| = 1.

(1/4 de punto)

Ejercicio 3

(1 punto)

Sea f : A C y g : B C dos funciones con dominios tal que f (A ) B.

(a) Sean
lim f (z) = w0

zz0

lim g(w) = L

ww0

con w0 B.
() Asuma que hay un > 0y una -vecindad B (z0 ) := {z C | |z z0 | < } tal que para
todos z (A B (z0 )) {z0 } vale f (z) , w0 .
Sea g f : A C la funcion compuesta. Prueba que
lim (g f )(z) = L .

zz0

Como se simplifica la prueba si g es continua en w0 ? Que se puede decir si f y g son

continuas?

(1/3 de punto)

(b) Prueba que si f es analtica en z0 y g es analtica en w0 = f (z0 ), entonces g f es analtica en

z0 y la regla de la cadena
dg
df
d(g f )
(z0 ) =
(w0 )
(z0 )
dz
dw
dz
se cumple.

(1/3 de punto)

(c) Sea [a, b] 3 t 7 z(t) A la parametrizacion de un arco suave A y f una funcion analtica
en A . Prueba que

df
(z) dz = f (z(b)) f (z(a)) .
dz
(1/3 de punto)

Ejercicio 4

(1 punto)

Una transformacion de Mobius es un mapeo f : C C de la forma

az + b
cz + d
donde a, b, c, d son numeros complejos que verifican que ad bc , 0. Si c = 0 el mapeo f se llama
z 7 f (z) :=

una transformacion afn.

(a) Describa el dominio y el conjunto imagen del mapeo f , y establezca si este mapeo es uno-auno en los dos casos c , 0 y c = 0.

(1/3 de punto)

(b) Encuentre la transformacion f 1 que invierte f y compruebe que f 1 todava es una transformacion de Mobius.

(1/3 de punto)

Es conveniente extender el plano C de lon numeros complejos con la inclusion de un punto al infinito
denotado con el smbolo . Este nuevo conjunto C := C {} se llama plano complejo extendido.
El punto satisface las siguientes reglas algebraicas:
a + = +a =

b = b = ,

a
= 0

b
=
0

si a , ,
si b , 0 .

Note que y 0 no estan definidos.

(c) Comprueba que f es un mapeo uno-a-uno de C sobre s mismo y encuentre los puntos f () y
f 1 ().
Optativo: Hay alguna topologa en C que hace f continua?

(1/3 de punto)

Solucion Ejercicio 1.
(a) Sea z = x + i y y z = x i y. Entonces,

1 x i y
x i y
(x i y) =
+ i
z
2
x
y

1 ( i )2
.
2

!
=

(b) Note que

u1
u2
v2
v1
u1
v2
v1
u2
( f1 f2 )
= u2
+ u1
v1
v2
+ i v2
+ u1
+ u2
+ v1
x
x
x
x
x
x
x
x
x
u1
v1
u2
v2
= f2
+ i f2
+ f1
+ i f2
x
x
x
x
f2
f1
+ f1
= f2
x
x
y de manera similar para

( f1 f2 )
y .

Entonces,

( f1 f2 )
( f1 f2 )
f2
f2
+ i
= f1
+ i
x
y
x
y
(c) Sea f = u + i v. Un calculo muestra que
!

f
=
+i
(u + i v) =
2
z
x
y
Entonces, si

f
z (z0 )

!
+ f2

!
f1
f1
+ i
.
x
y

!
!
u v
v u

+i
+
x y
x y

, 0 las ecuaciones de Cauchy-Riemann no se cumplen en z0 . Pero la validez de las

ecuaciones de Cauchy-Riemann es una condicion necesaria para la analiticidad de f .

(d) Si g es analtica en z las ecuaciones de Cauchy-Riemann se cumplen en z y

g
z (z)

= 0. La aplicacion

de la regla de Leibniz (b) implica que

f
zm
(z) = g(z)
.
z
z
Si m > 0, por la regla de Leibniz sigue
zm
z m1
= z
+ z m1
z
z
y por recursion se demuestra que

zm
z

= m z m1 . Del mismo modo, si m 6 0 y z , 0, la regla de

Leibniz implica
z |m|
z (|m|+1)
= z
+ z (|m|+1)
z
z
zm
z

= m z m1 . Si m = 0, entonces f = g que es analtica en A .

Si m , 0, z , 0 y g(z) , 0 sigue que

, 0, es decir las ecuaciones de Cauchy-Riemann no se

y por recursion se demuestra que

f
z (z)

cumplen en z. Entonces, f no puede ser analtica. En z = 0 (y m > 0) o en g(z) = 0 (y z , 0) lo u nico

que se puede decir es que las ecuaciones de Cauchy-Riemann se cumplen. Sin embargo, esto no es
suficiente para la analiticidad.

Solucion Ejercicio 2.
(a) Note que la sustitucion x = 12 (z + z) y y =

1
2i

(z z) produce

z 2
1 + i
f (z) =
3 z +
.
4
z

Por z , 0 la funcion f es una composicion de funciones continuas, entonces f es continua. Note que


!2 
 2


z 
2
z
|1 + i |
 6
|z| 3 +
|z| 3 +   = 2 |z| .
| f (z)| =
4
z 
4
z

Entonces, si se fija f (0) = 0, sigue que
| f (z) f (0)| 6

2 |z 0| ,

ed decir la continuidad de f en z = 0.
(b) Por z , 0 la funcion z 7
diferencial

1
z

es definida y analtica. Entonces, se puede aplicar el operador

f
1+ i z
(z) =
, 0.
z
2 z
Esto demuestra que las ecuaciones de Cauchy-Riemann no se cumplen en z , 0. Este argumento no
se aplica en z = 0 ya que z 7

1
z

no es definida y no tiene derivadas parciales en z = 0. Sin embargo,

note que f = u + i v con

u(x, y) :=

x 3 y3
,
x 2 + y2

v(x, y) :=

Entonces,
u
u(, 0) u(0, 0)
(0, 0) = lim
= lim
0
0
x

u
u(0, ) u(0, 0)
(0, 0) = lim
= lim
0
0
y


3
2


3
2

v
v(0, ) v(0, 0)
(0, 0) = lim
= lim
0
0
y


3
2

u
v
(0, 0) =
(0, 0) ,
x
y

= lim

v(, 0) v(0, 0)
v
(0, 0) = lim
= lim
0
0
x


es decir


= 1
0 

3
 2

0

0


x3 + y3
.
x2 + y2

= lim

0

= lim

0


= 1



= 1



= 1
0 

= lim

u
v
(0, 0) = (0, 0) .
y
x

(c) La derivada en z = 0 esta dada por

2
3
f (h) f (0)
1 + i 1
h
1+ i
3 h +
= (1 + i ) +
lim
= lim
lim
h0
h0
h
4 h
h
4
4 h0

2
h

h

Sea h(t) := te i , t > 0, R. Note que h(t) 0 si t 0 y

f (h(t)) f (0)
3
1 + i i 4
= (1 + i ) +
e
h
4
4
Dado que el lmite depende desde el a ngulo , la funcion f no tiene derivada (y por lo tanto no es
lim
t0

analtica) en z = 0.

(d) Sea


I ( f ) :=

f (z) dz
|z|=1

El teorema fundamental del calculo implica que la integral de lnea de cualquier polinomio P(z) a lo
largo de una curva cerrada es cero. Entonces,


1+ i
I ( f ) =
4

|z|=1

z2
dz .
z

Sea [0, 2] 3 t 7 z(t) := e i t C una parametrizacion de . Entonces,

1+ i
I ( f ) =
4
Note que

Z
0


|z|=1

z(t) dz
i (1 + i )
(t) dt =
z(t) dt
4

z2
dz =
z

z(t)

i 1
dt =
4

e i 2t dt = 0 .

z 3 dz =

z 3 dz =
|z|=1

|z|=1

z 3 dz = 0 .
|z|=1

Solucion Ejercicio 3.
(a) Dado que g tiene limite en w0 sabemos que para cada > 0 existe un > 0 tal que




(g f )(z) L = g( f (z)) L <



0 <  f (z) w0  < .

si

Dado que f tiene limite en z0 sabemos que hay un 0 > 0 tal que


 f (z) w0  <

si



0 < z z0  < 0 ,

zA .

Entonces, para todos z A , 0 < |z z0 | < min(, 0 ) se cumple



0 <  f (z) w0  <
y consecuentemente


(g f )(z) L < ,
es decir limzz0 (g f )(z) = L. Si g es continua sabemos que




(g f )(z) L = g( f (z)) g(w0 ) <

si



 f (z) w0  < .

Entonces, no necesitamos la condicion adicional (). Si ambos f y g son continuas, (g f )(z0 ) =

g( f (z0 )) = g(w0 ) = L. Entonces, g f es continua en z0 .
(b) Sea
g(w) g(w )
dg

(w0 )

w w0
dw
(w) :=

si

w , w0 , w B

si

w = w0

Desde limww0 (w) = 0 tenemos que es continua en w = w0 . Si z , z0 podemos escribir

(g f )(z) (g f )(z0 )
g( f (z)) g( f (z0 ))
g( f (z)) g(w0 )
=
=
z z0
z z0
z z0
g( f (z)) g(w0 ) f (z) f (w0 )
=
f (z) w0
z z0
"
#
dg
f (z) f (w0 )
= ( f (z)) +
(w0 )
dw
z z0
La analiticidad de f implica la continuidad de f , es decir z z0 implica f (z) w0 . Entonces,
"
#
dg
f (z) f (w0 )
(g f )(z) (g f )(z0 )
= lim ( f (z)) +
(w0 ) lim
lim
zz
zz0
f (z)w0
z z0
dw
z z0
0
dg
df
=
(w0 )
(z0 ) .
dw
dz
(c) La misma prueba de la regla de la cadena establece que
d( f z)
df
dz
(t) =
(z(t))
(t) .
dt
dz
dt
Entonces,
Z

df
(z) dz :=
dz

Z
a

df
dz
(z(t))
(t) dt =
dz
dt

Z
a

d( f z)
(t) dt = [ f z]ba .
dt


Solucion Ejercicio 4.
(a) Si c = 0 (caso afn), a , 0 y d , 0. Entonces,
!
b
z +
.
f (z) = w :=
d
d
a

Esto mapeo es evidentemente inyectiva y sobreyectiva y tiene inversa

!
!
d
b
1
f (w) =
w
.
a
a
Se concluye que en el caso afn f : C C es una es una biyeccion de C en s mismo. Si c , 0
(caso general) f es bien definida si z , d/c. En z = d/c el denominador de f es cero mientras el
, 0. Entonces, f tiene dominio C {d/c}. Sobre este dominio
numerador es a(d/c) + b = adbc
c
f es inyectiva. De hecho,
f (z1 ) = f (z2 )

(az1 + b)(cz2 + d) = (az2 + b)(cz1 + d)

adz1 + bcz2 = adz2 + bcz1

(ad bc)z1 = (ad bc)z2

z1 = z2 .

Se verifica que el dominio imagen es C {a/c}. De hecho, sea z0 tal que f (z0 ) = a/c. Entonces,
az0 + b
a
=
cz0 + d
c

c(az0 + b) = a(cz0 + d)

bc = ad

(ad bc) = 0 .

Pero, la u ltima igualdad es falsa por hipotesis.

(b) Un calculo explcito muestra que
d w + b
cw+a
que es una transformacion de Mobius con dominio C {a/c} y dominio imagen es C {d/c}.
f 1 (w) =

(c) Si c , 0, como
f (z) =

a
cz

z+

b
c
d
c

a+
c+

b
z
d
z

basta poner f (d/c) = y f () = a/c. Para el mapeo inverso se deduce que f 1 (a/c) = y
f 1 () = d/c. En el caso c = 0 es bastante poner f () = y f 1 () = .
Se dice que la funcion f tiene lmite w cuando z ,
lim f (z) = w

si para todo > 0 existe un numero > 0 tal que

| f (z) w | <

si

|z| > .

Con esta definicion una transformacion de Mobius tiene lmite cuando z . Note que en esta
topologa una -vecindad es dada por B () := {z C | |z| > }.