Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Elementos de Variable Compleja - Sup Riemann
Elementos de Variable Compleja - Sup Riemann
2
CONCLUSIONES ............................................................................................ 65
BIBLIOGRAFA ............................................................................................... 66
3
INTRODUCCION
Las cantidades ficticias de Cardano fueron ignoradas por la mayora de sus colegas,
hasta que el genio matemtico Carl Friedrich Gauss les dio el nombre actual y las
utilizo para demostrar el Teorema Fundamental del Algebra, el cual establece que
todo polinomio que no sea constante tiene al menos un cero.
4
I. ESTRUCTURA DE LOS NMEROS COMPLEJOS
De los axiomas que gobiernan la relacin < se deduce que el cuadrado de un nmero
no es nunca negativo. Entonces, ecuaciones cuadrticas elementales tales como, por
ejemplo x 2 = 1 no posee solucin entre los nmeros reales. Ahora con los nmeros
complejos, podemos conseguir soluciones para tales ecuaciones. Resulta entonces que
al introducir los nmeros complejos, se proporciona, soluciones de las ecuaciones
algebraicas de la forma
ao + a1 z + ... + an z n = 0
donde los coeficientes a 0 , a1 ,..., a n son nmeros reales cualesquiera. (Este resultado
es conocido como Teorema fundamental del Algebra).
z + ( z ) = 0 = ( z ) + ( z ) y zz 1 = 1 = z 1 z .
5
El inverso multiplicativo de z = x + iy es
x iy
( x + iy ) 1 =
x2 + y2 .
Se identifica el par ordenado (x,0) con el nmero real x , notamos que la suma y la
multiplicacin de tales pares satisfacen las operaciones usuales de suma y
multiplicacin de nmeros reales:
Ejemplo 1
Encuentre las partes real e imaginaria de z = 2 + 3i .
6
denotamos por Re ( z ). El nmero y llamado parte imaginaria de z , se denota por
Im ( z ). Si x = 0 , tendremos z = iy , y entonces se dice que z es imaginario puro.
Figura 1.1
7
(iv). (v + w) = v + w . Distributividad con respecto a la suma vectorial.
(v). (a + b)v = av + bv . Distributividad con respecto a la suma escalar.
Figura 1.2
De hecho la definicin de suma coincide con la suma segn la regla del paralelogramo
para la suma vectorial en R2. (Figura 1.2).
z = x2 + y2 .
8
1.8 Complejo Conjugado
i) z + z = ( x + yi = + ( x + yi ) = 2 x = 2Re ( z ),
ii) z z = ( x + yi ) ( x yi ) = 2iy = 2 i Im ( z ),
iii) z z = ( x + yi )( x yi ) = x + y = z .
2 2 2
z+z zz
Re( z ) = , Im( z ) = ,
2 2i
v) Si z1 = x1 + iy1 y z 2 = x 2 + iy 2 , entonces
z1 + z 2 = ( x1 + x 2 ) + i ( y1 + y 2 ) = ( x1 + x 2 ) i ( y1 + y 2 )
= ( x1 iy1 ) + ( x 2 iy 2 ) = z1 + z 2 .
z1 z 2 = z1 z 2 ,
vi) z1 z 2 = z 1 z 2
z1 = z1 z 2 , z 0 .
z
2
2 2
vii) z2
9
Figura 1.3
Llamamos a esta longitud valor absoluto (norma magnitud) del nmero complejo
z, y lo denotamos como z = x2 + y2 .
x
= arctan + 2k donde k = 0,1,2,...
y
El ngulo tal que < , se llama valor principal del argumento y se designa
Arg(z).
Ejemplo 1
Encuentre la representacin polar de 1 i
10
Como los ngulos polares no estn determinados las superficies de Riemann se tienen
en forma nica, y su argumento es
arg(1 i ) = + 2k ,
4
Donde k es cualquier entero. As, la representacin polar de 1 i es
1 i = 2 cos + 2k + isen + 2k .
4 4
Figura 1.4
11
Figura 1.5
Conduce a
zw = z w
Y
arg( zw) = arg( z ) + arg( w) .
z
= [cos( ) + isen( )]
z
w w
re i r
= = e ( )
e i
12
=
r
[cos( ) + isen( )]
z
con la ecuacin arg = arg( z ) arg( w) , sujeta a una interpretacin similar a la
w
de la ecuacin arg( zw) = arg( z ) + arg( w) .
Definicin 1.1
Dados dos nmeros z1 y z 2 se verifica que
z1 + z 2 z1 + z 2
Demostracin:
Si tomamos
z1 + z 2 = ( z1 + z 2 )( z1 + z 2 ) = ( z1 + z 2 )( z1 + z 2 )
2
= z1 z1 + z1 z 2 + z 2 z1 + z 2 z 2
z1 + z 2 z1 + 2 z1 z 2 + z 2 = ( z1 + z 2 ) 2 .
2 2 2
13
Figura 1.6
Una superficie de Riemann es una generalizacin del plano complejo a una superficie
de ms de una hoja tal que una funcin multivaluada tiene slo un valor
correspondiente a cada punto de esa superficie. Una vez construida esa superficie para
una funcin dada, la funcin es univaluada sobre la superficie y se le puede aplicar all
la teora de funciones univaluadas (figura 1.7). Las complicaciones que aparecen
ligadas al carcter multivaluado de la funcin quedan as evitadas por un truco
geomtrico. Sin embargo, la descripcin de esas superficies y la relacin entre sus
hojas pueden ser muy engorrosas.
Figura 1.7
14
Teorema 1.2 Teorema De Moivre
Si n es un nmero entero entonces
Demostracin.
Por induccin sobre n. El producto
con w = z 2 , obtenemos
z (z ) = z z [cos( + 2 ) + isen( + 2 )]
2 2
o
z 3 = z [cos(3 ) + isen(3 )] .
3
Definicin 1.3
Si z = w n , entonces w se llama la raz ensima de z y podemos escribirla como:
w=n z
n
que posee n distintos valores. Es decir z est multivaluada.
Sean
w = R(cos + isen ) , z = r (cos + isen )
15
Entonces por el teorema de Moivre:
wn = z
entonces
w n = R n [cos(n ) + isen(n )] = r (cos + isen )
luego
r = Rn o R = n r
y
2k
n = + 2k o = +
n n
tomando los valores k = 0,1,...., n-1, obtendremos las n races.
Resumiendo:
+ 2k + 2k
n
z = n r cos + isen , k = 0,1,..., n 1 .
n n
El valor de n
z obtenido al tomar el valor principal de arg(z ) y k = 0 en la frmula
de arriba se asume como valor principal de w = n z .
z
n
(cos + isen ) = w (cos + isen ) .
As, podemos tomar
z = w
1 n
y
1 1
= arg(w) = ( Arg ( w) + 2k ) , k = 0,1,2,... ,
n n
16
aunque la ecuacin anterior proporciona un nmero infinito de valores para , solo
se obtienen n ngulos polares diferentes porque:
2 (k + n ) 2k
= + 2
n n
pues los ngulos polares se repiten cada n enteros. Por lo tanto, limitamos nuestra
atencin a los n ngulos polares:
=
1
( Argw + 2k ), k = 0,1,2...., n 1.
n
Ejemplo 2
i ( 2 k )
Encontrar las tres races cbicas de w = 1 i , donde 2e 4
= 1+ i = z3 .
4 4
De tal forma que
1 2k
z =2 6
y = + , k = 0,1,2.
12 3
En consecuencia, las tres races cbicas de 1 i son:
6
z 0 = 6 2 cos + isen = 2 cos isen ,
12 12 12 12
7 7
z1 = 6 2 cos + isen ,
12 12
5 5
z 2 = 6 2 cos + isen .
4 4
17
b
a
f ( x)dx = F (b) F (a) . Donde F ' ( x) = f ( x) .
Ejemplo 3
Sea S 0 el conjunto de todos los puntos z tales que z < 1 . Encuentre el interior, la
frontera y el exterior del conjunto S 0 .
18
Figura 1.8
Teorema 2.7
Cualesquiera dos puntos de una regin pueden unirse por medio de una lnea
poligonal contenida en la regin.
19
Demostracin.
Por contradiccin. Llamemos S a la regin, y supongamos que z 0 esta dentro de S .
Denotaremos por S1 todos aquellos puntos de S que puedan unirse a z 0 por medio
de un polgono y denotaremos por S 2 aquellos puntos que no pueden unirse. Si z1
esta en S1 y por tanto en S , es un punto interior de S . As, existe una vecindad de
z1 contenida en S : z z1 < . Todos estos puntos estn en S1 , ya que cada uno
puede unirse a z1 por medio de una que recta que pertenece a S , y que por ende
puede unirse a z 0 por medio de un polgono contenido en S . Entonces todo punto
de S1 es punto interior de S1 , as que S1 es abierto.
Si z 2 esta en S 2 , sea z z 2 < una vecindad contenida en S . Ningn punto de
esta vecindad puede estar en S1 , porque si as fuera z 2 estara en S1 . Por lo cual todo
punto de S 2 es punto interior de S 2 , entonces S 2 es abierto. Ningn conjunto
puede contener un punto frontera del otro, ya que ambos son abiertos y son ajenos.
Como S es conexo, uno de estos conjuntos debe ser vaci. Pero z 0 esta en S1 , as
que S 2 es vaci. Cualesquiera dos puntos pueden unirse a z 0 por medio de una
trayectoria poligonal contenida en S y, por tanto, puede unirse entre si por una
trayectoria poligonal que pasa por z 0 .
3.1 Funciones
Para definir una funcin es necesario dar tanto una regla de asignacin como un
dominio de definicin. Si no se menciona el dominio de definicin, sobreentendemos
que se toma el mayor conjunto posible.
Sea w = u + iv el valor de una funcin f en z = x + iy ; es decir,
u + iv = f ( x + iy ) .
20
f ( z ) = u ( x, y ) + iv ( x, y ) .
Ejemplo 4
Si f ( z ) = z 2 , entonces
f ( x + iy ) = ( x + iy ) 2 = x 2 y 2 + i 2 xy .
Luego
u ( x, y ) = x 2 y 2 y v ( x, y ) = 2 xy .
3.2 Limites
Definicin 3.2
Se dice que la funcin f ( z ) tiene limite A cuando z tiende hacia a ,
lim f ( z ) = A ,
z a
f ( z) A <
lim f ( z ) = f (a)
z a
(Figura 2.0). Una funcin continua es aquella que es continua en todos los puntos
donde est definida.
21
Figura 2.0
Ejemplo 5
z 1
Pruebe que lim = 2.
z 3 z2
z 1 3 z
2 = < .
z2 z2 z2
1
z 2 = 1 (3 z ) 1 3 z ) > 1 >
2
z 1
2 < 2 .
z2
1 1
As dado cualquier nmero pequeo > 0 , si elegimos < min , ,
2 2
obtenemos
22
z 1
2 < .
z2
Al igual que la definicin de lmite de una funcin compleja de una variable compleja
es idntica a la de una funcin real de una variable real, y puesto que los valores
absolutos se comportan como en el caso real, se aplican exactamente las mismas reglas
de los lmites.
Entonces
(i) lim[ f ( z ) + g ( z )] = A B ,
z a
(ii) lim f ( z ) g ( z ) = AB ,
z a
f ( z) A
(iii) lim = , para B 0 .
z a g ( z) B
Demostracin.
Dado > 0 existe un nmero 1 > 0 tal que f ( z ) A < , si z a < 1 , y un
nmero 2 > 0 tal que g ( z ) B < , siempre que z a < 2 . Sea z a < ,
donde 1 = min( 1 , 2 ) . Entonces, por la desigualdad del triangulo,
[ f ( z ) + g ( z )] ( A + B) = [ f ( z ) A] + [g ( z ) B ] [ f ( z ) A] + g ( z ) B < + = 2
y
[ f ( z ) g ( z )] ( A B) = [ f ( z ) A] + [B g ( z )] f ( z ) A + B g ( z ) < + = 2
.
f ( z ) g ( z ) AB = f ( z ) g ( z ) f ( z ) B + f ( z ) B AB
f ( z) g ( z) B + B f ( z) A f ( z) g ( z) B + B f ( z) A
y
23
f ( z) A f ( z) f ( z) f ( z) A
= +
g ( z) B g ( z) B B B
f ( z )[B g ( z )] f ( z ) A f ( z) f ( z) A
= + B g ( z) + .
Bg ( z ) B B g ( z) B
1
Si 0 < < B , tenemos
2
B = B g ( z) + g ( z) + g ( z) ,
de tal forma que
1
g ( z) B <
B
2
f ( z) = f ( z) A + A A + ,
por lo tanto
f ( z ) g ( z ) AB ( A + B + ) ,
y
f ( z ) A A +
< + 1 ,
g ( z) B B 1 2 B
Teorema 3.3
Sea
lim f ( z ) = w0 y lim F ( z ) = W0 .
z z0 z z0
Entonces
lim [ f ( z ) + F ( z )] = w0 + W0 ,
z z0
y
lim [ f ( z ) F ( z )] = w0W0
z z0
Y, si W0 0 , entonces
f ( z ) w0
lim = .
z z0 F ( z ) W0
24
lim P( z ) = P( z 0 ) .
z z0
En general las propiedades que aplican para los lmites de los nmeros reales tambin
son las mismas que se utilizan para los complejos. Las reglas de los limites pueden
usarse para probar que toda funcin polinomial en z
f ( z ) = a n z n + a n 1 z n 1 + ... + a1 z + a 0 es continua en los complejos.
Figura 2.1
25
Teorema 3.4
Sea f ( z ) = u ( x, y ) + iv ( x, y ) , z 0 = x0 + iy 0 , y w0 = u 0 + iv 0 .
Entonces
lim f ( z ) = w0
z z0
Si y solo si
lim u ( x, y ) = u 0 y lim v ( x, y ) = v 0 .
( x , y )( x0 , y0 ) ( x , y ) ( x0 , y 0 )
Demostracin:
lim f ( z ) = w0 .
z z0
(u u 0 ) + i (v v0 ) <
siempre que
0 < ( x x0 ) + i ( y y 0 ) < .
como
u u 0 (u u 0 ) + i(v v0 ) ,
y
v v0 (u u 0 ) + i (v v0 ) ,
se sigue que
u u 0 < y v v0 < ,
si
0 < ( x x0 ) 2 + i ( y y 0 ) 2 < .
y 2 tales que
u u0 < si 0 < ( x x0 ) 2 + ( y y 0 ) 2 < 1
2
y
v v0 < si 0 < ( x x0 ) 2 + ( y y 0 ) 2 < 2
2 ,
26
(u u 0 ) + i (v v0 ) u u 0 + v v0 ,
concluimos que
(u + iv) (u 0 + iv0 ) <
siempre que
0 < ( x + iy ) ( x0 + iy 0 < .
log( z ) = ln r + i
Tiene infinitos valores. Para describir log(z ) como funcin univaluada, sustituimos el
plano z , quitado el origen, por una superficie sobre la cual se coloca un nuevo punto
cada vez que el argumento de z crece o decrece en 2 o en un mltiplo entero de
2 .
Consideremos el plano z , sin el origen, como una fina hoja R0 cortada a lo largo del
eje real positivo. Sobre esa hoja, vara de 0 a 2 . Sea R 1 otra hoja cortada del
mismo modo y colocada sobre R0 . El borde inferior del corte en R0 se une entonces
con el borde superior del corte de R 1 . Sobre R 1 , vara de 2 a 4 ; as que
cuando z es representado por un punto en R 1 la componente imaginaria de log(z )
vara de 2 a 4 .
Consideremos cualquier curva continua sobre esta superficie conexa de infinitas hojas.
Al describir un punto z esa curva, los valores de log(z ) varan continuamente ya
que , al igual que r, vara continuamente; y log(z ) toma exactamente un valor
correspondiente a cada punto de la curva.
27
Figura 2.2
Por ejemplo, si el punto da una vuelta completa en torno al origen sobre la hoja R0
por el camino indicado en la (Figura2.2), el ngulo cambia de 0 a 2 . Al atravesar el
rayo = 2 , el punto pasa a la hoja R 1 de la superficie. Mientras completa una
vuelta en R 1 , el ngulo varia de 2 a 4 , y al cruzar el rayo = 4 , el punto
pasa a la hoja R2 .
f ( z ) = ln r + i , (0 < < 2 )
Por el eje real positivo hacia arriba. En ese sentido, log(z ) es no slo una funcin
univaluada de todos los puntos de la superficie de Riemann, sino tambin una funcin
analtica en ellos.
Las hojas podran haberse cortado, claro est, a lo largo del eje real negativo o de
cualquier otro rayo que parta del origen, y unidas adecuadamente por los bordes de
sus cortes formaran otra superficie de Riemann para log(z ) .
28
Figura 2.3
3.3 Continuidad.
1. lim f ( z ) existe,
z z0
2. f ( z 0 ) existe,
3. lim f ( z ) = f ( z 0 ) .
z z0
La afirmacin (3) dice que para cada nmero positivo existe un nmero positivo
tal que,
4. f ( z ) f ( z 0 ) < si z z 0 < .
Una funcin de una variable compleja se dice que es continua en una regin R si lo es
en todos sus puntos.
29
imagen de ese entorno. Entonces la composicin g [ f (z )] esta definida para todo z
de ese entorno de z 0 .
Supongamos ahora que f es continua en z 0 y que g es continua en el punto
w0 = f ( z 0 ) . En vista de la continuidad de g en w0 , sabemos que para cada numero
positivo existe un nmero positivo tal que
g [ f ( z )] g [ f ( z 0 )] < si f ( z ) f ( z 0 ) < .
Una funcin continua de una variable compleja es una regla que asigna un numero
complejo w a cada numero complejo z de un conjunto S . Al escribir w = f ( z ) en
trminos de las descomposiciones en partes real e imaginaria z = x + iy y
w = u + iv de
3.5 Derivadas
Definicin 3.5
Sea f una funcin cuyo dominio de definicin contiene un entorno de z 0 . La
derivada de f en z 0 , escrita f ' ( z 0 ) , se define por la ecuacin,
f ( z) f ( z0 )
f ' ( z 0 ) = lim ,
z z0 z z0
Supuesto que ese lmite exista. La funcin f se dice diferenciable en z 0 cuando
existe su derivada en z 0 .
30
Figura 2.4
f ( z) f ( z0 )
Expresando la variable z de la ecuacin f ' ( z 0 ) = lim en trminos
z z0 z z0
de la nueva variable compleja cuando z esta muy cerca de z 0 , se tiene,
z = z z 0
de donde
z = z + z 0 ,
f ( z 0 + z ) f ( z 0 )
Al utilizar la ecuacin f ' ( z 0 ) = lim de la definicin de
z 0 z
derivada se suele omitir el subndice de z 0 , y se introduce el nmero
dw w
= lim .
dz z 0 z
31
w = f ( z + z ) f ( z ) ,
Figura 2.5
Todo polinomio:
P ( z )) a 0 + a1 z + a 2 z 2 + a 3 z 3 + ... + a n z n
P ' ( z ) = a1 + 2a 2 z + 3a 3 z 2 + ... + na n z n 1 .
Ejemplo 6
Examinemos ahora la funcin f ( z ) = z . Aqu
2
Figura 2.6
w z + z z
2 2
( z + z )( z + z ) z z z
= = = z + z + z .
z z z z
32
Si el lmite de w existe, ese limite puede hallarse haciendo que el punto
z
z = (x, y ) se aproxime al origen en el plano z de forma arbitraria. En
particular, cuando z tiende hacia el origen horizontalmente por los puntos (x,0)
del eje real (Fig. 2.6), podemos escribir z = z . Por tanto, si existe el lmite de
w , su valor ha de ser z + z . Sin embargo, cuando z tiende al origen
z
verticalmente por los puntos (0, y ) del eje imaginario, de modo que z = z ,
hallamos que el lmite debe ser z z , si existe. Como los lmites son nicos, se
deduce que z + z = z z , o sea z = 0 , si ha de existir dw .
dz
El ejemplo anterior muestra que una funcin puede ser diferenciable en un cierto
punto sin serlo en ningn otro punto de un entorno suyo.
u ( x, y ) = x 2 + y 2 y v ( x, y ) = 0 ,
De donde
lim f ( z ) = f ( z 0 ) .
z z0
33
Esto asegura la continuidad de f en z 0 .
3.6 Funcin Exponencial Compleja
Definicin 3.6
e z = e x (cos y + iseny )
Es una funcin entera con valor diferente de cero que satisface la ecuacin diferencial:
f ' ( z ) = f ( z ), f (0) = 1 .
e iy = cos y + iseny , e iy = 1 .
z = z e i arg z .
Ya que
e z1 z2 e z2 = e z1 z2 + z2 = e z1 ,
Se sigue que
z1
e z1 z2 = e .
e z2
34
Con el teorema de Moivre, tenemos:
i 23 23i
(1 i ) 23 = ( 2e 4
) 23 = 2 2
e 4
23 i i
=2 2
e 4
= 211 ( 2e 4
)
= 211 (1 + i ).
Teorema 3.7
Si z1 = x1 + iy1 y z 2 = x 2 + iy 2 , son dos nmeros complejos, entonces tenemos
e z1 e z2 = e z1 + z2 .
Demostracin.
e z1 = e x1 (cos y1 + iseny1 ) , e z2 = e x2 (cos y 2 + iseny 2 ) ,
Ahora bien, e 1 e
z z2
= e z1 + z2 , ya que x1 y x 2 , son ambos reales. Adems,
Teorema 3.8
e z jams es cero.
Teorema 3.9
Si x es real, entonces e ix =1.
2
Demostracin. e ix = cos 2 x + sen 2 x = 1 , y e ix >0.
Teorema 3.10
e z =1 si, solo si, z es mltiplo de 2i .
35
Demostracin. Si z = n , donde n es un entero, entonces
e z = cos(2n) + isen(2n) = 1 .
Teorema 3.11
e z1 = e z 2 si, y solo si, z1 z 2 = 2in (donde n es un entero).
Demostracin. e
z1
= e z 2 si, y solo si, e z1 z2 = 1 .
Definicin 3.12
Sea la exponencial e x ( x real). Definimos e z para z complejo de tal forma que las
principales propiedades de la funcin exponencial real se conserven. Las citadas
propiedades de e x para x real son la ley de los exponentes, e x1 e x2 = e x1 + x2 , y la
ecuacin e 0 =1. Daremos una definicin de e z para z complejo que conserve estas
propiedades y que se reduzca a la exponencial ordinaria cuando z sea real.
Si escribimos z = x + iy (x, y reales), entonces para que se verifique la ley de los
exponentes deberamos tener e x +iy = e x e iy .
Definicin 3.13
Esta definicin coincide claramente con la funcin exponencial real cuando z es real
(esto es, y = O). Probaremos a continuacin que la ley de los exponentes se cumple.
3.7 Mapeo.
w = e z = e x (cos y + iseny ) ,
36
Figura 2.7
el circulo w = 1 , las rectas verticales a la izquierda del eje imaginario se mapean en
crculos de radio r < 1 , las rectas verticales a la derecha del eje imaginario sobre
crculos de radio r > 1 , la mitad izquierda de la franja en la (Figura 2.7) se mapea en
0 < w < 1 , y la mitad derecha va a w > 1 . Observe que e x tiene periodo 2i ,
porque
e z + 2i = e x + ( 2 + y )i = e x [cos(2 + y ) + isen(2 + y )] = e z ,
e z+h e z eh e0
= e z
h h
37
Figura 2.8
log z + i arg( z )
log z = log z ( z e i arg( z ) = log(e = log z + i arg( z ) ,
Teorema 3.14
38
Demostracin:
1 y
Como u = log z = log( x 2 + y 2 ) , v = arg z = tan 1 + n
2 x
x y y x
ux = ,uy = 2 , vx = 2 , vx = 2 ,
x +y
2 2
x +y 2
x +y 2
x + y2
Como hemos visto e z nunca es cero. Nos podemos preguntar si hay otros valores
que e z no puede tomar jams.
Teorema 3.15
Si z es un nmero complejo 0, existen nmeros complejos w tales que e w = z .
Uno de tales w es el nmero complejo
log z + i arg( z ) ,
y todos los dems tienen la forma
Demostracin.
Como
log z + i arg( z )
=e e i arg( z ) = z e i arg( z ) = z ,
log z
e
vemos que
w = log z + i arg( z )
es una solucin de la ecuacin
ew = z .
Definicin 3.16
Sea z 0 un nmero complejo dado. Si w es un nmero complejo tal que e w = z ,
entonces w se denomina un logaritmo de z . El valor particular dado por
39
w = log z + i arg( z ) ,
w = Logz .
Teorema 3.17
Si z1 z 2 0 , entonces
Log ( z1 z 2 ) = Logz1 + Logz 2 + 2ni ( z1 , z 2 ) ,
donde n( z1 , z 2 ) es un entero.
Demostracin.
Log (z1 z 2 ) = log z1 z 2 + i arg(z 1 z 2 )
Definicin 3.18
El logaritmo complejo tiene las propiedades usuales de un logaritmo:
z1
= log z1 z 2 .
log
z2
En estas dos identidades suponemos que z1 y z 2 son puntos de la superficie de
Riemann . Como:
z = e log z
40
log z = log z + iArg ( z ) ,
Figura 2.9
Note que el valor principal log z se define slo en aquella rama de para la cual
Arg ( z ) existe. Debe tenerse cuidado cuando se trabaje con la rama principal del
logaritmo log z , ya que las propiedades usuales de los logaritmos pueden no
cumplirse. Por ejemplo,
3
log(1 + i ) = log 1 + i + iArg (1 + i ) = log 2 + i ,
4
pero
log[i (1 + i )] = log(1 i )
= log 1 i + iArg (1 i )
3
= log 2 i ,
4
as que
log[i (1 + i )] log i + log(1 + i ) .
41
3.9 Funcin Potencia.
Utilizando los logaritmos complejos, podemos dar ahora una definicin de las
potencias complejas de los nmeros complejos.
Definicin 3.19
Si z 0 y si w es u numero complejo cualquiera, definimos
z w = e wLogz .
Los dos teoremas siguientes suministran las reglas de clculo con potencias complejas.
Teorema 3.20
z w1 z w2 = z w1 + w1 si z 0 .
Demostracin.
z w1 + w2 = e ( w1 + w2 ) Logz = e w1Logz e w2 Logz = z w1 z w2 .
Teorema 3.21
Si z1 z 2 0 , entonces
( z1 z 2 ) w = z1 z 2 e 2iwn ( z1 , z2 ) ,
w w
donde n( z1 , z 2 ) es entero.
Demostracin.
( z1 z 2 ) w = e wLog ( z1z2 ) = e w[Logz1 + Logz 2 + 2in ( z1 , z2 ) ] .
e ix + e ix e ix e ix
cos x = senx = .
2 2i
Definicin 3.22
z a = e a log z , a complejo 0 , z 0 .
42
La funcin z a : es analtica uno a uno porque es la composicin de
funciones de esos tipos. Por la regla de la cadena,
a
( z a ) ' = e a log z * = az a 1 .
z
z a = e aLogz .
Definicin 3.23
e iz + e iz e iz e iz
cos z = senz = .
2 2i
ie iz ie iz e iz e iz
(cos z ) =
'
= = senz ,
2 2i
ie iz + ie iz e iz + e iz
( senz ) ' = = = cos z.
2i 2
Las otras funciones trigonomtricas, definidas en trminos de las funciones seno y
coseno por medio de las relaciones usuales son analticas, excepto donde se anulan sus
denominadores, y satisfacen las reglas normales de derivacin.
senz 1
tan z = sec z =
cos z cos z
cos z 1
cot z = csc z = .
senz senz
Todas las identidades trigonomtricas usuales son validas en variables complejas, y sus
demostraciones dependen de las propiedades de la exponencial. Por ejemplo
1
cos 2 z + sen 2 z = [(e iz + e iz ) 2 (e iz e iz ) 2 ] = 1 ,
4
y
e iz1 + e iz1 e iz2 + e iz 2 e iz1 e iz1 e iz2 e iz 2
cos z1 cos z 2 senz1 senz 2 =
2 2 2i 2i
43
2e iz1 e iz 2 + 2e iz1 e iz 2
= = cos( z1 + z 2 ) .
4
1 y 1
= e (cos x + isenx) + e y (cos x isenx)
2 2
e y + e y e y e y
= cos( x) sen( x) .
2 2
As
cos z = cos( x) cosh( y ) isen( x) senh( y ) .
De manera semejante encontramos
Teorema 3.24
Demostracin:
Pero cosh( y ) 1 , lo cual implica que el primer trmino se anula solamente cuando
sen( x) = 0 , esto es, sen( x) = 0, ,2 ,... sin embargo, para estos valores cos( x)
no se anula. Por tanto, debemos tener senh( y ) = 0 , sea y = 0 . As,
1
cos z = 0 Implica z = n + , con n entero.
2
Definicin 3.25
44
e z ez e z + ez
senhz = , cosh z = .
2 2
e iz e iz
senhz iz = = isenz
2
e iz + e iz
cosh iz = = cos z .
2
As, las funciones hiperblicas complejas estn relacionadas con las funciones
trigonomtricas complejas, ya que al multiplicar por i , simplemente se rota toda
vector en los complejos por 90 , en sentido contrario a la direccin que llevan las
manecillas del reloj. Por tanto, los ceros de senhz y cosh z son imaginarios puros.
Definicin 3.27
f ( a + h) f ( a )
f (a) = lim
h 0 h
Demostracin:
f ( a + h) f ( a )
lim f (a + h) = lim * h + f (a) = f (a) .
h 0 h 0
h
45
Si manipulamos la definicin de derivada esta lleva a las reglas usuales de derivacin:
'
f gf ' fg '
= , g = 0,
g g2
Regla de la cadena
( f ( g ( z ))) ' = f ' ( g ( z )) g ' ( z ),
f ( x + h, y ) f ( x, y ) f
f ' ( z ) = lim = ( z ) = f x ( z ).
h 0 h x
f ( x, y + k ) ( x, y ) 1 f
f ' ( z ) = lim = ( z ) = if y ( z ) .
k 0 k i y
f x = if y .
u x + iv x = f x = if y = v y + iu y ,
ux = vy , v x = u y .
Teorema 3.29
Si la funcin f ( z ) = u ( z ) + iv ( z ) tiene derivada en el punto z, las primeras derivadas
parciales de u y v , con respecto a x y y , existen y satisfacen las ecuaciones de
Cauchy-Riemann.
46
Ejemplo 7
Sea f ( z ) = z 2 = ( x 2 y 2 ) + 2 xyi . Como f es entera, u = x 2 y 2 y v = 2 xy
deben satisfacer las ecuaciones de Cauchy Riemann. Observemos que
u x = 2x = vx y ux = 2 y = vx .
2
Por otra parte, si f ( z ) = z = x 2 + y 2 , entonces u = x 2 + y 2 , v = 0 y u x = 2 x ,
u y = 2 y , v x = 0 = v y , as que f satisface las ecuaciones de Cauchy-Riemann solo
en 0. An ms, f tiene derivada cuando z = 0 porque
2
h
f (0) = lim
'
= lim h = 0 .
h 0 h h 0
Como ya hemos visto en las propiedades de los complejos ahora empecemos con la
exponencial e x . Deseamos definir una funcin f ( z ) = e z que sea analtica y que
coincida con la funcin exponencial real cuando z sea real. Recordando que la
exponencial real se determina por la ecuacin diferencial
f (x) = f ( x) . f (0) = 1 .
f (z ) = f ( z ) , f (0) = 1
u x + iv x = u + iv , u (0) = 1, v(0) = 0 .
u ( x, y ) = p ( y ) e x , v ( x, y ) = q ( y ) e x ,
como p (0) = 1 , q (0) = 0 por las condiciones iniciales. Derivaremos estas dos
ecuaciones con respecto a y aplicando las ecuaciones de Cauchy-Riemann, para
obtener
p( y )e x = u y = v x = q ( y )e x , q( y )e x = v y = u x = p ( y )e x .
47
Por tanto, p= q , q= p , as que
q= p= q , p= q= p ,
y p, q son soluciones de la ecuacin diferencial real '' ( y ) + ( y ) = 0 . Todas las
soluciones de esta ecuacin son de la forma A cos y + Bseny , con A y B constantes.
Como q(0) = p(0) = 1 , p(0) = p(0) = 0 , debemos tener p ( y ) = cos y ,
q( y ) = seny . Por tanto, obtenemos la funcin
z5
4 , z 0,
f ( z) = z
0, z = 0.
Entonces
4
f ( z ) z
= , z 0,
z z
Que tiene valor 1 sobre el eje real y valor -1 sobre la lnea y = x . As, f no tiene
derivada en z = 0 ; pero si se desarrolla la expresin para f se tiene
Teorema 3.30
Sea f ( z ) = u ( x, y ) + iv ( x, y ) , definida en alguna regin G que contiene al punto
z 0 , y que tiene primeras derivadas parciales continuas, con respecto a x y y , que
satisfacen las ecuaciones de Cauchy-Riemann en z 0 . Entonces f ' ( z 0 ) existe.
48
Demostracin:
Si x x 0 y y y 0 , el cociente de diferencias se puede escribir:
f ( z ) f ( z o ) u ( x, y ) u ( x o , y o ) v ( x, y ) v ( x o , y o )
= +i
z zo z zo z zo
x x 0 u ( x, y ) u ( x 0 , y ) v ( x, y ) v ( x 0 , y )
= +i
z z0 x x0 x x0
y y 0 u ( x0 , y ) u ( x0 , y 0 ) v( x0 , y ) v( x0 , y 0 )
+ +i
z z0 y y0 y y0
x x0
= [u x ( x0 + t1 ( x x0 ), y) + iv x ( x0 + t 2 ( x x0 ), y)]
z z0
y y0
+
z z0
[
u y ( x0 , y o + t 3 ( y y o )) + iv( x0 , y o + t 4 ( y y o )) , ]
Donde 0 < t k < 1, k = 1,2,3,4, segn el teorema del valor medio del calculo
diferencial. Este resultado tambin se cumple si x = x 0 y y = y 0 . Como las
derivadas parciales son continuas en z o , podemos decir:
f ( z ) f ( z 0 ) x x0
= [u x ( z 0 ) + iv x ( z 0 ) + 1 ] +
z z0 z z0
y y0
z z0
[ ]
u y ( z 0 ) + iv y ( z 0 ) + 2 ,
f ( z) f ( z0 ) ( x x0 ) 1 + ( y y 0 ) 2
= u x ( z 0 ) + iv( z 0 ) + .
z z0 z z0
( x x0 ) 1 + ( y y o ) 2
1 + 2 0 , cuando z z 0 .
z z0
49
Por tanto, el ltimo trmino tiende a cero cuando z tiende a z 0 as que al tomar el
limite, tenemos:
f ( z) f ( z0 )
f ' ( z 0 ) = lim = u x ( z 0 ) + iv x ( z 0 )
z z0 z z0
En particular, si las hiptesis del teorema se cumplen en todos los puntos de la regin
G, entonces f es analtica en G.
En el caso de la variable real del clculo elemental, sabemos que cuando la derivada de
una funcin es cero en algn intervalo, la funcin es constante en ese intervalo. Para
variables complejas se obtiene un resultado semejante.
Ecuacin de Laplace (u xx + u yy = 0)
Por las ecuaciones de Cauchy-Riemann, se tiene que
u xx = (u x ) x = (v y ) x = (v x ) y = (u y ) y = u yy
u xx + u yy = 0
v xx + v yy = 0
ux = vy
u y = v x
.
Demostracin:
Como f ' ( z ) = u x ( z ) + iv x ( z ) , si la derivad se anula implica u x = v y , v x = u y
son todas cero. As, u y v son constantes a lo largo de cualquier recta paralela a los
50
ejes coordenados y como G es conexo mediante un polgono entonces f = u iv es
constante en G.
uu x + vv x = 0 , uu y + vv y = vu x uv x = 0
IV INTEGRAL COMPLEJA
51
Con x (t ) y y (t ) funciones continuas de la variable real t en el intervalo real cerrado
[ , ]. En el plano complejo se describe el arco por medio de la funcin compleja
continua de una variable real,
: z = z (t ) = x (t ) + iy (t ) , t.
Una curva de Jordan separa el plano en dos regiones simplemente conexas, que tienen
a la curva como su frontera.
La regin que contiene el punto al infinito se llama exterior de la curva; la otra regin
se llama interior.
f ( z )dz = f ( z (t )) z ' (t )dt
[ ]
= [u ( z (t )) + iv( z (t ))] x ' (t ) + iy ' (t ) dt
[ ]
[ ]
= u ( z (t )) x ' (t ) v( z (t )) y ' (t ) dt + i u ( z (t )) y ' (t ) + v( z (t )) x ' (t ) dt .
52
Figura 3.0
Teorema 4.6
Sea 0 una curva de Jordan spp tal que su interior contiene las curvas de Jordan spp
disjuntas, 1 ,..., n , ninguna de las cuales esta contenida en el interior de la otra.
Suponga que f ( z ) es analtica en una regin G que contiene al conjunto S, el cual
consiste en todos los puntos sobre y en el interior de 0 pero no en los interiores de
k , k = 1,..., n . Entonces,
f ( z )dz = f ( z )dz .
k
0
k =1
Demostracin:
Figura 3.1
53
Siempre se podrn encontrar arcos Lk , k = 0,..., n , spp disjuntos, que unan a k con
k +1 (donde Ln une a n con 0 ) que formen dos curvas de Jordan spp, cada una
contenida en alguna subregin simplemente conexa de G. (Sobre bases intuitivas
omitimos la prueba, vase (figura3.1).
Por el teorema de Cauchy, la integral de f ( z ) sobre estas curvas, cada una recorrida
en sentido positivo se anula. Pero la contribucin total de estas dos curvas es
equivalente
n
0= n f ( z )dz = f ( z )dz f ( z )dz .
0 k 0
k =1
k
k =1
Definicin 4.7
b b b
a
z (t )dt = (t )dt + i y (t )dt
a a
Luego
z 0 In(c).
Teorema 4.8
54
ii ) f ( z ) dz = f ( z ) dz + f ( z ) dz , donde 1 + 2 es la trayectoria que
1 + 2 1 2
Demostracin:
( )
Re e i f ( z )dz = Re(e i f ( z (t )) z ' (t ))dt f ( z (t )) z ' (t ) dt ,
f ( z )dz M dz = ML .
De la definicin y las propiedades de la integral definida de funciones reales de
variable real, se deduce de forma inmediata, siendo z 0 ( x), z1 ( x), z 2 ( x) , continas
en I = [a, b] :
b b
1.
a
z ( x)dx = z ( x)dx .
a
b b b
2.
a
[ z1 ( x) + z 2 ( x)]dx = z1 ( x)dx + z 2 ( x)dx .
a a
b c b
3. a
z ( x)dx = z ( x)dx + z ( x)dx .
a c
Tambin se cumple:
55
b b
4. Re a
z ( x)dx = Re[ z ( x)]dx .
a
b b
5. z ( x)dx =
a a
z ( x)dx , C .
b
6.
a
z ( x)dx = z (b) z (a ) .
se verifica tambin:
b b
7. a
z ( x)dx z ( x) dx .
a
Demostracin.
Sea
b
a
z ( x)dx = ( R)(e i ) .
entonces
b b b
a
z ( x)dx = R = e i z ( x)dx = e i z ( x)dx .
a a
b
Si f ( x) = u ( x) + iv( x) verifica que a
f ( x)dx es real entonces
b b
a
f ( x)dx = Re[ f ( x)]dx
a
b
La integral
a
e i z ( x)dx es real por ser igual a R.
Luego
b b b
a
z ( x)dx = e i z ( x)dx = Re[e i z ( x)]dx
a a
Re[e i z ( x)] e i z ( x) = z ( x)
Entonces tenemos que
b b b
a
z ( x)dx = Re[e i z ( x)]dx z ( x) dx .
a a
56
La integral de lnea sobre un arco spp se obtiene al aplicarse la definicin anterior a
un nmero finito de intervalos cerrados, en los cuales z (t ) es suave, y sumar los
resultados.
Ejemplo 8
Para evaluar xdz , a lo largo del arco spp, mostrado en la (figura 3.2)
Figura 3.2
Parametrizamos por
1 + it , 0 t 1,
: z (t ) =
(2 t ) + i, 1 t 2
Entonces
i, 0 t 1,
z ' (t ) =
1, 1 t 2
Con derivadas izquierda y derecha diferentes en t = 1 . Por definicin integrar sobre
cada uno de los intervalos 0 t 1 y 1 t 2 , se obtiene
1 2 1
xdz = 0 1 (2 t )(1)dt = 2 + i ,
idt +
Ya que x(t ) = 1 en 0 t 1 y x(t ) = 2 t en 1 t 2 .
Al escoger una parametrizacin diferente para , por ejemplo
1 + i log t ,
1 t e,
: z (t ) = t
2 e + i, e t 2e,
Se tiene
i , 1 t e,
t
z ' (t ) =
1 e , e t 2e,
Y
57
e i 2e t 1 1
xdz = 1 t
dt + 2 dt = + i .
e
e e 2
1 1+ i
xdz = (1 t )(1 + i)dt =
0 2
.
d d d
F ( z (t )) z (t )dt = dt [ F ( z (t ))]dt ] = dt [U ( z(t ))]dt + i dt [V ( z (t ))]dt .
' ' '
Si se aplica el teorema fundamental del clculo a cada una de estas integrales reales, se
obtiene
Adems, se pude extender fcilmente este resultado a los arcos spp con la suma de los
resultados obtenidos de los subarcos suaves. Como el resultado depende nicamente
de los puntos extremos de cada subarco suave, se habr probado el siguiente teorema.
58
f ( z)dz = F ( z( )) F ( z ( )) .
Como la integral solo depende de los extremos del arco , es independiente de la
trayectoria. De esta forma se obtiene el mismo resultado para cualquier arco spp en G
con estos extremos. Para curvas , spp cerradas, el teorema fundamental establece
que:
f ( z )dz = 0 ,
ya que F ( z ( )) = F ( Z ( )) .
Ejemplo 9
Sea P(z ) cualquier polinomio, y un arco spp. Muestre que :
(a) P( z )dz = 0 si e una curva cerrada.
(b) P( z )dz depende solo de los extremos de .
P ( z ) = an z n + an1 z n1 + ... + a1 z + a0 ,
an z n+1 an1 z n a z2
Q( z ) = + + ... + 1 + a0 z .
n +1 n 2
De esta forma se satisface el teorema fundamental y se cumple las partes (a) y (b).
Sea G la regin interior de una curva de Jordan spp y suponga que las funciones
reales p y q son continuas en G con primeras parciales continuas en G.
Entonces:
( p
G
x + q y ) dxdy = pdy qdx .
59
Si f ' es continua en G, entonces las primeras parciales u x , u y , v x , v y tambin lo son.
Al aplicar el teorema de Green a las dos integrales de lnea de la derecha, se obtiene:
f ( z )dz = (v
G
x + u y )dxdy + i (u x v y )dxdy .
G
f ( z )dz = 0 .
Ejemplo 10
ez
Evalu z =1 z 2 + 4 dz .
Solucin: la notacin empleada significa que la integracin se toma sobre el crculo
unitario en su sentido positivo. La funcin f ( z ) = e z z 2 + 4 y su derivada
z 2 2z + 4 z
f ' ( z) = e
( z 2 + 4) 2
son analticas sobre y en el interior de z = 1 . Como la derivada es analtica, es
continua. Por ende el teorema de Cauchy de aplica y
ez
z =1 z 2 + 4 dz = 0 .
Sea f ( z ) una funcin analtica en una regin simplemente conexa que contenga a la
curva de Jordan spp. Entonces,
1 f ( z)
f ( ) =
2i z
dz ,
60
Demostracin:
Figura3.3
1 f ( z) 1 f ( z)
2i z
dz =
2i z = r z
dz.
Pero
f ( z) dz f ( z ) f ( )
z = r z
dz = f ( )
z = r z
+
z = r z
dz.
f ( z) f ( z ) ( )
z = r z
dz 2if ( )
z = r z
dz < 2 .
Ejemplo 11
Integre
61
cos z
z 3
+z
dz
= 2i cos(0) cos(i ) cos(i ) = 2i[1 cosh(1)] .
1 1
2 2
cos z
z3
+z
dz = 2i
1 1 1
= i + ,
z ( z i) z z 1
por lo cual
cos z cos(0) cos(i ) 1
z3
+z
dz = 2i i i
i 2i
= 2i 1 cosh(1) .
2
Por supuesto, en los tres ejemplos se puede utilizar la descomposicin por fracciones
parciales de la parte (a), por que las integrales correspondientes se anulan cuando los
puntos 0 o i estn en el exterior de .
f ( z )dz = 0 ,
Para todas las curvas spp cerradas en G, entonces f (z ) es analtica en G.
62
Demostracin:
z
F ( z ) = f ( ) d ,
z0
Para todo z en G. luego entonces, F (z ) esta bien definida por que es independiente
de la trayectoria: si 1 y 2 son curvas spp en G que van de z 0 a z , entonces
= 1 - 2 es una curva spp en G, y
0 = f ( ) d = f ( ) d f ( ) d .
1 2
F ( z + h) F ( z ) 1 z + h
f ( )d f ( )d = f ( )d ,
z 1 z+h
h
=
h z0 z0 h z
f ( z) z+h
h z
f ( z) = d ,
Por sustraccin se obtiene
F ( z + h) F ( z )
f ( z ) = [ f ( ) f ( z )]d
1 z+h 1 z+h
h h z h
z
f ( ) f ( z ) d < .
Ejemplo 12
Integre
cos z
z 2
( z 1)
dz .
1 1
Sobre (a) : z = , (b) : z 1 = y (c) : z = 2 .
3 3
63
1
Solucin: (a) : z = . En este caso cos z ( z 1) es analtica sobre y en le interior
3
de , as que, por el teorema de Cauchy para las derivadas, se obtiene
cos z
z 1 dz = 2i cos z
z 2
z 1
= 2i .
z =0
1
(b) : z 1 = . Ahora que z 2 cos z es analtica sobre y en el interior de , por lo
3
tanto, la integral es igual a 2i veces el valor de z 2 cos z en z = 1 , esto es,
z 2 cos z 1 1 1
z 1 dz = cos z z 1 z z 2 dz
= 2i[cos(1) cos(o) + sen(0)] = 2i[cos(1) 1] ,
64
CONCLUSIONES
Los nmeros complejos se introducen para dar sentido a la raz cuadrada de nmeros
negativos. As se abre la puerta a un curioso y sorprendente mundo en el que todas las
operaciones (salvo dividir entre 0) son posibles.
65
BIBLIOGRAFA
66