Anda di halaman 1dari 8

FUNCIONES HOLOMORFAS

2.1. Funciones variable compleja

En este captulo vamos a tratar con funciones f : C C, donde C es


el dominio de definicin. La forma habitual de expresar estas funciones es
como una ecuacin w = f(z), donde z y w C. Cuando no se
especifica se sobreentiende que el dominio de definicin es el mayor
posible.

Si z = x + iy y w = u + iv, la ecuacin que define la funcin es

u + iv = f(x + iy).

Eso significa que, en realidad, una funcin de variable compleja son dos
funciones de dos variables reales, u = u(x, y) y v = v(x, y). Vista de este

modo la funcin tambin puede describirse como f: R2 R2

2
Ejemplos 2.1. (1) Consideremos la funcin f(z) = z . Esta funcin ser

2 2 2
u + iv = (z+ iy) = x y + i2xy,

con lo que tambin puede describirse como

u(x, y) = x2 y 2 , v(x, y) = 2xy.

Tambin pueden usarse coordenadas polares, en cuyo caso,

u + iv = r2 e 2i = r 2 cos2 + i r 2 sen2,

y entonces tendremos

u(r, ) = r 2 cos2, v(r, ) = r 2 sen2.

(2) Las funciones no tienen por qu tomar valores complejos, pueden


tambin tomar solo valores reales (porque v = 0 en todo el dominio de
definicin). Un ejemplo es f(z) = |z|.

(3) Tambin es posible que las funciones sean multivaluadas; es el caso de


f(z) = arg z. En estos casos hay que especificar la determinacin para saber
cmo es la funcin.

La representacin grafica de funciones de variable compleja se lleva a cabo


mediante la representacin de los dos planos complejos, Z y W. En el
primero se representan curvas o regiones, y en el segundo se representa su
imagen.
2.2. Lmites y continuidad

Dado que la topologa de C y de R2 coinciden, los conceptos de lmite y


continuidad de funciones de variable compleja se heredan directamente de

los de R2 . Diremos que f : C, con un dominio de C, tiene lmite

log z z f ( z )=w
0 ,

Si, para todo > 0, existe > 0 tal que |f(z)w| < siempre que 0 < |zz0|

< (dicho de otro modo, la imagen del disco D(


z 0 , ), exceptuando el

centro, est en D(w, )).

Es sencillo probar que

lim f (z )=w lim z z Ref ( z )=Rew


0
zz0

lim z z Imf ( z )=Imw


0

lim f (z )=w
Tambien que zz0 , entonces

lim f (z )= w

zz0 ,

f (z )= w
lim
z z0

Por lo dems, las propiedades algebraicas de los lmites se trasladan sin


cambio a este caso (suma, producto, cociente, etc., de lmites).

Diremos que f : C, con un dominio de C, es continua en


z0 si

lim f ( z )=f ( z 0)
zz0

Sumas, productos, cocientes o composiciones de funciones continuas dan


funciones continuas. Tambin, z , Re z, Im z y |z| son funciones continuas

en todo C. La funcin arg z no lo es, pero s es continua en cualquier


conjunto de la forma CS, siendo S una remirrecta que parte del origen (que
define la determinacin).

2.3. Derivabilidad y funciones holomorfas

2.3.1. Definicin y propiedades

Tenemos dos opciones para definir la derivada de una funcin de variable


compleja:

(1) Utilizar la definicin de diferenciabilidad de funciones f : R2 R2 .

(2) Aprovechar que gracias a la estructura de cuerpo que tiene C podemos


dividir complejos, y dar una definicin unidimensional.

Por ser una estrategia ms simple, emplearemos la opcin (2).

Definicin 2.1 (Derivada). Sean C abierto, f : C y z0 . Diremos

que f es derivable en
z 0 si existe el lmite

f ( z ) f ( z 0 ) f ( z0 + h )f ( z 0 )
f(
z0 ) = lim =lim (donde z, h C).
zz0 zz 0 h 0 h

Al ser la misma definicin que en R las reglas de clculo de derivadas son


idnticas:

