Matemática III

Instituto de Ingeniería y Agronomía



Capítulo 2: Funciones complejas de variable compleja



1. Funciones de variable compleja

1.1. Generalidades
Quizás uno de los conceptos más importantes y generalizados de la matemática sea el de
función. Entendemos por función una regla o relación de correspondencia entre dos conjuntos:

Una función de un conjunto A a un conjunto B es una regla de correspondencia

que asigna a cada elemento de A un único elemento de B.
Es decir, una función es una regla que toma como entrada un elemento de A y como salida
un elemento de B.

En el caso de las funciones reales, tanto el conjunto A como el B estaban contenidos en R

(o eran R). Se trataba de funciones reales a variables reales.

En nuestro caso trataremos con funciones complejas de variable compleja, que llamaremos
simplemente funciones complejas, donde tanto el conjunto A como el B estarán contenidos en
C (o serán el propio C).

En términos generales consideremos una función f que asigna al elemento a ∈ A un ele-

mento b ∈ B . Decimos entonces que el elemento b = f (a) ∈ B es la imagen por f del elemento
a. Al conjunto A lo llamamos dominio o dominio de denición y al conjunto B rango o imagen.

1.2. Denición:
Sea f : D ⊆ C → C una función compleja de variable compleja. Esto es, que a todo
número complejo perteneciente al conjunto D le corresponde por f un único número complejo
perteneciente al conjunto C. Lo que es equivalente a escribir:

f (z) = w , con z ∈D∧w ∈C

1
 Ejemplos:

•f (z) = z 2 − 2i

Esta expresión puede evaluarse para cualquier número complejo y el resultado de aplicar
la función es otro número complejo. La imagen de un dado complejo por f se obtiene
realizando las operaciones dadas, luego, si consideramos z1 = 1 − i y z2 = 3 + 2i ambos
∈ el dominio de f :

f (1 − i) = (1 − i)2 − 2i = 2i − 2i = −4i
f (3 + 2i) = (3 + 2i)2 − 2i = 9 − 4 + 12i − 2i = 5 + 10i
1
•f (z) = z

1
De nuestras deniciones previas sabemos que = |z|z̄ 2 no está denida
z si z = 0, por

lo tanto el dominio de esta función compleja será D = {z ∈ C/z 6= 0}. Consideremos

nuevamente a z1 = 1 − i y z2 = 3 + 2i ambos ∈ D :

1 1+i 1+i 1 1
f (1 − i) = 1−i = |1+i|2 = 2 = 2 + 2i
1 3−2i 3−2i 3 2
f (3 + 2i) = 3+2i = |3+2i|2 = 13 = 13 − 13 i

1.3. Partes Real e Imaginaria de una función compleja:

A partir de nuestra denición: f (z) = w, con z ∈ D ∧ w ∈ C z y w son complejos por lo
que pueden ser expresados en forma binómica, si z = x + iy y w = u + iv la ecuación que
dene la función puede escribirse como.

f (x + iy) = u + iv , con u, v ∈ R

Es fácil notar que los valores de u y v dependen de los iniciales x e y. Retomando nuestro
ejemplo anterior:

f (z) = z 2 − 2i → f (x + iy) = (x + iy)2 − 2i = x2 − y 2 + (2xy − 2)i

Luego:

u(x, y) = x2 − y 2 = Re(w)

f (z) = w = u + iv = x2 − y2 + (2xy − 2)i =
v(x, y) = 2(xy − 1) = Im(w)
Lo que nos lleva nuevamente al estudio de funciones reales, ya que nos encontramos con dos
funciones u(x, y) y v(x, y) que son funciones reales de dos variables. De manera que podemos
reescribir nuestra denición:

f (x + iy) = u(x, y) + iv(x, y) (1)

2
 Ejemplo:

Sea f (z) = z 2 , con z y w denidas en el párrafo anterior resulta:

w = (x + iy)2 = x2 + (iy)2 + 2ixy = (x2 − y 2 ) + i(2xy)

con lo cual u(x, y) = x2 − y 2 y v(x, y) = 2xy a .

a También podemos representar las partes real e imaginaria en términos de las coordenadas polares de
z , ρ y θ de la forma:

w = z 2 = f (ρeiθ ) = u(ρ, θ) + iv(ρ, θ)

Volviendo a nuestro ejemplo:

w = z 2 = (ρeiθ )2 = ρ2 · e2iθ = ρ2 cos(2θ) + iρ2 sin(2θ)

con lo cual u(ρ, θ) = ρ2 cos(2θ) y v(ρ, θ) = ρ2 sin(2θ).

En (1) observamos que f (z) queda completamente denida a partir de las funciones u(x, y)
y v(x, y), aún cuando no esté presente de manera explícita la variable z . Analicemos este hecho
utilizando un ejemplo.

Supongamos que conozco las funciones:

u(x, y) = sin(x − y)

y
v(x, y) = x3 − y
ambas funciones reales de dos variables, luego

f (z) = sin(x − y) + i(x3 − y)

dene una función compleja.

Las funciones complejas que se denen a partir de u(x, y) y v(x, y) siempre pueden expre-
sarse en términos de z y z̄ , aunque no siempre será necesario.

Una función conocida:

Al denir la forma exponencial de un número complejo introdujimos el uso de la función
exponencial a partir de la fórmula de Euler:

eiθ = cos(θ) + i sin(θ)

Que no es sino un caso particular de denición general de la función exponencial compleja :

ez = ex cos y + iex sin y (2)

A partir de esta denición la función exponencial compleja cumple con las siguientes propie-
dades:

3
 e0 = 1
Es fácil ver desde (2) que:

z = 0 + 0i ⇒ e0 i = e0 cos 0 + ie0 sin 0 = 1 + 0i = 1

ez1 ez2 = ez1 +z2

Sean z1 = x1 + iy1 y z2 = x2 + iy2 luego:

z1 z2
e e = e (cos y1 + i sin y1 )ex2 (cos y2 + i sin y2 )
x1

Reagrupando:

ez1 ez2 = ex1 ex2 [(cos y1 cos y2 − sin y1 sin y2 ) + i(sin y1 cos y2 + cos y1 sin y2 )]
y utilizando las identidades trigonométricas para el seno y el coseno de la suma y la
propiedad del producto de potencias de igual base para la función exponencial real:

ez1 ez2 = ex1 +x2 [cos(y1 + y2 ) + i sin(y1 + y2 )] = ez1 +z2

ez1
ez2 = ez1 −z2
Esta propiedad se demuestra de manera análoga a la anterior utilizando las identidades
trigonométricas para el seno y el coseno de la resta.

(ez )n = enz
ez = ex (cosy + iseny) es un nuevo número complejo tal que |ez | = ex y Arg(ez ) = y .
Aplicando nuestra denición de potencias de un número complejo.

(ez )n = |ez |n [cos(nArg(ez )) + i sin(nArg(ez ))] = (ex )n [cos(ny) + i sin(ny)]

Utilizando las propiedades de la función exponencial real y la denición (2) resulta:

(ez )n = enz

En resumen, la función exponencial compleja preserva propiedades de la conocida función

exponencial real, y lo que es más importante aún:
Sea z = x + 0i ⇒
ez = ex
es decir, recuperamos la función exponencial en el caso que tomemos números complejos con
Im(z) = 0.

Sin embargo una de las diferencias más evidentes entre estas dos funciones es la periodici-
dad de ez .
En efecto, en su denición ez = ex [cos y +i sin y] involucra dos funciones trigonométricas reales
de período 2π , esto es.

cos y = cos(y + 2kπ) y sin y = sin(y + 2kπ) para k∈Z

Luego:

ex [cos y + i sin y] = ex [cos(y + 2kπ) + i sin(y + 2kπ)] ⇒

