Está en la página 1de 7

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN CARLOS S.

CHINEA

SOBRE LAS ECUACIONES DE CAUCHY-RIEMANN

Son condiciones de gran importancia en la teoría de las funciones analíticas y en las


aplicaciones de estas funciones a la física. Desde un punto de vista histórico fueron
tratadas ya en el siglo XVIII por D’Alembert. Euler las desarrolló en sus trabajos de
aplicación a la mecánica de fluidos, a la cartografía y al cálculo integral.

Son las llamadas Ecuaciones de Cauchy-Riemann, aunque, realmente habrían de


llamarse, más apropiadamente, Ecuaciones de D’Alembert-Euler.

01. Introducción

Una función compleja f : C → C se dice holomorfa o analítica en un recinto D ⊆ C si


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

f : D → C analítica en D ⇔ ∀z 0 ∈ D, f ( z ) derivable en z 0

z y f (z ) se expresan binómicamente 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 función vienen dadas por

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

z −1
2) f ( z) = , y la descomposición es:
z

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

x2 + y2 − x y
f ( z) = +i 2
x +y
2 2
x + y2

por lo cual:

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

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 función analítica f (z ).

∂F ∂G
=
∂x ∂y
∂F ∂G
=−
∂y ∂x
Ejemplos:

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

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

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

Las derivadas parciales son

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

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

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

x2 + y2 − x
F ( x, y ) =
x +y −x
2 2
y x2 + y2
2) f ( z ) = +i ⇒
x2 + y2 x2 + y2 y
G ( x, y ) =
x2 + y2

Las derivadas parciales son ahora

∂F x2 − y2 ∂G − 2 xy
= =
∂x ( )
x 2 + y 2 , ∂x
2
x + y2
2
( 2
)
∂F 2 xy ∂G x2 − y2
= =
∂y (
x2 + y2 )
2
∂y x2 + y2( 2
)
verificándose también 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. Demostración:

Veamos un par de maneras de probar las condiciones de Cauchy-Rieman, primero por


aplicación directa de la definición de derivada compleja, y en segundo lugar, mediante
el uso de diferencias finitas.

a) Por aplicación directa de la definición de derivada compleja:

La expresión de la derivada de la función compleja f (z ). es

df ( z ) f ( z + h) − f ( z )
= lim
dz h
h→0
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:

3
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
h→0 h→0

 F ( x + h, y ) − F ( x, y ) G ( x + h, y ) − G ( x, y ) 
= lim  +i  =
 h h
h→0

F ( x + h, y ) − F ( x, y ) G ( x + h, y ) − G ( x, y )
= lim + i lim =
h h
h→0 h→0
∂F ( x, y ) ∂G ( x, y )
= +i
∂x ∂x

- Si es h = it ∈ C , t ∈ R, z + h = x + i ( y + t ) , verificándose 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
h→0 h→0

 F ( x, y + t ) − F ( x, y ) G ( x , y + t ) − G ( x, y ) 
= lim  +i  =
 ih ih
h→0

F ( x, y + t ) − F ( x , y ) G ( x, y + t ) − G ( x, y )
= lim + i lim =
ih ih
h→0 h→0
∂F ( x, y ) ∂G ( x, y )
= −i +
∂y ∂y

Identificando ambas expresiones:


∂F ( x, y ) ∂G ( x, y )
=
∂F ( x, y ) ∂G ( x, y ) ∂F ( x, y ) ∂G ( x, y ) ∂x ∂y
+i = −i + ⇒
∂x ∂x ∂y ∂y ∂F ( x , y ) ∂G ( x, y )
=−
∂y ∂x
que son las ecuaciones de Cauchy-Riemann.

b) Mediante el uso de diferencias finitas:

∆f ( z ) ∆f ( z )
Si es f ' ( z ) = lim , podemos escribir = f ' ( z ) + ε , siendo ε = ε 1 + iε 2
∆z ∆z
∆z → 0
una cantidad que se hace cero cuando ∆z → 0 . O sea:

4
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 + i∆y

