118

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

12.
12.1.

Ceros y singularidades aisladas.

Funciones racionales.

Una funcin racional es un cociente de dos polinomios no idnticamente nulos, con coecientes o e complejos: P (z) f (z) = Q(z) Est denida y es holomorfa en todos los puntos del plano complejo que no sean ra a ces del polinomio Q(z). Siempre podemos suponer que los polinomios P (z) y Q(z) son primos entre s esto es, no , tienen ra ces comunes. En efecto, si ambos polinomios tienen alguna(s) ra z(es) z0 en comn, u dividiendo ambos entre (z z0 ) tantas veces como sea necesario, alguno de ellos, o ambos, deja de tener a z0 como ra z. Por el teorema fundamental del Algebra, cada polinomio tiene tantas ra z1 , z2 , . . . , zn como ces su grado n (repitiendo cada ra tantas veces como su multiplicidad). Entonces dividiendo sucesivas z veces el polinomio entre z zi se factoriza el polinomio. Llamando z1 , z2 , . . . , zn a las ra ces de P (z) (repitiendo cada una tantas veces como su multiplicidad) y llamando p1 , p2 , . . . , pm a las ra ces de Q(z), se obtiene: P (z) = a(z z1 )(z z2 ) . . . (z zn ) Q(z) = b(z p1 )(z p2 ) . . . (z pm ) donde a = 0 y b = 0 son los coecientes de los trminos de mayor grado de los polinomios P (z) e y Q(z) que tienen grado n y m respectivamente. (Alguno de los dos polinomios o ambos puede tener grado 0. Si ambos tienen grado 0, la funcin racional P (z)/Q(z) es constante.) o Se tiene a(z z1 )(z z2 ) . . . (z zn ) P (z) = f (z) = Q(z) b(z p1 )(z p2 ) . . . (z pm ) Extendemos continuamente la funcin racional f (z) al plano compacticado C, deniendo: o f (pi ) = = l f (z), m
zpi

i = 1, 2, . . . , m

Adems: a m > n l m m < n l m m = n l m

z

P (z) = 0. Q(z)

Denimos f () = 0 Denimos f () = Denimos f () = a b

P (z) = . z Q(z)

a P (z) = = 0. z Q(z) b

En lo que sigue consideramos la funcin racional f (z) = P (z)/Q(z), donde P (z) y Q(z) son o polinomios primos entre s de grado n y m respectivamente. ,

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

119

Denicin 12.1.1. Ceros de una funcin racional. o o Se llaman ceros de la funcin f (z) = P (z)/Q(z) a las ra o ces de P (z) y adems, si m > n se a llama tambin cero de la funcin racional a e o Se llama orden de un cero zi C a su multiplicidad como ra de P (z). Se llama orden de , z cuando es un cero de la funcin, al nmero natural positivo m n. o u Denicin 12.1.2. Polos de una funcin racional. o o Se llaman polos de la funcin f (z) = P (z)/Q(z) a las ra o ces de Q(z) y adems, si m < n se a llama tambin polo de la funcin racional a e o Se llama orden de un polo pi C a su multiplicidad como ra de Q(z). Se llama orden de , z cuando es un polo de la funcin, al nmero natural positivo n m. o u Proposicin 12.1.3. Cantidad de ceros y polos de una funcin racional. o o La cantidad de ceros de la funcin racional f (z) = P (z)/Q(z) (contado cada uno tantas veces o como su orden) es igual a la cantidad de polos (contado cada uno tantas veces como su orden) y es igual a mx{m, n}. a En efecto, esta proposicin se deduce de las deniciones de ceros y polos, discutiendo segn o u m > n, m < n y m = n. Proposicin 12.1.4. Caracterizacin de ceros y polos de una funcin racional. o o o z0 C es un cero de f (z) = P (z)/Q(z) con orden k 1 si y solo si existe l m f (z) {0, } (z z0 )k

zz0

es un cero de f (z) = P (z)/Q(z) con orden k 1 si y solo si existe

z

l z k f (z) {0, } m

p0 C es un polo de f (z) = P (z)/Q(z) con orden k 1 si y solo si existe

zp0

l (z z0 )k f (z) {0, } m

es un polo de f (z) = P (z)/Q(z) con orden k 1 si y solo si existe l m f (z) {0, } zk

