CAPTULO 1 I

Funciones holomorfas
1.1 INTRODUCCION La denici n y primeras propiedades de la derivaci n de funciones complejas son o o muy similares a las correspondientes para las funciones reales (exceptuando, como siempre, las ligadas directamente a la relaci n de orden en R, como por ejemplo o el teorema del valor medio). Sin embargo, iremos comprobando poco a poco que la derivabilidad compleja es una condici n mucho m s fuerte que la derivabilidad o a real, o incluso que la diferenciabilidad de las funciones de dos variables reales. La explicaci n nal la encontraremos en resultados posteriores. o Para las primeras secciones de este captulo puede usarse como libro de con sulta el texto de Open University: Complex Numbers / Continuous Functions / Differentiation. The Open University Press, Milton Keynes (1974); para las nales, ver Duncan, J.: The elements of complex analysis. Wiley, London (1968). 1.2 DERIVABILIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA

1. Denici n y primeras propiedades. o Como C es un cuerpo y tiene sentido la divisi n, podemos imitar literalmente o la denici n de derivabilidad de funciones reales. o Denici n. Sea abierto de C. Sea f : o es derivable en z 0 si existe lim C y sea z 0

. Diremos que f

zz 0

f (z) f (z 0 ) = f (z 0 ) C. z z0

Al valor de dicho lmite f (z 0 ) lo llamaremos derivada de f en z 0 .

Observaci n. Aunque, formalmente, la denici n es como en R, la existencia o o de lmite es aqu m s exigente, al tener que existir de cualquier modo que nos a acerquemos a z 0 por el plano. Esto har que las funciones derivables en C sean a mejores que las derivables en R, y que podamos desarrollar una teora mucho m s a redonda para estas. Para empezar, listamos las propiedades de derivabilidad que se demuestran imitando punto por punto lo que se hace en R. 17

18 1. f derivable en z 0 f continua en z 0 . 2. Si f y g son derivables en z 0 ,

Funciones holomorfas

i) f + g es derivable en z 0 y ( f + g) (z 0 ) = f (z 0 ) + g (z 0 ). ii) f g es derivable en z 0 y ( f g) (z 0 ) = f (z 0 )g(z 0 ) + g (z 0 ) f (z 0 ). iii) (Si f (z 0 ) = 0), 1/ f es derivable en z 0 y (1/ f ) (z 0 ) = f (z 0 )/ f (z 0 )2 . 3. Regla de la cadena. Sean f : 1 C, g : 2 C con f ( 1 ) 2 . Si f derivable en z 0 y g es derivable en f (z 0 ), entonces g f es derivable en z0, y (g f ) (z 0 ) = g ( f (z 0 )) f (z 0 ). 4. Derivaci n de la funci n inversa en un punto. Sea f : C inyectiva, o o a derivable en z 0 con f (z 0 ) = 0. Supongamos adem s que f ( ) es abierto y 1 1 que f es continua en f (z 0 ). Entonces, f es derivable en f (z 0 ) y ( f 1 ) f (z 0 ) = 1 . f (z 0 )

Veamos, a modo de ejemplo, c mo este ultimo resultado se prueba igual que o para funciones reales: La derivabilidad de f en z 0 es equivalente a la continuidad en z 0 de la funci n o g : C dada por g(z) = f (z) f (z 0 ) z z0 f (z 0 ) si z \ {z 0 };

si z = z 0 .

Esta funci n permite escribir para todo z o f (z) f (z 0 ) = g(z)(z z 0 ), a y como ahora g es continua en z 0 con g(z 0 ) = f (z 0 ) = 0, se vericar g(z) = 0 en un entorno de z 0 . Poniendo w0 = f (z 0 ), si tomamos w f ( ) y z = f 1 (w), w w0 = g f 1 (w) f 1 (w) f 1 (w0 ) ,

