2.

FUNCIONES DE VARIABLE COMPLEJA

Nos proponemos aquí de…nir derivada de funciones complejas, y visualizar métodos de cálculo.
Presentaremos también un concepto más fuerte que el de la derivabilidad: el de la analiticidad, que
es clave en la teoría de variables complejas.

De…nición 2.1. Una función compleja de variable compleja es una función f que va de un sub-
conjunto D (no vacío) de los números complejos a los números complejos. Es común llamar z a la
variable independiente y w = f (z) a la dependiente. Simbólicamente:

f :D C !C
z 7! w = f (z)

El conjunto D se llama dominio de de…nición de f . Adoptaremos la convención de que si D no

está explícitamente especi…cado, se sobreentiende que es el más grande subconjunto de C para el
cual la expresión que corresponde a f (z) está de…nida.

Si z = x + iy y w = u + iv, entonces es f (x + iy) = u + iv, donde u y v son funciones reales

que dependen de x e y. Es decir:

f (z) = u (x; y) + iv (x; y)

donde la función parte real u : D R2 ! R y la función parte imaginaria v : D R2 ! R.

Ejemplo 2.2. Dadas las siguientes funciones, hallar el dominio y determinar sus partes real e
imaginaria.

z+1
(a) f (z) = z 2 + 1 (b) g (z) =
z 2i
Resolución: (a) f (z) = z 2 + 1. El dominio de esta función es C.
f (z) = f (x + iy) = (x + iy)2 + 1 = x2 y 2 + 1 + i2xy.
Luego, u (x; y) = x2 y 2 + 1 y v (x; y) = 2xy.
z+1
(b) g (z) = . El dominio de esta función es D = fz 2 C : z 6= 2ig.
z 2i
x + iy + 1 (x + 1) + iy [(x + 1) + iy] [x i (y 2)]
g (z) = g (x + iy) = = = =
x + iy 2i x + i (y 2) x2 + (y 2)2
x2 + x + y 2 2y + i (2x y + 2) x2 + x + y 2 2y 2x y + 2
= 2 = 2 +i
2
x + (y 2) 2
x + (y 2) x + (y 2)2
2
2
x +x+y 2 2y 2x y + 2
Luego, u (x; y) = 2 y v (x; y) = .
2
x + (y 2) x + (y 2)2
2

Si z = rei , entonces:
f (z) = u (r; ) + iv (r; )

1 1 r2 + 1 i
Ejemplo 2.3. f (z) = z + , si z = rei , entonces f rei = rei + = e .
z re i r
El dominio es D = fz 2 C : z 6= 0g
 I I
m f m

v w
z
y

R R
x u
e e
Figure 2.1: Planos z y w para z 7! w = f (z)

2.0.1. Representación grá…ca

El grá…co de una función compleja f tal que f : D C ! C es el conjunto:
G = f(z; w) 2 D C C C : w = f (z)g
que está contenido en un espacio vectorial sobre los reales de dimensión cuatro.
Como no podemos estudiar una función compleja a partir de su grá…co en cuatro dimensiones,
vamos a representar a los valores de la variable independiente z y de la veriable dependiente w en
dos planos complejos distintos que llamaremos plano z y plano w, respectivamente. Entonces, la
relación funcional w = f (z) establece una correspondencia entre los puntos (x; y) del plano z y los
puntos (u; v) del plano w.
Ejemplo 2.4. Sea la función f : D C ! C con D = fz 2 C : Im z = (Re z)2 ; z 6= 0g tal que:
w = f (z) = Ln z = ln jzj + i Arg z
Si z = (x; y) con y = x2 , podemos expresar a esta función del siguiente modo:
p
ln x 1 + x2 + iArctan
| {z x} si x > 0
| {z } v(x;y)
u(x;y)
w= p
ln x 1 + x2 + i( + Arctan x) si x < 0
| {z } | {z }
v(x;y)
u(x;y)

donde 2 Arctan xy 2
Las …guras siguientes muestran los planos z y w, correspondientes al grá…co de la función
w = Ln z en el dominio indicado.

D={z 2 C : Im z = (Re z)2 ; Re z 6= 0} f (D) = fw 2 C : w = Ln z; z 2 Dg

2
Ejemplo 2.5. Dada la función del ejemplo 2.4, hallar:

1. Los valores de f (z), en los puntos: z1 = (2; 4), z2 = ( 2; 4), z3 = 10 3 ; 10 6 y