La demostracin es una simple vericacin que se realiza factorizando los polinomios primos o o entre s P (z) y Q(z), y aplicando la denicin de ceros y polos. o Hallemos la cantidad de preimgenes de f (z) = P (z)/Q(z), es decir, dado un elemento c C a encontrar la cantidad de elementos z C (contado cada uno con su multiplicidad) tales que: z f 1 {c} f (z) = P (z) =c Q(z)

120

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

Notacin: f 1 {c} indica el conjunto preimagen por f del elemento c. No indica funcin inversa. o o Es solamente el conjunto, que podr hasta ser vac formado por todos los elementos del dominio a o, de la funcin f cuyos correspondientes por f son c. o Si c = , entonces por denicin de polo, la cantidad de preimgenes de c es la cantidad de o a polos (contado cada uno con su orden), es decir #(f 1 {}) = mx{m, n} a Si c C, entonces la cantidad de preimgenes de c por f es la cantidad de ceros de la funcin a o racional f (z)c = (P (z)cQ(z))/Q(z). El numerador y el denominador son primos entre s porque lo son P (z) y Q(z). Entonces la cantidad de ceros de f (z) c es igual al mximo M de los grados a de P (z) cQ(z) y Q(z). Si m = n entonces M = mx{m, n}. Si m = n entonces el numerador a P (z) cQ(z) tiene grado menor o igual que m = n; luego M = mx{m, n}. Se concluye que a #(f 1 {c}) = mx{m, n} a Lo anterior demuestra la siguiente proposicin: o Proposicin 12.1.5. Cantidad de preimgenes por una funcin racional. o a o Sea f (z) = P (z)/Q(z) una funcin racional, donde P y Q son polinomios primos entre s de o grados n y m respectivamente. Para todo c C la cantidad de preimgenes por f de c, contada cada una tantas veces como a su multiplicidad, es #(f 1 {c}) = mx{m, n} a

12.2.

Ceros de las funciones anal ticas.

Denicin 12.2.1. Ceros de una funcin anal o o tica. Un cero de la funcin anal o tica f H() es un punto a tal que f (a) = 0. Por el teorema de prolongacin anal o tica, si f no es idnticamente nula en la componente e conexa de que contiene a a, entonces el cero a es aislado. (Ver corolario 5.2.2.) Estudiaremos entonces los ceros de las funciones anal ticas que no son idnticamente nulas en e una regin . o Si a es un cero de f , desarrollando f en serie de potencias centrada en a en un disco DR (a) con R > 0, como el coeciente a0 = f (a) = 0 se obtiene:

f (z) =
n=k

an (za) = (za)

k n=k

an (za)nk = (za)k g(z) z DR (a),

g(a) = ak = 0

(1)

donde ak = 0, k 1 es el primer coeciente del desarrollo que no es nulo. Existe tal ak porque f no es idnticamente nula en DR (a). Y la funcin g(z) es igual a la suma de la serie de potencias e o

g(z) =
n=k

an (z a)nk z DR (a)

Luego g es anal tica en DR (a) y adems g(a) = ak = 0. a

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

121

Por otra parte, dividiendo (1) entre (z a)k y tomando l mite cuando z a se obtiene que: f (z) = g(a) C \ {0} za (z a)k l m (2)

Adems, siendo ak = f (k) (a)/k!, el nmero natural k 1 que verica (1) y (2) es el primer a u natural para el cual la derivada ksima de f (z) en z = a no es nula. e (3) Denicin 12.2.2. Orden o multiplicidad de un cero. o Sea a un cero de la funcin anal o tica f no idnticamente nula en la regin . Se llama multie o plicidad u orden de a al unico entero k 1 tal que: f (z) = (z a)k g(z) donde g(z) es una funcin anal o tica en un disco DR (a) con R > 0, tal que g(a) = 0 En resumen, el orden k 1, o multiplicidad del cero a, es igual a: El unico entero k 1 tal que: f (z) = (z a)k g(z), donde g(z) es una funcin anal o tica en un disco DR (a) con R > 0, tal que g(a) = 0. (Por denicin.) o El lugar del primer coeciente ak = 0 del desarrollo en potencias de f centrado en a. (Por (1).) El unico entero k tal que
za

l m

f (z) C \ {0} (z a)k

(Por (2).)

