Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CAPTULO 2
Funciones complejas
58
Funciones complejas 59
60
f(z). Pero por otra parte se puede tomar como el resultado de aplicar las
funciones u y v que estn definidas en un subconjunto de 2, y desde este
punto de vista f podra considerarse prxima a las funciones definidas en 2.
Es precisamente esta situacin la que hace que las funciones complejas
tengan propiedades diferentes a las de las funciones reales.
Funciones complejas 61
f(z) =
P( z )
.
Q( z )
f(z) =
2z 2 + 1
z2 + 1
est definida para todo valor complejo del plano salvo para z = i y z = i.
62
1. Dados z, w C, e z + w = e z e w .
2. Si z = x + iy, e z = e x , e iy = 1.
3.
e z = 1 si y slo si z = 2k i, siendo k Z.
4. e-z =
( ez )
5. ( e z ) = enz.
Observaciones. Las propiedades anteriores indican que la funcin
exponencial compleja mantiene en general las propiedades de la funcin
exponencial real. Existen sin embargo dos diferencias importantes entre ellas
que se presentan a continuacin.
La primera diferencia es que la funcin exponencial real es una funcin
inyectiva, que est definida en todos los puntos de la recta real y toma todos
los valores comprendidos en el intervalo (0, ). La funcin exponencial
compleja est definida para todo punto del plano complejo C pero no es una
funcin inyectiva, puesto que para todo z se tiene que e z + 2i = e z . Es por tanto
una funcin peridica, de periodo 2i, que se repite en bandas horizontales
del plano complejo, de amplitud 2. Esto es algo que es necesario tener en
cuenta si se quiere estudiar la existencia de la funcin inversa.
La segunda diferencia entre las funciones exponencial real y compleja es
que la funcin exponencial compleja puede tomar valores reales negativos, en
contra de lo que sucede en el caso real. De hecho se puede demostrar a travs
de la definicin de logaritmo complejo que puede tomar cualquier valor
complejo salvo el 0. Esto es razonable si se tiene en cuenta que el mdulo de
Funciones complejas 63
ez es ex, ez = ex, que toma todos los posibles valores reales positivos, salvo
el valor cero, y el argumento de ez es la parte imaginaria de z. Se comprobar
este hecho de manera formal cuando se haya definido el logaritmo complejo.
e ix = cos x isen x.
ix ix
e .
sen x = e
2i
cos z =
e iz + e iz
2
sen z =
e iz e iz
.
2i
Propiedades
Estas funciones as definidas conservan, para todo z, w C, las
siguientes propiedades:
1. cos ( z) = cos (z), sen (z) = sen (z)
2. cos2 (z) + sen2 (z) = 1
3. sen (z + w) = sen (z)cos (w) + sen (w)cos (z)
cos (z + w) = cos (z)cos (w) sen (z)sen (w).
64
x x
e ,
sen (ix) = e
2i
Funciones complejas 65
z z
senh z = e e .
2
Propiedades
Las funciones hiperblicas se comportan tambin de forma anloga a las
correspondientes reales. Se tienen, para todo z, w C, las siguientes
propiedades:
1. cosh (z) = cosh (z), senh (z) = senh (z).
2. cosh2 (z) senh2 (z) = 1.
3. senh (z + w) = senh (z) cosh (w) + senh (w) cosh (z).
cosh (z + w) = cosh (z) cosh (w) + senh (z) senh (w).
4. senh z = senh x cos y + icosh x sen y.
66
c) log (1+ i) = ln
Funciones complejas 67
2 + i( /4 + 2k), k Z
2. log (
z
) = log z log w.
w
nmero complejo w 0, existe otro nmero complejo, z*, tal que e z = w . Basta
tomar z* = ln w + iarg w. Se tiene entonces:
68
Funciones complejas 69
70
Ejemplos resueltos
Ejemplo 2.1.1: Estudiar si la funcin
f(z) = 2x3 + 2xy 6xy2 1 + i(6x2y + x2 y2 2y3)
es un polinomio complejo.
La funcin f(z) se puede expresar como
f(z) = 2(x3 + i3x2y 3xy2 iy3) + i(x2 y2 + 2xy) 1 = 2z3 + iz2 1.
Se tiene entonces que f(z) es un polinomio complejo de grado tres.
Ejemplo 2.1.2.: Estudiar el dominio de definicin de las siguientes
funciones
a) f(z) =
b) g(z) =
c) h(z) =
z2 + 1
z 3 iz 2 z + i
tan z
z2 + 1
z 2 + 2z + 3
cosh z
Funciones complejas 71
1 iz
( e e iz ) = 2 eiz e iz = 4i .
2i
72
m2 4im 1 = 0,
que tiene como solucin
m = (2 3 )i.
Deshaciendo el cambio
eiz = (2 3 )i e y (cos x + isen x) = (2
Se tiene entonces que e y = (2
entonces y = ln (2
3 ), x =
3 )i.
3 ) , con lo que e y = (2
3) y
z=
+ 2k + iln (2
2
3 ), k Z
Procedimiento 2:
Se procede de la misma forma que en el procedimiento 1 hasta obtener la
relacin
eiz = (2
3 )i
3 ) + i(
z=
+ 2k + iln (2
3 ), k Z.
Funciones complejas 73
74
Ejercicios
2.1.
Calcular:
a. sen 2i.
b. cos 2i.
c. sh 2i.
d. ch 2i.
e. tg (1 + 2i).
2.2.
2.3.
2 )).
Funciones complejas 75
b. 1/(1 z).
c. 1/z3.
d. z/(3z + 2).
2.4.
Demostrar que:
a. cos (iz) = senh z.
b. cosh (iz) = cos z.
c. sen (iz) = isenh z.
d. senh (iz) = isen z.
2.5.
76
z z0
z z0
Funciones complejas 77
2.2.3. Continuidad
Una funcin compleja f(z) es continua en un punto z0 si est definida en z0
y en puntos prximos a z0 toma valores prximos a f(z0 ) .
La definicin formal es la siguiente:
Definicin 2.2.4:
La funcin f(z) es continua en un punto z0 si para todo > 0 existe un >
0 tal que siempre que z z 0 < se verifica que f(z) f (z0 ) < .
La funcin f(z) es continua en un conjunto G del plano complejo si f(z) es
continua en todos los puntos de G.
Es importante subrayar que, como sucede en el caso de funciones
definidas en 2, para que una funcin f(z) sea continua en un punto z0 hace
falta que se verifiquen las tres condiciones siguientes:
1) La funcin debe estar definida en z0 , es decir, debe existir f(z 0 ).
2) Debe existir el lm f(z).
z z0
z z0
78
Ejemplos resueltos
|z|
z +1
; b) lm
;
2
z i
z 0 z
Funciones complejas 79
| z |2
.
z
z 0
c) lm
i +1
z +1
=
2
z i 2
a) lm
|z|
b) lm
= lm
z 0 z
z 0
x2 + y 2
= lm
x + iy
z 0
x iy
x2 + y 2
Si se toman los lmites direccionales, es decir, a travs del eje real y del
eje imaginario, se obtienen respectivamente los valores 1 y i. Se tiene
entonces que los lmites direccionales son diferentes y por tanto no existe
lmite.
c)
| z |2
| z |2 z
| z |2 z
= lm
= lm
= lm z = 0.
z 0 z
z 0
z 0 | z |2
z 0
zz
lm
1
z2
1
z2
1
z
lm
z 0
1
z2
|<
1
M2
lm
1
z2
=0
< .
1
M
tal
80
1
z2
> M.
a) f(z) =
z +1
es continua en z = i porque:
2
i +1
.
2
i)
ii)
Existe lm
iii)
i +1
z +1
z +1
, ya que lm
=
.
2
2
2
z i
z i
i +1
z +1
= lm
.
2
2
z i
b) f(z) =
|z|
no es continua en z = 0 porque f no est definida en 0, y
z
|z|
.
z 0 z
tampoco existe lm
c) f(z) =
| z |2
no es continua en z = 0 porque f no est definida en 0,
z
| z |2
= 0.
z 0 z
aunque existe lm
z2
d) La funcin f (z) =
z
0
verifican las tres condiciones, i) existe f*(0) = 0, ii) existe el lmite y iii) el lmite
| z |2
.
z 0 z
Funciones complejas 81
Ejercicios
2.6.
Calcular:
a.
b.
2.8.
iz
.
z 2i 3
lim
lm (3x i5y2).
z 2i
c.
3z + 2i
.
z 2i 2z + 3
d.
iz + 2
.
z 2i 2z + 3
lm
lm
Calcular:
3z + 2i
.
z 1 z - 1
a. lm
b.
2.9.
2z + 2i
.
z 1 z + 1
lm
Calcular:
a.
3z + 2i
.
z z - 1
b.
3z 2 + 2i
.
z -1
z
c.
lm
lm
lm
3z + 2i
z2 - 1
82
a. f(z) =
b. f(z) =
3z + 2i
.
z -1
3 z + 2i
e z 1
c. f(z) = sen (
3z + 2i
).
z -1
Funciones complejas 83
f es derivable en z 0 si existe:
f ( z ) f ( z0 )
f ( z0 + h ) f ( z0 )
= lim
= f(z 0 ), z, h C.
z z0
h
h 0
z z0
lim
f ( z ) f ( z0 )
z z0
z z0
f(z 0 ) = lim
Definicin 2.3.2:
La funcin f es derivable en un conjunto S del plano C si f es derivable
en todos los puntos de S.
Ejemplos de funciones derivables
a) Las funciones constantes son derivables en todo punto del plano
complejo. As, la funcin f(z) = 2 + i es derivable en C y su derivada es 0.
b) La funcin f(z) = z es tambin derivable en C y su derivada es 1.
c) Lo mismo sucede con la funcin f(z) = zn, que, como en el caso real,
tiene como derivada f(z ) = nzn-1.
Ejemplos de funciones que no son derivables
a) La funcin f(z) = z = x iy no es derivable en ningn punto, ya que
f ( z0 + h ) f ( z0 )
z + h z0
h
= lim 0
= lim , que no existe pues es
h
h
h 0
h 0
h 0 h
lim
84
|z+h||z|
| z + h |2 | z |2
= lim
= lim ( z + h )( z + h ) z z =
h
h 0
h 0 h(| z + h | + | z |)
h 0 h(| z + h | + | z |)
lim
h z + z h + hh =
h 0 h(| z + h | + | z |)
lim
z
h
hz
)
+
+
h 0 | z + h | + | z | | z + h | + | z | h(| z + h | + | z |)
lim (
| h |2 0
| h |2 h
f(0) = lim
= lim
= lim h = 0.
h
h 0
h 0 | h |2
h 0
Sin embargo, si z 0 se tiene que
| z + h |2 | z |2
lim
h
h 0
lim
h 0
(z+
h
h
( z + h )( z + h ) z z =
h z + z h + hh =
lim
h 0
h 0
h
h
lim
h ) , que no existe.
Funciones complejas 85
2.3.2. Propiedades
La derivada compleja conserva las propiedades de la derivada en .
Dadas dos funciones complejas f(z) y g(z) derivables en un punto z 0 , y dado un
nmero complejo c cualquiera, se verifican las siguientes propiedades:
1) Las funciones f(z) y g(z) son continuas en z0 .
2) Las funciones f(z) + g(z), f(z) g(z) y cf(z) son derivables en el punto
z 0 y sus derivadas son respectivamente:
(f(z) + g(z)) = f(z 0 ) + g(z 0 ),
(f(z) g(z)) = f(z0 ) g(z 0 ) + f(z 0 ) g(z 0 ),
(c f(z)) = c f(z 0 ).
3) Si g(z 0 ) 0 en un entorno de z0 , f / g es derivable en z0 y su derivada
'
f ( z0 )g ( z0 ) f ( z0 )g ( z0 )
f
es (z0 ) =
g
( g ( z0 )) 2
4) Si f(z) es derivable en z 0 y g(z) es derivable en f(z 0 ), la composicin
de funciones h(z) = g(f(z)) es derivable en z0 y h(z 0 ) = g(f(z 0 )) f(z 0 ).
86
derivable.
Sea f derivable en z0 = x 0 + iy 0 . Entonces existe f(z0 ), es decir, existe
f ( z0 + h ) f ( z0 )
h
h 0
f(z0 ) = lim
El hecho de que exista el lmite anterior significa que los lmites iterados
deben tambin existir y su valor debe ser f(z0 ). Esto significa que, si h es un
numero real
f ( z0 + h ) f ( z0 )
=
h
h 0
f(z0 ) = lim
v ( x 0 + h, y 0 ) v ( x 0 , y 0 )
u( x 0 + h , y 0 ) u( x 0 , y 0 )
= lim
+i
=
h
h
h 0
= u x (x 0 , y 0 ) + iv x (x 0 , y 0 ).
Por otra parte si el incremento de la variable z es un nmero imaginario
puro, ih, entonces:
v( x0 , y 0 + h ) v( x0 , y 0 )
u( x 0 , y 0 + h ) u( x 0 , y 0 )
f(z0 ) = lim
+i
=
ih
ih
h 0
= v y (x 0 , y 0 ) iu y (x 0 , y 0 ).
Se tiene entonces que
u x (x 0 , y 0 ) + iv x (x 0 , y 0 ) = v y (x 0 , y 0 ) iu y (x 0 , y 0 ),
y por tanto, si existe la derivada de f en z0 se deben verificar entre u y v las
siguientes condiciones, que se conocen como condiciones de Cauchy
Riemann:
Definicin 2.3.2:
Funciones complejas 87
u y (x, y) = 2y;
v x (x, y) = 0;
v y (x, y) = 0.
88
z
Sea f(z) =
z
h
f(0 + h) f(0)
= lim , no existe.
lim
h
h 0
h 0 h
Sin embargo, f(z) verifica las condiciones de Cauchy - Riemann en z = 0.
En efecto, separando su parte real y su parte imaginaria
f(z) =
x 3 3 xy 2
x2 + y 2
+ i
y 3 3 yx 2
x2 + y 2
u x (0, 0) = lim
v ( 0, h ) v ( 0,0 )
h
= lim
= 1 = u x (0, 0)
h
h 0
h 0 h
v y (0, 0) = lim
Funciones complejas 89
u y = ex sen y
v y = ex cos y.
90
iz iz
e , se tiene:
Sucede lo mismo en el caso del seno. Como sen z = e
2i
(sen z) =
iz + iz
i( e iz + e iz )
e
= e
= cos z.
2i
2
(senh z) = cosh z
Funciones complejas 91
y
x 2 + y 2 + iarctg .
x
Log z = ln
ux =
vx =
x2 + y 2
uy =
x2 + y 2
y
x
y
1+
x
y
2
x +y
vy =
1
x
y
1+
x
x
2
x + y2
uy = vx .
f(z) = u x + iv x =
x
2
x +y
y
2
x +y
z
z.z
1
.
z
Ejemplos resueltos
Ejemplo 2.3.1: Estudiar la derivabilidad de la funcin: f(z) = Re(z).
Sea h = z = x + iy; aplicando la definicin de derivada se obtiene:
f ( z0 + h ) f ( z0 )
x
x + x x
= lim
= lim
h
h
h 0
h 0
h 0 x + iy
f(z0 ) = lim
92
f ( z0 + h ) f ( z0 )
y
y + y y
= lim
= lim
h
h
h 0
h 0
h 0 x + iy
f(z0 ) = lim
c)
Ejemplo 2.3.4: Estudiar los puntos en los que la funcin f(z) = Log (z i)
es derivable, y calcular su derivada en los puntos en los que exista.
La funcin es derivable en C \ {z: z = x + i, x 0}. Su derivada en estos
puntos es f(z) =
1
.
zi
Log ( z + 4 )
z2 + i
Funciones complejas 93
1 i
La funcin es derivable en C \ z =
{z : z , z 4} y su
derivada es
f(z) =
z 2 + i 2z( z + 4 )Log ( z + 4 )
( z 2 + i )2 ( z + 4 )
Ejercicios
2.11. Comprobar los valores de la derivada de f(z) en los puntos indicados:
a. f(z) = (z2 i)2 en 3 2i vale 44 196i.
b. f(z) = 1/(z3) en 3i vale 1/27.
c. f(z) =
z+i
en i vale i/2.
zi
b. f(z) =
1
.
z
c. f(z) =
z+3
.
z5
d. f(z) =
4
( 4 z )2 + i
94
2.16.
xy ( x + iy )
2
x +y
si z 0, f(0) = 0, no es
Funciones complejas 95
Definicin 2.4.2:
f(z) es holomorfa en un conjunto A si es holomorfa en un abierto G que
contiene a A.
Definicin 2.4.3:
Una funcin f(z) es holomorfa en un punto z 0 si es derivable en todos
los puntos de un entorno de z0 , es decir, si existe un disco de centro z 0 y radio
r, B r (z0 ), r > 0, tal que f(z) es derivable en todos sus puntos.
Definicin 2.4.4:
f(z) es una funcin entera si es holomorfa en todo el plano complejo C.
La funcin f(z) =
1
es derivable en todo el plano complejo salvo z = 0. Por
z
P( z )
, al estar formadas por cocientes de
Q( z )
96
Las funciones ez, sen z y cos z son holomorfas en todo C y por tanto son
funciones enteras.
La funcin log z = lnz + i(Arg z + 2k), Arg z [, ), es holomorfa
en C \ {z: z , z 0}.
Funciones complejas 97
b)
c)
Estos resultados se obtienen sin mas que comprobar que las condiciones
que se dan en las hiptesis de a), b) y c) implican que la derivada debe de ser
cero en todo punto de G, y por tanto f(z) es constante en G.
Ejemplos resueltos
Ejemplo 2.4.1: Estudiar la holomorfa de f(z) = e
y calcular el valor de la
f(z) = e
2
2
2
2
= e x + y , por lo que u(x, y) = e x + y y v(x, y) = 0
2
2
2
2
u x = 2x e x + y distinto de v x = 0, salvo si x = 0; u y = 2y e x + y distinto
98
Ejercicios
2.17. Demostrar que si f(z) = u(x, y) + iv(x, y) es una funcin holomorfa en
un conjunto abierto G, las siguientes implicaciones son ciertas:
a. u(x, y) constante en G f(z) constante en G.
b. v(x, y) constante en G f(z) constante en G.
c. |f(z)| constante en G f(z) constante en G.
2.18. Estudiar la holomorfa de las siguientes funciones complejas, y
calcular en valor de la derivada en z = x + iy, si existe:
a. f(z) = (z + i)( z 2)2.
b. f(z) = 1/(1 z).
c. f(z) = (z + z )2/(z z ).
2.19. Sea f(z) = u(x, y) + iv(x, y) una funcin holomorfa en un conjunto
abierto G. Estudiar si son vlidas las siguientes expresiones:
a. f(z) = u z + iv z .
b. f(z) = u x + iv x .
c. f(z) = u y + iv y .
d. f(z) = u z + iv z .
Funciones complejas 99
2h
x
2h
y
= h xx + h yy = 0.
100
= v xy
u
u y = v x yy
v xx = u yx
complejo.
As, por ejemplo, la funcin f(z) = z2 = x2 y2 + 2xyi es holomorfa en C .
Por tanto, la funcin v = 2xy es la armnica conjugada de u = x2 y2.
Ejemplos resueltos
Ejemplo 2.5.1: Dada la funcin u(x, y) = y3 3x2y, comprobar que es
armnica en C y obtener su armnica conjugada v(x, y).
102
u x dy + (x) =
2 3
2
y + i(x2y x3), calcular la
3
3
derivada en los puntos en los que exista. Se puede construir una funcin f*(z)
holomorfa en C tal que Im (f*(z)) = x2y
2 3
x ? Justificar la respuesta y en caso
3
2 3
x pueda ser la parte imaginaria de
3
una funcin holomorfa hay que ver en primer lugar si v(x, y) es armnica.
Sus derivadas parciales segundas son v xx = 2y 4x y v yy = 0; por tanto,
v xx + v yy = 2y 4x 0 si y 2x por lo que v(x, y) no es armnica en ningn
conjunto abierto y no puede ser entonces la parte imaginaria de ninguna
funcin holomorfa.
Ejercicios
2.20. Comprobar que las funciones u(x, y) = excos y, v(x, y) = exsen y son
armnicas y que v es la armnica conjugada de u.
2.21. Demostrar que si v(x, y) es armnica conjugada de u(x, y), y si u(x, y)
es armnica conjugada de v(x, y), entonces f(z) = u(x, y) + iv(x, y) es
una funcin constante.
2.22. Demostrar que si u es armnica en G, y G es un conjunto
suficientemente bueno (simplemente conexo), u es la parte real de una
funcin holomorfa.
104
2.6. EJERCICIOS
2.23. Calcular la parte real y la parte imaginaria de f(z) siendo f(z) igual a:
a. z2 3z + 5.
b. z + 1/z, con z distinto de cero.
c. z3 + 2.
d. 1/(1 z).
2.24. Expresar en forma binmica:
a. e1+ i .
b.
i
e 4
c.
i
e 3
d. e1+ i .
2.25. Expresar en forma binmica:
a. cos (2 i).
b. sen i.
c. cos i.
d. tg (1 + i).
e. senh i.
f. cosh i.
2.26. Expresar en forma binmica:
a. log (1 + i).
b. Log (ei).
c. Log (1 i).
d. log (ei).
e. log (1 i).
2.27. Resolver las siguientes ecuaciones:
a. ez = 3.
b. ez = 2.
c. ez = 1 +
3 i.
d. e3 zi 1 = 1.
e. log z = e + i.
2.28. Resolver las siguientes ecuaciones:
a. cosh z = 2.
b. cos z = 2.
c. senh z = 0.
d. cos z = i.
e. sen z = i.
2.29. Comprobar que al resolver la ecuacin cos z = sen z se obtiene z =
+ k con k Z.
4
106
1
+ k) con k Z.
2
a. f(z) =
Log ( z + 1)
b. g(z) =
z 2 + 4i
z 1
2
z + iz 4 4i
3 i)3/2.
d. ii.
e. 1i.
f. i1.
g. (2i)i.
2.33. Demostrar que, para z = x + iy,
a. cosh z2 = senh2 x + cos2 y.
b. senh z2 = senh2 x + sen2 y.
2.34. Demostrar que Log (1 + i)2 = 2 Log (1 + i) pero que Log (1 + i)2 es
distinto de 2Log (1 + i).
2.35. Demostrar que se satisfacen las siguientes igualdades:
a. sen2 z + cos2 z = 1.
b. sen( z) = cos z.
2
c. cosh2 z senh2 z = 1.
2.36. Estudiar si existen los siguientes lmites:
a. lim z0 z z .
z+z
b. lim z0
( z z )3
z+z
c. lim z
2z 2 + 2z + 5
3z 2 + 5z 3
c. f 3 (z) =
d. f 4 (z) =
z4 1
z3 + z
z4 1
z3 + z
si z i, f( i) = 2i.
a. f(z) =
2z + 1
.
cos z 2
b. f(z) = e 2z /( z 1) .
108
z0
z=0
d. f(z) =
2z + 1
e z + e z
110