Matemtica D y D1

MATEMTICA D y D1
Mdulo I: Anlisis de Variable Compleja

Funciones de variable
Unidad 1
compleja

Mag. Mara Ins Baragatti

1- Funciones de variable compleja
Si a todo nmero z de un conjunto D de nmeros complejos lo relacionamos con un nico
nmero complejo w , decimos que hemos definido una funcin de dominio D y
codominio C .

Para indicar que f es una funcin de D en C , anotamos

f : D C
z w = f(z)

Si f est en las condiciones anteriores, decimos que f es una funcin de variable compleja.

Si z y w se escriben en forma binmica y suponemos que z = x + iy , w = u + iv entonces

w = f(z) puede escribirse mediante la igualdad:

u + i v = f(x + i y)

y por lo tanto u y v , que son reales, dependern de las variables reales x e y , es decir

u = u(x,y) , v = v(x,y)

Ejemplos
1- f(z ) = z2 es una funcin de dominio C que a cada complejo lo relaciona con su cuadrado
que verifica :
w = f(z ) = z2 = (x + iy)2 = x2 y2 + i 2xy u(x,y) = x2 y2 y v(x,y)= 2xy

2- g(z) = i / |z|2 es una funcin de dominio C {0} que verifica:

w = g(z) = i / |z|2 = i / (x2 + y2) u(x,y) = 0 y v(x,y) = 1 / (x2 + y2)

1
Mdulo I - Unidad 1
 Matemtica D y D1

3- h1(z) = arg(z) no es una funcin, pues cada complejo z no nulo tiene infinitos valores del
argumento, en cambio h2(z) = Arg(z) es una funcin de dominio C {0} pues el 0 es el
nico complejo que no tiene argumento y cada complejo tiene un nico argumento
principal.
4- Sabemos que en variable real f ( x ) = x es una funcin con dominio [0, ) , en variable
compleja z no es una funcin pues para cada complejo z , su raz cuadrada tiene dos
resultados.
Recordar que en variable real se define x como aquel nmero positivo cuyo cuadrado es igual a x , as 4 = 2

Actividad 1:
Indicar el dominio ms amplio y explicitar la parte real y la parte imaginaria de las siguientes
funciones:
z 2i iz
a) f 1 ( z ) = b) f 2 ( z ) = c) f 3 ( z ) =
Re( 2z ) 1 | z | z

2- Lmite

Se denomina entorno de radio r de un complejo z0 al conjunto {z / |z z0 | < r} que

representa un crculo abierto centrado en z0 . Si a dicho crculo le sacamos el punto z0
tenemos lo que se denomina entorno reducido.

z0 z0

Entorno de z0 Entorno reducido de z0

Si en todo entorno de z0 hay infinitos puntos pertenecientes a un conjunto D, decimos que

z0 es un punto de acumulacin de D.

Sea z0 un punto de acumulacin del dominio D de f(z) , decimos que f(z) tiene lmite L
cuando z tiende a z0 e indicamos lm f(z) = L s y slo s lm f(z) - L = 0
zz0 zz0

Como |f(z) L| es una funcin a valores reales, sabemos que lm f(z) L = 0 significa que :
zz0

para todo nmero positivo , podemos encontrar un nmero positivo , que depende , tal que
| f(z) L | < para todos los z de D que verifican 0 < | z z0 | <

Actividad 2:
a) Justificar usando la definicin que : lm f(z) = 0 lm f(z) = 0
z0 z 0

b) Usando a) justificar que : z 0 | z | 0

2
Mdulo I - Unidad 1
 Matemtica D y D1

Actividad 3:
1 1
Dada f(z) = cos + i sen , comprobar que lm f(z) = 1 y lm f(z) 1 0
|z| |z| z 0 z 0

Este ejemplo muestra que en general lm f(z) =| L | no es equivalente a lm f(z) L = 0

zz0 zz0

Teorema de intercalacin (tambin llamado del sandwich)

Si en un entorno reducido de z0 se verifica que |g(z)| |f(z)| |h(z)| y
lm g(z) = lm h(z) = A entonces lm f(z) = A
zz0 zz 0 zz0

Actividad 4:
Dada f(z) = u(x,y) + i v(x,y) y z0 = x0 + i y0 , justificar que:

lm f(z) = L = L 1 + i L 2 lm u(x, y) = L 1 y lm v(x, y) = L 2

zz0 ( x , y )( x 0 . y 0 ) ( x , y )( x 0 . y 0 )

Tener en cuenta las indicaciones que se dan a continuacin

) Como la parte real y la parte imaginaria de un complejo son menores que su mdulo , podemos
afirmar que: 0 |u(x,y) L1| |f(z) - L| y 0 |v(x,y) L2| |f(z) - L| , y usando el teorema de
intercalacin se obtiene lo buscado.

) Como el mdulo de un complejo es menor o igual que la suma del valor absoluto de la
parte real y el valor absoluto de la parte imaginaria, podemos considerar que :
0 |f(z) L| |u(x,y) L1| + |v(x,y) L2 | , y usando el teorema de intercalacin se obtiene
lo buscado.

Observacin
Teniendo en cuenta lo afirmado en la actividad 4, podemos decir que el clculo de un lmite
en variable compleja puede reducirse al clculo de los lmites dobles de sus componentes real
e imaginaria.

Ejemplos

z-i z-i 1 1 i
1- lm = lm = lm = =
z i z + 1 z i (z + i )( z i ) z i z + i 2i
2
2

z2
2- lm = ? , en este caso puede buscarse la parte real e imaginaria de la funcin y luego
z0 | z |

calcular los lmites dobles de cada una de ellas para (x,y) (0,0). Como esto es bastante
largo podemos analizar el mdulo de la funcin y observar que:

3
Mdulo I - Unidad 1
 Matemtica D y D1

z 2 | z |2
0 = =| z | , si tomamos g(z) = 0 , h(z) = |z| y llamamos f(z) a la funcin dada
|z| |z|
vemos que |g(z)| |f(z)| |h(z)| y como lm g(z) = lm h(z) = 0 entonces usando el
z 0 z 0

