Ex-Ayudantı́a II: Variable compleja

La idea de este material, es estudiar la diferenciabilidad de funciones complejas mediante las ecuaciones
de Cauchy-Riemann. Para esto, conviene recordar un gran resultado visto en Cálculo III:

Sea U un abierto de R2 . Si una función u : U → R posee derivadas parciales en U , y además de eso,

dichas derivadas parciales son continuas en z ∈ U , entonces u es R-diferenciable en z.

Note que aquı́, el resultado habla sobre funciones que tienen conjunto de llegada R, y nosotros en el cur-
so estamos estudiando funciones, que en algún sentido, tienen conjunto de llegada R2 . Esto se resuelve vien-
do la diferenciabilidad de las funciones componentes de tal función, o sea, para f (x, y) = (u(x, y), v(x, y)),
su diferenciabilidad se viene dada por la diferenciabilidad de las funciones u, v (y viceversa).

Hasta aquı́, hemos hablado de una diferenciabilidad real, y nosotros queremos hablar de una dife-
renciabilidad compleja. Para llegar a esto último, se debe tener diferenciabilidad real (pero ¿Sobre que
funciones? La u y la v!!!) y se deben cumplir las Ecuaciones de Cauchy-Riemann. En resumen:

f es R−diferenciable + Ecuaciones Cauchy-Riemann ⇔ f es C−diferenciable

Problema 1: Estudiese la diferenciabilidad y analiticidad en C de las siguientes funciones:

a) f (z) = z<(z)2 donde z ∈ C.

x2
 
3 3
b) f (x, y) = (x − y) + i y +
2
x3 + iy 3
c) f (x, y) = si (x, y) 6= (0, 0) y f (0, 0) = 0.
x2 + y 2

Solución:

a) Dado que los mapeos z 7→ z, z 7→ <(z) son diferenciables en todo C, se sigue que el producto
z 7→ z · <(z) · <(z) es diferenciable en todo C. Para saber si es analı́tica, debemos ver si f 0 es continua
en C. Esto es según la definición dada en la Clase 3.

Por regla de la cadena, para z ∈ C se tiene que f 0 (z) = <(z)2 + z · 2<(z) · dz d

<(z), por lo que la
0
continuidad de f (y por ende la analiticidad de f ) queda condicionada a la continuidad de la función
d
dz <(z). ¿Es esta última función continua? Si no puede responder esta pregunta después de una cantidad
considerable de tiempo, vaya a la Página 4 de la Clase 6.
2
b) Aquı́ nuesta función f está expresada de la forma u + iv, donde u(x, y) = x3 − y y v(x, y) = y 3 + x2 ,
de aquı́, nos preguntamos directamente si este par de funciones satisfacen el resultado enunciado al
comienzo de este documento (para obtener diferenciabilidad real), y luego, si cumplen las Ecuaciones
de Caychy-Riemann.

Note que para todo (x, y) ∈ R2 , tenemos que

   2 
∂1 u(x, y) ∂1 v(x, y) 3x x
= (1)
∂2 u(x, y) ∂2 v(x, y) −1 3y 2

1
 donde la continuidad de ∂i u, ∂i v con i ∈ {1, 2} sobre R2 se sigue del hecho que u, v son funciones
polinomiales. Por tanto, u, v son R−diferenciables en todo R2 . Hasta aquı́, ya tenemos la primera
parte. Ahora queremos ver en que puntos se verifican las Ecuaciones de Cauchy-Riemann, para ası́
saber en que puntos f es C−diferenciable.
C-R
∂2 u(x, y) = −∂1 v(x, y) ⇔ −1 = −x
C-R
⇒ ∂1 u(1, y) = −∂1 v(1, y) ⇔ 3 · 12 = 3 · y 2 ⇒ y ∈ {1, −1}

por tanto, los pares (x, y) ∈ R2 que satisfacen las Ecuaciones C-R en (1) son (1, 1) y (1, −1). En
conclusión, f es C−diferenciable en los puntos (1, 1) y (1, −1), y por ende, no existe abierto G de C
donde esta sea analı́tica. Esto según definición dada en Clase 3 pág 5.

c) Procediendo de igual manera; identificando nuestras funciones u, v tenemos para (x, y) ∈ R2 :

x3
u(x, y) =
x2 + y 2
y3
v(x, y) =
x2 + y 2

y para (x, y) 6= 0 se tiene

 2 2
3x (x + y 2 ) − 2x4 −2xy 3

 
∂1 u(x, y) ∂1 v(x, y)  (x2 + y 2 )2 (x2 + y 2 )2 
=  (2)
∂2 u(x, y) ∂2 v(x, y)  −2x3 y 2 2 2 4
3y (x + y ) − 2y 
(x2 + y 2 )2 (x2 + y 2 )2

donde la continuidad de ∂i u, ∂i v con i ∈ {1, 2} sobre R2 − {(0, 0)}, se sigue al ver que es estas son un
cociente de funciones continuas (polinomios) bien definidas en tal conjunto. Para ahora, ver en que
puntos se satisfacen las Ecuaciones de Cauchy-Riemann vemos
C-R
∂1 u(x, y) = ∂2 v(x, y) ⇒ x4 = y 4 (3)
C-R
∂2 u(x, y) = −∂1 v(x, y) ⇒ xy(x2 + y 2 ) = 0 (4)

de (4) se sigue que xy = 0, pues x2 + y 2 = 0 es equivalente a decir que x = y = 0, y no estamos consi-