El primer natural para el cual la derivada ksima de f (z) en z = a no es cero. (Por (3).) e En particular, si a es un cero de f entonces f (a) = 0 si y solo si el orden o multiplicidad de a es k = 1. Denicin 12.2.3. Ceros simples y m ltiples. o u Un cero aislado se llama simple si tiene orden o multiplicidad igual a 1, y se llama mltiple u (doble, triple, etc) si tiene orden o multiplicidad 2 (2, 3, etc. respectivamente). 12.2.4. Ejemplos. 1. f (z) = 2ez 2 tiene un cero en cada z = 2hi donde h es entero. La derivada de f (z) en z = 2hi es 2 = 0. Luego, el orden del cero 2hi es 1. Considerando el desarrollo en serie de potencias de f (z) centrado en z = 2hi se obtiene:

f (z) = 2e 2 = 2e e

z 2hi

2 = 2e

z2hi

2 = 2 +
n=0

2(z 2hi)n = n!

f (z) = (z 2hi)
n=1

2(z 2hi)n1 n!

122

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

(Se us que el desarrollo en serie de potencias de eu centrado en u = 0 es un /n! ya que su o n=0 coeciente nsimo es (eu )(n) |u=0 /n! = 1/n!). e Luego la funcin anal o tica g(z) tal que g(2hi) = 0 y que cumple f (z) = (z 2hi)g(z) es

g(z) = 2
n=1

(z 2hi)n1 , n!

g(2hi) = 2

2ez 2 = g(2hi) = 2 C \ {0} z2hi z 2hi 2. La funcin 2Log(,] (z) tiene un cero en z = 1. Como su derivada en z = 1 es 2/z|z=1 = o 2 = 0 entonces el orden del cero z = 1 es k = 1. 3. La funcin polinmica f (z) = (z 2 + 4)2 tiene dos ceros z = 2i y z = 2i que son las o o unicas ra del polinomio. El orden de ambas ra es 2 ya que f (z) = (z 2i)2 (z + 2i)2 , luego ces ces f (z) = (z 2i)2 g1 (z) con g1 anal tica que no se anula en z = 2i y f (z) = (z + 2i)2 g2 (z) con g2 anal tica que no se anula en z = 2i. En general: los ceros de un polinomio son sus ra ces, y el orden o multiplicidad de cada cero es la multiplicidad de la ra z. l m Algunos resultados relativos a los ceros de funciones anal ticas. En la seccin 10 se exponen algunos resultados relativos a la existencia o inexistencia de o ceros de funciones anal ticas, ms precisamente en el lema de Swchartz (ver lema 10.1.3) y en los a ejercicios 10.1.2, 10.3.3, 10.4.3, y 10.4.4. Otros resultados se exponen en los siguientes ejercicios: Ejercicio 12.2.5. Comparacin de funciones enteras. o Sean f y g funciones enteras tales que |f (z)| |g(z)| para todo z C. a) Probar que si g tiene un cero de orden m en a entonces f tiene un cero en a que, si f no es idnticamente nula, tiene orden n m. e b) Deducir que f (z) = kg(z) con k constante de mdulo menor o igual que 1. o Parte a): Si g(a) = 0 y |f (a)| |g(a)| = 0 entonces f (a) = 0. Por lo tanto todo cero de g es un cero de f . Si a es un cero de g con orden m 1 entonces g(z) = (z a)m h(z) con h(a) = 0. Sea Lm = l m Se cumple |Lm | = l m
za

Se obtiene

f (z) za (z a)m

|f (z)| |g(z)| l m = |h(a)| R m za |z a|m |z a|

Lm C (1)

Sea n el orden de z = a como cero de f . Se cumple: f (z) = Ln C \ {0} za (z a)n l m

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

123

Entonces, para todo h > n se cumple: Lh = l m

za

f (z) 1 1 f (z) = l m = Ln l m = h za (z a)n (z a)hn za (z a)hn (z a)

En resumen, hemos probado que Lh = para todo h > n. Por otro lado en (1) ten amos Lm C. Esto implica que m n como quer amos probar. Parte b) Sea la funcin o f (z) h(z) = g(z) anal tica excepto en los ceros de la funcin g. o Tomemos un cero a cualquiera de g. Por la parte a) sea m el orden de a como cero de g y sea n m el orden de a como cero de f . Se cumple: f (z) = (z a)n f1 (z), f1 H(C), f1 (a) = 0 g(z) = (z a)m g1 (z), g1 H(C), g1 (a) = 0 Luego
za

l h(z) = l m m

f1 (a) (z a)nm f1 (z) = l (z a)nm = L C m za g1 (z) g1 (a) za

