Está en la página 1de 9

Cap tulo 2 Funciones anal ticas. Funciones arm onicas.

En este cap tulo iniciamos el estudio de las funciones de variable compleja. Comenzamos con los conceptos de l mite y continuidad en C, l conceptos que ya son conocidos del c alculo 2 en varias variables pues la topolog a de C l coincide con la de lR . Despu es se estudia la derivaci on de funciones complejas que, formalmente, es similar a la derivaci on de funciones reales de una variable. Para continuar el estudio de la derivaci on se observa que una funci on de variable compleja puede considerarse tambi en como una funci on de dos variables con llegada en 2 lR . Comprobaremos que existe una relaci on entre la derivaci on compleja de una funci on f y 2 su diferencial, considerada f como funci on en lR . Esto conduce a las ecuaciones de CauchyRiemann. Para nalizar se estudian las funciones arm onicas. Este tipo de funciones surgen en diversos campos de la F sica y la Ingenier a.

2.1.

L mites y continuidad

2 Comenzamos recordando algunos conceptos de la topolog a de lR.

Dado a C l y > 0 se llama bola abierta de centro a y radio B (a, ) = {z C l : |z a | < } .

al conjunto

Cuando estamos en C l suele denominarse disco abierto y se denota por D(a, ). Dado subconjunto A de C l se dice que un punto a C l es interior a A si existe un o tal que D(a, ) A. El conjunto de los puntos interiores se denota A. >0

Un subconjunto A de C l se dice que es abierto si todos sus puntos son interiores, esto es, si para cada z A existe un > 0 tal que D(a, ) A. Un subconjunto A se dice que es cerrado si su complementario C l \ A = {z C l : z /C l } es abierto. Ejemplo 2.1 El conjunto D(0, 1) es abierto. Cualquier bola abierta es un conjunto abierto. 10

11 Ejemplo 2.2 Los conjuntos de la forma D(a, ) = {z C l : |z a| } son cerrados ( D(a, ) se denomina disco cerrado o bola cerrada de centro a y radio ). Ejemplo 2.3 Los conjuntos C l y son simult aneamente abiertos y cerrados. Ejemplo 2.4 Hay conjuntos que no son ni abiertos ni cerrados como, por ejemplo, A = {z = x + yi C l : x 0, y > 0}. Se dice que un punto a C l es punto de acumulaci on de subconjunto A C l si para cada > 0 se verica que D(a, ) A contiene puntos distintos de a. No es dif cil probar que si a es punto de acumulaci on de A la intersecci on D(a, ) A contiene innitos puntos. Ejemplo 2.5 El punto a = 0 es el u nico punto de acumulaci on del conjunto A = {1/n, n lN}. Obs ervese que 0 / A. Ejemplo 2.6 El conjunto de todos los puntos de acumulaci on del disco abierto D(0, 1) es el (0, 1). disco cerrado D Ejercicio 2.1 Sea A = z1 , . . . , zn un conjunto con un n umero nito de puntos. Demuestre que A no tiene puntos de acumulaci on. Ejercicio 2.2 Sea a C l un punto de acumulaci on de A C l . Demuestre que para cualquier > 0, D(a, ) A contiene innitos puntos. (Sugerencia: razone por reducci on al absurdo suponiendo que existe un 0 > 0 tal que D(a, 0 ) A tiene un n umero nito de puntos). l , a un punto de acumulaci on de A y f : A C l una funci on de Denici on 2.1 Sea A C variable compleja. Se dice que l m f (z ) = l si > 0 > 0 tal que si 0 < |z a| < y z A entonces |f (z ) l| < .
z a

Observemos que por ser a punto de acumulaci on la denici on tiene sentido pues A D(a, ) siempre es no vac o. El n umero depende, en general, de . m(z + i) = 1 + i. Ejemplo 2.7 Demuestre que l
z 1

Ejemplo 2.8 Demuestre que l m

1 no existe. z 1 (z 1)

Ejemplo 2.9 Demuestre que l m arg0 (z ) no existe.


z 1