z4 = 10 3 ; 10 6
2. Los puntos z = (x; y) tales que u (x; y) = 0
3. Los puntos de intersección de la curva del plano w con el eje v.

Resolución:
p
1. w1 = f (z1 ) = Ln (2 + 4i) = ln 2 5p
+ i Arctan 2 = 1: 4979 + +1: 1071i
p
w2 = f (z2 ) = Ln ( 2 + 4i) = ln 2 5 +i ( + Arctan ( 2)) = ln 2 5 +i ( + Arctan ( 2)) =
= 1: 4979 + 2: 0344i
Podemos comprobar estos resultados en las …guras del ejemplo 2.4.
p
w3 = f (z3 ) = Ln 10 3 + 10 6 i = ln 10 3 1 + 10 6 +i + Arctan 10 3 = 6: 9078+
3: 1406i p
w4 = f (z4 ) = Ln 10 3 + 10 6 i = ln 10 3 1 + 10 6 + i Arctan 10 3 = 6: 9078 + 0:001i
Podemos comprobar estos resultados en los siguientes grá…cos.

p
2. Por ser w = f (z) = Ln z = ln jzj + i Arg z, tenemos que u (x; y) = ln jzj =qln jxj 1 + x2
p p p
5 1
u (x; y) = ln jzj = ln x2 + y 2 = ln x2 + x4 = 0 ) x2 + x4 = 1 ) x = 2
qp p q p p
5 1 5 1 5 1 5 1
Por lo tanto, z1 = (x1 ; y1 ) = 2 ; 2 y z2 = (x2 ; y2 ) = 2 ; 2

3. Por ser w = f (z) = Ln z = ln jzj + i Arg z, tenemos que v (x; y) = Arg z. En los puntos de
intersección de la curva con el eje v, debe ser u = 0.
qp p qp
5 1 5 1 5 1
Si z1 = 2 ; 2 : v (x1 ; y1 ) = Arg z1 = Arctan 2 = 0: 66624
qp p qp
5 1 5 1 5 1
Si z2 = 2 ; 2 : v (x2 ; y2 ) = Arg z2 = + Arctan 2 = 2: 4754

Funciones trigonométricas
eiz + e iz eiz e iz i eiz e iz
cos z = sen z = tan z =
2 2i eiz + e iz
cos z y sen z son funciones periódicas, de período 2 ; cos z es par y sen z es impar.
Las relaciones entre ellas son:
cos z = sen 2 z
cos2 z + sen2 z = 1
tan z es de período :

3
 Funciones hiperbólicas

ez + e z ez e z ez e z
cosh z = senh z = tanh z =
2 2 ez + e iz

Si z = iy

ey + e y e y ey
cos (iy) = = cosh y sen (iy) = = i senh y
2 2i

Función logarítmica
Ln z = ln jzj + i Arg z

Función potencial Sean z; a 2 C, z 6= 0:

z a = ea Ln z

Ejemplo 2.6. Sea f (z) = z 2+i , hallar f ( 3) :

Resolución: f ( 3) = ( 3)2+i = e(2+i) Ln( 3) = e(2+i)(ln 3+i ) = e(2 ln 3 )+i(ln 3+2 ) =

= e(2 ln 3 ) [cos (ln 3 + 2 ) + i sen (ln 3 + 2 )] = 0:1769 + 0: 34637i.

2.1. Límite y continuidad

Límite Sea f : D C ! C y z0 un punto de acumulación de D, decimos que:
lim f (z) = w0 , 8" > 0; 9 > 0 : 8z 2 Df ; 0 < jz z0 j < ) jf (z) w0 j < "
z!z0

Observación 1. Para un " dado, cualquier 1 tal que 0 < 1 < , también veri…ca que 8z 2
Df ; 0 < jz z0 j < 1 ) jf (z) w0 j < "

Observación 2. En el plano complejo existen in…nitas trayectorias por las que podemos acercarnos
a un punto z0 . Si por dos trayectorias distintas, los límites de f (z) no son iguales, entonces no
existe el lim f (z).
z!z0

Ejemplo 2.7. Veri…car, usando la de…nición, que lim [z (1 3i) + 2i] = 7 + i

z!1+2i

Resolución: Tenemos que probar que: 8" > 0; 9 > 0 : 8z 2 Df ; 0 < jz 1 2ij < )
jz (1 3i) + 2i 7 ij < "
7 i p p
jz (1 3i) + 2i 7 ij = jz (1 3i) 7 + ij = j1 3ij z = 10 jz 1 2ij < 10 .
1 3i
Luego, < p"10 .

