9.

a) (Algoritmo de la división) Sean f y g funciones analı́ticas en un entorno de 0 con g(0) 6= 0, y

k ∈ N. Si
∞
X X∞
f (z) = an z n y g(z) = bn z n
n=0 n=0

en un entorno de 0, denotemos
k
X k
X
fk (z) = an z n , gk (z) = bn z n .
n=0 n=0

Sean Q(z) y R(z) dos polinomios, con grado de Q(z) menor o igual que k y R(z) con todos sus
términos de grado mayor o igual que k + 1, tales que fk (z) = Q(z)gk (z) + R(z). Probar que si
∞
X
f (z)/g(z) = cn z n
n=0

k
X
en un entorno de 0 entonces cn z n = Q(z).
n=0
b) Hallar los 4 primeros términos del desarrollo en serie de la función tg z mediante el algoritmo
de la división.
sen z
c) Probar que la función h(z) = z (con h(0) = 1) es analı́tica en D(0, 2π) y hallar los 4
e −1
primeros términos de su desarrollo en serie entorno al punto 0.

———— Respuesta ————

∞
X k
X k
X N
X
n n n
a) Pongamos h(z) = cn z , hk (z) = cn z , Q(z) = qn z , R(z) = rn z n . Como
n=0 n=0 n=0 n=k+1
f (z) = g(z) h(z), será

fk (z) = a0 + a1 z + · · · + ak z k
= b0 c0 + (b0 c1 + b1 c0 ) z + (b0 c2 + b1 c1 + b2 c0 ) z 2 + · · · + (b0 ck + b1 ck−1 + · · · + bk c0 ) z k .

Y como también fk (z) = gk (z) Q(z) + R(z),

fk (z) = b0 q0 + (b0 q1 + b1 q0 ) z + (b0 q2 + b1 q1 + b2 q0 ) z 2 + · · · + (b0 qk + b1 qk−1 + · · · + bk q0 ) z k

+ (b1 qk + b2 qk−1 + · · · + bk q1 ) z k+1 + · · · + bk qk ) z 2k + rk+1 z k+1 + · · · + rN z N ,

(la suma de esta última lı́nea será obviamente nula), puesto que b0 6= 0 se obtiene, reiterando,

b0 c0 = b0 q0 =⇒ c0 = q0
b0 c1 + b1 c0 = b0 q1 + b1 q0 = b0 q1 + b1 c0 =⇒ c1 = q1
.........
b0 ck + b1 ck−1 + · · · + bk c0 = b0 qk + b1 qk−1 + · · · + bk q0 =⇒ ck = qk .

[NOTA. Q y R se obtienen mediante la división de polinomios según las potencias crecientes,

como se ve en los siguientes ejemplos.]
 sen z z3 z2 z4
b) Para tg z = con la notación anterior es f4 = z − , g4 (z) = 1 − + . Dividiendo
cos z 6 2 24
según las potencias crecientes,
z − z 3 /6 |1 − z 2 /2 + z 4 /24 Resulta ası́:
z3
−z + z 3 /2 − z 5 /24 z + z 3 /3 Q(z) = z +
3
z 3 /3 − z 5 /24 z5 z7
R(z) = −
−z 3 /3 + z 5 /6 − z 7 /72 8 72
z3
z 5 /8 − z 7 /72 tg(z) = z + + ···
3
(Como realmente no necesitamos conocer R, para obtener Q podrı́amos prescindir de los términos
de grado superior a 4).

c) El denominador ez − 1 no cumple la condición de ser distinto de 0 para z = 0 y no podemos

aplicar tal cual el apartado a). Pero también sen 0 = 0, y podemos enmendar la situación
definiendo ahora
sen z sen z sen z − sen 0
f (z) = , f (0) = lı́m = lı́m = cos 0 = 1,
z z→0 z z→0 z−0
ez − 1 ez − 1 ez − e0
g(z) = , g(0) = lı́m = lı́m = e0 = 1,
z z→0 z z→0 z − 0

funciones analı́ticas en C \ {0} y continuas en 0, luego ambas analı́ticas en C. Además g(0) 6= 0

y ez 6= 1 si 0 < |z| < 2π; por tanto, la función
f (z) sen z/z sen z

h(z) = = z = z , h(0) = 1
g(z) (e − 1)/z (e − 1)
está bien definida y es también analı́tica en D(0, 2π).
z2 z4 z z2 z3 z4
Ahora f4 (z) = 1 − + , g4 (z) = 1 + + + + y haciendo la división según las
6 120 2 6 24 120
potencias crecientes se obtiene
z z2 z3 z4
h4 (z) = 1 − − + −
2 12 12 144
como podemos comprobar:
1 − z 2 /6 + z 4 /120 |1 + z/2 + z 2 /6 + z 3 /24 + z 4 /120
−1 − z/2 − z 2 /6 − z 3 /24 − z 4 /120 1 − z/2 − z 2 /12 + z 3 /12 − z 4 /144
−z/2 − z 2 /3 − z 3 /24
z/2 + z 2 /4 + z 3 /12 + z 4 /48 + z 5 /240
−z 2 /12 + z 3 /24 + z 4 /48 + z 5 /240
z 2 /12 + z 3 /24 + z 4 /72 + z 5 /288 + z 6 /120
z 3 /12 + 5z 4 /144 + etc
−z 3 /12 − z 4 /24 + etc
−z 4 /144 + etc

–—o0o—–