Teorema de las ecuaciones de Cauchy-Riemann

Teorema
Sea f (z) = u(x, y ) + iv (x, y ) una función definida en un dominio G . Entonces una
condición necesaria y suficiente para que f (z) sea complejo diferenciable en el punto
z0 = x0 + iy0 ∈ G , es que las funciones u(x, y ) y v (x, y ) sean real diferenciables en el
punto (x0 , y0 ) y que satisfagan las ecuaciones de Cauchy-Riemann:

∂u ∂v ∂u ∂v
= , =− en (x0 , y0 ).
∂x ∂y ∂y ∂x

Si esas condiciones se cumplen, f 0 (z0 ), puede representarse en cualquiera de las

siguientes formas:
∂u ∂v ∂v ∂u ∂u ∂u ∂v ∂v
f 0 (z0 ) = +i = −i = −i = +i
∂x ∂x ∂y ∂y ∂x ∂y ∂y ∂x

Donde las parciales son evaluadas en (x0 , y0 ).

1/7
Demostración
Veamos primero la unicidad: Consideremos los incrementos

∆z = z − z0 = (x − x0 ) + i(y − y0 ) = ∆x + i∆y ;

∆f (z) = f (z) − f (z0 ) = [u(x, y ) − u(x0 , y0 )] + i [v (x, y ) − v (x0 , y0 )] = ∆u + i∆v .

Como f es complejo diferenciable en z0 , satisface la condición de Stolz, ası́

∆f (z) = f 0 (z0 )∆z + ∆z, (z, z0 ) → 0, si ∆z → 0 (1)

Escribiendo f 0 (z0 ) = a + ib,  = 1 + i2

2/7
Tomando partes real e imaginaria en (1) encontramos

(a + ib) (∆x + i∆y ) + (1 + i2 ) (∆x + i∆y ) = ∆u + i∆v

= (a∆x − b∆y ) + i (b∆x + a∆y ) + (1 ∆x − 2 ∆y ) + i (1 ∆y + 2 ∆x) ;

De donde :
∆u = a∆x − b∆y + 1 ∆x − 2 ∆y ;
∆v = b∆x + a∆y + 1 ∆y + 2 ∆x.
donde 1 , 2 → 0 cuando ∆x, ∆y → 0. Ya que
q
|∆z| = (∆x)2 + (∆y )2 , | 1 |6|  |, | 2 |6|  |;

Se sigue que las funciones u(x, y ) y v (x, y ) son real diferencialble y que

∂u ∂u ∂v ∂v
= a, = −b, = b, = a.
∂x ∂y ∂x ∂y

3/7
Para probar la suficiencia, prácticamente iremos a la inversa: Supongamos que u(x, y )
y v (x, y ) sean real diferenciables en (x0 , y0 ) y cumplen las ecuaciones de
Couchy-Riemann, entonces
∂u ∂u
∆u = ∆x + ∆y + α1 ∆x + α2 ∆y
∂x ∂y
= a∆x − b∆y + α1 ∆x + α2 ∆y ;

∂v ∂v
∆v = ∆x + ∆y + β1 ∆x + β2 ∆y
∂x ∂y
= b∆x + a∆y + β1 ∆x + β2 ∆y ;

donde α1 , α2 , β1 , β2 → 0 cuando ∆x, ∆y → 0, de ahı́

∂u ∂v ∂u ∂v
a= = , b=− =
∂x ∂y ∂y ∂x

4/7
Sustituyendo lo anterior en la fórmula ∆f (z) = ∆u + i∆v :

∆f (z) = a (∆x + i∆y ) + ib (∆x + i∆y ) + (α1 + iβ1 ) ∆x + (α2 + iβ2 ) ∆y

 
∆x ∆y
= (a + ib)∆z + (α1 + iβ1 ) + (α2 + iβ2 ) ∆z
∆z ∆z
= (a + ib)∆z + ∆z,

donde
∆x ∆y
|  | = (α1 + iβ1 ) + (α2 + iβ2 )
∆z ∆z
∆x ∆y
6 |α1 + iβ1 | + |α2 + iβ2 |
∆z ∆z
6 |α1 + iβ1 | + |α2 + iβ2 |
6 |α1 | + |β1 | + |α2 | + |β2 |

Ya que α1 , α2 , β1 , β2 → 0 cuando ∆x, ∆y → 0. Se sigue que  → 0 cuando ∆z → 0.

5/7
Ejemplos

f (z) = z u(x, y ) = x v (x, y ) = y → Complejo diferenciable en todo C;

∂u ∂v
f (z) = z̄ u(x, y ) = x v (x, y ) = −y → ∂x =1 ∂y = −1 No es complejo
diferenciable;

f (z) = (z Re z) z = x 2 + ixy u(x, y ) = x 2 v (x, y ) = xy → Es complejo

diferenciable en z0 ;

f (z) = x 2 + iy 2 u(x, y ) = x 2 v (x, y ) = y 2

∂u ∂v ∂u −∂v
= 2x = 2y =0 =0 ∴ y =x
∂x ∂y ∂y ∂x
Es complejo diferenciable solo en y = x;
6/7
f (z) = expx (cos y + i sin y ) → Es complejo diferencial en todo C;

f (z) = y + ix u(x, y ) = y v (x, y ) = x

∂u ∂v ∂u −∂v
=0 =0 =1 = −1
∂x ∂y ∂y ∂x
No es complejo diferenciable en ningún punto;

P∞ 2n
k=1 z función de Weierstrass analı́tica solo en {| z |< 1}.

7/7