Funciones Analı́ticas

Prof. Axel Cruz

October 5, 2020

1 Diferenciabilidad y Analiticidad
1.1 Diferenciabilidad
Si z = x+iy y z0 = x0 +iy0 , entonces ∆z = z−z0 = x−x0 +i(y−y0 ) = ∆x+i∆y.

Si w = f (z), entonces ∆w = f (z0 + ∆z) − f (z0 ).

Definición 1. Suponga que la función compleja f está definida en una vecindad
de un punto z0 . La derivada de f en z0 , denotada por f 0 (z0 ), es

f (z0 + ∆z) − f (z0 )

f 0 (z0 ) = lim
∆z→0 ∆z
dado que este lı́mite exista.
Si el lı́mite existe se dice que la función es diferenciable en z0 .
dw dw 
También se usa la notación w0 , y, para la derivada en el punto z0 , .
dz dz z=z0

Reglas de diferenciación:
d d
1. c=0y cf (z) = cf 0 (z)
dz dz
d
2. [f (z) ± g(z)] = f 0 (z) ± g 0 (z)
dz
d
3. [f (z)g(z)] = f (z)g 0 (z) + f 0 (z)g(z)
dz
g(z)f 0 (z) − f (z)g 0 (z)
 
d f (z)
4. =
dz g(z) [g(z)]2
d
5. f (g(z)) = f 0 (g(z))g 0 (z)
dz
d n
También es válida z = nz n−1 con n entero.
dz

1
Ejercicio 1. Encuentre la derivada de f (z) = (z 4 − 2iz 2 + z)10 Solución:

f 0 (z) = 10(z 4 − 2iz 2 + z)9 · (4z 3 − 4iz + 1)

Si una función compleja se hace especificando sus partes real e imaginaria u
y v es más probable que no sea diferenciable.

Ejercicio 2. Muestre que f (z) = z no es diferenciable en ningún punto.

Solución
Sea z0 = x0 + iy0 un punto en el plano complejo. Escribimos f (z) = z =
x + iy = x − iy. Luego,

z0 + ∆z − z0
f 0 (z) = lim
∆z→0 ∆z

z0 + ∆z − z0
= lim
∆z→0 ∆z

∆z
= lim
∆z→0∆z
Tomaremos el lı́mite a lo largo de dos trayectorias:

a. A lo largo de z = x0 +iy. Notamos que ∆z = z −z0 = x0 +iy−(x0 +iy0 ) =

i(y − y0 ) = i∆y y ∆z = −i∆y

∆z
lim
∆z→0 ∆z

−i∆y
= lim
∆z→0 i∆y

= −1

b. A lo largo de z = x+iy0 . Notamos que ∆z = z −z0 = x+iy0 −(x0 +iy0 ) =

x − x0 = ∆x y ∆z = ∆x

∆z
lim
∆z→0 ∆z

∆x
= lim
∆z→0 ∆x

=1

Por lo que la derivada no existe en z0 .

2
Ejercicio 3. La función f (z) = |z|2 es continua en el origen.

a. Muestre que f es diferenciable en el origen.

Solución:

|0 + ∆z|2 − |0|2
f 0 (0) = lim
∆z→0 ∆z

|∆z|2
= lim
∆z→0 ∆z

∆z∆z
= lim
∆z→0 ∆z

= lim ∆z = 0
∆z→0

b. Muestre que f no es diferenciable en cualquier punto z 6= 0. Sea z0 =

x0 + iy0

|z0 + ∆z|2 − |z0 |2

f 0 (z0 ) = lim
∆z→0 ∆z

(z0 + ∆z)(z0 + ∆z) − z0 z0

= lim
∆z→0 ∆z

(z0 + ∆z)(z0 + ∆z) − z0 z0

= lim
∆z→0 ∆z

z0 z0 + z0 ∆z + z0 ∆z + ∆z∆z − z0 z0
= lim
∆z→0 ∆z

z0 ∆z + z0 ∆z + ∆z∆z
= lim
∆z→0 ∆z
Calcularemos el lı́mite a lo largo de dos trayectorias:

i. A lo largo de la recta x0 + iy.

En este caso vemos que ∆z = z−z0 = x0 +iy−(x0 +iy0 ) = i(y−y0 ) =

i∆y y ∆z = −i∆y. Por tanto,

z0 ∆z + z0 ∆z + ∆z∆z
lim
∆z→0 ∆z

3
 −iz0 ∆y + iz0 ∆y − i∆yi∆y
= lim
∆z→0 i∆y

= lim (−z0 + z0 − i∆y)

∆z→0

= z0 − z0
= x0 − iy0 − (x0 + iy0 )
= −2iy0
ii. A lo largo de la recta x + iy0 .

En este caso vemos que ∆z = z − z0 = x + iy0 − (x0 + iy0 ) = x − x0 =

∆x y ∆z = ∆x. Por tanto,

z0 ∆z + z0 ∆z + ∆z∆z
lim
∆z→0 ∆z

z0 ∆x + z0 ∆x + ∆x∆x
= lim
∆z→0 ∆x

= lim (z0 + z0 + ∆x)

∆z→0

= z0 + z0
= x0 + iy0 + x0 − iy0
= 2x0

Por tanto, la derivada no existe en z0 .

1.2 Funciones Analı́ticas

Definición 2. Una función compleja w = f (z) se dice que es analı́tica en el
punto z0 si f es diferenciable en z0 y en cada punto de alguna vecindad de z0 .
Una función f es analı́tica en un dominio D si es analı́tica en cada punto
de D. A esas funciones se les llama holomorfas o regulares.
Por ejemplo, la función del ejercicio 3 es diferenciable en z = 0 pero no es
analı́tica en ese punto. La función f (z) = z es analı́tica en todos los puntos de
C.
Una función que es analı́tica en cada punto z en el plano complejo se dice
que es una función entera.
Teorema 1. i. Una función polinómica p(z) = an z n + an−1 z n−1 + · · · +
a1 z + a0 , donde n es un entero no negativo, es una función entera.

4
 p(z)
ii. Una función racional f (z) = , donde p y q son funciones polinómicas,
q(z)
es analı́tica en cualquier dominio D que no contenga algún punto z0 para
el que q(z0 ) = 0.

Un punto z en el que la función w = f (z) falla en ser analı́tica es llamado

un punto singular de f .
Además, la suma, diferencia y producto de funciones analı́ticas también es
una función analı́tica. El cociente tambien lo es siempre que el denominador
sea distinto de cero en D.
 3
(4 + 2i)z
Ejercicio 4. Determine los puntos en los que la función f (z) =
(2 − i)z 2 + 9i
no es analı́tica.
Solución:
(2 − i)z 2 + 9i = 0

−9i 2 + i
z2 = ·
2−i 2+i
9 − 18i 9 18
z2 = = − i
5 5 5
 9 18  r 81 √  
9 5 9 18
Notemos que  − i = = y Arg − i = tan−1 (−2). Por
 
5 5 5 5 5 5
tanto, los valores donde f no es analı́tica son:
√ !1/2 
tan−1 (−2) tan−1 (−2)

9 5
w0 = cos + i sin
5 2 2

√ !1/2 
tan−1 (−2) + 2π tan−1 (−2) + 2π

9 5
w1 = cos + i sin
5 2 2

2 Ecuaciones de Cauchy-Riemann
2.1 Una condición necesaria para la analiticidad
Teorema 2. Suponga que f (z) = u(x, y) + iv(x, y) es diferenciable en el punto
z0 = x0 + iy0 . Entonces, las derivadas parciales de primer orden de u y v existen
en z0 y satisfacen las ecuaciones de Cauchy-Riemann
∂u ∂v ∂u ∂v
= y =−
∂x ∂y ∂y ∂x

5
 Un poco de lógica

A→B
Contrapositiva:
¬B → ¬A
Criterio para la no analiticidad:
Si las ecuaciones de Cauchy-Riemann no se satisfacen en cada punto z en un
dominio D, entonces la función f (z) = u(x, y) + iv(x, y) no puede ser analı́tica
en D.
Ejercicio 5. Muestre que f (z) = z 2 no es analı́tica en ningún punto.
Solución:

f (z) = z 2
2
= (x + iy)
= (x − iy)2
= x2 − 2xyi − y 2
Por lo que u = x2 − y 2 y v = −2xy. Si aplicamos las ecuaciones de Cauchy-
Riemann:
∂u
= 2x
∂x
∂v
= −2x
∂y
∂u ∂v
Por lo que 6= . Además,
∂x ∂y
∂u
= −2y
∂y
∂v
− = −(−2y) = 2y
∂x
∂u ∂v
Por tanto, 6= −
∂y ∂x

2.2 Una condición suficiente para la analiticidad

Teorema 3. Suponga que las funciones reales u(x, y) y v(x, y) son continuas
y tienen derivadas parciales de primer orden continuas en un dominio D. Si
u y v satisfacen las ecuaciones de Cauchy-Riemann en todos los puntos de D,
entonces la función compleja f (z) = u(x, y) + iv(x, y) es analitica en D.

6
 Criterio para la diferenciabilidad Si las funciones reales u(x, y) y v(x, y)
son continuas y tienen derivadas parciales de primer orden continuas en alguna
vecindad del punto z y u y v satisfacen las ecuaciones de Cauchy-Riemann en
z entonces f es diferenciable en z.
Además, si f es diferenciable en un dominio D, podemos usar la siguiente
fórmula para la derivada:
∂u ∂v ∂v ∂u
f 0 (z) = +i = −i
∂x ∂x ∂y ∂y
Teorema 4. Suponga que la función f (z) = u(x, y) + iv(x, y) es analı́tica en
un dominio D.
i. Si |f (z)| es constante en D, también lo es f (z).
ii. Si f 0 (z) = 0 en D, entonces f (z) = c en D, donde c es una constante.
Ejercicio 6. Muestre que la función f (x) = x + sin x cosh y + i(y + cos x sinh y)
es analı́tica en un dominio apropiado.
Solución
∂u ∂v
= 1 + cos x cosh y y = 1 + cos x cosh y
∂x ∂y
∂u ∂v
= sin x sinh y y = − sin x sinh y
∂y ∂x
∂u ∂v ∂u ∂v
Como = y = − y, además, cos x, sin x, sinh y y cosh y son
∂x ∂y ∂y ∂x
continuas en todo el plano complejo. La función es analı́tica en todo C.
Ejercicio 7. Encuentre constantes reales a, b, c y d de modo que la función
f (z) = x2 + axy + by 2 + i(cx2 + dxy + y 2 ) sea analı́tica.
Solución
∂u ∂v
= 2x + ay y = dx + 2y
∂x ∂y
∂u ∂v
= ax + 2by y = 2cx + dy
∂y ∂x
Luego,

2x + ay = dx + 2y
por lo que a = 2 y d = 2.
Además,

ax + 2by = −(2cx + dy)

ax + 2by = −2cx − dy
por tanto, a = −2c y d = −2b. Lo que nos lleva a c = −1 y b = −1.

7
Ejercicio 8. Muestre que la función f (z) = x2 − x + y + i(y 2 − 5y − x) no es
analı́tica en ningún punto pero sı́ es diferenciable a lo largo de y = x + 2.
Solución
∂u ∂v
= 2x − 1 y = 2y − 5
∂x ∂y
∂u ∂v
=1y = −1
∂y ∂x
∂u ∂v
al igualar con
∂x ∂y
2x − 1 = 2y − 5
y =x+2
Vemos que las ecuaciones de C-R se cumplen en y = x + 2. Pero D = {(x, y) ∈
C|y = x + 2} no es un dominio pues no es un conjunto abierto.
Ejercicio 9. Suponga que f (z) es analı́tica. ¿Puede g(z) = f (z) ser analı́tica?
Solución
∂u ∂v ∂u ∂v
Como f (z) es analı́tica, = y = − . Además, g(z) = f (z) =
∂x ∂y ∂y ∂x
0 0 ∂u ∂v 0 ∂v
u + iv = u − iv = u + iv donde v = −v. Luego, 6= =− .
∂x ∂y ∂y
Ejercicio 10. Pruebe el teorema 4 parte i.
Prueba
Suponga que |f (z)| = c. Si f (z) = u(x, y) + iv(x, y) entonces |f (z)|2 = c2
que es lo mismo que u2 + v 2 = c2 . Las derivadas parciales de esa expresión con
respecto a x y y son