y, teniendo en cuenta que f 1 es continua en w0 , para w en un entorno reducido de w0 , f 1 (w) f 1 (w0 ) 1 ; = w w0 g f 1 (w)

Funciones holomorfas

19

usando nuevamente la continuidad de f 1 en w0 y la de g en z 0 = f 1 (w0 ), vemos que existe 1 f 1 (w) f 1 (w0 ) lim . = ww0 w w0 f (z 0 ) Ejemplos de funciones derivables. 1. Las funciones constantes son derivables en todo punto de C con derivada 0. La funci n identidad es derivable en todo C y su derivada es constantemente o 1. 2. Por operaciones algebraicas con funciones derivables, todo polinomio es derivable en C y su derivada tiene la misma expresi n que en R. Del mismo modo, o toda funci n racional, puesta en forma irreducible, es derivable en todo C o salvo los ceros del denominador. 1.3 CONDICIONES DE CAUCHY-RIEMANN

El problema que ahora vamos a tratar es exclusivo del contexto de C. Ya sabemos que dar una funci n de variable compleja es dar dos funciones reales de dos variables o reales. Nos vamos a preguntar por la relaci n que existe entre la derivabilidad de o la funci n compleja y la diferenciabilidad de estas dos funciones. o En este apartado emplearemos sin m s comentarios la notaci n: a o f : C, f (z) = u(z) + iv(z) = u(x, y) + iv(x, y), z = x + i y , z 0 = x0 + i y0 .

Tenemos: Teorema. f es derivable en z 0 si y solo si

i) u , v son diferenciables en (x0 , y0 ). ii) Se cumplen las llamadas condiciones de Cauchy-Riemann:

u x = v y , u y = v x .

(x0 ,y0 )

(x0 ,y0 )

(x0 ,y0 )

(x0 ,y0 )

Demostraci n. Antes de entrar en ella, modiquemos un poco las notaciones. o Primero, es claro que f derivable en z 0 se puede escribir de la forma
lim f (z 0 + h) f (z 0 ) h. f (z 0 ) = 0. h (1)

h0

20

Funciones holomorfas

Por otra parte, recordemos la noci n de diferenciabilidad. u diferenciable en o (x0 , y0 ) signica que existe una forma lineal L : R2 R tal que (k, l) L(k, l) = ak + bl

u(x0 + k, y0 + l) u(x0 , y0 ) L(k, l) = 0. (k,l)(0,0) k2 + l2 lim

Recu rdese adem s que e a a= u x , b= u y .

(x0 ,y0 )

(x0 ,y0 )

) Supongamos que f es derivable en z 0 y sea su derivada f (z 0 ) = + i. Escribimos h = k + il para el par metro complejo h. a (1) implica que lim f (z 0 + h) f (z 0 ) h. f (z 0 ) = 0. |h| (2)

h0

porque (2) se obtiene de (1) multiplicando por h/|h| que es una funci n acotada. o Ahora, u(x0 + k, y0 + l) u(x0 , y0 ) (k l) f (z 0 + h) f (z 0 ) h. f (z 0 ) = |h| k2 + l2 v(x0 + k, y0 + l) v(x0 , y0 ) (k + l) +i k2 + l2 (3) luego, las partes real e imaginaria de esta expresi n tienen que tender a 0 cuando o h 0 (o, lo que es lo mismo (k, l) (0, 0)). Pero esto quiere decir exactamente que u y v son diferenciables en (x0 , y0 ) con u x
(x0 ,y0 )

==

v y

(x0 ,y0 )

u y

(x0 ,y0 )

= =

v x

(x0 ,y0 )

) Si u y v son diferenciables en (x0 , y0 ) y se cumplen las condiciones de CauchyRiemann, llamamos u x

(x0 ,y0 )

==

v y

(x0 ,y0 )

u y

(x0 ,y0 )

= =

v x

(x0 ,y0 )

Funciones holomorfas y se tiene que cumplir que la expresi n en (3) tiende a 0. o