(Si n > m entonces L = 0, y si n = m entonces L = 0.) Entonces l za (z a)h(z) = 0 L = 0, y aplicando el teorema de Cauchy-Goursat extendido m (ver teorema 11.3.3), la funcin h se extiende a una funcin anal o o tica en z = a. Esto vale para cualquier cero a de la funcin g. Luego h es entera. o Como por hiptesis el mdulo de h est acotado superiormente por 1, aplicando el teorema de o o a Liouville (ver teorema 11.4.6), la funcin h es igual a una constante k con |k| 1. Luego o f (z) = kg(z) z C, donde k es una constante con |k| 1.

Ejercicio 12.2.6. Regla de LHpital. Sean f y g anal o ticas en una regin y no idnticamente o e nulas. Sea a un cero de f y de g. Probar que f (z) f (z) = l m za g(z) za g (z) l m Sea n el orden de a como cero de f , y sea m el orden a a como cero de g. Y sea D un disco abierto centrado en a. Llamando aj a los coecientes del desarrollo en potencias de z a de la funcin f y llamando bj a los del desarrollo de la funcin g, tenemos: o o

f (z) = (z a) f1 (z) = (z a)

n j=n

aj (z a)jn ,

f1 (a) = an = 0.

(1)

g(z) = (z a) g1 (z) = (z a)

m j=m

bj (z a)jm ,
n1 j=n

g1 (a) = bm = 0.

(2)

f (z) =
j=n

jaj (z a)

j1

= (z a)

jaj (z a)jn .

(3)

124

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

g (z) =
j=m

jbj (z a)

j1

= (z a)

m1 j=m

jbj (z a)jm .

(4)

Primer caso: n = m Usando (1), (2), (3) y (4) se deduce: f (z) (z a)n f1 (z) f1 (a) an = l m = = = za g(z) za (z a)n g1 (z) g1 (a) bn l m = (z a)n1 nan f (z) nan = l m = l m za (z a)n1 za g (z) nbn nbn

Segundo caso: n > m Usando (1), (2), (3) y (4) se deduce: (z a)n f1 (z) (z a)nm f1 (z) an f (z) = l m = l m =0 =0 m g (z) za (z a) za za g(z) g1 (z) bm 1 l m 0 = l m (z a)n1 nan f (z) = l m m1 mb za (z a) za g (z) m

Tercer caso: n < m Usando (1), (2), (3) y (4) se deduce: (z a)n f1 (z) f1 (z) an f (z) = l m = l m = = m g (z) mn g (z) za (z a) za (z a) za g(z) bm 1 1 l m = l m (z a)n1 nan f (z) = l m za (z a)m1 mbm za g (z)

12.3.

Clasicacin de las singularidades aisladas. o

En lo que sigue dado a C denotamos para R > 0 con DR (a) = {z C : |z| < R} al disco abierto de centro a y radio R > 0, y denotamos con
DR (a) = {z C : 0 < |z| < R}

al disco abierto pinchado de centro a y radio R > 0, es decir el conjunto que resulta del disco abierto DR (a) retirando su centro a. Denotamos con D1/R () = {} {z C : |z| > R} al entorno abierto en C de centro y radio 1/R. Denotamos con
D1/R () = {z C : |z| > R}

al entorno abierto pinchado de con radio 1/R, es decir al conjunto que resulta del entorno D1/R () en C retirando su centro .

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

125