teorema de intercalacin obtenemos lm f(z) = 0 y usando a) de la actividad 2 podemos

z 0

afirmar que lm f(z) = 0

z0

Actividad 5:

Calcular los siguientes lmites

z -1 Re(z 2 ) Im(z 2 )
a) lm b) lm c) lm
z 1 z 1 z 0 z z 0 z

3- Continuidad en un punto y en un dominio

Una funcin f(z) es continua en z0 s y slo s lm f(z) = f(z 0 )

zz0

Una funcin f(z) es continua en un dominio D si es continua en cada punto de D.

Actividad 6:
Dada f(z) = u(x,y) + i v(x,y) y z0 = x0 + i y0 , justificar que:

f(z) es continua en z0 u(x,y) y v(x,y) son continuas en (x0 , y0)

Usar el resultado de la actividad 4 y la definicin de continuidad.

Observaciones y ejemplos:

Dado que la definicin de continuidad es idntica a la definicin de continuidad de una

funcin de una variable real, podemos enunciar las siguientes proposiciones, cuyas
demostraciones son exactamente las mismas que las utilizadas en el caso real.

1- La suma , resta y producto de funciones continuas es continua. El cociente de funciones

continuas es continua salvo en los puntos en que se anula el denominador.
2- La composicin de funciones continuas es una funcin continua.
3- Los polinomios complejos f(z) = a0 + a1 z + a2 z2 ++ an zn son continuos para todo z

Actividad 7:

1- Justificar porqu las siguientes proposiciones son verdaderas:

a) g1(z) = Re(z) es continua en C

4
Mdulo I - Unidad 1
 Matemtica D y D1

b) g2(z) = |z | es continua en C
c) g3(z) = Im(z3-3) es continua en C
d) g4(z) =Arg(z) no es continua en el conjunto {(x,0) / x 0}
e) g5(z) = Arg(z-2) no es continua en el conjunto {(x,0) / x 2}

4- Derivada
Hemos visto que los lmites y la continuidad de las funciones complejas se reducen a los
lmites y la continuidad de pares de funciones reales de dos variables reales. Podra creerse
que la derivabilidad de una funcin f(z) es reducible a la de sus partes real e imaginara, pero
veremos que esto no es as y son esas diferencias las que dan inters a la teora.

Si f(z) est definida en un entorno de z0 , entonces la derivada de f(z) en z0 , a la que

f(z 0 + z) - f(z 0 )
indicamos f '(z0) , est dada por f ' ( z 0 ) = lm cuando este lmite existe.
z 0 z

Observaciones:

Dado que la definicin de derivada tiene la misma forma que la definicin de derivada de una
funcin de una variable real, podemos enunciar las siguientes proposiciones, cuyas
demostraciones son exactamente las mismas que las utilizadas en el caso real.

1- La funcin constante f(z) = k es derivable para todo z y f '(z) = 0.

2- Si n es un nmero natural, f(z) = zn es derivable para todo z y , si n es un nmero entero

negativo, f(z) = zn es derivable para todo z 0 . En ambos casos se cumple f '(z) = nzn 1.

3- Si f(z) es derivable en z0 entonces f(z) es continua en z0 .

4- Si f(z) y g(z) son derivables en un dominio D entonces f(z) g(z) , f(z). g(z) , f(z) /g(z) ,
con g(z) no nula en D y f(g(z)) son derivables en D y se cumple:

a) [f(z) g(z)]'= f '(z) g'(z)

b) [f(z) . g(z)]' = f '(z) g(z) + f(z) g'(z)
c) [f(z) / g(z)]'= [f '(z) g(z) f(z) g'(z)] / [g(z)]2
d) d) [f(g(z))]'= f '(g(z)) g'(z)

Ejemplos
1- Los polinomios complejos f(z) = a0 + a1 z + a2 z2 ++ an zn son derivables para todo z

5
Mdulo I - Unidad 1
 Matemtica D y D1

2- Las funciones racionales, es decir aquellas que son cociente de polinomios en z, son
derivables en todos los complejos que no anulen el denominador.

3- Si queremos saber si f(z) = |z|2 es derivable , calculamos

f(z + z) - f(z ) | z + z | 2 - | z | 2
lm = lm (1), como este lmite es indeterminado analizamos
z 0 z z 0 z
los siguientes dos casos :

- Si z es real, es decir si z = x + 0 i , entonces

| z + x | 2 - | z | 2 (x + x)2 + y 2 - ( x 2 + y 2 ) 2xx + x 2
(1) = lm = lm = lm = 2x
x 0 x x 0 x x 0 x

- Si z es imaginario puro, es decir si z = 0 + i

y , entonces

| z + iy | 2 - | z | 2 x 2 + (y + y) 2 - ( x 2 + y 2 ) 2yy + y 2 2y
(1) = lm = lm = lm = = i 2y
y 0 iy y 0 iy y 0 i y i

Si 2x - i 2y entonces el lmite (1) no existe y por lo tanto f(z) = | z |2 no es derivable.

Como la igualdad 2x = - i 2y slo es verdadera si x = 0 e y = 0 , podemos afirmar que si
z 0 entonces f(z) = | z |2 no es derivable.
Si 2x = - i 2y , es decir si x = y = 0 o z = 0, entonces los dos lmites anteriores son iguales,
pero esto no alcanza para afirmar que el lmite (1) existe.
Para averiguar si es derivable en z = 0 calculamos el lmite (1) en dicho punto:

f(0 + z) - f(0) | z | 2 - | 0 | 2 | z | 2 z z
lm = lm = lm = lm = lm z = 0
z 0 z z 0 z z 0 z z 0 z z 0

Luego podemos afirmar que f(z) = | z |2 slo es derivable en z = 0 y se verifica f '(0) = 0

Como f(z) = | z |2 es continua para todo z, este ejemplo nos muestra que una funcin puede
ser continua y no ser derivable.