21

Por tanto, se cumple (2) y de aqu (1) (otra vez porque (1) se obtiene de (2) multiplicando por |h|/ h). As, f es derivable en z 0 con derivada f (z 0 ) = + i. Observaci n. o De paso, hemos visto en la demostraci n que la derivada de f se puede obtener o a partir de las derivadas parciales de u y de v, f (z 0 ) = u x u = x u (x0 ,y0 ) y v +i (x0 ,y0 ) x i = v y v = y u (x0 ,y0 ) y v +i (x0 ,y0 ) x i

(x0 ,y0 )

(x0 ,y0 )

(x0 ,y0 )

(x0 ,y0 )

Observaci n. o En el teorema anterior vemos que el concepto de derivabilidad compleja es m s exigente que el de diferenciabilidad real. Si miramos a f como funci n de R2 a o 2 en R , ser diferenciable signica sin m s que lo sean sus dos componentes u y v, a mientras que ser derivable exige, adem s de esto, que se cumplan las condiciones a sobre las derivadas parciales de u y v que establecen las ecuaciones de CauchyRiemann. Algunas de las consecuencias de este hecho se ver n al nal del captulo. a
NOTA.

En Levinson, N.; Redheffer, R.M.: Curso de variable compleja. Revert , e Barcelona (1990), p gs. 77 y ss. se da una interpretaci n fsica de las condiciones a o de Cauchy-Riemann, en t rminos del estudio del ujo bidimensional de un uido e ideal. Para una interpretaci n geom trica de las condiciones de Cauchy-Riemann y o e otras muchas consideraciones interesantes sobre la derivada y dem s conceptos, a con un enfoque muy original, v. Needham, T.: Visual Complex Analysis. Clarendon Press, Oxford (1997). 1.4 FUNCIONES HOLOMORFAS. FUNCIONES ARMONICAS.

Denici n. Sea abierto de C. Sea f : C. Diremos que f es holomorfa o en un punto z 0 (o tambi n, que z 0 es un punto regular para f ) si f es derivable e en todos los puntos de un entorno de z 0 . Diremos que f es holomorfa en si f es holomorfa en z 0 , z 0 . Claramente, f es holomorfa en f es derivable en todos los puntos de (pues al ser abierto, es entorno de todos sus puntos).

22 Denotaremos H( ) = { f :

Funciones holomorfas

C : f es holomorfa en

}.

Por otra parte, recordemos el concepto de funci n arm nica. o o o Denici n. Sea abierto de R2 . Sea u : R. Diremos que u es arm nica o 2 en si u es de clase C (i.e., u tiene derivadas parciales hasta el orden 2 y son continuas) y cumple 2u 2u u= 2 + 2 =0 x y

en todo punto del abierto

Gracias a las condiciones de Cauchy-Riemann tenemos: Corolario. Si f H( ), f = u + iv , y u , v son de clase C 2 , entonces u , v son arm nicas en . o

Demostraci n. Por las condiciones de Cauchy-Riemann, se tiene o

2u = x2 x u x = x v y 2u , = y2 y u y = y v x

y, como u es de clase C 2 , las derivadas cruzadas coinciden y tenemos que u es arm nica. An logamente se razona con v. o a Observaci n. o Veremos m s adelante que si f H( ) entonces f es indenidamente deria vable, lo cual implicar que la hip tesis C 2 del corolario es innecesaria. a o Las condiciones de Cauchy-Riemann nos van a permitir obtener funciones holomorfas a partir de funciones arm nicas en abiertos de R2 . Empecemos con la o siguiente denici n: o

o o Denici n. Dada u arm nica en un abierto de R2 , diremos que v es arm nica o conjugada de u en si f = u + iv es holomorfa en . O, equivalentemente, por las condiciones de Cauchy-Riemann, v satisface las condiciones
vx = u y , v y = u x

en todo punto de