Proposición 2.8. Sea f (z) = u (x; y)+iv (x; y), z0 = x0 +iy0 , w0 = u0 +iv0 . Entonces lim f (z) =
z!z0
w0 , lim u (x; y) = u0 y lim v (x; y) = v0
(x;y)!(x0 ;y0 ) (x;y)!(x0 ;y0 )
Es decir que el límite de una función de variable compleja existe si, y sólo si, existen los límites
(dobles) de sus partes real e imaginaria en el punto (x0 ; y0 ), y, en ese caso,

las partes real e imaginaria del límite son, respectivamente, los límites de la parte real y de
lparte imaginaria.

Proposición 2.9. f (z) = k (constante compleja) ) lim f (z) = k

z!z0

Proposición 2.10. Si ; 2 C; 6= 0 : lim [ z + ] = z0 +

z!z0

4
Proposición 2.11. Si lim f1 (z) = w1 y lim f2 (z) = w2 , entonces:
z!z0 z!z0

1. 1. lim [f1 (z) + f2 (z)] = w1 + w2

z!z0
2. lim [f1 (z) f2 (z)] = w1 w2
z!z0
f1 (z) w1
3. lim = , si w2 6= 0
z!z0 f2 (z) w2

Límite in…nito y límite en el in…nito La de…nición de límite que hemos considerado hasta
ahora corresponde a valores …nitos, pero existen otras variantes de la de…nición cuando z ! 1 o
f (z) ! 1. En el caso real se puede distinguir entre los límites +1 y 1, pero en el complejo
hay un único límite in…nito.
Dejamos como ejercicio la formalización de las de…niciones correspondientes a los tres casos de
límite considerando el 1.

Ejemplo 2.12. Dada la función f1 : D C1 ! C1 , f (z) = Ln z en D = fz 2 C1 : Im z =

2
(Re z) ; z 6= 0g. Hallar, si existe: (a) lim f1 (z) (b) lim f1 (z)
z!0 z!1

Resolución:

(a) Para estudiar lim f1 (z), consideramos primero cuando z se aproxima a cero a través de la
z!0
parábola 2
h y =px cuando x < 0; y luego icuando x > 0.
lim Ln jxj 1 + x2 + i ( + Arctan x) = 1 + i = 1
x!0 h i
p
lim Ln x 1 + x2 + i Arctan x = 1 + i0 = 1
x!0+
Luego, lim f1 (z) = 1
z!0

(b) lim f1 (z)

z!1
p
lim Ln jxj 1 + x2 + i ( + Arctan x) = 1 + i = 1
x! 1
p 2
2
lim Ln x 1 + x + i Arctan x = 1 + i = 1
x!+1 2
Luego, lim f1 (z) = 1
z!1

Continuidad Sea f : D C ! C y z0 un punto de acumulación de D, decimos que f es continua

en z0 sii 8" > 0; 9 > 0 : 8z 2 Df , jz z0 j < ) jf (z) f (z0 )j < ".
Ésto es equivalente a decir que f es continua en el punto z0 , si:

1. 1. Existe f (z0 )
2. Existe lim f (z)
z!z0
3. lim f (z) = f (z0 )
z!z0

Si f es continua en todo punto de D, decimos que f es continua en D.

Ejemplo 2.13. Estudiar la continuidad de la función f (z) = Arg z en z0 = 3.

Resolución: Veamos si se cumplen las tres condiciones anteriores.

1. Existe f ( 3) = Arg ( 3) =

5
 2. No existe lim Arg z, ya que si z se aproxima a 3 por una circunferencia de radio 3 centrada
z! 3
en el origen, por el segundo cuadrante, el argumento de z tiende a , y por el tercer cuadrante
tiende a , en consecuencia no existe el límite. Luego la función f (z) = Arg z no es continua
en z0 = 3. Por analogía, deducimos que esta función no es continua sobre el semieje real de
los números negativos, tampoco es continua en z = 0 por no estar de…nida en dicho punto.
Proposición 2.14. Una función f (z) = u (x; y) + iv (x; y) es continua en un punto z0 = (x0 ; y0 )
si y sólo si sus funciones componentes u y v son continuas en ese punto.
Proposición 2.15. Si dos funciones son continuas en un punto, su suma y su producto son con-
tinuos en ese punto; su cociente es continuo en ese punto si el denominador es distinto de cero.
Esta propiedad es consecuencia inmediata de la proposición .2.11.

3. Analiticidad

