MATEMATICA AVANZADA

FUNCIONES COMPLEJAS
Vamos a comenzar a tratar el tema de las funciones complejas con algunas
definiciones de conceptos relacionados con conjuntos.
En el plano complejo podemos trabajar con regiones que estén definidas de la
siguiente manera:
Conjunto de puntos: es cualquier colección de puntos (finita o infinita) que podemos
encontrar en el plano complejo.
|z − a| < ρ son todos los puntos z ubicados en el interior de un disco centrado en a y
cuya distancia a a es menor que ρ
|z − a| > ρ son todos los puntos z ubicados en el exterior de un disco centrado en a y
cuya distancia a a es mayor que ρ
|z − a|  ρ son todos los puntos z ubicados en el interior de un disco centrado en a y
cuya distancia a a es menor o igual que ρ . O sea que incluye el círculo.
Entorno:Se llama entorno de un punto a o en algunos casos ρ-entorno de a a la
región |z − a| < ρ
Conjunto abierto: decimos que un conjunto de puntos S es abierto si cada punto de
S tiene un entorno que consiste enteramente de puntos que pertenecen a S.
Conjunto conexo: la definición formal es la que dice que un conjunto S es conexo
si no puede ser expresado como la unión disjunta de dos conjuntos abiertos no vacíos.
También se suele dar otra definición menos formal como que es un conjunto S para el
cual dos cualesquiera de sus puntos pueden ser unidos a través de una línea quebrada
de un número finito de segmentos rectos , todos cuyos puntos pertenecen a S.
Dominio: un conjunto S que es a la vez abierto y conexo se llama Dominio.
Complemento de un conjunto: dado un conjunto S llamamos Complemento a
todos los puntos del plano que no pertenecen a S.
Punto frontera: un punto frontera de S es un punto para el cual cada entorno del
mismo contiene puntos de S y puntos que no pertenecen a S.
Frontera de S: es el conjunto formado por todos los puntos frontera de S.

Función Compleja
Decimos que tenemos una función compleja f(z) sobre un dominio S y se cumple
que f(z) puede calcularse sobre todo S y además para cada z ∈ S existe un solo número
complejo w tal que fz = w.
El conjunto de todos los números complejos w que resultan de aplicar f(z) para todo
z ∈ S se llama rango de la función.
Dado que w es un número complejo podemos escribir w=u+iv y dado que z=x+iy
resulta que
f(z)=f(x+iy)=w=u(x,y)+iv(x,y) donde se indica que tanto u como v son funciones
reales de los valores reales (x,y)
Luego u(x,y) y v(x,y) son respectivamente las partes real e imaginaria de f(z).

Si fz = z 2 + 5z resulta desarrollando que

Si z=x+iy → z 2 = x + iy 2 = x 2 + 2ixy + iy 2 = x 2 − y 2  + i2xy

1 - Matematica Avanzada - Funciones complejas - 1° 2019

 5z = 5x + i5y
Sumando ambas expresiones resulta
fz = z 2 + 5z = x 2 − y 2  + i2xy + 5x + i5y = x 2 + 5x − y 2  + iy2x + 5
Luego u(x,y)=x 2 − y 2 + 5x y v(x,y)=2xy + 5y

Limite de una función compleja

Decimos que f(z) tiene como límite l cuando z se aproxima a z 0 y lo escribimos
lim z→z 0 fz = l si f está definida en un entorno de z 0 (excepto quizás en el propio z 0 ) y
los valores de f se "acercan" a l para todos los z cercanos a z 0.
Dicho en términos precisos si para cada número positivo real ε podemos encontrar
un número positivo real δ tal que en el disco
|z − z 0 | < δ; z ≠ z 0 , entonces se cumple que |fz − l| < ε
Esta definición es muy similar a la usamos en el caso real de una función de una
variable , pero aquí tenemos que tener en cuenta que la aproximación a z 0 se da en un
disco en el plano complejo , por lo que debemos estar seguros que el límite les el
mismo no dependiendo del camino de acercamiento elegido.
Continuidad de una función compleja
Una función compleja se dice que es continua en z = z 0 si está definida en dicho
punto , o sea existe fz 0  y
lim z→z 0 fz = l = fz 0 
Una función f(z) es continua en un dominio S si es continua en todo punto del
dominio.

Derivada de una función compleja

La derivada de una función compleja fz en un punto z 0 se escribe f ´z 0  y está
definida por
fz +Δz−fz 
f ´z 0  = lim Δz→0 0 Δz 0 suponiendo que ese límite exista.
También considerando a Δz = z − z 0 la derivada se puede escribir como
fz−fz 
f ´z 0  = lim z→z 0 z→z 0 0
De nuevo tenemos que recalcar que estamos calculando un límite en el plano
complejo por lo que el mismo , de existir , deberá ser independiente del camino elegido.