Es inmediato demostrar que una funci n arm nica conjugada de otra es, o o asimismo, arm nica. o

Funciones holomorfas Ejemplo 1. Tomemos la funci n o u(x, y) = e x cos y.

23

Es una comprobaci n inmediata que dicha funci n es arm nica en todo R2 . Para o o o tratar de encontrar una arm nica conjugada, planteamos las ecuaciones: o vx (x, y) = u y (x, y) = e x sen y v y (x, y) = u x (x, y) = e x cos y Es f cil resolver este sistema, obteniendo que la funci n a o v(x, y) = e x sen y es soluci n en todo R2 . Por tanto, hemos obtenido que la funci n o o f (z) = e x cos y + ie x sen y, z = x + i y es una funci n holomorfa en todo C. Si utilizamos la notaci n polar, podemos o o poner f (z) = e x ei y Con lo que esta funci n compleja parece tener derecho a llamarse la funci n o o exponencial compleja. En efecto lo ser , aunque la introduciremos de forma ocial a con las series de potencias. Que hayamos podido resolver el sistema en el ejemplo anterior no ha sido casual. En efecto, vamos a ver en el siguiente resultado que para ciertos abiertos de C, una funci n arm nica siempre tiene arm nica conjugada. o o o

o Teorema. Sea abierto estrellado de R2 . Sea u arm nica en . Entonces, existe v arm nica conjugada de u en . o Demostraci n. El resultado es una simple aplicaci n del lema de Poincar para o o e abiertos estrellados. Recordemos que este resultado dice que toda forma diferencial cerrada es exacta. Entonces, dada nuestra funci n u, consideramos la forma o
(x, y) = u y (x, y)d x + u x (x, y)dy El ser u arm nica implica que es una forma cerrada. Entonces, es exacta, lo o cual quiere decir (por denici n) que existe una funci n v diferenciable tal que o o vx = u y y v y = u x . Luego v es arm nica conjugada de u. o

24 Observaci n. o

Funciones holomorfas

M s adelante veremos que el teorema anterior es cierto en abiertos m s genea a rales (los simplemente conexos). Pero, con el siguiente ejemplo, vamos a demostrar que no es ampliable a abiertos cualesquiera. Ejemplo 2. Sea el abierto = C \ {0} y sea la funci n o u(x, y) = 1 log(x 2 + y 2 ) 2 . . , consideramos la

que se comprueba sin dicultad que es arm nica en o Esta funci n u no tiene arm nica conjugada en o o

En efecto, si existiera v arm nica conjugada de u en o funci n de variable real o g(t) = v(cos t, sen t), t [0, 2 ].

g es una funci n continua en [0, 2 ] (por composici n de funciones continuas). La o o derivamos por la regla de la cadena para funciones de varias variables y utilizamos las ecuaciones de Cauchy-Riemann, obteniendo g (t) = vx (cos t, sen t) sen t + v y (cos t, sen t) cos t = u y (cos t, sen t) sen t + u x (cos t, sen t) cos t = 1. Esto implica que g(t) = t + C, lo cual no puede ser porque g(0) = g(2 ). Sin embargo, en un abierto estrellado como C \ (, 0], por el teorema ya probado, la funci n anterior debe tener arm nica conjugada o, lo que es lo mismo, o o ser la parte real de una funci n holomorfa. Esta funci n holomorfa cuya parte real o o es u veremos m s adelante que es la funci n logaritmo principal. a o 4. Consecuencias de las condiciones de Cauchy-Riemann. Las condiciones de Cauchy-Riemann nos permiten obtener con facilidad varios resultados para funciones holomorfas, apoy ndonos en el conocimiento de a funciones reales de dos variables. 1. Sea una regi n (i.e., abierto y conexo) de C. Si f es holomorfa en o f (z) = 0 para todo z , entonces f es constante.

Funciones holomorfas

25

