Ceros y singularidades. Series de Laurent. 113
particular, en un disco privado de su centro), la funci´on se puede representar comosumadeuna
seriedeLaurent
,queesunaseriedepotenciasconexponentesenteroscualesquiera y no s´olo con exponentes enteros no negativos, como son las series deTaylor. Comprobaremos que las series de Laurent permiten as´
ı
mismo caracterizarlos diferentes tipos de singularidades aisladas, y concluiremos con unos ejerciciosque muestran c´omo hallar desarrollos de Laurent de algunas funciones concretas,un buen banco de pruebas para los recursos adquiridos hasta el momento.Referencias b´asicas:—
Conway, J. B.:
Functions of One Complex Variable.
(2nd ed.) Springer, NewYork (1978).—
Duncan, J.:
The elements of complex analysis.
Wiley, London (1968).—
Rudin, W.:
An´ alisis real y complejo.
(3a. ed.) McGraw-Hill/Interamericana,Madrid (1987).
8.2 CEROS DE UNA FUNCI´ON HOLOMORFA
Unpolinomionopuedetenerin
fi
nitoscerossinserid´enticamentenulo.Lasituaci´ones algo menos dr´astica cuando pasamos a funciones holomorfas: conocemos fun-ciones no nulas, como el seno y el coseno, que tienen in
fi
nitos ceros. Esto nosigni
fi
ca que no haya restricciones severas sobre los posibles ceros de una funci´onholomorfa no nula. Una vez que hemos probado la identidad entre las funcionesholomorfas y las funciones anal´
ı
ticas, el principio de prolongaci´on anal´
ı
tica nosinforma de que el conjunto de ceros de una funci´on holomorfa no nula, si su do-minio es conexo, no puede poseer puntos de acumulaci´on
dentro del dominio
. Estono signi
fi
ca que no pueda haber puntos de acumulaci´on de ceros: por ejemplo, lafunci´on sen
(π/
z
)
es holomorfa en
C
\ {
0
}
y se anula en los puntos 1
/
k
,
k
∈
Z
(en este caso 0 es un punto de acumulaci´on de ceros); lo que sucede es que, si elconjunto de ceros tiene puntos de acumulaci´on, ´estos deber´an estar en la frontera
del dominio. Podemos sacar algunas consecuencias inmediatas de este hecho.
Proposici´ on 8.1.
Sea
una regi´ on de
C
y f
∈
H
()
no id ´ enticamente nula. Denotemos por Z
f
el conjunto de ceros de f , es decir, Z
f
=
f
−
1
(
0
)
. Entonces
(
1
)
Z
f
es un conjunto discreto.
(
2
)
Para cualquier conjunto compacto K
⊆
, Z
f
∩
K es
fi
nito o vac´
ı
o.
(
3
)
Z
f
es un conjunto contable (
fi
nito o numerable). Demostraci´ on
.
(
1
)
Que
Z
f
esunconjuntodiscretosigni
fi
caqueparacadapunto
a
de
Z
f
sepuedeencontrar un
r
>
0 tal que
z
/
∈
Z
f
si 0
<
|
z
−
a
|
<
r
, o lo que es igual, quening´un punto de
Z
f
es punto de acumulaci´on de
Z
f
.
Leave a Comment