Series de Bertrand

A modo de problema estudiamos la convergencia de las series de Bertrand,

es decir series de la forma +∞ 1
P
n=2 nα logβ n (α, β ∈ R)

1. Se llaman series de Bertrand a las series de la forma:

+∞
X 1
S(α, β) : (α, β ∈ R)
n=2
nα logβ n

El objetivo se este problema es estudiar su convergencia, para ello se pide:

(i ) Demostrar que si α > 1 entonces S(α, β) es convergente.

0
Sugerencia: Comparar con la serie de término general vn = 1/nα para una
adecuada elección de α0 .

(ii ) Demostrar que si α < 1 entonces S(α, β) es divergente.

(iii ) Si α = 1 , demostrar que S(α, β) es convergente si β > 1 y divergente

si β ≤ 1 .
Sugerencia: Usar el criterio integral.

1 1
Resolución (i ) Llamemos un = , vn = con lo cual tenemos
nα logβ n n α0
0
un nα 1
= β
=
vn α
n log n n α−α 0
logβ n

Supongamos que α > 1, entonces existe α0 tal que 1 < α0 < α. Si β ≥ 0 es

claro que lı́mn→+∞ (un /vn ) = 0. Si β < 0:

un 1 (log n)−β
= = (−β > 0)
vn nα−α0 logβ n nα−α0

Como la función potencial es un infinito de orden mayor que la logarı́tmica,

también en este caso un /vn → 0. Al ser α0 > 1, la serie de término general
0
vn = 1/nα converge. Por el criterio de comparación por cociente concluimos
que la serie de término general un es convergente.

1
(ii ) Sea α < 1, elijamos α0 tal que α < α0 < 1. Razonando de manera
análoga que en (i ), obtenemos un /vn → +∞. Por el criterio de comparación
por cociente, la serie de término general un es es divergente al serlo la de
0
término general vn = 1/nα .

(iii ) Para α = 1 tenemos un = 1/(n logβ n). Sea f (x) = 1/(x logβ x), veamos
que se cumplen para f las hipótesis del criterio integral.

1) f es continua en [2, +∞) por serlo x, log x, logβ x y además no nulas.

2) f es positiva en [2, +∞) por serlo x y logβ x.
3) Para demostrar que f es decreciente a partir de un x basta demostrar
que la función g(x) = x logβ x es creciente a partir de un x. Derivando:

1
g 0 (x) = logβ x + βx(logβ x) · = (logβ−1 x)(log x + β)
x
Dado que log x → +∞ cuando x → +∞ se concluye que g 0 (x) > 0 a partir
de un x (y por tanto creciente a partir de ese x).
R +∞
Estudiemos ahora la convergencia de 0 f (x) dx. Haciendo el cambio t =
1/x:

t1−β (log x)1−β

Z Z
dx dt
= = = , (β 6= 1) ⇒
xZlogβ x tβ 1−β 1−β
a
dx 1
β
= [(log a)1−β − (log 2)1−β ]
2 x log x 1 − β
R +∞
Si β > 1 entonces (log a)1−β → 0 cuando a → +∞ y la integral 0 f (x) dx
es convergente. 1−β → +∞ cuando a → +∞ y la
R +∞ Si β < 1 entonces (log a)
integral 0 f (x) dx es divergente. Falta estudiar el caso β = 1:
Z Z a
dx dx
= log |log x| ⇒ = log |log a| − log |log 2|
log x 2 log x

Entonces a → +∞ ⇒ log |a| → +∞ ⇒ log | log a| → +∞ y la integral es

divergente.

Autor: Fernando Revilla