VARIABLE COMPLEJA

Diana Milena Lpez Sierra; 20101167018

Alexis Yesid Tarazona Rincn; 20101167011
Wilson Forero;20101167029
Harold Arredondo ; 20091167014
13 de marzo de 2014
1
0.1. Proposicin
Proposicin 0.1.1. Bajo la proyeccin estereogrca, crculos en C y rectas en

C se transforman en crculos en S
2
y viceversa.
Veamos primero algunos preliminares:
TRANFORMACIONES DE MBIUS
Las transformaciones de Mbius son una familia muy importante de funcio-
nes de variable compleja. Son los cocientes no triviales de polinomios de primer
grado:
Denicin 0.1.1. Llamaremos transformaciones de Mbius a las funciones
M(z) =
az + b
cz + d
donde a, b, c, d son nmeros complejos tales que ad bc = 0.
Notar que si fuera ad bd = 0 entonces M(z) seria simplemente una cons-
tante.
El dominio de una transformacin de Mbius es todo C

as:
M() = lm
z
M(z) =
a
c
C

, M(
d
c
) =
Claramente M : C

es una funcin continua y tiene inversa:

M
1
(z) =
dz b
cz + a
Que es tambien una transformacin de Mbius.
En concecuencia las transformaciones de Mbius resultan ser homeomors-
mos de C

en s mismo. Un calculo directo muestra que la composicin de dos

transformaciones de Mbius es de nuevo una transformacin de Mbius, de esta
manera stas forman un grupo con la composicin de funciones.
Teorema 0.1.1. Toda transformacion de Mbius M deja jo al menos a un
punto de C

y si M no es la identidad entonces tiene a lo sumo dos puntos

jos.
Demostracin. Sea M(z) =
az + b
cz + d
. Supongamos primero que c = 0 (luego
d = 0,a = 0). Entonces se cumple M() = luego M tiene un punto jo. En
el plano nito M(z) = z tiene a lo sumo la solucin
b
d a
(siempre que a = d),
luego en total hay a lo sumo dos puntos jos. Ahora supongamos c = 0, con lo
que M() =
a
c
= , luego no es un punto jo. Tampoco lo es el punto
d
c
pues su imagen es . Entre los puntos restantes, la ecuacin M(z) = z equivale
a cz
2
+ (d a)z b = 0, que tiene una o dos soluciones en C.
2
Una consecuencia del teorema anterior es que si una transformacin de M-
bius tiene tres puntos jos entonces es la identidad. El teorema siguiente gene-
raliza este hecho.
Teorema 0.1.2. Si z
1
, z
2
, z
3
son tres puntos distintos de C

y w
1
, w
2
, w
3
son tambin puntos distintos entre s (aunque no necesariamente distintos de los
anteriores) existe una nica transformacin de Mbius M que cumple M(z
1
) =
w
1
, M(z
2
) = w
2
, M(z
3
) = w
3
.
Demostracin. La unicidad es consecuencia del teorema anterior: si dos trans-
formaciones M y N cumplen estas condiciones entonces MN
1
deja jos a
z
1
, z
2
, z
3
, luego es la identidad y por lo tanto M = N.
Supongamos que z
1
, z
2
, z
3
son nitos y que w
1
= 0, w
2
= , w
3
= 1. Para
que una transformacin
M(z) =
az + b
cz + d
cumpla M(z
1
) = 0 se ha de cumplir que az
1
+ b = 0, es decir que az + b =
a(z z
1
).
Del mismo modo la condicin M(z
2
) = equivale a cz +d = c(z z
2
). As
pues, M(z) =
a
c
z z
1
z z
2
.
La condicin M(z
3
) = 1 determina el cociente
a
c
=
z
3
z
2
z
3
z
1
y el resultado es
M(z) =
z
3
z
2
z
3
z
1
z z
1
z z
2
Es claro que esta transformacin cumple lo pedido.
Si uno de los puntos z es innito es fcil ver que la funcin que resulta de
tomar lmites en la expresin anterior cumple lo buscado. Concretamente sirven
las funciones
M(z) =
z
3
z
2
z z
2
,
z z
1
z
3
z
1
, M(z) =
z z
1
z z
2
Segn sea z
1
= , z
2
= , z
3
= .
En general podemos obtener dos transformaciones M y N tales que
M(z
1
) = 1, M(z
2
) = , M(z
3
) = 1
N(w
1
) = 1, N(w
2
) = , N(w
3
) = 1
y entonces MN
1
es la transformacin buscada.
Teniendo en cuenta que por tres puntos no alineados pasa una nica circun-
ferencia es claro que dadas dos rectas/circunferencias existe una transformacin
de M