2uux + 2vvx = 0 y 2uuy + 2vvy = 0

Al reemplazar por las ecuaciones de C-R,

2uux − 2vuy = 0 , 2uuy + 2vux = 0

uux = vuy , uuy + vux = 0
v
ux = uy , uuy + vux = 0
u
v2
uuy + uy = 0
u
v2
 
uy u + =0
u
uy = 0
Y también

8
 ux = 0
De uy = 0 podrı́amos concluir que u = g(x), pero como ux = 0, u debe ser
constante. De la misma forma concluimos que v es constante.
Coordenadas Polares Si f (z) = u(r, θ) + iv(r, θ), en coordenadas polares,
las ecuaciones de Cauchy-Riemann se ven ası́:
∂u 1 ∂v ∂v 1 ∂u
= , =−
∂r r ∂θ ∂r r ∂θ
y la derivada,
   
∂u ∂v 1 −iθ ∂v ∂u
f 0 (z) = e−iθ +i = e −i
∂r ∂r r ∂θ ∂θ

3 Funciones Armónicas
Partiendo del hecho de que una función analı́tica tiene derivadas de cualquier
orden y que también estas son analı́ticas (que se verá en el capı́tulo 5) y que,
además, las derivadas son continuas, se usan para mostrar que hay una relación
entre la parte real e imaginaria de f (z) = u(x, y) + iv(x, y) y la ecuación difer-
encial parcial

∂2φ ∂2φ
+ 2 =0
∂x2 ∂y
∂2φ ∂2φ
Esta ecuación se conoce como la ecuacion de Laplace. La suma +
∂x2 ∂y 2
es denotada por ∇2 φ. Por tanto, la ecuación de Laplace se puede escribir como
∇2 φ = 0.
Definición 3. Una función de variable real de dos variables φ, con variables
x e y que tiene derivadas parciales de primer y segundo orden continuas en un
dominio D y que satisface la ecuación de Laplace se dice que es armónica en
D.
Teorema 5. Suponga que la función compleja f (z) = u(x, y) + iv(x, y) es
analı́tica en un dominio D. Entonces las funciones u(x, y) y v(x, y) son armónicas
en D.

3.1 Funciones armónicas conjugadas

Suponga que u(x, y) es armónica en un dominio D. Si es posible encontrar otra
función armónica real v(x, y) tal que u y v satisfacen las ecuaciones de C-R en el
dominio D. Entonces la función v(x, y) es llamada una armónica conjugada
de u. Haciendo u(x, y) + iv(x, y) obtenemos una función que es analı́tica en D.

9
Ejercicio 11. Verifique que la función u(x, y) = −e−x sin y es armónica en un
dominio apropiado D. Luego, encuentre v(x, y), una armónica conjugada de u.
Además, forme la correspondiente función analı́tica f (z) = u + iv.
Solución

a. Probar que es armónica.

∂u
= e−x sin y
∂x
∂2u
= −e−x sin y
∂x2
y

∂u
= −e−x cos y
∂y
∂2u
= e−x sin y
∂y 2
luego

∂2u ∂2u
+ 2 = −e−x sin y + e−x sin y = 0
∂x2 ∂y
Por tanto, la función es armónica
b. Encontrar la armónica conjugada
Como u y v son armónicas conjugadas, deben cumplir las ecuaciones de
C-R, tenemos

∂v ∂v
= e−x sin y y = e−x cos y
∂y ∂x
∂v
Integrando con respecto a y obtenemos
∂y

v(x, y) = −e−x cos y + g(x)

derivando esta expresión con respecto a x

