ELEMENTOS DE VARIABLE COMPLEJA

SAMAEL NAVARRETE MOLANO

Trabajo de grado para optar por el titulo de Matemtico







DIRECTOR: JOS JOAQUN VALDERRAMA
Matemtico Universidad Nacional
Profesor facultad de Matemticas









FUNDACIN UNIVERSITARIA KONRAD LORENZ
BOGOT
Diciembre 2005
2
INDICE GENERAL
INTRODUCCION............................................................................................. 4
I. ESTRUCTURA DE LOS NMEROS COMPLEJOS.................................... 5
1.1 NMEROS COMPLEJOS Y SU ALGEBRA. .......................................................................5
1.2 AXIOMAS DE CUERPO PARA NMEROS COMPLEJOS ..................................................5
1.3 LOS NMEROS REALES COMO SUBCONJUNTO DE LOS NMEROS COMPLEJOS.......6
1.4 REPRESENTACIN CARTESIANA DE LOS NMEROS COMPLEJOS..............................6
1.5 REPRESENTACIN GEOMTRICA...................................................................6
1.6 PROPIEDADES DE ESPACIO VECTORIAL PARA LOS NMEROS COMPLEJOS...............7
1.6.1 Para la Suma........................................................................................................7
1.6.2 Para el Producto por Escalar..............................................................................7
1.7 ESPACIO VECTORIAL NORMADO. ...............................................................................8
1.8 COMPLEJO CONJUGADO..............................................................................................9
1.8.1 Propiedades del Complejo Conjugado ..............................................................9
1.9 REPRESENTACIN POLAR .................................................................................9
1.9.1 Multiplicacin de Nmeros Complejos Bajo su Representacin Polar ........11
1.9.2 Divisin de Nmeros Complejos.....................................................................12
1.10 DESIGUALDAD TRIANGULAR ..................................................................................13
1.11 SUPERFICIE DE RIEMANN.......................................................................................14
1.12 RACES DE UN NMERO COMPLEJO.......................................................................15
1.13 TEOREMA FUNDAMENTAL DEL CLCULO..............................................................17
II. TOPOLOGIA DEL PLANO COMPLEJO C.............................................. 18
III. FUNCIONES DE VARIABLE COMPLEJA............................................. 20
3.1 FUNCIONES ...............................................................................................................20
3.2 LIMITES .....................................................................................................................21
3.2.1 Propiedades de los Lmites. .............................................................................23
3.3 CONTINUIDAD. .........................................................................................................29
3.3.1 Propiedades Algebraicas para la Continuidad................................................29
3.4 FUNCIONES CONTINUAS DE UNA VARIABLE ...........................................................30
3.5 DERIVADAS ................................................................................................................30
3.5.1 Derivadas Parciales...........................................................................................33
3.6 FUNCIN EXPONENCIAL COMPLEJA .......................................................................34
3.6.1 Propiedades de la Exponencial Compleja.......................................................35
3.7 MAPEO.......................................................................................................................36
3.8 FUNCIN LOGARITMO COMPLEJO...........................................................................39
3.9 FUNCIN POTENCIA.................................................................................................42
3.10 FUNCIONES TRASCENDENTALES............................................................................42
3.11 CONDICIONES NECESARIAS PARA LA ANALITICIDAD............................................45
3.12 CONDICIONES SUFICIENTES PARA LA ANALITICIDAD ..........................................48
3.13 FUNCIONES ARMNICAS.........................................................................................50
3.14 ARMNICOS CONJUGADOS. .....................................................................................50
IV INTEGRAL COMPLEJA............................................................................ 51
4.1 INTRODUCCIN A LA INTEGRAL DE LNEA..............................................................51
4.2 INTEGRALES DE LNEA. ............................................................................................51
4.2.1 Propiedades de la Integral de Lnea................................................................54
4.4 FORMULA INTEGRAL DE CAUCHY.............................................................................60
3
CONCLUSIONES............................................................................................ 65
BIBLIOGRAFA............................................................................................... 66
4
INTRODUCCION


Los nmeros complejos fueron propuestos inicialmente en 1545, por el matemtico
italiano Girolamo Cardano, en un tratado monumental acerca de la solucin de las
ecuaciones cbica y cuadrtica. Para apreciar la dimensin de esta propuesta debe
tenerse en cuenta que el concepto de nmeros negativos apenas haba tenido
aceptacin, y que aun haba controversia en la relacin con sus propiedades.

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.

Otro descubrimiento de Gauss mucho ms simple, pero no menos importante, fue
que la aritmtica de los nmeros complejos, introducida formalmente a partir de la
relacin 1 = i , tiene una interpretacin geomtrica sencilla si identificamos los
elementos de C con los puntos del plano. Esta interpretacin puede considerarse
como el punto de partida del estudio analtico de los nmeros complejos. En trminos
modernos C recibe la topologa de
2
R y la relacin de esta topologa con su
aritmtica es la misma que se da en R .

5
I. ESTRUCTURA DE LOS NMEROS COMPLEJOS

1.1 Nmeros Complejos y su Algebra.

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 1
2
= x 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
0 ...
1
= + + +
n
n o
z a z a a

donde los coeficientes
n
a a a ,..., ,
1 0
son nmeros reales cualesquiera. (Este resultado
es conocido como Teorema fundamental del Algebra).


1.2 Axiomas de Cuerpo para Nmeros Complejos

Por nmero complejo entenderemos un par ordenado de nmeros reales, que
designaremos por ) , (
2 1
x x . La primera componente, ) (
1
x se llama parte real del
nmero complejo; la segunda componente, ) (
2
x se llama parte imaginaria. Dos
nmeros complejos ) , (
2 1
x x x = e ) , (
2 1
y y y = son iguales, y escribiremos y x = ,
si, solo si,
1 1
y x = y
2 2
y x = . Definimos la suma y x + y el, producto xy por
) , (
2 2 1 1
y x y x y x + + = + , ) , (
1 2 2 1 2 2 1 1
y x y x y x y x y x xy + = =

las cuales satisfacen los siguientes axiomas.

Axioma 1. (Leyes conmutativas)
x y y x + = + y yx xy = .

Axioma 2. (Leyes asociativas)
z y x z y x + + = + + ) ( ) (

y

z xy yz x ) ( ) ( = .

Axioma 3. (Leyes distributivas)
xz xy z y x + = + ) ( y ) ( ) ( bz az z y x + = + .

Axioma 4. Identidades. La identidad aditiva 0 y la identidad multiplicativa 1 satisfacen
que 1 0 y
x x x + = = + 0 0 y x x x * 1 1 * = = .

Axioma 5. Inversos. Cada nmero complejo z tiene un inverso aditivo ) ( z y, si
0 z un inverso multiplicativo
1
z

que satisfacen

) ( ) ( 0 ) ( z z z z + = = + y z z zz
1 1
1

= = .
6

El inverso multiplicativo de iy x z + = es

2 2
1
) (
y x
iy x
iy x
+

= +

.


1.3 Los Nmeros Reales como Subconjunto de los Nmeros Complejos

Se identifica el par ordenado ) 0 , (x

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:

) 0 , ( ) 0 , ( ) 0 , ( a x a x + = + y ) 0 , ( ) 0 , )( 0 , ( xa a x =

Entonces, el conjunto de nmeros complejos incluye los nmeros reales.

1.4 Representacin Cartesiana de los Nmeros Complejos

Considere el nmero complejo ) , ( y x z = escrito de la siguiente forma

) 0 , )( 1 , 0 ( ) 0 , ( ) , ( y x y x z + = = ,

si se representa ) 0 , (x por x y se denota ) 1 , 0 ( por el smbolo ) (i , se puede
reescribir ) , ( y x z = de la forma iy x z + = . Esta es la notacin ms conocida para
los nmeros complejos. El smbolo ) (i se llama unidad imaginaria y satisface la
propiedad

) 0 , 1 ( ) 1 , 0 )( 1 , 0 (
2
= = i o tambin 1
2
= i .

Ejemplo 1
Encuentre las partes real e imaginaria de i z 3 2+ = .

Solucin: tenemos que Re z =2 e Im z =3.



1.5 REPRESENTACIN GEOMTRICA

Al asociar el nmero complejo iy x z + = con un punto del plano cuyas coordenadas
rectangulares son e . Cada nmero complejo corresponde a un punto. El nmero
i + 2 , por ejemplo, se asocia al punto (-2,1) en la (figura 1.1).

El origen del sistema coordenado se denota por el nmero complejo 0. El modelo de
plano Cartesiano de los nmeros complejos se llama plano complejo. Cuando nos
referimos al nmero complejo iy x z + = , llamamos a x parte real de z , y la
7
denotamos por Re ( z
)
. El nmero y llamado parte imaginaria de z , se denota por
Im ( z
)
. Si 0 = x , tendremos iy z = , y entonces se dice que z es imaginario puro.




Figura 1.1




1.6 Propiedades de Espacio Vectorial para los Nmeros Complejos.

El conjunto C de los nmeros complejos es un espacio vectorial sobre el cuerpo R
de los nmeros reales con las operaciones de suma definida en C y producto por
escalares tal que para todo C z y R , se tiene que C z adems se
cumplen las siguientes 10 propiedades para todo , de R y u, v, w de C:

1.6.1 Para la Suma

(i). C w v + . La suma vectorial es una operacin cerrada en C .
(ii). w v u w v u + + = + + ) ( ) ( . Asociatividad de la suma vectorial en C .
(iii). Existe un elemento 0 en C tal que para todo v de C , v v = + 0 . Existencia del
elemento neutro de la suma vectorial en C .
(iv). Para todo v C , existe un elemento v C , tal que 0 ) ( = + v v .
Existencia del elementos opuestos respecto a la suma en C .
(v). v w w v + = + . Conmutatividad de la suma vectorial en C .

1.6.2 Para el Producto por Escalar

(i). C v . El producto por escalares es una operacin cerrada en C .
(ii). v v ) ( ) ( = . Asociatividad del producto por escalares en C .
(iii). Si 1 denota el elemento neutro de la multiplicacin del campo de escalares R,
entonces v v = 1 . Neutralidad del uno del campo de escalares.
8
(iv). w v w v + = + ) ( . Distributividad con respecto a la suma vectorial.
(v). bv av v b a + = + ) ( . Distributividad con respecto a la suma escalar.

Las propiedades de la 1 a la 5 indican que C es conmutativo o Abeliano bajo la suma
vectorial.




Figura 1.2

De hecho la definicin de suma coincide con la suma segn la regla del paralelogramo
para la suma vectorial en R
2
. (Figura 1.2).


1.7 Espacio Vectorial Normado.

El modulo, o valor absoluto, de un nmero complejo iy x z + = se define como el
nmero real negativo
2 2
y x + y se denota por z ; esto es,

z =
2 2
y x + .

C es un espacio vectorial. Una funcin que hace corresponder a cada vector C z el
nmero real z z = es una norma de C si, y solo si, para todos C w z , y R k ,
verifican los siguientes axiomas.

Axioma 1. 0 z y 0 = z si, y solo si, 0 = z .
Axioma 2. w z w z + + .
Axioma 3. . z k kz =


9

1.8 Complejo Conjugado

El complejo conjugado de un nmero complejo iy x z + = se obtiene cambiando el
signo de la parte compleja y se denota por el smbolo z . Entonces iy x z = .

1.8.1 Propiedades del Complejo Conjugado

Dado que si iy x z + = , entonces

i)
= = + + = + = + x yi x yi x z z 2 ) ( ( 2Re ( z
)
,

ii)
= = + = iy yi x yi x z z 2 ) ( ) ( 2i Im ( z
)
,

iii)
2
2 2
) )( ( z y x yi x yi x z z = + = + = .

iv) De esta forma tendremos las identidades

( )
2
Re
z z
z
+
= , ( )
i
z z
z
2
Im

= ,
v) Si
1 1 1
iy x z + = y
2 2 2
iy x z + = , entonces

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