obius que transforma una en otra.

3
Figura 1: La proyeccin estereogrca
PROYECCIN ESTEREOGRFICA
La proyeccin central desde el polo norte descrita en la gura 1 sugiere que
el plano complejo se puede pensar como la esfera unitaria en R
3
excluyendo
el polo norte. Resulta pues natural pensar que el polo norte corresponde a un
punto ideal que representa al innito.
Denicin 0.1.2. Los puntos del plano complejo junto con forman el plano
complejo extendido, denotado por

C.
Incluir el smbolo es particularmente til en el contexto de las transfor-
maciones de M obius complejas.
z
az + b
cz + d
con ad bc = 0, a, b, c, d C
stas son las nicas biyecciones meromorfas
1
de C en C. La esfera unitaria
S
2
= {x R
3
| |x| = 1},
llamada esfera de Riemann
2
, es el modelo requerido para incluir el punto al
innito.Para asociar cada punto en el plano con uno en S
2
usamos la siguiente
1
Una funcin se dice meromorfa si es analtica en una regin A excepto en los polos y, A es-
t contenida en el dominio de la funcin. Otra forma de considerar a las funciones es anulando
el punto donde se encuentra el polo a, esto es, si F(z) es meromorfa, entonces:(z a)
m
F(z)
cumple que es analtica en el punto a, y m es el orden del polo.
Se dice que una funcin es meromorfa en una regin o en todo el plano, si lo s para
cada punto de la regin o del plano.
Si F(z) es meromorfa en una regin dada o en todo el plano, tambin lo es
1
F(z)
; los
polos de cada una existen en los ceros de la otra, y del mismo orden.
Los polos de una funcin meromorfa en cualquier regin son un conjunto discreto, i.e.
la distancia entre los polos tiene una cota inferior; y si F(z) es meromorfa en cualquier regin
nita, incluyendo su lmite, F(z) slo puede tener un nmero fnito de polos en la regin.
Como
1
F(z)
tambin es meromorfa, F(z) slo puede tener un nmero fnito de ceros en la
regin; y como F(z) c es meromorfa (para cualquier constante c) F(z) slo puede asumir
un valor dado c en un conjunto nito de puntos en la regin.
2
La esfera de Riemann es una esfera obtenida del plano complejo dediante la adicion de un
punto del innito, puede ser visualizada como el plano complejo emvuelto alrededor de una
esfera
4
idea geomtrica: se toma el plano x
3
= 0 como el plano complejo C, y la lnea
que proyecta el polo norte e
3
= (0, 0, 1) de la esfera de Riemann a cualquier otro
punto x = (x
1
, x
2
.x
3
) en dicha esfera.
Esta lnea cruza el plano complejo en un nico punto, para encontrarlo se
parametriza
e
3
+ t(x e
3
), t R,
y se debe cumplir
[e
3
+ t(x e
3
)] e
3
= 0
e
3
e
3
+ t(x e
3
) e
3
= 0
1 + t(x e
3
) e
3
= 0
1 + t(x
1
, x
2
, x
3
1) e
3
= 0
1 + t(0, 0, x
3
1) = 0
t(0, 0, x
3
1) = 1