ez = ez+i2kπ con k∈Z
Retomaremos más adelante el estudio de la función exponencial y veremos consecuencias im-
portantes de la periodicidad de la misma.

4
1.4. Funciones complejas como mapeos
Si bien existe cierta analogía entre las funciones de variable real y las de variable compleja,
la representación de las mismas es totalmente diferente.

En el estudio de funciones reales de variable real una herramienta muy útil es la gráca de
la función. Siy = f (x) es una función a valores reales de la variable real x, su gráca se dene
como el conjunto de puntos (x, f (x)) en el plano cartesiano bidimensional. Analogamente para
funciones de dos variables reales a variable real; dada f (x, y) = z su gráca se dene como el
conjunto de puntos ((x,y), f(x,y)) en el espacio tridimensional.

Esta construcción es imposible de trasladar a las funciones complejas, ya que si f (z) = w

el conjunto de valores (z, f (z)) tiene cuatro dimensiones dado que z = (x, y) y w = (u, v). Es
decir, no podemos dibujar la gráca de una función compleja.
Una forma alternativa para obtener una representación geométrica de una función compleja
es la utilización de un mapeo complejo. La idea básica de esta construcción es describir la
correspondencia entre puntos de dos copias del plano complejo, habitualmente llamadas plano
z y plano w.

En general un mapeo complejo esta representado por un conjunto S de puntos en el plano

z y un conjunto S0 que es el correspondiente conjunto de imagenes de S bajo f , en el plano w.
Los conjuntos S y S0 no necesariamente son el dominio e imagen de f pero si están contenidos
en ellos; en general

S ⊆ Dominio(f ) y S 0 ⊆ Imagen(f ).

Los mapeos se realizan en pos de transmitir información acerca de la relación entre un

punto general z y su imagen f (z). Para cumplir ese objetivo es muy importante la elección
del conjunto S.

5
 Supongamos, por ejemplo, que tenemos una función cuyo dominio e imagen sean el con-
junto C. Si elegimos S =C para mapear obtendríamos nuevamente todo el plano complejo,
lo que no aporta ningún tipo de información nueva.

Se trabaja en general con subconjuntos del dominio "seleccionados"por su interés. Estos

subconjuntos pueden ser regiones abiertas o cerradas así como también pueden ser curvas. A
continuación estudiaremos algunos ejemplos.

Ejemplo:

Hallar el mapeo del conjunto S = {z ∈ C/Im(z) ≥ 3} por la función f (z) = 3z .

Consideremos primeramente los puntos frontera de S, es decir aquellos que forman parte
de la recta y = 3.

Los z ∈ la recta tienen la forma z = x + 3i con −∞ ≤ x ≤ ∞. Luego, al aplicar la función

sobre estos puntos hallamos f (z) = 3(x + 3i) = 3x + 9i = u + iv , de manera que u = 3x
y v = 9. Trasladando la restricción sobre x tendremos para u los límites −∞ ≤ u ≤ ∞.

Así la imagen en el plazo w de los puntos del plano z que pertenecen a la recta
(x, 3), −∞ ≤ x ≤ ∞ resultan ser los (u, 9), −∞ ≤ u ≤ ∞.

Estudiemos ahora la imagen por f de los puntos interiores. Si z es interior a S entonces

z = x + iy con −∞ ≤ x ≤ ∞ ∧ y > 3. Aplicando f tenemos f (x + iy) = 3(x + iy) = u + iv ;
luego

u = 3x ⇒ dado que − ∞ ≤ x ≤ ∞ resulta − ∞ ≤ u ≤ ∞
u = 3y ⇒ dado que y > 3 resulta v > 9
Podemos entonces escribir el conjunto mapeado por f desde S como:

S 0 = {w ∈ C/Im(w) ≥ 9}

6
Ejemplo:

Volvamos a mapear S = {z ∈ C/Im(z) ≥ 3} esta vez por la función f (z) = iz .

De nuestro análisis precedente sabemos que un z ∈ S puede escribirse como z = x + iy

con −∞ ≤ x ≤ ∞ ∧ y ≥ 3
Aplicando f tenemos f (x + iy) = i(x + iy) = −y + ix = u + iv ; luego

u = −y → dado que y ≥ 3 resulta u ≤ −3
v = x → dado que − ∞ ≤ x ≤ ∞ resulta − ∞ ≤ v ≤ ∞
Podemos entonces escribir el conjunto mapeado por f (z) = iz desde S como:

S 0 = {w ∈ C/Re(w) ≤ −3}

Ejemplo:
Hallar el mapeo de S = z ∈ C, x, y ∈ R; /y = 2x + 4 por la función f (z) = 2z + 6

Los números z ∈ S pueden escribirse como z = x + i(2x + 4) con −∞ ≤ x ≤ ∞. Al

aplicar f (z) sobre estos números resulta:

u = 2x + 6
w = f (z) = 2[x + i(2x + 4)] + 6 = (2x + 6) + i(4x + 8) = u + iv luego:
v = 4x + 8
Sin embargo, para poder gracar en el plano w, debemos eliminar
 x ya que esta vive en
u = 2x + 6 → x = (u − 6)/2
el plano z.
v = 4x + 8 → v = 4[(u − 6)/2] + 8 = 2u − 4
Incorporando la información respecto al rango de validez de x, podemos escribir los com-
plejos w∈ S 0 como w = (u, 2u − 4) con − ∞ ≤ u ≤ ∞. Luego:

S 0 = {w = (u, v), u, v ∈ R/v = 2u − 4}

7
2. Análisis de funciones de variable compleja

2.1. Generalidades
En esta sección estudiaremos las funciones complejas desde el punto de vista analítico. A
partir de la denición de límite encontraremos la derivada de f (z) y hallaremos las condiciones
necesarias (y sucientes) para que la función sea derivable.

2.2. Límites y continuidad

Recordemos el concepto de límite para funciones reales: la existencia del límite lı́m f (x) =
x−→x0
L implica que f (x) puede acercarse arbitrariamente a L si los valores de x se toman lo su-
cientemente cerca, pero no iguales, a x0 .

En el cálculo complejo el concepto intuitivo es el mismo: la existencia de lı́m f (z) = L

z−→x0
indica que f (z) puede acercarse arbitrariamente a L si se toman valores de z arbitrariamente
cerca, pero no iguales, a z0 .

Pero por supuesto, hay diferencias entre los casos real y complejo, y no son despreciables.
En principio debemos tener en cuenta que z = (x, y) y z0 = (x0 , y0 ) son puntos geométricos
en el plano complejo de manera que el acercarse de z a z0 puede tener lugar por innitos
caminos, tal como ocurría con los límites en dos o más variables reales. Profundizaremos esta
discusión, deniremos límites y sus propiedades e introduciremos el concepto de continuidad
para las funciones complejas.

2.2.1. Límites
Diremos que f : D ∈ C −→ C tiene límite es decir:

lı́m f (z) = L (3)

z−→z0

si, para todo  > 0, existe δ>0 tal que |f (z) − L| <  siempre que 0 < |z − z0 | < δ .

Nada en esta denición indica de que manera z debe acercarse a z0 , por lo tanto z puede
acercarse a z0 a través de cualquier curva que pase por z0 y el valor del límite es independiente

8
de esa trayectoria. Esto nos proporciona el siguiente criterio:

Criterio para la NO existencia del límite:

Si f (z) tiende a dos límites distintos L y M tales que L 6= M a lo largo de dos curvas o
trayectorias distintas que pasen por z0 entonces el límite no existe.

¾Cómo indicamos la trayectoria o el camino de acercamiento? hemos visto en la sección

(1.4) que podemos hacerlo indicando condiciones o restricciones sobre las variables x e y . Vea-
moslo en el siguiente ejemplo:

Ejemplo:
Demostrar que el lı́m z no existe.
z→0 z̄

