Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Variable Compleja
Variable Compleja
Indice general
Prefacio
I. Variable Compleja
I.1. Los N
umeros Complejos . . . . . . . . . . . . . . . . . . . . . . . .
I.1.1. El Plano Complejo C . . . . . . . . . . . . . . . . . . . . .
I.1.2. Conjugado de un n
umero complejo . . . . . . . . . . . . . .
I.1.3. M
odulo de un n
umero complejo . . . . . . . . . . . . . . . .
I.1.4. Sustracci
on y Divisi
on . . . . . . . . . . . . . . . . . . . . .
I.1.5. Forma Polar . . . . . . . . . . . . . . . . . . . . . . . . . .
I.1.6. Topologa del Plano Complejo C . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
I.1.7. El plano complejo acabado C
I.2. Funciones Complejas . . . . . . . . . . . . . . . . . . . . . . . . . .
I.2.1. Representaciones Gr
aficas de Funciones Complejas . . . . .
I.2.2. Funciones Complejas Remarcables . . . . . . . . . . . . . .
I.2.3. El Logaritmo Complejo . . . . . . . . . . . . . . . . . . . .
I.2.4. Funciones Trigonometricas Complejas . . . . . . . . . . . .
I.3. Funciones Diferenciables . . . . . . . . . . . . . . . . . . . . . . . .
I.3.1. Funciones Holomorfas . . . . . . . . . . . . . . . . . . . . .
I.4. Funciones Conformes . . . . . . . . . . . . . . . . . . . . . . . . . .
I.4.1. Homografas . . . . . . . . . . . . . . . . . . . . . . . . . .
I.4.2. Representaci
on Conforme . . . . . . . . . . . . . . . . . . .
I.5. Integraci
on Compleja . . . . . . . . . . . . . . . . . . . . . . . . . .
I.6. Un Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . .
I.7. Formulas Integrales de Cauchy . . . . . . . . . . . . . . . . . . . .
I.8. Series Enteras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
I.8.1. C
alculos con Series Enteras . . . . . . . . . . . . . . . . . .
I.8.2. Teoremas de Unicidad y Prolongamiento Analitico . . . . .
I.8.3. Otros Resultados de las Funciones Holomorfas . . . . . . .
I.9. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . .
I.9.1. Puntos Singulares Aislados de Funciones Holomorfas . . . .
I.10. Residuos y Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . .
I.10.1. C
alculo de Residuos . . . . . . . . . . . . . . . . . . . . . .
I.10.2. C
alculo de Integrales . . . . . . . . . . . . . . . . . . . . . .
I.10.3. Valor Principal de Cauchy . . . . . . . . . . . . . . . . . . .
I.11. Funciones Meromorfas . . . . . . . . . . . . . . . . . . . . . . . . .
I.11.1. Desarrollo en Fracciones Parciales de Funciones Meromorfas
I.11.2. N
umero de Ceros y Polos de Funciones Meromorfas . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
4
5
5
5
6
6
7
8
8
12
14
15
17
18
20
24
27
36
41
43
45
49
51
55
58
60
61
63
68
69
70
73
ii
INDICE GENERAL
Indice de figuras
I.1.1.
I.1.2.
I.2.1.
I.2.2.
I.2.3.
I.2.4.
I.2.5.
I.2.6.
I.3.1.
I.4.1.
I.4.2.
I.4.3.
I.8.1.
Transformaciones de R2 . . . . . . . . . . . . . . . . . . . .
Proyeccion Estereogr
afica. . . . . . . . . . . . . . . . . . . .
Gr
afica de los Grafos . . . . . . . . . . . . . . . . . . . . . .
Gr
afica Transformaci
on . . . . . . . . . . . . . . . . . . . .
Gr
afica del Campo de Vectores . . . . . . . . . . . . . . . .
Funci
on Lineal no Nula . . . . . . . . . . . . . . . . . . . .
Funci
on Exponencial . . . . . . . . . . . . . . . . . . . . . .
Imagen de una Banda . . . . . . . . . . . . . . . . . . . . .
Funci
on continua, Cauchy-Rieman, pero no C-diferenciable
Ejemplo de Funci
on Conforme . . . . . . . . . . . . . . . . .
Transformaci
on de Cayley . . . . . . . . . . . . . . . . . . .
Representaci
on conforme de sin . . . . . . . . . . . . . . . .
5
2
3
Polinomio de Taylor z z3 + z5 + + z255 en R y en C . .
I.8.2.
I.8.3.
I.8.4.
I.8.5.
I.11.1.
I.11.2.
Gr
aficas de parte real e imaginaria de (z 1) (z1)
2
Composici
on de Series . . . . . . . . . . . . . . . . .
Principio del Prolongamiento Analitico . . . . . . . .
Demostracion Teorema de la Aplicaci
on Abierta . . .
Mapas de cot z y csc z . . . . . . . . . . . . . . . . .
2
Indice de Cauchy para f (z) = zez4
i . . . . . . . . . .
iii
+
. .
. .
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
(z1)3
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(z1)n
n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
7
8
9
9
10
11
12
16
19
24
26
45
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
47
51
54
72
74
iv
INDICE DE FIGURAS
Prefacio
vi
PREFACIO
Captulo I
Variable Compleja
En lo que concierne la teora del an
alisis complejo, tres puntos de vista predominan en la actualidad:
Integraci
on Compleja (Cauchy 1814-1830).
Aplicaciones holomorfas C R (Tesis de Riemann 1851).
Series enteras (Cauchy 1831-1846, Weirstra).
Comenzaremos este captulo por el calculo diferencial y las funciones holomorfas seg
un Riemann. Luego,
seguiremos la evoluci
on de Cauchy (integrales complejas, formula de Cauchy). Veremos que cada funci
on
holomorfa es analtica (admite un desarrollo en serie de potencias). Estas series simplifican la teora (punto
de vistas de Weirstra),
I.1.
Los N
umeros Complejos
Si bien los n
umeros complejos son familiares para todos los que siguen este curso, se vio, por ejemplo, en el
primer de a
no de An
alisis, en esta seccion abordaremos el plano complejo con una optica geometrica, para
comprender y asimilar la riqueza y potencia que tiene esta teora.
Sabemos que el conjunto de los n
umeros reales R provisto de la adici
on y la multiplicaci
on es un cuerpo
completo con un orden compatible con dichas operaciones. Geometricamente R asociamos a una recta, que
la llamamos recta real. Como es de conocimiento de todos, la ecuacion
x2 + 1 = 0,
no tiene soluci
on en R. Nuestro objetivo sera construir un cuerpo que contenga R en el cual dicha ecuacion
tenga solucion.
Como R esta asociado a una recta, vamos a construir un cuerpo que este asociado a un plano (real); ya
que la extensi
on inmediata de una recta constituye un plano. Consideremos
R2 = {(x, y)| x, y R}.
Este conjunto con la adici
on definida por
(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )
y la multiplicaci
on por escalar
(x, y) = (x, y)
es un espacio vectorial real. En el curso de Geometra, se estudi
o con detalle las propiedades de los diferentes
objetos y las transformaciones que les estan asociadas.
1
Homotecia
Rotacion
Similitud
(I.1.1)
a b
b a
I.1. LOS NUMEROS
COMPLEJOS
Denotamos por S+ (R, 2) al grupo de las similitudes directas, que por cierto no solamente es un grupo abeliano
para la composici
on de aplicaciones, sino tambien:
Teorema I.1.2 S+ (R, 2) {0} es un subespacio vectorial real de dimensi
on 2 del espacio End(R2 ) de las
aplicaciones lineales en R2 .
Demostraci
on.- Puesto que existe un isomorfismo natural (por la eleccion de las bases canonicas) entre
End(R2 ) y M2,2 (R) el espacio de las matrices reales de 2 2 es suficiente ver que las matrices asociadas a
las similitudes mas la matriz nula forman un subespacio vectorial. El resto lo dejamos como ejercicio.
I.1.1.
El Plano Complejo C
Hemos visto que R2 es un espacio vectorial para la adicion, para que R2 tenga la estructura de un cuerpo
conmutativo, solo falta dotarle de una multiplicaci
on.
Consideremos la aplicaci
on dada por
: R2
S+ (R, 2) {0}
a b
(a, b)
7
.
b a
Utilizando el ejercicio y la proposicion precedentes, se demuestra (nuevamente otro ejercicio para el alumno)
que es un isomorfismo de espacios vectoriales reales. Denotamos por : S+ (R, 2) {0} R2 la aplicaci
on
inversa de . Se ve inmediatamente que
a b
a
=
= (a, b).
(I.1.2)
b a
b
Definamos la multiplicaci
on en R2 de la siguiente manera. Sean z1 = (a1 , b1 ) y z2 = (a2 , b2 ) elementos de
2
R , planteamos
z1 z2 = ((z1 ) (z2 )).
(I.1.3)
Desarrollando (I.1.3), se obtiene explcitamente:
(a1 , b1 ) (a2 , b2 )
a1
b1
b1
a1
=
a1 a2 b1 b2
=
a1 b2 + a2 b1
a2
b2
b2
a2
a1 b2 a2 b1
a1 a2 b1 b2
a1 a2 b1 b2
= (a1 a2 b1 b2 , a1 b2 + a2 b1 ) =
a1 b2 + a2 b1
(I.1.4)
Demostraci
on.- En efecto, R2 con la adicion es un grupo abeliano, ya visto en un cursos anteriores.
Remarquemos que el elemento cero es 0R2 = (0, 0) y el opuesto de (a1 , a2 ), (a1 , a2 ) = (a1 , a2 ).
R2 {0R2 } es un grupo abeliano para la multiplicaci
on, porque la multiplicaci
on definida mas arriba es
una ley de composici
on interna, verificacion simple, y por que S+ (R, 2) es un grupo para la multiplicaci
on.
La distributividad de la multiplicaci
on respecto a la adici
on esta asegurada por que y son aplicaciones
lineales.
Definici
on I.1.2 R2 provistos de la adici
on y la multiplicaci
on definida m
as arriba se llama cuerpo de los
n
umeros complejos o plano complejo y se lo denota por C.
Remarcas.1. 1C = (1, 0), 0C = (0, 0). Se define i = (0, 1). Un peque
no calculo da i2 = 1C .
2. La inyeccion natural j : R C, j(a) = (a, 0) es compatible con la adicion y la multiplicaci
on, lo que
hace que R sea un subcuerpo de C. En el lenguaje algebraico, esto se llama extension de cuerpos.
3. En realidad j(R) C, pero para darle fluidez a la teora, se acostumbra a suponer que R C, con lo
que utilizamos los smbolos 1 y 0 para referirnos al uno y cero de R o C dependiendo el contexto. Es
frecuente utilizar la notaci
on
z = a + ib,
con a, b R para representar z = (a, b). Este tipo de notacion facilita los calculos aritmeticos en C.
4. Si z = (a, b) = a + ib, <z = a es la parte real de z, =z = b, la parte imaginaria de z. R se lo conoce
como el eje real del plano complejo y iR = {ia|a R} el eje imaginario.
5. El algebra en C es identica a la de R, con ademas i2 = 1.
I.1.2.
Conjugado de un n
umero complejo
z = (z),
(
z )1 = (z 1 ), z 6= 0.
(I.1.5)
(I.1.6)
(I.1.7)
(I.1.8)
(I.1.9)
(I.1.10)
(I.1.11)
(I.1.12)
(I.1.13)
Demostraci
on.- Ejercicio.
I.1. LOS NUMEROS
COMPLEJOS
I.1.3.
M
odulo de un n
umero complejo
Sea z = a + ib C, el m
odulo de z es |z| = a2 + b2 . Remarca.- El modulo de z es lo mismo que la
norma euclidiana de z visto como un elemento de R2 . Cuando z R, el modulo es lo mismo que el valor
absoluto de R.
Proposici
on I.1.2 El m
odulo verifica:
2
|z| = z z,
|<z| |z| ,
|=z| |z| ,
|z1 z2 | = |z1 |
|z1 + z2 | |z1 | + |z2 | .
(I.1.14)
(I.1.15)
(I.1.16)
(I.1.17)
(I.1.18)
Demostraci
on.- Ejercicio.
I.1.4.
Sustracci
on y Divisi
on
z1
= z1 (z2 )1 ,
z2
donde z2 6= 0. Utilizando la notaci
on de fracciones, las reglas de calculo para fracciones son validas y su
demostracion es un simple ejercicio.
I.1.5.
Forma Polar
La u
ltima f
ormula es conocida como F
ormula de Moivre
Demostraci
on.- Ejercicio.
I.1.6.
lm |zn | = +.
I.1.7.
N
P
Figura I.1.2: Proyeccion Estereografica.
Explicitemos la proyeccion estereografica, utilizando un corte transversal, ver figura , relaciones de
tri
angulos semejantes, se obtiene:
: C
z
2
S
(
2
2<z
, 2=z , |z| 1
|z|2 +1 |z|2 +1 |z|2 +1
(0, 0, 1)
si
si
z C,
z=
a = si a 6= 0,
a + = .
C
ya no es un cuerpo.
Al igual que la recta acabada R,
Lo interesante de la proyeccion esteografica es que se pueden dotar de operaciones internas a S2 a partir
de donde, si , S2 se define
de las operaciones de C,
+
= ( 1 () + 1 ()),
= ( 1 () 1 ()).
I.2.
Funciones Complejas
El modulo || hace a C un espacio normado con norma identica a la norma euclidiana de R2 ; por lo que,
los conceptos de lmite, continuidad, continuidad uniforme, convergencia simple de sucesiones de funciones,
convergencia uniforme, etc son los mismos que en el Primer A
no de An
alisis y no es necesario repetirlos. Las
novedades provendr
an del c
alculo diferencial e integral de funciones complejas.
Figura I.2.1: Gr
afica de los Grafos
Sin embargo, podemos remarcar que una funci
on compleja f : U C C puede ser vista como una
funci
on f : U R2 R2 . Es decir,
f :U C
z
C
7
f (z)
f : U R2 R 2
(x, y) 7 (u(x, y), v(x, y))
trivialmente, se tiene <(f (z)) = u(x, y) y =(f (z)) = v(x, y). De acuerdo a la necesidad, se puede jugar con
diferentes puntos de vista equivalentes.
I.2.1.
Representaciones Gr
aficas de Funciones Complejas
I.2.2.
z1
y
w = f(z)
w1
w
f()
z2
f(H)
w2
Figura I.2.2: Gr
afica Transformaci
on
Figura I.2.3: Gr
afica del Campo de Vectores
10
w = cz
c
a
c
d
0 1
b
,
=
1 0
d
b
11
w = ez
3
1/e
p(z)
,
q(z)
donde p(z) y q(z) son funciones polinomiales. Son continuas sobre C, excepto en los puntos donde q(z) se
anula.
La Funci
on Exponencial Compleja
Definici
on I.2.1 La funci
on expC : C C, est
a dada por
exp C (x + iy) = ex (cos y + i sin y) = e<z (cos(=z) + i sin(=z)).
Una verificaci
on, nos muestra que si z R, se tiene expC (z) = expR (z), por lo que podemos escribir
simplemente exp en lugar de expC o expR , e interpretar exp de acuerdo al contexto. En la figura I.2.5 vemos
la accion de la funci
on exponencial. Observando la definici
on de la exponencial, se ve que es una similitud
de razon e<z y
angulo =z.
Proposici
on I.2.2 La funci
on exponencial compleja satisface:
1.
2.
exp(z) 6=, z C.
3.
12
I.2.3.
El Logaritmo Complejo
Como se ha visto m
as arriba, la funci
on exponencial no es inyectiva. Por lo tanto si queremos construir
una inversa debemos restringir C a un dominio donde exp sea inyectiva, pero al mismo tiempo la imagen
exp() sea lo m
as grande posible. Por el punto 3 de la proposicion I.2.1, debe ser una banda de ancho
2i, sin los bordes, para la funci
on inversa sea continua. La imagen del borde de es una curva simple que
une el origen con el infinito. Ver figura I.2.6. En consecuencia, sea C una banda de ancho 2i sin sus
bordes. De donde exp : C l es biyectiva, donde l es una curva simple que une O con . Tenemos
exp(z) = e<z (cos(=z) + sin(=z)) = w,
Pasando a los modulos, se obtiene
e<z = |w| ,
de donde <z = logR (|w|). La determinaci
on de =z, pasa por la definici
on de una nueva funci
on.
Definici
on I.2.2 Una determinaci
on del argumento es darse una curva simple l que une O con y
una funci
on arg : C l R C continua tal que
z = |z| (cos(arg(z)) + i sin(arg(z)),
z C l.
Remarcas
1. Una determinaci
on del argumento arg : C l C esta enteramente determinada por el valor de
arg(z0 ), donde z0 C.
13
2. La determinaci
on principal del argumento es aquella donde
l =] , 0] R y arg(1) = 0.
3. A menos que se diga lo contrario, se toma la determinacion principal del argumento.
4. Si arg1 y arg2 y z C en el cual ambas determinaciones estan definidas, entonces una simple verificacion
da arg1 (z) arg2 (z) = 2ik, con k entero.
Regresemos a la construcci
on de la inversa de exp. Tenemos
=z = arg(w),
donde arg : C l R es una determinaci
on del argumento.
Definici
on I.2.3 Una determinaci
on del logaritmo es darse una determinaci
on del argumento arg :
C l C y la funci
on logC : C l C dada por
logC (z) = logR (|z|) + i arg(z),
z C l.
Remarcas.1. La determinaci
on principal del logaritmo, esta dada por la determinacion principal del argumento. A
menos que se diga lo contrario, la opcion por defecto es la determinaci
on principal del logaritmo. La
determinaci
on principal prolonga al logaritmo real.
2. Para no recargar notaci
on se puede utilizar log para denotar la determinacion del logaritmo y o el
logaritmo real. Todo depende del contexto.
Proposici
on I.2.3 Una determinaci
on del logaritmo log : C l C, verifica:
1.
exp(log z) = z, z C l.
2.
Demostraci
on.- Ejercicio.
Potencias
Recordamos:
zn
z n
= |n n{z n}, n N;
n veces
1 1
1
= , n N.
|z z{z z}
n veces
14
Para C, se define
01/2 = 0.
Funciones Exponenciales
Siguiendo la misma linea del Primer A
no de Analisis, definimos
az = exp(z log a),
donde log es una determinaci
on del logaritmo, (para la cual el valor de log a existe.
Remarcas.1. A menudo se encuentran expresiones de la forma ez . Nosotros interpretaremos como
ez = exp(z).
2. Las definiciones del argumento, logaritmo, potencia pasan por las definiciones de determinaci
on. Es
decir, para obtener funciones continuas, es necesario quitar del plano complejo C una curva simple que
une el origen con el infinito. Sin embargo, mediante las superficies de Riemann es posible construir
estas funciones, sin necesidad de hacer cortes en el plano Complejo.
I.2.4.
Funciones Trigonom
etricas Complejas
Definici
on I.2.4
sinC z
cosC z
tanC z
cotC z
secC z
cscC z
eiz eiz
,
2i
eiz +eiz
=
,
2
sinC z
= cosC z ,
Cz
= cos
sinC z ,
= cos1C z ,
= sin1C z .
15
Proposici
on I.2.4 Las funciones sinC y cosC verifican:
i) sinC (z) = sinR (z), cosC (z) = sinR (z) para todo z R.
ii) sin2C (z) + cos2C (z) = 1.
Demostraci
on.- Ejercicio.
Como las funciones trigonometricas complejas son prolongaciones de las funciones trigonometricas reales,
utilizaremos los smbolos usuales para identificarlas. M
as todava las funciones trigonometricas conservan
propieades de aditividad, etc.
Funciones Trigonom
etricas Inversas
En lugar de hablar de funciones trigonometricas inversas, es preferible hablar de determinaciones de funciones
trigonometricas inversas. Veremos m
as adelante.
I.3.
Funciones Diferenciables
Como para las funciones reales, se tiene para las funciones complejas varias maneras de definir la diferenciabilidad de una funci
on f : U C C. Nosotros utilizaremos:
Definici
on I.3.1 Una funci
on f : U C, U C abierto, es diferenciable en el punto z0 U , si
lm
zz0
f (z) f (z0 )
= f 0 (z0 )
z z0
(I.3.1)
(I.3.2)
con lm (z, z0 ) = 0.
zz0
lm
(x,y)(x0 ,y0 )
r((x, y), (x0 , y0 )) = (0, 0). Escribiendo f (x, y) = (u(x, y), v(x, y)), se tiene
0
f (x0 , y0 ) =
Utilizando la proposicion (I.2.1), se tiene el:
u
x
v
x
u
y
v
y
16
y
v
y
v
u v
v
Corolario I.3.1 Sea f : U C C, f = u + iv. Si u
x , y , x y y existen en un vecindario de z0 , son
continuas en z0 y satisfacen las ecuaciones de Cauchy-Rieman, entonces f es C-derivable en C.
Demostraci
on.- Ejercicio.
Las ecuaciones de Cauchy-Riemann por si solas no aseguran la C diferenciabilidad.
Ejemplo
1. La funci
on
f (z) =
z5
|z|4
si z 6= 0,
0 si z = 0.
17
I.3.1.
Funciones Holomorfas
Definici
on I.3.2 Una funci
on que es C-diferenciable en un abierto U se llama holomorfa en U . Un funci
on
es holomorfa en un punto z0 si es holomorfa en un vecindario B(z0 , ).
Proposici
on I.3.1 Sean , 0 C abiertos, f : C holomorfa. Supongamos que existe g : 0 con
g f = id y f g = id0 . Si adem
as g es R-derivable, entonces g es holomorfa y
g 0 (f (a)) =
1
,
f 0 (a)
1
= z 1 .
z
La tabla de derivadas de las funciones complejas es muy similar a la tabla de derivadas de las funciones
reales.
18
Proposici
on I.3.2 Sea :]a, b[ , diferenciable, donde C abierto y sea f : C holomorfa.
Entonces
(f )0 (t) = f 0 ((t)) 0 (t)
donde 0 (t) = 10 (t) + i20 (t).
Demostraci
on.- Ejercicio.
I.4.
Funciones Conformes
(, , a) = (0 (0), 0 (0))
(I.4.1)
Definici
on I.4.1 f : U R2 R2 , U abierto, es conforme, si f es R-derivable y si para todo , : [0, 1]
U continuamente derivable con (0) = (0) = a U y 0 (0), 0 (0) 6= 0, se tiene
(, , a) = (f , f , f (a)).
Remarca.- La definici
on de aplicaci
on conforme, implica autom
aticamente que fa0 es inversible para todo
a U , sino no se podra medir los
angulos entre las curvas imagenes.
Como ejemplo de aplicaciones lineales que son conformes, tenemos las similitudes. La pregunta natural
que surge, es saber si hay otras aplicaciones lineales que conservan los angulos en medida y orientacion.
Proposici
on I.4.1 A : R2 R2 isomorfismo lineal. A respecta los
angulos en tama
no y orientaci
on, si y
solamente si A es una similitud.
Demostraci
on.- ya visto.
. La matriz asociada a la aplicaci
on lineal es
A=
a b
c d
Consideremos los vectores ortonormales (1, 0) y (0, 1), sus imagenes por A son (a, c) y (b, d) que son ortogonales por hip
otesis, de donde
ab + cd = 0.
19
w = f(z)
z
6
7
6
5
z1
w5
3
z5
f(H)
z4
w4
w1
a d
c b
= 0,
= a
= c
a c
c a
20
I.4.1.
Homografas
Definici
on I.4.2 Una transformaci
on homogr
afica es una expresi
on de la forma
az + b
a b
con det
6= 0.
w(z) =
c d
cz + d
as
Remarcamos que las homografas pueden prolongarse al plano complejo acabado C
w:C
z
az+b
cz+d
a
c
si z 6= d/c
si z =
si z = d/c.
Por otro lado, una homografa, puede ser inducida por una matriz de 2 2 inversible
az + b
a b
A=
wA (z) =
.
c d
cz + d
En efecto, consideremos el siguiente diagrama
C2 {(0, 0)}
(u1 , u2 )
A
det A6=0
C2 {(0, 0)}
(v1 , v2 )
u1
u2
wA (z)
=z
v1
v2
=z
Proposici
on I.4.2 Se tiene las siguientes propiedades:
1.
La composici
on de transformaciones homogr
aficas es una transformaci
on homogr
afica.
A induce wA
A0 A induce wA0 wA .
A0 induce wA0
2.
(I.4.2)
21
Demostraci
on.- El punto (1), sean
A=
a b
c d
Se tiene
wA =
A0 =
az + b
,
cz + d
w A0 =
a0
c0
b0
d0
a0 + b0
.
c0 + d0
Por lo tanto
wA0 wA (z)
= wA0
=
=
az+b
cz+d
0
a0 az+b
cz+d +b
0
c0 az+b
cz+d +d
= wA0 A (z).
Demostraci
on.- Consideremos una homografa
w(z) =
az + b
,
cz + d
B
,
cz + d
Teorema I.4.2 Una homografa enva circunferencias y rectas sobre circunferencias o rectas.
22
Demostraci
on.- Por la proposici
on que precede, es suficiente mostrar que la inversion compleja enva
circunferencias y rectas sobre circunferencias o rectas; ya que las similitudes y traslaciones conservan las
rectas y circunferencias.
Como z z es una simetra respecto a la recta real R, es suficiente mostrar el teorema para la funci
on
z 1/
z.
Ahora bien,
z
1
f (z) = = 2 ;
z
|z|
distinguimos los siguientes casos:
i) Recta por el origen
f (recta) = recta.
(OT )2 = OM OM 0
f(M)
1
OM 0
=
2
OM
OT 0
2
f (M ) se obtiene a partir de M 0 por homotecia de razon 1/OT
Of (M ) =
f(T)
M
T
M
O
A
M
A
M
1
z
23
M"
M
OM 00 =
1
OM 0 .
De donde f (M ) = M 0 .
i = 1, 2, 3.
Demostraci
on.- Primero, vamos a mostrar el caso en que z10 = 1, z20 = 0 y z30 = , se tiene tres situaciones:
i) z1 6= , z2 6= y z3 6=
w(z) =
ii) z1 =
zz2
zz3
z1 z2
z1 z3
w(z) =
z z2
.
z z3
w(z) =
z 1 z3
z z3
w(z) =
z z2
.
z1 z2
iii) z2 =
iv) z3 =
: z1 , z2 , z3 1, 0,
: z10 , z20 , z30 1, 0,
24
w
z
z+1
z1
funci
on ilustrada en la figura I.4.2
La accion de esta transformaci
on en el plano complejo es convertir el eje imaginario en la circunferencia
unitaria y vice-versa.
I.4.2.
Representaci
on Conforme
z1 + z2
z 1 z2
) sin(
) = 0;
2
2
25
z1 z2
2
dee donde cos( z1 +z
on de:
2 ) = 0 o sin( 2 ) = 0. Dejamos al estudiante, la verificaci
z = k, k Z;
sin z = 0
z =
cos z = 0
/2
+ k,
k Z.
Por lo tanto,
sin z1 = sin z2
z1 z2 = 2k,
o
z1 + z2 = (2k + 1)
(I.4.3)
La equivalencia (I.4.3) nos asegura que la restriccion de sin a la semibanda superior es inyectiva. Por
otro lado, en el interior de la banda sin z es conforme, por que cos z 6= 0, para todo z .
Ahora bien, la funci
on sin z, en particular la restriccion de sin z sobre , es la composicion de cuatro
funciones:
f1 (z)
= iz,
f2 (z)
= ez ,
f3 (z) = z z1 ,
1
f4 (z)
= 2i
z.
El comportamiento de sin z, sera analizado a partir del comportamiento de cada una de estas funciones.
Denotamos 1 = f1 (), como f1 es una rotaci
on de un angulo recto, deducimos inmediatamente
1 = {z C| |=z| < y <z < 0}
Denotamos 2 = f2 (1 ), un simple ejercicio mostrara que
2 = {z C| |z| < 1}] 1, 0].
Denotamos 3 = f3 (2 ). Como no tenemos una idea clara de la accion de f3 sobre 2 , determinaremos
3 conociendo su borde a partir de la accion de f3 sobre el borde de 2 . El borde de 2 o frontera
es la uni
on de la circunferencia unitaria y el intervalo [1, 0]. Tenemos f3 ([1, 0[) = [0, +[ y parametrizando la circunferencia con eit , obtenemos f3 (eit ) = eit eit , por lo que f3 (eit ) = 2i sin t. En
consecuencia
3 = C ([0, +[2i[1, 1]).
Denotando 4 = f4 (3 ), obtenemos finalmente que
sin() = 4 = C ([1, 1] i] , 0]).
En la figura I.4.3 observamos la accion de la composicion de las cuatro funciones que dan sin z.
2. Si f : 0 holomorfa y biyectiva, determinar la funci
on inversa. Consideremos el problema modelo,
analizar la determinaci
on
arcsin : C ([1, 1] i] , 0]) = {z C| |<z| < e =z > 0}.
Por lo hecho en (1), tenemos
arcsin = f11 f21 f31 f41 .
Explicitemos, cada una de estas funciones. Facilmente
f41 (z) = 2iz.
26
COMPLEJA
I.5. INTEGRACION
27
z2 + 4
,
2
:Cl C
z2 + 4
,
2
f41 (z)
2iz
4z 2 + 4
2
Para no recargar y confundir determinaciones de la raiz cuadrada, podemos elegir una nueva determinacion de la raiz cuadrada y tener una expresion simplificada
p
f31 f41 (z) = iz + 1 z 2
donde
es una determinaci
on en la cual 1 z 2 esta definida y ademas iz + 1 z 2 esta en el disco
unitario.
f21 (z) = log z con log como determinacion principal.
f11 (z) = z/i
Por lo tanto, podemos explicitar esta determinaci
on de arcsin
arcsin(z) =
I.5.
p
1
log(iz + 1 z 2 ).
i
Integraci
on Compleja
Definici
on I.5.1 Un arco simple es una aplicaci
on de clase C 1 : [a, b] C, con 0 (t) 6= 0 para todo
t [a, b] e inyectiva.
28
Definici
on I.5.2 f : C, C abierto, : [a, b] arco simple, se define
Z
f (z) dz =
(I.5.1)
Si escribimos f (z) = u(z) + iv(z) y (t) = 1 (t) + i2 (t), la relacion (I.5.1), se convierte en
Z
f (z) dz =
(I.5.2)
Remarca.- Sea : [a, b] C un arco simple. Sobre = ([a, b]), se puede definir un orden:
b
z2
t2
z1 , z2 , z1 = (t1 ) z2 = (t2 ),
(b)
(a)
z1 z2 t1 t2
t1
a
z1
Definici
on I.5.3 Sea : [a, b] C arco simple. Una partici
on o subdivisi
on P de = ([a, b]) es una
sucesi
on finita y ordenada
P = {(a) = z0 < z1 < < cn = (b)};
(P ) = max {|zk zk1 |}
k=1,...,n
es la norma de la subdivisi
on P .
Proposici
on I.5.1 Sea : [a, b] C arco simple, p = {a = to < t1 < < tn = b} divisi
on o partici
on de
[a, b]. Sea
P = {(a) < (t1 ) < < (tn )}
partici
on de , entonces 0 , c y C reales estrictamente positivos (independientes de las particiones) tales que
i) (P ) c(p),
ii) (P ) 0 (p) C(P ).
Demostraci
on.- Mostremos el punto (i). Consideremos las diferencias (tk+1 ) (tk ), aplicando el teorema
de los incrementos finitos a cada una de las componentes, se tiene
(tk+1 ) (tk ) = (10 (k ) + i20 (k ))(tk+1 tk )
con k , k (tk , tk+1 ). Puesto que 0 es continua por hip
otesis, cada una de sus componentes alcanza sus
cotas. Por lo tanto
|(tk+1 ) (tk )| c(tk+1 tk ) c(p).
COMPLEJA
I.5. INTEGRACION
29
donde
c=
Por la definici
on de m
ax y sup obtenemos
(P ) c(p).
Mostremos el segundo punto. Por hip
otesis 0 (t) 6= 0 y por continuidad de 0 , se tiene
mn | 0 (t)| = > 0.
t[a,b]
.
2
En efecto
|10 (t) + 20 (t0 )|
Por la continuidad de 0 , en particular de 10 , existe 0 > 0 tal que |t t0 | < 0 , implica|10 (t) 10 (t0 )| < /2,
de donde, para |t t0 | < 0 , se tiene
(p).
2
Como es inyectiva, la restriccion de : [a, b] es biyectiva, por lo tanto, utilizando el mismo procedimiento que (i), se muestra que 1 : [a, b] es continua, es decir que > 0, > 0 tal que |z z 0 | < y
z, z 0 implica |t t0 | < . En particular para 0 , existe 0 .
Corolario I.5.1 Sea : [a, b] C arco simple, p = {a = to < t1 < < tn = b} divisi
on o partici
on de
[a, b]. Sea
P = {(a) < (t1 ) < < (tn )}
partici
on de , entonces
(p) 0 (P ) 0.
k=1
30
Demostraci
on.- Se tiene:
Pn
k=1
Pn
= Pk=1 f ((tk1 ))((tk ) (tk1
P))n
n
= k=1 f ((tk1 )) 0 (tk1 )tk + k=1 r(tk , tk1 )tk .
Por la diferenciabilidad de , se tiene r(tk , tk1 )/ |tk tk1 | 0, cuando (p) 0. Por lo tanto, para (p)
suficientemente peque
no |r(tk , tk1 )| < (tk tk1 ), para un > 0, dado. De donde
n
X
r(tk , tk1 )tk < (b a).
k=1
n
X
k=1
k=1
n
X
k=1
Corolario I.5.2
Definici
on I.5.4 Un recorrido C es darse arcos simples i : [ai , bi ] C, i = 1, . . . , k con (bi ) = (ai+1 ).
Escribimos C = 1 + 2 + k .
Definici
on I.5.5 Sea C = 1 + 2 + k un recorrido, se define
Z
f (z) dz =
Z
1
f (z) dz +
Z
2
f (z) dz + +
f (z) dz.
Ejemplo
1. Consideremos f (z) = 1/z y (t) = eit con 0 t 2 define un recorrido, no un arco simple. El
COMPLEJA
I.5. INTEGRACION
31
|z|=1
R
0
f (z) dz +
f (z) dz
R 2
f (eit )ieit dt + f (eit )ieit dt
R 2
= 0 e1it ieit dt = 2i.
Proposici
on I.5.2 Sea f : C continua tal que existe una funci
on F : C holomorfa con F 0 (z) =
f (z) para todo z . (F se llama primitiva de f ). Sea : [a, b] un arco simple. Entonces
Z
Demostraci
on.- Por un lado tenemos, aplicando la regla de derivacion para la composicion de funciones
d F ((t))
= F 0 ((t)) 0 (t) = f ((t)) 0 (t).
dt
Por otro lado, el Segundo Teorema del C
alculo Integral da
F ((b)) F ((a)) =
Z
a
d F ((t))
dt =
dt
Z
a
b
0
f ((t)) (t) dt =
f (z) dz.
Definici
on I.5.6 Sea = 1 + + k un recorrido. Se dice que es un recorrido cerrado o contorno si
1 (a1 ) = (bk )
32
Demostraci
on.- Utilizando la definici
on de integral para recorridos y la proposicion precedente, se tiene
f (z) dz
f (z) dz +
f (z) dz + +
f (z) dz
z m dz =
z0m+1
m+1
2.- Si bien, 1/z no admite primitiva sobre = C {0}, podemos restringir de manera que esta funci
on
admita primitiva. Por ejemplo, considerando 1 = C] , 0], la determinacion principal de log es
una primitiva. TomandoR2 : C [0, +[, la determinaci
on log2 : 2 C con arg2 (1) = . Por lo
tanto, podemos evaluar z=1 z1 dz tomando la circunferencia como el recorrido 1 + 2 donde
1 (t) = eit ,
t [/2, /2]
2 (t) = eit ,
t [/2, 3/2]
por lo tanto
Z
z=1
1
dz =
z
Z
1
1
dz +
z
Z
2
1
dz = log(i) log(i) + log2 (i) log2 (i) = 2i.
z
COMPLEJA
I.5. INTEGRACION
33
Proposici
on I.5.3 (cambio de variable) Si f : C continua, g : U holomorfa y : [a, b] U
arco simple, entonces
Z
Z
f (z) dz =
f (g())g 0 () d.
g
Demostraci
on.- Se tiene
Z
f (z) dz
Rb
a
f (g (t)) (g )0 (t) dt
Rb
Rb
Ejemplo
R
4.- Consideremos nuevamente la integral |z|=1 z1 dz. Planteamos g(z) = eiz que es una funci
on holomorfa y
: [0, 2] C con (t) = t, obtenemos
Z
Z
Z
1
1 iz
ie
dz
=
i
dz = iz|2
dz =
0 = 2i.
iz
z
e
|z|=1
2
Proposici
on I.5.4 Sea f : C continua, : [a, b] arco simple. Entonces
Rb
Pn
lm(P )0 ( k=1 |zk zk1 |) = a | 0 (t)| dt = L : longitud del arco.
R
f (z) dz M L M = maxt[a,b] |f ((t))|
(I.5.4)
(I.5.5)
Demostraci
on.- Demostraci
on.- El punto I.5.4 ya ha sido visto en el curso de Geometra, dejamos como
ejercicio el repaso de la demostraci
on.
Demostremos el punto I.5.5. Por el teorema I.5.1, se tiene
n
Z
X
f (z) dz = lm
f (zk )(zk zk1 ) .
(P )0
k=1
n
n
n
X
X
X
f (z) |zk zk1 | M
f (zk )(zk zk1 )
|zk zk1 | M L.
k=1
k=1
k=1
34
Proposici
on I.5.5 Sea C abierto, = 1 + + k C un recorrido.
i) Si fn : C una sucesi
on de funciones continuas que convergen simplemente a f : C y uniformemente sobre , entonces
Z
Z
f (z) dz = lm
fn (z) dz.
n
ii) Si F : U C funci
on con U C abierto tal que para todo u U fijo la funci
on z F (z, u) es
continua y si F (z, u) F (z, u0 ) uniformemente sobre cuando u u0 U entonces
Z
Z
lm
F (z, u) dz =
F (z, u0 ) dz.
uu0
Demostraci
on.- Mostremos el punto (i). La convergencia uniforme, significa que > 0, N tal que n N
z |fn (z) f (z)| < . De donde
Z
Z
Z
fn (z) dz f (z) dz = (fn (z) f (z)) dz L.
El punto (ii), la convergencia uniforme, significa que > 0, > 0 tal que |u u0 | < implica que z
se tiene |F (z, u) F (z, u0 )| < , de donde
Z
Z
F (z, u) dz F (z, u0 ) dz L.
Definici
on I.5.7 Un recorrido = 1 + + k se dice de tipo H-V (horizontal-vertical) si <(j ) = C o
=(i ) = C.
Proposici
on I.5.6 Sea f : C continua, ; [a, b] C arco simple, entonces > 0, recorrido H-V
1 + + k tal que 1 (a1 ) = (a) y k (bk ) = (b) y adem
as
Z
Z
f (z) dz
f (z) dz < .
H-V
H-V
COMPLEJA
I.5. INTEGRACION
35
Demostraci
on.- Se requiere utilizar algunas propiedades topologicas del plano complejo, que en el momento
se enunciar
a sin demostracion, dejando estas para el curso de topologa. Utilizando el hecho que ([a, b]) es
un compacto, se muestra mediante la nocion de recubrimiento, que existe K compacto, tal que K .
(Esta es la parte topol
ogica). La demostracion asegura que existe > 0 tal que D(z, ) K para todo
z .
Como K es compacto, f es uniformemente continua sobre K, por lo tanto para 0 > dado, existe (0 ) > 0
tal que
z, z 0 K y |z z 0 | < (0 ) |f (z) f (z 0 )| < 0 .
Podemos suponer tambien que (0 ) < .
Ahora consideremos p = {a = t0 < t1 < < tm = b} una subdivisi
on de [a, b] tal que (P ) (0 ),
donde
P = {z0 = (a) < z1 = (t1 ) < < (tm ) = zm }, definimos los
zk0 = zk + <(zk+1 zk ),
z k+1
k = 0, . . . , m 1.
Por hip
otesis sobre (P ), (0 ) se tiene que los segmentos zk zk0 y
zk0 zk+1 estan dentro K.
zk
zk
(I.5.6)
k=0
Vk
Por lo tanto,
Z
Z
f (z) dz
HV
f (z) dz f (zk )(zk0 zk )
Hk
f (z) dz f (zk0 )(zk+1 zk0 )
f (z) dz
0 |zk0 zk |
(I.5.7)
0 |zk+1 zk0 | .
(I.5.8)
R
R
Pm1 R
f (z) dz k=0
f
(z)
dz
+
f
(z)
dz
Hk
Vk
P
m1
k=0 (f (zk )(zk+1 zk ) f (zk )(zk0 zk ) f (zk0 )(zk+1 zk0 ))
Pm1
+0 + 0 k=0 (|zk0 zk | + |zk+1 zk0 |)
P
m1
k=0 ((f (zk ) f (zk0 ))(zk+1 zk0 )) + 0 (1 + 2L)
Pm1
0 k=0 |zk+1 zk0 | + 0 (1 + 2L)
0 (1 + 3L).
36
I.6.
Un Teorema de Cauchy
Proposici
on I.6.1 Sea f : C holomorfa, R = {z C|a <z b, c =z d} . Entonces
Z
f (z) dz = 0.
R
Demostraci
on.- Suponemos del contorno (borde del rectangulo) en sentido positivo.
Dividimos el rectangulo R en cuatro subrectangulos iguales R1 , R2 , R3
y R4 . Se tiene
4
I=
f (z) dz =
f (z) dz +
R1
f (z) dz +
R4
f (z) dz +
R3
f (z) dz.
R4
Se debe observar que las integrales de los lados comunes de los subrect
angulos se anulan, porque tienen sentido opuestos, quedando para el
c
alculo final los lados no compartidos.
Sea j1 {1, 2, 3, 4} tal que
Z
Z
f (z) dz
f (z) dz , i = 1, 2, 3, 4.
Rj
Ri
1
R
Denotando por R1 este subrectangulo, I1 = R1 f (z) dz.
Por otro lado si p es el perimetro de R, se tiene que el perimetro p1 de
R1 es igual a p/2 y si es el di
ametro de R, 1 = /2 es el diametro de
1
R .
Una verificaci
on sencilla da:
|I| 4 |I1 | ,
Podemos construir una sucesion de subrectanguloes Rk , con k = 1, 2,R. . ., de manera que Rk+1 sea un
subrectangulo que divide en partes iguales a Rk . Si denotamos por Ik = Rk f (z) dz, k , pk el diametro y el
perimetro de Rk se tiene
p
|I| 4k |Ik | , k = k , pk = k .
2
2
Utilizando el principio de los intervalos encajonados del primer Curso de Analisis en la parte real e imaginaria
de la sucesion mostramos que
lm Rk = {z0 }.
k
Por hip
otesis f es holomorfa, en particular f es C diferenciable en z0 , de donde podemos escribir
f (z) = f (z0 ) + f 0 (z0 )(z z0 ) + (z z0 )r(z),
Ahora bien para Rk , se tiene
Z
Z
Z
f (z) dz =
f (z0 ) dz +
Rk
Rk
Rk
f 0 (z0 )(z z0 ) dz +
Rk
con lm r(z) = 0.
zz0
r(z)(z z0 ) dz =
Rk
r(z)(z z0 ) dz
37
por que f (z0 ) y f 0 (z0 )(z z0 ) tienen como primitivas f (z0 )z y f 0 (z0 )(z z0 )2 /2 respectivamente y sus
integrales sobre contornos son nulas.
Por otro lado
Z
|Ik | =
r(z)(z z0 ) dz pk max |r(z)(z z0 )| .
k
zRk
R
p
,
4k
por lo que
|I| 4k
p
= p.
4k
Definici
on I.6.1 Sea C = 1 + + k un recorrido. Se dir
a que C es un recorrido simple si
i 6= j i ([ai , bi ]) j ([aj , bj ]) = ,
excepto quiz
as 1 (a1 ) = k (bk ).
Definici
on I.6.2 Se dira que C es un contorno simple o recorrido cerrado simple, si C = 1 + + k es
un recorrido simple con 1 (a1 ) = k (bk ).
z0
([0, 1]) C 6= y z0 C.
El interior de C es el conjunto
Int C = {z C|z es un punto interior de C}.
La orientaci
on o sentido de C se elige de manera que el
interior de C este a la izquierda de C.
38
Definici
on I.6.3 D C es un dominio simple si D es de la forma
D = C Int C,
donde C es un contorno simple.
Ejemplos
1. Un rect
angulo R es un dominio simple
HV
Si es necesario afinar H-V, se puede suponer que es un recorrido simple, lo que nos permite construir una cuadriculacion del interior de H-V en que los arcos de H-V son
lados de alg
un o algunos rectangulos. Utilizando el mismo
argumento que la proposicion precedente, se tiene
Z
HV
f (z) dz =
XZ
Ri
Ri
f (z) dz = 0,
39
Por consiguiente
Z
f (z) dz <
Demostraci
on.- Ejercicio.
Notaci
on.- Como la integral solo depende de las extremidades es v
alida la notaci
on
Z z2
Z
f (z) dz =
f (z) dz.
z1
Corolario I.6.2 Sea f : C, D , entonces existe F : D C holomorfa tal que F 0 (z) = f (z).
Demostraci
on.- Fijemos z0 D . Planteamos
F (z) =
f () d.
z+ z
z0
Mostremos que F es holomorfa y que F 0 (z) = f (z). En efecto, consideremos el cociente de Newton
z0
q(z) =
F (z + z) F (z)
z
1
z
R
z+z
f () d
z0
1
z
Rz
z0
f () d
R z+z
f () d
z
con lm
r()
= 0,
( z)
de donde para, > 0 dado, existe > 0 tal que si |z| < se tiene
|r()| < |z |.
z+ z
z
z0
40
=f (z)
|||z|0
f (z) dz =
Dk
f (z) dz +
D1
f (z) dz.
Dk
D2
D1
yD
de manera
Demostraci
on.- Realizamos un corte del dominio simple D en dos subdominios simples: D
que
los bordes de ambos caminos cubran en su totalidad los bordes
del dominio D y los dominios Di , i = 1, . . . , k. Por lo tanto
D
0=
f (z) dz +
f (z) dz =
f (z) dz +
k
X
i=1
Dk
f (z) dz
Di
yD
y la integrales se
porque f es holomorfa sobre los dominios D
anulan en los bordes comunes (diferentes sentidos de integracion)
D1
D2
Ejemplo
4.- Consideremos D dominio simple con 0 D , D1 = {z| |z| r} con r lo suficientemente peque
no de
manera que D1 D y por corolario que antecede deducimos que
Z
D
1
dz =
z
|z|=r
1
dz = 2i.
z
I.7. FORMULAS
INTEGRALES DE CAUCHY
41
Demostraci
on.- Ejercicio.
I.7.
F
ormulas Integrales de Cauchy
Demostraci
on.- Utilizando el corolario I.6.8 y con r > 0 lo suficientemente peque
no se tiene
Z
Z
1
f ()
1
f ()
d =
d
2i D z0
2i |z0 |=r z0
La parametrizaci
on z0 + re2it de la circunferencia de centro z0 y radio r da
1
2i
|z0 |=r
f ()
d =
z0
Z
D
f ()
d = lm
r0
z0
Z
0
f (z0 + re2it ) dt =
f (z0 ) dt = f (z0 ).
42
Demostraci
on.- Por inducci
on; para n = 0 es el teorema precedente. Suponemos cierto para n 1, sea
z0 D que lo dejamos fijo.
Como z0 D , existe r > 0 tal que D(z0 , r) = {z| |z z0 | < r} D. Consideremos el cociente de Newton
y apliquemos la hip
otesis de inducci
on
Z
(n 1)!
1
1
f (n1) (z) f (n1) (z0 )
1
=
f ()
d. z D(z0 , r) {z0 }.
n
n
z z0
2i
(
z)
(
z
)
z
z0
0
D
Definamos la funci
on : D D(z0 , r) C dada por
(
1
1
1
f () (z)
n (z )n
zz0 si z 6= z0 ,
0
(, z) =
f () (zn0 )n+1 hboxsiz = z0 .
La funci
on es continua, lo que conduce a que
lm
zz0
R
= lmzz0 (n1)!
(, z) d
2i
D
R
= (n1)!
lmzz0 (, z) d
2i
D
R
= (n1)!
(, z0 ) d
2iR
D
f ()
n!
= 2i D (z
n+1 d.
0)
Teorema I.7.3 (Morera) Sea f : C continua tal que para todo recorrido simple C
Z
f (z) dz = 0,
C
f (w) dw,
Z z+z
1 Z z+z
1
f () d =
(f (z) f ()) d .
f (z)
z z
z z
I.8.
43
Series Enteras
En el primer a
no de an
alisis se estudi
o a profundidad la nocion de series numericas, al igual que las series de
funciones en el
ambito real. Las definiciones, propiedades son validas si se remplaza R por C, exceptuando
la nocion de C-derivabilidad que ser
a vista en esta seccion. Por consiguiente es conveniente que el estudiante
no solo repase el curso de primer a
no de an
alis, sino que lo domine. La primera novedad
Teorema I.8.1 (Weistra) Sea un dominio simple, {fn : C} una sucesi
on de funciones holomorfas. Si fn f uniformemente sobre cuando n , entonces f es holomorfa y fn0 f 0 uniformente
sobre cuando n .
Demostraci
on.- Consideremos contorno simple de , por la proposicion I.5.5 se tiene
Z
Z
Z
f (z) dz =
lm fn (z) dz = lm
fn (z) dz = 0.
n
El teorema de Morera implica que f es holomorfa sobre . Mostremos que fn0 f uniformemente. Sea
z , de donde podemos encontrar r > 0 tal que D(z, r) . Aplicando la formula integral de Cauchy se
obtiene
R
f ()
1
f 0 (z) fn0 (z)
= 2i
d,
|z|=r (z)2
R
f ()
1
|f 0 (z) fn0 (z)| = 2
|z|=r (z)2 d 1r sup|z|=r f( ) fn (zeta) .
Por consiguiente la derivada converge uniformemente.
Recordemos lo que es una serie entera. Sea a0 , a1 , a2 , . . . una sucesion de coefientes en C y z una variable
independiente, entonces
X
an z n = a0 + a1 z + a2 z 2 +
(I.8.1)
n=0
se llama una serie entera. Sin ocuparnos de la cuestion de convergencia, estas series forman el algebra C[[z]]
de las series formales. Para la convergencia, tal como se dijo se retoma las definiciones dadas en el curso
de Primer A
no de An
alisis, con los respectivos criterios y condiciones de convergencia. Solo agregamos una
formula para el radio de convergencia.
Proposici
on I.8.1 (F
ormula de Hadamard) La serie de potencias con coeficientes {an } C tiene como
radio de convergencia
n
si lim supn |an | = 0.
donde lim sup |an | = lm sup{|ak | |k n}.
n
Demostraci
on.- Ejercicio.
44
Teorema I.8.2 Sea
n=0
i)
n=0
ii)
n=0
iii) f (z) =
n=0
iv) f 0 (z) =
n=1
Demostraci
on.- Para los dos primeros puntos revisar el curso de analisis de primer a
no. Los puntos iii) y
iv) son consecuencia del teorema de Weirstraenunciado ma arriba.
Definici
on I.8.1 Sea f : C R, z0 , f indefinidamente C derivable en z0 , la serie de Taylor de
f en el punto z0 es
X
f (k) (z0 )
ST fz0 (z) =
(z z0 )k .
n!
k=0
0 , R) .
Teorema I.8.3 ((Cauchy-Taylor)) Sea f : C holomorfa, z0 , R > 0 tal que D(z
Entonces
X
f (n) (z0 )
f (z) =
(z z0 )n
n!
n=0
0 , R).
uniformemente sobre D(z
0 , R), esto es posible por es un abierto.
Demostraci
on.- Sea D un dominio simple que contiene D(z
Las f
ormulas integrales de Cauchy dan:
R f ()
1
f (z)
= 2i
,
D z
R
f ()
(n)
n!
f (z0 ) = 2i D (z0 )n+1
n
1 X z z0
zz0 =
z0 n=0 z0
z0 )
porque |z z0 | < | z0 | y ademas la convergencia es uniforme sobre el disco centrado en z0 . Por consiguiente
se puede integrar termino a termino garantizando la convergencia uniforme de la serie
Z
X
1
f ()
f (z) =
dz (z z0 )n .
n+1
2i
(
z
)
0
D
n=0
45
z3
3
z5
5
+ +
z2 5
25
en R y en C
(z1)2
2
(z1)3
3
(z1)4
4
En la figura I.8.2 se ve que la serie converge para |z 1| < 1, lo que no es sorprendente, porque en
z = 0 log no est
a definido.
I.8.1.
C
alculos con Series Enteras
A continuaci
on se enunciar
a algunas propiedades de las series enteras.
P
P
Proposici
on I.8.2 Sean f (z) =
an z n y g(z) =
bn zn dos series con radios de convergencia 1 y 2
n=0
n=0
respectivamente. Entonces
f (z) + g(z) =
f (z)g(z) =
n=0
(an + bn )z n ,
n=0
n
X
ai bni
zn,
i=0
(I.8.2)
(I.8.3)
46
n = 12
w
y
n = 12
n = 24
w
y
n = 24
Figura I.8.2: Gr
aficas de parte real e imaginaria de (z 1)
(z1)2
2
(z1)3
3
(z1)n
n
Demostraci
on.- Ver demostraciones en el curso de Primer A
no de Analisis.
Para determinar los coeficientes de la serie cociente f (z)/g(z), es suficiente conocer la serie 1/g(z) y se
puede dividir g(z) por el b0 = g(0) 6= 0 y comenzar la serie g(z) por 1. Ademas podemos escribir los otros
coeficientes de la serie g(z) con signo . Tenemos la proposicion:
P
Proposici
on I.8.3 Sea g(z) = 1 + n=1 bn z n una serie de radio de convergencia > 0. Entonces los
coeficientes ci de la serie
X
1
=
cn z n ,
g(z) n=0
satisfacen c0 = 1 y
cn =
n1
X
ck bnk + bn
(I.8.4)
k=1
q,
q 2 + q 2 = 2q 2 ,
2q 3 + q 3 + q 3 = 4q 3 ,
4q 4 + 2q 4 + q 4 + q 4 = 8q 4
De donde aplicando el criterio de la raz n-sima, se tiene que 1/g(z) converge para |z| < 1/(2q).
47
F(w)
w
z
(z)
O
an z n ,
g(w) =
bn w n ,
k=1
k=0
observamos que b0 = 0, para asegurar que g(0) = 0 y buscamos determinar los coeficientes cn de la serie
F (w) = f (g(w)). Insertamos la segunda serie en la primera serie y se reordena la serie en potencias de w:
F (w)
= a0 + a1 (b1 w + b2 w2 + b3 w3 + ) + a2 (b1 w + b2 w2 + b3 w3 + )2 +
= a0 + a1 b1 w + (a1 b2 + a2 b21 )w2 + (a1 b3 + 2a2 b1 b2 + a3 b31 )w3 +
= a0 + c1 w + c2 w2 + c3 w3 + c3 w4 +
Observamos nuevamente que los coeficientes de la nueva serie son determinados recursivamente por expresiones finitas, gracias a que b0 = 0, de coeficientes conocidos.
Para justificar que los reordenamientos son correctos y la prueba que la serie tiene un radio de convergencia
no nulo, mediante el criterio de la serie mayorante. Nuevamente la formula de Hadamard conduce a que
|an | q n
|bn | pn .
Substituimos z = pw + p2 w2 + p3 w3 + = pw/(1 pw) para |w| < 1/p. Remplazamos z en la serie doble
obteniendo la mayoraci
on para la serie doble dada por 1 + qz + qz 2 + = 1/(1 qz) siempre y cuando
|z| < q. Remplazando en la mayoraci
on de la segunda serie, obtemos una mayoracion en funci
on de w dada
por
1
1
,
pw = (1 pw)
1 q 1pw
1 (q + 1)pw
mayoracion v
alida si |w| < 1/(p(q + 1)).
Otro problema es el c
alculo de la serie entera de la funci
on inversa de una serie entera. Sea w = f (z) con
w0 = f (z0 ) dada por un desarrollo
w w0 = a1 (z z0 ) + a2 (z z0 )2 + a3 (z z0 )3 + .
Se busca el desarrollo de la funci
on inversa z = g(w) bajo la forma
z z0 = b1 (w w0 ) + b2 (w w0 )2 + b3 (w w0 )3 + .
48
Despuees de realizar traslaciones al origen, podemos suponer que z0 y w0 ubicados en el origen, se tiene
por consiguiente w = f (g(w)) y utilizamos el reordenamiento de la serie composicion en potencias de w. Se
obtiene
w = a1 b1 w + (a1 b2 + a2 b21 )w2 + (a1 b3 + 2a2 b1 b2 + a3 b31 )w3 +
comparando coeficientes, se tiene
1 = a1 b1
0 = a1 b2 + a2 b21
0 = a1 b3 + 2a2 b1 b2 + a3 b31
..
.
0 = a1 bn + valores conocidos
bn .
b1
b2
b3
La discusion de la convergencia utilizando el criterio de la serie mayorante es posible, ver H. Cartan I.2.9,
pero muy complicada. La cuesti
on de la convergencia sera resuelta utilizando una ecuacion diferencial.
Sea F (w) = a0 + a1 w + a2 w2 + a3 w3 + una funci
on dada, se busca una funci
on w = f (z) con
dw
= F (w),
dz
w(0) = 0,
= a0 ,
1
a1 b1 ,
=
2
1
=
(a1 b2 + a2 b21 ),
3
En este caso el an
alisis de la convergencia es sencillo, mayoramos los bi pasando a los modulos los ai y
remplazando los aj por una cota, proe ejemplo |aj | q j . Esto quiere decir que hemos resuelto la ecuacion
diferencial
dw
1
= (1 + wq + w2 q 2 + ) =
, w(0) = 0.
dz
1 wq
Esta u
ltima ecuaci
on es de tipo separable, ver curso de Primer A
no de Analisis, obteniendo como solucion,
despues de integrar e despejar w, teniendo el cuidado de verificar w(0) = 0, se obtiene
1 1 2qz
w=
q
solucion, cuya serie converge para |z| < 1/(2q).
Regresemos al caso de determinar la serie de la funci
on inversa de w = f (z) = a1 z + a2 z 2 + . Se tiene
dw
= a1 + 2a2 z + 3a3 z 2 + ,
dz
por lo tanto, para la funci
on inversa, se tiene
dz
1
=
= b 0 + b1 z + b 2 z 2 + ,
dw
a1 + 2a2 z + 3a3 z 2 +
(I.8.5)
49
donde los coeficientes bi se calculan mediante la serie cociente y esta serie como se ha visto converge. (I.8.5)
es una ecuaci
on diferencial que la resolvemos mediante el algoritmo planteado mas arriba.
Remarca.- En muchos casos solo se requiere determinar los primeros coeficientes de una serie, por lo que
es conveniente en estos casos utilizar desarrollos en serie limitados a un n
umero finito de terminos y utilizar
la notacion o y O.
I.8.2.
Definici
on I.8.2 Sea f : C holomorfa, z0 . f tiene un cero de orden k en z0 si
f (z0 ) = f 0 (z0 ) = = f (k1) (z0 ) = 0
f (n) (z0 ) 6= 0.
Proposici
on I.8.4 f : C holomorfa, f tiene un cero de orden k en z0 si y solamente si existe
g : C holomorfa con g(z0 ) 6= 0 tal que
f (z) = (z z0 )k g(z).
Demostraci
on.- Ejercicio.
Teorema I.8.4 Sea C abierto conexo y f : C holomorfa. Si f 6 0, entonces todos los ceros de f
son puntos aslados; es decir, si f (z0 ) = 0 r > 0 tal que |z z0 | < r f (z) = 0 z = z0 .
Demostraci
on.- Mostraremos la contrarecproca existe un cero no aislado de f , entonces f es identicamente
nula
Si z0 el cero no aislado de f , entonces para todo disco D(z0 , r) f |D(z0 ,r) 0. En efecto, como
D(z0 , r) , f puede escribirse como serie f (z) = a0 + a1 (z z0 ) + a2 (z z0 )2 + , para |z z0 | < r. Se
tiene queak = 0 para todo k, sino sea k el entero mas peque
no tal que ak 6= 0 obteniendo
f (z) = (z z0 )k (ak + ak+1 (z z0 ) + ) = (z z0 )k g(z).
g(z) es holomorfa sobre el disco D(z0 , r) y g(z0 ) = ak . Por continuidad de g g(z) es diferente de 0 en un
vecindario de z0 , por lo tanto z0 sera un cero aislado, lo que contradice que z0 no sea un cero aislado. Como
ak = 0 para todo k, se tiene f (z) = 0 sobre el disco D(z0 , r).
Ahora mostremos que f (z) = 0 para todo z . Sea z0 un cero no aislado. Puesto que es un abierto
conexo, tambien es conexo por arcos. Sea : [0, 1] R un arco tal que (0) = z0 y (1) = z.
50
Consideremos el subconjunto
an (z z0 )n ,
|z z0 | < ,
n=0
donde > es el radio de convergencia de la serie. Sea z1 6= z0 un punto dentro el disco |z z0 | < , entonces
la substituci
on z z0 = z z1 + (z1 z0 ) en la serie permite
f (z)
=
=
=
n=0
an (z z0 )n =
(z z1 )n
m=0
an ((z1 z0 ) + (z z1 ))n
n=0
!
X
n+k
k
an+k (z1 z0 )
n
k=0
bn (z z1 )n .
n=0
Remarcamos que las series de la primera fila y la tercera fila son reordenamientos de la serie de la segunda
fila que es una serie doble. El reordenamiento esta permitido porque para z fijo con |z1 z0 | + |z z1| <
la serie doble converge absolutamente; en efecto
n=0
51
funci
on f (z). Pero es posible que el radio de convergencia sea mayor que |z1 z0 | y por lo tanto converga
en una region fuera del disco inicial. Viendo la Figura I.8.4, la funci
on f (z) ha sido prolongada de manera
u
nica. Este procedimiento puede ser repetido y permite llenar una region de mas en mas hasta llegar a
un borde natural. La unicidad del prolongamiento se garantiza en tanto que los discos llenan un dominio
simplemente conexo (sin huecos).
I.8.3.
Por lo que se ha visto hasta ahora, las funciones holomorfas tienen un comportamiento ejemplar y previsible,
nada que ver con la palabra compleja. A continuaci
on presentamos una serie de teoremas que mostraran
cuan poderosa es la teora de las funciones complejas.
Teorema I.8.5 (Desigualdad de Cauchy) Sea f : C holomorfa, donde es un abierto, z0 ,
R > 0 con D(z0 , R) y M > 0 tal que f (z) M para todo z D(z0 , R).
f (z) =
an (z z0 )n ,
|z z0 | < R,
n=0
Entonces:
i) |an |
M
.
Rn
M
, entonces an = 0 para todo n 6= n0 , es decir f (z) = an0 (z z0 )n0 .
R n0
Demostraci
on.- Sin perder generalidad podemos suponer que z0 = 0. Sea < < R y planteamos I() =
R 2
f (ei )2 d. Tenemos
0
f (ei )
n=0
an n eni ,
52
I()
=
=
n ni
an e
n=0
an a
m
m+n
am e
Z
i(nm)
m mi
m=0
m,n=0
{z
k
2
si
sino
|an | 2n 2M 2 ,
}
m=n
< R.
n=0
Haciendo R, se tiene
|an | R2 M 2 |an |
n=0
M
.
Rn
Los calculos en la doble serie estan justificados porque trabajamos con una serie absolutamente convergente.
Definici
on I.8.3 Una funci
on entera es una funci
on f (z) holomorfa sobre todo el plano complejo C.
Teorema I.8.7 (Teorema del Valor Medio) Si f es holomorfa en un disco de radio r y centro z, entonces
Z
Z
f (z) = 12
f (z + rei ) d.
0
Demostraci
on.- Ejercicio.
Si un punto c D es un punto
Proposici
on I.8.5 Sea f holomorfa en un disco abierto D, continua en D.
m
aximo de |f (z)|, entonces f es constante en un vecindario de c.
53
Demostraci
on.- Si f (c) = 0 el resultado es evidente. Sino planteamos M = |f (c)|. La hip
otesis sobre c
implica que exista R > 0 tal que para todo 0 < r < R se tenga |f (z)| < M para z = c + rei , 0 2.
Demostraci
on.- Sea M = sup |f (z)|. Si los puntos maximos se encuentran sobre D, entonces el teorema
zD
es correcto, sino existe c D con |f (c)| = M . Consideremos el conjunto E = {z D|f (z) = f (c)}, ahora
bien por la continuidad de f E es cerrado en D y por la proposicion precedente E es abierto en D, como D
es un dominio simple, por lo tanto conexo, E = D lo que contradice la hip
otesis de que f no es constante.
Teorema I.8.9 (Fundamental del Algebra) Todo polinomio de grado mayor o igual a 1 y coeficientes
complejos
P (z) = an z n + an1 z n1 + + a0
existe un z C tal que p(z) = 0.
Demostraci
on.- Supongamos que el teorema no es correcto; es decir que existe un polinomio de grado
mayor o igual a 1 p(z) que no admita raices. Por lo tanto p(z) 6= 0 para todo z y la funci
on f (z) = 1/p(z)
es entera.
54
g(z)
p
ap()
R) aplicamos el principio
lo que significa que existe R > 0 tal que |z| > R |f (z)| < 1. Para el disco D(0,
del maximo, con lo que la funci
on f (z) es acotada. El teorema de Liouville implica que f (z) es constante, lo
que contradice que p sea un polinomio de grado mayor o igual a 1.
I.9.
55
Series de Laurent
En la seccion precedente hemos estudiado el hecho que las funciones que son holomorfas sobre un disco,
admiten desarrollos en serie de potencias. En esta seccion se pretende generalizar este desarrollo en serie de
potencias a regiones m
as generales.
Definici
on I.9.1 Sean a C, 0 r < R. La corona de centro a, radio inferior r y radio superior R es el
conjunto
C(a, r, R) = {z Z|r < |z a| < R}.
ak =
1
2i
Z
C
f ()
d,
( a)k+1
(I.9.1)
ak no depende de C, consecuencia de uno de los corolarios del teorema de Cauchy. La serie de Laurent de f
respecto a la corona C(a, r, R) es
k=+
X
ak (z a)k =
k=
ak (z a)k +
k=1
ak (z a)k .
(I.9.2)
k=0
f (z) =
k=+
X
ak (z a)k
k=
uniformemente sobre 1 |z a| 2 .
Demostraci
on.- Sean 1 , 2 con R1 < 1 2 < R2 , como la corona C(a, R1 , R2 ) es un conjunto abierto,
56
existen 01 y 02 tales que
R1 < 01 < 1 < 2 < 02 < R2 .
|z|=r
2
02
za
a
.
1
1 X
=
z
a
k=0
za
a
k
2 ), se tiene
uniformente. Por consiguiente, al existir convergencia uniforme sobre el disco D(a,
1
2i
Z
2
X 1
f ()
d =
z
2i
k=0 |
f ()
d (z a)k .
( a)k+1
{z
}
ak , k0
01
1
a
za
.
1
1 X
=
z
za
k=0
a
za
k
Z
1
X 1
f ()
d =
z
2i
k=1 |
Z
1
f ()
d (z a)k .
( a)k+1
{z
}
ak , k1
57
Proposici
on I.9.1 Si f (z) =
k=
P
k=
Ak =
1
2i
Z
C
f ()
d,
( a)k+1
Demostraci
on.- Dejamos al estudiante la justificaci
on de los calculos, se tiene
al
1
2i
f ()
d
l+1
C ( a)
k=
P
Ak ( a)k
Z
1
k=
2i C
( a)l+1
Z
k=
X Ak
( a)k
k=
2i
d =
d = Al .
a)l+1
{z
}
0 k 6= l
2i k = l
(
|C
(
=
Al igual que las series enteras, con las series de Laurent, en lugar de utilizar la formula integral (I.9.1) para
determinar la serie de Laurent de una funci
on es preferible utilizar propiedades de series y series ya conocidas.
Ejemplos
1
. Esta funci
on no esta definida en z = i y z = i. Determinemos
1 + z2
la serie de Laurent en la corona C(i, 0, 2) = {z|0 < |z i| < 2}, remarcando que existen otras tres
coronas donde se puede desarrollar en serie de Laurent la funci
on f (z). Se tiene
1. Consideremos la funci
on f (z) =
1
1 + z2
1
1
1
=
(z + i)(z i)
z !!
i z i + 2i
1
1
1
.
z i 2i 1 + zi
2i
=
=
1
2i
X
(1)k
k=0
(2i)k
(z i)
!!
X
(1)k+1
(z i)k .
(2i)k+2
k=1
2. Consideremos la funci
on f (z) = 1z(z) y hallemos las series de Laurent para las coronas 0 < |z| < 1
y la corona 1 < |z|.
58
3. Como |z| < 1, se tiene
1 X k
1
1
=
z = 1 z z2 .
z(z 1)
z
z
k=0
I.9.1.
1+
1
1
1
1
1
+ 2 + = 2 + 3 + 4 + .
z
z
z
z
z
k=1
X
ak (z a)k +
k=
ak (z a)k
k=0
|
{z
}
parte principal
la serie de Laurent respecto a la corona C(a, 0, R). De acuerdo al comportamiento de la parte principal de
la serie de Laurent, podemos clasificar el punto a:
i.- ak = 0 para k < 0 (la parte principal de la serie de Laurent es nula), en este caso f es holomorfa sobre
el disco D(a, R) y se dira que a es una singularidad suprimible. Por ejemplo
sin z
z
tiene 0 como singularidad suprimible.
ii.- Existe k0 < 0 tal que ak0 6= 0 y ak = 0 para k < k0 , (la parte principal contiene un n
umero finito de
terminos no nulos). En este caso, la serie de Laurent es
f (z) = ak0 (z a)k0 + ak0 +1 (z a)k0 +1 + a1 (z a)1 +
ak (z a)k .
k=0
k
X
1 1
.
k! z
k=0
Proposici
on I.9.2 Sea f : {z|0 < |z a| < r} C holomorfa, entonces f posee un polo de orden n en a
si y solamente si 1/f posee un cero de orden n en a.
Demostraci
on.- Se tiene
f (z) = an (z a)n + an+1 (z a)n+1 + = h(z)(z a)n .
59
h(z) es holomorfa sobre todo el disco D(a, r) y h(a) = an 6= 0. Por consiguiente, f tiene un polo de orden
n, si y solamente si h(z) es holomorfa y h(a) 6= 0, si y solamente si
1
1
= (z a)n
,
f (z)
h(a)
si y solamente si 1/f tiene un cero de orden n.
Corolario I.9.1 f posee una singularidad esencial en a, si y solamente si 1/f posee una singularidad
esencial en a.
Proposici
on I.9.3 Sea f : {z|0 < |z a| < r} C holomorfa. Si f es acotada, entonces la singularidad es
suprimible.
Demostraci
on.- Consideremos la serie de Laurent de f en la corona {z|0 < |z a| < r}
f (z)
k=
X
ak (z a)k ,
1
2i
k=
ak
|a|=
f ()
d,
( a)k+1
con O < < r. Si f es acotada, existe M > 0, tal que |f (z)| M , por consiguiente
Z
1
f ()
1 M
M
|ak | =
d
2 = k .
2
( a)k+1 2 k+1
|a|=
Corolario I.9.2 Si f posee una singularidad esencial en a, entonces existe una sucesi
on zn a tal que
f (zn ) 0.
Demostraci
on.- Por el absurdo, supongamos lo contrario; es decir que toda sucesion zn a verifica
f (zn ) 6 0. Esto es posible, si existe > 0 tal que > 0, se tiene
0 < |z a| < |f (z)| .
Sino sera posible construir una sucesion con las caractersticas se
naladas.
Por lo tanto, tomemos > 0 con f holomorfa sobre 0 < |z a| < , se tiene que |1/f (z)| sobre
0 < |z a| < , de donde 1/f es acotada y a es una singularidad suprimible de acuerdo a la proposicion
precedente. Lo que conduce a una contradicci
on.
60
Corolario I.9.3 f posee una singularidad esencial en a, entonces para todo c C, existe una sucesi
on
zn a tal que f (zn ) c.
Demostraci
on.- Planteamos g(z) = f (z) c y aplicacmos la proposicion precedente.
I.10.
Residuos y Aplicaciones
El concepto de residuo y sus aplicaciones provienen de manera natural de las Series de Laurent. Consideremos
un abierto C, un conjunto D discreto y sea f : D C holomorfa. Por lo tanto, si z es un
punto singular de f , entonces existe r > 0 tal que f es holomorfa sobre la corona C(z , 0, r) y la serie de
Laurent respecto a esta corona es
f (z) =
k=
X
ak (z z )k ,
k=
f () d,
Resz=z (f ) = a1 (z ) =
2i
|z |=
f () d = 2i
Resz=z (f )
(I.10.1)
z D
z int C
Demostraci
on.- int C es un conjunto acotado, se tiene D int C es un conjunto a lo mas finito. Por
61
f () d
C
f () d
k=1|z |=
k
k
n
X
Resz=zk (f ) .
= 2i
n
X
k=1
I.10.1.
C
alculo de Residuos
ak (z a)k .
k=0
Ejemplos
1. Consideremos la funci
on f (z) = 1/ sin z, esta tiene un polo simple en el origen,
Resz=0 (
1
z
) = lm
= 1.
z0 sin z
sin z
2. Sup
ongamos que la funci
on f (z) es de la forma
f (z) =
P (z)
,
Q(z)R(z)
za
P (z)(z a)
= lm
za
Q(z)R(z)
P (z)
Q(z)Q(a)
R(z)
za
P (a)
Q0 (a)R(a)
62
Como ilustraci
on, consideremos f (z) = cot z, esta funci
on tiene polos simples en z = k con k entero,
z
sabiendo que cot z = cos
,
los
residuos
en
los
polos
simples
zk = k, estan dados por
sin z
Resz=zk (cot z) =
cos(k)
= 1.
cos(k)
1
dn1
(g(z))z=a .
(n 1)! dz n1
Ejemplo
3.- Consideremos la funci
on f (z) = 1/(1 + z 2 )n , que tiene polos de orden n en z = i. Calculemos el residuo
en z = i. Se tiene
g(z)
= f (z)(z i)n =
a1
1
= (z + i)n ,
(z + i)n
1
(z + i)n z=i =
(n) (n 1) (2n + 2)(i + i)2n+1 ,
(n 1)!
1
dn1
(n 1)! dz n1
(2n 2)!
= i 2n1
.
2
((n 1)!)2
de donde
Resz=0 (csc3 z) =
1
.
2
I.10.2.
63
C
alculo de Integrales
Una de las aplicaciones de los residuos esta dada por el calculo de integrales definidas y/o impropias reales. A
continuaci
on veremos algunas situaciones tpicas, en las cuales la utilizacion de residuos permite facilmente
evaluar integrales.
R 2
1. Integrales del tipo: 0 R(cos , sin ) d
Donde R(x, y) = P (x, y)/Q(x, y), P (x, y) y Q(x, y) polinomios.
Suponemos ademas que Q(cos , sin ) 6= 0 para todo [0, 2].
Planteando z = ei y la circunferencia unitaria, la integral se convierte
Z
R(cos , sin ) d =
z + z 1 z z 1 dz
,
.
2
2i
iz
Ejemplo
1
d,
a + cos
Z
0
1
d = 2i
a + cos
z2
1
1
,
=
2z1 + 2a
2 a2 1
1
dz
+ 2az + 1
2
1
1
=
.
d = (2i)(2i)
2
a + cos
2 a 1
a2 1
R(x) dx
64
Donde R(x) = P (x)/Q(x), P (x) y Q(x) polinomios con Q(x) 6= 0 para todo x R.
Si por ejemplo deg P (x) + 2 deg Q(x), se tiene lm zP (z)/Q(z) = 0.
z
Z
R(x) dx = lm
r+
R(x) dx.
R(x) dx =
R(z) dz
R(z) dz,
Cr
Cr
de donde
zi polo
=zi >0
R(x) dx = 2i
Resz=zi (R(z)).
zi polo
=zi >0
Ejemplo
6.- La integral impropia
Z
1
(2n 2)!
dx = 2n2
(1 + x2 )n
2
((n 1)!)2
(I.10.2)
Consideremos el caso en que a > 0, usualmente se toma semicircunferencias para construir un contorno; esta vez, trabajaremos sobre un
rectangulo, observando la figura de la derecha, se tienen 1 , 2 y 3
arcos simples que no estan sobre la recta real. Para 1 , se tiene
Z
Z
f (z)eiaz dz M (R)
eaRt R dt = M (R)
1 eaR
a
65
donde M (R) = m
ax |f (z)| 0 cuando R 0. De esta manera la integral sobre 1 tiende a 0 cuando
R . Similarmente la integral sobre 3 tiende a 0. Para el arco 2 , se tiene la mayoracion
Z
Z R
iaz
M (R)
f
(z)e
dz
eR dt = 2M (R)eR R 0
R
cuando R 0.
Para a < 0 se procede de la misma manera, pero tomando el rectangulo en el semiplano inferior.
Ejemplo
7.- Determinar
sin x
x
dx.
La funci
on f (z) = sin z/z tiene una singularidad (suprimible en z=0), por consiguiente
!
Z
Z
Z
sin x
sin x
sin x
dx = lm
dx +
dx .
R
x
x
x
0
+
Ahora bien, en lugar de considerar el intervalo [R, R] como habitualmente hemos hecho, consideramos el recorrido dado por = [R, ] + C + [, R], ver figura. Se tiene
sin x
x
dx +
sin x
x
dx =
Z
sin z
x
dz
Z
C
sin z
z
dz.
2iz
Para eiz /2iz agregamos a un recorrido, de manera que obtengamos un rectangulo en el semi
plano superior. Esta funci
on tiene un polo simple en z = 0, de donde
Z iz
e
dz = 2i Resz=0 (eiz /(2iz)) = .
2iz
Para eiz /2iz agregamos a un recorrido, de manera que obtengamos un rectangulo en el semiplano inferior, esta funci
on no tiene polos en el interior del rectangulo, por lo tanto
Z iz
e
dz = 0
2iz
Hacemos tender R y 0+ , obteniendo
Z
sin x
dx = .
x
R
4. Integrales del tipo 0 x f (x) dx
Donde 1 < < 1 y f (z) es una funci
on holomorfa que no se anula sobre el semieje positivo real,
z 1+ f (z) 0 cuando z y que satisface
(xei2 ) f (xei2 ) = xf (x).
(I.10.3)
66
= 1 + 2 + 3 + 4 ,
donde 1 es el segmento de origen > 0 y llegada R > 0, 2 es la
circunferencia de radio R, 3 es el segmento de origen R y llegada
y finalmente 4 es la circunferencia de radio .
La condicion sobre z 1+ f (z) cuando z hace que la integral
sobre 1 tienda a 0 cuando R .
La condici
on 1 < < 1 hace que la integral sobre 4 tienda a 0
cuando 0+ .
Aplicando el teorema de los residuos sobre el contorno , se tiene
Z
X
z f (z) dz = 2i
zi Resz=zi (f (z)),
(I.10.4)
zi polo
zi 6=0
(xei2 ) f (xei2 ) dx =
x f (x) dx.
x f (x) dx = 2i
zi Resz=zi (f (z)).
zi polo
zi 6=0
x f (x) dx =
2i X
zi Resz=zi (f (z)).
1 z polo
i
zi 6=0
Ejemplo
8.- Determinar la integral de Euler
Z
0
xa1
dx
1 + xb
0 < a < b.
(I.10.5)
Observando el contorno, para este tipo de integrales, la condicion a > 0 asegura que la integral
sobre 4 tienda a 0 cuando tiende a 0 y la condicion a < b asegura que la integral sobre la
circunferencia de radio R tienda a 0 cuando R .
Sin embargo, es muy posible que en esta integral no se pueda cumplir la condicion I.10.3; por lo
67
que, en lugar de elegir el contorno sugerido mas arriba, elegimos otro contorno.
porque eib/2 = 1.
Por lo tanto
Z
0
xa1
eia/2
pi 1
.
dx = 1ei(a1) =
b
b sin a
1+x
b
b
2i
(I.10.6)
= log2 R O(R1 ) O
cuando R 0.
De la misma manera
Z
(log z)2 R(z) dz (2)(log2 + 4 2 )O(1) = log2 O() 0
4
cuando 0.
Luego
Z
Z
(log z)2 R(z) dz =
1
logx R(x)dx,
Por consiguiente
Z
Z
Z
(log z)2 R(z) dz +
(log z)2 R(z) dz = 2i
1
log x R(x) dx + 4 2
R(x) dx.
Ejemplo
(I.10.7)
68
9.- Calcular la integral impropia
log x
dx.
1 + x2
Utilizamos las f
ormulas (I.10.7) y (I.10.2) con n = 1. La funci
on R(z) = 1/(1 + z 2 ) tiene polos
simples en z = i y z = i, de donde
Z
0
log x
1
dx =
1 + x2
2
2
9
+
8i
8i
pi2
i = 0.
2
I.10.3.
En el curso de Primer A
no de An
alisis se trato el concepto de integral impropia y la caracterstica esencial
era que el lmite de la integral no dependa de los lmites de las extremidades.
R
Definici
on I.10.2 Sea f : R {a1 , . . . , an } R continua. El valor principal de f (x) dx, si existe,
est
a dado por
v.p
f (x) dx = lm
0+
R
a1
f (x) dx +
a2
f (x) dx + +
a+
f (x) dx .
(I.10.8)
an +
Ejemplo
1. Se tiene
v.p
1
dx = 0.
x
Remarca.- La definici
on de valor principal dada por (I.10.8), presenta dos lmites, uno alrededor de los
puntos singulares y otro lmite en las extremidades. Esta definici
on puede adaptarse a otras situaciones,
donde el valor principal puede tener cierto rol.
Remarca.- Si una integral impropia existe, obviamente existe su valor principal y este es igual a la
integral impropia.
Teorema I.10.2 Sean f : C, H = {z|=z 0} abierto. Si f es holomorfa sobre , salvo en
z1 , z2 , . . . , zn , si =zk = 0 zk es un polo simple y si adem
as
Z
f (z) 0 cuando R , CR = {Reit |t [0, ]},
CR
entonces
v.p
f (x) dx = 2i
Resz=zk (f (z)) + i
zk punto singular
=zk >0
Resz=zk (f (z))
zk polo simple
=zk =0
(I.10.9)
69
Demostraci
on.- Consideramos el contorno dado por la semicircunferencia CR de radio R, los segmentos
[ak + , ak+1 ] y las semicircunferencias Ck = {z = ak + eit |t [, 2].
zk punto singular
=zk >0
Resz=zk (f (z))
+ gk (z)
z zk
(I.10.11)
Ck
Por consiguiente
Z a1
Z
f (x) dx +
R
a2
f (x) dx + +
a+
f (x) dx
an +
= 2i
f (z) dz
f (z) dz
CR
Resz=zk (f (z)) + i
zk punto singular
=zk >0
Z
X
X Z
f (z) dz
f (z) dz.
Ck
zk polo simple
=zk =0
Resz=zk (f (z))
zk polo simple
=zk =0
CR
I.11.
Funciones Meromorfas
Definici
on I.11.1 Sea C abierto, Se dir
a que f : D C holomorfa es meromorfa, si D es un
conjunto discreto y para todo z D z es un polo o singularidad suprimible.
Denotamos por M() el conjunto de funciones meromorfas sobre .
Proposici
on I.11.1 Sea C un abierto no vacio, entonces M() es un es cuerpo que prolonga C.
Demostraci
on.- Ejercicio.
Ejemplos
1. C(z) = {R(z) = P (z)/Q(z)|P, Qpolinomio, Q 6= 0} el conjunto de las funciones racionales sobre C es
un subcuerpo de M(C). La verificacion es un simple ejercicio.
2. Las funciones trigonometricas cos z, sin z, tan z, cot z, sec z y csc z son funciones meromorfas. De las
cuales, excepto sin z y cos z tienen una infinidad de polos simples.
70
I.11.1.
Para las funciones racionales, la descomposicion en fracciones parciales es conocida desde hace 300 a
nos y es
muy u
til, por ejemplo en integraci
on. Consideremos la fraccion
f (z) =
6z 4 20z 2 + 4z + 19
(z 1)3 (z + 2)2
(I.11.1)
1
2
3 8
7
2
+
(z 1) + (x 1)2 + ,
3
2
(z 1)
(z 1)
z 1 9 27
27
1
3
34 14
17
=
+
(z + 2) (z + 2)2 +
(z + 2)2
z + 2 27 27
81
(I.11.2)
(I.11.3)
1
2
3
+
3
2
(z 1)
(z 1)
z1
p2 (z) =
1
3
+
,
2
(z + 2)
z+2
(I.11.4)
la funci
on f (z) p1 (z) p2 (z) tiene ningu
un polo y por consiguiente es holomorfa sobre todo C, como
lm f (z) = 0 y por el teorema de Liouville, esta diferencia es 0. Por lo tanto, se tiene
z
f (z) =
1
2
3
1
3
+
(z 1)3
(z 1)2
z 1 (z + 2)2
z+2
(I.11.5)
(I.11.6)
cot z
= +
csc z
1
1
1
1
1
+
+ +
+
+
z + 2 z + z
z z 2
(I.11.7)
1
1
1
1
1
+
+
+
z + 2 z + z
z z 2
(I.11.8)
= +
71
S
sucesion de contornos Cn tal que
Int Cn = C y para todo n no hay polos de f sobre Cn .
n=1
gk (z) = f (z)
pj (z)
(I.11.9)
Int
zj
Ck
zj polo
donde pk es la parte principal del desarrollo de Laurent alrededor del polo zj . Puesto que Ck es acotado
y f es meromorfa, la suma (I.11.9) es finita y la funci
on gk es holomorfa en el dominio definido por Ck .
Aplicando la f
ormula integral de Cauchy, se obtiene
Z
gk ()
gk (z) =
d, z Int Ck ,
Ck z
es decir
f (z) =
pj (z) +
Z
Ck
Int
zj
Ck
zj polo
gk ()
d,
z
z Int Ck ,
(I.11.10)
Ahora bien,
Z
Ck
gk ()
d =
z
Z
Ck
f ()
d
z
X
Int
zj
Ck
zj polo
Z
Ck
pj ()
d,
z
z
Ck
zj Int Ck
z Int Ck ,
(I.11.11)
zj polo
S
{Cn } de contornos, con
Cn = C, tal que para cualquier z C se tenga
n=1
lm
Z
Cn
f ()
d = 0
z
(I.11.12)
(I.11.13)
zk
pk (z).
polo
Si adem
as para M C compacto, se tiene para todo z M
Z
f ()
d n 0
Cn z
(I.11.14)
72
( z)
se tiene
Z
Cn
csc
d =
z
csc
d +
CN
La funci
on csc / es una funci
on par, por lo que
Z
CN
Z
CN
(I.11.15)
z csc
d.
( z)
csc
d = 0,
(I.11.16)
(I.11.17)
Z
CN
z csc
d = 0
( z)
(I.11.18)
Ahora mayoremos csc sobre Cn . Comenzemos por el lado vertical que pasa por (/2 + 2(n 1)), como csc
es 2 periodica, se tiene csc((/2 + 2(n 1)) + iy) = csc(/2 + iy) y por consiguiente, utilizando identidades
trigonometricas, se obtiene
1
sin( 2 + iy)
csc( + iy)
2
=
=
1
,
cos(iy)
1
1.
cosh y
Para el lado horizontal que para por i(/2 + 2(n 1)) = n , se tiene
sin(x + in )
(I.11.19)
73
1.
sinh 2
|sin(x + in )| =
|csc(x + in )|
(I.11.20)
I.11.2.
N
umero de Ceros y Polos de Funciones Meromorfas
f ((t))
= ei .
|f ((t))|
(I.11.21)
Esta funci
on est
a bien definida si se conoce por ejemplo (a) y su calculo puede efectuarse cambiando
determinaciones del argumento.
Se tiene
1
Ind(f, ) =
((b) (a)).
(I.11.22)
2
(I.11.22) muestra que cumple el rol de una primitiva y por consiguiente nos permite pensar que es posible
determinar Ind(f, ) utilizando una integral.
Ahora bien, tal como se ha definido , se utiliza de alguna manera determinaciones de arg, que no es
holomorfa. Sin embargo las determinaciones de log si lo son y podemos utilizarlas y tendriamos
Ind(f, ) =
1
(log2 (f ((b))) log1 (f ((a)))).,
2i
(I.11.23)
donde log1 y log2 son determinaciones de log de manera que sea continuea.
Por otro lado, se tiene
Z
a
f 0 ((t)) 0
(t) dt = (f ((b))) log1 (f ((a))).
f ((t))
(I.11.24)
74
z 2 4
ez i .
Demostraci
on.- Ejercicio
Antes de enunciar el resultado principal de esta seccion es bueno recordar el siguiente resultado
Lema I.11.1 Sea f : C meromorfa, entonces
a) z0 es un cero de multiplicidad m, si y solamente si existe g : C meromorfa y holomorfa en z0 tal
que
f (z) = (z z0 )m g(z), g(z0 ) 6= 0.
(I.11.26)
b) z0 es un polo de orden m, si y solamente si existe g : C meromorfa y holomorfa en z0 tal que
f (z) = (z z0 )m g(z),
g(z0 ) 6= 0.
(I.11.27)
Demostraci
on.- Ejercicio
Teorema I.11.3 (Principio del Argumento) Sea f : C meromorfa y C un contorno sin ceros, ni
polos de f , entonces
Z P = Ind(f, C)
(I.11.28)
donde Z es el n
umero de ceros, contando su multiplicidad, de f en el interior de C y P es el n
umero de
polos, contando su orden en el interior de C.
75
Demostraci
on.- Puesto que f es meromorfa y el interior de C es acotado, el n
umero de polos y ceros
son en cantidad finita. Denotemos por {z1 , z2 , . . . , zn } los ceros y polos, dos a dos diferentes. Con > 0 lo
suficientemente peque
no aplicamos el corolario 1.6.3 del teorema de Cauchy lo que da
Z
n Z
X
f 0 (z)
f 0 (z)
dz =
dz.
(I.11.29)
C f (x)
|zzk |= f (z)
k=1
f 0 (z)
nk (z zk )nk 1 g(z) + (z zk )nk g 0 (z)
1
g 0 (z)
=
=
n
+
k
f (x)
(z zk )nk g(z)
(z zk )
g(z)
de donde
|zzk |=
f 0 (z)
dz = nk 2i.
f (z)
(I.11.30)
f 0 (z)
nk (z zk )nk 1 g(z) + (z zk )nk g 0 (z)
1
g 0 (z)
=
=
n
+
k
f (x)
(z zk )nk g(z)
(z zk )
g(z)
de donde
|zzk |=
Por lo tanto
Z
C
f 0 (z)
dz = nk 2i.
f (z)
(I.11.31)
f 0 (z)
dz = 2i(Z P),
f (z)
es decir
Z P = Ind(f, C).
(I.11.32)
Z
C
h0 (t, z)
dz
h(t, z)
76
Indice alfab
etico
cuerpo de los complejos, 4
ndice
Cauchy, 73
angulo
orientado, 18
desigualdad
Cauchy, 51
determinacion
argumento, 12
principal, 13
logaritmo, 13
divisi
on
arco simple, 28
dominio simple, 38
arco simple, 27
divisi
on, 28
partici
on, 28
argumento
determinaci
on, 12
calculo de integrales
residuos, 63
cambio variable, 33
Cauchy
ndice, 73
desigualdad, 51
teorema, 38
valor principal, 68
Cayley
transformaci
on, 24
cero, 49
orden, 49
complejos
adici
on, 3
conjugado, 4
cuerpo de los, 4
divisi
on, 5
forma polar, 5
modulo, 5
multiplicaci
on, 3
parte imaginaria, 4
parte real, 4
sustraccion, 5
conforme
funci
on, 18
contorno, 31
simple, 37
interior, 37
convergencia, 6
radio, 43
corona, 55
ecuaciones
Cauchy-Riemann, 16
formula
Hadamard, 43
Formula de Moivre, 5
forma polar, 5
funci
on
C-diferenciable, 15
conforme, 18
diferenciable, 15
entera, 52
exponencial, 11
holomorfa, 17
logaritmo complejo, 12
meromorfa, 69
parte compleja, 8
parte real, 8
polinomial, 10
representacion grafica, 8
trigonometrica
compleja, 14
inversa, 15
funciones complejas, 7
funciones exponenciales, 14
Hadamard
formula, 43
holomorfa, 17
homografa, 20
77
INDICE ALFABETICO
78
homotecia, 2
integral
recorrido, 30
sobre arco simple, 28
lmites, 6
logaritmo
determinaci
on, 13
logaritmo complejo, 12
Louiville
teorema, 52
modulo, 5
meromorfa
funci
on, 69
Morera
teorema, 42
parte imaginaria, 4
de una funci
on, 8
parte principal
serie de Laurent, 58
parte real, 4
de una funci
on, 8
plano complejo, 3
compactificaci
on, 7
polo, 58
potencias, 13
primitiva
funci
on, 31
Principio del M
aximo
teorema, 53
proyeccion estereografica, 7
radio de convergencia, 43
recorrido, 30
H-V, 34
horizontal-vertical, 34
integral, 30
simple, 37
representaci
on conforme, 24
residuo, 60
residuos
calculo de integrales, 63
polo de orden superior, 62
polo simple, 61
teorema, 60
rotacion, 2
Rouche
teorema, 75
serie
entera, 43
Laurent, 55
Taylor, 44
serie de Laurent
parte principal, 58
similitud, 2
singularidad
esencial, 58
suprimble, 58
Taylor
serie, 44
teorema
Cauchy, 38
Cauchy-Taylor, 44
funci
on abierta, 54
fundamental del algebra, 53
Louiville, 52
Morera, 42
Principio del Maximo, 53
residuos, 60
Rouche, 75
valor medio, 52
Weistra, 43
transformaci
on
Cayley de, 24
homogr
afica, 20
valor medio
teorema, 52
valor principal
Cauchy, 68
Weistra
teorema, 43