Vous êtes sur la page 1sur 5

ECUACIONES DE CAUCHY-RIEMANN

Si f : A   , tambien f : A  2
 2
. Recordamos que f es diferenciable en
el sentido real en  x0 , y0   A si existe una transformación lineal Df  x , y  de 2
en 2
0 0

qué satisface:

f  x0  h, y0  k   f  x0 , y0   Df  x0 , y0   h, k 
lim  0.
 h , k  0,0   h, k 
Resulta que ser analítica es una propiedad más restrictiva que la de ser diferenciable
en el sentido real, como lo muestra el siguiente teorema.

Usaremos el siguiente hecho fácil de probar. Si g es una función compleja tal que
lim g  z  existe, entonces existen lim Re  g  z   y lim Im  g  z   , y
z  z0 z  z0 z  z0

lim g  z   lim Re  g  z    i lim Im  g  z   .


z  z0 z  z0 z  z0

TEOREMA 1
Sean A abierto en y f :A una función holomorfa en z0  ( x0 , y0 )  A ,
entonces:

u v
 x0 , y0    x0 , y0 
x y
(Ecuaciones de Cauchy-Riemann)
u v
 x0 , y0     x0 , y0 
y x


Donde f ( x, y)  u  x, y  , v  x, y  . 
DEMOSTRACION. Por hipótesis:

f ( z )  f ( z0 )
f ( z0 )  lim ,
z  z0 z  z0

en particular, aproximándose a z0 por la recta y  y0 se tiene que:

f ( x, y0 )  f ( x0 , y0 ) u ( x, y0 )  u ( x0 , y0 )  i  v( x, y0 )  v( x0 , y0 ) 
 ,
( x  x0 )  i( y0  y0 ) x  x0

y tomando límite cuando x  x0 , se obtiene

u v
f ( z )  ( x0 , y0 )  i ( x0 , y0 ) .
x x

Esta última afirmación se sigue de la observación anterior al teorema.


Análogamente, aproximándose por la recta x  x0 ,

f ( z )  f ( z0 )
z  z0

Se escribe como:

u ( x0 , y )  u ( x0 , y0 )  i  v( x0 , y )  v( x0 , y0 )  u ( x0 , y )  u ( x0 , y0 ) v( x0 , y )  v( x0 , y0 )
  .
( x0  x0 )  i( y  y0 ) i( y  y0 ) y  y0

Nuevamente, tomando límite cuando z  z0 , se obtiene:

1 u v v u
f ( z0 )  ( x0 , y0 )  ( x0 , y0 )  ( x0 , y0 )  i ( x0 , y0 ) .
i y y y y

Igualando estas dos expresiones para f ( z0 ) , se obtienen las ecuaciones de Cauchy-


Riemann.

Observación 1. La demostración del teorema 1 proporciona formulas explicitas para la


derivada.

u v v u
f ( z )  ( z)  i ( z)  ( z)  i ( z) .
x x y y

El resultado del teorema 1 es aún más general.

TEOREMA 2
Sea f : A   , A abierto, z0  A entonces f es holomorfa en z0 sí y solo si f
es diferenciable en el sentido real z0 y satisface las condiciones de Cauchy-Riemann
en dicho punto.

Una consecuencia importante de este teorema es el hecho de que cualquier función


f : A   , (A abierto en ) con derivadas parciales continuas en z0  A y que
además satisface las condiciones de Cauchy-Riemann en dicho punto es
necesariamente analítica.

Para demostrar el teorema 2 primero se necesita una observación.

a b
Observación 2. Una matriz   con entradas reales, representa bajo multiplicación
c d
matricial, la multiplicación por un numero complejo si y solo si a  d y b  c . El
numero en cuestión es a  ic o d  ib .
DEMOSTRACION. Como la multiplicación por un complejo fijo es una operación
conmutativa, se puede escribir el complejo en cuestión como a  ic , y la matriz
 a c  2
  produce como transformación lineal de en 2 la multiplicación deseada:
c a 

 a c  x 
     ax  cy, cx  ay  .
 c a  y 

En notación compleja esto es:

(ax  cy )  i(cx  ay )  (a  ic)( x  iy) .

a b
Viceversa, si   representa la multiplicación por   i  ,
c d

 a b  x 
    ( x   y,  x   y ) , x  iy  , es decir:
 c d  y 

ax  by   x   y
cx  dy   x   y

En particular, tomando ( x, y ) como (1, 0) o (0,1) se obtiene:

a   , b    , c   , d   . Ahora si se puede demostrar el teorema 2.

DEMOSTRACION DEL TEOREMA 2. Si f es holomorfa en z0 entonces existe

f ( z )  f ( z0 )
lim ,
z  z0 z  z0

que denotamos por f ( z0 ) . Este límite es equivalente a:

f  z   f  z0   f   z0  z  z0 
lim 0,
z  z0 z  z0

que a su vez es equivale a:

f  z   f  z0   f   z0  z  z0 
lim  0,
z  z0 z  z0

o, usando coordenadas reales,

f  z   f  z0   Df z0  z  z0 
lim 0,
z  z0 z  z0
donde Df z0 es la matriz generada por el número complejo f   z0  como en la
demostración de la observación.

Este último limite muestra que f es diferenciable en el sentido real en z0 y que


satisface las condiciones de Cauchy-Riemann en dicho punto. La observación 2
muestra que todos los pasos son reversibles.

ECUACIONES DE CAUCHY-RIEMANN EN COORDENADAS


POLARES
Procedemos a expresar las condiciones de Cauchy-Riemann en coordenadas polares.
Se define:

T : (0, 2 ) x 
 2
, como

T ( , r )  (r cos  , rsen ) , donde 


 {x  / x  0} .

Se restringe el ángulo a (0, 2 ) ya que de otra manera T 1 no es continua en el eje


real positivo: por ejemplo, si se toma como dominio  0, 2  x 
, la sucesión

 2n i   1 2n i 
T (e )   T (1)  (2 ,1) .
1
e   1 , pero
   

TEOREMA 3.

Sea A una región en / y f :A una función analítica, f ( z )  u ( z )  iv( z ) .
Entonces ( , r )  T ( A) :
1

u v
( , r )  r ( , r )
 r
u v
r ( , r )  ( , r )
r 

donde u  u T y v  v T . A estas ecuaciones se les llama ecuaciones de Cauchy-


Riemann en forma polar.

DEMOSTRACIÓN. Tomando ( , r )  T 1 ( z) , z  A , se tiene:

 u u 
 x ( z ) y
( z) 
rsen cos  
D( f T )( , r )     
 v v  r cos  sen 
 x ( z ) ( z)  
 y 
 u u u u 
 x ( z )(rsen )  y ( z )(r cos  ) x
( z )(cos  )  ( z )( sen ) 
y
 .
 v v v v 
 x ( z )(rsen )  y ( z )(r cos  ) x
( z )(cos  )  ( z )( sen ) 
y
 

Por otro lado:

 u u 
  ( , r ) r
( , r ) 
D( f T )( , r )   .
 v ( , r ) v
( , r ) 

  r 

Obteniéndose de estas dos ecuaciones:

u u u
( , r )  ( z )(rsen )  ( z )(r cos  )
 x y

v  v 
 ( z )(rsen )    ( z )  (r cos  )
y  x 
v
 r ( , r )
r

Análogamente se obtiene la otra ecuación:

v v v
( , r )  ( z )(rsen )  ( z )(r cos  )
 x y

u u
 ( z )(rsen )  ( z )(r cos  )
y x
u
r ( , r )
r

Queda demostrado las ecuaciones de Cauchy-Riemann en forma polar.

Vous aimerez peut-être aussi