En efecto, si f = u + iv, f = u x iu y = v y + ivx = 0 en implica que u x = u y = v y = vx = 0 y esto, ya sabemos que implica u, v constantes y, por tanto f constante.

o o 2. Sea regi n. Si f es holomorfa en y e f (z) = C ( m f (z) = C ) para todo z , entonces f es constante.

En efecto, si u = cte, entonces u x = u y = 0. Luego, por Cauchy-Riemann, tambi n ser vx = v y = 0, lo que implica v =cte. Por tanto, f es constante. e a An logamente se razonara si fuera constante la parte imaginaria. a

o 3. Sea regi n. Si f es holomorfa en f es constante.

y | f (z)| = C para todo z

, entonces

En efecto, la hip tesis es u 2 + v 2 = cte. Derivando en esta expresi n con o o respecto a x e y, tenemos 2uu x + 2vvx = 0, 2uu y + 2vv y = 0. Si utilizamos las ecuaciones de Cauchy-Riemann tendremos 2uu x 2vu y = 0, 2uu y + 2vu x = 0 Multiplicando la primera u y la segunda v, nos da (u 2 + v 2 )u x = 0, de donde u x = 0. De forma parecida se obtiene u y = vx = v y = 0. Por tanto, u y v son constantes y en consecuencia lo es f . Observaci n. o N tese c mo las condiciones de Cauchy-Riemann impiden que una funci n o o o holomorfa pueda tomar valores de forma caprichosa. A poco que exista una ligaz n o entre las partes real e imaginaria, esta fuerza a que la funci n holomorfa sea cons o tante. Por ejemplo, resultados de esta naturaleza seran: i) Si f = u + iv es holomorfa en ii) Si f = u + iv es holomorfa en

regi n y u 3 = v entonces f C . o regi n y 5u + 2v = cte entonces f C . o

Comprobamos as que la derivabilidad en C es muy exigente, y no s lo a nivel o local.

26 1.5

Funciones holomorfas APENDICE: CALCULO DE ARMONICAS CONJUGADAS Y METODO DE MILNE-THOMSON

La Teora de funciones analticas constituye un aut ntico l n e o de m todos de gran ecacia para resolver importantes problemas e de Electroest tica, Conducci n del calor, Difusi n, Gravitaci n, a o o o Elasticidad y Flujo de corrientes el ctricas. La gran potencia del e An lisis de variable compleja en tales campos se debe, principala mente, al hecho de que las partes real e imaginaria de una funci n o analtica satisfacen la ecuaci n de Laplace. o

Este p rrafo, tomado de LevinsonRedheffer, loc. cit., p g. 77, da idea de que la a a b squeda de funciones holomorfas con parte real (o parte imaginaria) conocidas u es una cuesti n importante en muchas aplicaciones de la teora de funciones de o variable compleja. Hemos visto una soluci n de este problema mediante el c lculo de funciones o a arm nicas conjugadas siguiendo lo que, a falta de otro nombre mejor, podemos o denominar el m todo real: dada una funci n u arm nica en un abierto conexo e o o 2 o de R , nos son conocidas las derivadas parciales de su arm nica conjugada v (si existe!) a trav s de las condiciones de Cauchy-Riemann, de manera que el c lculo de e a primitivas de funciones reales de una variable real [o, equivalentemente, el c lculo a de las funciones potenciales de la forma diferencial u y (x, y) d x + u x (x, y) dy] nos lleva, en casos sencillos al menos, a expresiones explcitas para la(s) funcion(es) v. Este procedimiento es f cilmente automatizable, y resulta c modo llevarlo a a o cabo mediante programas de c lculo simb lico como Mathematica. a o Esquem ticamente, podramos proceder as: dada u(x, y), a 1.- calcular la derivada parcial de u respecto de x, u x (x, y); 2.- calcular la derivada parcial de u respecto de y, u y (x, y); 3.- integrar u y (x, y) respecto de x, es decir, obtener una primitiva W (x, y) de u y (x, y) como funci n s lo de x; o o 4.- calcular su derivada parcial respecto de y, W y (x, y); 5.- calcular (y) = u x (x, y) W y (x, y) 6.- integrar (y) respecto de y, es decir, obtener una primitiva (y) de (y); 7.- calcular W (x, y) (y): esta ser una funci n v(x, y) arm nica conjugada a o o de u (y las dem s diferir n de ella en la adici n de una constante real). a a o T ngase en cuenta que Mathematica no proporciona constantes de integraci n. e o Adem s, el n mero de funciones cuyas primitivas puede calcular explcitamente a u es limitado.