Este ejemplo tambin nos muestra que si z = x + iy entonces la funcin f(z) = | z |2 = x2 + y2,
es un polinomio en las variables x , y , parece inofensiva y sin embargo slo tiene derivada en
z=0

Nos preguntamos: es posible averiguar si una funcin tiene o no derivada sin usar la
definicin?

Los teoremas que se desarrollan a continuacin nos darn la respuesta a este interrogante.

6
Mdulo I - Unidad 1
 Matemtica D y D1

Condicin necesaria de existencia de derivada

Si f(z) = u(x,y) + i v(x,y) es derivable en z0 =x0 + i y0 entonces u(x,y) y v(x,y) verifican en
u(x 0 , y 0 ) v(x 0 , y 0 )
=
x y
u(x 0 , y 0 ) v (x 0 , y 0 )
(x0, y0) las condiciones de Cauchy Riemann : (C.R)
=
y x
u(x 0 , y 0 ) v (x 0 , y 0 ) v (x 0 , y 0 ) u(x 0 , y 0 )
Adems se verifica que f '(z0) = +i = i
x x y y

Demostracin
f(z 0 + z) - f(z 0 )
Por ser f(z) derivable en z0 , sabemos que f ' ( z 0 ) = lm y este lmite existe
z 0 z
independientemente del modo en que z tienda a cero.

Considerando z = x + i 0 , es decir tomando y = 0, el lmite anterior toma la forma:

u(x 0 + x, y 0 ) + i v(x 0 + x, y 0 ) - u(x 0 , y 0 ) i v( x 0 , y 0 )

f ' ( z 0 ) = lm
x 0 x

y agrupando las partes reales e imaginarias y teniendo en cuenta que el lmite existe se obtiene
u(x 0 , y 0 ) v (x 0 , y 0 )
f ' (z 0 ) = +i (*)
x x

Considerando z = 0 + i y , es decir tomando x = 0, el lmite toma la forma:

u(x 0 , y 0 + y) + i v(x 0 , y 0 + y) - u(x 0 , y 0 ) i v( x 0 , y 0 )

f ' ( z 0 ) = lm
y 0 i y
v(x 0 , y 0 ) u(x 0 , y 0 )
y operando convenientemente se obtiene f ' ( z 0 ) = i (**)
y y

Comparando (*) y (**) , tenemos la igualdad entre dos complejos, por lo tanto sus partes
reales son iguales entre s y tambin sus partes imaginarias y las igualdades obtenidas son
justamente las condiciones de CR, que queramos demostrar.

Observacin:

Si u(x,y) y v(x,y) no satisfacen las condiciones de (C.R) en (x0, y0) entonces f(z) no es
derivable en z0 =x0 + i y0 (Contra recproco del teorema anterior)

Ejemplo
Si queremos saber donde es derivable la funcin f(z) = x y - ixy2 entonces buscamos su parte
real e imaginaria , en este caso u(x,y) = xy , v(x,y) = -xy2 y planteamos las condiciones de
CR :
7
Mdulo I - Unidad 1
 Matemtica D y D1

ux = vy y = -2xy y (1 + 2x) = 0
uy = -vx x = y2

Como la primera ecuacin es el producto de dos factores igualado a cero, alguno de ellos
deber ser cero , por lo tanto y = 0 x = -1/2. Reemplazando en la segunda ecuacin
vemos que :
si y = 0 entonces x = 0,
si x = -1/2 , entonces se obtiene y2 = -1/2 , que no tiene solucin pues y es real

Por lo tanto las condiciones de CR slo se verifican en z = 0 + i 0 = 0 , podemos afirmar

entonces que la funcin dada no es derivable si z 0 , pero no podemos afirmar si es o no
derivable en dicho punto pues el teorema anterior slo indica una condicin necesaria de
derivabilidad pero no una condicin suficiente.

Condicin suficiente de existencia de derivada

Si u(x,y) y v(x,y) tienen derivadas parciales continuas en (x0, y0) y verifican (C.R) en dicho
punto entonces f(z) = u(x,y) + i v(x,y) es derivable en z0 =x0 + i y0

Demostracin

Considerando que z = x + i y , tenemos que demostrar que existe el siguiente lmite

u(x 0 + x, y 0 + y) + i v(x 0 + x, y 0 + y) - u(x 0 , y 0 ) i v( x 0 , y 0 )