Teorema 2.1. Sean f, g funciones derivables en z0 y sean , C; entonces

(1) Linealidad: f + g es derivable en


z0 y

(f + g) (
z 0 ) = f ( z 0 ) + g ( z 0 ).

(2) Regla de Leibnitz: f g es derivable en


z0 y

(fg)(
z 0 ) = f ( z 0 )g( z 0 ) + f( z 0 )g( z 0 ).

(3) Regla del cociente: Si g(


z0 ) 0, f/g es derivable en
z0 y

f f '(z 0 ) g( z 0 )f (z 0) g '( z 0 )
g ) ( z 0 )= g ( z 0)2 .

Si f es derivable en
z 0 y g lo es en f( z 0 ), entonces
(4) Regla de la cadena: g f es derivable en
z0 y

(g f) (
z 0 ) = g (f( z 0 )) f ( z 0 ).

Asimismo, derivabilidad implica continuidad:

Teorema 2.2. Si f : C es derivable en


z 0 , entonces f es continua

en
z0 .

Ejemplos 2.2.

(1) f(z) = z n , con n N, es derivable en C y f (z) = n z n1 (la

demostracin es como en R.

(2) f(z) =
a0 +
a1 z + a2 z 2 + + an z
n
es derivable en todo C.

(3) f(z) = P(z)/Q(z), con P(z) y Q(z) sendos polinomios, es derivable en todo
C excepto en las races de Q(z).

(4) f(z) = z no es derivable en ningn punto de C. Vemoslo

Se ve fcilmente que este lmite no existe si nos acercamos por rectas y =


x, ya que el resultado depende de .

(5) Como consecuencia, las funciones f(z) = Re z y g(z) = Im z no son


derivables en ningn punto.

2.3.2. Condiciones de Cauchy-Riemann

En realidad, la definicin de derivabilidad oculta la definicin de

diferenciabilidad en R2 , a la que es equivalente. Veamos el siguiente


resultado:

Teorema 2.3 (Condiciones de Cauchy-Riemann). Sea f = u + iv una funcin f

: C, con C abierto, y sea


z0 = x 0 +i y 0 . Entonces, f es

derivable en
z 0 si y solo si u, v son diferenciables en ( x 0 , y0 ) y

cumplen las ecuaciones de Cauchy-Riemann


ux =
vy , uy =
v x . (CR)

Adems,

f (
z0 ) = ux (
x0 , y0 ) + i v x (
x0 , y0 ) = vy (
x0 , y0 ) i

uy (
x0 , y 0 ).

Dem.: Para demostrar este resultado vamos a introducir cierta notacin.

Denotaremos
r0 =(
x0 , y 0 ), F(r) = u(x, y), v(x, y) y h = ( h x , hy )

siendo h =
h x + i h y . Si f es derivable, lo es a lo largo de cualquier

direccin. Entonces, tomando la direccin Im h = 0 (sobre el eje real),

es decir, para que el lmite exista tienen que existir las derivadas parciales

de u y v respecto a x y cumplirse f (z0) =


ux (
x0 , y0 ) + i v x (
x0 ,

y 0 ) .Por otro lado, tomando la direccin Re h = 0 (sobre el eje

imaginario),

es decir, para que el lmite exista tienen que existir las derivadas parciales

de u y v respecto a y y cumplirse f (
z0 ) = vy (
x0 , y0 ) i u y (

x0 , y 0 ).Igualando las dos expresiones se obtiene (CR).


Para demostrar la diferenciabilidad de u y v en x0 partimos de que si f es
derivable en z0 se cumple

lim 0
f ( z 0+h ) f ( z 0 )hf ' (z 0)
h 0 . (*)
h

Pero como f =
ux +i
vx ,

hf = (
hx ux
h y v x ) + i( h x v x
hy ux ) = ( hx ux +
h y u y ) + i(

hx vx +
hy v y )

As pues,

Re (hf ) = u h, Im (hf ) = v h,

Luego (*) se reescribe como

F ( r 0 +h ) F ( r 0 ) DF ( r 0 ) . h
lim =0 (**)
h0 h

Siendo DF(
r 0 ) la matriz jacobiana de F en r 0 . La ecuacion anterior no

es ms que la expresin de la diferenciabilidad de F en


r0 .

Que u y v sean diferenciables en


r0 implica que existen sus derivadas
parciales. Como adems se cumple (CR), la matriz jacobiana de F ser

ux uy u x ux

DF =( vx v y = v x ux .

La condicin de diferenciabilidad en
r0 se expresa a traves de (**) que,
empleando la expresin que hemos obtenido para la jacobiana, se convierte

en (*) si definimos f (
r0 ) = ux (
x0 , y0 ) + i v x (

x0 , y 0 ) Pero (*) implica que existe la derivada de f en z 0 y que vale

f(
z 0 ).

Como para que u y v sean diferenciables es suficiente que las derivadas


parciales sean continuas, en aplicaciones prcticas puede ser suficiente el
siguiente corolario:
Corolario 2.1. Sea f = u + iv una funcin f : C, con C abierto, y sea
z0 =
x0 + i y0 . Supongamos que existen las derivadas parciales

con respecto a x e y de u y v y son continuas en un entorno de (


x0 , y0

). Entonces, f es derivable en
z 0 si y solo si se cumple (CR) en ( x 0 ,

y 0 ).

Ejemplos 2.3.
2
z x2 + y2
(1) Sea la funcin f(z) = . Esta funcin tiene u(x, y) =

y v(x, y) = 0, ambas diferenciables en R2 . Las condiciones (CR) implican

2x = 0, 2y = 0; por lo tanto, f es derivable solo en z = 0.


z x
(2) Definamos la funcin exponencial como f(z) = e = e (cos y + isen
y). Verifiquemos (CR):

ux = e
x
cos y,
uy = e
x
sen y,
v y = e x cosy, vx = e
x
sen y.

Por tanto la funcin es derivable en todo C. Su derivada ser

f=
ux + i v x = e x cos y + i e x seny = f,

z
as que tenemos, como en R, la relacin ( e ) = ez .

Con este resultado vamos a introducir uno de los conceptos bsicos del
anlisis complejo:

Definicin 2.2 (Funcin holomorfa). Decimos que f es holomorfa en un


abierto C si es derivable en todos los puntos de . Tambin decimos

que f es holomorfa en z0 si es derivable en algn entorno de


z0 .

Ejemplos 2.4.

(1) Sea C un dominio y f : R (es decir, Im f = 0). Supongamos que f

es derivable en
z 0 ; entonces, por (CR)

ux = u y = 0, uy =
vx = 0,

ya que v = Im f = 0. Por lo tanto f (


z 0 ) = 0.
Supongamos que f es derivable en todo ; entonces f = 0 en todo y f es,
por tanto, constante. Luego tenemos el sorprendente resultado de que las
nicas funciones holomorfas que toman valores reales en un dominio son
las constantes.

(2) Como consecuencia del ejemplo anterior, las funciones Re z, Im z, |z| y


z2
arg z no son holomorfas en ningn dominio de C. La funcin
tampoco, ya que, aunque es derivable en z = 0, no lo es en ningn entorno
de ese punto.

Una interesante caracterizacin de las funciones holomorfas se sigue del


siguiente razonamiento. Dadas dos funciones diferenciables en un abierto,
u(x, y) y v(x, y), aplicamos el cambio de variable x = (z + z )/2, y = (z

z )/2i, y construimos la funcin F(z, z ) = u(x, y) + iv(x, y).

Evidentemente, f(z) = F(z, z ), pero en F la dependencia en z queda

explcita. Ahora bien,

y si se cumple (CR), es decir, si la funcin es holomorfa,

uy + i v y =
vx +i
ux = i(
ux +i
v x ),

luego

Fz +
Fz = Fz Fz =
F z = 0.

Es decir, las funciones holomorfas no pueden depender explcitamente de z.


Este argumento basta para excluir como funciones holomorfas Re z = (z +
z )/2, Im z = (z z )/2i, |z| 2 = z z , etc