Derivada Si f : D C ! C, se de…ne derivada de f en z0 , mediante:

df f (z0 + M z) f (z0 )
= f 0 (z0 ) = lim
dz z0 Mz!0 Mz
o también:
f (z) f (z0 )
f 0 (z0 ) = lim
z!z0 z z0
Obviamente que la derivada existe si existe el límite anterior.
Ejemplo 3.1. Hallar la derivada de las siguientes funciones, en caso de existir:

(a) f (z) = (1 + 2i) z 2 (b) g (z) = jzj2

Resolución:
(1 + 2i) (z0 + M z)2 (1 + 2i) z02 2 (1 + 2i) z0 M z + (1 + 2i) M z 2
(a) f 0 (z0 ) = lim = lim =
Mz!0 Mz Mz!0 Mz
[2 (1 + 2i) z0 + (1 + 2i) M z] M z
= lim = 2 (1 + 2i) z0 . La función f es derivable en C:
Mz!0 Mz
j0+ M zj2
0 jM zj2 M zM z
(b) Si z0 = 0: g 0 (0) = lim = lim = lim = lim M z = 0.
Mz!0 Mz Mz!0 M z Mz!0 M z Mz!0
jz 0 + M zj2
jz 0 j2
(x0 + M x)2
+ (y 0 + M y)2
x20 y02
Si z0 6= 0: g 0 (z0 ) = lim = lim =
Mz!0 Mz Mz!0 Mx+iMy
2x0 M x+ M x2 + 2y0 M y+ M y 2
= lim
Mz!0 Mx+iMy
2x0 M x+ M x2
Cuando z ! z0 por la recta y = y0 , M y = 0: l1 = lim = 2x0
Mx!0 Mx
2y0 M y+ M y 2 2y0
Cuando z ! z0 por la recta x = x0 , M x = 0: l2 = lim = = 2y0 i
Mx!0 iMy i
Por ser x0 6= 0 e y0 6= 0: l1 6= l2 , por lo tanto no existe el límite del cociente, entonces la función
g sólo es derivable en z0 = 0.
Proposición 3.2. Si una función compleja es derivable en un punto, es continua en dicho punto.
Prueba:
Sea f una función compleja derivable en z0 :
f (z) f (z0 ) f (z) f (z0 )
lim [f (z) f (z0 )] = lim (z z0 ) = lim (z z0 ) lim =
z!z0 z!z0 z z0 z!z0 z!z0 z z0
= 0f 0 (z0 ) = 0. De manera que:
lim f (z) = lim [f (z0 ) + [f (z) f (z0 )]] = lim f (z0 ) + lim [f (z) f (z0 )] = f (z0 ) + 0 =
z!z0 z!z0 z!z0 z!z0
f (z0 )

6
Proposición 3.3. Una función real de variable compleja o tiene derivada cero o no existe.

Prueba:
Sea M z =M x + i M y. Tomamos el límite del cociente incremental con M y = 0:
f (z+ M z) f (z) f (x+ M x + iy) f (x + iy)
lim = lim . Si este límite existe es un número
Mz!0 Mz Mx!0 Mx
real.
Tomamos el límite del cociente incremental con M x = 0:
f (z+ M z) f (z) f (x + y + i M y) f (x + iy)
lim = lim . Si este límite existe es un número
Mz!0 Mz My!0 iMy
imaginario.
Por lo tanto, si f 0 (z) tiene que ser cero o no existir.
Un ejemplo de este caso sería el ejemplo 3.1.

Proposición 3.4. Sean f1 y f2 funciones complejas tales que f10 (z0 ) y f20 (z0 ) existen, entonces:

dk
= 0; k: constante compleja.
dz
d [kf1 (z)]
= kf10 (z0 )
dz z0

d [f1 (z) f2 (z)]

= f10 (z0 ) f20 (z0 )
dz z0

d [f1 (z) f2 (z)]

= f10 (z0 ) f2 (z0 ) + f1 (z0 ) f20 (z0 )
dz z0

d f1 (z) f10 (z0 ) f2 (z0 ) f1 (z0 ) f20 (z0 )

= ; f2 (z0 ) 6= 0
dz f2 (z) z0 [f2 (z0 )]2

Proposición 3.5. Si u = g (z) es derivable en z0 y w = f (u) es derivable en u0 = g (z0 ) entonces:

d
F 0 (z) = [f [g (z)]] = f 0 [g (z0 )] g 0 (z0 )
dz z0

Teorema 3.6. Condición necesaria de derivabilidad

