Académique Documents
Professionnel Documents
Culture Documents
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
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
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
u v
f ( z ) ( x0 , y0 ) i ( x0 , y0 ) .
x x
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
1 u v v u
f ( z0 ) ( x0 , y0 ) ( x0 , y0 ) ( x0 , y0 ) i ( x0 , y0 ) .
i y y y y
u v v u
f ( z ) ( z) i ( z) ( z) i ( z) .
x x y y
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.
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
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
f ( z ) f ( z0 )
lim ,
z z0 z z0
f z f z0 f z0 z z0
lim 0,
z z0 z z0
f z f z0 f z0 z z0
lim 0,
z z0 z z0
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.
T : (0, 2 ) x
2
, como
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
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
u u
( , r ) r
( , r )
D( f T )( , r ) .
v ( , r ) v
( , r )
r
u u u
( , r ) ( z )(rsen ) ( z )(r cos )
x y
v v
( z )(rsen ) ( z ) (r cos )
y x
v
r ( , r )
r
v v v
( , r ) ( z )(rsen ) ( z )(r cos )
x y
u u
( z )(rsen ) ( z )(r cos )
y x
u
r ( , r )
r