Para hacerlo estudiaremos el comportamiento del límite para distintas formas de

acercamiento de z a 0.

Recordemos antes quién es z. Según nuestra denición (3) cuando nos referimos a z
hablamos de todo z que pertenezca al entorno 0 < |z − z0 | < δ de z0 y con acercarse a
z0 nos referimos a reducir el radio δ

Retomemos ahora nuestro ejemplo:

Primeramente haremos tender z → z0 a lo largo del eje real, de manera que consideramos
los complejos z = x + 0i con x tendiendo a 0. Luego:

z x + 0i x
lı́m = lı́m = lı́m = lı́m 1 = 1
z→z0 z̄ (x,0)→(0,0) x − 0i x→0 x x→0

Haremos tender ahora z → z0 a lo largo del eje imaginario,por lo tanto consideraremos

los complejos z = 0 + yi con y tendiendo a 0. Luego:

z 0 + iy yi
lı́m = lı́m = lı́m = lı́m −1 = −1
z→z0 z̄ (0,y)→(0,0) 0 − iy y→0 −yi y→0

Dado que a través de las dos formas de acercamiento obtuvimos valores distintos para
el límite, concluimos que el mismo no existe
a

a ¾Qué
ocurre con el lı́m zz̄ para z0 6= 0?. Notemos que en este caso ∃ lı́m z
= f (z0 ) que está denido
z→z0 z→z0 z̄
y es único ya que z0 ∈ al dominio de denición de f .

9
 A partir de denición de función y de su expresión en parte real e imaginaria:

f (x + iy) = u(x, y) + iv(x, y)

y de nuestra denición de límite (3), es sencillo demostrar que:


 lı́m Ref (z) = Re(L)
z−→z0
Si lı́m f (z) = L ⇐⇒
z→zo  lı́m Imf (z) = Im(L)
z−→z0

En adelante utilizaremos resultado como una denición alternativa:

Sea una función w = f (z) = u(x, y) + i v(x, y) diremos que:

 ∃ lı́m u(x, y) = L1
(x,y)−→(x0 ,y0 )
∃ lı́m f (z) = L1 + iL2 si y sólo si (4)
z→z0  ∃ lı́m v(x, y) = L2
(x,y)−→(x0 ,y0 )

Al reformular de esta manera nuestras deniciones resulta natural admitir que las propie-
dades de los límites de funciones complejas se hereden directamente de las propiedades de
los límites en R2 ya que tanto lı́m u(x, y) = L1 como lı́m v(x, y) = L2 son
(x,y)−→(x0 ,y0 ) (x,y)−→(x0 ,y0 )
límites de funciones de dos variables reales a variable real.

Propiedades de los límites

Sean f (z) y g(z) dos funciones complejas, si lı́m f (z) = L y lı́m g(z) = M , entonces:
z→z0 z→z0

1. lı́m cf (z) = cL si c es una constante ∈C

z→z0

2. lı́m [f (z) ± g(z)] = L ± M

z→z0

3. lı́m [f (z)g(z)] = LM
z→z0

4. lı́m f (z) = L
M si M 6= 0
z→z0 g(z)

Estas propiedades sumadas al hecho que lı́m z = z0 y lı́m c = c nos permiten resolver
z→z0 z→z0
gran variedad de problemas.

10
 En la demostración de estas propiedades se utilizan las propiedades análogas de límites de funcio-
nes de dos variables.

Ejemplos: Hallar los siguientes límites:

(2−i)z 5 +z 3 −3iz
• lı́m z−i
z→1
De acuerdo con las propiedades anteriores podemos escribir:

(2 − i)z 5 + z 3 − 3iz lı́m [(2 − i)z 5 + z 3 − 3iz]

z→1
lı́m =
z→1 z−i lı́m (z − i)
z→1

(2 − i)z 5 + z 3 − 3iz (2 − i) lı́m z 5 + lı́m z 3 − 3i lı́m z

z→1 z→1 z→1
lı́m =
z→1 z−i lı́m (z − i)
z→1

(2 − i)z 5 z3
+ − 3iz (2 − i)15 + 13 − 3i.1
lı́m =
z→1 z−i (1 − i)
(2 − i)z 5 + z 3 − 3iz (2 − i)15 + 13 − 3i.1
lı́m =
z→1 z−i (1 − i)
(2 − i)z 5 + z 3 − 3iz 7 1
lı́m = − i
z→1 z−i 2 2
z2 +z+1
• lı́m √ √ 
z→(− 21 + 23 i) z+ 12 − 23 i

Recordando un resultado que se obtuvo en la Act.2, Ejercicio 4a) podemos escribir el

numerador como:
" √ !# " √ !#
1 3 1 3
z2 + z + 1 = z − − − i z− − + i de manera que :
2 2 2 2
h  √i h  √ i
3 3
z2+z+1 z − − 12 − 2 i z − − 21 + 2 i
lı́m √  √  = lı́m √  √ 
z→(− 12 + 2
3
i) z + 12 − 23 i z→(− 12 + 23 i) z − − 12 + 23 i
" √ !#
z2 + z + 1 1 3
lı́m √  √  = lı́m √ z− − − i
z→(− 21 + 23 i) z + 1 − 3 i z→(− 21 + 23 i) 2 2
2 2
" √ ! √ !#
z2 + z + 1 1 3 1 3 √
lı́m √  √  = lı́m √ − + i − − − i = 3i
z→(− 1 + 3 i) z + 1
− i 3 z→(− 1 + 3 i) 2 2 2 2
2 2 2 2 2 2

11
2.2.2. Continuidad
El concepto de continuidad en funciones complejas es análogo al estudiado para funciones
reales, de manera que diremos que f : D ∈ C −→ C es continua en z0 ∈ D si y sólo si

lı́m f (z) = f (z0 ) (5)

z−→z0

De la denición se derivan tres condiciones que una función compleja debe cumplir para
ser continua en un punto y nos proporcionan un:

Criterio para la continuidad de una función en un punto

Una función compleja f (z) es continua en el punto z0 si cumple con las siguientes condi-
ciones:

1. ∃f (z0 ); esto es equivalente a plantear que la función esté denida en z0 o sea que z0 ∈ D ;

2. ∃ lı́m f (z) y que

z→z0

3. lı́m f (z) = f (z0 )

z→z0

Ejemplo:
1
La función f (z) = z−2i es discontinua en z = 2i.
Dado que el dominio de f (z) es D : {z ∈ C/z 6= 2i} no se satisfacen, al menos, las
condiciones 1.) y 2.).

Siendo que la denición de continuidad está fuertemente asociada a la de límite resulta

natural el siguiente resultado:

Sea una función w = f (z) = u(x, y) + i v(x, y) diremos f (z) es continua en z0 = x0 + y0 si

y sólo si u(x, y) y v(x, y) son continuas en (x0 , y0 )

Propiedades
Sean f (z) y g(z) dos funciones complejas continuas en z0 , entonces las siguientes funciones
son continuas en z0 :

1. cf (z) si c es una constante ∈C

2. f (z) ± g(z)

3. f (z)g(z)
f (z)
4.
g(z) si g(z0 ) 6= 0

12
2.3. Derivabilidad - Derivada de una función compleja
Sea f : D ∈ C −→ C una función compleja de variable compleja y z0 ∈ D . La derivada de
f (z) en z0 se dene por la ecuación:

f (z0 + h) − f (z0 )
f 0 (z0 ) = lı́m (6)
h−→0 h
Donde no debemos perder de vista que h es un número complejo. Usemos la denición en los
siguientes ejemplos:

• Sea f (z) = z 2 y calculemos su derivada en algún punto genérico de su dominio. De

acuerdo a la denición:

f (z0 + h) − f (z0 ) (z0 + h)2 − z02