∆f ( z ) = f ( z1 ) − f ( z ) = F1 + iG1 − F − iG = ( F1 − F ) + i (G1 − G ) = ∆F + i∆G

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

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


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

identificando partes real e imaginaria:

∆F ∆y
= a + ε 1 + (−b − ε 2 )
∆x ∆x
∆F ∆x
= −b + ε 2 + ( a − ε 1 )
∆F = a∆x − b∆y + ε 1 ∆x − ε 2 ∆y ∆y ∆y

∆G = a∆y + b∆x + ε 1 ∆y + ε 2 ∆x ∆ G ∆ y
= b + ε 2 + (a + ε 1 )
∆x ∆x
∆G ∆x
= a + ε 1 + (b + ε 2 )
∆y ∆y

Tendemos al límite para hallar las derivadas parciales:

∂F  ∆y 
= lim (a + ε 1 ) + (−b − ε 2 )  = a + 0 + 0 = a
∂x  ∆x 
∆x → 0

∂F  ∆x 
∂y
= lim (−b + ε 2 + (a − ε 1 ) ∆y  = −b + 0 + 0 = −b
∆x → 0  
∂F
∂G  ∆y 
∂x
= lim (b + ε 2 + (a + ε 1 ) ∆x  = b + 0 + 0 = b
∆x → 0

∂G  ∆x 
= lim (a + ε 1 + (b + ε 2 )  = a + 0 + 0 = a
∂y ∆y 
∆x → 0 
por lo cual, resulta:
∂F ∂G
= =a
∂x ∂y
∂F ∂G
=− = −b
∂y ∂x

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

04. Una condición equivalente

Haciendo un cambio de variables:


1
u = x + iy = z x= (u + v)
⇒ 2
v = x − iy = z 1
y = (u − v)
2i
se tiene:

∂f ( z ) ∂f ( z ) dx ∂f ( z ) dy 1  ∂f ( z ) 1 ∂f ( z )  1  ∂f ( z ) ∂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 
∂v ∂x dv ∂y dv 2  ∂x 2i ∂y  2  ∂x ∂y 

o sea:

∂f ( z ) 1  ∂f ( z ) ∂f ( z )  ∂f ( z ) 1  ∂f ( z ) ∂f ( z ) 
=  −i  =  +i 
∂z 2  ∂x ∂y  ∂z 2  ∂x ∂y 

Usando la descomposición en partes real e imaginaria:

∂f ( z ) 1  ∂f ( z ) ∂f ( z )  1  ∂ ∂ 
=  −i  =  (F ( x, y ) + iG ( x, y ) ) − i (F ( x, y ) + iG ( x, y ) ) =
∂z 2  ∂x ∂y  2  ∂x ∂y 
1  ∂F ( x, y ) ∂G ( x, y )   ∂G ( x, y ) ∂F ( x, y ) 
=  +  + i − 
2  ∂x ∂y   ∂x ∂y 

∂f ( z ) 1  ∂f ( z ) ∂f ( z )  1  ∂ ∂ 
=  +i  =  (F ( x, y ) + iG ( x, y ) ) + i (F ( x, y ) + iG ( x, y ) ) =
∂z 2  ∂x ∂y  2  ∂x ∂y 
1  ∂F ( x, y ) ∂G ( x, y )   ∂G ( x, y ) ∂F ( x, y ) 
=  −  + i + 
2  ∂x ∂y   ∂x ∂y 

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 también

6
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 

Recíprocamente, 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 )
implicaría que − =0 y + =0
∂x ∂y ∂x ∂y

Se tiene entonces la equivalencia:

∂F ( x, y ) ∂G ( x, y )
=
∂x ∂y ∂f ( z )
⇔ =0
∂F ( x, y ) ∂G ( x, y ) ∂z
=−
∂y ∂x

05. Bibliografía

MUÑOZ DÍAZ, J., Curso de Teoría de Funciones 1, Editorial Tecnos, Madrid, 1978.

MARKUSHEVICH, A.I., Teoría de las Funciones Analíticas, Ediciones Urmo, Bilbao, 1977

También podría gustarte