Denicin 12.3.1. Singularidad aislada. Un punto a C se dice que es una singularidad de o f si f o bien no est denida en z = a, o bien est denida y no es anal a a tica en ningn entorno u de a (por ejemplo si es discontinua en a). Se dice que una singularidad de f es una singularidad aislada si f H(DR (a)) para algn u (a) de a con radio R > 0. entorno pinchado DR El punto del plano complejo compacticado se dice que es una singularidad aislada de f si f H(D1/R ()) para algn entorno pinchado D1/R () con radio 1/R > 0. u 12.3.2. Ejemplos. 1) La funcin Log(,] z holomorfa en C\{z = x R : x 0} no tiene singularidades aisladas. o 2) Si f (z) es holomorfa en y z0 , entonces la funcin (f (z) f (z0 ))/(z z0 ) es holomorfa o en \ {z0 } y por lo tanto tiene en z0 una singularidad aislada. 3) Los polos de las funciones racionales son singularidades aisladas. 4) La funcin ez tiene en una singularidad aislada. o 5) La funcin e1/z tiene en 0 una singularidad aislada. o 6) Si f es holomorfa en la regin y no es idnticamente nula, entonces los ceros de f son o e aislados. (Ver corolario 11.1.8.) Luego la funcin 1/f es holomorfa en \ Z donde Z es el conjunto o de ceros de f , y tiene en cada punto de Z una singularidad aislada. Denicin 12.3.3. Clasicacin de las singularidades aisladas. o o Dada una singularidad aislada a C de f , se dene: a es singularidad evitable de f si l za f (z) C. m a es un polo de f si l za f (z) = . m a es una singularidad esencial de f si no existe l za f (z) en C. m Dado singularidad aislada de f se dene: es singularidad evitable de f si l z f (z) C. m es un polo de f si l z f (z) = . m es una singularidad esencial de f si no existe l z f (z) en C. m 12.3.4. Ejemplos. 1) Los polos de una funcin racional son polos tambin segn la denicin anterior. o e u o 2) Si f (z) es holomorfa en la regin y no es idnticamente nula, entonces 1/f (z) es holomorfa o e en \ Z donde Z es el conjunto de ceros de f . Cada cero a de f es un polo de 1/f . En efecto, si k 1 es el orden del cero a de f , entonces f (z) = (z a)k g(z) con g anal tica y g(a) = 0. Luego 1/f = 1/((z a)k g(z)) cuando z a. 3) Si f es holomorfa en y z0 entonces (f (z)f (z0 ))/(z z0 ) tiene en z0 una singularidad evitable. 4) La funcin ez tiene en una singularidad esencial. o 5) La funcin e1/z tiene en 0 una singularidad esencial. o 6) Los polinomios de grado n 1 tienen en un polo.

126

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

El siguiente teorema identica una singularidad evitable a como aquella que es singularidad slo porque falt denir en forma adecuada la funcin f en ese punto. Deniendo adecuadamente o o o f (a), entonces a deja de ser una singularidad de f . Teorema 12.3.5. Caracterizacin de las singularidades evitables. o a) Sea a C una singularidad aislada de f . Son equivalentes las siguientes armaciones: i) a es singularidad evitable de f .
ii) f (z) es acotada en DR (a) para algn R > 0. u

iii) l za (z a)f (z) = 0. m iv) f admite una extensin holomorfa a DR (a) para algn R > 0 o u b) Sea una singularidad aislada de f . Son equivalentes las siguientes armaciones: i) es singularidad evitable de f .
ii) f (z) es acotada en D1/R () para algn R > 0. u

i) l z f (z)/z = 0. m Demostracin. o Parte a) A lo largo de la prueba, aplicando la denicin de singularidad aislada, sea DR (a) o con R > 0 el disco pinchado donde f es holomorfa. Probemos que i) ii) iii) iv) i) Prueba de que i) ii): Por hiptesis existe l za f (z). Luego, por denicin de l o m o mite, f es acotada en DR (a), como quer amos demostrar. Prueba de que ii) iii): Por hiptesis f es acotada en DR (a). Luego, como (z a) 0 o cuando z a, se obtiene l za (z a)f (z) = 0, como quer m amos demostrar. Prueba de que iii) iv): Por hiptesis l za (z a)f (z) = 0. Aplicando el teorema de o m Cauchy-Goursat extendido (ver teorema 11.3.3) se deduce que existe una extensin holomorfa de o f a DR (a), como quer amos demostrar. Prueba de que iv) i): Por hiptesis existe una extensin holomorfa g de f a DR (a). o o (a) y adems g(z) C est denida y es continua en z = a. Luego Entonces g(z) = f (z) z DR a a l za f (z) = l za g(z) = g(a) C. Concluimos que existe en C el l m m mite de f (z) cuando z a, como quer amos demostrar. Parte b) Aplicando la denicin de singularidad aislada en , sea D1/R () con R > 0 el o entorno pinchado de donde f es holomorfa. Consideremos la funcin auxiliar g(w) = f (1/w) denida y holomorfa para todo w D1/R (0). o En efecto:
z = 1/w D1/R ()

1 1 w D1/R (0) = |z| > R 0 < |w| < w R

Entonces 0 es una singularidad aislada de g. Se observa que es singularidad evitable de f si y solo si 0 es singularidad evitable de g. Aplicando la parte a) ya demostrada, esto es equivalente a:
g(w) acotada w D1/R (0) f (z) = g(w) para z =

1 es acotada z D1/R () w

Funciones de variable compleja. Anlogamente: a

Eleonora Catsigeras.