Ejemplos
fz+Δz−fz
1) Sea f(z)=z 3 . Si calculamos lim Δz→0 Δz
(o sea lo calculamos para un z
genérico y no un z 0 determinado) , resulta
z + Δz 3 = z 3 + 3z 2 Δz + 3zΔz 2 + Δz 3
z + Δz 3 − z 3 = 3z 2 Δz + 3zΔz 2 + Δz 3
z+Δz 3 −z 3
= 3z Δz+3zΔz = 3z 2 + 3zΔz + Δz 2
2 2 +Δz 3
Δz Δz
Luego lim Δz→0 3z 2 + 3zΔz + Δz 2  = 3z 2 y es independiente del camino elegido.
2) Si fz = z o sea la función que convierte a un número complejo en su conjugado ,
resulta
z+Δz−z Δx−iΔy
= = Δz
=
fz+Δz−fz
Δz Δz Δz Δx+iΔy
Ahora si tomamos un camino para el cual Δy = 0 resulta que el límite es 1

2 - Matematica Avanzada - Funciones complejas - 1° 2019

 Si tomamos un camino para el cual Δx = 0 resulta que el límite es -1. Por lo tanto al
no existir un único límite la función no es diferenciable en ningún punto del plano
complejo.

Función analítica
Una función f(z) se dice analítica en un dominio D si f(z) está definida en todo punto
de D y además es diferenciable en ellos. Se dice que es analítica en un punto si está
definida en el mismo y es diferenciable en él.
Si es analítica en un dominio D se suele decir que es holomorfa en el mismo.

Ecuaciones de Cauchy - Riemann

Las ecuaciones de Cauchy-Riemann nos brindan un criterio para saber si una
función compleja es analítica.
Todo ello se sintetiza en los dos teoremas siguientes que citamos (sin demostración)
Teorema 1
Sea f(z)=u(x,y)+iv(x,y) definida y continua en algún entorno de un punto z=x+iy y
diferenciable en el mismo z. Entonces en ese punto las derivadas parciales de primer
orden de u(x,y) y v(x,y) existen y satisfacen las condiciones de Cauchy-Riemann. A
saber
∂u = ∂v y ∂u = − ∂v
∂x ∂y ∂y ∂x
Lo que nos dice este teorema es que si la función es continua y diferenciable en un
punto (o sea es analítica en él) , entonces en dicho punto se deben cumplir las
condiciones mas arriba señaladas para sus derivadas parciales de primer orden.
Teorema 2
Si dos funciones reales continuas u(x,y) y v(x,y) de dos variables reales x e y tienen
primeras derivadas parciales continuas que satisfacen las condiciones de
Cauchy-Riemann en un dominio D , entonces la función compleja f(z)=u(x,y)+iv(x,y) es
analítica en D.

Ecuación de Laplace - Funciones armónicas

La importancia de contar con funciones analíticas resulta del hecho que las partes
real e imaginaria de dicha función satisfacen la ecuación de Laplace , las más
importante de las ecuaciones diferenciales en derivadas parciales de la física , pues
aparece en gravitación , electrostática , flujo de fluidos , conducción de calor y otros
temas.
Enunciamos un teorema (sin demostración) que relaciones a las funciones analíticas
y la ecuación de Laplace.
Teorema 3
Si f(z)=u(x,y)+iv(x,y) es analítica en un dominio D , entonces ambas funciones u(x,y)
y v(x,y) satisfacen la ecuación de Laplace
∇ 2 ux, y = u xx + u yy = ∂  ∂u  + ∂  ∂u  = ∂ u2 + ∂ u2 = 0
2 2

∂ ∂x ∂ ∂y ∂x ∂y
Igualmente

3 - Matematica Avanzada - Funciones complejas - 1° 2019

 ∇ 2 vx, y = v xx + v yy = ∂  ∂v  + ∂  ∂v  = ∂ v2 + ∂ v2 = 0
2 2

∂ ∂x ∂ ∂y ∂x ∂y
La demostración se basa en el hecho que la derivada de una función analítica es
analítica también (lo veremos más adelante) y utilizando que u xx = v yx ; u yy = −v xy se llega
a demostrar que v yx = v xy y por lo tanto se cumple que u xx + u yy = 0 y lo mismo para v.

4 - Matematica Avanzada - Funciones complejas - 1° 2019