Si la derivada de una función f (z) = u (x; y) + iv (x; y) existe en el punto z0 , entonces ux , uy ,

vx y vy existen en z0 y se veri…ca que:

ux (x0 ; y0 ) = vy (x0 ; y0 )
(Ecuaciones de Cauchy-Riemann)
uy (x0 ; y0 ) = vx (x0 ; y0 )

Prueba: Dado que existe f 0 (z0 ) entonces existe el límite del cociente incremental en dicho punto.
f (z0 + M z) f (z0 )
f 0 (z0 ) = lim =
Mz!0 Mz
u (x0 + M x; y0 + M y) + iv (x0 + M x; y0 + M y) u (x0 ; y0 ) iv (x0 ; y0 )
= lim =
(Mx0 ;My)!0 Mx+iMy
u (x0 + M x; y0 + M y) u (x0 ; y0 ) v (x0 + M x; y0 + M y) v (x0 ; y0 )
= lim +i =
(Mx0 ;My)!0 Mx+iMy Mx+iMy
Si z ! z0 por la recta y = y0 : M y = 0 y M z =M x, luego:
u (x0 + M x; y0 ) u (x0 ; y0 ) v (x0 + M x; y0 ) v (x0 ; y0 )
f 0 (z0 ) = lim +i = ux (x0 ; y0 )+ivx (x0 ; y0 ) (1)
Mx!0 Mx Mx
Si z ! z0 por la recta x = x0 : M x = 0 y M z = i M y, luego:
u (x0 ; y0 + M y) u (x0 ; y0 ) v (x0 ; y0 + M y) v (x0 ; y0 )
f 0 (z0 ) = lim +i = vy (x0 ; y0 ) iuy (x0 ; y0 ) (2)
My!0 iMy iMy

7
 De (1) y (2), resulta necesario que:

ux (x0 ; y0 ) = vy (x0 ; y0 )
uy (x0 ; y0 ) = vx (x0 ; y0 )

Y podemos decir que:

f 0 (z0 ) = ux (x0 ; y0 ) + ivx (x0 ; y0 )

Ejemplo 3.7. Veri…car si se cumple la condición necesaria de derivabilidad de la siguiente función

en z = 0. 8 3
< x y3 x3 + y 3
+ i si z 6= 0
f (z) = f (x; y) = x2 + y 2 x2 + y 2
:
0 si z = 0

x3
u (x; 0) u (0; 0) 2
Resolución: ux (0; 0) = lim = lim x = 1
x!0 x 0 x!0 x
y3
v (0; y) v (0; 0) y2
vy (0; 0) = lim = lim =1
x!0 y 0 x!0 y
Se veri…ca que ux (0; 0) = vy (0; 0)
y3
u (0; y) u (0; 0) y2
Veamos si se veri…ca la otra ecuación: uy (0; 0) = lim = lim = 1
y!0 y 0 y!0 y
x3
v (x; 0) v (0; 0) 2
vx (0; 0) = lim = lim x = 1
x!0 x 0 x!0 x
uy (0; 0) = vx (0; 0). Se cumple la condición necesaria de derivabilidad en el punto z = 0. Pero
ésto no me asegura que la función es derivable en dicho punto. Veamos si es derivable en z = 0.
Para tomar el límite del cociente incremental de f en el punto z = 0, consideremos primero la
trayectoria y = x:
3
0 + i 2Mx
2Mx2 iMx
lim = lim = 12 + 21 i (3)
Mx!0 (1 + i) M x Mz!0 (1 + i) M x
Ahora consideremos la trayectoria y = 0.
M x3 M x3 1 1
lim + i = lim (M x + i M x) 1 + i (4)
Mx!0 M x 2 Mx 2 M x Mx!0 Mx
Como (3) y (4) no son iguales, no existe el límite, por tanto la función no es derivable en z = 0,
aún cuando se cumple la condición necesaria.

Teorema 3.8. Condición su…ciente de derivabilidad