01 Julio 2006.

127

w0

l wg(w) = 0 f (z) = g(w) para z = m

f (z) 1 cumple l m =0 z z w

12.4.

Polos complejos y en .

Teorema 12.4.1. Caracterizacin de los polos complejos. o Sea a C una singularidad aislada de f . Son equivalentes las siguientes armaciones: i) a es un polo de f . ii) Para un primer natural k 1 la funcin (z a)k f (z) admite una extensin holomorfa a o o DR (a) para algn R > 0. En consecuencia a es una singularidad evitable de (z a)k f (z). u
iii) Para un primer natural k 1 la funcin (z a)k f (z) es acotada en DR (a) para algn R > 0. o u

iv) Para un primer natural k 1 existe

za

l (z a)k f (z) {0, } m

En consecuencia 0 n < k l (z a)n f (z) = m

za

n > k l (z a)n f (z) = 0 m

za

v) La funcin 1/f (z) tiene una extensin anal o o tica en un entorno de z = a, y z = a es un cero de orden k 1 de la extensin anal o tica de 1/f . Demostracin: A lo largo de la prueba, aplicando la denicin de singularidad aislada, sea o o DR (a) con R > 0 el disco pinchado donde f es holomorfa. Probaremos que i) v) iv) iii) ii) i). i) v): Por hiptesis l za f (z) = . Entonces f (z) = 0 z Dr (a) para cierto 0 < r < R. o m Denamos la funcin h: o 1 h(z) = z Dr (a) f (z)
h es holomorfa en Dr (a) porque es el cociente de dos funciones holomorfas que no se anulan. Luego h tambin tiene en a una singularidad aislada. e Adems l za h(z) = l za 1/f (z) = 0. Por lo tanto, a es una singularidad evitable de h. a m m Deniendo h(a) = 0 se tiene h H(Dr (a)). Por construccin a es un cero aislado de h y por lo o tanto tiene un orden k 1. v) iv): Escribiendo el desarrollo en serie de potencias centrada en a de la funcin h, extensin anal o o tica 1/f , se obtiene:

h(z) =
n=k

an (z a)n = (z a)k
n=k

an (z a)nk z Dr (a)

128

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

donde k 1 es el primer tal que ak = 0. Existe tal k 1 porque, si bien h(a) = a0 = 0, la funcin o h(z) = 1/f (z) no se anula en ningn otro punto de Dr (a), luego su desarrollo en serie de potencias u no puede ser idnticamente nulo. e Consideremos entonces:
za

l m

h(z) 1 = l m = ak C \ {0} k f (z) za (z a)k (z a) l (z a)k f (z) = m 1 {, 0} ak

Luego
za

(1)

como quer amos demostrar. Las consecuencias enunciadas en la tesis (iv) son inmediatas a partir de (1), escribiendo: (z a)n f (z) = (z a)nk (z a)k f (z) iv) iii): Por hiptesis o
za

l (z a)k f (z) = L {, 0} m

Luego, por denicin de l o mite (z a)k f (z) es acotada en un disco Dr (a). k f (z). Por hiptesis g(z) es acotada en un disco D (a). Luego iii) ii): Sea g(z) = (z a) o r

za

l (z a)g(z) = 0 m

Usando el teorema de caracterizacin de las singularidades evitables (ver teorema 12.3.5), el punto o a es una singularidad evitable de g(z), y por lo tanto g(z) = (z a)k f (z) admite una extensin o holomorfa a Dr (a) como quer amos demostrar. ii) i): Por hiptesis existe k 1 que es el primer natural tal que g(z) = (z a)k f (z) o admite una extensin holomorfa a Dr (a). Entonces l za g(z) = g(a) = L C. o m Armacin: L = 0. En efecto, por absurdo si fuera L = 0, entonces o
za

l (z a)(z a)k1 f (z) = 0 m

Como resultado de aplicar el teorema 12.3.5 a la funcin (z a)k1 f (z), esta tendr en a una o a singularidad evitable, y por lo tanto una extensin holomorfa a Dr (a). Entonces no ser k el o a k f (z) admite una extensin holomorfa al disco. Hemos probado la primer natural tal que (z a) o armacin. o Luego, como existe l za g(z) = L = 0 se deduce: m
za

l f (z) = l m m

g(z) = za (z a)k

y por denicin a es un polo de f como quer o amos demostrar. Teorema 12.4.2. Caracterizacin de polo en . o Sea singularidad aislada de f . Son equivalentes las siguientes armaciones: i) es un polo de f .

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

