1.

L mites

COMPLEJA DERIVACION

Sea f denida en todos los puntos z de alg un entorno z0

z z0

l m f (z ) = 0

es decir, el punto = f (z ) puede quedar pr oximo a 0 si elegimos z sucientemente pr oximo a z0 , pero z = z0 . De forma precisa,
z z0

l m f (z ) = 0

si > 0, > 0 tal que si 0 < |z z0 | < |f (z ) 0 | <

Nota 1. Sea f (z ) = u(x, yx) + iv (x, y ), z0 = x0 + iy0 , 0 = u0 + iv0 , Entonces

z z0

l m f (z ) = 0

(x,y )(x0 ,y0 )

l m

u(x, y ) = u0 y

(x,y )(x0 ,y0 )

l m

v (x, y ) = v0

CONTINUIDAD Una funci on f es CONTINUA EN UN PUNTO z0 si se cumple:

z z0

l m f (z ) = f (z0 )

f es continua en una regi on R, si es continua en cada punto de R. La derivada de una funci on real f (x) de una variable x en x = x0 est a dada por el l mite f (x0 ) = l m
xx0

f (x) f (x0 ) x x0

El punto x0 es un n umero real, as que puede ser representado por un punto en la recta real. El punto que representa x puede aproximarse al punto jo x0 ya sea por la izquierda o por la derecha a lo largo de esta recta. Volvamos ahora a las variables complejas y funciones dependientes de ellas. Sabemos que se requiere un plano para representar a los n umeros complejos, as z0 es ahora n punto jo en

alg un lugar del plano. La denici on de la derivada de la funci on f (z ) de la variable compleja z en el punto z0 ser a entonces f (z0 ) = l m f (z ) f (z0 ) z z0

z z0

Puede parecer que si s olo intercambiamos z por x, el resto de esta secci on seguir a l neas similares a la derivaci on de funciones de variables reales. Para funciones reales, el l mite puede tomarse solo por la izquierda o por la derecha, y la existencia de un l mite u nico no es dif cil de establecer. Sin embargo, para variables complejas el punto que representa el n umero complejo jo z0 puede ser aproximado a lo largo de una innidad de curvas en el plano z . La existencia de un l mite u nico es entonces un requerimiento muy estricto. El hecho de que la mayor a de las funciones complejas puedan ser derivadas en la forma usual es una propiedad sobresaliente de la variable compleja. Como z = x + iy y x, y pueden variar independientemente, existen varias conexiones con el c alculo de funciones de dos variables reales. Podemos escribir la funci on derivada del siguiente modo, tomando tenemos que f (z0 ) = l m f (z0 +
z 0

z = z z0 ,

z ) f (z0 ) z z ) est a denido si

Como f est a denida en un entorno de z0 , entonces f (z0 + | z | es sucientemente peque no.

En lugar de usar la palabras derivablepara describir funciones complejas para las cuales existe la derivada, si la funci on f (z ) tienen una derivada f (x) que existe en todos los puntos de una regi on R del plano z , entonces f (z ) se llama anal tica en R. Otros t erminos como regular u holomorfa tambi en se utilizan como alternativas de anal tica. Estrictamente, las funciones que tienen un desarrollo en serie de potencias se conocen como funciones anal ticas. Se puede demostrar que todas funci on que tiene un desarrollo en serie de potencias alrededor de un punto es derivable en el mismo, es decir, toda funci on anal tica en un punto es tambi en

derivable en ese puntos. Sin embargo, hay funciones derivables en un punto que no tienen un desarrollo en serie de potencias alrededor de ese puntos. Pero si la funci on es derivable en todos los puntos interiores a un c rculo con centro en un punto dado, entonces la funci on se puede desarrollar en serie de potencias alrededor de dicho punto. Por eso a toda funci on derivable en todos los puntos de una regi on se le dice funci on anal tica.

Proposici on 1. La existencia de la derivada de una funci on en un punto implica la continuidad de la funci on en tal punto. DEMOSTRACION Supongamos que existe f (z0 ), tenemos que: l m [f (z ) f (z0 )] = l m f (z ) f (z0 ) l m (z z0 ) = f (z0 ) 0 = 0 z z0 z z0 l m f (z ) = f (z0 )

z z0

z z0

Por tanto
z z0

1.1.

Ecuaciones de Cauchy-Riemann.

Teorema 1. Si z = x + iy y f (z ) = u(x, y )+ iv (x, y ), y f (z ) es anal tica en alguna regi on R en el plano z , entonces las dos ecuaciones (1) u v = , x y u v = y x

conocidas como las ecuaciones de Cauchy-Riemann, se satisfacen en todo R.

Demostraci on Como f (z ) existe en cualquier punto z0 en R, f (z0 ) = l m

z z0

f (z ) f (z0 ) z z0

donde z puede tender a z0 a lo largo de cualquier trayectoria dentro de R. Escribiendo z= x + i y , puedo escribir

f (z0 ) = l m u(x0 + x, y0 +

f (z0 +

z 0

z ) f (z0 ) = z y ) u(x0 , y0 ) iv (x0 , y0 ) =

= l m

y ) + iv (x0 +

z 0

x, y0 + z

= l m

u(x0 +

x, y0 +

z 0

y ) u(x0 , y0 ) + i v (x0 + z

x, y0 +

y ) v ( x0 , y 0 )

Como el l mite ser a igual por los distintos caminos que tomemos: Si y = 0, entonces cuando u(x0 + x 0 tengo: v (x0 + x, y0 ) v (x0 , y0 ) = x

f (z0 ) = l m

x0

x, y0 ) u(x0 , y0 ) x =

+ l m i
x0

u v (z0 ) + i (z0 ) x x u v (z0 ) + i (z0 ) x x x = 0, cuando z 0,

Luego f (z0 ) =

Si ahora hacemos la derivada por otro camino, entonces y 0 y resulta: u(x0 , y0 + y ) u(x0 , y0 ) i y

f (z0 ) = l m

y 0

+ l m i
y 0

v (x0 , y0 +

y ) v (x0 , y0 ) = i y

= Luego

1 u v u v (z0 ) + (z0 ) = i (z0 ) + (z0 ) i y y y y

f (z0 ) = i

u v (z0 ) + (z0 ) y y

Como el l mite existe, ha de ser el mismo en cualquier direcci on, luego v u v u (z0 ) + i (z0 ) = i (z0 ) + (z0 ) x x y y Es decir,

u v u v = , = x y y x que son las ecuaciones de Cauchy-Riemann.