lm = (#)
( x , y )( 0 , 0 ) x + i y

Como las derivadas parciales de u(x,y) y v(x,y) son continuas en (x0, y0), entonces dichas
funciones son diferenciables en (x0, y0) y por lo tanto pueden aproximarse en un entorno de
dicho punto por el plano tangente, as podemos escribir :

u(x,y) = u(x0, y0) + u'x (x0, y0) (x - x0) + u'y (x0, y0) (y - y0) + E1(x x0, y y0)
v(x,y) = v(x0, y0) + v'x (x0, y0) (x - x0) + v'y (x0, y0) (y - y0) + E2(x x0, y y0)

donde E1 y E2 tienden a cero ms rpido que la distancia que separa los puntos (x,y) y (x0, y0)

Si consideramos x x0 = x , y y0 = y y usamos las condiciones de (CR) , las

expresiones anteriores pueden escribirse como:

u(x0 + x, y0 + y) - u(x0, y0) = u'x (x0, y0) x - v'x (x0, y0) y + E1(
x, y) (1)

v(x0 + x, y0 + y) - v(x0, y0) = v'x (x0, y0) x + u'x (x0, y0) y + E2(
x, y) (2)

E j ( x, y )
donde lm = 0 , para j = 1,2
( x , y )( 0 , 0 )
x 2 + y 2

8
Mdulo I - Unidad 1
 Matemtica D y D1

pues x 2 + y 2 es la distancia entre los puntos (x0 + x ,y0 + y) y (x0, y0) y tiende a 0
x, y) tiende a (0,0)
s y slo s (

Reemplazando (1) y (2) en (#) y agrupando convenientemente tenemos:

E ( x , y ) + iE 1 ( x , y )
(#) = lm u' x (x 0 , y 0 ) + i v' x (x 0 , y 0 ) + 1 =
( x , y )( 0 , 0 )
x + i y
= ux (x0, y0) + i vx (x0, y0)

pues el lmite del ltimo cociente vale cero pues podemos acotarlo de la siguiente manera

E 1 ( x , y ) + iE 1 ( x , y ) | E 1 ( x , y ) | | E 2 ( x , y ) |
0 + y usando el teorema de
x + i y x 2 + y 2 x 2 + y 2

intercalacin concluimos que el lmite (#) existe y por lo tanto f(z) es derivable en z0

Antes de dar algunos ejemplos definimos el concepto ms importante de las funciones de

variable compleja: la analiticidad.

5- Analiticidad

Si f(z) es derivable en z0 y en todo un entorno de z0, se dice que f(z) es analtica en z0

Observaciones:
1- Si u(x,y) y v(x,y) tienen derivadas parciales continuas en un entorno de z0 y cumplen
(C.R) en dicho entorno entonces f(z) es analtica en z0.
2- Si u(x,y) y v(x,y) tienen derivadas parciales continuas en un dominio abierto D y cumplen
(C.R) en D entonces f(z) es analtica en D.

Ejemplos
Si queremos hallar el dominio de continuidad, derivabilidad y analiticidad de las siguientes
funciones, procedemos de la manera que se indica a continuacin:

1- f(z) = 3 z4 2iz + 4 i

En este caso sencillamente decimos que f es continua, derivable y analtica para todo z, por
ser suma y producto de funciones continuas, derivables y analticas en todo C.

2- f(z) = x2 y + i (y2 x) u(x,y) = x2 y , v(x,y) = y2 x

Como u(x,y) y v(x,y) son continuas para todo par de nmeros reales (x,y) el dominio de
continuidad de f es el conjunto C.
9
Mdulo I - Unidad 1
 Matemtica D y D1

Para averiguar dnde es derivable, plantemos las condiciones de (C.R):

u x = v y 2xy = 2y

u y = v x x = 1
2

y resolvemos el sistema de ecuaciones obtenido:

2xy = 2y 2y (x 1) = 0 y = 0 o x = 1
x2 = 1 x = 1 o x = - 1
combinando los resultados obtenidos, podemos afirmar que: si x = 1 se satisfacen ambas
ecuaciones (sin importar el valor de y) , tambin se satisfacen si (x,y) = (-1,0) , por lo tanto:

- Si x 1 o (x,y) (-1,0) , las condiciones de (C.R) no se verifican y por

y
lo tanto f no es derivable en dichos puntos( teorema de condicin
necesaria)
- El conjunto formado por la recta x = 1 y el punto (-1,0) es el dominio de x
derivabilidad de f pues en ellos, adems de cumplirse las condiciones de -1 1
(C.R) las funciones u(x,y) y v(x,y) tienen derivadas parciales continuas
(teorema de condicin suficiente)

El dominio de analiticidad de f es vaco pues es imposible encontrar entornos de

derivabilidad.

u(1, y ) v (1, y )
Adems su derivada vale: f '(1+ iy) = +i = 2y + i ,
x x
u( 1,0 ) v ( 1,0 )
f '(-1 + 0i) = +i =i
x x

3- f(z) = (y2 x) + i x2 y u(x,y) = y2 x , v(x,y) = x2 y

El dominio de continuidad es todo C, pues u(x,y) y v(x,y) son continuas para todo (x,y) por
ser polinomios.

Si plantemos las condiciones de (C.R) obtenemos :

u x = v y 1 = x 2

u y = v x 2y = 2xy

y rpidamente podemos afirmar que este sistema no tiene solucin pues la ecuacin x2 = -1
no se satisface para ningn nmero real x.
Por lo tanto el dominio de derivabilidad es vaco y el de analiticidad tambin es vaco.

4- f(z) = ex cos y + i ex sen y u(x,y) = ex cos y , v(x,y) = ex sen y

El dominio de continuidad de f es el conjunto C pues tanto u(x,y) como v(x,y) son continuas
para todo par de nmeros reales (x,y)
Planteando las condiciones de (C.R) obtenemos el sistema:

10
Mdulo I - Unidad 1
 Matemtica D y D1

u x = v y e x cos y = e x cos y

u y = v x e seny = e seny
x x

que lo satisfacen todos los pares (x,y) de nmeros reales, como adems u y v tienen derivadas
parciales continuas podemos afirmar que f es derivable y analtica en todo C.

Adems su derivada es f ' (z) = ux + i vx = ex cos y + i ex sen y . Es interesante observar que

esta funcin verifica que f '(z) = f(z)

z2
5- f ( z ) =
1 + z2

En este caso reconocemos que tanto el numerador como el denominador son continuos,
derivables y analticos en todo C por ser polinomios en variable z , por lo tanto f es continua,
derivable y analtica en todo C salvo en los puntos i , donde se anula el denominador y que
adems no pertenecen a su dominio.

| z |2
6- f ( z ) =
1 + z2

Los puntos i anulan el denominador y por lo tanto no pertenecen al dominio, fuera de ellos
f es continua por ser cociente de continuas, por lo tanto el dominio de continuidad de f es C
{ i , -i}.
Como sabemos que 1 + z2 es derivable para todo z y | z |2 slo en derivable en z0 = 0,
podemos afirmar que f es derivable en z0 = 0 por ser cociente de derivables y el denominador
no se anula.

Analicemos si f puede ser derivable en algn otro punto del dominio, para ello supongamos
que existe un complejo z1 , con z1 0 y z1 i , tal que f sea derivable en z1 , entonces
razonando del siguiente modo:
f{( z ) . (1 + z 2 ) = |{z |2
1424
3
derivable en z 1 no es derivable en z 1
14442derivable 444en z 1
3
esderivable en z 1 ,por ser producto dederivabl es

obtenemos una contradiccin, por lo tanto no puede existir ese complejo z1 .

Concluimos entonces que f slo es derivable en z0 = 0 y por lo tanto el dominio de
analiticidad es vaco.

Ejercicios
1- Calcular usando la definicin, la derivada de:

a) h1(z) = Im(z) b) h2(z) = z . Re(z) c) h3(z) = |z |2 d) h4(z) = z

2- Indicar el dominio y derivar las siguientes funciones usando reglas:

11
Mdulo I - Unidad 1
 Matemtica D y D1

( 2z 1) 4
a) k1(z) = 3 z2 1/z b) k1(z) = z2 . (-i + z4)3 c) k3(z) =
1 ( 2z ) 2