129

ii) Para un primer natural k 1 la funcin f (z)/z k es acotada en D1/R () para algn R > 0. o u

iii) Para un primer natural k 1 existe f (z) {0, } z z k l m En consecuencia 0 n < k l m f (z) = zn f (z) n > k l m n = 0 z z
z

Demostracin: Aplicando la denicin de singularidad aislada en , sea D1/R () con o o R > 0 el entorno pinchado de donde f es holomorfa. Anlogamente a la demostracin de la parte b) del teorema 12.3.5 consideremos la funcin a o o auxiliar g(w) = f (1/w) denida y holomorfa para todo w D1/R (0). Se observa que es un polo de f si y solo si 0 es un polo de g. Aplicando el teorema 12.4.1, esto es equivalente a: wk g(w) acotada w D1/R (0)

1 f (z) es acotada z D1/R () = wk g(w) para z = k w z

Anlogamente: a
w0

l wk g(w) = L m

f (z) 1 f (z) = wk g(w) para z = cumple l m =L k z z k z w

Denicin 12.4.3. Orden de un polo. o a) En virtud del teorema 12.4.1, el orden o multiplicidad k 1 de un polo a C de f es:
El primer natural k 1 tal que la funcin (z a)k f (z) es acotada en DR (a) para algn o u R > 0.

El orden o multiplicidad de a como cero de la funcin anal o tica que extiende a 1/f a un entorno de a. El primer k 1 tal que la funcin (z a)k f (z) admite una extensin holomorfa a DR (a). o o El unico nmero entero k tal que l za (z a)k f (z) {0, }. u m En consecuencia: 0 n < k l za (z a)n f (z) = ; m n > k l za (z a)n f (z) = 0. m b) En virtud del teorema 12.4.2, el orden o multiplicidad k 1 del polo de f es
El primer natural k 1 tal que la funcin f (z)/z k es acotada en D1/R () para algn R > 0 o u (por denicin) o

El unico entero k tal que l z m

f (z) zk

{0, }.
f (z) zn

En consecuencia 0 n < k l z m

= ;

n > k l z m

f (z) zn

= 0.

130

Funciones de variable compleja. El orden de z = 0 como polo de la funcin f (1/z). o

Eleonora Catsigeras.

01 Julio 2006.

Denicin 12.4.4. Polos simples y m ltiples. o u Un polo se llama simple si tiene orden 1, y se llama mltiple (doble, triple, etc) si tiene orden u 2 (2, 3, etc. respectivamente). 12.4.5. Ejemplos: 1) Si f H() y z0 es tal que f (z0 ) = 0 entonces (f (z) f (z0 ))/(z z0 )2 tiene en z0 un polo simple. 2) Un polo de multiplicidad k de una funcin racional es un polo de orden k tambin de acuerdo o e a la denicin anterior. o 3) Los polinomios de grado n 1 tienen en un polo de orden n. 4) Si f H() donde es una regin, no es idnticamente nula, entonces un cero de orden k o e de f es un polo de orden k de la funcin 1/f (z) y rec o procamente. 5) Se dene la funcin sen z para z complejo, como la funcin (eiz eiz )/2i. Es una funcin o o o entera. Sea f (z) = 1/ sen(z). Encontremos y clasiquemos todas las singularidades de f . Tiene singularidades en y donde se anula el denominador sen(z). Estudiemos despus la singularidad en e y primero las singularidades complejas, donde se anula sen(z). Son aisladas y son polos, porque son los ceros de la funcin entera sen(z) no idnticamente nula. Hallemos todos esos polos y sus o e o rdenes. sen(z) = 0 eiz = eiz . Sustituyendo z = x + iy, con x e y reales, se obtiene: eixy = eix+y ey = |eixy | = |eix+y | = ey , eix = eix Por un lado la igualdad ey = ey se cumple para todo y real tal que ey ey = 0. Recordando que el seno hiperblico de y es senh(y) = (ey ey )/2 los valores de y buscados son los que anulan el o senh(y) o sea y = 0. Por lo tanto los complejos z buscados tienen todos parte imaginaria nula. Ahora encontremos los valores de la parte real x que cumplen eix = eix . Esto es: cos x + i sen x = cos x i sen x. Luego sen x = 0. Esto se cumple si y solo si x = k con k entero cualquiera. En denitiva los polos de f (z), que son los ceros de sen(z), son los nmeros reales z = k con u k entero. Para hallar el orden de k como polo de f recordemos que es el orden de k como cero de sen z = (eiz eiz )/2i. La derivada es sen (z) = (ieiz + ieiz )/2i = (eiz + eiz )/2. (Esta ultima funcin se dene como cos z con z complejo.) o En z = k la derivada es sen (k) = (eik + eik )/2 = cos(k) = 1 = 0. Luego el orden de todos los ceros de sen(z) es 1, y entonces el orden de todos los polos complejos de f es 1. Ahora clasiquemos la singularidad en . No es una singularidad aislada porque entre los polos complejos k (con k entero cualquiera) que encontramos antes, hay innitos de ellos que estn en el entorno D1/R () = {z C : |z| > R}. En efecto, todos los valores enteros de k tales a que |k| > R dan puntos k en D1/R () donde la funcin f no es holomorfa. Entonces es o singularidad no aislada de f .

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