1
x
3
1
= t
1
1 x
3
= t
De donde el punto asociado a x es
e
3
+ t(x e
3
) = e
3
+
1
1 x
3
(x e
3
)
= e
3
+
1
1 x
3
(x
1
, x
2
, x
3
1)
= e
3
+

x
1
1 x
3
,
x
2
1 x
3
,
x
3
1
1 x
3

= (0, 0, 1) +

x
1
1 x
3
,
x
2
1 x
3
,
x
3
1
1 x
3

x
1
1 x
3
,
x
2
1 x
3
, 1 +
x
3
1
1 x
3

x
1
1 x
3
,
x
2
1 x
3
,
1 x
3
+ x
3
1
1 x
3

x
1
1 x
3
,
x
2
1 x
3
, 0

Una prueba geomtrica de este hecho se obtiene observando que la proyeccin

de x debe tener la direccin de (x
1
, x
2
), y por semejanza(gura 2) de tringulos
se obtiene que
|z|
1
=

x
2
1
+ x
2
2
1 x
3
5
Figura 2: Semejanza de triangulos formados
. Con base en estas ideas se dene la funcin
: S
2
{e
3
} C, dada por (x
1
, x
2
, x
3
)
x
1
+ ix
2
1 x
3
Veamos que es una biyeccin de S
2
{e
3
} al plano complejo C
1. es inyectiva. Para demostrar esto se construye la inversa. Obsrvese que
si z = (x
1
, x
2
, x
3
), se tiene que
|z|
2
=

x
1
+ ix
2
1 x
3

2
=
|x
1
+ ix
2
|
2
|1 x
3
|
2
=
x
2
1
+ x
2
2
(1 x
3
)
2
=
1 x
2
3
(1 x
2
3
)
2
porque (x
1
, x
2
, x
3
) S
2
=
1 + x
3
1 x
3
y despejando obtenemos
x
3
=
|z|
2
1
|z|
2
+ 1
(1)
Tambin
z + z =
x
1
+ ix
2
1 x
3
+
x
1
ix
2
x
3
1
=
2x
1
1 x
3
porque z + z = 2Re(z)
6
y
x
1
=
(z + z)(1x
3
)
2
=
z + z
2
(1 x
3
)
=
z + z
2

1
|z|
2
1
|z|
2
+ 1

=
z + z
2

|z|
2
+ 1 |z|
2
+ 1
|z|
2
+ 1

=
z + z
2

2
|z|
2
+ 1

esto es,
x
1
=
z + z
|z|
2
+ 1
(2)
Finalmente, como
z z =

x
1
+ ix
2
1 x
3

x
1
ix
2
1 x
3

=
x
1
x
1
+ 2ix
2
1 x
3
=
2ix
2
1 x
3
se sigue que
x
2
=
(z z)(1 x
3
)
2i
=
(z z)
2i

2
1 +|z|
2

es decir
x
2
=
z z
(1 +|z|
2
)i
(3)
Por consiguiente, es inyectiva, ya que z determina (x
1
, x
2
, x
3
).
Se puede comprobar tambien de la funcin
(z) =

z + z
|z|
2
+ 1
,
z z
i(|z|
2
+ 1)
,
|z|
2
1
|z|
2
+ 1

es inversa por la izquierda de .

7
2. es sobre.
Dado z C, (z) S
2
, en efecto:
Sea z = a + ib C, entonces
(z) =

z + z
|z|
2
+ 1
,
z z
i(|z|
2
+ 1)
,
|z|
2
1
|z|
2
+ 1

luego,
|(z)| =

z + z
|z|
2
+ 1

2
+

z z
(|z|
2
+ 1)

2
+

|z|
2
1
|z|
2
+ 1

2
1
2
=

2a
|z|
2
+ 1

2
+

2b
(|z|
2
+ 1)

2
+

|z|
2
1
|z|
2
+ 1

2
1
2
=

4a
2
+ 4b
2
+ (|z|
2
1)
2
(|z|
2
+ 1)
2
1
2
=

