SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

CARLOS S. CHINEA

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

Son condiciones de gran importancia en la teora de las funciones analticas y en las

aplicaciones de estas funciones a la fsica. Desde un punto de vista histrico fueron
tratadas ya en el siglo XVIII por DAlembert. Euler las desarroll en sus trabajos de
aplicacin a la mecnica de fluidos, a la cartografa y al clculo integral.
Son las llamadas Ecuaciones de Cauchy-Riemann, aunque, realmente habran de
llamarse, ms apropiadamente, Ecuaciones de DAlembert-Euler.

01. Introduccin

f : C C se dice holomorfa o analtica en un recinto D C si

es derivable respecto a la variable compleja en todo punto z D .
Una funcin compleja

f : D C analtica en D z 0 D, f ( z ) derivable en z 0

z y f (z ) se expresan binmicamente descompuestas en parte real y parte imaginaria:

z = x + iy , f ( z ) = F ( x, y ) + i.G ( x, y )
Ejemplos:
1) f ( z ) = z + 3 z , se tiene:
2

f ( z ) = ( x + iy ) 2 + 3( x + iy ) = x 2 y 2 + 3 x + i (2 xy + 3 y )
es decir, en este caso las partes real e imaginaria de la funcin vienen dadas por

F ( x, y ) = x 2 y 2 + 3 x
G ( x, y ) = 2 xy + 3 y
2)

f ( z) =

z 1
, y la descomposicin es:
z

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

f ( z) =

CARLOS S. CHINEA

x2 + y2 x
y
+i 2
2
2
x +y
x + y2

por lo cual:

x2 + y2 x
x2 + y2
y
G ( x, y ) = 2
x + y2

F ( x, y ) =

02. Las ecuaciones de Cauchy-Riemann

Se verifican las siguientes igualdades entre las derivadas parciales de las partes real F
e imaginaria G de la funcin analtica f (z ).

F G
=
y
x
F
G
=
y
x
Ejemplos:
Retomando los dos ejemplos anteriores, veamos que se verifican estas ecuaciones:
1) f ( z ) = x y + 3 x + i ( 2 xy + 3 y )
2

F ( x, y ) = x 2 y 2 + 3 x
G ( x, y ) = 2 xy + 3 y

Las derivadas parciales son

F
G
= 2y
= 2x + 3

x
x
, G
F
= 2x + 3
= 2 y
y
y
obviamente, se verifican las ecuaciones:

F G
= 2x + 3
=
y
x
F
G
=
= 2 y
y
x

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

2) f ( z ) =

x +y x
2

x2 + y2

+i

F ( x, y ) =

y
x2 + y2

G ( x, y ) =

CARLOS S. CHINEA

x2 + y2 x
x2 + y2
y
x2 + y2

Las derivadas parciales son ahora

2 xy
G
x2 y2
F
=
=
2
2
2
x
x + y2
x 2 + y 2 , x
G
2 xy
x2 y2
F
=
=
2
2
y
y
x2 + y2
x2 + y2

verificndose tambin ambas ecuaciones:

F G
x2 y2
=
= 2
x
y ( x + y 2 ) 2
F
G
2 xy
=
= 2
y
x ( x + y 2 ) 2

03. Demostracin:
Veamos un par de maneras de probar las condiciones de Cauchy-Rieman, primero por
aplicacin directa de la definicin de derivada compleja, y en segundo lugar, mediante
el uso de diferencias finitas.
a) Por aplicacin directa de la definicin de derivada compleja:
La expresin de la derivada de la funcin compleja

f (z ). es

df ( z )
f ( z + h) f ( z )
= lim
dz
h
h0
Siendo h, incremento de la variable independiente z, real o bien imaginario:
- Si es

h R, z + h = x + h + iy , con lo cual es:

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

CARLOS S. CHINEA

df ( z )
f ( z + h) f ( z )
F ( x + h, y ) + iG ( x + h, y ) (F ( x, y ) iG ( x, y ) )
= lim
= lim
=
dz
h
h
h0
h0
G ( x + h, y ) G ( x, y )
F ( x + h, y ) F ( x, y )
= lim
+i
=
h
h

h0
F ( x + h, y ) F ( x, y )
G ( x + h, y ) G ( x, y )
+ i lim
=
h
h
h0
h0
F ( x, y )
G ( x, y )
=
+i
x
x

= lim

- Si es

h = it C , t R, z + h = x + i ( y + t ) , verificndose ahora:

df ( z )
f ( z + h) f ( z )
F ( x, y + t ) + iG ( x, y + t ) (F ( x, y ) iG ( x, y ) )
= lim
= lim
=
dz
h
ih
h0
h0
G ( x , y + t ) G ( x, y )
F ( x, y + t ) F ( x, y )
= lim
+i
=
ih
ih

h0
G ( x, y + t ) G ( x, y )
F ( x, y + t ) F ( x , y )
+ i lim
=
ih
ih
h0
h0
F ( x, y ) G ( x, y )
+
= i
y
y

= lim

Identificando ambas expresiones:

F ( x, y ) G ( x, y )
=
F ( x, y ) G ( x, y )
G ( x, y )
F ( x, y )
x
y

+
= i
+i
(
,
)
( x, y )
F
x
y
G

y
y
x
x
=
x
y

que son las ecuaciones de Cauchy-Riemann.

b) Mediante el uso de diferencias finitas:

Si es f ' ( z ) =

lim
z 0

f ( z )
f ( z )
, podemos escribir
= f ' ( z ) + , siendo = 1 + i 2
z
z

una cantidad que se hace cero cuando z 0 . O sea:

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

CARLOS S. CHINEA

f ( z ) = f ' ( z ).z + .z
entonces, se tiene que

z = z1 z = ( x1 + iy1 ) ( x + iy ) = ( x1 x) + i ( y1 y ) = x + iy
f ( z ) = f ( z1 ) f ( z ) = F1 + iG1 F iG = ( F1 F ) + i (G1 G ) = F + iG
y si representamos la derivada por

f ' ( z ) = a + ib , podemos escribir:

f ( z ) = F + iG = (a + ib).(x + iy ) + ( 1 + i 2 )(x + iy ) =
= (ax by + 1 x 2 y ) + i (ay + bx + 1 y + 2 x)
identificando partes real e imaginaria:

F
y
= a + 1 + (b 2 )
x
x
F
x
= b + 2 + ( a 1 )
F = ax by + 1 x 2 y
y
y

G
y
G = ay + bx + 1 y + 2 x
= b + 2 + (a + 1 )
x
x
G
x
= a + 1 + (b + 2 )
y
y
Tendemos al lmite para hallar las derivadas parciales:

F
=
x
F
=
y
F

lim (a + 1 ) + (b 2 ) = a + 0 + 0 = a
x

x 0

x
(b + 2 + (a 1 ) y = b + 0 + 0 = b

x 0

G
=
x
G
=
y

lim

lim
x 0

(b + 2 + (a + 1 ) x = b + 0 + 0 = b

x
lim (a + 1 + (b + 2 ) = a + 0 + 0 = a
y
x 0

por lo cual, resulta:

F G
=
=a
x y
F
G
=
= b
y
x

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

CARLOS S. CHINEA

04. Una condicin equivalente

Haciendo un cambio de variables:

1
(u + v)
2

1
v = x iy = z
y = (u v)
2i

u = x + iy = z

x=

se tiene:

f ( z )
f ( z ) f ( z ) dx f ( z ) dy 1 f ( z ) 1 f ( z ) 1 f ( z )
=

=
+
=
+
i
u
x du
y du 2 x
2i y 2 x
y
f ( z ) f ( z ) dx f ( z ) dy 1 f ( z ) 1 f ( z ) 1 f ( z )
f ( z )
=

+i
=
+
=
y
v
x dv
y dv 2 x
2i y 2 x
o sea:

f ( z ) 1 f ( z )
f ( z )

=
i
z
2 x
y

f ( z ) 1 f ( z )
f ( z )

=
+i
z
2 x
y

Usando la descomposicin en partes real e imaginaria:

f ( z ) 1
f ( z ) 1 f ( z )
= (F ( x, y ) + iG ( x, y ) ) i (F ( x, y ) + iG ( x, y ) ) =
i
=
y
y 2 x
z
2 x

1 F ( x, y ) G ( x, y ) G ( x, y ) F ( x, y )

+ i

+
=
y
y x
2 x

f ( z ) 1
f ( z ) 1 f ( z )
= (F ( x, y ) + iG ( x, y ) ) + i (F ( x, y ) + iG ( x, y ) ) =
+i
=
y
y 2 x
z
2 x

1 F ( x, y ) G ( x, y ) G ( x, y ) F ( x, y )

+ i
+

=
y
y x
2 x
Si se verifican las ecuaciones de Cauchy-Riemann, ser:

f ( z ) 1 F ( x, y ) G ( x, y ) G ( x, y ) F ( x, y ) F ( x, y )
G ( x, y )
+ i
=
=
+

+i
z
2 x
y x
y
x
x
y tambin

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

CARLOS S. CHINEA

f ( z ) 1 F ( x, y ) G ( x, y ) G ( x, y ) F ( x, y )
+ i
= 0
=

+
z
2 x
y x
y
Recprocamente, si la derivada parcial respecto a la variable conjugada es cero,

f ( z )
= 0 , entonces se verifican las ecuaciones de Cauchy-Riemann, pues ello
z
F ( x, y ) G ( x, y )
G ( x, y ) F ( x, y )

=0 y
+
=0
implicara que
x
y
x
y

Se tiene entonces la equivalencia:

F ( x, y ) G ( x, y )
=
f ( z )
x
y

=0
F ( x, y )
G ( x, y )
z
=
y
x

05. Bibliografa
MUOZ DAZ, J., Curso de Teora de Funciones 1, Editorial Tecnos, Madrid, 1978.
MARKUSHEVICH, A.I., Teora de las Funciones Analticas, Ediciones Urmo, Bilbao, 1977