131

12.5.

Singularidades esenciales.

Proposicin 12.5.1. Caracterizacin de las singularidades esenciales. o o a) Sea a C una singularidad aislada de f . Sea DR (a) el disco pinchado de radio R > 0 donde f es holomorfa. Entonces son equivalentes: i) a es una singularidad esencial de f .
ii) Para ningn natural k 0 la funcin (z a)k f (z) es acotada en DR (a). u o

iii) Para ningn natural k 0 la funcin (z a)k f (z) admite extensin holomorfa a DR (a). u o o iv) Para ningn natural k 0 existe l za (z a)k f (z) en C. u m
b) Sea singularidad aislada de f . Sea D1/R () el entorno pinchado de donde f es holomorfa. Entonces son equivalentes:

i) es una singularidad esencial de f .

ii) Para ningn natural k 0 la funcin f (z)/z k es acotada en DR (a). u o

iii) Para ningn natural k 0 existe l z f (z)/z k en C. u m Demostracin: Basta recordar que por denicin una singularidad aislada es esencial si no o o es evitable ni polo. Aplicando los teoremas de caracterizacin de singularidades evitables y de o polos (teoremas 12.3.5, 12.4.1 y 12.4.2) es equivalente que la singularidad sea esencial a que no se cumpla alguna de las armaciones de esos teoremas. Por lo tanto, se cumple la contraria, que es la expuesta en cada una de las armaciones de este corolario. Teorema 12.5.2. Teorema de Weierstrass-Casorati. Sea a C una singularidad esencial de f y sea D (a) un disco pinchado de a donde f es holomorfa. El conjunto imagen f (D (a)) es denso en C, es decir todo punto w C es el l mite de alguna (a)). Precisamente: sucesin de puntos wn f (D o w C existe zn D (a) tal que
n+

l m f (zn ) = w

(1)

Nota: Es vlida una versin ms fuerte del teorema anterior, llamado Teorema de Picard, a o a cuyo enunciado es el siguiente: Teorema 12.5.3. Teorema de Picard. Sea a C una singularidad esencial de f y sea D (a) un disco pinchado de a donde f es holomorfa. Entonces el conjunto imagen f (D (a)) es todo el conjunto C excepto a lo sumo un punto. Demostracin del teorema 12.5.2: o Por hiptesis a es una singularidad esencial de f . Hay que probar que se cumple (1). Basta o probar que w C nf |f (z) w| = 0 (2)
zD (a)

132

Funciones de variable compleja.

Eleonora Catsigeras.

01 Julio 2006.

En efecto, si se cumple (2) entonces para todo n 1 el nmo de (2) es menor 1/n y, por denicin o de nmo, existe algn zn D (a) tal que |f (zn ) w| < 1/n. Entonces f (zn ) w y se cumple u (1) como queremos demostrar. Demostracin de (2): Supongamos por absurdo que para algn w0 C se cumple zD (a) |f (z) o u nf w0 | = r > 0. Entonces la funcin auxiliar o g(z) = 1 z D (a) f (z) w0

ser holomorfa en D (a) y acotada superiormente por 1/r. Luego, a ser una singularidad aislada a a de g y por el teorema 12.3.5 ser una singularidad evitable. Luego existir l za g(z). Entonces a a m tambin existir e a 1 l f (z) = l m m w0 + za za g(z) (pudiendo ser este l mite igual a , si g(z) 0 cuando z a). Por denicin a no ser o a singularidad esencial de f contradiciendo la hiptesis. o