3- Si f(z) es derivable, calcular la derivada de a) w = z . [f(z)]2 b) w = f(z3) 2 f(3z)

4- Dadas las funciones f(z) = z , g(z) = Re(z) , h(z) = Im(z), comprobar que:

a) f(z) no es derivable en ningn punto pero F(z) = z f(z) es derivable en el origen.

b)g(z) no es derivable en ningn punto pero G(z) = f(z) (g(z))2 es derivable en (0,y), y..
b) h(z) no es derivable en ningn punto y H(z) = f(z) g(z) + ih(z) es derivable z.
c) Sacar conclusiones.

5- Si f(z) es continua en z0 y g(z) = z2 - z02 , demostrar que h(z) = f(z) . g(z) es derivable en z0
y verifica h(z0) = 2z0 f(z0)

6- Hallar y graficar el dominio de derivabilidad y de analiticidad de las siguientes funciones y

calcular f (z) en los puntos donde exista
a) F1(z) = 3xy2 + i (y3 x3) b) F2(z) = -2y x2 + 6x2+ i (2x2 +6 yx2 )
c) F3(z) = z (senx - i y) d) F4(z) = e2x (4 x y2 + y2 i)

7- Demostrar:
a) Si f(z) y |f(z)| son ambas analticas en D f(z) es una funcin constante en D.
b) Si g(z) y g( z ) son ambas analticas g(z) es constante
c) Si h(z) = u(x,y)+ i [u(x,y)]2 es analtica h(z) es constante

8- Mostrar que no existe una funcin f(z) analtica en todo el plano tal que f(z) = x

x3 y 3 x3 + y 3
9- Dada f(z) = + i si (x,y) (0,0) y f(0,0) = 0 ; mostrar que satisface
x2 + y 2 x2 + y 2
las condiciones de Cauchy Riemann en (0,0) pero no es derivable en z = 0

10- Si f(z) = u(x,y) + i v(x,y) y expresamos x e y en coordenadas polares tenemos que

f(z) = u(r cos , r sen) + i v(r cos , r sen) = U(r, ) + i V(r, ) , demostrar que si f
es derivable en z = r ei , entonces se verifican las siguientes condiciones de (C.R):
U 1 V
r = r i U V e i V U
V , (C.R en polares) y f ' ( z ) = e +i = i , r0
1 U r r r
=
r r
11- Si f(z) es analtica en un conjunto abierto D y z0 pertenece a D justificar que la funcin
f (z) f (z 0 )
si z D - {z 0 }
g( z ) = z z 0 es analtica en D {z0} y es continua en z0
f ' ( z 0 ) si z = z 0

12
Mdulo I - Unidad 1
 Matemtica D y D1

6- Funciones elementales
En variable real se tienen las funciones ex . sen x , cos x , ln x , podrn extenderse dichas
funciones a la variable compleja? A continuacin encontraremos la respuesta.

Funcin Exponencial
Se pretende definir la exponencial compleja f(z) = ez de modo que si z es real coincida con
la exponencial real, es decir debemos exigirle que f(x + i 0) = ex .
Como la derivada de ex es igual a ex , es natural imponer que f '(z) = f(z) para todo z.

Hemos visto en el ejemplo 4 de la seccin anterior que la funcin f(z) = ex (cos y + i sen y)
verifica que f '(z) = f(z) para todo z y adems cumple que f(x + 0i) = ex , por ello la
exponencial compleja se define como se indica a continuacin y resulta ser analtica en todo
el plano complejo.

Funcin exponencial: exp(z) = ez = ex (cos y + i sen y)

Actividad 8:
Justificar las siguientes propiedades:
a) ez es analtica z , y se cumple (ez)= ez
b) |ez| = ex
c) ez 0 , z
d) | eiy | = 1 , para y real
e) ez = 1 z = i 2k , con k entero
f) e = e z1 z2 = i 2k
z1 z2
, con k entero
z1 + z 2
g) e = e .e
z1 z2

Funcin Logaritmo
En variable real, la funcin logaritmo es la inversa de la funcin exponencial y si x > 0, vale :
y = ln x ey = x

Pretendemos definir w = ln z , de modo que ew = z , ser posible?

Como la exponencial compleja nunca se anula de entrada pedimos que z 0 y si

consideramos w = u + i v , entonces:

ew = z eu (cos v + i sen v) = z eu = | z | , v = arg(z) = + 2k

, con k = 0, 1, 2,.

De la expresin real eu = | z | podemos obtener que u = ln | z | , por lo tanto :

+ 2k
w = ln z = u + i v = ln | z | + i ( ) , con k = 0, 1, 2,.

13
Mdulo I - Unidad 1
 Matemtica D y D1

que evidentemente no es funcin pues para complejo z 0 obtenemos infinitos valores del
logaritmo

Esta observacin inicial permite dar la siguiente definicin:

Logaritmo complejo :
+ 2k
ln z = ln | z | + i ( ) para z 0

Si fijamos el valor de k en la definicin anterior y especificamos el valor del argumento

transformamos al logaritmo en una funcin, por ejemplo:

Si k = 0, podemos definir las siguientes funciones :

f1(z) = ln | z | + i ,con -
<
f2(z) = ln | z | + i ,con 0 < 2
f3(z) = ln | z | + i ,con < 3

Si k = 1, podemos definir las siguientes funciones :

