Derivabilidad de funciones complejas

Leonardo Fernndez a Matemtica Aplicada, ETSI Navales, Universidad Politcnica de Madrid a e

1.

Sucesiones

Una sucesin compleja es una coleccin innita ordenada de n meros complejos, {zn } , zn C. o o u n=1 Decimos que una sucesin compleja {zn } converge al valor l o mite l C si n=1 > 0 , n0 () N , tal que si n n0 () , entonces |zn l| < . (1)

Proposicin 1.1 Una sucesin compleja {zn } converge a un valor l = a+ ib C si y slo si {xn } o o o n=1 n=1 converge a a y {yn } converge a b. n=1 Si {zn } , {wn } son dos sucesiones complejas convergentes a sus respectivos l mites, l, m, y es n=1 n=1 un n mero complejo, u lm (zn + wn ) = l + m ,
n

lm zn wn = lm ,
n

lm (zn ) = l .
n

(2)

2.

Funciones complejas

Un subconjunto U de C es abierto si para todo z U existe una bola centrada en z de radio r > 0 adecuado que est contenida en U . e Una funcin de variable compleja es una aplicacin f que asocia a cada n mero de un subconjunto o o u U C un unico valor complejo f (z), f: U z C . f (z)

Usando la identicacin z = x + iy = (x, y), podemos ver las funciones complejas como funciones de o dos variables reales, con dos componentes, f (z) = f (x + iy) = u(x, y) + iv(x, y) = (u(x, y), v(x, y)) = f (x, y) , denotando por u, v, las partes real e imaginaria de la funcin f . o

3.

Continuidad de funciones complejas

Sea f una funcin de variable compleja denida en un subconjunto U . Si a es un punto de acumulacin o o de U , decimos que l C es el l mite de la funcin f en a, lm f (z) = l, si o > 0 , () > 0 tal que si 0 < |z a| < () , entonces |f (z) l| < . (3)

Proposicin 3.1 Sea f : U C una funcin de variable compleja. Sea a un punto de acumulacin de o o o U . El l mite de la funcin f = u + iv en a es l = b + ic C si y slo si, las funciones u, v tienen por o o l mite en a a b, c, respectivamente. Proposicin 3.2 Sea f : U C una funcin de variable compleja. Sea a un punto de acumulacin de o o o U . El l mite de la funcin f en a es l C si y slo si, para toda sucesin {zn } convergente a a, o o o n=1 contenida en U , la sucesin {f (zn )} converge a l. o n=1

Una funcin f : U C es continua en un punto a U si o > 0 , () > 0 tal que si |z a| < () , entonces |f (z) f (a)| < . (4)

Proposicin 3.3 Sea f : U C una funcin de variable compleja. Sea a un punto de U . La funcin o o o f = u + iv es continua en a si y slo si, las funciones u, v son continuas en a. o Proposicin 3.4 Sea f : U C una funcin de variable compleja. La funcin f es continua en a U o o o si y slo si, para toda sucesin {zn } convergente a a, contenida en U , la sucesin {f (zn )} converge o o o n=1 n=1 a f (a). Proposicin 3.5 Sean f , g funciones continuas en un punto a. Sea C. Las funciones f , f + g y o f g son continuas en a. La funcin f /g es continua en a si g(a) = 0. o Proposicin 3.6 Sea f una funcin continua en un punto a. Sea g una funcin continua en el punto o o o f (a). La funcin h = g f es continua en a. o Decimos que una funcin es continua en U si es continua en todos los puntos de U . Llamamos dominio o de continuidad de la funcin f al subconjunto de puntos donde es continua dicha funcin. o o

4.

Derivabilidad de funciones complejas

Decimos que una funcin denida en un abierto U C, f : U C es derivable en un punto a U si o existe el siguiente l mite f (z) f (a) f (a) = lm , (5) za za que denominaremos, si existe, derivada de la funcin f en a. o Proposicin 4.1 Si una funcin f : U C C es derivable en un punto a U , es continua en a. o o Proposicin 4.2 Linealidad de la derivada: Sea C. Sean f , g funciones de variable compleja derio vables en un punto a. Entonces f + g, f son derivables en a. (f + g) (a) = f (a) + g (a) , (f ) (a) = f (a) . (6)

Proposicin 4.3 Regla de Leibniz: Sean f , g funciones de variable compleja derivables en un punto a. o Entonces f g es derivable en a y f /g es derivable en a si g(a) = 0. (f g) (a) = f (a)g(a) + f (a)g (a) , (f /g) (a) = f (a)g(a) f (a)g (a) . g(a)2 (7)

Proposicin 4.4 Regla de la cadena: Sean f , g funciones de variable compleja derivables, respectivao mente, en a y b = f (a). Entonces g f es derivable en a. (g f ) (a) = g (b)f (a) . (8)

Decimos que una funcin de variable compleja es derivable u holomorfa en un subconjunto U C o si es derivable en todos los puntos de U . A la regin donde una funcin f es derivable la denominamos o o dominio de holomorf de la funcin f . Si el dominio de holomorf es C, diremos que la funcin es a o a o entera. Ejemplo 4.1 Las funciones polinmicas son enteras. o Ejemplo 4.2 Las funciones racionales son holomorfas salvo en los ceros del denominador.

5.

Diferenciabilidad de funciones reales

Sea f : U R2 denida en un abierto U R2 . Sea a = (a1 , a2 ). Decimos que f es diferenciable en a si existe una funcin lineal h : R2 R2 tal que, o lm f (x1 , x2 ) f (a1 , a2 ) h(x a) =0. xa (9)