f 0 (z0 ) = lı́m = lı́m ⇒
h−→0 h h−→0 h

z02 + 2z0 h + h2 − z02 2z0 h + h2

f 0 (z0 ) = lı́m = lı́m ⇒
h−→0 h h−→0 h
h(2z0 + h)
f 0 (z0 ) = lı́m = lı́m (hh−1 )(2z0 + h) ⇒
h−→0 h h−→0

f 0 (z0 ) = lı́m 2z0 + h = 2z0

h−→0
1
• Sea f (z) =
z y calculemos su derivada en algún punto genérico de su dominio (esto es,
para cualquier z0 6= 0). De acuerdo a la denición:

f (z0 + h) − f (z0 ) 1 1 1
f 0 (z0 ) = lı́m = lı́m ( − ) ⇒
h−→0 h h−→0 z0 + h z0 h
f (z0 + h) − f (z0 ) z0 − z0 − h 1
f 0 (z0 ) = lı́m = lı́m ( ) ⇒
h−→0 h h−→0 z0 (z0 + h) h

f (z0 + h) − f (z0 ) −h 1
f 0 (z0 ) = lı́m = lı́m ( 2 ) ⇒
h−→0 h h−→0 z0 + hz0 ) h

−1 −1
f 0 (z0 ) = lı́m 2
= 2
h−→0 z0 + hz0 z0

El concepto de derivada, al igual que en el caso de varias variables, establece la existencia

del límite que da lugar a la derivada cuando h, que es un complejo arbitrario no nulo, se acerca
al 0 por cualquiera de los innitos caminos posibles.

Siendo que la denición de derivada deviene de la denición del límite, a partir de las
propiedades de los éstos pueden demostrarse las siguientes propiedades

Propiedades de la derivada de funciones complejas

Sean f (z) y g(z) funciones complejas derivables en z y α y β constantes ∈ C, entonces:

1. (αf (z))0 = αf 0 (z)

13
 2. (f (z) + g(z))0 = f 0 (z) + g 0 (z)
0 0 (z)g 0 (z)

f (z)
3.
g(z) = f (z)g(z)−f
g(z)2
0
si g (z) 6= 0

4. Si g(z) es derivable en f (z), luego: (g(f (z))0 = g 0 (f (z))f 0 (z)

Es fácil ver que z 0 = 1 .1 A partir de la propiedad 3.) y el resultado que hallamos para la
2
derivada de z podemos hallar:

(z 3 )0 = (z 2 z)0 = (z 2 )0 z + z 2 z 0 = (2z)z + z 2 = 3z 2
y además:

0 0
1 1 1 1 0
         
1 11 1 1 1 1 −2
= = + . = − 2 + . − 2 = 2
z2 zz z z z z z z z z z

Luego, extendiendo nuestros resultados podemos escribir en general:

(z n ) = nz n−1 y:

 0  
1 1
= −(n + 1)
z n+1 zn

Ejemplos:
 0
z3
• Hallar
3z 2 +5
0
z3 (z 3 )0 (3z 2 + 5) − z 3 (3z 2 + 5)0

=
3z 2 + 5 (3z 2 + 5)2
0
z3 3z 2 (3z 2 + 5) − z 3 (6z) 3z 4 + 15z 2

= =
3z 2 + 5 (3z 2 + 5)2 (3z 2 + 5)2

• Hallar [((3 + i)z 2 + iz)4 ]0

[((3 + i)z 2 + iz)4 ]0 = 4[((3 + i)z 2 + iz)3 ]((3 + i)z 2 + iz)0

[((3 + i)z 2 + iz)4 ]0 = 4[((3 + i)z 2 + iz)3 ](2(3 + i)z + i)

[((3 + i)z 2 + iz)4 ]0 = [(24 + 8i)z + 4i]((3 + i)z 2 + iz)3
[((3 + i)z 2 + iz)4 ]0 = [(24 + 8i)z + 4i]((3 + i)z 2 + iz)3

De nuestro estudio previo de funciones complejas sabemos que en el caso general podríamos
tener a éstas escritas en términos de las partes real e imaginaria de z con lo cual el tratamiento
de los límites nos lleva a a trabajar con límites de funciones de dos variables. Veremos como
ejemplo dos de estas funciones:

1 0 (z+h)−z h
z = lı́m h
= lı́m =1
h−→0 h−→0 h

14
La función Re(z)

f (z) = Re(z) está denida para todos los números complejos, asignándole a cada uno de
ellos el valor de su parte real. Luego, su dominio de denición es D = {z ∈ C}.
De acuerdo a nuestra denición de continuidad de una función, f (z) es continua en todo
su dominio, ya que para todo z se cumple que:

∀z0 ∈ D → ∃f (z0 ) = Re(z0 ) y además

∀z ∈ D, lı́m Re(z) = Re(z0 )

z→z0

Estudiemos ahora su derivabilidad, es decir estudiemos el límite.

 
Re(z + h) − Re(z)
lı́m = f 0 (z)
h→0 h

z = x + iy yh ∈ C → h = h1 + ih2 , luego:
   
0 x + h1 ) − x h1
f (z) = lı́m = lı́m
(h1 +ih2 )→0+0i h1 + ih2 (h1 +ih2 )→0+0i h1 + ih2

Tal como discutimos previamente, para que el límite exista debe ser independiente de la
forma de acercamiento de h1 +ih2 a 0. Consideremos dos caminos diferentes, primeramente
nos acercaremos a lo largo del eje real, luego h1 = 0 y debemos considerar el límite.
 
0
lı́m =0
h2 →0 0 + ih2

Si nos acercamos ahora a lo largo del eje imaginario h2 = 0 luego:

 
h1
lı́m =1
h1 →0 h1

como
 distintos caminos
 implican resultados diferentes concluímos que NO EXISTE
Re(z+h)−Re(z)
lı́m h ⇒
h→0

f (z) = Re(z) no es derivable

15
 La función z̄

El dominio de denición de f (z) = ¯(z) es D = {z ∈ C} y es además una función continua

en todo su dominio ya que para todo z se cumple que:

∀z0 ∈ D → ∃f (z0 ) = z¯0 y además

∀z ∈ D, lı́m z̄ = z¯0
z→z0

Estudiemos su derivabilidad :
 ¯ h) − z̄) 