12 Un l mite de una funci on de variable compleja puede considerarse como el l mite de dos 2 funciones reales. Dada una funci on f : A C, l puesto que C l coincide con lR , podemos considerar sus funciones componentes, que son la parte real e imaginaria de f (z ). Las denotamos por Re(f (z )) e Im(f (z )) y son funciones denidas sobre A y con llegada en lR. Recordando del c alculo en varias variables que el l mite de una funci on puede obtenerse como el l mite de las funciones componentes, si z = x + iy se tiene que
z a

l m f (z ) = l

(x,y )(Re(a),Im(a))

l m

Re(f (x, y )) = Re(l) y

(x,y )(Re(a),Im(a)))

l m

Im(f (x, y )) = Im(l).

En la proposici on siguiente se enuncian las propiedades elementales de los l mites de funciones de variable compleja, que son an alogas a las de las funciones reales. Proposici on 2.1 Sea A C l , f : A C l , g : A C l y a un punto de acumulaci on de A. Supongamos que l m f (z ) = l y l m g (z ) = h. Entonces
z a z a

1. l m (f + g )(z ) = l + h,
z a

2. l m (f g )(z ) = l h,
z a

3. l m (c f )(z ) = c l c C l ,
z a

m (f /g )(z ) = l/h, si h = 0. 4. l
z a

Denici on 2.2 Sea A C l , a un punto de acumulaci on de A que adem as pertenece a A y f : A C l . Se dice que f es continua en a si
z a

l m f (z ) = f (a)

o, equivalentemente, si > 0 > 0 tal que si |z a| < y z A |f (z ) f (a)| < . La funci on f se dice que es continua en A si lo es en todos los puntos de A. De la proposici on anterior se deduce que si f y g son continuas en un punto a entonces f + g , f g y f /g , si g (a) = 0, son continuas en el punto a. Es sencillo comprobar que las funciones constantes son continuas y tambi en f (z ) = z , z C. l Deducimos entonces que los polinomios en C l son funciones continuas. l. Ejemplo 2.10 Demuestre que f (z ) = Re(z ) es continua en todo C

13 Proposici on 2.2 Sean A subconjunto de C l , f : A C l , f (A) B y g : B C l . Sea a A punto de acumulaci on de A y b = f (a) B punto de acumulaci on de B . Si f es continua en a y g lo es en b, se verica entonces que la funci on compuesta g f es continua en a. Ejemplo 2.11 Demuestre que h(z ) = Re(z 2 ) es continua en C l. z2 1 para z = 1. Estudie si puede denirse f en el punto 1 de z1 forma que la funci on resultante sea continua. Ejercicio 2.3 Sea f (z ) = Ejercicio 2.4 Estudie si puede extenderse arg0 a los puntos del semieje real negativo de forma que la funci on resultante sea continua. Ejercicio 2.5 Demuestre, a partir de la denici on, que f (z ) = z , g (z ) = Im(z ) y h(z ) = |z | son funciones continuas en todo C l. Ejercicio 2.6 Sea f : A C l una funci on continua en A. Pruebe que Re(f ), Im(f ), |f | y g (z ) = f (z ) tambi en lo son.

2.2.

Derivaci on

En esta secci on se estudia la derivaci on de funciones complejas. La denici on es an aloga a la de las funciones reales de variable real y, como veremos, el desarrollo de la teor a, formalmente, coincide con el caso real. Denici on 2.3 Sea A C l , a un punto interior de A y f : A C l . Se dice que f es derivable f (z ) f (a) en el punto a si existe l m . El valor del l mite se denomina derivada de f en el z a za df df (a) o punto a y suelen emplearse las notaciones f (a), . dz dz a N otese que la funci on f puede no estar denida para alg un valor de z y entonces f (z ) carecer a de sentido. Pero por ser a un punto interior de A siempre se puede encontrar un disco D(a, ) contenido en A. Si z est a sucientemente pr oximo al punto a, z D(a, ) A y, entonces, f (z ) s est a denido. l , f es derivable en todos los puntos de C l y su derivada Ejemplo 2.12 Si f (z ) = k , con k C es la funci on nula.