+2
f4(z) = ln | z | + i ( ) con -
<
+2
f5(z) = ln | z | + i ( ) con 0 < 0 + 2

De las infinitas funciones que pueden definirse a partir del logaritmo complejo, se distingue
una, que se denomina rama principal del logaritmo, se indica Ln z y se define como:

Rama principal de la funcin logaritmo:

Ln z = ln | z | + i Arg(z), con z 0 y -
< Arg(z)

Observar que:
a) El dominio de Ln z es C {0}
b) Como ln | z | es continua para z 0 y Arg(z) es continua salvo en el eje real negativo, el
dominio de continuidad de Ln z es C {z = x + i0 , x 0}
c) Como Ln z no es continua en el eje real negativo, no puede tener derivada sobre dicho
semieje, pero puede verse fcilmente usando (C.R) en polares y analizando la continuidad
de las derivadas parciales de la parte real e imaginaria que el dominio de derivabilidad y
analiticidad es C {z = x + i0 , x 0} y se cumple ( Ln z)'= 1/ z

Ejemplos

1- ln i = ln | i | + i arg (i) = ln 1 + i ( + 2k
) = i ( + 2k
), k = 0, 1, 2,.
2- Ln i = ln | i | + i Arg (i) = i
3- ln (-1 + i) = ln |-1 + i | + i arg(-1 + i) = ln 2 + i ( . + 2k), k = 0, 1, 2,.
4- Ln (-1 + i) = ln |-1 + i | + i Arg(-1 + i) = ln 2 + i
14
Mdulo I - Unidad 1
 Matemtica D y D1

Observacin:

Es sabido que en variable real vale: logaritmo de un producto de factores positivos es igual a
la suma de los logaritmos de cada factor, valdr esta propiedad en los logaritmos
complejos?, para responder calculemos:

Ln i + Ln (-1 + i) = i + ln 2 + i . = ln 2 + i ( + .
) = ln 2 +i 5/4

Ln [ i . (-1 + i)] = Ln [- i 1] = ln | -1 i| + i Arg(-1 i) = ln 2 -i

Por lo tanto: Ln i + Ln (-1 + i) Ln [ i . (-1 + i)]

Funciones trigonomtricas e hiperblicas

Sabemos que si es real valen las igualdades : ei = cos + i sen

ei = cos - i sen

cuya suma y resta son respectivamente: ei + e-i = 2 cos , ei - e-i = i 2 sen .

Despejando cos y sen de estas ltimas obtenemos:

e i + e i e i e i
cos = , sen = , con real
2 2i

Teniendo en cuenta que estas expresiones, se define:

Coseno y el Seno de un nmero complejo z:

e iz + e iz e iz e iz
cos z = , senz =
2 2i

Observar que si z es real, es decir si z = x entonces cos z y sen z coinciden con el cos x y
el sen x , ya conocidos de la variable real.

Ambas funciones son analticas en todo el plano complejo por ser suma y resta de analticas y
es sencillo verificar que : (cos z)'= - sen z , (sen z)'= cos z

Actividad 9:
Justificar que los ceros de las funciones sen z y cos z son los mismos que los de las funciones
sen x y cos x de variable real, es decir probar que:

a) sen z = 0 z = k + 0i , k = 0, 1, 2,..,
b) cos z = 0 z = ( + k ) + 0i , k = 0, 1, 2,..,

15
Mdulo I - Unidad 1
 Matemtica D y D1

Tangente, cotangente, secante y cosecante de un complejo:

sen z 1 1 1
tg z = , cot g z = , sec z = , cos ec z =
cos z tg z cos z sen z

El dominio de cada una de estas funciones son todos los complejos que no anulan el
denominador y todas son analticas en dichos dominios.

Seno hiperblico y Coseno hiperblico de un complejo:

e z e z e z + e z
sh z = , ch z =
2 2

Observar que si z es real y vale z = x entonces ch z y sh z coinciden con el ch x y el sh x

ya conocidos de la variable real.

Ambas son analticas en todo el plano complejo y vale que : (ch z)= sh z , (sh z)= ch z

Exponencial generalizada
En variable real se define ax = ex ln a para a > 0 que resulta ser una funcin, a la que se
denomina exponencial generalizada.

En C se define la potencia generalizada de manera similar, pero no resulta ser funcin:

Potencia generalizada : az = ez ln a , con a 0

Si en la expresin anterior se toma la rama principal del logaritmo, se obtiene una funcin
denominada exponencial generalizada que se define por:

Funcin exponencial generalizada: az = ez Ln a , con a 0

Ejercicios

12- Expresar en forma binmica los siguientes complejos:

a) ei/2 b) e(3-i)/3 c)ln(1 + i) d) ln(-1) e) Ln ( 3+i )

13- Mostrar que: a) ln(ez) z b) eln z = z para z 0

14- Expresar en forma binmica los siguientes complejos:

16
Mdulo I - Unidad 1
 Matemtica D y D1

a) cos(-i) b) sen( i ) c) sh(1-i) d) ch ( i)

15- Demostrar:

a) e z = e z b) e-z = 1/ ez c) eiz = cos z + i sen z

d) ez = ch z + sh z e) sen z = sen z f) sen(iz) = i sh z

16- Demostrar :

a) sen(x + iy) = sen x ch y + i cos x sh y b) cos(x + iy) = cos x ch y - i sen x sh y

c) sh(x + iy) = sh x cos y + i ch x sen y d) ch(x + iy) = ch x cos y + i sh x sen y

17- Hallar todos los valores de z que verifican las siguientes ecuaciones:

a) e2z = -1 b) eiz = 2 c)Ln z = i/4 d) cosz = 2i

e) chz = -2 f) cos z = sen z g) ez = 1 i h) sen(iz) = sh z

18- Expresar en forma binmica los siguientes complejos:

a) (-1)1-i b) i2i c) (1- i)3-5i

19- Hallar el dominio de derivabilidad y analiticidad de :