Sea f (z) = u (x; y) + iv (x; y) una función tal que ux , uy , vx y vy existen y son continuas en
z0 = (x0 ; y0 ) y se veri…can las ecuaciones de Cauchy-Riemann en dicho punto, entonces f 0 (z0 )
existe.
Prueba: u (x; y) y v (x; y) son diferenciables en (x0 ; y0 ) por tener derivadas parciales continuas
en dicho punto, entonces podemos expresar lo siguiente:
u (x0 + M x; y0 + M y) u (x0 ; y0 ) = ux (x0 ; y0 ) M x + uy (x0 ; y0 ) M y + "1 M x + "2 M y
v (x0 + M x; y0 + M y) v (x0 ; y0 ) = vx (x0 ; y0 ) M x + vy (x0 ; y0 ) M y + "3 M x + "4 M y
con lim "i = 0, i = 1; 2; 3; 4
(Mx;My)!(0;0)
f (z0 + M z) f (z0 )
lim =
Mz!0 Mz
u (x0 + M x; y0 + M y) + iv (x0 + M x; y0 + M y) u (x0 ; y0 ) iv (x0 ; y0 )
= lim =
(Mx;My)!(0;0) Mx+iMy

8
 ux M x + uy M y + "1 M x + "2 M y + i [vx M x + vy M y + "3 M x + "4 M y]
= lim con ux ; uy; vx
(Mx;My)!(0;0) Mx+iMy
y vy evaluadas en (x0 ; y0 )
ux M x + uy M y + "1 M x + "2 M y + i [ uy M x + ux M y + "3 M x + "4 M y]
= lim =
(Mx;My)!(0;0) Mx+iMy
ux [M x + i M y] + uy [M y i M x] + ("1 + i"3 ) M x + ("2 + i"4 ) M y
= lim =
(Mx;My)!(0;0) Mx+iMy
ux M z iuy M z + ("1 + i"3 ) M x + ("2 + i"4 ) M y
= lim =
Mz!0 Mz
Mx My
= ux iuy + lim ("1 + i"3 ) + lim ("2 + i"4 ) ?
Mz!(0;0) M z Mz!(0;0) Mz
Mx My Mx My Mx
y están acotadas porque 0 < 1 y 0< 1, entonces lim ("1 + i"3 ) =
Mz Mz Mz Mz Mz!0 Mz
My
0 y lim ("2 + i"4 ) = 0. Reemplazando en ?:
Mz!0 Mz
f (z0 + M z) f (z0 )
lim = ux (x0 ; y0 ) iuy (x0 ; y0 ) = ux (x0 ; y0 ) + ivx (x0 ; y0 ) = f 0 (z0 )
Mz!0 Mz

Ecuaciones de Cauchy-Riemann en coordenadas polares Las ecuaciones de Cauchy-

Riemann se expresan en coordenadas polares de la siguiente forma:
@u 1 @v @v 1 @u
= = con r 6= 0 (3.1)
@r r@ @r r@
y si existe f 0 (r; ), ésta se puede calcular por la expresión:

@u @v @u @v i
f 0 (z) = +i e i
o f 0 (z) = +i e i
(3.2)
@r @r @ @ r

Ejercicio 3.1. Mostrar que se veri…can las igualdades de las expresiones 3.1 y3.2.

Función analítica
De…nición 3.9. Una función es analítica en un punto si es derivable en un entorno de dicho
punto.
Simbólicamente:
Sea f : D C ! C, z0 2 D, f es analítica en z0 si 9r > 0 : 8z 2 B (z0 ; ") ; 9f 0 (z)

Observación 3. Una función puede fácilmente tener derivada en un punto sin ser analítica en ese
punto.

Ejemplo 3.10. Vimos, en el ejemplo 3.1b), que la función f (z) = jzj2 sólo es derivable en z = 0,
por tanto, cualquier entorno de 0 contiene puntos donde no existe la derivada, en consecuencia
f (z) no es analítica en z = 0 (Observación 3). Tampoco es analítica en otro punto.

Ejemplo 3.11. Determinar para qué valores de z la función f (z) = x2 + iy 2 es analítica.

Consideremos la condición su…ciente de derivabilidad.

ux = 2x = 2y = vy y vx = 0 = uy
Para que se veri…quen las ecuaciones de Cauchy-Riemann, debe ser y = x. Si z0 es un punto de
esta recta, todo entorno con centro es z0 contendrá puntos en los que no existe f 0 (z), por lo tanto
f (z) no es analítica.

Teorema 3.12. Si dos funciones son analíticas en un punto, la suma, la diferencia y el producto
son analíticas en ese punto. El cociente de estas funciones es una función analítica en el punto,
excepto en los puntos en los que el denominador se anula.

9
Teorema 3.13. La composición de funciones analíticas es analítica.

De…nición 3.14. Una función es analítica en un conjunto abierto si es analítica en cada punto
del mismo.

No es correcto hablar de una función analítica sin especi…car el conjunto donde se considera la
analiticidad.