14 Ejemplo 2.13 Sea f (z ) = z , z C l . Pruebe que f (a) = 1 a C l. Proposici on 2.3 Sea A C l , a un punto interior de A y f : A C l . Si f es derivable en a entonces f es continua en a. Proposici on 2.4 Sea A C l , a un punto interior de A y f y g dos funciones complejas denidas en A. Si f y g son derivables en a se tiene que la suma f + g y el producto f g son derivables en a y se verica (f + g ) (a) = f (a) + g (a), (f g ) (a) = f (a) g (a) + f (a) g (a). Si adem as g (a) = 0, entonces f /g es derivable en a y (f /g ) (a) = f (a) g (a) f (a) g (a) . g (a)2

De esta proposici on se deduce que los polinomios de variable compleja son funciones derivables y su derivada se calcula como en el caso real. l , f : A C l, Proposici on 2.5 (Regla de la cadena). Sean A y B subconjuntos abiertos de C f (A) B y g : B C l . Si f es derivable en a A y g lo es en f (a) B se tiene que la funci on compuesta g f es derivable en a y se verica que (g f ) (a) = g (f (a)) f (a). Ejemplo 2.14 Aplicando la regla de la cadena, obtenga la derivada de h(z ) = (z 3 + z + 1)24 . Proposici on 2.6 (Derivada de la funci on inversa). Sean A y B subconjuntos abiertos de C l, f : A B biyectiva y g : B A su funci on inversa. Sea a A y b = f (a) B y Supongamos que f es derivable en a con f (a) = 0 y que g es continua en b. Se tiene entonces que g es derivable en b y se verica que g (b) = 1 . f (a)

Ejemplo 2.15 Sea B = {r C l : r (0, +), (, )} y, para w B , sea g (w) = |w| arg (w)/2 . Pruebe que g es derivable en todos los puntos de B y halle su derivada.
0

Ejercicio 2.7 Sea B = {r C l : r (0, +), (0, 2 )} y, para w B , sea g (w) = |w| arg (w)/2 . Pruebe que g es derivable en todos los puntos de B y halle su derivada. (Suge rencia: considere f (z ) = z 2 denida sobre A = {r C l : r (0, +), (0, )} y aplique el teorema de la funci on inversa).

15

2.3.

Condiciones de Cauchy-Riemann

En la secci on anterior hemos denido la derivada de una funci on f de variable compleja. Si 2 tenemos presente que el conjunto de los n umeros complejos es lR , podemos considerar f como 2 una funci on de dos variables con llegada en lR: f:
2 A lR z = (x, y ) f (z ) = (u(x, y ), v (x, y ))

Podemos entonces considerar las derivadas parciales de u y v y estudiar la diferenciabilidad de f . En este apartado veremos que la derivaci on compleja y la diferenciaci on de f no son independientes. Para las derivadas parciales se utilizar an indist ntamente las notaciones siguientes: u u = ux = u1 y = uy = u2 x y l y sean u = Re(f ) y v = Im(f ). La funci on f es derivable en Teorema 2.1 Sea f : A C a + ib A si, y solamente si, u y v son diferenciables en (a, b) y verican las ecuaciones ux (a, b) = vy (a, b) uy (a, b) = vx (a, b) Se verica adem as que f (a + ib) = ux (a, b) + ivx (a, b) = vy (a, b) iuy (a, b) Las ecuaciones anteriores se conocen como condiciones de Cauchy-Riemann. Recordemos de c alculo en varias variables que una condici on suciente para que una funci on sea diferenciable es que la funci on tenga derivadas parciales continuas. Se deduce entonces el corolario siguiente: Corolario 2.1 Si las funciones u y v tienen derivadas parciales en una bola centrada en (a, b), son continuas en (a, b) y verican las condiciones de Cauchy-Riemann entonces f es derivable en a + bi. El resultado rec proco no es cierto. Ejemplo 2.16 Estudie en qu e puntos son derivables las funciones siguientes y halle la derivada: (2.1) (2.2)
o

16 (a) f (x + iy ) = x2 y 2 + 2xyi. (b) g (x + iy ) = ex (cos(y ) + i sen(y )). (c) h(x + iy ) = 2xy + i(x2 + y 2 ).

Ejercicio 2.8 Estudie d onde son derivables las funciones siguientes y calcule la derivada: (a) f (z ) = |z |, (b) h(z ) = z .

Denici on 2.4 Sea A un subconjunto abierto de C l y a C l . Se dice que una funci on f : A C l es anal tica en a si f es derivable en un entorno de a. Tambi en se utiliza el t ermino holomorfa. Se dice que f es anal tica en A si lo es en todos los puntos de A.