Funciones holomorfas

27

Hay tambi n un m todo complejo para tratar el problema, el denominado e e m todo de MILNE-THOMSON (ver Phillips, E.G.: Funciones de variable come pleja. Dossat, Madrid (1963), p. 1718, y Needham, T.: Visual Complex Analysis. Clarendon Press, Oxford (1997), pp. 512513), que, aunque precise ciertas condiciones restrictivas, proporciona directamente las funciones holomorfas f con parte real prejada u. Su justicaci n se basa en resultados importantes que probaremos o posteriormente: toda funci n holomorfa es analtica (y su derivada tambi n), y dos o e funciones analticas en un abierto conexo son iguales si y s lo si coinciden en o un conjunto de puntos de que tenga al menos un punto de acumulaci n dentro o de ; por ejemplo, en un segmento abierto (principio de prolongaci n analtica). o 2 Sea, pues, un abierto conexo de R que corte al eje real, con lo cual la intersecci n de con R contendr al menos un segmento abierto (por qu ?) o a e Dada entonces una funci n u arm nica en , notemos que la funci n g dada o o o (por qu ?). e en por f 1 (x + i y) = u x (x, y) i u y (x, y) es holomorfa en Supongamos que sabemos encontrar una funci n g holomorfa en tal que g (x) = o f 1 (x) = u x (x, 0)i u y (x, 0) para todo x (x, 0) R: entonces g (z) = f 1 (z) por el principio de prolongaci n analtica, y la parte real de g diere de u en una o constante real (por qu ?). La funci n f = g + C, para una constante real C e o adecuada, tiene como parte real u. El m todo de Milne-Thompson es tambi n f cilmente traducible a Mathee e a matica. Pero tanto si se usa este m todo como el anterior, sigue siendo necesario e vericar los resultados obtenidos y valorar el alcance de los procedimientos empleados, muy especialmente debido a que los programas de c lculo simb lico, en a o general, no tienen en cuenta el dominio de las funciones que intervienen, manipulando tan s lo nombres de funciones o funciones dadas por f rmulas, por o o decirlo de alguna manera. Como ejemplo recomendamos vivamente al lector que pruebe a aplicar los m todos descritos a la malvada funci n u(x, y) = ln(x 2 + y 2 ), e o 2 a o u denida y arm nica en R \ {(0, 0)}. Cu les son sus arm nicas conjugadas, seg n o Mathematica?
NOTA.

1.2.3.4.5.6.7.8.-

El m todo de Milne-Thompson puede esquematizarse as: dada u(x, y), e calcular la derivada parcial de u respecto de x, u x (x, y); calcular la derivada parcial de u respecto de y, u y (x, y); calcular u x (x, 0), es decir, sustituir y por 0 en u x (x, y); calcular u y (x, 0), es decir, sustituir y por 0 en u y (x, y); sustituir x por z en u x (x, 0) i u y (x, 0) para obtener f 1 (z); integrar f 1 (z) respecto de z, es decir, obtener una primitiva g(z) de f 1 (z); R. calcular f (z) = g(z) e g(x0 ) + u(x0 , 0) para cualquier x0 Entonces f (z) + ic, c R, son las funciones holomorfas con parte real u; si se busca una funci n arm nica conjugada de u, hallar la parte imaginaria o o de f (z).