De…nición 3.15. Una función es entera si es analítica en todo el plano complejo.

eiz + e iz
Ejemplo 3.16. Sea f (z) = cos z =
2

ieiz ie iz i eiz e iz
e iz eiz
f 0 (z) = = == sen z
2 0 2 2i
Dado que existe f (z) para todo z 2 C, la función f (z) = cos z es analítica en C, luego, es una
función entera.

Teorema 3.17. Condición necesaria de analiticidad

Si f (z) = u (x; y) + iv (x; y) es analítica en z0 , entonces existen ux , uy , vx y vy en un entorno

de z0 y se veri…can las ecuaciones de Cauchy-Riemann en dicho entorno.

Teorema 3.18. Condición su…ciente de analiticidad

Sea f (z) = u (x; y) + iv (x; y), si existen ux , uy , vx y vy , son continuas y se veri…can las
ecuaciones de Cauchy-Riemann en un entorno de z0 = x0 + iy0 , entonces f es analítica en z0 .
Esta condición es necesaria y su…ciente.

Ecuación de Laplace 1 Teniendo en cuenta las condiciones de Cauchy-Riemann no podemos

elegir arbitrariamente dos funciones diferenciables u (x; y) y v (x; y) y asegurar que resulta una
función f = u + iv analítica.
Una vez elegida la parte real (o la parte imaginaria) de una función analítica queda determinada
la parte imaginaria (o la parte real) de dicha función, a menos de una constante arbitraria, por las
ecuaciones: ux = vy y uy = vx .

Observación 4. Más adelante demostraremos que si f (z) es analítica en un dominio (conjunto

abierto y conexo) D, entonces su derivada es también analítica en D. Como consecuencia de ésto
u y v tendrán derivadas parciales continuas de todos los órdenes, y en particular, las derivadas
cruzadas serán iguales en D.

Si f (z) es analítica en D, entonces 8z 2 D: ux = vy y uy = vx

Ya que las segundas derivadas existen: uxx = vyx y uyy = vxy
Por la continuidad de las derivadas segundas: vyx = vxy
Entonces: uxx = uyy
En consecuencia:
donde:
uxx + uyy = 0 o r2 u = 0 (Ecuación de Laplace)
@2 @2
r2 = + (Operador Laplaciano)
@x2 @y 2
1
Pierre Simon Laplace (1749-1827). Astrónomo, físico y matemático francés. Descubrió la ecuación diferencial
que lleva su nombre cuando estudiaba la gravitación y su relación con el movimiento planetario.

10
 Función armónica Una función real u (x; y) se dice que es armónica en un dominio D (con-
junto abierto y conexo), si para todo (x; y) en D, las segundas derivadas parciales existen, son
continuas y su laplaciano es cero: r2 u = 0.

Teorema 3.19. Si f (z) = u (x; y) + iv (x; y) es analítica en un dominio (abierto y conexo) D,

entonces u (x; y) y v (x; y) son armónicas en D.

Por lo dicho anteriormente la demostración de este teorema es inmediata.

Conjugadas armónicas Dos funciones u y v armónicas en un dominio D (abierto y conexo),

tales que f = u + iv es analítica, se llaman armónicas conjugadas:
Habitualmente decimos que v es la conjugada armónica de u.

Ejemplo 3.20. Mostrar que la función u (x; y) = ex cos y es armónica, hallar su conjugada ar-
mónica v (x; y) y expresar la función analítica f (z) = u (x; y) + iv (x; y).

Resolución: Hallamos la segundas derivadas parciales para veri…car si u es armónica.

ux = ex cos y, uxx = ex cos y, uy = ex sen y, uyy = ex cos y
uxx + uyy = ex cos y ex cos y = 0 Comprobamos que u es armónica.
Para hallar la conjugada armónicaR v (x; y)usamos las ecuaciones de Cauchy-Riemann:
vy = ux ) vy = ex cos y ) v = ex cos ydy = ex sen y + c (x)
@ x
vx = uy ) [e sen y + c (x)] = ( ex sen y) ) ex sen y + c0 (x) = ex sen y ) c0 (x) = 0
@x
) c (x) = k (constante)
Luego: v (x; y) = ex sen y + k
Entonces f (z) = ex cos y + i (ex sen y + k) ) f (z) = ex cos y + iex sen y + ik ) f (z) = ez + ik

Teorema 3.21. Dada una función real u (x; y) armónica en un dominio simplemente conexo D,
existe una función analítica en D cuya parte real es igual a u (x; y).

