SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S.

CHINEA
1



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

Una funcin compleja C C f : se dice holomorfa o analtica en un recinto C D si
es derivable respecto a la variable compleja en todo punto D z .

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

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

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

Ejemplos:

1) z z z f 3 ) (
2
+ = , se tiene:

( ) ) 3 2 ( 3 3 ) ( ) (
2 2 2
y xy i x y x iy x iy x z f + + + = + + + =

es decir, en este caso las partes real e imaginaria de la funcin vienen dadas por

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


2)
z
z
z f
1
) (

= , y la descomposicin es:

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S. CHINEA
2
2 2 2 2
2 2
) (
y x
y
i
y x
x y x
z f
+
+
+
+
=

por lo cual:

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





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 ). (z f

x
G
y
F
y
G
x
F

Ejemplos:

Retomando los dos ejemplos anteriores, veamos que se verifican estas ecuaciones:

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

Las derivadas parciales son

3 2
2
,
2
3 2
+ =

+ =

x
y
G
y
x
G
y
y
F
x
x
F

obviamente, se verifican las ecuaciones:

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

+ =

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S. CHINEA
3
2)
2 2
2 2
2 2
2 2 2 2
2 2
) , (
) , (
) (
y x
y
y x G
y x
x y x
y x F
y x
y
i
y x
x y x
z f
+
=
+
+
=

+
+
+
+
=

Las derivadas parciales son ahora

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

+
=

verificndose tambin ambas ecuaciones:

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

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 ). (z f es
h
z f h z f
h
dz
z df ) ( ) (
0
lim
) ( +

=
Siendo h, incremento de la variable independiente z, real o bien imaginario:

- Si es iy h x h z R h + + = + , , con lo cual es:
SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S. CHINEA
4
( )
x
y x G
i
x
y x F
h
y x G y h x G
h
i
h
y x F y h x F
h
h
y x G y h x G
i
h
y x F y h x F
h
h
y x iG y x F y h x iG y h x F
h
h
z f h z f
h
dz
z df

=
=
+

+
+

=
=
(

+
+
+

=
=
+ + +

=
+

=
) , ( ) , (
) , ( ) , (
0
lim
) , ( ) , (
0
lim
) , ( ) , ( ) , ( ) , (
0
lim
) , ( ) , ( ) , ( ) , (
0
lim
) ( ) (
0
lim
) (



- Si es ) ( , , t y i x h z R t C it h + + = + = , verificndose ahora:
( )
y
y x G
y
y x F
i
ih
y x G t y x G
h
i
ih
y x F t y x F
h
ih
y x G t y x G
i
ih
y x F t y x F
h
ih
y x iG y x F t y x iG t y x F
h
h
z f h z f
h
dz
z df

=
=
+

+
+

=
=
(

+
+
+

=
=
+ + +

=
+

=
) , ( ) , (
) , ( ) , (
0
lim
) , ( ) , (
0
lim
) , ( ) , ( ) , ( ) , (
0
lim
) , ( ) , ( ) , ( ) , (
0
lim
) ( ) (
0
lim
) (


Identificando ambas expresiones:
x
y x G
y
y x F
y
y x G
x
y x F
y
y x G
y
y x F
i
x
y x G
i
x
y x F

) , ( ) , (
) , ( ) , (
) , ( ) , ( ) , ( ) , (

que son las ecuaciones de Cauchy-Riemann.


b) Mediante el uso de diferencias finitas:

Si es
z
z f
z
z f

=
) (
0
lim ) ( ' , podemos escribir + =

) ( '
) (
z f
z
z f
, siendo
2 1
i + =
una cantidad que se hace cero cuando 0 z . O sea:
SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S. CHINEA
5
z z z f z f + = . ). ( ' ) (

entonces, se tiene que

y i x y y i x x iy x iy x z z z + = + = + + = = ) ( ) ( ) ( ) (
1 1 1 1 1


G i F G G i F F iG F iG F z f z f z f + = + = + = = ) ( ) ( ) ( ) ( ) (
1 1 1 1 1


y si representamos la derivada por ib a z f + = ) ( ' , podemos escribir:

) ( ) (
) )( ( ) ).( ( ) (
2 1 2 1
2 1
x y x b y a i y x y b x a
y i x i y i x ib a G i F z f
+ + + + + =
= + + + + + = + =




identificando partes real e imaginaria:

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

+ + + =

+ + + =

+ + =

+ + =

+ + + =
+ =
) (
) (
) (
) (
2 1
1 2
1 2
2 1
2 1
2 1








Tendemos al lmite para hallar las derivadas parciales:
a a
y
x
b a
x
y
G
b b
x
y
a b
x
x
G
F
b b
y
x
a b
x
y
F
a a
x
y
b a
x
x
F
= + + =
(

+ + +

=

= + + =
(

+ + +

=

= + + =
(

+ +

=

= + + =
(

+ +

=

0 0 ) ( (
0
lim
0 0 ) ( (
0
lim
0 0 ) ( (
0
lim
0 0 ) ( ) (
0
lim
2 1
1 2
1 2
2 1





por lo cual, resulta:
b
x
G
y
F
a
y
G
x
F
=

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S. CHINEA
6


04. Una condicin equivalente

Haciendo un cambio de variables:
) (
2
1
) (
2
1
v u
i
y
v u x
z iy x v
z iy x u
=
+ =

= =
= + =

se tiene:

|
|
.
|

\
|

=
|
|
.
|

\
|

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



|
|
.
|

\
|

=
|
|
.
|

\
|

y
z f
i
x
z f
y
z f
i x
z f
dv
dy
y
z f
dv
dx
x
z f
v
z f ) ( ) (
2
1 ) (
2
1 ) (
2
1 ) ( ) ( ) (


o sea:

|
|
.
|

\
|

y
z f
i
x
z f
z
z f ) ( ) (
2
1 ) (

|
|
.
|

\
|

y
z f
i
x
z f
z
z f ) ( ) (
2
1 ) (


Usando la descomposicin en partes real e imaginaria:


( ) ( )
(

|
|
.
|

\
|

+
|
|
.
|

\
|

=
=
(

=
|
|
.
|

\
|

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


( ) ( )
(

|
|
.
|

\
|

+
|
|
.
|

\
|

=
=
(

+ +

=
|
|
.
|

\
|

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


Si se verifican las ecuaciones de Cauchy-Riemann, ser:

x
y x G
i
x
y x F
y
y x F
x
y x G
i
y
y x G
x
y x F
z
z f

=
(

|
|
.
|

\
|

+
|
|
.
|

\
|

) , ( ) , ( ) , ( ) , ( ) , ( ) , (
2
1 ) (

y tambin

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S. CHINEA
7
0
) , ( ) , ( ) , ( ) , (
2
1 ) (
=
(

|
|
.
|

\
|

+
|
|
.
|

\
|

y
y x F
x
y x G
i
y
y x G
x
y x F
z
z f


Recprocamente, si la derivada parcial respecto a la variable conjugada es cero,
0
) (
=

z
z f
, entonces se verifican las ecuaciones de Cauchy-Riemann, pues ello
implicara que 0
) , ( ) , (
0
) , ( ) , (
=

y
y x F
x
y x G
y
y
y x G
x
y x F


Se tiene entonces la equivalencia:

0
) (
) , ( ) , (
) , ( ) , (
=

z
z f
x
y x G
y
y x F
y
y x G
x
y x F






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