Una funci on que es anal tica en todo C l se dice que es entera. Las funciones anal ticas son de gran importancia en el estudio de las funciones de variable compleja. Como veremos m as adelante, toda funci on anal tica pueden expresarse como suma de una serie de potencias.

Proposici on 2.7 Sea A un subconjunto abierto y conexo de C l y sea f : A C l anal tica en A y tal que f (z ) = 0 z A. Entonces f es constante en A.

Ejercicio 2.9 Estudie d onde son anal ticas las funciones siguientes y calcule la derivada: (a) 3 2 2 3 f (x + yi) = x 3xy + i(3x y y ), (b) h(x + yi) = xy + i(y 2 x2 /2).

Ejercicio 2.10 Sea A un subconjunto abierto y conexo de C l y f : A C l anal tica en A. Pruebe que si Re(f ) = 0 entonces f ha de ser constante.

Ejercicio 2.11 Pruebe que, en coordenadas polares, las condiciones de Cauchy-Riemann se expresan como 1 u (, ) = v 1 u (, ) = v . Ejercicio 2.12 Estudie d onde son anal ticas las funciones, expresadas en polares, f (, ) = 4 cos() + i sen() y g (, ) = sen(4)) i4 cos(4).

17

2.4.

Funciones arm onicas

En esta secci on estudiamos las funciones arm onicas, que son aquellas que verican la ecuaci on de Laplace, ecuaci on que surge en diversos campos de la F sica. La relaci on con la variable compleja proviene de que, como veremos, las funciones arm onicas pueden considerarse, bajo ciertas condiciones, como la parte real o la parte imaginaria de funciones anal ticas.
2 Denici on 2.5 Sea A un abierto de lR y u C 2 (A)1 . Se dice que u es arm onica si verica la ecuaci on diferencial uxx (x, y ) + uyy (x, y ) = 0, (x, y ) A (2.3)

Esta ecuaci on se conoce como ecuaci on de Laplace. Utilizando el operador de Laplace, tambi en llamado Laplaciano, u(x, y ) = uxx (x, y ) + uyy (x, y ), la ecuaci on se escribe (u) = 0, (x, y ) A Ejemplo 2.17 Compruebe que u(x, y ) = x2 y 2 y v (x, y ) = 2xy son arm onicas. Proposici on 2.8 Sea A un subconjunto abierto de C l y f : A C l . Sean u = Re(f ) y 2 v = Im(f ) y supongamos que son C en A. Si f es anal tica en A entonces u y v son arm onicas. En realidad, exigir que u y v sean C 2 en A es una hip otesis innecesaria pues, como veremos posteriormente, si f es anal tica entonces admite derivadas de cualquier orden y, por tanto, u y v tambi en. Ahora veremos un resultado rec proco. Recordamos que, de un modo gr aco, podemos decir 2 que un subconjunto A de lR es simplemente conexo si la regi on encerrada por cualquier curva 2 simple cerrada de A tambi en est a contenida en A. Todo lR y los discos (abiertos o cerrados) son ejemplos de conjuntos simplemente conexos. Una corona circular, por ejemplo B = {(x, y ) R2 : 1 x2 + y 2 4}, no es simplemente conexo. l y u : A lR, Proposici on 2.9 Sea A un subconjunto abierto simplemente conexo de C u C 2 (A). Si u es arm onica en A entonces existe v : A lR tal que f = u + iv es anal tica en A. La funci on v se dice que es una arm onica conjugada de u. Ejemplo 2.18 Pruebe que u(x, y ) = y 3 3x2 y es arm onica y halle una arm onica conjugada. 3 2 (Soluci on: x 3y x + C con C lR).
1

u C 2 (A) signica que u tiene parciales continuas hasta el orden dos en todos los puntos de A.

18 Ejercicio 2.13 Estudie si u(x, y ) = ln(x2 + y 2 ), (x, y ) = (0, 0), es arm onica. Ejercicio 2.14 Halle, si existe, una funci on v (x, y ) tal que f (x + yi) = 2xy + v (x, y )i sea entera y f (0, 0) = i.

También podría gustarte