Ln z | z |2 + 2 cos z
a) g1(z) = b) g2(z) = c) g3(z) =
i - sen(iz) z 2 + 2iz z

7- Funciones armnicas

Una funcin g(x,y) de dos variables reales se dice que es armnica en un dominio D si
2g 2g
tiene derivadas segundas continuas y verifica en D la ecuacin diferencial + = 0,
x 2 y 2
denominada ecuacin de Laplace.

Observaciones:

a) La ecuacin de Laplace es importante en fsica ya que est conectada, por ejemplo, con el
flujo de calor o de fluidos, o cualquier sistema aislado que involucre el clculo de
funciones potenciales.
2g 2g
b) La expresin + se denomina laplaciano de g(x,y) y es interesante observar que
x 2 y 2
resulta ser la divergencia del gradiente de g y por ello se suele indicar:
17
Mdulo I - Unidad 1
 Matemtica D y D1

2g 2g r r r2
+ = div (gra d g) = .( g) = g
x 2 y 2

Ejemplo
g(x,y) = x3 3xy2 es armnica para todo par de nmeros reales pues:

gx = 3 x2 3 y2 gxx = 6 x , gy = 6 x y gyy = - 6 x

por lo tanto gxx + gyy = 6x 6 x = 0

Como g satisface la ecuacin de Laplace y tiene derivadas segundas continuas entonces g es
armnica en todo el plano x,y.

Teorema- Condicin necesaria de analiticidad

Si f(z) = u(x,y) + i v(x,y) es analtica en un dominio D entonces las funciones u(x,y) y v(x,y)
son armnicas en D.

Demostracin
Para hacer esta demostracin vamos a suponer que : si f(z) es analtica en D entonces existen
las derivadas segundas de las funciones u(x,y) y v(x,y) y son continuas en D, por ello las
derivadas segundas cruzadas son iguales (uxy = uyx , vyx = vxy )
Ms adelante esta suposicin ser justificada cuando veamos que una funcin analtica
admite derivada de todo orden y todas sus derivadas son analticas.

Por ser f(z) analtica en D , se cumplen en D las condiciones (CR) : ux = vy y uy = - vx

derivando la primera igualdad respecto de x y derivando la segunda respecto de y obtenemos:

u x = v y u xx = v yx

u y = v x u yx = v xy
y sumando miembro a miembro las ltimas igualdades obtenemos:
uxx + uyy = vyx + (- vxy) = 0
por lo tanto u(x,y) es armnica en D.

Repitiendo los pasos, pero derivando la primera respecto a y y derivando la segunda respecto
de x y restando miembro a miembro, se prueba que v(x,y) es armnica en D.

Observacin:
Saber que u(x,y) y v(x,y) son armnicas en D, no es suficiente para asegurar que la funcin
f(z) = u(x,y) + i v(x,y) es analtica en D. Por ejemplo u(x,y) = x y v(x,y) = -y son
armnicas pero f(z) = u(x,y) + i v(x,y) = x iy = z no es analtica en ningn punto.

18
Mdulo I - Unidad 1
 Matemtica D y D1

Conjugada armnica
Si dos funciones u(x,y) y v(x,y) son armnicas en D y satisfacen las condiciones de (C.R) en
D, se dice que v(x,y) es conjugada armnica de u(x,y).

Tambin puede decirse as: Si f(z) = u(x,y) + i v(x,y) es analtica en un dominio D, entonces
v(x,y) es la conjugada armnica de u(x,y).

Ejemplos
1- Como f(z) = z2 = x2 y2 + i 2xy es analtica en C , podemos decir que v(x,y) = 2xy es la
conjugada armnica de u(x,y) = x2 y2

u(x,y) es la conjugada armnica de v(x,y)?

Para responder debemos averiguar si v(x,y) + i u(x,y) = 2xy + i (x2 y2 ) es analtica.
Planteando las condiciones de (C.R) tenemos: 2y = -2y , 2x = - 2x . Como slo se
satisfacen en el origen, esta funcin tiene dominio de analiticidad vaco, por lo tanto u(x,y)
no es la conjugada armnica de v(x,y).

Es interesante observar que - u(x,y) es la conjugada armnica de v(x,y), pues la funcin

v(x,y) - i u(x,y) = 2xy + i (-x2 + y2 ) es analtica en C.

2- Hallar, si es posible, una funcin v(x,y) de modo que f(z) = x 3y + e2x cos y + i v(x,y)
sea analtica.

Como u(x,y) = x 3y + e2x cos y no satisface la ecuacin de Laplace (comprobar que

uxx + uyy 0 ) entonces u(x,y) no es armnica y por lo tanto, recordando la condicin
necesaria de analiticidad, es imposible hallar una funcin analtica f(z) que tenga a u(x,y)
como componente real.

3- Hallar, si es posible, una funcin v(x,y) de modo que f(z) = 2x 3y - ex cos y + i v(x,y)
sea analtica.

En este ejemplo la parte real es u(x,y) = 2x 3y - ex cos y , que satisface uxx + uyy = 0 , por
lo tanto la parte real de f(z) es armnica.

Queremos hallar v(v,y) para que f(z) sea analtica, por lo tanto debern verificarse las
condiciones de (C.R):
u x = vy 2 - ex cos y = vy

u y = - vx -3 + ex sen y = - vx

Estas ecuaciones nos permiten conocer las dos derivadas parciales de v(x,y), integrando la
primera respecto de la variable y y manteniendo x fija encontramos:

( )
v(x,y) = 2 e x cos y dy = 2y ex sen y + g(x)

donde g es una funcin arbitraria que depende slo de x, es decir es constante respecto de y
19
Mdulo I - Unidad 1
 Matemtica D y D1

Sabemos ahora que v(x,y) = 2y ex sen y + g(x) cuya derivada respecto de x es:
vx = - ex sen y + g'(x) , adems por la segunda ecuacin de (C.R) sabemos que
vx = 3 ex sen y , por lo tanto igualando obtenemos :