(z −

[(x + h1 ) − i(y + h2 )] − (x − iy)

lı́m = lı́m
h→0 h (h1 +ih2 )→0+0i h1 + ih2

Nuevamente consideramos dos acercamientos distintos, el primero de ellos a lo largo del

eje real y el segundo a lo largo del eje imaginario

 
h1 − i0
lı́m =1
h1 →0 h1 + i0
 
0 − ih2
lı́m = −2
h2 →0 0 + ih2

Nuevamente por le criterio para la no existencia del límite, éste no existe y por lo tanto
la función no es derivable.

Hasta aquí hemos tratados con funciones cuyas derivadas o bien existen independientemen-
te del valor de z0 (es decir, el dominio de denición coincide con el dominio de derivabilidad
de la función) o bien no existen para ningún z0 (esto es, el dominio de derivabilidad de la
función es el conjunto vacío).

En el caso más general, los límites pueden existir para un subconjunto del dominio de
denición de la función, esto es, la existencia del límite dependerá del z0 considerado.

Encontrar estos límites por denición para hallar el valor de la derivada puede ser muy
engorroso. En la siguiente sección trabajaremos con dos teoremas que nos permitirán decir con
precisión cual es el conjunto de puntos donde la función es derivable y el valor de la derivada
en ellos.

2.3.1. Condiciones de Cauchy-Riemann

Generalidades:
Llamaremos Dominio de derivabilidad (y lo notaremos Dd ) al conjunto más grande de
números complejos donde una función compleja es derivable. De acuerdo a la denición de
derivada, este conjunto está incluído en el Dominio de denición (D ) de la función. Esto es
Dd ⊆ D .

16
 Teorema: Ecuaciones de Cauchy-Riemmann
Sea la función compleja f (z) = u(x, y) + iv(x, y) y supongamos que f (z) es derivable en
el punto z0 = (x0 , y0 ) entonces las derivadas parciales de primer orden de u(x, y) y v(x, y)
satisfacen en z0 el siguiente sistema de ecuaciones:
(
∂u ∂v
∂x (x0 , y0 ) = ∂y (x0 , y0 )
∂v ∂u
∂x (x0 , y0 ) = − ∂y (x0 , y0 )

y además:
∂u ∂v ∂v ∂u
f 0 (z0 ) = (x0 , y0 ) + i (x0 , y0 ) = (x0 , y0 ) − i (x0 , y0 )
∂x ∂x ∂y ∂y
Este teorema nos proporciona una CONDICIÓN NECESARIA para la existencia de la
derivada. Nos dice que si la derivada de una función existe en un punto, entonces, en ese
punto se satisface el sistema de ecuaciones y f 0 (z0 ) = ∂u
∂x (x0 , y0 )
∂v
+ i ∂x (x0 , y0 ).
Esto implica que si en un determinado punto NO SE VERIFICA el sistema de ecuaciones, en
ese punto la derivada no existe. En la sección (2.4 Anexo) se presenta una demostración del
teorema.

Ejemplo: Sea f (z) = Re(z)

Si f (z) = Re(z) entonces f (x + iy) = u(x, y) + iv(x, y) = x + 0i luego

∂u ∂u
∂x (x0 , y0 ) =1 y
∂y (x0 , y0 ) =0
∂v ∂v
∂y (x0 , y0 ) =0 y
∂x (x0 , y0 ) =0

∂u ∂v
⇒ (x0 , y0 ) = 1 6= 0 = (x0 , y0 )
∂x ∂y
Dado que las condiciones de Cauchy-Riemann no se cumplen para ningún z0 podemos
concluir que no existe derivada de Re(z) para ningún z, resultado al que habíamos arri-
bado utilizando la denición de derivada.

Las condiciones de Cauchy-Riemann a partir del teorema previo, nos brindan una herra-
mienta para hallar para que números complejos la derivada no existe. El siguiente teorema
nos brinda una CONDICION SUFICIENTE para la existencia de la derivada.

Teorema -Condición suciente para la existencia de la derivada:

Si u(x, y) y v(x, y) poseen derivadas continuas en z0 = x0 + i y0 y verican las ecuaciones
de Cauchy-Riemann en dicho punto ⇒ f (z) = u(x, y) + i v(x, y) es derivable en z0 .

Trabajando con este teorema, podemos encontrar el conjunto de números complejos en

los cuales la función es derivable (su dominio de derivabilidad) y utilizando el resultado del
teorema anterior, el valor de la derivada en dichos puntos. Analizaremos algunos ejemplos:

17
 • Hallar el dominio de derivabilidad y la derivada (si existiera) de f (z) = x2 y + i (y 2 − x)

Dada f (z) hallamos u(x, y) y v(x, y) y sus derivadas parciales

( ∂u(x,y) ∂u(x,y)
u(x, y) = x2 y → ∂x = 2xy ∧ ∂y = x2
∂v(x,y) ∂uv(x,y)
v(x, y) = y 2 − x → ∂x = −1 ∧ ∂y = 2y

A partir de las derivadas parciales de u y v para hallar los puntos dónde la función es
derivable, planteamos las condiciones de C-R:
 
ux (x, y) = vy (x, y) 2xy = 2y
⇒
uy (x, y) = −vx (x, y) x2 = 1
Debemos resolver entonces el sistema de ecuaciones:
  
2xy = 2y 2y(x − 1) = 0 y =0∨x=1 (a)
⇒ ⇒
x2 = 1 x2 = 1 x = ±1 (b)
Analizando los resultados observamos que:

Si x=1 ambas ecuaciones se satisfacen ∀ valor de y⇒ tenemos como solución a

los pares (1, y)

Six = −1 la única forma de satisfacer la primer ecuación es que y = 0 ⇒ la solución

corresponde sólo al punto (−1, 0)

Luego el dominio de derivabilidad de f (z) es: Dd = {z ∈ C/Re(z) = 1 ∨ z = −1 + 0i)} y

el valor de la derivada -según el teorema de existencia- es:

f 0 (1 + iy) = 2y + i


f 0 (−1 + 0i) = i
En este ejemplo nos encontramos con una situación usual cuando tratamos con variable
compleja (pero no tan habitual en reales) que es la existencia de un dominio de derivabilidad
muy reducido respecto del dominio de denición y/o continuidad de una función.

Graca del conjunto Dd

18
En este caso, la función sólo tiene derivada sobre una recta y en un punto aislado. Ninguno
de los complejos donde la función es derivable está rodeado"por otros puntos en los cuales la
función sea derivable (existirá la derivada segunda en estos puntos?.
2

Ejemplos: Hallar el dominio de derivabilidad y la derivada, cuando exista, de las siguientes

funciones:

•f (z) = x2 + y + i (y 2 − x)
f (z) está denida y es continua en D : {z ∈ C}. Hallamos u(x, y) y v(x, y) y el valor de sus
derivadas parciales.

u(x, y) = x2 + y → ux = 2x ∧ uy = 1


v(x, y) = y 2 − x → vx = −1 ∧ vy = 2y
Las derivadas son continuas para todo valor de (x, y) luego utilizando las ecuaciones de
Cauchy-Riemann podemos hallar el dominio de derivabilidad de la función y el valor de su
derivada:

ux = vy → 2x = 2y → x = y (a)
C-R:
uy = −vx → 1 = 1 (b)
La ecuación (a) es satisfecha por todos los complejos para los cuales Re(z) = Im(z) mientras
que a la ecuación (b) la satisfacen todos los números complejos. Los complejos que satisfacen
ambas ecuaciones constituyen el dominio de derivabilidad de la función, luego:

Dd = {z ∈ C/Re(z) = Im(z)}

y en esos puntos, el valor de la derivada es:

f 0 (z) = 2x + i

•f (z) = 4x2 + 5x − 4y 2 + 9 + i (8xy + 5y − 1)

f (z) está denida y es continua en D : {z ∈ C}. Hallamos las derivadas parciales de u(x, y) y
v(x,
 y)
ux = 8x + 5 ∧ uy = −8y
vx = 8y ∧ vy = 8x + 5
Continuas para todo valor de
 (x, y). Utilizando las ecuaciones de Cauchy-Riemann:
ux = vy → 8x + 5 = 8x + 5 (a)
C-R:
uy = −vx → 8y = 8y (b)
Ambas ecuaciones, (a) y (b) son satisfechas por todos los números complejos, luego el dominio
de derivabilidad de la función coincide con el dominio de denición de la misma:

Dd = {z ∈ C} = D ⇒ f 0 (z) = 8x + 5 + 8y i

2
La derivada de una función compleja es, cuando existe, una función compleja. De manera que calcular
la derivada segunda de, por ejemplo, f (z) es equivalente a calcular la derivada de g(z) = f 0 (z) Recordemos
nuestra denición de derivada en un punto: se trata del límite del cociente incremental mientras nos acercamos
al punto dado. Para que el límite exista debe ser independiente del camino elegido para acercarnos al punto.

19
•f (z) = x2 + y 2 + 4 + 2i (xy + 1)

f (z) está denida y es continua en D : {z ∈ C}. Hallamos las derivadas parciales de u(x, y) y
v(x,
 y)
ux = 6xy 2 ∧ uy = 6yx2
vx = −12xy 2 ∧ vy = −12yx2
Continuas para todo valor de (x, y). Utilizando las ecuaciones de Cauchy-Riemann:

ux = vy → 6xy 2 = −12yx2 → 6xy 2 + 12yx2 = 0 (a)



uy = −vx → −12xy 2 = −6yx2 → −12xy 2 + 6yx2 = 0 (b)


ux = vy → 6xy(y + 2x) = 0 → xy = 0 ∨ y + 2x = 0 (a)
uy = −vx → 6xy(−2y + x) = 0 → xy = 0 ∨ x − 2y = 0 (b)
Los complejos que satisfacen (a) son aquellos donde xy = 0 ∨ y + 2x = 0 luego:

(a) =: {z = (x, y) ∈ C/x = 0 ∨ y = 0 ∨ y = 2x}

A su vez, lo complejos que satisfacen (b) son aquellos donde xy = 0 ∨ y = x/2 luego:

(b) =: {z = (x, y) ∈ C/x = 0 ∨ y = 0 ∨ y = x/2}

Ambos conjuntos se gracan en la siguiente gura:

La solución del sistema de ecuaciones, son los complejos que satisfacen tanto (a) como (b).
Analizando la intersección de ambos conjuntos resulta:

De acuerdo a esto el dominio de derivabilidad

20 de f (z):

Dd = {z ∈ C/Re(z) = 0 ∨ Im(z) = 0} y además f 0 (z) = 6xy 2 + 6yx2 i = 0 + 0i

2.4. Anexo
Teorema: Ecuaciones de Cauchy-Riemmann - Condición suciente para la exis-
tencia de la derivada
Sea la función compleja f (z) = u(x, y) + iv(x, y) y supongamos que f (z) es derivable en
el punto z0 = (x0 , y0 ) entonces las derivadas parciales de primer orden de u(x, y) y v(x, y)
satisfacen en z0 el siguiente sistema de ecuaciones:
(
∂u ∂v
∂x (x0 , y0 ) = ∂y (x0 , y0 )
∂v ∂u
∂x (x0 , y0 ) = − ∂y (x0 , y0 )

y además:
∂u ∂v ∂v ∂u
f 0 (z0 ) = (x0 , y0 ) + i (x0 , y0 ) = (x0 , y0 ) − i (x0 , y0 )
∂x ∂x ∂y ∂y
Demostración
Comenzaremos la demostración suponiendo que f (z) es derivable en z0 y hallaremos por
denición el valor de la derivada en ese punto:

f (z0 + h) − f (z0 )
f 0 (z0 ) = lı́m
h−→0 h
Si consideramos f (z) = u(x, y) + i v(x, y), h = h1 + i h2 con h1 h2 ∈ R podemos escribir:

z0 + h = x0 + h1 + i(y0 + h2 ) Luego:

f (z0 + h) = u(x0 + h1 , y0 + h2 ) + i v(x0 + h1 , y0 + h2 )

Para hallar la derivada debemos calcular f (z0 + h) − f (z0 ):

f (z0 + h) − f (z0 ) = [u(x0 + h1 , y0 + h2 ) + i v(x0 + h1 , y0 + h2 )] − [u(x0 , y0 ) + i v(x0 , y0 )]

Reagrupando la parte real e imaginaria de la expresión anterior:

f (z0 + h) − f (z0 ) = [u(x0 + h1 , y0 + h2 ) − u(x0 , y0 )] + i[v(x0 + h1 , y0 + h2 ) − v(x0 , y0 )]

Incorporando esta expresión en la denición de la derivada:

f (z0 + h) − f (z0 ) u(x0 + h1 , y0 + h2 ) − u(x0 , y0 ) v(x0 + i h1 , y0 + h2 ) − v(x0 , y0 )

= +i
h h1 + h2 h1 + i h2
Esta es la expresión del cociente incremental sobre el cual debemos tomar el límite para
(h1 , h2 ) −→ (0, 0).

Comenzamos esta demostración asumiendo que la derivada existía, luego el límite también
debe existir. Si es así su valor será el mismo para todo camino que lleve a h al origen. En
particular, si nos acercamos al origen por un segmento horizontal (h2 = 0) o vertical (h1 = 0).

21
 Si nos acercamos por un camino horizontal h2 = 0 de manera que:
 
f (z0 + h) − f (z0 ) u(x0 + h1 , y0 ) − u(x0 , y0 ) v(x0 , h1 , y0 ) − v(x0 , y0 )
lı́m = lı́m +i
(h1 ,h2 )−→(0,0) h h1 −→0 h1 h1
(7)
Examinando la expresión anterior y recordando la denición de derivadas parciales para fun-
ciones de dos variables reales (u(x, y) y v(xy) son funciones reales de dos variables) podemos
ver que:  
u(x0 + h1 , y0 ) − u(x0 , y0 ) ∂u
lı́m = (x0 , y0 )
h1 −→0 h1 ∂x
y además:  
v(x0 + h1 , y0 ) − v(x0 , y0 ) ∂v
lı́m = (x0 , y0 )
h1 −→0 h1 ∂x
Utilizando estas identidades la ecuación (7) resulta:

∂u ∂v
f 0 (z0 ) = (x0 , y0 ) + i (x0 , y0 ) (8)
∂x ∂x
Consideremos ahora otro camino de acercamiento h → 0, realizaremos un camino vertical en
el que h1 = 0. Luego:
 
f (z0 + h) − f (z0 ) u(x0 , y0 + h2 ) − u(x0 , y0 ) v(x0 , y0 + h2 ) − v(x0 , y0 )
lı́m = lı́m +i
(h1 ,h2 )−→(0,0) h h2 −→0 h2 h2
Volvemos a reconocer en esta ecuación la denición de derivadas parciales de funciones de dos
variables reales, esta vez respecto de la variable y. Luego

1 ∂u ∂v
f 0 (z0 ) = (x0 , y0 ) + i (x0 , y0 ) (9)
i ∂y ∂y
Como hemos considerado que el limite existe el valor del mismo es independiente del
camino elegido, luego las ecuaciones (8) y (9) deben ser iguales:

∂u ∂v ∂v ∂u
(x0 , y0 ) + i (x0 , y0 ) = (x0 , y0 ) − i (x0 , y0 )
∂x ∂x ∂y ∂y
Igualando parte real e imaginaria de la igualdad anterior, obtenemos las llamadas Condiciones
de Cauchy-Riemann : (
∂u ∂v
∂x (x0 , y0 ) = ∂y (x0 , y0 )
∂v
∂x (x0 , y0 ) = − ∂u
∂y (x0 , y0 )
Con lo cual hemos demostrado el Teorema.

Analicemos el procedimiento seguido: Consideramos que la derivada existía lo que, por su

denición, implica la existencia del límite. Que el límite exista quiere decir que el valor del
mismo es independiente del camino de acercamiento que tomemos. Por ello, consideramos
dos caminos distintos -en este caso, un acercamiento horizontal y otro vertical- e igualamos
los resultados obtenidos. Como estos resultados son números complejos, igualarlos implica
igualar sus partes real e imaginaria. Al hacerlo, obtuvimos el sistema de ecuaciones conocido
como Condiciones de Cauchy-Riemman.
Si la derivada no existiera no hubieramos podido hallar las igualdades. Esto convierte a las
igualdades de C-R en una CONDICION NECESARIA para la existencia de la derivada
de una función compleja

22
3. Funciones analíticas

3.1. Denición:
Diremos que f (z : D → C) es analítica en z0 si f (z) es derivable en z0 y en todo punto de
un entorno de z0 .

A diferencia de la derivabilidad, la analiticidad de una función en un determinado punto

no depende sólo de lo que ocurre en dicho punto sino de las propiedades de puntos cercanos a él.

Recordemos nuestra denición de entorno (Números complejos,página 14 ): Los z que

satisfacen la desigualdad|z − z0 | ≤ r se encuentran ubicados tanto dentro de la circunferencia
de radio r centrada en z0 como sobre la misma. A este conjunto de puntos se lo conoce
como disco de radio r centrado en z0 . Si excluimos de este conjunto a los puntos que se
encuentran sobre la circunferencia tendremos un conjunto al que llamaremos entorno de z0 :
|z − z0 | < r. Un punto z0 es punto interior de un conjunto S siempre que exista algún
entorno de z0 cuyos puntos sean todos pertenecientes a S .
A partir de estas deniciones podemos reescribir nuestra denición:

Denición: Una función f (z : D → C) es analítica en z0 si y sólo si z0 es un punto interior

del dominio de derivabilidad de f (z).

Ejemplo: análitica.

Consideremos una función f (z) tal que su Analicemos lo que ocurre en los puntos z1 y
dominio de derivabilidad sea Dd =: {z ∈ z4 .
C/ − 2 < Re(z) ≤ 3} y evaluemos si la fun- z1 es un punto interior de Dd , esto es pode-
ción es analítica en z1 = 1 + 2i, z2 = 3 − i, mos hallar un entorno de z0 : 0 < |z −z1 | < r ,
z3 = −3 + i y z4 = −2 + 4i para algún r ∈ R tal que ∀z ∈ 0 < |z − z0 | <
r → z ∈ Dd (es decir, f (z) es derivable en
todos los puntos de 0 < |z − zr | < r ). Luego,
f (z) es analítica en z1 = 1 + 2i.

En el punto z2 también existe f 0 (z) ya que

z2 ∈ Dd , sin embargo cualquier entorno de
z2 incluirá puntos donde la función es deri-
vable y puntos donde no lo es. z2 es un punto
frontera de Dd ya que ∀z ∈ 0 < |z − z2 | <
r → z ∈ Dd ∨ ∈ / Dd , cualquiera sea el r ∈ R
considerado. Por lo tanto f (z) no es analítica
Los puntos z3 y z4 ∈
/ Dd luego en ellos la en z2 .
función es derivable, por tanto, tampoco es

23
 Ejemplo:

Consideremos una función f (z) tal que su Todo punto en Dd es un punto interior a
dominio de derivabilidad sea Dd =: {z ∈ Dd . Esto es cualquiera sea z si este ∈ Dd
C/ − π/4 < Arg(z) < π/4} y evaluemos puede denirse un entorno centrado en z tal
para que z la función es analítica. que en todos sus puntos f (z) sea derivable.

Luego diremos que f (z) es analítica en Dd .

¾Ocurriría lo mismo si analizamos la analiti-

cidad def (z) en el conjunto {z ∈ C/−π/4 <
Arg(z) < π/4}?

Denición: Una función f (z : D → C) es analítica (sin especicar un punto) si lo es en

todo su dominio de derivabilidad.

Analicemos la analiticidad de algunas de las funciones estudiadas anteriormente:

• f (z) = x2 y + i (y 2 − x)

A partir de las derivadas parciales de la par-

te real e imaginaria de f (z) y utilizando las
condiciones de Cauchy-Riemman obtuvimos
el siguiente sistema de ecuaciones:

2xy = 2y
x2 = 1
Al resolverlo hallamos el dominio de deri-
vabilidad def (z)s: Dd = {z ∈ C/Re(z) =
1 ∨ z = −1 + 0i)}
Para estudiar la analiticidad de la función
debemos analizar el conjunto Dd .
Para ningún z0 ∈ Dd podemos hallar un en- Luego f (z) = x2 y + i (y 2 − x) no es analítica
torno 0 ≤ |z − z0 | < r tal que todos los pun- en ningún punto del plano complejo.
tos de dicho entorno pertenezcan al conjunto
Dd .

24
 •f (z) = x2 + y 2 + 4 + 2i (xy + 1)

f (z) está denida y es continua en D : {z ∈

C} y a partir de las ecuaciones de Cauchy-
Riemman hemos hallado el dominio de deri-
f (z):
vabilidad de
Dd = {z ∈ C/Re(z) = 0 ∨ Im(z) = 0}
Nuevamente observamos para todo z ∈ Dd
la imposibilidad de hallar un entorno cuyos
puntos interiores también pertenezcan a Dd .
Luego:
f (z) = x2 +y 2 +4+2i (xy +1) no es analítica
en ningún punto del plano complejo.

Las funciones de los ejemplos anteriores tienen en común que sus dominios de derivabilidad
no incluyen puntos interiores.

3.2. Funciones analíticas conjuntos abiertos

Un grupo de funciones de mucho interés son aquellas que resultan analíticas en un conjunto
abierto. Es decir si Da es el dominio de analiticidad de f (z) entonces ∀z ∈ Da ⇒ z es un
punto interior.

Conjunto abierto Conjunto cerrado

No incluye fronteras ni huecos Incluye su/sus puntos frontera

Consideremos f (z) y g(z) funciones complejas analíticas en cierto conjunto Da , luego se

satisfacen las siguientes propiedades:

f (z) ± g(z) es una función analítica en Da

f (z).g(z) es una función analítica en Da

25
 f (z)/g(z) es una función analítica en Da , siempre que g(z) 6= 0

3.2.1. La función exponencial

En la sección (1.3) hemos denido la función exponencial compleja como:

ez = ex cos y + iex sin y (10)

Así denida ez tiene como dominio de denición a todos los números complejos, D = C. Ana-
licemos sus dominios de derivabilidad y analiticidad.

Para hallar su dominio de derivabilidad, hallamos las derivadas parciales de u(x, y) y v(x, y)

u(x, y) = ex cos y → ux = ex cos y ∧ uy = −ex sin y



v(x, y) = ex sin y → vx = ex sin y ∧ vy = ex cos y

Y de acuerdo a las condiciones de Cauchy-Riemman:

ux = vy → ex cos y = ex cos y

uy = −vx → ex sin y = ex sin y

Ambas ecuaciones se satisfacen ∀x, y ∈ R a partir de lo cual concluímos que ∀z ∈ C

d(ez )
= (ez )0 = ex cos y + i ex sin y
dz
luego:
d(ez )
= (ez )0 = ez
dz
Como el dominio de derivabilidad
z
de e es el conjunto de todos los números complejos, D=
Dd = C y todos los puntos z∈C son interiores concluímos:

f (z) = ez es analítica en C
Las funciones como la exponencial, que resultan analíticas en todo el plano complejo se deno-
minan funciones enteras.

En resumen, la función exponencial compleja cumple:

e0 = 1

z = x + 0i ⇒ ez = ex

ez1 ez2 = ez1 +z2

ez1
ez2 = ez1 −z2

(ez )n = enz

ez es derivable y analítica en C
d(ez )
dz = (ez )0 = ez

26
 dn (ez ) 3
dz n = ez

3.2.2. Funciones trigonométricas

Sabemos que si α es real (según la fórmula de Euler) valen las siguientes igualdades:

eiα = cos α + i sin α ∧ e−iα = cos α − i sin α

cuya suma y resta son respectivamente:

eiα + e−iα = 2 cos α ∧ eiα − e−iα = 2 sin α

Despejando cos α y sin α de estas últimas obtenemos:

eiα + e−iα eiα − e−iα

cos α = ∧ sin α =
2 2i
Teniendo en cuenta estas expresiones:

Denición:
eiz + e−iz eiz − e−iz
cos z = ∧ sin z = (11)
2 2i
Al estar denidas en términos de la exponencial compleja el dominio de las funciones sin z
y cos z es C y son derivables y analíticas en él. A partir de las propiedades de las funciones
analíticas y de las reglas de derivación obtenemos:

Derivadas:
d 1 d iz 1 i2
cos z = (e + e−iz ) = (ieiz − ie−iz ) = (eiz − e−iz )
dz 2 dz 2 2i
d
cos z = − sin z (12)
dz
Analogamente:

d 1 d iz 1 i
sin z = (e − e−iz ) = (ieiz + ie−iz ) = (eiz + e−iz )
dz 2i dz 2i 2i
d
sin z = cos z (13)
dz

Propiedades:
Al igual que en el caso de la función exponencial, para las funciones seno y coseno en
el caso de números complejos con Im(z) = 0 recuperamos las funciones tal como estaban

3
Esta propiedad resulta evidente a partir de (ez )0 = ez . Hallar las sucesivas derivadas implica repetir el
proceso que realizamos para la derivada primera. Las derivadas de todo orden tendrán el mismo valor y serán,
a su vez, analíticas en todo C. Veremos que la existencia y analiticidad de las derivadas de todo orden es
consecuencia de la analiticidad de la función, lo que constituye uno de los resultados más importantes del
estudio de las funciones analíticas.

27
denidas en el campo de los números reales. Veriquemos esta armación:

Si z ∈ R ⇒ z = x + 0i y utilizando las deniciones (11) resulta:

e0 (cos x + i sin x) + e0 (cos x − i sin x)

cos z = cos(x + 0i) = = cos x
2
e0 (cos x + i sin x) − e0 (cos x − i sin x)
sin z = sin(x + 0i) = = sin x
2i

además, se verican las siguientes identidades:

sin(−z) = − sin(z) y cos(−z) = cos(z)

cos2 z + sin2 z = 1

sin(z1 ± z2 ) = cos z1 sin z2 ± cos z2 sin z1

cos(z1 ± z2 ) = cos z1 cos z2 ∓ sin z1 sin z2

3.2.3. Funciones armónicas

Muchas de las importantes aplicaciones de las funciones analíticas están relacionadas con
las implicancias que la analiticidad tiene sobre las funciones reales u(x, y) y v(x, y). Discuti-
remos algunas de ellas en esta sección.

Veremos más adelante que si una función es analítica en un dominio abierto D entonces
0 00 n
admite derivada de todo orden y todas ellas (f (z), f (z), ...., f (z)) son funciones analíticas,
2
por ende, las derivadas parciales de u(x, y) y v(x, y) son continuas en R , de lo que se des-
prende que las derivadas parciales continuas son iguales. Este hecho nos permitirá hallar una
relación entre una función analítica y una de las ecuaciones más conocidas de la física, la
∂2φ 2
ecuación de Laplace:
∂x2
+ ∂∂yφ2 = 0.

Funciones armónicas:
Sea φ(x, y) : R2 → R. Si φ(x, y) tiene derivadas parciales de primer y segundo orden
continuas y satisface:
∂2φ ∂2φ
+ 2 =0
∂x2 ∂y
diremos que φ(x, y) es una función armónica.

Teorema:
Si f (z) = u(x, y) + i v(x, y) es analítica en un conjunto abierto D entonces u(x, y) y v(x, y)
son funciones armónicas.

28
 Demostración: Sea f (z) = u(x, y) + i v(x, y) analítica en un conjunto abierto D entonces
u(x, y) y v(x, y) y sus derivadas parciales son continuas. Dado que satisfacen las ecuaciones
de Cauchy-Riemman:

∂u(x, y) ∂v(x, y) ∂u(x, y) ∂v(x, y)

= y además =−
∂x ∂y ∂y ∂x
Derivando ambas ecuaciones respecto de x e y respectivamente:

∂u(x, y) ∂v(x, y) ∂u(x, y) ∂v(x, y)

= y además =−
∂x ∂y ∂y ∂x
Derivando respecto a x:

∂ 2 u(x, y) ∂ 2 v(x, y) ∂ 2 u(x, y) ∂ 2 v(x, y)

= y =−
∂x2 ∂x∂y ∂x∂y ∂x2
Si suponemos que las derivadas son continuas entonces las derivadas cruzadas son iguales
con lo cual:
∂ 2 u(x, y) ∂ 2 u(x, y)
= − ⇒
∂x2 ∂y 2
∂ 2 u(x, y) ∂ 2 u(x, y)
+ = 0 ∨ ∇2 u(x, y) = 0
∂x2 ∂y 2
Repitiendo el procedimiento pero esta vez derivando respecto de y resulta:

∂ 2 v(x, y) ∂ 2 v(x, y)
+ = 0 ∨ ∇2 v(x, y) = 0
∂x2 ∂y 2

Funciones armónicas conjugadas:

Hemos demostrado que si f (z) = u(x, y)+iv(x, y) es analítica en un conjunto abierto D en-
tonces u(x, y) y v(x, y) son armónicas en D. Supongamos que conocemos una u(x, y) : R2 → R
2
armónica en D , si es posible hallar una v(x, y) : R → R tal que u(x, y) y v(x, y) satisfacen
las condiciones de Cauchy-Riemman entonces diremos que v(x, y) es armónica conjugada de
u(x, y) y, al combinarlas en una f (z) = u(x, y)+iv(x, y) obtenemos una función analítica en D.

29
Ejemplo:

Sea u(x, y) : R2 → R tal que u(x, y) = x3 − 3xy 2 − 5y .

Veamos si u(x, y) es una función armónica. Para ello calculamos sus derivadas parciales y
vericamos si satisface la ecuación de Laplace:

∂u(x, y) ∂ 2 u(x, y)
= 3x2 − 3y 2 → = 6x
∂x ∂x2
Derivando respecto de y:

∂u(x, y) ∂ 2 u(x, y)
= −6xy − 5 → = −6x
∂y ∂y 2
∂ 2 u(x,y) ∂ 2 u(x,y)
De manera que u(x, y) verica que
∂x2
+ ∂y 2
= 0.

Sabiendo que la función u(x, y) es armónica, buscamos ahora v(x, y) tal que sea su armónica
conjugada, para eso hacemos uso de las ecuaciones de Cauchy-Riemman:

∂u ∂v ∂v
= → = 3x2 − 3y 2 luego
dx dy dy
Z Z
∂v
v(x, y) = dy = (3x2 − 3y)dy = 3x2 y − y 3 + C1
dy
Donde la constante de integración es constante para la variable y, luego puede ser función
de x, esto es C1 = C1 (x). Por otro lado:

∂u ∂v ∂v
= → = 3x2 − 3y 2 luego
dx dy dy
Z Z
∂v
v(x, y) = dx = (6xy + 5)dx = 3x2 y + 5x + C2
dx
donde C2 = C2 (y). Finalmente:

3x2 y − y 3 + C1 (x) = 3x2 y + 5x + C2 (y) ⇒ v(x, y) = 3x2 y − y 3 + 5x

Todo punto en Dd es un punto interior a Dd . Esto es cualquiera sea z si este ∈ Dd puede

denirse un entorno centrado en z tal que en todos sus puntos f (z) sea derivable.

Luego diremos que f (z) es analítica en Dd .

¾Ocurriría lo mismo si analizamos la analiticidad de f (z) en el conjunto {z ∈ C/ − π/4 <
Arg(z) < π/4}?

30
4. Bibliografía

1. Variable Compleja y Aplicaciones.

Ruel V. Churchill - James Ward Brown

V Edición - Ed. McGraw-Hill (1992)
ISBN 84-7615-730-4.

2. Introducción al análisis complejo con aplicaciones.

Dennis G. Zill - Patrick D. Shanahan

II Edición - Cengage Learning (2009)
ISBN 978-607-481-596-2.

3. Cálculo vectorial, Análisis de Fourier y análisis complejo.

Dennis G. Zill - Jacqueline M. Dewar

III Edición - Ed. McGraw-Hill Interamericana (2006)
ISBN 978-970-10-6510-5.

31