Capítulo 2

Funciones analíticas y mapeos conformes

Límites iguales, entonces el límite existe. Por otro lado,

en el caso complejo, no hay sólo dos direcciones,
sino un número infinito de trayectorias por las
Sean una función compleja f (z) y una con- cuales z tiende a z0 , y para que el límite exista,
stante compleja L. Si para todo número real ǫ > 0 todos estos límites deberán existir y ser iguales.
existe un número real δ > 0 tal que
Teorema 5 Suponga que
|f (z) − L| < ǫ
lı́m f (z) y lı́m g (z) existen ⇒
z→z0 z→z0
para todo z tal que

0 < |z − z0 | < δ lı́m [f (z) + g (z)] = lı́m f (z) + lı́m g (z)

z→z0 z→z0 z→z0

entonces decimos que lı́m [αf (z)] = α lı́m f (z) : ∀α

z→z0 z→z0
lı́m [f (z) · g (z)] = lı́m f (z) · lı́m g (z)
lı́m f (z) = L, z→z0 z→z0 z→z0
z→z0  
f (z) lı́mz→z0 f (z)
lı́m = si lı́m g (z) = 0
es decir, que f (z) tiene límite L cuando z tiende z→z0 g (z) lı́mz→z0 g (z) z→z0
a z0 .
Ejemplo
Analice al siguiente límite
 2 
x +x y2 + y
lı́m f (z) = lı́m +i
z→0 z→0 x + y x+y
tomemos dos trayectorias, la primera a lo largo
del eje y acercándose por arriba, sobre esta trayec-
toria x = 0 y el límite
Límite complejo  2 
y +y
lı́m f (z) = lı́m i
Es fácil notar que la definición de límite real z→0 y→0 y
y límite complejo son muy similares, sin embar- = lı́m [i (y + 1)] = i
y→0
go, existen diferencias entre ellas. Para ilustrar lo
anterior recuerde que en el caso real si los límites la segunda a lo largo del eje x acercándose por
por la izquierda y por la derecha existen y son la derecha, sobre esta trayectoria y = 0 y el límite.

Funciones analíticas y mapeos conformes 19

 Primero se analiza si f (z0 ) existe, para este
  problema f (i) = 3i, lo que sigue es encontrar el
x2 + x límite
lı́m f (z) = lı́m
z→0 x→0 x
= lı́m [x + 1] = 1 z2 + 1
x→0 lı́m
z→i z − i

como los límites por diferentes trayectorias son z 2 − i2

= lı́m
diferentes el límite no existe. z→i z − i
(z + i) (z − i)
= lı́m
z→i z−i
= lı́m (z + i)
z→i
= 2i

aunque el límite existe tenemos que,

 
z2 + 1
lı́m = 2i = (f (i) = 3i)
z→i z − i

por lo tanto no es continua.

El límite no existe

Continuidad Derivada compleja

Decimos que una función w = f (z) es conti- Dada una función de variable compleja f (z),
nua en z = z0 si se satisfacen las dos condiciones la derivada en z0 , se define como:
siguientes:

′ df 
1. f (z0 ) está definido f (z0 ) =
dz z0
2. lı́mz→z0 f (z) ∃, y lı́mz→z0 f (z) = f (z0 ) f (z0 + ∆z) − f (z0 )
= lı́m
Teorema 6 Sean f (z) y g (z) continuas en z0 ,
∆z→0 ∆z
f (z) − f (z0 )
entonces en z0 = lı́m
z→z0 z − z0
f (z) ± g (z) ,
siempre y cuando el límite exista. La definición
f (z) g (z) , anterior es muy similar al caso real, sin embargo,
f [g (z)] y se debe tener cuidado ya que el límite comple-
|f (z)| jo, es más complicado de obtener. El problema
de la existencia de la derivada se estudiará más
son continuas y adelante.
f (z)
g (z) Teorema 7 Si f y g son funciones derivables en
z0 ⇒
es continua si g (z0 ) = 0,
además si f (z) = u (x, y) + iv (x, y), entonces (f + g)′ = f ′ + g′
′
u (x, y) y v (x, y) (αf ) = αf ′
(f · g)′ = f g′ + f ′ g
son continuas.  ′
f gf ′ − f g′
= : g = 0
Ejemplo g g2
Estudie la continuidad en z = i de la función df [g (z)] df dg
=
 z2 +1 dz dg dz
z= i
f (z) = z−i
3i z=i Ejemplo

20 Funciones analíticas y mapeos conformes

 Si f (z) = z n , complicado, aún en funciones sencillas. En esta
sección se estudia una manera simple de probar
dz n
= nz n−1 si la derivada existe y cómo calcularla.
dz Suponga que la función f (z) = u(x, y)+iv(x, y)
Ejemplo tiene derivada en z0 = x0 + iy0 , es decir,
Sea f (z) = z̄, pruebe que f ′ (i) ∄.
La definición de la derivada es: f (z0 + ∆z) − f (z0 )
f ′ (z0 ) = lı́m ∃,
∆z→0 ∆z
z̄ − (−i)
f ′ (i) = lı́m en donde el incremento es ∆z = ∆x + i∆y. Si
z−i
z→i
z̄ + i se toma el límite por dos diferentes trayectorias
′
f (i) = lı́m como se muestra en la figura
z→i z − i

para analizar este límite utilizaremos dos trayec-

torias diferentes:
la primera sobre el eje imaginario, aquí, x = 0,
entonces el límite es