∂v
= e−x cos y + g 0 (x)
∂x
∂v
Sustituyendo por
∂x

e−x cos y = e−x cos y + g 0 (x)

10
 g 0 (x) = 0

por lo que g(x) = C. Luego,

v(x, y) = −e−x cos y + C

c. f (z) = −e−x sin y − i(e−x cos y + C) es una función analı́tica.

Ejercicio 12. Verifique que la función u(x, y) = 4xy 3 − 4x3 y + x es armónica

en un dominio apropiado D. Luego, encuentre v(x, y), una armónica conjugada
de u. Además, forme la correspondiente función analı́tica f (z) = u + iv que
satisfaga f (1 + i) = 5 + 4i.
Solución

a. Probar que es armónica.

∂u
= 4y 3 − 12x2 y + 1
∂x
∂2u
= −24xy
∂x2
y

∂u
= 12xy 2 − 4x3
∂y
∂2u
= 24xy
∂y 2
luego

∂2u ∂2u
+ 2 = −24xy + 24xy = 0
∂x2 ∂y
Por tanto, la función es armónica
b. Encontrar la armónica conjugada
Como u y v son armónicas conjugadas, deben cumplir las ecuaciones de
C-R, tenemos

∂v ∂v
= 4y 3 − 12x2 y + 1 y = −12xy 2 + 4x3
∂y ∂x
∂v
Integrando con respecto a x obtenemos
∂x

v(x, y) = x4 − 6x2 y 2 + g(y)

11
 derivando esta expresión con respecto a y

∂v
= −12x2 y + g 0 (y)
∂y
∂v
Sustituyendo por
∂y

4y 3 − 12x2 y + 1 = −12x2 y + g 0 (y)

g 0 (y) = 1 + 4y 3

por lo que g(y) = y + y 4 + C. Luego,

v(x, y) = 4y 3 − 12x2 y + y + y 4 + C

c. f (z) = 4xy 3 − 4x3 y + x + i(4xy 3 − 4x3 y + y + y 4 + C) es una función

analı́tica. Además, como f (1 + i) = 5 + 4i,

4(1)(1)3 − 4(1)3 (1) + 1 + i(4(1)(1)3 − 4(1)3 (1) + 1 + 1 + C) = 5 + 4i

1 + i(2 + C) = 5 + 4i
1 + 2i + Ci = 5 + 4i
Ci = 4 + 2i
4 + 2i
C=
i
4i + 2i2
C=
i2
−2 + 4i
C=
−1
C = 2 − 4i

Por tanto f (z) = 4xy 3 − 4x3 y + x + i(4xy 3 − 4x3 y + y + y 4 + 2 − 4i) =

4xy 3 − 4x3 y + x + 4 + i(4xy 3 − 4x3 y + y + y 4 + 2)
Ejercicio 13. Suponga f (z) = u(r, θ) + iv(r, θ) es analı́tica en un dominio
D que no contiene al origen. Use las ecuaciones de C-R en forma polar para
mostrar que u(r, θ) satisface la ecuación de Laplace en coordenadas polares:
∂2u ∂u ∂ 2 u
r2 + r + 2 =0
∂r2 ∂r ∂θ
.
Solución
Recordemos que las ecuaciones de C-R en coordenadas polares se ven ası́:
∂u 1 ∂v ∂v 1 ∂u
= , =−
∂r r ∂θ ∂r r ∂θ

12
a.
∂u 1 ∂v
=
∂r r ∂θ

∂2u 1 ∂v 1 ∂ 2 v
2
=− 2 +
∂r r ∂θ r ∂r∂θ

∂u ∂v
= −r
∂θ ∂r

∂2u ∂2v
= −r
∂θ2 ∂θ∂r
b.
1 ∂v 1 ∂ 2 v ∂2v
   
1 ∂v
r2 − 2 + +r −r
r ∂θ r ∂r∂θ r ∂θ ∂θ∂r

∂v ∂2v ∂v ∂2v
=− +r + −r
∂θ ∂r∂θ ∂θ ∂θ∂r

=0

13