4(a
2
+ b
2
) +|z|
4
2|z|
2
+ 1
(|z|
2
+ 1)
2
1
2
=

4|z|
2
+|z|
4
2|z|
2
+ 1
(|z|
2
+ 1)
2
1
2
=

|z|
4
+ 2|z|
2
+ 1
(|z|
2
+ 1)
2
1
2
=

(|z|
2
+ 1)
2
(|z|
2
+ 1)
2
1
2
por lo tanto |(z)| = 1
es decir (z) S
2
Luego, si (z) = = (y
1
, y
2
, y
3
) y () = z

, usando las ecuaciones:

x
3
=
|z|
2
1
|z|
2
+ 1
, x
2
=
z z
(1 +|z|
2
)i
, x
1
=
z + z
|z|
2
+ 1
se tiene:
|z

|
2
=
1 + y
3
1 y
3
2Rez

|z

|
2
+ 1
= y
1
=
2Rez
|z|
2
+ 1
2Imz

i(|z

|
2
+ 1)
= y
2
=
2Imz
i(|z|
2
+ 1)
Por lo cual,
8
Rez

=Rez, Imz

=Imz, i.e.z

= z
Haciendo corresponder con (0,0,1) se obtiene una biyeccin entre S
2
y
C, lo cual nos da el modelo buscado. A esta biyeccin se le llama proyeccin
estereogrca.
Retomando la proposicin tenemos:
Proposicin 0.1.2. Bajo la proyeccin estereogrca, crculos en C y rectas en

C se transforman en crculos en S
2
y viceversa.
Figura 3: Interseccin de un plano con la esfera
Demostracin. Probamos primero que un crculo en la esfera se transforma en
una recta o un circulo en el plano. Un crculo en S
2
es la interseccin de un
plano con la esfera(gura 3), es decir, satisface una ecuacin
ax
1
+ bx
2
+ cx
3
= d
Dado que, este crculo es la imagen bajo la proyeccin estereogrca de un
conjunto cuyos puntos son:
x
3
=
|z|
2
1
|z|
2
+ 1
, x
2
=
z z
(1 +|z|
2
)i
, x
1
=
z + z
|z|
2
+ 1
entonces se debe satisfacer,
a
z + z
|z|
2
+ 1
+ b
z z
i(|z|
2
) + 1
+ c
|z|
2
1
|z|
2
+ 1
= d
Considerando z = x + iy, esta ecuacin se transforma en
2ax
x
2
+ y
2
+ 1
+
2by
x
2
+ y
2
+ 1
+ c
x
2
+ y
2
1
x
2
+ y
2
+ 1
= d
2ax + 2by + c(x
2
+ y
2
1) = d(x
2
+ y
2
+ 1)
9
Si d = c tenemos,
2ax + 2by = d(x
2
+ y
2
+ 1) d(x
2
+ y
2
1)
2ax + 2by = dx
2
+ dy
2
+ d dx
2
dy
2
+ d
2ax + 2by = k
que es la ecuacin de una recta en el plano.
Si d = c tenemos,
2ax + 2by + c(x
2
+ y
2
1) = d(x
2
+ y
2
+ 1)
2ax + 2by + cx
2
+ cy
2
dx
2
dy
2
= k
Ax
2
+ By
2
+ Dx + Ey + F = 0
que es la ecuacin de un circulo en el plano(al completar cuadrados no se puede
obtener un radio negativo, puesto que se trata de la imagen de uno no vaco).
Probamos ahora que una recta en el plano se transforma en un crculo en la
esfera.
Una recta esta denida por la ecuacin
ax + by = c
Estos puntos bajo la proyeccion estereogrca son llevados al conjunto de puntos
en la esfera denidos por la ecuacin
a
x
1
1 x
3
+ b
x
2
1 x
3
= c
equivalentemente
ax
1
+ bx
2
= c(1 x
3
)
Lo cual esta contenido en un plano, y puesto que es un subconjunto de la esfera,
debe ser un crculo. Este crculo pasa por el polo norte, ya que () = (0, 0, 1).
Finalmente, un crculo en el plano est denido por las ciguientes ecuaciones:
|z a|
2
= r
2
,
(z a)(z a) = r
2
|z|
2
az az +|a
2
| = r
2
,
Usando que |z|
2
=
1 + x
3
1 x
3
tenemos,
1 + x
3
1 x
3
2Re(az) = r
2
|a|
2
10
Denamos a = a
1
+ ia
2
, z = x + iy, entonces Re(az) = a
1
x + a
2
y y la imagen
del crculo en la esfera est denida por las siguientes ecuaciones:
1 + x
3
1 x
3
2(a
1
x + a
2
y) = r
2
|a|
2
,
1 + x
3
1 x
3
2a
1
x
1
1 x
3
2a
2
x
2
1 x
3
= r
2
|a|
2
,
1 + x
3
2a
1
x
1
2a
2
x
2
1 x
3
= r
2
|a|
2
,
1 + x
3
2a
1
x
1
2a
2
x
2
= (r
2
|a|
2
)(1 x
3
).
se sigue entonces que estos puntos estn contenidos en un plano y por lo tanto
constituyen un crculo en la esfera.
Ejemplo 0.1.1. Los siguientes ejemplos son ilustraciones de la proposicin
anterior es decir, que bajo la proyeccin estereogrca, crculos en C y rectas en