derando tal caso. Luego x = 0 ó y = 0. Suponiendo x = 0, de (3), se tiene entonces que y = 0, luego,
no existen puntos en R2 − {(0, 0)} tal que en (2) se verifiquen las Ecuaciones de Cauchy-Riemann, y
por ende, no hay C−diferenciabilidad en tal conjunto.

Aquı́, debemos tener harto cuidado, pues de echar las cuentas (al calcular, usando la definición de
derivada parcial), tenemos que
   
∂1 u(0, 0) ∂1 v(0, 0) 1 0
=
∂2 u(0, 0) ∂2 v(0, 0) 0 1

o sea, que se verifican las Ecuaciones de Cauchy-Riemann en el punto (0, 0). Luego, según nuestro rece-
tario, debiésemos verificar que u, v son diferenciables en (0, 0). Pero de la definición de diferenciabilidad
en R2 , vemos que sobre el punto (0, 0) tenemos

u((0, 0) + (x, y)) − ∂1 u(0, 0) · x − ∂2 u(0, 0) · y u(x, y) − x

lı́m = lı́m p
(x,y)→(0,0) ||(x, y)|| (x,y)→(0,0) x2 + y 2
−xy 2
= lı́m p
(x,y)→(0,0) (x2 + y 2 ) x2 + y 2

−xy 2
donde la expresión p mediante coordenadas polares es igual a cos(θ)[sen(θ)]2 , ası́,
(x2 + y 2 ) x2 + y 2
seguiendo trayectorias rectas (para dejar el ángulo fijo) hacia el origen, concluı́mos que tal lı́mite no
existe, luego u NO es diferenciable en (0, 0) y por ende tampoco lo es f . Esta última idea es la misma
usada en el Problema 1 de la Ayudantı́a I.

Nota: Aquı́ usted tiene un ejemplo en donde se satisfacen las Ecuaciones de Cauchy-Riemann en cierto
punto pero la función estudiada NO es diferenciable en ese punto.
Problema 2: Pruebe que existe una función f : C → C diferenciable (ojo con el conjunto de partida)
tal que <(f (z)) = u(x, y) = x4 − 6x2 y 2 + y 4 .

Solución: Sea v la parte imaginaria de f , o sea f = u + iv, entonces de existir tal f , podemos usar las
Ecuaciones de Cauchy-Riemann sobre el par (u, v), entonces

∂1 u(x, y) = ∂2 v(x, y)
⇒ 4x − 12xy 2 = ∂2 v(x, y)
3
 3
y
R
dx2 3
⇒ 4x y − 12x + c = v(x, y)
3

donde c es una constante real, luego, v(x, y) = 4x3 y − 4xy 3 + c es una candidata a ser parte imaginaria
de la función buscada. Al realizar los siguientes cálculos:

∂2 u(x, y) = −12x2 y + 4y 3
= −[12x2 y − 4y 3 ]
= −∂1 v(x, y)

tales funciones satisfacen las Ecuaciones de Cauchy-Riemann y son R−diferenciables en todo R2 , luego la
función f := u + iv es diferenciable en todo C y cumple con que su parte real es u.

Ejercicio (para practicar): Encuentre una condición necesaria y suficiente sobre las constantes reales
a, b, c, de manera que exista una función f : C → C diferenciable con parte real igual a u(x, y) =
ax2 + bxy + cy 2 .
Problema 3: Sea Ω un dominio del plano complejo C, y f una función diferenciable sobre Ω. Suponga
que existe constantes reales a, b, c con a2 + b2 > 0 tales que
a<(f (z)) + b=(f (z)) = c ∀z ∈ Ω
pruebe que f es constante.

Solución: Cómo lo hemos hecho a lo largo de estos problemas, pensemos la función f de la forma u+iv.
Entonces pensando z = (x, y), tenemos la siguiente igualdad
a<(f (z)) + b=(f (z)) = au(x, y) + bv(x, y)
⇒ au(x, y) + bv(x, y) = c (5)
y derivando con respecto a x1 , x2 sobre (5), obtenemos respectivamente
a∂1 u(x, y) + b∂1 v(x, y) = 0
a∂2 u(x, y) + b∂2 v(x, y) = 0
luego, usando las ecuaciones de Cauchy-Riemann sobre estas últimas igualdades, se tiene que
a∂1 u(x, y) − b∂2 u(x, y) = 0
a∂2 u(x, y) + b∂1 u(x, y) = 0
dicho de otra manera
∇u(x, y) · (a, −b) = 0
∇u(x, y) · (b, a) = 0
o sea, que para todo (x, y) ∈ Ω (visto en R2 ) el vector ∇u(x, y) es perpendicular a los vectores (a, −b) y
(b, a), pero tales vectores (ambos no nulos, pues a2 + b2 > 0, recuerde que a2 + b2 = 0 ssi a = b = 0) son
perpendiculares entre si, pues (b, a) · (a, −b) = 0. Luego (hágase un dibujito para convencerse de lo que
viene ahora) ∇u(x, y) es el vector nulo, o sea ∇u(x, y) ≡ 0. Esta última afirmación, equivale a decir que
∂1 u ≡ ∂2 u ≡ 0 sobre un dominio de R2 , entonces u es constante. De igual manera se justifica que v es
constante, y por consiguiente, f es constante. 

Ejercicio (usando el hecho anterior): Sea f : Ω → C una función diferenciable sobre el dominio Ω
de C, si la imagen de Ω está contenida en una recta de C, entonces f es constante.

PD: Al igual que la Ayudantı́a I, este documento lo elaboré yo, ası́ que aún existe esa componente de
riesgo.