No. 13(17) 2016
Tadeusz Janaszak
Department of Mathematics and Cybernetics, Wrocław University of Economics tadeusz.janaszak@ue.wroc.pl
SOME REMARKS ABOUT SERIES
Tadeusz Janaszak
Abstract. This paper presents a proof of the classical theorem of the theory of series. This proof would be used in lectures on the series theory.
Keywords: series, convergent, divergent series, harmonic series. Jel Classification: C00.
DOI: 10.15611/dm.2016.13.03.
1. Introduction
In the lectures of calculus the direct proof of the theorem that the series
∑
∞=1
1
n n
α is convergent for 1<α is rarely introduced. The knowledge about
the convergence of this series is used in exercises but the proof of the con-vergence of this series is presented on the whole by the integral criterion. In standard textbooks of calculus it is difficult to find a direct proof of conver-gence of the series. This paper presents a direct proof of converconver-gence of the series. This text is a supplement for numerous books of calculus.
Theorem. The series
∑
∞=1
1
n n
α
is divergence where 0<α ≤1 and convergence where 1<α.
For the proof of the theorem it is necessary to show a lot of lemmata. Lemma 1. The harmonic series
∑
∞ =1
1
n n
Proof. The harmonic series is equal such that: ... 2 1 ... 1 2 1 ... 8 1 ... 5 1 4 1 3 1 2 1 1 1 1 1 1 + + + + + + + + + + + + = + ∞ =
∑
n n n n .It is possible to group the terms of harmonic series:
2 3 2 1 1 1 0 = + = a , 4 1 3 1 2 1 1 2 1 2 1 1 + = + + = a , = + + + + + + = 2 2 2 3 2 2 1 3 2 1 2 2 1 1 2 1 a 8 1 7 1 6 1 5 1+ + + , …, 1 2 1 ... 1 2 1 + + + + = n n n a .
The harmonic series is equal
∑
∑
∞ = ∞ = = 0 1 1 n n n a n . It is obvious that 2 1 2 1 1+ > , and 2 1 4 1 4 1 4 1 3 1+ > + = , and 2 1 8 1 ... 8 1 8 1 ... 5 1 = + + > + + , and 2 1 2 1 2 2 2 1 ... 1 2 1 1 = ⋅ > + + + + n+ n n n n . Fromhere the result below is true:
∑
∞ = + + > 1 ... 2 1 2 1 1 n n ,i.e. the harmonic series
∑
∞ =1
1
n n
is divergent.
Proof of the theorem: the series
∑
∞ =1
1
n n
α is divergence for 0<α ≤1.
If α is a number such that 0<α <1 then for natural numbers the ine-quality nα <n holds, hence the unequal α
n n
1
1 < holds too, i.e. the harmo-nic series
∑
∞ =1 1 n n is a minorant of series∑
∞ =1 1 n nαfor 0<α <1. Hence the minorant is a divergence series the series (1) is divergence for 0<α <1.
Lemma 2. For each natural number n the expression is true:
(
1)
1 1 ... 3 2 1 2 1 1 + = + ⋅ + + ⋅ + ⋅ n n n n . Proof by induction.For n=1 the left side is equal
2 1
and the right side is equal
2 1
too. Suppose that for some n the expression above holds. It is necessary to prove that
(
) (
)(
)
2 1 2 1 1 1 1 ... 3 2 1 2 1 1 + + = + + + + ⋅ + + ⋅ + ⋅ n n n n n n .The left side of the equality above by the induction assumption is equal
(
1)(
2)
1 1+ + + + n n n n(
)
(
1)(
2)
1 2 + + + + ⋅ = n n n n(
1)(
2)
1 2 2 + + + + = n n n n(
)
(
1)(
2)
12 + + + = n n n , it is obvious that(
)
(
1)(
2)
12 + + + n n n 2 1 + + = n n , so the proof of the lemma is complete.Corollary. The series
(
)
∑
∞=1 ⋅ +1
1
n n n
is convergent, the sum is equal to 1.
Proof. Because
∑
(
)
∞ =1 ⋅ +1 1 n n n(
)
1 1 lim 1 1 lim 1 = + = + ⋅ = ∞ → = ∞ →∑
n n n n n n k n , thethesis of the corollary is true. Lemma 3. The series
∑
∞ =1 2
1
n n
is convergent and the sum of this is less than or equal to 2. ... 4 3 1 3 2 1 2 1 1 1 ... 4 4 1 3 3 1 2 2 1 1 1 1 2 = + ⋅ + ⋅ + ⋅ + ≤ + ⋅ + ⋅ + ⋅ +
∑
∞ = n nProof. By this expression the conclusion below holds: + ≤
∑
∞ = 1 1 1 2 n n(
)
2 1 1 1 = + ⋅∑
∞ = n n n . The lemma is true.Lemma 4. The series
∑
∞ =1 1 n n α is convergent for 2 1 1+ = α .
Proof. It is necessary to see the expressions:
= ⋅
∑
∞ =1 1 n n n + + + ⋅ + ⋅ + ⋅ + ⋅ + ⋅ 8 8 1 ... 5 5 1 2 4 1 3 3 1 2 2 1 1 1 1 + ⋅ + + ⋅ + ⋅ + 15 15 1 ... 10 10 1 3 9 1 + + ⋅ + + ⋅ + ⋅ 24 24 ... 1 ... 17 17 1 4 16 1(
)
(
)
... 2 2 1 ... 1 1 1 1 2 2 2 2 2 + + ⋅ + + + + ⋅ + + ⋅ + k k k k k k k k i.e.(
)
∑ ∑
∑
∞ = = ∞ = + ⋅ + = ⋅ 1 2 0 2 2 1 1 1 k k j n n n k j k j .It is possible to write some obvious inequalities
3 1 1 1 2 1 1 1 1 1 1 3 3 1 2 2 1 1 1 1 3 = + ⋅ = + + ≤ ⋅ + ⋅ + , and 8 5 2 1 2 2 2 4 1 ... 2 4 1 2 4 1 8 8 1 ... 5 5 1 2 4 1 3 = + ⋅ = ⋅ + + ⋅ + ⋅ ≤ ⋅ + + ⋅ + ⋅ , and 27 7 3 1 3 2 3 9 1 ... 3 9 1 3 9 1 15 15 1 ... 10 10 1 3 9 1 3 = + ⋅ = ⋅ + + ⋅ + ⋅ ≤ ⋅ + + ⋅ + ⋅ , and 64 9 4 1 4 2 4 16 1 ... 4 16 1 4 16 1 24 24 1 ... 17 17 1 4 16 1 3 = + ⋅ = ⋅ + + ⋅ + ⋅ ≤ ⋅ + + ⋅ + ⋅ ,
and generally
(
)
(
)
. 1 2 1 ... 1 1 2 2 1 ... 1 1 1 1 3 2 2 2 2 2 2 2 2 k k k k k k k k k k k k k k k k + = ⋅ + + ⋅ + ⋅ ≤ + ⋅ + + + + ⋅ + + ⋅By this the inequality
(
)
∑ ∑
∞ = = + ⋅ + 1 2 0 2 2 1 k k j k j k j∑
∞ = + ≤ 1 3 1 2 k k kholds i.e. the evaluation
∑
∞ =1 ⋅ 1 n n n∑
∞ = + ≤ 1 3 1 2 k k k is true. For every natural number k the expression2 3 3 3 3 1 2 k k k k k = ≤ +
holds, so the series
∑
∑
∞ = ∞ = ⋅ = 1 2 1 2 1 3 4 n n n n
is a majorant of the series
∑
∞ =1 ⋅ 1 n n n i.e.
∑
∞ =1 ⋅ 1 n n n∑
∞ = ⋅ ≤ 1 2 1 3 n n .Because the series
∑
∞ =1 2
1
n n
is convergent, by lemma 3, so the series
∑
∞=1 ⋅
1
n n n
is convergent too. The sum of the series is less than or equal to 6.
Lemma 5. If the series
∑
∞ =1 1 n nα is convergent for s 2 1 1+ = α where s is
some natural number, then it is convergent for 1
2 1 1+ +
= s
Proof. Let for s∈N to be
( )
s s2 1 =
β . It is necessary to show that the
series
∑
( ) ∞ =1 ⋅ + 1 1 n s nn β is convergent if the series
∑
( )∞ =1 ⋅ 1 n s n n β is convergent. The series
∑
( ) ∞ =1 ⋅ + 1 1 n s n n β is equal to∑
( ) ∞ =1 ⋅ 1 n n nβ s i.e. ( )∑
∞ =1 ⋅ + 1 1 n s n n β ( ) ( ) 3 3 ( ) ... 1 2 2 1 1 1 1 + ⋅ + ⋅ + ⋅ = s s s β β β .The inequalities below obviously hold:
( ) + ⋅ ( ) + ⋅ ( ) ≤ ⋅ β s βs β s 3 3 1 2 2 1 1 1 1 1 1 1 1 1 1+ + 3 1 1 1 2⋅ + = = and ( ) ( ) ( ) ≤ ⋅ + + ⋅ + ⋅ β s β s β s 8 8 1 ... 5 5 1 2 4 1 ( )s β 2 4 5 ⋅ and ( ) ( ) ( ) ≤ ⋅ + + ⋅ + ⋅ βs β s βs 15 15 1 ... 10 10 1 3 9 1 [ ]s β 3 8 7 ⋅ and ( ) ( ) ( ) ≤ ⋅ + + ⋅ + ⋅ β s β s β s 24 24 1 ... 17 17 1 4 16 1 ( )s β 4 16 9 ⋅ and generally ( )
(
) (
)
( )(
) (
)
( ) ≤ + ⋅ + + + + ⋅ + + ⋅ s s s k k k k k k k k β β 2 2 β 1 ... 1 1 1 1 2 2 2 2 2 ( )s k k k β ⋅ + 2 1 2 .The equality below is certain:
( )s ( )s ( )s k k k k k k k k β β β ≤ ⋅ = ⋅ ⋅ +1 3 3 2 2 2 ,
by this it is obvious that
( ) ≤ ⋅
∑
∞ =1 + 1 1 n s n n β∑
( ) ∞ = ⋅ ⋅ 1 1 3 n s n n β ,by the comparison test for convergence of infinite series the series ( )
∑
∞ =1 ⋅ + 1 1 n s nn β is convergent if the series
∑
( )∞ =1 ⋅ 1 n s n
n β is convergent. The sum
of the series
∑
( ) ∞ =1 ⋅ + 1 1 n s nn β is less than or equal to
1
3
2⋅ s+ . By mathematical induction there is the finish of lemma 5.
Proof of the theorem: the series
∑
∞ =1
1
n n
α is convergence where 1<α.
If 1<α that there is a natural number s such that + s <α
2 1 1 i.e.
[ ]
α β < + s1 so for each natural n it is n1+β( )s <nα
and consequently ( )s n nα < 1+β 1 1 ,
by this the series
∑
( )∞ =1 ⋅ 1 n s n
n β is a majorant of the series
∑
∞ =1
1
n n
α and
conse-quently the series
∑
∞ =1
1
n n
α is convergent. The proof of the theorem is finished.
Usually the proof of the theorem is shown by the integral test for convergence:
On the interval
[
m, ∞)
where m∈N the function f( )
x is positive and decreasing then the series∑
( )
∞ =m n
n
f and the integral
∫
( )
∞
m
dx x
f are both at the same time convergent or divergent.
Proof of the theorem with use the integral test for convergence. The integral dx x
∫
∞ 1 1 is divergence because( )
=∞ ∞ → f t tlim . For α ≠1 the
indefinite integral is equal:
∫
⋅ − − = α α α 1 1 1 1 xx . The value of the
antideriva-tive at the point x=1 is equal
1 1 − α , the limit α − ∞ → 1 lim x
α
<
1 and it is infinity for 0<α <1. So dx x
∫
∞ 1 1 α equals 1 1 − α for 1<α and infinity for 0<α <1. This conclusion finishes the proof of the theorem.The direct proof of the convergence of the series
∑
∞ =1
1
n n
α for 1<α in
another way is presented in [Fihtenholz 1978, vol. 2, p. 227], the proof of the divergence is presented in the same way as in this paper.
Bibliography
Antoniewicz R., Misztal A. (2000). Matematyka dla studentów ekonomii. PWN. Warszawa. Fichtenholz G.M. (1978). Rachunek różniczkowy i całkowy. PWN. Warszawa.
Gewert M., Skoczylas Z. (2005). Analiza matematyczna 2. Oficyna Wydawnicza GIS. Wrocław.
Smoluk A. (2007). Podstawy analizy matematycznej. Wydawnictwo Akademii Ekonomicz-nej we Wrocławiu.