ex sen y + g(x) = 3 ex sen y g(x) = 3 g(x) = 3 dx = 3x + k , donde k es una

constante arbitraria.

Reemplazando este valor de g(x) en la expresin de v obtenemos:

v(x,y) = 2y ex sen y + 3x + k
Se deja como ejercicio la verificacin que f(z) =2x 3y - ex cos y + i (2y ex sen y + 3x + k)
es analtica.

La parte real y la parte imaginaria de una funcin analtica , adems de ser armnicas
verifican una relacin de ortogonalidad.

Actividad 10:
Demostrar que : Si f(z) = u(x,y) + i v(x,y) es analtica en un dominio D y P0(x0 , y0)
pertenece a D entonces las curvas de nivel u(x,y) = u(x0 , y0) = c , v(x,y) = v(x0 , y0) = k , se
cortan ortogonalmente en P0 (el ngulo entre los vectores tangentes o los vectores normales
a ambas curvas trazados en P0 es recto)

Ayuda: Calcular el gradiente de ambas curvas de nivel

en P0 y comprobar que el producto escalar entre ambos
es igual a cero (usar CR) y por lo tanto los vectores son y0 u(x,y)=u(x0,y0)
ortogonales.
Recordar que : Si una funcin de dos variables g(x,y) es v(x,y)=v(x0,y0)
derivable en un dominio D entonces su gradiente, que se x0
r ( (
define como g = g' x i + g' y j , evaluado en P0 es un
vector normal a la curva de nivel g(x,y) = g(x0 , y0) = c,
siempre que en dicho punto el gradiente no sea nulo.

Ejemplo
Dada f(z) = z2 , y teniendo en cuenta su expresin equivalente
u(x,y) + i v(x,y) = x2 - y2 + i 2xy , las curvas de nivel de su parte real e imaginaria que pasan
por (x0 , y0) son :

u(x ,y) = u(x0 , y0) x2 - y2 = xo 2 - y0 2 ,

v(x , y) = v(x0 , y0) 2xy = 2 x0 y0

Si llamamos c = xo 2 - y0 2 y k = 2 x0 y0 entonces las curvas de nivel tienen ecuacin

2 2
u(x,y) = x - y = c y v(x,y) = 2xy = k , que representan hiprbolas.

Si calculamos el gradiente de cada curva y lo evaluamos en (x0 , y0) obtenemos un vector

r ( (
normal a cada una de ellas, en este caso los vectores normales son u = 2x i 2y j ,

20
Mdulo I - Unidad 1
 Matemtica D y D1

r ( (
v = 2y i + 2x j y si los evaluamos en (x0 , y0) y hacemos el producto escalar obtenemos
( )( )
r r ( ( ( (
u( P0 ).v( P0 ) = 2x 0 i 2y 0 j . 2y 0 i + 2x 0 j = 4x 0 y 0 4y 0 x 0 = 0

Como los vectores normales son ortogonales , las curvas se cortan ortogonalmente en P0

Ejercicios
20- Comprobar que las siguientes funciones son armnicas en todo R2 y construir una funcin
f(z) = u(x,y) + i v(x,y) que sea analtica z

a) u(x,y) = e-x cos y + 2xy b) u(x,y) = 3x 2 x2 + y2

c) v(x,y) = cos y (ch x + sh x) d) v(x,y) = 3x2 y y3 4xy 3y + 1

21- Hallar, si es posible, una funcin h(x,y) de modo que f(z) sea analtica en todo el plano

a) f(z) = h(x,y) + 2 y2 i xy b) f(z) = Re[z3 2z ] + i h(x,y)

r r
22- Si f(z) = u(x,y) + i v(x,y) es analtica en z0 = a + i b, demostrar que u(a, b ) v(a, b )

23- Hallar las curvas de nivel de f(z), representarlas grficamente y comprobar su

ortogonalidad en los puntos de contacto:

a) f(z) = 3 z + 2i b) f(z) = z2 c) f(z) = Ln z d) f(z) = 1/z

Ejercicios adicionales
1- Representar grficamente los complejos z que verifican las relaciones siguientes:

a ) Im(z) > 2 Re(z-2) b) 1 z i < 4 c) z > Re( z )

d) z < Re( z ) e) 2 z z-i f) z 1 < | z + i | < | z - 2i |

2- Hallar y graficar el dominio de derivabilidad y de analiticidad de las siguientes funciones

y calcular la derivada en los puntos donde exista

a) F(z) = (2x y)2 (1 + ix) b) G(z) = 3x y2 + 2x + i (y2 2 xy2 + 2y)

c) H(z) = x2 {| z |2 + i y } d) K(z) = e3x ( cos (3y) + i sen (3y))

1 i
3- Confirmar que: a) Ln(-1 i) Ln i Ln b) Ln(i3) 3 Ln i
i

4- Demostrar que a) cos(iz) = ch z b) |senz|2 + |cos z|2 = 1 z es real

5- Demostrar:

21
Mdulo I - Unidad 1
 Matemtica D y D1

a) Si sen (x + iy) = a , donde a es un nmero real que verifica 1 a 1 entonces

sen (x + i y)= sen x , y por lo tanto x = arc sen a + 2k , y=0
b) Si sen (x + iy) = b , donde b es un nmero real que verifica b > 1 entonces sen x = 1 y
ch y = b , y por lo tanto x = /2 + 2k , y = arg ch b
c) Si sen (x + iy) = c , donde c es un nmero real que verifica c < -1 entonces sen x = -1 y
/2 + 2k
ch y = -c , y por lo tanto x = - , y = arg ch (-c)

6- Si f(z) = u(x,y) + i v(x,y) es analtica en un dominio D, averiguar si las siguientes

funciones son analticas en D

a) g(z) = v(x,y) + i u(x,y) b) h(z) = v(x,y) - i u(x,y)

7- Si u(x,y) y v(x,y) son armnicas en D , demostrar que f(z) = (ux + vy) + i (vx uy) es
analtica en D.

22
Mdulo I - Unidad 1