C se transforman en crculos en S
2
y viceversa.
1. Consideremos el plano x 2y + 3z = 2 y veamos gracamente(gura 4)
que su interseccin con S
2
es diferente de vacio.
Figura 4: interseccin del plano x 2y + 3z = 2 con S
2
Bajo la proyeccin estereogrca tenemos:
x =
z

+ z

|z

|
2
+ 1
, y =
z

(1 +|z

|
2
)i
, z =
|z

|
2
1
|z

|
2
+ 1
,
11
donde z

= a + bi. As se debe satisfacer,

z

+ z

|z

|
2
+ 1
2
z

i(|z

|
2
) + 1
+ 3
|z

|
2
1
|z|
2
+ 1
= 2
2a
a
2
+ b
2
+ 1

4b
a
2
+ b
2
+ 1
+ 3
a
2
+ b
2
1
a
2
+ b
2
+ 1
= 2
2a + 4b + 3(a
2
+ b
2
1) = 2(a
2
+ b
2
+ 1)
Resolviendo esta ultima obtenemos la ecuacin a
2
+ 2a + b
2
+ 4b 5 = 0
que es la ecuacin de una circunferencia.
Figura 5: a
2
+ 2a + b
2
+ 4b 5 = 0
2. Tomemos una recta de la forma 2x + 5y = 3, estos puntos bajo la proyec-
cion estereogrca son llevados al conjunto de puntos en la esfera denidos
por la ecuacin
2
x
1
1 x
3
+ 5
x
2
1 x
3
= 3
equivalentemente
2x
1
+ 5x
2
= 3(1 x
3
)
Lo cual esta contenido en un plano, y puesto que es un subconjunto de
la esfera, debe ser un crculo. Este crculo pasa por el polo norte, ya que
() = (0, 0, 1) como se muestra en la gura 6.
3. Finalmente, un crculo en el plano est denido por
|z a|
2
= r
2
,
(z a)(z a) = r
2
|z|
2
az az +|a
2
| = r
2
,
12
Figura 6: 2x
1
+ 5x
2
= 3(1 x
3
)
Usando que |z|
2
=
1 + x
3
1 x
3
tenemos,
1 + x
3
1 x
3
2Re(az) = r
2
|a|
2
Denamos a = 1 + i, z = x + iy, r = 2, entonces Re(az) = x + y y la
imagen del crculo en la esfera est denida por las siguientes ecuaciones:
1 + x
3
1 x
3
2(x + y) = 4 2,
1 + x
3
2x
1
2x
2
= 2(1 x
3
).
estos puntos estn contenidos en un plano y por lo tanto constituyen un
crculo en la esfera(gura 7).
0.2. Ejercicio
Ejercicio 0.2.1. Sea G C un abierto no vacio y f H(G) sin ceros en G.
Una funcin F H(G) se llama un logaritmo de f si e
F(z)
= f(z), z G.
Prubese que son equivalentes:
1. G es simplemente conexo.
2. Si f H(G) no tiene ceros en G, la funcin
f