=
2 1 2 2 1 1
) ( ) ( z z iy x iy x + = + .

Luego, el complejo conjugado de la suma de nmeros complejos es la suma de sus
conjugados:
2 1 2 1
z z z z + = + .

De manera semejante se muestra que

2 1 2 1
z z z z = ,

vi)
2 1
2 1
z z z z =


vii)
2
2
2 1
2
1
z
z z
z
z
=

, 0
2
z .


1.9 REPRESENTACIN POLAR
10

Figura 1.3

Los nmeros complejos pueden representarse como vectores en el plano complejo,
utilizaremos el concepto de segmento de recta dirigido para determinar las
propiedades de la longitud y del ngulo de inclinacin de un vector en plano complejo.

Consideremos el vector no nulo iy x z + = la longitud r del vector z se muestra en la
(figura 1.3) se puede determinar aplicando el teorema de Pitgoras.


Llamamos a esta longitud valor absoluto (norma magnitud) del nmero complejo
z
, y lo denotamos como
2 2
y x z + = .

Regresando a la (figura 1.3) vemos que el ngulo que forma el vector iy x z + =
con el eje real positivo se llama argumento del complejo z y se nota arg(z), esta dado
por la expresin:

k
y
x
2 arctan + = donde ,... 2 , 1 , 0 = k

El ngulo tal que < , se llama valor principal del argumento y se designa
Arg(z).


Ejemplo 1
Encuentre la representacin polar de i 1