(x1 ,x2 )(a1 ,a2 )

A la aplicacin lineal h la denominaremos diferencial de f en a y la denotaremos por df (a1 , a2 ). o Decimos que f : U R2 R2 es diferenciable en U si lo es en todo punto de U . En este caso denotamos la aplicacin diferencial de f como, o df : U L(R2 ; R2 ) . (x1 , x2 ) df (x1 , x2 ) (10)

Proposicin 5.1 Sea f : U R2 R2 una funcin diferenciable en a U . Entonces f es continua en o o a y existen las derivadas parciales en a. f (a1 , a2 ) =b, x f (a1 , a2 ) =c. y (11)

Proposicin 5.2 Sea f : U R2 R2 una funcin con derivadas parciales continuas en a U . o o Entonces la funcin es diferenciable en a. o Las funciones que tienen todas las derivadas parciales continuas se denominan funciones de clase C 1. Teorema 5.1 Teorema de la funcin inversa: Sea f : U R2 una funcin de clase C 1 denida en un o o abierto U R2 . Sea a = (a1 , a2 ) U un punto en el que el jacobiano de f no se anula. Entonces existen entornos abiertos V de a y W de f (a) de modo que la restriccin de f a V es biyectiva y f 1 es de clase o C 1 en W .

6.

Diferenciabilidad y holomorf a

Teorema 6.1 Teorema de Cauchy-Riemann: Sea f : U C una funcin denida en un subconjunto o abierto U C. La funcin f es derivable en a U si y slo si: o o 1. f es diferenciable en a. 2. f (a) f (a) =i . y x f (a) . x

Adems f (a) = a

Ejemplo 6.1 Las funciones seno y coseno trigonomtrico e hiperblico son enteras. e o Ejemplo 6.2 Las funciones tangente, cotangente, secante y cosecante trigonomtricas e hiperblicas son e o funciones holomorfas salvo en los ceros de sus denominadores. Las condiciones 2 del teorema se conocen como condiciones de Cauchy-Riemann. Desglosndolas a en parte real e imaginaria, f (x, y) = u(x, y) + iv(x, y), se reducen a v u = , x y u v = . y x (12)

Con frecuencia usaremos una notacin abreviada para las derivadas parciales, ux := u/x. o Las condiciones de Cauchy-Riemann tienen una interpretacin clara, o f f = , z x 3 f =0. z (13)

Las funciones holomorfas son las funciones diferenciables que dependen de z a travs de esta variable, y e no de z . Una cuarta manera de expresar las condiciones de Cauchy-Riemann consiste en emplear coordenadas polares en el plano, f i f r f = , f (z) = , (14) r r z r en cualquier determinacin. o Ejemplo 6.3 La funcin logaritmo es holomorfa salvo en el corte de la determinacin. o o Ejemplo 6.4 La potencia de exponente w C es holomorfa salvo en el corte de la determinacin. o Proposicin 6.1 Sea f = u + iv : U C una funcin de variable compleja. Si las derivadas parciales o o ux , uy , vx , vy existen y al menos una derivada de u y una derivada de v son continuas y verican las condiciones de Cauchy-Riemann en a U , la funcin es derivable en a. o Teorema 6.2 Sea f : U C una funcin holomorfa denida en un abierto U C. Sea a U un punto o en el que f (a) = 0. Entonces existen entornos abiertos V de a y W de f (a) de modo que la restriccin o de f a V es biyectiva y g = f 1 es holomorfa en W . Adems, si w = f (z), g (w) = 1/f (z). a

7.

Funciones armnicas o

Decimos que una funcin real f denida en el plano real es armnica si verica la ecuacin de o o o Laplace, f (x, y) = fxx (x, y) + fyy (x, y) = 0. Proposicin 7.1 Las partes real e imaginaria de una funcin holomorfa f : U C son funciones o o armnicas. o Proposicin 7.2 Sea u : U R una funcin armnica en el plano. Entonces existe una funcin holoo o o o morfa f : U C, que tiene a u por parte real. La parte imaginaria es la solucin del sistema vx = uy , o vy = ux , que es unica salvo constante. El procedimiento para construir la parte imaginaria de la funcin holomorfa es sencillo: En primer o lugar se integra el sistema de ecuaciones diferenciales y luego se introduce la variable compleja mediante la sustitucin x = (z + z )/2, y = (z z )/2i. Obviamente, la condicin de holomorf exige que la variable o o a conjugada no aparezca expl citamente en la expresin nal. Este procedimiento se acostumbra denominar o mtodo de Milne-Thomson. e Una manera ms sencilla de verlo es darse cuenta de que una funcin holomorfa no depende de z , a o f (z) = f (x, y). Por tanto, la dependencia en z es la misma que la dependencia en x, ya que si tomamos y = 0, obtenemos f (z) = f (x). As podemos reconstruir ms fcilmente la funcin f a partir de sus a a o valores sobre los reales.

8.

Representacin conforme o

Si f : U C es una funcin inyectiva de variable compleja denida en un abierto U C, dene una o transformacin del subconjunto U en f (U ), que es biyectiva. Supongamos que f es holomorfa y que f (z) o no se anula en U . Sabemos por el teorema de la funcin inversa que f 1 es tambin holomorfa en f (U ). o e Las funciones holomorfas inyectivas que no se anulan denen transformaciones conformes de abiertos del plano, ya que conservan los ngulos. a Los puntos donde f (z) se anula son los puntos singulares de la transformacin. o