Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 1

SESIN 03: LA FUNCIN COMPLEJA

Una vez introducidos los nmeros complejos, el paso siguiente es el estudio de las
funciones denidas sobre estos nmeros: la funcin compleja. En la primera seccin
aprenderemos los conceptos de continuidad y derivabilidad de funciones complejas, que,
como veremos, son formalmentemente anlogas al caso real. En la segunda seccin
aprenderemos el concepto de analiciticidad, que es central en el estudio de las funciones
complejas.
1. Continuidad y derivabilidad
Una funcin , : C C se llama funcin compleja de variable compleja. Si . =
r + i. n = n + i y n = ,(.), entonces, igualando las partes real e imaginaria de
n + i = ,(r + i). obtenemos
n = Re ,(r + i) =: n(r. ) = Im,(r + i) =: (r. )
donde n. : R
2
R.
Ejemplo 1 Consideremos la funcin compleja n = .
2
. Entonces
n + i = (r + i)
2
= (r
2

2
) + 2ir =

n(r. ) = r
2

2
(r. ) = 2r
Nota 1 Para representar grcamente una funcin compleja n = ,(.) necesitamos dos
nmeros reales para jar . y otros dos para jar su imagen n, es decir, un espacio de
cuatro dimensiones. Por ello, una funcin compleja de variable compleja se representa
mediante dos planos coordenados, uno al lado del otro; en el plano de la izquierda se
representa . y en el de la derecha, n.
Como veremos a continuacin, las deniciones de lmite, continuidad y derivada en
C son formalmente anlogas a las deniciones correspondientes en R.
Denicin 1 Sea , una funcin compleja de variable compleja. Se dice que el lmite
de , es ,
0
C cuando . tiende a .
0
, y se representa por
lm
z!z
0
,(.) = ,
0
si, para todo nmero real 0, existe un nmero real o 0 tal que
[. .
0
[ < o = [,(.) ,
0
[ <
Tal como ocurre en R, la denicin de lm
z!z
0
,(.) no precisa que , est denida
en el punto .
0
; basta con que .
0
sea un punto de acumulacin del dominio de denicin
de , para poder calcular , en puntos arbitrariamente prximos a .
0
.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 2
Ejemplo 2 La funcin , : C ~ 0 (:. :], ,(.) = arg .. no tiene lmite sobre el
semieje real negativo ya que, si nos acercamos a .
0
R

= . = r+i C : r < 0. =
0 a lo largo de, por ejemplo, la circunferencia [.[ = [.
0
[ desde arriba (es decir, en
sentido positivo), entonces lm
z!z
0
arg . = :, mientras que si lo hacemos desde abajo
(es decir, en sentido negativo), entonces lm
z!z
0
arg . = :.
Teorema 1 (Propiedades de los lmites) Si lm
z!z
0
,(.) = ,
0
y lm
z!z
0
q(.) = q
0
.
entonces
1. lm
z!z
0
(,(.) q(.)) = ,
0
q
0
2. lm
z!z
0
,(.)q(.) = ,
0
q
0
3. lm
z!z
0
,(.),q(.) = ,
0
,q
0
si q
0
,= 0.
Denicin 2 Decimos que la funcin , : C C es continua en .
0
si
1. ,(.
0
) est denido
2. lm
z!z
0
,(.) = ,(.
0
)
Si la funcin , es continua en todos los puntos de o C, decimos que , es continua
en o.
Ejemplo 3 Sea
,(.) =
r
2
+ r
r +
+ i

2
+
r +
Estudiar si existe lm
z!0
,(.).
Solucin. Si = Im. = 0.
lm
z!0
,(.) = lm
x!0
r
2
+ r
r
= lm
x!0
(r + 1) = 1.
Si, en cambio, r = Re . = 0.
lm
z!0
,(.) = i lm
y!0

2
+

= i.
Como estos lmites son distintos, no existe lm
z!0
,(.).
Teorema 2 Se cumple:
1. La suma, diferencia y producto de funciones continuas son funciones continuas.
El cociente de dos funciones continuas es continuo excepto en los puntos en que
se anula el denominador.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 3
2. La funcin compuesta de dos funciones continuas es continua.
3. Sea , = n +i. La funcin , es continua en . = r +i si y slo si las funciones
n y son continuas en (r. ) R
2
.
4. Si , es continua en o C, entonces [,[ tambin es continua en o. Si, adems,
o es compacto, entonces , es acotada en o (es decir, [,(.)[ _ ` para \. o)
y el mximo de [,[ es alcanzado en o.
Denicin 3 Sea .
0
un punto interior de o C. Diremos que , : o C es derivable
en .
0
si existe el lmite
,
0
(.
0
) := lm
z!0
,(.
0
+ .) ,(.
0
)
.
. (1)
donde . C es tal que .
0
+ . o, en cuyo caso ,
0
(.
0
) es la derivada de , en .
0
.
Proposicin 1 Si , es derivable en .
0
, entonces es continua en .
0
.
Prueba. En efecto:
[,(.
0
+ .) ,(.
0
)[ =

,(.
0
+ .) ,(.
0
)
.
. ,
0
(.
0
). + ,
0
(.
0
).

,(.
0
+ .) ,(.
0
)
.
,
0
(.
0
)

[.[ +[,
0
(.
0
)[ [.[
0 cuando . 0
ya que, por hiptesis, lm
z!0
[(,(.
0
+ .) ,(.
0
)),. ,
0
(.
0
)[ = 0.
A pesar de la semejanza formal entre las deniciones de derivada real y compleja,
sta ltima es mucho ms restrictiva por cuanto el lmite (1) ha de existir (y ser el
mismo) en todas las innitas direcciones que convergen a .
0
.
Por otra parte, toda funcin compleja ,(r + i) = n(r. ) + i(r. ) tiene asoci-
ada una aplicacin real 1 : R
2
R
2
denida por (r. ) (n. ). Sin embargo, la
derivabilidad de 1 en sentido real, es decir, la existencia de la matriz Jacobiana
J
F
(r. ) =

Jn,Jr Jn,J
J,Jr J,J

no nos dice nada, en principio, sobre la derivabilidad compleja de ,. Por ejemplo, la

funcin ,(.) = . no es derivable en ningn punto del plano complejo ya que
lm
h!0
,(. + /) ,(.)
/
= lm
h!0
/
/
=

1 si / es real
1 si / es imaginario
mientras que la aplicacin asociada 1 : (r. ) (r. ) es, por supuesto, derivable y
su derivada 11 : R
2
R
2
coincide con ella misma (debido a la linelidad). El prximo
teorema nos da una relacin entre ambos conceptos de derivabilidad en trminos de las
componentes de la matriz Jacobiana.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 4
Teorema 3 (Condiciones necesarias de derivabilidad) Si la funcin , = n + i es
derivable en .
0
= r
0
+ i
0
, entonces existen las derivadas parciales Jn,Jr, Jn,J,
J,Jr y J,J en (r
0
.
0
) y verican las ecuaciones de Cauchy-Riemann
Jn
Jr
(r
0
.
0
) =
J
J
(r
0
.
0
) y
Jn
J
(r
0
.
0
) =
J
Jr
(r
0
.
0
) (2)
en cuyo caso
,
0
(r
0
+ i
0
) =
Jn
Jr
(r
0
.
0
) + i
J
Jr
(r
0
.
0
) =
1
i

Jn
J
(r
0
.
0
) + i
J
J
(r
0
.
0
)

(3)
Prueba. Sea . = r + i. Vamos a calcular ,
0
(.
0
) en dos casos especiales: aprox-
imndonos a .
0
a lo largo de la recta horizontal . = .
0
+ r = (r
0
+ r) + i
0
y, a
continuacin, a lo largo de la recta vertical . = .
0
+ i = r
0
+ i(
0
+ ).
1. Si . = r ( = 0), entonces
,
0
(.
0
) = lm
z!0
,(.
0
+ .) ,(.
0
)
.
= lm
x!0
(n(r
0
+ r.
0
) n(r
0
.
0
)) + i((r
0
+ r.
0
) (r
0
.
0
))
r
=
Jn
Jr
(r
0
.
0
) + i
J
Jr
(r
0
.
0
).
2. Si . = i (r = 0), entonces
,
0
(.
0
) = lm
z!0
,(.
0
+ .) ,(.
0
)
.
= lm
y!0
(n(r
0
.
0
+ ) n(r
0
.
0
)) + i((r
0
.
0
+ ) (r
0
.
0
))
i
= i
Jn
J
(r
0
.
0
) +
J
J
(r
0
.
0
).
Igualando las partes reales e imaginarias de ambas expresiones de ,
0
(.
0
), se obtienen
las ecuaciones de Cauchy-Riemann.
El cumplimiento de las ecuaciones de Cauchy-Riemann es condicin necesaria (aun-
que, en general, no suciente) para la derivabilidad de una funcin en un punto. Veamos
a continuacin unas condiciones sucientes que, en los casos prcticos, se verican a
menudo.
Teorema 4 (Condiciones sucientes de derivabilidad) Sea , = n + i una funcin
denida en un entorno \ de .
0
= r
0
+ i
0
. Supongamos que las derivadas parciales
de primer orden de n y existen y son continuas en \. Entonces, si esas derivadas
parciales satisfacen las ecuaciones de Cauchy-Riemann en (r
0
.
0
). la derivada ,
0
(.
0
)
existe y viene dada por (3).
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 5
Prueba. Recordemos que una funcin real de clase C
1
en un punto interior de su
dominio de denicin es diferenciable en dicho punto. Por tanto,
n = n(r
0
+ r.
0
+ ) n(r
0
.
0
)
=
Jn
Jr
(r
0
.
0
)r +
Jn
J
(r
0
.
0
) +
1
|(r. )|
y
= (r
0
+ r.
0
+ ) (r
0
.
0
)
=
J
Jr
(r
0
.
0
)r +
J
J
(r
0
.
0
) +
2
|(r. )|
donde
1
=
1
(r. ).
2
=
2
(r. ) y lm
x;y!0
(
1
(r. ).
2
(r. )) =
(0. 0). Luego, poniendo . = r+i y utilizando las ecuaciones de Cauchy-Riemann
en el punto .
0
= (r
0
.
0
). tenemos
n = ,(.
0
+ .) ,(.
0
) = n + i
=

Jn
Jr
(r
0
.
0
)r +
Jn
J
(r
0
.
0
) +
1
p
r
2
+
2

+i

J
Jr
(r
0
.
0
)r +
J
J
(r
0
.
0
) +
2
p
r
2
+
2

=
Jn
Jr
(r
0
.
0
). + i
J
Jr
(r
0
.
0
). + (
1
+ i
2
) [.[ .
Finalmente,
,
0
(.
0
) = lm
z!0
n
.
=
Jn
Jr
(r
0
.
0
) + i
J
Jr
(r
0
.
0
) + lm
z!0
(
1
+ i
2
)
[.[
.
=
Jn
Jr
(r
0
.
0
) + i
J
Jr
(r
0
.
0
)
Ejemplo 4 Probar que ,(.) = 1,. es derivable en C ~ 0 y hallar su derivada.
Solucin. Las partes real e imaginaria de
1
.
=
1
r + i
=
r i
r
2
+
2
son
n(r. ) =
r
r
2
+
2
y (r. ) =

r
2
+
2
respectivamente, que son de clase C
1
en R
2
~ 0. Adems se verican las ecuaciones
de Cauchy-Riemann ya que
Jn
Jr
=
r
2

2
(r
2
+
2
)
2
=
J
J
.
Jn
J
=
2r
(r
2
+
2
)
2
=
J
Jr
.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 6
Por tanto, ,(.) = 1,. es derivable en C ~ 0 y, segn (3),
,
0
(.) =
Jn
Jr
+ i
J
Jr
=
r
2

2
i2r
(r
2
+
2
)
2
=
(r i)
2
(r
2
+
2
)
2
=
.
2
.
2
.
2
=
1
.
2
.
Ejemplo 5 Probar que ,(.) = [.[
2
slo es derivable en el origen.
Solucin. En este caso, n(r. ) = r
2
+
2
y (r. ) = 0 son funciones de clase C
1
en
R
2
, pero
Jn
Jr
(r. ) =
J
J
(r. ) = 2r = 0 = r = 0
y
Jn
J
(r. ) =
J
Jr
(r. ) = 2 = 0 = = 0
de manera que las ecuaciones de Cauchy-Riemann slo se verican en el origen y, en
consecuencia, , no es derivable en C ~ 0. En el origen,
,
0
(0) =
Jn
Jr
(0. 0) + i
J
Jr
(0. 0) = 0.
Ejercicio 1 Demostrar que, si ,(.) = n(r. ) + i(r. ) y n(:. o) := n(: cos o. : sin o).
(:. o) := (: cos o. : sin o) son las partes real e imaginaria, respectivamente, de la
funcin , en coordenadas polares, entonces
Jn
J:
= cos o
Jn
Jr
+ sin o
Jn
J
.
Jn
Jo
= : sin o
Jn
Jr
+ : cos o
Jn
J
. (4)
y, anlogamente,
J
J:
= cos o
J
Jr
+ sin o
J
J
.
J
Jo
= : sin o
J
Jr
+ : cos o
J
J
. (5)
Por tanto, si n y satisfacen las ecuaciones de Cauchy-Riemann (2), las ecuaciones
(5) se transforman en
J
J:
= cos o
Jn
J
+ sin o
Jn
Jr
.
J
Jo
= : sin o
Jn
J
+ : cos o
Jn
Jr
. (6)
Comparando ahora (4) y (6), obtenemos las ecuaciones de Cauchy-Riemann en coor-
denadas polares:
Jn
J:
=
1
:
J
Jo
.
J
J:
=
1
:
Jn
Jo
. (7)
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 7
Teorema 5 (Condiciones sucientes de derivabilidad en coordenadas polares) Sea la
funcin ,(.) = n(:. o) +i(:. o) denida en un entorno \ de .
0
= :
0
(cos o
0
+i sin o
0
) ,=
0. Supongamos que las derivadas parciales de primer orden de n y con respecto a
: y o existen en \ y son continuas en (:
0
. o
0
). Entonces, si esas derivadas parciales
verican las ecuaciones de Cauchy-Riemann (7) en (:
0
. o
0
). la derivada ,
0
(.
0
) existe y
se cumple
,
0
(.
0
) = (cos o
0
i sin o
0
)

Jn
J:
(:
0
. o
0
) + i
J
J:
(:
0
. o
0
)

. (8)
Prueba. Slo queda probar la igualdad (8) la cual se obtiene sustituyendo
Jn
Jr
= cos o
Jn
J:

sin o
:
Jn
Jo
.
J
Jr
= cos o
J
J:

sin o
:
J
Jo
.
en la expresin (3) y utilizando las ecuaciones (7):
,
0
(.) =

cos o
Jn
J:

sin o
:
Jn
Jo

+ i

cos o
J
J:

sin o
:
J
Jo

=

cos o
Jn
J:
+ sin o
J
J:

+ i

cos o
J
J:
sin o
Jn
J:

= (cos o i sin o)

Jn
J:
+ i
J
J:

.
Ejemplo 6 Consideremos la funcin
,(.) =
1
.
=
1
:(cos o + i sin o)
=
cos o i sin o
:
en C ~ 0. Como
n(:. o) =
cos o
:
. (:. o) =
sin o
:
.
las condiciones del teorema anterior se cumplen en todo punto . = :(cos o+i sin o) ,= 0.
Por tanto, ,
0
existe en C ~ 0 y, segn (8),
,
0
(.) = (cos o i sin o)

cos o
:
2
+ i
sin o
:
2

=
1
:
2
(cos o + i sin o)
2
=
1
.
2
.
2. Funciones analticas
Denicin 4 Se dice que una funcin , : C C es analtica (u holomorfa) en el
conjunto abierto C si existe ,
0
(.) para \. .
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 8
Cuando digamos que , es analtica en un conjunto o C que no es abierto, se
entender que , es analtica en algn conjunto abierto que contiene a o. En particular,
, es analtica en el punto .
0
si es analtica en un entorno de .
0
. Es decir: para que una
funcin , sea analtica en un punto .
0
debe ser derivable no slo en dicho punto sino
tambin en todos los puntos de un disco abierto de radio 0 centrado en .
0
.
Ejemplo 7 La funcin ,(.) = [.[
2
no es analtica en ningn punto del plano complejo
ya que slo es derivable en el origen (Ejemplo 4, Sesin 3).
En los siguientes teoremas veremos que las reglas usuales de derivacin son tambin
vlidas para las funciones analticas.
Teorema 6 Sean , y q analticas en el conjunto abierto C. Entonces
1. c, + ,q es analtica en y (c, + ,q)
0
(.) = c,
0
(.) + ,q
0
(.) para \c. , C.
2. ,q es analtica en y (,q)
0
(.) = ,
0
(.)q(.) + ,(.)q
0
(.).
3. Si q(.) ,= 0 para \. , entonces ,,q es analtica en y

,
q

0
(.) =
,
0
(.)q(.) ,(.)q
0
(.)
q(.)
2
.
Teorema 7 (Regla de la cadena) Sean . 1 C conjuntos abiertos, , : C y
q : 1 C funciones analticas y ,() 1. Entonces, la funcin compuesta q , :
C, donde (q ,)(.) = q(,(.)), es analtica y
(q ,)
0
(.) = q
0
(,(.)),
0
(.).
El siguiente teorema es una consecuencia de la regla de la cadena y pone de relieve
la importancia que tienen los dominios (es decir, los conjuntos abiertos y conexos) en
el clculo complejo.
Teorema 8 Sea C abierto y conexo, y sea , : C analtica. Si ,
0
(.) = 0 en
. entonces , es constante en .
Prueba. Sean .
1
. .
2
y queremos probar que ,(.
1
) = ,(.
2
). Sea : [c. /] C
una curva diferenciable que una .
1
con .
2
. es decir, (c) = .
1
. (/) = .
2
. :]c. /[ C
es diferenciable para \t ]c. /[ y (t) : c _ t _ / . Tal curva existe por ser
un dominio. Por la regla de la cadena, d,((t)),dt = ,
0
((t))
0
(t) = 0 ya que, por
hiptesis, ,
0
= 0. Poniendo , = n+i. obtenemos que dn((t)),dt = 0 y d((t)),dt =
0, de donde deducimos que n((t) y ((t) son funciones constantes de t. Por tanto,
,(.
1
) = n((c)) + i((c)) = n((/)) + i((/)) = ,(.
2
).
Denicin 5 Se dice que una funcin es entera si es analtica en todo . C.
Ejemplo 8 Los polinomios son funciones enteras.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 9
Ejemplo 9 En qu puntos del plano complejo son analticas las siguientes funciones?
(c) ,(.) = .
2
.; (/) ,(.) = [.[ .; (c) ,(.) = r
2
+ i
2
.
Solucin. (c) Si . = r + i. entonces
,(.) = (r + i)
2
(r i) = (r + i)(r
2
+
2
) = (r
3
+ r
2
) + i(r
2
+
3
)
= : n(r. ) + i(r. ).
de manera que
n(r. ) = r
3
+ r
2
C
1
(R
2
) y (r. ) = r
2
+
3
C
1
(R
2
).
Luego el cumplimiento de las ecuaciones de Cauchy-Riemann
Jn
Jr
=
J
J
.
Jn
J
=
J
Jr
.
en un entorno de .
0
= r
0
+ i
0
es condicin suciente para que ,(.) sea analtica en
.
0
. De
Jn
Jr
= 3r
2
+
2
y
J
J
= r
2
+ 3
2
y
Jn
Jr
=
J
J
= r
2
=
2
= r =
concluimos que las ecuaciones de Cauchy-Riemann no se pueden cumplir en ningn
abierto del plano complejo, por lo que ,(.) no es analtica en ningn punto.
(/) Procedamos anlogamente con
,(.) = [.[ . =
p
r
2
+
2
(r i).
Aqu
n(r. ) =
p
r
2
+
2
r C
1
(R
2
) y (r. ) =
p
r
2
+
2
C
1
(R
2
).
de manera que
Jn
Jr
=
2r
2
+
2
(r
2
+
2
)
1=2
y
J
J
=
r
2
+ 2
2
(r
2
+
2
)
1=2
y, por tanto,
Jn
Jr
=
J
J
= r
2
=
2
= r = = 0.
Luego ,(.) = [.[ . no es analtica en C.
(c) Aqu n(r. ) = r
2
C
1
(R
2
) y (r. ) =
2
C
1
(R
2
). La primera ecuacin de
Cauchy-Riemann,
Jn
Jr
=
J
J
= 2r = 2
slo se verifca en el origen. Luego ,(.) = r
2
+ i
2
no es analtica en C.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 10
Denicin 6 Si una funcin no es analtica en .
0
pero es analtica en al menos un
punto de todo entorno de .
0
, se dice entonces que .
0
es una singularidad (o punto
singular) de la funcin.
Ejemplo 10 Toda funcin racional tiene singularidades en las races del denominador;
por ejemplo, la funcin ,(.) = 1,. tiene una singularidad en el origen. En cambio, la
funcin ,(.) = [.[
2
no tiene ninguna singularidad porque no es analtica en ningn
punto del plano complejo.
3. Problemas propuestos
1. Separar las sigueintes funciones en partes real e imaginaria:
(c) ,(.) = 2.
2
3i.. (/) ,(.) = . +
1
.
. (c) ,(.) =
1 .
1 + .
.
2. Dada la funcin compleja ,(.) = .
2
, determinar la imagen de la recta que une
los puntos 1 = 2 + i y Q = 1 3i.
3. Determinar la imagen de (i ) la hiprbola r = 1 bajo la funcin ,(.) = .
2
. (ii )
el crculo r
2
+
2
2r = 0 bajo la funcin ,(.) = 1,..
4. Un punto 1 se mueve en sentido positivo y velocidad angular constante sobre el
crculo de radio 1 centrado en el origen. Mostrar que su imagen bajo la trans-
formacin ,(.) = .
3
se mueve asimismo sobre el crculo unitario centrado en el
origen con una velocidad angular tres veces mayor (es decir, mientras 1 completa
una vuelta, ,(1) completa tres vueltas).
5. Demostrar que
lm
z!i
3.
4
2.
3
+ 8.
2
2. + 5
. i
= 4 + 4i.
6. Demostrar que la funcin ,(.) = r
2
+ i
3
no es analtica en ningn punto del
plano complejo.
7. Determinar el dominio de analiticidad de la funcin
,(.) =
.
8
+ .
4
+ 2
(. 1)
3
(3. + 2)
2
.
4. Lecturas adicionales
1. J.M. Amig: Fundamentos de Matemticas. Servicios de Reprografa de la Uni-
versidad Miguel Hernndez, Elche, 2001.
2. J.E. Marsden, M.J. Homan: Basic Complex Analysis. W.H. Freeman, New York,
1999.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 11
3. M.R. Spiegel: Variable Compleja. McGraw-Hill, Mjico, 2000.
4. A.D. Wunsh: Variable Compleja con Aplicaciones. Addison-Wesley, Mjico, 1999.