Solucin: remitindonos a la (figura 1.4). El valor absoluto de i 1 es
2 ) 1 ( 1 1
2 2
= + = i ,
Mientras que el valor principal del argumento de i 1 es
4
) 1 (

= i Arg .
11
Como los ngulos polares no estn determinados las superficies de Riemann se tienen
en forma nica, y su argumento es
k i

2
4
) 1 arg( +

= ,
Donde k es cualquier entero. As, la representacin polar de i 1 es

= k isen k i

2
4
2
4
cos 2 1 .


Figura 1.4


1.9.1 Multiplicacin de Nmeros Complejos Bajo su Representacin Polar

La multiplicacin de los nmeros complejos z y w tienen interpretaciones
geomtricas cuando los escribimos en sus representaciones polares.
Sean ) arg(z = y ) arg(w = . Se tiene

( ) isen z z + = cos y ( ) isen w w + = cos .
Entonces,
( )( ) isen isen w z zw + + = cos cos
( ) ( ) [ ] sen sen i sen sen w z cos cos cos cos + + =

y, por las formulas de suma de ngulos de trigonometra,

( ) ( ) [ ] + + + = isen w z zw cos .
Como
( ) ( ) , 1 cos = + + + isen
La ecuacin

( ) ( ) [ ] + + + = isen w z zw cos .
12

Figura 1.5


Conduce a
w z zw =
Y
) arg( ) arg( ) arg( w z zw + =
.

Por lo tanto la longitud del vector zw es el producto de las longitudes de los
vectores z y w, mientras que el ngulo polar del vector zw es la suma de los ngulos
polares de los vectores z y w. Ya que el argumento se determina hasta la
multiplicacin de 2 la ecuacin ) arg( ) arg( ) arg( w z zw + = se interpreta diciendo
que, si se asignan valore particulares a dos trminos cualesquiera, existe un valor del
tercer trmino para el cual se cumple la igualdad.

La construccin geomtrica del producto zw se muestra en la (figura 1.5). Para la
multiplicacin, el ngulo entre w y zw debe ser idntico al ngulo entre 1 y z en la
(figura 1.5). De ello, los tringulos de i 0 1 z y i 0 w zw son semejantes.

1.9.2 Divisin de Nmeros Complejos

La divisin de nmeros complejos conduce a la siguiente ecuacin:

( ) ( ) [ ] + = isen
w
z
w
z
cos

) (

= = e
r
e
re
i
i


13
[ ] ) ( ) cos(

+ = isen
r


como w w = , obtenemos, por las formulas de sumas de ngulos de la
trigonometra,

( ) ( )
. 0 ,
cos cos
2

+
= = w
w
isen w isen z
w w
w z
w
z


Por lo tanto,
w
z
=
w
z

y
) arg( ) arg( arg w z
w
z
=

,


con la ecuacin ) arg( ) arg( arg w z
w
z
=

, sujeta a una interpretacin similar a la

de la ecuacin ) arg( ) arg( ) arg( w z zw + = .


1.10 Desigualdad Triangular

Definicin 1.1
Dados dos nmeros
1
z y
2
z se verifica que
2 1 2 1
z z z z + +
Demostracin:
Si tomamos
) )( ( ) )( (
2 1 2 1 2 1 2 1
2
2 1
z z z z z z z z z z + + = + + = +

2 2 1 2 2 1 1 1
z z z z z z z z + + + =

2
2 1
2
2 2 1
2
1
2
2 1
) ( 2 z z z z z z z z + = + + + .

Extrayendo la raz cuadrada (recordemos que el mdulo es siempre positivo),
recordemos que la longitud de un lado de cualquier triangulo es menor o igual a la
suma de las longitudes de los otros dos lados. De tal forma que la desigualdad del
triangulo tambin se puede deducir inmediatamente considerando el triangulo
sombreado en la (figura 1.6).

14

Figura 1.6






1.11 Superficie De Riemann

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



15
Teorema 1.2 Teorema De Moivre
Si n es un nmero entero entonces

, cos ) ( ) (cos

isenn n e e isen
n i n i n
+ = = = +

Demostracin.
Por induccin sobre n. El producto

( ) ( ) [ ], cos + + + = isen w z zw

donde ) arg(z = y ) arg(w = , y cuando w z = obtendremos que:
Si = , tenemos
( ) ( ) [ ] 2 2 cos
2
2
isen z z + =
con
2
z w = , obtenemos
( ) ( ) ( ) [ ] 2 2 cos
2 2
+ + + = isen z z z z
o
( ) ( ) [ ] 3 3 cos
3
3
isen z z + = .
Como ( ) isen z z + = cos , hemos demostrado que:

( ) ( ) ( ) 2 2 cos cos
2
isen isen + = +
y
( ) ( ) ( ) 3 3 cos cos
3
isen isen + = + .
Mediante este proceso hemos obtenido el teorema De Moivre.

( ) isen z z + = cos y ( ) isen w w + = cos .

Donde n es un entero positivo.



1.12 Races de un Nmero Complejo

Definicin 1.3
Si
n
w z = , entonces w se llama la raz ensima de z y podemos escribirla como:
n
z w =

que posee n distintos valores. Es decir
n
z est multivaluada.

Sean
) (cos isen R w + = , ) (cos isen r z + =

16
Entonces por el teorema de Moivre:

z w
n
=
entonces
[ ] ) (cos ) ( ) cos( isen r n isen n R w
n n
+ = + =
luego
n
R r = o
n
r R =

y
k n 2 + = o
n
k
n

2
+ =
tomando los valores k = 0,1,...., n-1, obtendremos las n races.

Resumiendo:

+
+

+
=
n
k
isen
n
k
r z
n n
2 2
cos , 1 ,..., 1 , 0 = n k .

Los n valores se reparten equitativamente en una circunferencia de radio
n
r con
centro en el origen, constituyendo los vrtices de un polgono regular de n caras.

El valor de
n
z obtenido al tomar el valor principal de ) arg(z y 0 = k en la frmula
de arriba se asume como valor principal de
n
z w = .

El teorema De Moivre tambin puede utilizarse para encontrar las races de un
nmero complejo. Si z

es una raz n-sima del nmero complejo w, entonces
. w z
n
=

para encontrar z , establezcamos que

( ) isen z z + = cos y ( ) isen w w + = cos ,

donde ) arg(z = y ) arg(w = . De tal forma que con el teorema De Moivre,
tenemos:

( ) ( ) isen w isen z
n
+ = + cos cos .

As, podemos tomar
n
w z
1
=
y
) 2 ) ( (
1
) arg(
1
k w Arg
n
w
n
+ = = , ,... 2 , 1 , 0 = k ,

17
aunque la ecuacin anterior proporciona un nmero infinito de valores para , solo
se obtienen n ngulos polares diferentes porque:

( )


2
2 2
+ =
+
n
k
n
n k


pues los ngulos polares se repiten cada n enteros. Por lo tanto, limitamos nuestra
atencin a los n ngulos polares:

( ), 2
1
k Argw
n
+ = . 1 ...., 2 , 1 , 0 = n k

Ejemplo 2
Encontrar las tres races cbicas de i w =1
, donde
3
)
4
2 (
1 2 z i e
k i
= + =

.


Solucin: sea z una raz cbica de i 1 . Entonces i z =1
3
, y por el teorema de
Moivre,

= +

k isen k isen z 2
4
2
4
cos 2 ) 30 30 (cos
3
,
De tal forma que
6
1
2 = z y
3
2
12

k
+

= , . 2 , 1 , 0 = k
En consecuencia, las tres races cbicas de i 1 son:

=
12 12
cos 2
12 12
cos 2
6 6
0

isen isen z ,

=
12
7
12
7
cos 2
6
1

isen z ,

=
4
5
4
5
cos 2
6
2

isen z .


Una consecuencia de estas definiciones es el siguiente teorema.

1.13 Teorema Fundamental del Clculo.

Si una funcin real f(x) es continua en un intervalo b x a , entonces ) (x f posee
antiderivadas en ese intervalo. Si ) (x f es cualquier antiderivada de ) (x f en
b x a entonces.

18
) ( ) ( ) ( a F b F dx x f
b
a
=

. Donde ) ( ) (
'
x f x F = .



II. TOPOLOGIA DEL PLANO COMPLEJO C

Si iy x z + = entonces } : { ) , (
0 0
r z z z r z B < = son los discos abiertos en C.

Se define la topologa generada por discos abiertos como:
Sea S un subconjunto de C, y sea S a . Entonces a se denomina punto interior de
S si existe una n-bola abierta con centro en a, contenida en S .
Interior de S se designa por (int S ).

Definicin de Punto Interior 2.1
Un conjunto S de C es abierto si todos sus puntos son interiores o S es abierto si, y
solo si, S =int S .

Definicin de Punto Adherente 2.2
Sea S un subconjunto de C, y sea z un punto de C, no necesariamente de S .
Entonces se dice que z es adherente a S si toda n-bola ) (z B contiene un punto de
S , por lo menos.

Definicin de Punto Acumulacin 2.3
Si C S y C x , entonces z se llama punto de acumulacin de S si cada n-bola
) (z B contiene por lo menos un punto de S distinto de z .

Ejemplo 3
Sea
0
S el conjunto de todos los puntos z tales que 1 < z . Encuentre el interior, la
frontera y el exterior del conjunto
0
S .

Solucin: sea
0
z un punto cualquiera de
0
S . Note que el disco
0
z z < esta
situado completamente dentro de
0
S siempre que
0
1 z < . As, todo punto de
0
S es un punto interior. Igualmente todo punto
0
z que satisfaga 1 > z ser exterior
a
0
S . Si 1
0
= z , entonces toda -vecindad de
0
z contendr puntos que estn en
0
S y puntos que no lo estn. Por tanto, la frontera de
0
S consiste en todos los
puntos sobre el circulo 1 = z , el interior es el conjunto 1 < z , y el exterior es el
conjunto de todos los puntos que satisfacen 1 > z (vase figura 1.8).

19

Figura 1.8


Definicin de Conjunto Acotado 2.4
Un conjunto S es acotado si existe un nmero real positivo tal que todo ) (z en
S satisfaga < z . Si esta condicin no se cumple decimos que S es no acotado.

Definicin de Conjunto Inconexo 2.5
Un subconjunto A de C, es inconexo (o no conexo) si existen subconjuntos abiertos
G y H de C tales que G A y H A son conjuntos no vacos disjuntos cuya unin
es A. en esta caso, H G e una inconexin de A. un conjunto es conexo si no es
inconexo.

Definicin de Regin 2.6
Un conjunto en C se llama regin si es la unin de un conjunto conexo con alguno,
ninguno o todos sus puntos fronteras. Si ninguno de sus puntos frontera esta incluido
en la regin, se dice que esta en una regin abierta. Si todos los puntos frontera estn
incluidos, se dice que la regin es una regin cerrada.

Teorema 2.7
Cualesquiera dos puntos de una regin pueden unirse por medio de una lnea
poligonal contenida en la regin.





20
Demostracin.
Por contradiccin. Llamemos S a la regin, y supongamos que
0
z esta dentro de S .
Denotaremos por
1
S todos aquellos puntos de S que puedan unirse a
0
z por medio
de un polgono y denotaremos por
2
S aquellos puntos que no pueden unirse. Si
1
z
esta en
1
S y por tanto en S , es un punto interior de S . As, existe una vecindad de
1
z contenida en S : <
1
z z . Todos estos puntos estn en
1
S , ya que cada uno
puede unirse a
1
z por medio de una que recta que pertenece a S , y que por ende
puede unirse a
0
z por medio de un polgono contenido en S . Entonces todo punto
de
1
S es punto interior de
1
S , as que
1
S es abierto.
Si
2
z esta en
2
S , sea <
2
z z una vecindad contenida en S . Ningn punto de
esta vecindad puede estar en
1
S , porque si as fuera
2
z estara en
1
S . Por lo cual todo
punto de
2
S es punto interior de
2
S , entonces
2
S 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
0
z esta en
1
S , as
que
2
S es vaci. Cualesquiera dos puntos pueden unirse a
0
z por medio de una
trayectoria poligonal contenida en S y, por tanto, puede unirse entre si por una
trayectoria poligonal que pasa por
0
z .



III. FUNCIONES DE VARIABLE COMPLEJA

3.1 Funciones

Definicin de Funcin 3.1
Sea S un conjunto de nmeros complejos. Una funcin f definida sobre S es una
regla que asigna a cada z en S un nmero complejo w. El numero w se llama el
valor de f en z y se denota por ) (z f ; esto es,
w= ) (z f .

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 iv u w + = el valor de una funcin f en iy x z + = ; es decir,

) ( iy x f iv u + = + .

Cada numero real u y v depende de las variables reales x y y , luego ) (z f puede
ser expresado en terminote un par de funcin con valores reales de las variables reales
x y y ;
21
) , ( ) , ( ) ( y x iv y x u z f + = .

Ejemplo 4
Si ) (z f =
2
z , entonces
xy i y x iy x iy x f 2 ) ( ) (
2 2 2
+ = + = + .
Luego
2 2
) , ( y x y x u = y xy y x v 2 ) , ( = .

Si se usan coordenadas polares r y , en vez de x y y , entonces ) (
i
re f iv u = + ,
donde iv u w + = y
i
re z = . En este caso podemos escribir,
) , ( ) , ( ) ( r iv r u z f + = .

3.2 Limites

Definicin 3.2
Se dice que la funcin ) (z f tiene limite A cuando z tiende hacia a ,

A z f
a z
=

) ( lim ,

Si para todo 0 > existe un nmero 0 > tal que

< A z f ) (

Siempre que < < a z 0 . Adems, la funcin ) (z f es continua en a si y slo si

) ( ) ( lim a f z f
a z
=

(Figura 2.0). Una funcin continua es aquella que es continua en todos los puntos
donde est definida.

Geomtricamente, la definicin de limite establece que cualquier -vecindad de a
contiene todos los valores que f toma en alguna -vecindad de a excepto
posiblemente en el valor ) (a f . El siguiente ejemplo ilustra el procedimiento usual
para determinar con un 0 > dado.

22

Figura 2.0


Ejemplo 5
Pruebe que 2
2
1
lim
3
=

z
z
z
.

Solucin: con la expresin a z f ) ( , simplificada, obtenemos

2 2
3
2
2
1

<

z z
z
z
z
.

Puesto que < < 3 0 z donde debe todava expresarse en trminos de . Si
2
1
< , mediante la desigualdad del triangulo, tenemos

2
1
1 ) 3 1 ) 3 ( 1 2 > > = z z z

de tal forma que

2 2
2
1
<

z
z
.

As dado cualquier nmero pequeo 0 > , si elegimos

<
2
1
,
2
1
min ,
obtenemos
23
<

2
2
1
z
z
.

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.


3.2.1 Propiedades de los Lmites.

Sean A z f
a z
=

) ( lim y B z g
a z
=

) ( lim .

Entonces

(i) [ ] B A z g z f
a z
= +

) ( ) ( lim ,
(ii) AB z g z f
a z
=

) ( ) ( lim ,
(iii)
B
A
z g
z f
a z
=

) (
) (
lim , para 0 B .

Demostracin.
Dado 0 > existe un nmero 0
1
> tal que < A z f ) ( , si
1
< a z , y un
nmero 0
2
> tal que < B z g ) ( , siempre que
2
< a z . Sea < a z ,
donde ) , min(
2 1 1
= . Entonces, por la desigualdad del triangulo,

[ ] [ ] [ ] [ ] 2 ) ( ) ( ) ( ) ( ) ( ) ( ) ( = + < + + = + + B z g A z f B z g A z f B A z g z f

y
[ ] [ ] [ ] 2 ) ( ) ( ) ( ) ( ) ( ) ( ) ( = + < + + = z g B A z f z g B A z f B A z g z f
.

Como 0 > es arbitrario, se muestra que ) ( ) ( z g z f puede estar arbitrariamente
cercano a B A eligiendo a z suficientemente cercano a a . Por tanto, la propiedad
(i) se cumple. Adems,

AB B z f B z f z g z f AB z g z f + = ) ( ) ( ) ( ) ( ) ( ) (

A z f B B z g z f A z f B B z g z f + + ) ( ) ( ) ( ) ( ) ( ) (
y
24
B
A
B
z f
B
z f
z g
z f
B
A
z g
z f
+ =
) ( ) (
) (
) (
) (
) (


[ ]
B
A z f
z g B
z g B
z f
B
A z f
z Bg
z g B z f

+

=
) (
) (
) (
) (
) (
) (
) ( ) (
.

Si B
2
1
0 < < , tenemos
) ( ) ( ) ( z g z g z g B B + + = ,
de tal forma que
B B z g
2
1
) ( <
+ + = A A A z f z f ) ( ) ( ,
por lo tanto
( ) + + B A AB z g z f ) ( ) ( ,
y

+
+
< 1
2 1 ) (
) (
B
A
B B
A
z g
z f

,

as que podemos hacer ) ( ) ( z g z f y ) (z f arbitrariamente cercanos a AB y B A ,
respectivamente, con z suficientemente cercano a a . Esto comprueba las reglas (ii) y
(iii).

Teorema 3.3

Sea
0
) ( lim
0
w z f
z z
=

y
0
) ( lim
0
W z F
z z
=

.
Entonces
[ ]
0 0
) ( ) ( lim
0
W w z F z f
z z
+ = +

,
y
[ ]
0 0
) ( ) ( lim
0
W w z F z f
z z
=

Y, si 0
0
W , entonces
0
0
) (
) (
lim
0 W
w
z F
z f
z z
=

.

El limite de un polinomio
n
n
z a z a z a a z P + + + + = ... ) (
2
2 1 0
cuando z tiende a
0
z es el valor del polinomio en ese punto:
25
) ( ) ( lim
0
0
z P z P
z z
=

.

Otra propiedad de los lmites que nos ser de utilidad.

0
) ( lim
0
w z f
z z
=

, entonces
0
) ( lim
0
w z f
z z
=

.

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
0 1
1
1
... ) ( a z a z a z a z f
n
n
n
n
+ + + + =

es continua en los complejos.

Sea una funcin definida en todos los puntos z de un entorno abierto de
0
z . La
afirmacin de que el limite de ) (z f , cuando z tiende a
0
z , es nmero
0
w , o sea
0
) ( lim
0
w z f
z z
=

,

significa que el punto w= ) (z f puede hacerse tan prximo como se quiera a
0
w si
escogemos el punto z suficientemente cercano al punto
0
z , pero distinto de el.
Entonces la afirmacin
0
) ( lim
0
w z f
z z
=

significa que, para cada nmero positivo ,

existe un nmero positivo tal que

<
o
w z f ) ( siempre que < <
0
0 z z .

Geomtricamente, esta definicin dice que para cada -entorno <
0
w w de
0
w , existe un -entorno abierto < <
0
0 z z de
0
z tal que todo punto z en l
tiene una imagen w que esta en el -entorno (figura 2.1).


Figura 2.1


26
Teorema 3.4
Sea ) , ( ) , ( ) ( y x iv y x u z f + = ,
0 0 0
iy x z + = , y
0 0 0
iv u w + = .
Entonces
0
) ( lim
0
w z f
z z
=

Si y solo si
0
) , ( ) , (
) , ( lim
0 0
u y x u
y x y x
=

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

.

Demostracin:

Supongamos que
0
) , ( ) , (
) , ( lim
0 0
u y x u
y x y x
=

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

entonces
0
) ( lim
0
w z f
z z
=

.
Supongamos que
0
) ( lim
0
w z f
z z
=

y de acuerdo con la definicin de lmites, donde

para cada nmero positivo existe un nmero positivo tal que

< + ) ( ) (
0 0
v v i u u
siempre que
< + < ) ( ) ( 0
0 0
y y i x x .
como
) ( ) (
0 0 0
v v i u u u u + ,
y
) ( ) (
0 0 0
v v i u u v v + ,
se sigue que
<
0
u u y <
0
v v ,
si
< + <
2
0
2
0
) ( ) ( 0 y y i x x .

Recprocamente supongamos que
0
) , ( ) , (
) , ( lim
0 0
u y x u
y x y x
=

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

. Para cada nmero positivo existen nmeros positivos

1

y
2
tales que

2
0

< u u si
1
2
0
2
0
) ( ) ( 0 < + < y y x x
y
2
0

< v v si
2
2
0
2
0
) ( ) ( 0 < + < y y x x
,

sea el menor de los nmeros
1
y
2
. Dado que
27

0 0 0 0
) ( ) ( v v u u v v i u u + + ,
concluimos que
< + + ) ( ) (
0 0
iv u iv u
siempre que
< + + <
0 0
( ) ( 0 iy x iy x .

lo cual es igual a la ecuacin
0
) ( lim
0
w z f
z z
=

.

Ejemplo para la superficie ) log(z .

Correspondiendo a cada nmero no nulo z, la funcin multivaluada

i r z + = ln ) log(

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
0
R cortada a lo largo del
eje real positivo. Sobre esa hoja, vara de 0 a 2 . Sea
1
R otra hoja cortada del
mismo modo y colocada sobre
0
R . El borde inferior del corte en
0
R se une entonces
con el borde superior del corte de
1
R . Sobre
1
R , vara de 2 a 4 ; as que
cuando z es representado por un punto en
1
R la componente imaginaria de ) log(z
vara de 2 a 4 .

Se corta ahora de la misma manera otra hoja
2
R y se coloca sobre
1
R . El borde
inferior del corte de
1
R se une con el superior del corte
2
R , y anlogamente para las
hojas ,... ,
4 3
R R Una hoja
1
R en la que vara desde 0 hasta 2 se corta y se
coloca bajo
0
R , con el borde inferior de su corte unido al borde superior del corte de
0
R . Las hojas ,... ,
4 3
R R se construyen de forma similar. Las coordenadas r y de
un punto sobre cualquiera de las hojas pueden considerarse como coordenadas
polares de la proyeccin del punto sobre el plano z original, estando restringida la
variacin de en cada hoja a un rango de 2 radianes.

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.
28


Figura 2.2


Por ejemplo, si el punto da una vuelta completa en torno al origen sobre la hoja
0
R
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
1
R de la superficie. Mientras completa una
vuelta en
1
R , el ngulo varia de 2 a 4 , y al cruzar el rayo 4 = , el punto
pasa a la hoja
2
R .

La superficie aqu descrita es una superficie de Riemann para ) log(z . Es una
superficie conexa de infinitas hojas, construida de modo tal que ) log(z es univaluada
sobre ella.
La transformacin ) log(z w = aplica la superficie de Riemann completa de manera
uno a uno sobre todo el plano w. La imagen de la hoja
0
R es la franja 2 0 v .
Cuando un punto z se mueve por la hoja
1
R a lo largo del arco que muestra la
(Figura 2.3), su imagen w se mueve hacia arriba cruzando la recta 2 = v , como
indica la (Figura 2.3).

Ntese que ) log(z , definida sobre la hoja
1
R , representa la prolongacin analtica de
la funcin analtica univaluada

i r z f + = ln ) ( , ) 2 0 ( < <

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 .
29


Figura 2.3

Como sabemos la longitud de cualquier tringulo es menor o igual a la suma de las
longitudes de los otros dos lados.


3.3 Continuidad.

Una funcin f es continua en un punto
0
z si satisface las siguientes condiciones:

1. ) ( lim
0
z f
z z
existe,
2. ) (
0
z f existe,
3. ) ( ) ( lim
0
0
z f z f
z z
=

.

La afirmacin (3) dice que para cada nmero positivo existe un nmero positivo

tal que,

4. < ) ( ) (
0
z f z f si <
0
z z .

Una funcin de una variable compleja se dice que es continua en una regin R si lo es
en todos sus puntos.


3.3.1 Propiedades Algebraicas para la Continuidad.

Si dos funciones son continuas en un punto, su suma y su producto tambin lo son; su
cociente es continua en las mismas circunstancias siempre que el denominador no se
anule en ese punto.

Se sigue directamente de la definicin (4) que la composicin de dos funciones
continuas es continua. Para verlo, sea ) (z f w = una funcin definida para todo z de
un entorno de
0
z y sea ) (w g una funcin cuyo dominio de definicin contiene a la
30
imagen de ese entorno. Entonces la composicin [ ] ) (z f g esta definida para todo z
de ese entorno de
0
z .
Supongamos ahora que f es continua en
0
z y que g es continua en el punto
0
w = ) (
0
z f . En vista de la continuidad de g en
0
w , sabemos que para cada numero
positivo existe un nmero positivo tal que

[ ] [ ] < ) ( ) (
0
z f g z f g si < ) ( ) (
0
z f z f .

Ahora correspondiendo a , existe un nmero positivo la segunda de estas
igualdades se satisface siempre que <
0
z z .

3.4 Funciones Continuas de una Variable

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 ) (z f w = en
trminos de las descomposiciones en partes real e imaginaria iy x z + = y
iv u w + = de

cada variable compleja, ( ) ( ) ( ) ( ), , , y x iv y x z iv z u w + = + = notamos que una
funcin compleja de una variable compleja consiste en un par de funciones reales de
dos variables reales.

Las funciones reales de una variable real ) (x f y = pueden describirse
geomtricamente por medio de una grafica en el plano xy . No es posible una
representacin para ) (z f w = , ya que se requerira cuatro dimensiones, dos para
cada variable compleja. En lugar de esto, la informacin acerca de la funcin se
expresa dibujando planos complejos separados para las variables z y w, e indicando
la correspondencia existente entre puntos, o conjuntos de puntos, en los planos
(figura 2.4).

3.5 Derivadas

Definicin 3.5
Sea f una funcin cuyo dominio de definicin contiene un entorno de
0
z . La
derivada de f en
0
z , escrita ) (
0
'
z f , se define por la ecuacin,

0
0
0
'
) ( ) (
lim ) (
0 z z
z f z f
z f
z z

=

,
Supuesto que ese lmite exista. La funcin f se dice diferenciable en
0
z cuando
existe su derivada en
0
z .

31


Figura 2.4

Expresando la variable z de la ecuacin
0
0
0
'
) ( ) (
lim ) (
0 z z
z f z f
z f
z z

=

en trminos
de la nueva variable compleja cuando z esta muy cerca de
0
z , se tiene,
0
z z z =
de donde
0
z z z + = ,

y la ecuacin se puede escribir como
z
z f z z f
z f
z

+
=

) ( ) (
lim ) (
0 0
0
0
'
.

Siempre que z sea suficientemente pequeo (Figura 2.5).

Al utilizar la ecuacin
z
z f z z f
z f
z

+
=

) ( ) (
lim ) (
0 0
0
0
'
de la definicin de
derivada se suele omitir el subndice de
0
z , y se introduce el nmero

Que denota el cambio en el valor de f correspondiente a un cambio z en el punto
en el que evaluamos f . Entonces, si llamamos
dz
dw
a ) (z f , la ecuacin
z
z f z z f
z f
z

+
=

) ( ) (
lim ) (
0 0
0
0
'
se convierte en

z
w
dz
dw
z

=
0
lim .


32

) ( ) ( z f z z f w + = ,


Figura 2.5


Todo polinomio:

n
n
z a z a z a z a a z P + + + + + ... )) (
3
3
2
2 1 0


Es entero, porque en cada punto z de los complejos tiene derivada

1 2
3 2 1
'
... 3 2 ) (

+ + + + =
n
n
z na z a z a a z P .

Ejemplo 6
Examinemos ahora la funcin
2
) ( z z f = . Aqu


Figura 2.6

z
z
z z z
z
z z z z z z
z
z z z
z
w

+ + =

+ +
=

+
=

) )( (
2 2
.
33

Si el lmite de
z
w

existe, ese limite puede hallarse haciendo que el punto

) , ( y x z = se aproxime al origen en el plano z de forma arbitraria. En
particular, cuando z tiende hacia el origen horizontalmente por los puntos ) 0 , ( x
del eje real (Fig. 2.6), podemos escribir z z = . Por tanto, si existe el lmite de
z
w

, su valor ha de ser z z + . Sin embargo, cuando z tiende al origen

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 0 = z , si ha de existir
dz
dw
.

Para ver que, en efecto,
dz
dw
existe en 0 = z , slo necesitamos observar que
nuestra expresin para
z
w

se reduce a z cuando 0 = z . Concluimos, en

consecuencia, que
dz
dw
existe slo en el punto 0 = z , y su valor es 0 all.

El ejemplo anterior muestra que una funcin puede ser diferenciable en un cierto
punto sin serlo en ningn otro punto de un entorno suyo.

3.5.1 Derivadas Parciales.

Puesto que las partes real e imaginaria de
2
) ( z z f = son

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

Respectivamente, muestra asimismo que las componentes real e imaginaria de una
funcin de una variable compleja pueden tener derivadas parciales continuas de todo
orden y, no obstante, la funcin no ser diferenciable all.
La funcin
2
) ( z z f = es continua en todo punto del plano complejo, pues sus
componentes
2 2
) , ( y x y x u + = y 0 ) , ( = y x v , lo son. As que la continuidad de
una funcin en un punto no implica la existencia de derivada en l. Es cierto, sin
embargo, que la existencia de derivada de una funcin en un punto implica la
continuidad de la funcin en ese punto. Para verlo, supongamos que existe ) (
0
'
z f y
escribamos
[ ] 0 0 * ) ( ) ( lim
) ( ) (
lim ) ( ) ( lim
0 0
0
0
0
0 0 0
= =

=

z f z z
z z
z f z f
z f z f
z z z z z z
,

De donde
) ( ) ( lim
0
0
z f z f
z z
=

.
34
Esto asegura la continuidad de f en
0
z .
3.6 Funcin Exponencial Compleja

Definicin 3.6

La exponencial compleja dada por:

( ) iseny y e e
x z
+ = cos

Es una funcin entera con valor diferente de cero que satisface la ecuacin diferencial:
), ( ) (
'
z f z f = 1 ) 0 ( = f .

Que 0
z
e se sigue que ni
x
e ni iseny y + cos se anula. Adems, observamos que
como iy x z + = , la notacin conduce a:

iseny y e
iy
+ = cos , 1 =
iy
e .

As, la representacin polar de un nmero complejo se transforma en:

z i
e z z
arg
= .

Si
2 2 2 1 1 1
, , iy x z iy x z + = + = , entonces las formulas trigonomtricas para la suma
implican que

( )( )
( ) ( ) [ ]
( ) ( ) [ ]
( )
2 1 2 1 2 1
2 1
2 1
2 1 2 1
2 1 2 1
2 1 2 1 2 1 2 1
2 2 1 1
cos
cos cos cos cos
cos cos
z z y y i x x
x x
x x
x x z z
e e e
y y isen y y e
seny y y seny i seny seny y y e
iseny y iseny y e e e e
+ + +
+
+
= =
+ + + =
+ + =
+ + =


Ya que
1 2 2 1 2 2 1
z z z z z z z
e e e e = =
+
,
Se sigue que
2
1
2 1
z
z
z z
e
e
e =

.

Si usamos repetidamente la formula para la suma de exponentes, obtenemos
( )
n
z nz
e e = . Esta identidad proporciona una prueba rpida del teorema de Moivre
cuando
i
e z = :

, cos ) ( ) (cos

isenn n e e isen
n i n i n
+ = = = + Para ... 2 1 0 = n .

35
Con el teorema de Moivre, tenemos:

). 1 ( 2
) 2 ( 2 2
2 ) 2 ( ) 1 (
11
4
11
4 2
23
4
23
2
23
23
4
23
i
e e
e e i
i i
i i
+ =
= =
= =






3.6.1 Propiedades de la Exponencial Compleja.

Teorema 3.7
Si
1 1 1
iy x z + = y
2 2 2
iy x z + = , son dos nmeros complejos, entonces tenemos

2 1 2 1
z z z z
e e e
+
= .
Demostracin.
) (cos
1 1
1 1
iseny y e e
x z
+ = , ) (cos
2 2
2 2
iseny y e e
x z
+ = ,

[ ] ) cos (cos cos cos
2 1 2 1 2 1 2 1
2 1 2 1
y seny seny y i seny seny y y e e e e
x x z z
+ + = .

Ahora bien,
2 1 2 1
z z z z
e e e
+
= , ya que
1
x y
2
x , son ambos reales. Adems,

) cos( cos cos
2 1 2 1 2 1
y y seny seny y y + =
y
) ( cos cos
2 1 2 1 2 1
y y sen y seny seny y + = + ,
y por lo tanto
[ ]
2 1 2 1 2 1
) ( ) cos(
2 1 2 1
z z x x z z
e y y isen y y e e e
+ +
= + + + = .


En los teoremas siguientes
2 1
, , z z z designan nmeros complejos.

Teorema 3.8

z
e jams es cero.

Demostracin. 1
0
= =

e e e
z z
. Por lo tanto,
z
e no puede ser cero.

Teorema 3.9
Si x es real, entonces
ix
e =1.
Demostracin.
2
ix
e = 1 cos
2 2
= + x sen x , y
ix
e >0.

Teorema 3.10

z
e =1 si, solo si, z es mltiplo de i 2 .

36
Demostracin. Si n z = , donde n es un entero, entonces
1 ) 2 ( ) 2 cos( = + = n isen n e
z
.

Recprocamente, supongamos que
z
e =1. Esto significa que 1 cos = y e
x
y
0 = seny e
x
. Como 0
x
e , entonces debe ser k y seny = = , 0 donde k es un
entero. Pero
k
k ) 1 ( ) cos( = . Por lo tanto,
k x
e ) 1 ( = ya que 1 ) cos( = k e
x
.
Como 0 >
x
e , k debe ser par. Por lo tanto 1 =
x
e y entonces 0 = x .

Teorema 3.11

2 1
z z
e e = si, y solo si, in z z 2
2 1
= (donde n es un entero).

Demostracin.
2 1
z z
e e = si, y solo si, 1
2 1
=
z z
e .

Definicin 3.12
Sea la exponencial
x
e ( x real). Definimos
z
e para z complejo de tal forma que las
principales propiedades de la funcin exponencial real se conserven. Las citadas
propiedades de
x
e para x real son la ley de los exponentes,
2 1 2 1
x x x x
e e e
+
= , y la
ecuacin
0
e =1. Daremos una definicin de
z
e para z complejo que conserve estas
propiedades y que se reduzca a la exponencial ordinaria cuando z sea real.
Si escribimos iy x z + = (x, y reales), entonces para que se verifique la ley de los
exponentes deberamos tener
iy x iy x
e e e =
+
.

Definicin 3.13

Si iy x z + = , definimos
iy x z
e e
+
= como el nmero complejo
) (cos iseny y e e
x z
+ = .
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.

La exponencial compleja juega un papel esencial en las aplicaciones. Con el fin de
entender completamente la exponencial compleja. Necesitaremos estudiar sus
propiedades como mapeo. Para visualizar el mapeo

) (cos iseny y e e w
x z
+ = = ,

observemos que la franja infinita < y se mapea en } 0 { C ; los puntos
sobre el segmento de recta 0 = x , < y se mapean de manera uno a uno en
37


Figura 2.7
el circulo 1 = w , las rectas verticales a la izquierda del eje imaginario se mapean en
crculos de radio 1 < r , las rectas verticales a la derecha del eje imaginario sobre
crculos de radio 1 > r , la mitad izquierda de la franja en la (Figura 2.7) se mapea en
1 0 < < w , y la mitad derecha va a 1 > w . Observe que
x
e tiene periodo i 2 ,
porque

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

[ ]
z x
e y isen y e = + + + = ) 2 ( ) 2 cos( ,

As que los valores complejos
z
e y
ki z
e
2 +
, con k entero, son idnticos.
Por tanto, cada franja infinita < k y 2 , ,... 2 , 1 , 0 = k tambin se mapea
en } 0 { C , y el mapeo } 0 { : C C e
z
manda un nmero infinito de puntos de
C al mismo punto en } 0 { C . Este es un resultado indeseable, en vista de que no
permite la discusin de una funcin inversa, excepto sobre cada una de las franjas
infinitas descritas anteriormente. La funcin inversa es verdaderamente importante,
porque la inversa de la exponencial real es el logaritmo. Para eliminar esta dificultad,
imagine que el contradominio del mapeo consiste en un nmero infinito de copias de
} 0 { C apiladas en capas unas sobre otras, cada una cortada a lo largo del eje real
negativo con el borde superior de una capa pegada al borde inferior de la capa
superior, produciendo un conjunto que asemeja una rampa infinita en espiral
(Figura 2.8).
El conjunto difiere de } 0 { C en que cada punto de queda determinado
unvocamente en coordenadas polares, mientras que los puntos de } 0 { C no se
pueden determinar en la misma forma, porque el argumento es multivaluado. Si
utilizamos a como el contradominio de la funcin
z
e y medimos distancias cortas
en de la manera obvia, observamos que
z
e mapea a C continuamente en y que
el mapeo es uno a uno. As, C e
z
: tiene inversa. La analiticidad de
z
e no se
afecta al hacer este cambio de contradominio, porque

+
h
e e
e
h
e e
h
z
z h z 0

38


Figura 2.8

Y la cantidad entre parntesis tiende a
0
e cuando 0 h , si
h
e pertenece a la misma
capa de que
0
e . De manera alternativa, si ) 1 2 ( Im + k z y h es pequeo, z
y h z + pertenecern a la misma franja, de tal forma que
z
e y
h z
e
+
se encuentren en
la misma copia de } 0 { C .
El conjunto se llama superficie de Riemann; las lneas de corte en cada copia de
} 0 { C cortes de ramificacin; los extremos de los cortes de ramificacin , 0
puntos de ramificacin; y cada copia de } 0 { C se llama rama de .

Como C e
z
: , es uno a uno, con como la superficie de Riemann ya
definida podemos definir su funcin inversa.
Imitando el caso real, llamamos a este inverso logaritmo y lo denotamos por:
C z = log .

Como la exponencial compleja y el logaritmo son funciones inversas, se tiene que:
z e
z
= log , para todo z en
C
.

z e
z
=
log
, para todo z en .

La representacin polar y la naturaleza inversa de las funciones logaritmo y
exponencial proporcionan una definicin natural para el logaritmo complejo:

) arg( log ) arg(
log( ( log log
z i z z i
e e z z z
+
= = ) arg( log z i z + = ,

Donde z log es el logaritmo natural del clculo elemental.

Teorema 3.14

La funcin z log ) arg( log z i z + = es analtica para todo z en .
39

Demostracin:

Como ) log(
2
1
log
2 2
y x z u + = = , n
x
y
z v + = =
1
tan arg

, , , ,
2 2 2 2 2 2 2 2
y x
x
v
y x
y
v
y x
y
u
y x
x
u
x x y x
+
=
+

=
+
=
+
=

Las ecuaciones de Cauchy-Riemann se cumplen y las derivadas parciales son todas
continuas en . Porque la analiticidad es una propiedad local, y porque la prueba del
teorema sobre condiciones para la analiticidad, se basa en argumentos locales, z log
es analtica en .


3.8 Funcin Logaritmo Complejo

Como hemos visto
z
e nunca es cero. Nos podemos preguntar si hay otros valores
que
z
e no puede tomar jams.

Teorema 3.15
Si z es un nmero complejo 0, existen nmeros complejos w tales que z e
w
= .
Uno de tales w es el nmero complejo

) arg( log z i z + ,
y todos los dems tienen la forma

i n z i z 2 ) arg( log + + ,
donde n es un entero.

Demostracin.
Como
z e z e e e
z i z i z z i z
= = =
+ ) arg( ) arg( log ) arg( log
,
vemos que
) arg( log z i z w + =
es una solucin de la ecuacin
z e
w
= .

Pero si
1
w es otra solucin, entonces
1
w w
e e = y, por lo tanto, i n w w 2
1
= .

Definicin 3.16
Sea 0 z un nmero complejo dado. Si w es un nmero complejo tal que z e
w
= ,
entonces w se denomina un logaritmo de z . El valor particular dado por
40
) arg( log z i z w + = ,

se llama logaritmo principal de z , y para este w escribiremos

Logz w = .

Teorema 3.17
Si 0
2 1
z z , entonces
) , ( 2 ) (
2 1 2 1 2 1
z z ni Logz Logz z z Log + + = ,
donde ) , (
2 1
z z n es un entero.

Demostracin.
) z z arg( z z log ) z (z
2 1 2 1 2 1
i Log + =

[ ] ) , ( 2 ) arg( ) arg( log log
2 1 2 1 2 1
z z n z z i z z + + + + = .

Definicin 3.18
El logaritmo complejo tiene las propiedades usuales de un logaritmo:

2 1 2 1
log log log z z z z + = ,

2 1
2
1
log log z z
z
z
= .
En estas dos identidades suponemos que
1
z y
2
z son puntos de la superficie de
Riemann . Como:
z
e z
log
=

Para cualquier z en , aplicamos la regla de la cadena para la derivacin y obtener:
' log
) (log 1 z e z
z
= =
o
z
z
1
) (log
'
= , para z en .

As, la formula usual de la derivada se cumple en . De la misma manera que
definimos el valor principal ) (z Arg del argumento ) arg(z , podemos extender este
concepto al logaritmo. Al visualizar al logaritmo como el mapeo inverso de la
exponencial, llamamos a la rama de cortada a lo largo del eje real negativo, que se
mapea en la franja semiinfinita < y , rama principal del logaritmo (vase
Figura 2.9).

Denotamos z log cuando se restringe la rama principal, por

41
) ( log log z iArg z z + = ,

y llamamos a ste valor principal de z log .


Figura 2.9


Note que el valor principal z log se define slo en aquella rama de para la cual
) (z Arg existe. Debe tenerse cuidado cuando se trabaje con la rama principal del
logaritmo z log , ya que las propiedades usuales de los logaritmos pueden no
cumplirse. Por ejemplo,

2
) ( log log
i
i iArg i i = + = ,

4
3
2 log ) 1 ( 1 log ) 1 log(

i i iArg i i + = + + + = + ,
pero
) 1 log( )] 1 ( log[ i i i = +
) 1 ( 1 log i iArg i + =

4
3
2 log

i = ,
as que
) 1 log( log )] 1 ( log[ i i i i + + + .

Por el contrario, las dos expresiones difieren por un mltiplo de i 2 .
Las funciones logaritmo y exponencial complejas se pueden usar para definir las
funciones potencia.
42


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 0 z y si w es u numero complejo cualquiera, definimos

wLogz w
e z = .

Los dos teoremas siguientes suministran las reglas de clculo con potencias complejas.

Teorema 3.20
1 1 2 1
w w w w
z z z
+
= si 0 z .

Demostracin.
2 1 2 1 2 1 2 1
) ( w w Logz w Logz w Logz w w w w
z z e e e z = = =
+ +
.

Teorema 3.21
Si 0
2 1
z z , entonces

) , ( 2
2 1 2 1
2 1
) (
z z iwn w w w
e z z z z

= ,

donde ) , (
2 1
z z n es entero.

Demostracin.
[ ] ) , ( 2 ) (
2 1
2 1 2 1 2 1
) (
z z in Logz Logz w z z wLog w
e e z z
+ +
= = .




3.10 Funciones Trascendentales

La exponencial compleja puede utilizarse para definir funciones trigonomtricas
complejas. Como isenx x e isenx x e
ix ix
= + =

cos , , cos entonces:

2
cos
ix ix
e e
x

+
=
i
e e
senx
ix ix
2

= .

Extendemos estas definiciones a los planos complejos como sigue:

Definicin 3.22
z a a
e z
log
= , a complejo 0 , 0 z .
43

La funcin :
a
z es analtica uno a uno porque es la composicin de
funciones de esos tipos. Por la regla de la cadena,

1 log '
* ) (

= =
a z a a
az
z
a
e z .

El valor principal de la funcin potencia esta dado por:

aLogz a
e z = .
Definicin 3.23
2
cos
iz iz
e e
z

+
=
i
e e
senz
iz iz
2

= .

Estas funciones son enteras, pues sumas de funciones enteras y satisfacen:

. cos
2 2
) (
,
2 2
) (cos
'
'
z
e e
i
ie ie
senz
senz
i
e e ie ie
z
iz iz iz iz
iz iz iz iz
=
+
=
+
=
=

=



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.

z
senz
z
cos
tan =
z
z
cos
1
sec =

senz
z
z
cos
cot =
senz
z
1
csc = .

z z
2 '
sec ) (tan = z z z tan sec ) (sec
'
=

z z
2 '
csc ) (cot = z z z cot csc ) (csc
'
= .


Todas las identidades trigonomtricas usuales son validas en variables complejas, y sus
demostraciones dependen de las propiedades de la exponencial. Por ejemplo
1 ] ) ( ) [(
4
1
cos
2 2 2 2
= + = +
iz iz iz iz
e e e e z sen z ,
y
i
e e
i
e e e e e e
senz senz z z
iz iz iz iz iz iz iz iz
2 2 2 2
cos cos
2 2 1 1 2 2 1 1
2 1 2 1

+ +
=

44
) cos(
4
2 2
2 1
2 1 2 1
z z
e e e e
iz iz iz iz
+ =
+
=

.

De la definicin de z cos , tenemos
2
) cos( cos
ix y ix y
e e
iy x z
+
+
= + =

) (cos
2
1
) (cos
2
1
isenx x e isenx x e
y y
+ + =



) (
2
) cos(
2
x sen
e e
x
e e
y y y y

+
=

.
As
) ( ) ( ) cosh( ) cos( cos y senh x isen y x z = .
De manera semejante encontramos

) ( ) cos( ) cosh( ) ( y senh x i y x sen senz + = .

Teorema 3.24

Los ceros reales de senz y z cos son nicos ceros.

Demostracin:

Si 0 = senz , tenemos que:
0 ) cosh( ) ( = y x sen 0 ) ( ) cos( = y senh x .

Pero 1 ) cosh( y , lo cual implica que el primer trmino se anula solamente cuando
0 ) ( = x sen , esto es, ,... 2 , , 0 ) ( = x sen sin embargo, para estos valores ) cos(x
no se anula. Por tanto, debemos tener 0 ) ( = y senh , sea 0 = y . As,

0 = senz implica n z = , con n entero.

Esta aseveracin tambin se aplica a z tan , de igual forma encontramos que,

0 cos = z Implica

+ =
2
1
n z , con n entero.

Las funciones hiperblicas complejas se definen al extender las definiciones reales al
plano complejo.

Definicin 3.25

45
2
z z
e e
senhz

= ,
2
cosh
z z
e e
z

+
= .

Nuevamente, todas las identidades y reglas usuales de derivacin se aplican a las
funciones hiperblicas complejas. Notemos adems que:

senhz isenz
e e
iz
iz iz
=

=

2


cosh z
e e
iz
iz iz
cos
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 z cosh son imaginarios puros.


3.11 Condiciones Necesarias Para La Analiticidad

Definicin 3.26 Funcin Analtica.
Sea iv u f + = una funcin compleja definida en un conjunto abierto S del plano
complejo C. Se dice que f es analtica en S si existe y es continua la derivada
'
f en
cada punto de S .

Como ya sabemos derivada de una funcin compleja de una variable compleja se
define, exactamente de la misma manera que el caso real del clculo.

Definicin 3.27

Sea f definida en C G . La derivada
'
f de f en a esta dada por

h
a f h a f
a f
h
) ( ) (
) (
lim
0

+
=

Cuando el lmite existe. Se dice que la funcin f es analtica en la regin G si tiene
derivada en cada punto de G, y se dice que f es entera si es analtica en todo C.

Lema 3.28: si f tiene derivada en a , entonces f es continua en a .

Demostracin:
) ( ) ( *
) ( ) (
lim ) ( lim
0 0
a f a f h
h
a f h a f
h a f
h h
=

+
= +

.

46
Si manipulamos la definicin de derivada esta lleva a las reglas usuales de derivacin:

' ' '
) ( g f g f = ,

' ' '
) ( gf fg fg + = ,

, 0 ,
2
' '
'
=

g
g
fg gf
g
f

Regla de la cadena
), ( )) ( ( ))) ( ( (
' ' '
z g z g f z g f =

Las pruebas son idnticas a las usadas en clculo elemental.
Sea ) , ( y x z = , suponga que h es real y entonces:

). ( ) (
) , ( ) , (
) (
lim
0
'
z f z
x
f
h
y x f y h x f
z f
x
h
=

=
+
=

Pero entonces si ik h = es puramente imaginario, entonces:

) ( ) (
1 ) , ( ) , (
) (
lim
0
'
z if z
y
f
i k
y x k y x f
z f
y
k
=

=
+
=

.

As, la existencia de una derivada compleja obliga a la funcin a satisfacer la ecuacin
diferencial parcial:

y x
if f = .

Si ), ( ) ( ) ( z iv z u z f + = donde u y v

son funciones reales de una variable compleja,
y si igualamos las partes reales e imaginarias de:

, y y y x x x
iu v if f iv u + = = = +

Obtenemos las ecuaciones diferenciales de Cauchy-Riemann

,
y x
v u =
y x
u v = .

Y finalmente hemos probado el siguiente teorema.

Teorema 3.29
Si la funcin ) ( ) ( ) ( z iv z u z f + = 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.
47



Ejemplo 7
Sea xyi y x z z f 2 ) ( ) (
2 2 2
+ = = . Como f es entera,
2 2
y x u = y xy v 2 =
deben satisfacer las ecuaciones de Cauchy Riemann. Observemos que

x x
v x u = = 2 y
x x
v y u = = 2 .
Por otra parte, si
2 2
2
) ( y x z z f + = = , entonces
2 2
y x u + = , 0 = v y x u
x
2 = ,
y u
y
2 = ,
y x
v v = = 0 , as que f satisface las ecuaciones de Cauchy-Riemann solo
en 0. An ms, f tiene derivada cuando 0 = z porque

0 lim lim ) 0 (
0
2
0
'
= = =

h
h
h
f
h h
.


Como ya hemos visto en las propiedades de los complejos ahora empecemos con la
exponencial
x
e . Deseamos definir una funcin
z
e z f = ) ( 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

) ( ) ( x f x f = . 1 ) 0 ( = f .

Nos preguntarnos si existe una solucin analtica de la ecuacin

) ( ) ( z f z f = , 1 ) 0 ( = f

Si tal solucin existe, necesariamente deber coincidir con
x
e cuando x z = , pues
slo as satisfar la ecuacin que la determina sobre el eje real.
De la definicin de f , tenemos

iv u iv u
x x
+ = + , 0 ) 0 ( , 1 ) 0 ( = = v u .

Como u u
x
= v v
x
= , al separar, variables tenemos

x
e y p y x u ) ( ) , ( = ,
x
e y q y x v ) ( ) , ( = ,
como 1 ) 0 ( = p , 0 ) 0 ( = q por las condiciones iniciales. Derivaremos estas dos
ecuaciones con respecto a y aplicando las ecuaciones de Cauchy-Riemann, para
obtener

x
x y
x
e y q v u e y p ) ( ) ( = = = ,
x
x y
x
e y p u v e y q ) ( ) ( = = = .
48

Por tanto, q p = , p q = , as que
q p q = = , p q p = = ,
y q p, son soluciones de la ecuacin diferencial real 0 ) ( ) (
' '
= + y y . Todas las
soluciones de esta ecuacin son de la forma Bseny y A + cos , con A y B constantes.
Como 1 ) 0 ( ) 0 ( = = p q , 0 ) 0 ( ) 0 ( = = p p , debemos tener y y p cos ) ( = ,
seny y q = ) ( . Por tanto, obtenemos la funcin

) (cos cos ) ( iseny y e seny ie y e z f
x x x
+ = + = ,

Que coincide con
x
e cuando x z = y es analtica puesto que su construccin
automticamente garantiza que las parciales son continuas y satisfacen las ecuaciones
de Cauchy-Riemann.

3.12 Condiciones Suficientes Para La Analiticidad

Aqu nos podemos preguntar si las ecuaciones de Cauchy-Riemann son suficientes
para garantizar la existencia de la derivada en un punto dado. El ejemplo siguiente, de
D. Menchoff, muestra que no es as. Sea

=
. 0 , 0
, 0 ,
) (
4
5
z
z
z
z
z f
Entonces
4
) (

=
z
z
z
z f
, 0 z ,

Que tiene valor 1 sobre el eje real y valor -1 sobre la lnea x y = . As, f no tiene
derivada en 0 = z ; pero si se desarrolla la expresin para f se tiene

x x u = ) 0 , ( , ) 0 , ( 0 ) , ( x v y o u = = , y y o v = ) , ( ,
por lo que
) 0 , 0 ( 1 ) 0 , 0 (
y x
v u = = , ) 0 , 0 ( 0 ) 0 , 0 (
x y
v u = = ,

y se cumplen las ecuaciones de Cauchy-Riemann.
Sin embargo tenemos el siguiente teorema

Teorema 3.30
Sea ) , ( ) , ( ) ( y x iv y x u z f + = , definida en alguna regin G que contiene al punto
0
z , y que tiene primeras derivadas parciales continuas, con respecto a x y y , que
satisfacen las ecuaciones de Cauchy-Riemann en
0
z . Entonces ) (
0
'
z f existe.
49

Demostracin:
Si
0
x x y
0
y y , el cociente de diferencias se puede escribir:

o
o o
o
o o
o
o
z z
y x v y x v
i
z z
y x u y x u
z z
z f z f

) , ( ) , ( ) , ( ) , ( ) ( ) (


=

0
0
0
0
0
0
) , ( ) , ( ) , ( ) , (
x x
y x v y x v
i
x x
y x u y x u
z z
x x


+

0
0 0 0
0
0 0 0
0
0
) , ( ) , ( ) , ( ) , (
y y
y x v y x v
i
y y
y x u y x u
z z
y y


= [ ] ) ), ( ( ) ), ( (
0 2 0 0 1 0
0
0
y x x t x iv y x x t x u
z z
x x
x x
+ + +

+ [ ] )) ( , ( )) ( , (
4 0 3 0
0
0
o o o o y
y y t y x iv y y t y x u
z z
y y
+ + +

,

Donde , 4 , 3 , 2 , 1 , 1 0 = < < k t
k
segn el teorema del valor medio del calculo
diferencial. Este resultado tambin se cumple si
0
x x = y
0
y y = . Como las
derivadas parciales son continuas en
o
z , podemos decir:

[ ]
1 0 0
0
0
0
0
) ( ) (
) ( ) (
+ +

z iv z u
z z
x x
z z
z f z f
x x
+
[ ]
2 0 0
0
0
) ( ) ( + +

z iv z u
z z
y y
y y
,

Donde 0 ,
2 1
cuando
0
z z . Aplicando las ecuaciones de Cauchy-Riemann
al ltimo trmino, podemos cambiar los trminos para obtener:

0
2 0 1 0
0 0
0
0
) ( ) (
) ( ) (
) ( ) (
z z
y y x x
z iv z u
z z
z f z f
x

+
+ + =

.

Como
0 0 0
, z z y y x x , la desigualdad del triangulo conduce a

0
) ( ) (
2 1
0
2 1 0
+

+


z z
y y x x
o
, cuando
0
z z .
50

Por tanto, el ltimo trmino tiende a cero cuando z tiende a
0
z as que al tomar el
limite, tenemos:
) ( ) (
) ( ) (
) (
0 0
0
0
0
'
lim
0
z iv z u
z z
z f z f
z f
x x
z z
+ =

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.

3.13 Funciones Armnicas.

Ecuacin de Laplace ) 0 ( = +
yy xx
u u
Por las ecuaciones de Cauchy-Riemann, se tiene que

yy y y y x x y x x xx
u u v v u u = = = = = ) ( ) ( ) ( ) (

donde la ecuacin de Laplace se cumple para u . De la misma forma se cumple para
. v

3.14 Armnicos Conjugados.

Tanto u como v son armnicos y cumplen las ecuaciones de Cauchy

0 = +
yy xx
u u
0 = +
yy xx
v v
y x
v u =
x y
v u =
.


3.15 Teorema de la Derivada Nula

Sea f analtica en una regin G y 0 ) (
'
= z f en todo z de G. Entonces f es
constante en G. Se tiene la misma conclusin si f f f , Im , Re o ) arg( f es
constante en G.

Demostracin:
Como ) ( ) ( ) (
'
z iv z u z f
x x
+ = , si la derivad se anula implica
y x y x
u v v u = = ,
son todas cero. As, u y v

son constantes a lo largo de cualquier recta paralela a los
51
ejes coordenados y como G es conexo mediante un polgono entonces iv u f = es
constante en G.

Si ) (ov u

es constante
y x y x
v u u v = = = = 0 , lo cual implica que
0 ) ( ) ( ) (
'
= + = z iv z u z f
x x
y f es constante.

Si f es constante, tambin
2 2
2
v u f + = , lo es, esto implica que

0 = +
x x
vv uu , 0 = = +
x x y y
uv vu vv uu

Resolviendo estas dos ecuaciones para
x x
v u , , tenemos 0 = =
x x
v u a menos que el
determinante
2 2
v u + se anule. Como
2 2
2
v u f + = , es constante entonces
0
2 2
= + v u en un punto, entonces es constantemente cero, y f se anula
idnticamente. De otra manera, las derivadas se anulan y f es constante.

Si ) ( , arg G f c f = estar contenida en la recta
u c v * ) (tan = ,

A menos que 0 u , en cuto caso terminamos. Pero f c i ) tan 1 ( es analtica

0 ) (tan ) tan 1 Im( = = u c v f c i ,

Lo que implica que f c i ) tan 1 ( es constante. As f lo es tambin.


IV INTEGRAL COMPLEJA

4.1 Introduccin a la Integral de Lnea

La naturaleza bidimensional del plano complejo sugiere considerar integrales a lo largo
de curvas arbitrarias en C en lugar de segmentos del eje real nicamente. Estas
integrales de lnea tienen propiedades interesantes y poco comunes las cuales
veremos.

4.2 Integrales de Lnea.

Como ya vimos anteriormente las funciones analticas, son resultantes de la
derivabilidad de la funcin. En clculo real, el teorema fundamental revela una
conexin entre las derivadas y las integrales definidas.
Un arco en el plano es cualquier conjunto de puntos que pueden describirse en
forma paramtrica por:
) ( : t x x = , ) (t y y = , t .

52
Con ) (t x y ) (t y 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,
) ( ) ( ) ( : t iy t x t z z + = = , t .

Definicin 4.1 Arco suave
Sea un arco suave si la funcin ) ( ) ( ) (
' ' '
t iy t x t z + = no se anula y es continua en
t entonces es un arco suave.


Definicin 4.2 Arco suave por partes (spp).
Consiste en nmero finito de arcos suaves unidos por sus extremos. Si es un arco
spp, entonces ) (t x y ) (t y son continuas, pero sus derivadas ) (
'
t x y ) (
'
t y son
continuas por partes.


Definicin 4.3 Arco de Jordan.
Si ) ( ) (
2 1
t z t z = solo si
2 1
t t = esto es, si no se intersecta a si mismo, o
autointersecta. Un arco es una curva cerrada si ) ( ) ( z z = y una curva de Jordan si
es cerrada y simple excepto en los extremos y . La (figura 3.0) ilustra algunos de
estos conceptos.

Teorema 4.4 La Curva de Jordan.

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.

4.5 Definicin de Integral.

Sea = t t z z ), ( : , un arco suave, y iv u z f + = ) ( continua en . As la
integral de lnea de f sobre estar dada por:


=

dt t z t z f dz z f ) ( )) ( ( ) (
'


[ ][ ]

+ + =

dt t iy t x t z iv t z u ) ( ) ( )) ( ( )) ( (
' '


[ ] [ ]

+ + =

dt t x t z v t y t z u i dt t y t z v t x t z u ) ( )) ( ( ) ( )) ( ( ) ( )) ( ( ) ( )) ( (
' ' ' '
.


53

Figura 3.0


Teorema 4.6
Sea
0
una curva de Jordan spp tal que su interior contiene las curvas de Jordan spp
disjuntas,
n
,...,
1
, ninguna de las cuales esta contenida en el interior de la otra.
Suponga que ) (z f 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
n k
k
,..., 1 , = . Entonces,

=
=
0
1
) ( ) (

n
k
k
dz z f dz z f .

Demostracin:



Figura 3.1

54
Siempre se podrn encontrar arcos n k L
k
,..., 0 , = , spp disjuntos, que unan a
k
con
1 + k
(donde
n
L 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 ) (z f sobre estas curvas, cada una recorrida
en sentido positivo se anula. Pero la contribucin total de estas dos curvas es
equivalente

al recorrido de
0
en el sentido positivo,
n
,...,
1
, en el sentido negativo lo
(contrario), y
n
L L ,...,
0
en direcciones opuestas. As, las integrales sobre los arcos
k
L
se cancelan, y:

= =
=
0
1
0
1
) ( ) ( ) ( 0

n
k
k
n
k
k
dz z f dz z f dz z f .


Definicin 4.7

Dada la funcin compleja de la variable real ) ( ) ( ) ( t iy t x t z + = continua en [ ] b a, ,
se define la integral definida de ) (t z sobre [ ] b a, como



+ =
b
a
b
a
b
a
dt t y i dt t dt t z ) ( ) ( ) (



4.2.1 Propiedades de la Integral de Lnea

Sea f analtica en el interior y en los puntos de un entorno cerrado simple c ,
orientado positivamente si
0
z es un punto interior a C entonces:

=
c
z z
dz z f
c
z f
0
0
) (
2
1
) (

... 3 , 2 , 1 ;
) (
) (
2
!
) (
1
=

=
+
n dz
a z
z f
i
n
a f
n
n

Luego
). (
0
c In z
Teorema 4.8

[ ] . ) ( ) ( ) ( ) ( )
2 1 2 1

+ = +

z f dz z f dz z f z f i

55

+ =
+
2 1 2 1
, ) ( ) ( ) ( )

dz z f dz z f dz z f ii donde
2 1
+ es la trayectoria que
consiste en recorrer primero
1
seguido de
2
.

=

dz z f dz z f iii ) ( ) ( ) , donde es la trayectoria que recorre el arco en
sentido inverso.

dz z f dz z f iv



) ( ) ( ) , donde definimos dz como la diferencial con respecto
a la longitud de arco, con:

ds dy dx idy dx dz = + = + =
2 2
) ( ) ( .

Demostracin:

Para probar (iv), obsrvese que para cualquier constante real

( ) dt t z t z f dt t z t z f e dz z f e
i i
) ( )) ( ( )) ( )) ( ( Re( ) ( Re
' '

=

,

Ya que la parte real de un nmero complejo no puede exceder su valor absoluto. Si se
escribe

dz z f ) ( en forma polar y [ ]

=

dz z f ) ( arg , la expresin de la izquierda
se reduce al valor absoluto de la integral y se cumple la (i) desigualdad. Las dems
pruebas son consecuencias inmediatas de la definicin de integral de lnea.
Si M z f ) ( en todo punto z de u arco de longitud L. La parte (iv) del teorema
proporciona la desigualdad,
ML dz M dz z f =


) ( .

De la definicin y las propiedades de la integral definida de funciones reales de
variable real, se deduce de forma inmediata, siendo ) ( ), ( ), (
2 1 0
x z x z x z , continas
en ] , [ b a I = :

1.

=
b
a
b
a
dx x z dx x z ) ( ) ( .

2.

+ = +
b
a
b
a
b
a
dx x z dx x z dx x z x z ) ( ) ( )] ( ) ( [
2 1 2 1
.

3.

+ =
b
c
c
a
b
a
dx x z dx x z dx x z ) ( ) ( ) ( .

Tambin se cumple:
56

4.

=
b
a
b
a
dx x z dx x z )] ( Re[ ) ( Re .

5.

=
b
a
b
a
dx x z dx x z ) ( ) ( , C .

Si la funcin compleja de variable real ) (x z verifica ) ( ) (
'
x z x z = , entonces:

6. ) ( ) ( ) ( a z b z dx x z
b
a
=

.

se verifica tambin:

7. dx x z dx x z
b
a
b
a

) ( ) ( .

Demostracin.
Sea

=
b
a
i
e R dx x z ) )( ( ) (

.

entonces

= = =
b
a
i
b
a
i
b
a
dx x z e dx x z e R dx x z ) ( ) ( ) (

.

Si ) ( ) ( ) ( x iv x u x f + = verifica que

b
a
dx x f ) ( es real entonces


=
b
a
b
a
dx x f dx x f )] ( Re[ ) (

La integral

b
a
i
dx x z e ) (

es real por ser igual a R.

Luego

b
a
dx x z ) ( =


=
b
a
i
b
a
i
dx x z e dx x z e )] ( Re[ ) (



Ahora el integrando es una funcin real de variable real y adems:

) ( ) ( )] ( Re[ x z x z e x z e
i i
=


Entonces tenemos que


=

b
a
b
a
i
b
a
dx x z dx x z e dx x z ) ( )] ( Re[ ) (

.

57
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 ) (t z 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

+
+
=
, ) 2 (
, 1
) ( :
i t
it
t z
2 1
, 1 0


t
t

Entonces

=
, 1
,
) (
'
i
t z
2 1
, 1 0


t
t

Con derivadas izquierda y derecha diferentes en 1 = t . Por definicin integrar sobre
cada uno de los intervalos 1 0 t y 2 1 t , se obtiene

i dt t idt xdz + = + =

2
1
) 1 )( 2 (
2
1
1
0
,
Ya que 1 ) ( = t x en 1 0 t y t t x = 2 ) ( en 2 1 t .
Al escoger una parametrizacin diferente para , por ejemplo

+
+
=
, 2
, log 1
) ( :
i
e
t
t i
t z
, 2
, 1
e t e
e t



Se tiene

=
,
1
,
) (
'
e
t
i
t z
, 2
, 1
e t e
e t



Y
58
i dt
e e
t
dt
t
i
xdz
e
e
e
+ =

+ =

2
1 1
2
2
1
.

Por lo tanto, la integral de lnea es independiente de las dos parametrizaciones de .
Este caso se dar siempre y cuando el cambio de parmetros sea derivable por partes,
como puede comprobarse fcilmente al utilizar la frmula del cambio de variable del
clculo integral.
Se obtiene un valor diferente si se integra sobre el segmento de lnea * que une a 1
con i . As,
* it t t z + = ) 1 ( ) ( : , 1 0 t ,
As que


+
= + =
1
0
2
1
) 1 )( 1 (
i
dt i t xdz

.

Este ejemplo muestra que no se puede obtener un teorema similar al teorema
fundamental del clculo para todas las funciones complejas continuas ) (z f .
Consideremos por otra parte nicamente aquellas funciones ) (z f , que son derivadas
de una funcin analtica iV U F + = en alguna regin G que contenga el arco suave
. Entonces, por definicin,


= =

dt t z t z F dz z F dz z f ) ( )) ( ( ) ( ) (
' ' '
.

Con la regla de la cadena obtenemos,


+ = =

dt t z V
dt
d
i dt t z U
dt
d
dt t z F
dt
d
dt t z t z F ))] ( ( [ ))] ( ( [ ] ))] ( ( [ ) ( )) ( (
' ' '
.

Si se aplica el teorema fundamental del clculo a cada una de estas integrales reales, se
obtiene

[ ] [ ] )) ( ( )) ( ( )) ( ( )) ( ( )) ( ( )) ( ( ) (

z F z F z V z V i z U z U dz z f = + =

.

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.

Teorema 4.4 Teorema Fundamental del Clculo.

Si ) (z F es una funcin analtica con derivada continua, ) ( ) (
'
z F z f = en una
regin G que contiene el arco spp = t t z z ), ( : , entonces:

59

)) ( ( )) ( ( ) ( z F z F dz z f .

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:

0 ) ( dz z f ,

ya que )) ( ( )) ( ( Z F z F = .

Ejemplo 9
Sea ) (z P cualquier polinomio, y un arco spp. Muestre que :
(a)

0 ) ( dz z P si e una curva cerrada.

(b)

dz z P ) ( depende solo de los extremos de .

Solucin: todo polinomio ) (z P es continuo en C. Adems, si

0 1
1
1
... ) ( a z a z a z a z P
n
n
n
n
+ + + + =

,

entonces ) (z P ser la derivada del polinomio analtico

z a
z a
n
z a
n
z a
z Q
n
n
n
n
0
2
1 1
1
2
...
1
) ( + + + +
+
=

+
.

De esta forma se satisface el teorema fundamental y se cumple las partes (a) y (b).

Teorema 4.9 Teorema de Green.

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:

= +

qdx pdy dxdy q p
G
y x
) ( .

Ahora, si iv u f + = es analtica sobre y en el interior de una curva de Jordan spp,
reescribimos la integral de f a lo largo de en la forma:


+ + = + + =

udy vdx i vdy udx idy dx iv u dz z f ) )( ( ) ( .

60
Si
'
f es continua en G, entonces las primeras parciales
y x y x
v v u u , , , tambin lo son.
Al aplicar el teorema de Green a las dos integrales de lnea de la derecha, se obtiene:

dxdy v u i dxdy u v dz z f
y x
G
y
G
x
) ( ) ( ) ( + + =

.

Las primeras parciales satisfacen las ecuaciones de Cauchy-Riemann,
y x
v u = y
x y
v u = , por que f es analtica. Por tanto, ambos integrandos del lado derecho son
cero. Como ) (
'
z f es continua en G hemos probado el teorema siguiente.

Teorema 4.10 Teorema de Cauchy.

Sea ) (z f una funcin analtica sobre y en el interior de la curva de jordan spp.
Entonces:

0 ) ( dz z f .
Ejemplo 10
Evalu

=
+
1
2
4
z
z
dz
z
e
.

Solucin: la notacin empleada significa que la integracin se toma sobre el crculo
unitario en su sentido positivo. La funcin 4 ) (
2
+ = z e z f
z
y su derivada
z
e
z
z z
z f
2 2
2
'
) 4 (
4 2
) (
+
+
=
son analticas sobre y en el interior de 1 = z . Como la derivada es analtica, es
continua. Por ende el teorema de Cauchy de aplica y


0
4
1
2
=
+

= z
z
dz
z
e
.


4.4 Formula Integral de cauchy

Sea ) (z f una funcin analtica en una regin simplemente conexa que contenga a la
curva de Jordan spp. Entonces,

=


dz
z
z f
i
f
) (
2
1
) ( ,

Para todos los puntos en el interior de .
61

Demostracin:

Se fija . Entonces, dado 0 < , existe un disco cerrado r z en el interior de
para el cual < ) ( ) ( f z f . (Figura 3.3).

Figura3.3


Como
) (
) (
Z
z f
es analtica en una regin que contiene aquellos puntos sobre y
en el interior de , que satisfacen r z , el teorema de Cauchy para regiones
mltiplemente conexas implica:

.
) (
2
1 ) (
2
1

=

=

r z
dz
z
z f
i
dz
z
z f
i




Pero

= = =

r z r z r z
dz
z
f z f
z
dz
f dz
z
z f

.
) ( ) (
) (
) (


La primera integral del lado derecho ser igual a 2i, entonces:

. 2
) ( ) (
) ( 2
) (

<

= =
dz
z
z f
if dz
z
z f
r z r z


Como puede elegirse arbitrariamente cercano a cero completamos la
demostracin.

Ejemplo 11
Integre
62
dz
z z
z

3
cos


sobre las curvas dadas: (a) 2 : = z , (b) 2 1 : = z y (c) 1 2 : = i z .

Solucin: (a) 2 : = z . Al descomponer la integral por fracciones parciales, se
obtiene
dz
i z
z
dz
i z
z
dz
z
z
dz
z z
z

+
=
+

cos
2
1 cos
2
1 cos cos
3


[ ] ) 1 cosh( 1 2 ) cos(
2
1
) cos(
2
1
) 0 cos( 2 =

= i i i i .

(b) 2 1 : = z . Como ) 1 ( cos
2
+ z z es analtica sobre y en el interior de , la
integral es igual a i 2 veces su valor en 0 = z , esto es,

i dz
z z
z

2
cos
3
=
+

(c) 1 2 : = i z . Como ) ( cos i z z + es analtica sobre y en el interior de , por
fracciones parciales se tiene

+ =
1
1 1
) (
1
z z
i
i z z
,

por lo cual

=
+

) 1 cosh(
2
1
1 2
2
) cos( ) 0 cos(
2
cos
3
i
i
i
i
i
i i dz
z z
z

.

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 .

Teorema 4.11 Teorema de Morera.

Si ) (z f es continua en una regin simplemente conexa G y satisface que

0 ) ( dz z f ,

Para todas las curvas spp cerradas en G, entonces ) (z f es analtica en G.

63


Demostracin:

Elegimos un punto
0
z en G y definimos

=
z
z
d f z F
0
) ( ) ( ,

Para todo z en G. luego entonces, ) (z F esta bien definida por que es independiente
de la trayectoria: si
1
y
2
son curvas spp en G que van de
0
z a z , entonces
=
1
-
2
es una curva spp en G, y


= =
1 2
. ) ( ) ( ) ( 0

d f d f d f

Si f es continua, para cualquier punto z en G y 0 > existe un disco < z
en G talque < ) ( ) ( z f f . Si < h , se tiene


+ +
=

=
+
h z
z
z
z
h z
z
d f
h
d f d f
h h
z F h z F
) (
1
) ( ) (
1 ) ( ) (
0 0
,

Donde la integracin puede tomarse sobre la recta desde z hasta h z + . Como

+
=
h z
z
d
h
z f
z f
) (
) ( ,
Por sustraccin se obtiene

[ ] . ) ( ) (
1
) ( ) (
1
) (
) ( ) (
< =
+

+ + h z
z
h z
z
d z f f
h
d z f f
h
z f
h
z F h z F


Por tanto ) ( ) (
'
z f z F = , as que f e analtica en G. Pero entonces F tiene
derivada analtica, lo que implica que f tambin es analtica en G.

Ejemplo 12
Integre
dz
z z
z

) 1 (
cos
2
.
Sobre (a)
3
1
: = z , (b)
3
1
1 : = z y (c) 2 : = z .

64
Solucin: (a)
3
1
: = z . En este caso ) 1 ( cos z z es analtica sobre y en le interior
de , as que, por el teorema de Cauchy para las derivadas, se obtiene

i
z
z
i dz
z
z
z
z

2
1
cos
2
1
cos
0
2
=

.

(b)
3
1
1 : = z . Ahora que z z cos
2
es analtica sobre y en el interior de , por lo
tanto, la integral es igual a i 2 veces el valor de z z cos
2
en 1 = z , esto es,
dz
z z z
z dz
z
z z

2
2
1 1
1
1
cos
1
cos


[ ] [ ] 1 ) 1 cos( 2 ) 0 ( ) cos( ) 1 cos( 2 = + = i sen o i ,

Por el teorema de Cauchy para las derivadas.
65
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.

Inicialmente en 1545, el matemtico italiano Girolamo Cardano, en un tratado
monumental acerca de la solucin de las ecuaciones cbica y cuadrtica hizo la
introduccin de los nmeros complejos. Ms tarde el matemtico Gauss demostr que
todo polinomio con coeficientes complejos se descompone en factores lineales, es
decir, que tiene todas sus races en C: este es el teorema fundamental del lgebra. Otro
descubrimiento de Gauss, fue que la aritmtica de los nmeros complejos, introducida
formalmente a partir de la relacin 1 = i , tiene una interpretacin geomtrica
sencilla si identificamos los elementos de C con los puntos del plano.

Lo cual me motiva al estudio de las estructuras de los nmeros complejos, su algebra,
sus axiomas de cuerpo, representacin geomtrica y polar sus derivadas e integrales,
etc. La importancia de los nmeros complejos est marcada por sus mltiples
aplicaciones en diversas reas (Matemticas, Fsica, Ingeniera, Tecnologa, etc.
Contribuyendo as al desarrollo de la tecnologa del actual siglo.

En general los nmeros complejos son la base y la estructura matemtica ms
importante para el anlisis y desarrollo de nuevas propuestas tanto cientficas como
intelectuales de la humanidad en el transcurso de los siguientes aos.
























66
BIBLIOGRAFA

[A] Apstol, T. M. Anlisis Matemtico, Reverte, Barcelona, 1994.

[C] Churchill, R. V. Variable Compleja y Aplicaciones, McGraw-Hill, Nueva York,
1992.

[D] Derrick, W. R. Variable Compleja con Aplicaciones, Grupo Editorial
Iberoamrica, Mxico, 1984.

[L] Lipschutz, S. Topologa General, McGraw-Hill, Nueva York, 1970.