f
posee una primitiva en G.
13
Figura 7: 1 + x
3
2x
1
2x
2
= 2(1 x
3
)
3. Toda f H(G) sin ceros en G posee un logaritmo en G
4. Para cada a C/G existe un logaritmo holomorfo de z a.
Demostracin. Esta equivalencia la demostraremos por medio de la siguiente
cadena a b c d a
1. Si G es simplemente conexo, entonces 0(G) para cualquier camino
en G. En especial para g siendo g =
f

f
H(G), entonces

g = 0 para
todo camino cerrado en G
3
, de esto g tiene una primitiva.
2. Suponiendo que G es conexo. Sea f H(G) sin ceros en G entonces
por hiptesis existe h(z) una primitiva de la funcin g =
f

f
H(G) es
decir, h

(z) = g(z). Como denimos el logaritmo de f en el enunciado

si e
F(z)
= f(z) derivando lo anterior tenemos F

(z)e
F(z)
= f

(z) de ello
tengo F

(z) =
f

(z)
f(z)
. En base a lo anterior puedo construir un w(z) =
e
h(z)
f(z) derivando tenemos:
3
Sea f una funcin continua de un conjunto abierto U y supongamos una curva en U,
esto es todos los valores (t) en U para a t b. Deniremos la integral f a lo largo de
por:

f =

b
a
f((t))

(t)dt
Y si f es una funcin continua en U que admite un holomorsmo primitivo g y cualquier
camino cerrado en U, tenemos

f = 0
14
w

(z) = f

(z)e
h(z)
f(z)e
h(z)
h

(z)
= f

(z)e
h(z)
f(z)e
h(z)
f

(z)
f(z)
=
f

(z)f(z)e
h(z)
f

(z)f(z)e
h(z)
f(z)
= 0
Por tanto, al ser G conexo, la funcin w(z) es constante
4
. De esto tengo
w(z) = a = 0, de lo anterior tendremos que existir un b C tal que
a = e
b
y e
b
= e
h(z)
f(z) tal que f(z) = e
b
e
h(z)
= e
b+h(z)
con lo que
h(z) + b es un logaritmo de f.
3. Considerando la funcin g : G C tal que g(z) = z a. Tenemos que
z G y que a C/G y por tanto g(z) = 0 para cualquier z G. Ademas,
tenemos que g H(G) y unido a la parte (3) ya que toda funcin f G
sin ceros en G, posee un logaritmo en G tenemos que g tiene un logaritmo
holomorfo en G.
4. Debemos concluir que todo camino cerrado en G es homlogo a 0 en
G, en otras palabras tenemos que Ind(, a) = 0 para cualquier punto
a C/G. Para ello sabemos que:
Ind
5
(, a) =
1
2i

d
a
Unido a esto por hiptesis, se tiene que existe F(z) logaritmo de g(z) =
z a, y con esto tenemos que e
F(z)
= z a. Por tanto:
F

(z) = g

(z)e
F(z)
= e
F(z)
=
1
g(z)
=
1
z a
Por lo anterior tenemos que:
Ind(, a) =
1
2i

d
a
=
1
2i

(z)d
4
Si U es un conjunto conectado abierto, y sea f una funcin holomorfa en U. Si f

= 0
entonces f es constante
5
Sea D un disco cerrado de radio positivo, y sea f un holomorsmo en D. Sea un circulo
que es cota de D. Entonces para toda z
0
D tendremos que:
f(z
0
) =
1
2i

f(z)
z z
0
dz