También existe una función analítica en D cuya parte imaginaria es u (x; y). Pues si
f (z) = u + iv ) if (z) = iu v ) g (z) = v + iu también es analítica, por ser el producto de
dos funciones analíticas.

Analiticidad de funciones elementales

Función polinómica f (z) = z n ) f 0 (z) = nz n 1, con n 2 N Función entera

Función exponencial
dez
= ez
dz
Función entera

Funciones trigonométricas
d cos z d sen z
= sen z = cos z
dz dz
cos z y sen z son funciones enteras.

Funciones hiperbólicas
d cosh z d senh z
= senh z = cosh z
dz dz
Puesto que ez y e iz son enteras, cosh z y senh z también lo son.

11
 Función logarítmica
d Ln z 1
=
dz z
Esta función es analítica para < Arg z < y z 6= 0

Singularidad Un punto z0 es un punto singular de la función f , si f no es analítica en z0 pero

es analítica en algún punto de todo entorno reducido de z0 .

z 2 3z
Ejemplo 3.22. f (z) = . Las funciones z 2 3z y (z + 2) (z 5i) son enteras,
(z + 2) (z 5i)
entonces por el teorema 3.12, las singularidades de f (z) son z = 2 y z = 5i.

Ejemplo 3.23. g (z) = jzj2 . Vimos en el ejemplo 3.10 que esta función no analítica en ningún
punto, por lo tanto no tiene singularidades.
1
Ejemplo 3.24. h (z) = y y ) cos x
. Aplicando el teorema 3.12, tenemos
(e + e i (ey e y ) sen x
que:
h i
(ey + e y ) cos x i (ey e y ) sen x = 0 ) (x; y) = (2k + 1) ; 0 , con k 2 Z, estos in…nitos
2
puntos son las singularidades de h (z).

Función Multiforme Una función multiforme (o multivaluada) de un conjunto A a un conjunto

B, es una relación que asigna a cada elemento de A por lo menos un punto de B, y existe por lo
menos un elemento de A que corresponde a dos o más elementos de B.
Una función multiforme puede considerarse como una colección de funciones uniformes o uni-
valuadas.

Ejemplo 3.25. Una función uniforme de ln z es f (z) = Ln z con dominio D = fz 2 C : 4 <

arg z 94 o z 6= 0g

Rama Una función univaluada de una función multiforme, y analítica en cierto dominio, se
llama rama de la función multiforme en ese dominio.
Recordar que en todo punto del dominio, la función univaluada debe tomar uno y sólo uno de
los valores de la función multiforme.
f (z) = Ln z con 32 < arg z 2

3
Ejemplo 3.26. Dada la función uniforme f (z) = Ln z con 2 < arg z 2

1. Determinar el mayor dominio para que f (z) sea una rama de ln z.

2. Hallar f ( 2) y f ( 1 + i)

Resolución:

1. f (z) = Ln z = ln jzj + i arg z

Antes de estudiar la analiticidad, veamos cuál es el conjunto donde la función es continua.
La función no es continua en el origen porque ln jzj no está de…nida en z = 0. Tampoco es
continua en la parte positiva del eje imaginario, por no ser continuo el arg z en dicho semieje
(por qué?). Luego, el dominio de continuidad es D = fz 2 C : 32 < arg z < 2 _ z 6= 0g
Veamos que esta función es analítica en D. Para obtener la derivada pasemos a coordenadas
polares, esto es f (z) = ln r + i
@u @v 1 1 1
f 0 (z) = +i e i = + i0 e i = i = , esta función existe para todo z 2 D,
@r @r r re z
luego, el mayor dominio para que la función dada sea una rama de ln z es D.

12
 2. f ( 2) = Ln ( 2) = ln 2 + i ( ) = 0: 69315 3: 1416i
p 5
f ( 1 + i) = Ln ( 1 + i) = ln 2 + i = 0: 34657 3: 927i
4

Todas las ramas de ln z son tales que el arg z pertenece a un intervalo abierto de longitud 2 .

Corte Se llama corte de rami…cación o corte a la curva que se usa para crear un dominio de
analiticidad.
En el ejemplo anterior el corte es el simieje positivo imaginario con el origen.

Punto de rami…cación Se llama punto de rami…cación de una función multiforme al punto

en común que tienen los cortes de todas las ramas de la función multiforme.

Ejemplo 3.27. El punto de rami…cación de ln z es z = 0, dado que todos los cortes son semirrectas
que parten desde el origen.

13