Professional Documents
Culture Documents
G ARMENDIA
CAPTULO 2
Funciones complejas
considerar como una funcin que depende de las variables reales x e y. Pero
funcin de una nica variable, la variable compleja z. Es por ello que una
funcin compleja se puede considerar que est a medio camino entre las
funciones de una variable real y las de dos variables reales, y esto hace posible
que para una funcin compleja se puedan definir conceptos que no es posible
de una funcin .
real, el hecho de que el lmite se tome en el plano complejo hace que las
condiciones en las que existe la derivada sean ms fuertes que en el caso real.
Esta es la razn por la que una funcin compleja que sea derivable en un
en el caso real.
Captulos 4 y 5.
Definicin 2.1.1:
Definicin 2.1.2:
funcin est definida, y se llama imagen de f al conjunto formado por todos los
compleja por una parte se puede suponer similar a una funcin de una variable
f(z). Pero por otra parte se puede tomar como el resultado de aplicar las
2.1.2.1. Polinomios
Definicin 2.1.3:
polinomio complejo. Un ejemplo es la funcin f(z) = (x2 + y2) + i(x2 y2), que no
complejo.
complejo.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 61
Definicin 2.1.4:
P( z )
f(z) = .
Q( z )
2z 2 + 1
f(z) =
z2 + 1
est definida para todo valor complejo del plano salvo para z = i y z = i.
Definicin 2.1.5:
Propiedades
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.
1
4. e-z = ( ez ) .
n
5. ( e z ) = enz.
exponencial real. Existen sin embargo dos diferencias importantes entre ellas
inyectiva, que est definida en todos los puntos de la recta real y toma todos
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
ez es ex, ez = ex, que toma todos los posibles valores reales positivos, salvo
ix + ix ix ix
cos x = e e y sen x = e e .
2 2i
Definicin 2.1.6:
e iz + e iz e iz e iz
cos z = y sen z = .
2 2i
Propiedades
siguientes propiedades:
funciones reales en que pueden tomar valores complejos cuyo mdulo no est
acotado, al contrario del seno y el coseno reales, cuyos valores estn acotados
x + x x x
cos (ix) = e e y sen (ix) = e e ,
2 2i
complejos asociados son mayores o iguales que cualquier valor real que
fijemos.
Las funciones sen z y cos z slo toman el valor cero en puntos de la recta
real; es decir, los ceros de las funciones complejas sen z y cos z coinciden con
As,
tg z = sen z / cos z,
Definicin 2.1.7:
como:
z + z z z
cosh z = e e y senh z = e e .
2 2
Propiedades
propiedades:
inmediata que la funcin senh z toma el valor cero en los puntos zn = ni,
denominador.
de funcin, sino que va a ser una funcin multvoca, tal que a cada nmero
Definicin 2.1.8:
Dado z = x + iy C, z 0, se define:
complejos, que tienen la misma parte real pero su parte imaginaria difiere entre
Propiedades
z
2. log ( ) = log z log w.
w
z, cualquiera que sea el valor de z, Log (exp z) puede tomar un valor distinto de
nmero complejo w 0, existe otro nmero complejo, z*, tal que e z = w . Basta
e z = e ln |w | (cos(arg w) + isen(arg w)) = w(cos(arg w) + isen(arg w)) = w.
Potencias complejas
Definicin 2.1.9:
cd = exp (dlog c ).
exponente.
Definicin 2.1.10:
se define como
Definicin 2.1.11:
se define como
univaluada.
70 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
Ejemplos resueltos
es un polinomio complejo.
funciones
z2 + 1
a) f(z) =
z 3 iz 2 z + i
tan z
b) g(z) =
z2 + 1
z 2 + 2z + 3
c) h(z) =
cosh z
todo el plano complejo salvo en los ceros del polinomio que est en el
puntos en los que no est definida la tangente y en los ceros del denominador.
n Z.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 71
salvo los puntos en los que se anula el denominador; est definida por tanto en
z = ln 2 + (2k + 1)i, k Z.
Procedimiento 1:
1 iz
sen z = 2 ( e e iz ) = 2 eiz e iz = 4i .
2i
m2 4im 1 = 0,
m = (2 3 )i.
Deshaciendo el cambio
entonces y = ln (2 3 ), x = + 2k. Se puede asegurar pues que los
2
z= + 2k + iln (2 3 ), k Z
2
Procedimiento 2:
relacin
eiz = (2 3 )i
iz = ln (2 3 ) + i( + 2k ) , con lo que se tiene
2
z= + 2k + iln (2 3 ), k Z.
2
se tiene
De forma anloga
del seno y del modulo del coseno complejos depende de la parte imaginaria de
acotadas en C.
Ejemplo 2.1.6: Estudiar los valores que toman las siguientes funciones
valor
f(z) = exp (z(ln 2 + i/4)) = exp (xln 2 (/4)y + i(x/4 + yln 2 )).
Ejercicios
2.1. Calcular:
a. sen 2i.
b. cos 2i.
c. sh 2i.
d. ch 2i.
e. tg (1 + 2i).
a. cos z = 0.
b. sen z = i.
c. sh z = 1.
d. ch z = 0.
2.3. Calcular f(3 + 6i), f(2i) y f(5 + 3i), siendo f(z) igual a:
a. z2 2z.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 75
b. 1/(1 z).
c. 1/z3.
d. z/(3z + 2).
Definicin 2.2.1:
lm f(z) = w 0 si para todo > 0 existe un > 0 tal que siempre que 0 <
z z0
Definicin 2.2.2:
lm f(z) = w si para todo > 0 existe un nmero real M > 0 tal que
z
Definicin 2.2.3:
lm f(z) = si para todo nmero real M, M > 0, existe un > 0 tal que
z z0
2.2.3. Continuidad
Definicin 2.2.4:
0 tal que siempre que z z 0 < se verifica que f(z) f (z0 ) < .
definidas en 2, para que una funcin f(z) sea continua en un punto z0 hace
lm f(z) = f(z0 ).
z z0
continua en z0 .
denominador, cos z.
Log z0 = ln z0 + iArg (z 0 ) = ln z 0 i.
Los puntos z1 que estn prximos a z 0 por debajo del eje real son tales
Sin embargo, los puntos z 2 que estn prximos a z0 por encima del eje
real son tales que Log z 2 = ln z2 + iArg (z 2 ), donde Arg (z2 ) se aproxima a .
Si se toma otra rama del logaritmo, por ejemplo, Log z = ln z + iArg (z),
Arg(z) [0, 2), la funcin Log z es continua en todo C menos los nmeros
Ejemplos resueltos
z +1 |z|
Ejemplo 2.2.1: Calcular los siguientes lmites: a) lm ; b) lm ;
z i 2 z 0 z
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 79
| z |2
c) lm .
z 0 z
z +1 i +1
a) lm =
z i 2 2
|z| x2 + y 2 x iy
b) lm = lm = lm
z 0 z z 0 x + iy z 0 x2 + y 2
Si se toman los lmites direccionales, es decir, a travs del eje real y del
entonces que los lmites direccionales son diferentes y por tanto no existe
lmite.
| z |2 | z |2 z | z |2 z
c) lm = lm = lm = lm z = 0.
z 0 z z 0 zz z 0 | z |2 z 0
1
funcin: f(z) =
z2
1
El estudio de la funcin f(z) = puede servir como muestra para aplicar
z2
1
las definiciones de lmites infinitos o en el infinito. Se tiene que lm =0
z z2
1
porque fijado cualquier > 0 existe un nmero real M = tal que si el mdulo
1 1
de z es mayor que M se tiene que f (z) = | |< < .
z 2
M2
1 1
lm = porque para cualquier nmero real M > 0 existe = tal
z 0 z2 M
80 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
1
que si 0 < z < , se verifica que f(z) = > M.
z2
z +1
a) f(z) = es continua en z = i porque:
2
i +1
i) Est definida en i, f(i) = .
2
z +1 z +1 i +1
ii) Existe lm , ya que lm = .
z i 2 z i 2 2
i +1 z +1
= lm .
2 z i 2
|z|
b) f(z) = no es continua en z = 0 porque f no est definida en 0, y
z
|z|
tampoco existe lm .
z 0 z
| z |2
c) f(z) = no es continua en z = 0 porque f no est definida en 0,
z
| z |2
aunque existe lm = 0.
z 0 z
z2
* si z 0 , es continua en 0 porque ahora si se
d) La funcin f (z) =
z
0 si z = 0
verifican las tres condiciones, i) existe f*(0) = 0, ii) existe el lmite y iii) el lmite
| z |2
coincide con el valor de la funcin en z = 0, f*(0) = 0 = lm .
z 0 z
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 81
Ejercicios
2.7. Calcular:
iz
a. lim .
z 2i 3
b. lm (3x i5y2).
z 2i
3z + 2i
c. lm .
z 2i 2z + 3
iz + 2
d. lm .
z 2i 2z + 3
2.8. Calcular:
3z + 2i
a. lm .
z 1 z - 1
2z + 2i
b. lm .
z 1 z + 1
2.9. Calcular:
3z + 2i
a. lm .
z z - 1
3z 2 + 2i
b. lm .
z z -1
3z + 2i
c. lm .
z z2 - 1
3z + 2i
a. f(z) = .
z -1
3 z + 2i
b. f(z) = e z 1 .
3z + 2i
c. f(z) = sen ( ).
z -1
puede considerar como una funcin de una nica variable, la variable compleja
aproximarse z al punto z0 .
Definicin 2.3.1:
f es derivable en z 0 si existe:
f ( z ) f ( z0 ) f ( z0 + h ) f ( z0 )
lim = lim = f(z 0 ), z, h C.
z z0 z z0 h 0 h
f ( z ) f ( z0 )
f(z 0 ) = lim
z z0 z z0
Definicin 2.3.2:
c) Lo mismo sucede con la funcin f(z) = zn, que, como en el caso real,
f ( z0 + h ) f ( z0 ) z + h z0 h
lim = lim 0 = lim , que no existe pues es
h 0 h h 0 h h 0 h
valdra 1.
pues:
84 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
|z+h||z| | z + h |2 | z |2
lim = lim = lim ( z + h )( z + h ) z z =
h 0 h 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 |)
ningn punto.
| h |2 0 | h |2 h
f(0) = lim = lim = lim h = 0.
h 0 h h 0 | h |2 h 0
| z + h |2 | z |2 ( z + h )( z + h ) z z = h z + z h + hh =
lim = lim lim
h 0 h h 0 h h 0 h
h
lim (z+ z + h ) , que no existe.
h 0 h
2.3.2. Propiedades
2) Las funciones f(z) + g(z), f(z) g(z) y cf(z) son derivables en el punto
(c f(z)) = c f(z 0 ).
'
f f ( z0 )g ( z0 ) f ( z0 )g ( z0 )
es (z0 ) =
g ( g ( z0 )) 2
determinar las condiciones precisas que deben verificar para que f sea
86 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
derivable.
f ( z0 + h ) f ( z0 )
f(z0 ) = lim
h 0 h
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 )
f(z0 ) = lim =
h 0 h
u( x 0 + h , y 0 ) u( x 0 , y 0 ) v ( x 0 + h, y 0 ) v ( x 0 , y 0 )
= lim +i =
h 0 h h
= u x (x 0 , y 0 ) + iv x (x 0 , y 0 ).
u( x 0 , y 0 + h ) u( x 0 , y 0 ) v( x0 , y 0 + h ) v( x0 , y 0 )
f(z0 ) = lim +i =
h 0 ih ih
= v y (x 0 , y 0 ) iu y (x 0 , y 0 ).
u x (x 0 , y 0 ) + iv x (x 0 , y 0 ) = v y (x 0 , y 0 ) iu y (x 0 , y 0 ),
Riemann:
Definicin 2.3.2:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 87
u x (x 0 , y 0 ) = v y (x 0 , y 0 )
u y (x 0 , y 0 ) = v x (x 0 , y 0 ).
Proposicin 2.3.1:
Cauchy - Riemann en z 0 .
Corolario 2.3.2:
Si f(z) es derivable en z 0 ,
f(z 0 ) = u x (x 0 , y 0 ) + iv x (x 0 , y 0 ) = v y (x 0 , y 0 ) iu y (x 0 , y 0 ).
contraejemplo.
Contraejemplo:
88 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
2
z
Sea f(z) = si z 0, f(0) = 0. Esta funcin no es derivable en 0 ya que
z
2
f(0 + h) f(0) h
lim = lim , no existe.
h 0 h h 0 h
x 3 3 xy 2 y 3 3 yx 2
f(z) = + i .
x2 + y 2 x2 + y 2
u( 0 + h,0 ) u( 0,0 ) h
u x (0, 0) = lim = lim =1
h 0 h h 0 h
v ( 0, h ) v ( 0,0 ) h
v y (0, 0) = lim = lim = 1 = u x (0, 0)
h 0 h h 0 h
Proposicin 2.3.3:
Proposicin 2.3.4:
es derivable en z0 = x 0 + iy 0 .
u x = ex cos y u y = ex sen y
v x = ex sen y v y = ex cos y.
Cauchy - Riemann en todo punto del plano complejo, con lo que se puede
iz + iz
derivables en todo el plano complejo. As, como cos z = e e , se tiene
2
i ( e iz e iz ) iz iz
(cos z) = = e e = sen z.
2 2i
iz iz
Sucede lo mismo en el caso del seno. Como sen z = e e , se tiene:
2i
i( e iz + e iz ) iz + iz
(sen z) = = e e = cos z.
2i 2
por las reglas de derivacin. As, por ejemplo, f(z) = tg z es derivable en todos
Logaritmo complejo.
y
Log z = ln x 2 + y 2 + iarctg .
x
x y
ux = , uy = ,
x2 + y 2 x2 + y 2
y 1
2 y x
vx = x = , vy = x = .
2 2 2 2
y x +y y x + y2
2
1+ 1+
x x
u x = vy y uy = vx .
x y z 1
f(z) = u x + iv x = i = = .
2 2 2 2
x +y x +y z.z z
Ejemplos resueltos
f ( z0 + h ) f ( z0 ) x + x x x
f(z0 ) = lim = lim = lim
h 0 h h 0 h h 0 x + iy
f ( z0 + h ) f ( z0 ) y + y y y
f(z0 ) = lim = lim = lim
h 0 h h 0 h h 0 x + iy
diferenciables en 2.
Ejemplo 2.3.4: Estudiar los puntos en los que la funcin f(z) = Log (z i)
1
puntos es f(z) = .
zi
Log ( z + 4 )
Ejemplo 2.3.5: Estudiar los puntos en los que la funcin f(z) =
z2 + i
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 93
1 i
La funcin es derivable en C \ z = {z : z , z 4} y su
2
derivada es
z 2 + i 2z( z + 4 )Log ( z + 4 )
f(z) = .
( z 2 + i )2 ( z + 4 )
Ejercicios
z+i
c. f(z) = en i vale i/2.
zi
1
b. f(z) = .
z
z+3
c. f(z) = .
z5
4
d. f(z) = .
( 4 z )2 + i
xy ( x + iy )
2.16. Demostrar que la funcin f(z) = si z 0, f(0) = 0, no es
2 2
x +y
Riemann en z = 0.
Esta es la razn por la que algunos autores las denominan funciones regulares.
posteriores.
Definicin 2.4.1:
puntos de G.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 95
Definicin 2.4.2:
contiene a A.
Definicin 2.4.3:
Definicin 2.4.4:
1
La funcin f(z) = es derivable en todo el plano complejo salvo z = 0. Por
z
P( z )
Las funciones racionales f(z) = , al estar formadas por cocientes de
Q( z )
puntos que anulan el denominador, es decir, los puntos zi tales que Q(z i ) = 0.
Las funciones ez, sen z y cos z son holomorfas en todo C y por tanto son
funciones enteras.
en C \ {z: z , z 0}.
contrario.
Proposicin 2.4.1:
Demostracin:
y1)
siguientes resultados:
Corolario 2.4.2:
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
Ejemplos resueltos
2
z
Ejemplo 2.4.1: Estudiar la holomorfa de f(z) = e y calcular el valor de la
2
= e x + y , por lo que u(x, y) = e x + y y v(x, y) = 0
z 2 2 2 2
f(z) = e
Ejercicios
c. f(z) = (z + z )2/(z z ).
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 .
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Funciones complejas 99
funciones holomorfas.
transmisin del calor. La relacin existente entre las funciones armnicas y las
Definicin 2.5.1:
2h 2h
verifica la ecuacin de Laplace: + = h xx + h yy = 0.
2 2
x y
Proposicin 2.5.1:
Demostracin.
100 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
u = v yx
u x = v y xx
v yy = u xy
u = v xy
u y = v x yy
v xx = u yx
siguiente resultado:
Proposicin 2.5.2:
Definicin 2.5.2:
complejo.
armnicas.
de v en G.
Ejemplos resueltos
Cauchy Riemann:
es holomorfa en C.
2 3 2
Ejemplo 2.5.2: Dada la funcin f(z) = y2x y + i(x2y x3), calcular la
3 3
derivada en los puntos en los que exista. Se puede construir una funcin f*(z)
2 3
holomorfa en C tal que Im (f*(z)) = x2y x ? Justificar la respuesta y en caso
3
u x = v y y2 = x2 y = x.
la recta z = x + ix. Por tanto, f(z) es derivable slo en los puntos de esta recta y
f(z0 ) = u x (x 0 , x 0 ) + iv x (x 0 , x 0 ) = x 0 2 + i(2x 0 2 2x 0 2) = x 0 2.
2 3
Para que la funcin v(x, y) = x2y x pueda ser la parte imaginaria de
3
una funcin holomorfa hay que ver en primer lugar si v(x, y) es armnica.
funcin holomorfa.
Ejercicios
2.20. Comprobar que las funciones u(x, y) = excos y, v(x, y) = exsen y son
funcin holomorfa.
104 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
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.
c. z3 + 2.
d. 1/(1 z).
a. e1+ i .
i
b. e 4 .
i
c. e 3 .
d. e1+ i .
a. cos (2 i).
b. sen i.
c. cos i.
d. tg (1 + i).
e. senh i.
f. cosh i.
a. log (1 + i).
b. Log (ei).
c. Log (1 i).
d. log (ei).
e. log (1 i).
a. ez = 3.
b. ez = 2.
c. ez = 1 + 3 i.
d. e3 zi 1 = 1.
e. log z = e + i.
a. cosh z = 2.
b. cos z = 2.
c. senh z = 0.
d. cos z = i.
e. sen z = i.
+ k con k Z.
4
1
cosh z y comprobar que se anula para z = i ( + k) con k Z.
2
Log ( z + 1)
a. f(z) = .
z 2 + 4i
z 1
b. g(z) = .
2
z + iz 4 4i
a. (1 i) i-1.
b. (2i)2i+1
c. (1 + 3 i)3/2.
d. ii.
e. 1i.
f. i1.
g. (2i)i.
2.34. Demostrar que Log (1 + i)2 = 2 Log (1 + i) pero que Log (1 + i)2 es
a. sen2 z + cos2 z = 1.
b. sen( z) = cos z.
2
c. cosh2 z senh2 z = 1.
a. lim z0 z z .
z+z
( z z )3
b. lim z0 .
z+z
2z 2 + 2z + 5
c. lim z .
3z 2 + 5z 3
a. f 1 (z) = z.
b. f 2 (z) = z .
z4 1
c. f 3 (z) = .
z3 + z
z4 1
d. f 4 (z) = si z i, f( i) = 2i.
z3 + z
2z + 1
a. f(z) = .
cos z 2
b. f(z) = e 2z /( z 1) .
108 Captulo 2: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
d. f (z) = 2x y + i3y2.
xy ( x + iy )
z0
2.39. Estudiar la derivabilidad de f(z) = x 2 + y 2 .
0 z=0
u 1 v v 1 u
= , = ,
r r r r
a. f(z) = Re (z2).
c. f(z) = z + z .
2z + 1
d. f(z) = .
e z + e z
a. f 1 (z) = f( z ).
b. f 2 (z) = f ( z ) .
c. f 3 (z) = f ( z ).
d. f 4 (z) = cos( z ).
b) Encontrar una funcin f(z) holomorfa tal que su parte real sea u(x, y).
armnica conjugada v(x, y) tal que f(z) = u(x, y) + iv(x, y) sea una
c. u(x, y) = x2 y2 , f(0) = i.
2.46. Obtener una funcin holomorfa f(z) = u(x, y) + iv(x, y), siendo:
a. u(x, y) = x2 y2 2x + 1, f(1) = 0.