x − iy + i
f ′ (i) = lı́m
z→i x + iy − i
−iy + i
= lı́m
y→1 iy − i
y−1 Se toman dos diferentes trayectorias
= − lı́m
y→1 y − 1
para la trayectoria I, y = y0 , ∆y = 0 y ∆z =
= −1
∆x, entonces la derivada
a la segunda trayectoria la definimos como la
f (z0 + ∆x) − f (z0 )
recta horizontal y = 1, en este caso el límite f ′ (z0 ) = lı́m
∆x→0 ∆x
x − iy + i u (x0 + ∆x, y0 ) + iv (x0 + ∆x, y0 )
f ′ (i) = lı́m
x + iy − i
z→i −u (x0 , y0 ) − iv (x0 , y0 )
x−i+i = lı́m
= lı́m ∆x→0
∆x 
x→0 x + i − i u(x0 +∆x,y0 )−u(x0 ,y0 )
x ∆x +
= lı́m = lı́m v(x0 +∆x,y0 )−v(x0 ,y0 )
x→0 x
∆x→0 i ∆x
 
= 1 ′ ∂u ∂v
f (z0 ) = +i
como ambos límites tienen diferentes valores, la ∂x ∂x x0 ,y0
derivada no existe.
para la trayectoria II, x = x0 , ∆x = 0 y ∆z =
i∆y, entonces la derivada
f (z0 + i∆y) − f (z0 )
f ′ (z0 ) = lı́m
∆y→0 i∆y
u (x0 , y0 + ∆y) + iv (x0 , y0 + ∆y)
−u (x0 , y0 ) − iv (x0 , y0 )
= lı́m
∆y→0 i∆y
u(x ,y +∆y)−u(x ,y ) 
La derivada no existe
0 0
i∆y
0 0
+
= lı́m v(x0 ,y0 +∆y)−v(x0 ,y0 )
∆y→0 i i∆y
u(x ,y +∆y)−u(x ,y ) 
0 0 0 0
+
Ecuaciones de Cauchy-Riemann-
i∆y
= lı́m v(x0 ,y0 +∆y)−v(x0 ,y0 )
∆y→0 i i∆y

(D’Alembert) = lı́m
−i u(x0 ,y0 +∆y)−u(x0 ,y0 )
∆y +
v(x0 ,y0 +∆y)−v(x0 ,y0 )
∆y→0
∆y
 
Como se mostró en ejemplos anteriores pro- ∂u ∂v
= −i +
bar que la derivada existe apartir de un límite es ∂y ∂y x0 ,y0

Funciones analíticas y mapeos conformes 21

 Si la derivada existe los límites son iguales: Teorema 9 Regla de L’H opital. Si g (z0 ) = 0
y h (z0 ) = 0, y si g (z) y h (z) son diferenciables
∂u ∂v ∂u ∂v
f ′ (z) = +i = −i + , en z0 con h′ (z0 ) = 0
∂x ∂x ∂y ∂y
o bien, g (z) g ′ (z0 )
lı́m = ′ .
z→z0 h (z) h (z0 )
∂u ∂v
= (2.1)
∂x ∂y
∂v ∂u
= − (2.2)
∂x ∂y Funciones Analíticas
Las ecuaciones 2.1 y 2.2 se conocen como las
ecuaciones de Cauchy-Riemann, si estas ecua-
ciones no son válidas en algún punto, la derivada Decimos que una función f (z) es analítica
no existe en ese punto, es decir, sólo son condición en z0 si f ′ (z) no sólo existe en z0 , sino en todo
necesaria, pero no suficiente, para que la derivada punto de alguna vecindad de z0 . Si la función es
exista. analítica en todo el plano complejo decimos que
la función es entera.
Teorema 8 Si tanto u y v como sus primeras Si una función no es analítica en z0 , pero es
derivadas parciales ∂u/∂x, ∂u/∂y, ∂v/∂x y ∂v/∂y analítica en al menos un punto de toda vecindad
son continuas en alguna vecindad de z0 , las ecua- de z0 , decimos que z0 es una singularidad de la
ciones de Cauchy-Riemann son condición sufi- función.
ciente para que la derivada exista. El valor de la
derivada es: Teorema 10 Si f (z) y g (z) son funciones analíti-
∂u ∂v ∂u ∂v cas en alguna región, entonces también son analíti-
f ′ (z) = +i = −i + cas
∂x ∂x ∂y ∂y
Forma polar de las ecuaciones 2.1 y 2.2 f (z) ± g (z)
Algunas veces es más fácil utilizar la forma f (z) · g (z)
polar de una función compleja, en este caso las
ecuaciones de Cauchy-Riemann tienen la forma: f [g (z)]
f (z)
∂u 1 ∂v si (g (z) = 0)
= (2.3) g (z)
∂r r ∂θ
∂v 1 ∂u para la misma región.
= − (2.4)
∂r r ∂θ
Ejemplo Ejemplo
2 Un polinomio es entero
En donde es diferenciable |z|
2
|z| = x2 + y2 f (z) = an z n + an−1 z n−1 + ... + a1 z 1 + a0
entonces y una función racional
2 2
u = x +y
an z n + an−1 z n−1 + ... + a1 z 1 + a0
v = 0 f (z) =
bm z m + bm−1 z m−1 + ... + b1 z 1 + b0
   
∂u ∂v es analítica excepto en los puntos para los que
= 2x = =0
∂x ∂y
   
∂v ∂u bm z m + bm−1 z m−1 + ... + b1 z 1 + b0 = 0
=0 = − = −2y
∂x ∂y
u, v y sus derivadas son continuas en todo el
plano, y las ecuaciones de Cauchy-Riemann só-
lo se cumplen en el origen, entonces la derivada Funciones armónicas
existe únicamente en el origen y su valor es
∂u ∂v ∂u ∂v Considere el siguiente problema, dada una fun-
f ′ (0) = +i = −i + =0
∂x ∂x ∂y ∂y ción real φ (x, y), bajo que condiciones puede ser

22 Funciones analíticas y mapeos conformes