Real 11
Real 11
Real 11
Let m ∈ N. Then,
m
X M
X0 −1 m
X
|xn | = |xn | + |xn |
n=1 n=1 n=M0
M
X0 −1 m
X
≤ |xn | + |xM0 | αn−M0
n=1 n=M0
M
X0 −1 ∞
X
≤ |xn | + |xM0 | α`
n=1 `=0
M0 −1
X |xM0 |
= |xn | + .
n=1
1−α
Pm ∞ P
Therefore, { n=1 |xn |}m=1 is bounded, and thus |xn | converges. Hence, xn is absolutely convergent.
Let’s consider two examples where we can use the Ratio test.
1
Example 2
P∞ (−1)n
Show the series n=1 n2 +1 converges absolutely.
Proof : Notice
(−1)n 1 1
≤ 2 < 2,
n2 + 1 n +1 n
and hence
(−1)n+1
(n+1)2 +1 n2
lim (−1)n
< lim = 1.
n→∞ n→∞ (n + 1)2
n2 +1
Example 3
xn
P∞
Show that ∀x ∈ R, n=0 n! converges absolutely.
Proof : This immediately follows from the Ratio test, noting that
|x|n+1 n! |x|
lim · n = lim = 0.
n→∞ (n + 1)! |x| n→∞ n + 1
Remark 4. As seen above, the Ratio test can be really helpful to use when we have a (−1)n or a factorial in the
argument. Also note that if L = 1 then we the test doesn’t apply.
exists. Then,
P
1. if L < 1 then xn converges absolutely.
P
2. if L > 1 then xn diverges.
Proof :
1. Suppose L < 1. Let L < r < 1. Then, since |xn |1/n → L, ∃M ∈ N such that ∀n ≥ M , |xn |1/n < r. Therefore,
for all n ≥ M , |xn | ≤ rn . Thus, for all m ∈ N,
m
X M
X −1 m
X
|xn | = |xn | + |xn |
n=1 n=1 n=M
M
X −1 m
X
≤ |xn | + rn
n=1 n=M
M
X −1 ∞
X
≤ |xn | + rn
n=1 n=M
M −1
X rM
= |xn | + .
n=1
1−r
Pm ∞ P
Thus, { n=1 |xn |}m=1 is bounded, and thus |xn | converges.
2
2. Suppose L > 1. Then, since |xn |1/n → L > 1, there exists an M ∈ N such that for all n ≥ M , |xn |1/n > 1.
P
In other words, for all n ≥ M , |xn | > 1. Therefore, limn→∞ xn 6= 0, and thus xn diverges.
Pm n
Proof : Let sm = n=1 (−1) xn . Then,
2k
X
s2k = (−1)n xn
n=1
In other words, {s2k } is a bounded below monotone decreasing sequence. Thus, {s2k }∞
k=1 converges. Let s =
limk→∞ s2k . We now prove {sm }∞m=1 converges to s.
Let > 0. Since s2k → s, ∃M0 ∈ N such that for all k ≥ M0 ,
|s2k − s| < .
2
Since xn → 0, ∃M1 ∈ N such that ∀n ≥ M1 ,
. |xn | <
2
m
Choose M = max{2M+ 0 + 1, M1 }. Suppose m ≥ M . If m is even, then 2 ≥ M0 + 1/2 ≥ M0 . Therefore,
|sm − s| = |s2· m2 − s| < < .
2
m−1
If m is odd, let k = 2 so m = 2k + 1. Then, m ≥ M =⇒ k ≥ M0 and m ≥ M1 . Then,
|sm − s| = |sm−1 + xm − s|
≤ |s2k − s + xm |
≤ |s2k − s| + |xm | < + = .
2 2
(−1)n xn converges.
P
Thus, sm → s, and thus
Corollary 8
P (−1)n P (−1)n
We already showed that n does not absolutely converge. However, n converges.
3
Theorem 9
P P P
Suppose xn converges absolutely and xn = x. Let σ : N → N be a bijective function. Then, xσ(n)
P
is absolutely convergent and xσ(n) = x. In other words, absolute convergence implies if we rearrange the
sequence the new series will still converge to the same value of the original series.
P Pm
Proof : We first show |xσ(n) | converges, which is equivalent to showing the partial sums n=1 |xσ(n) | is bounded.
P
Since xn converges, ∃B ≥ 0 such that for all ` ∈ N,
`
X
|xn | ≤ B.
n=1
Let m ∈ N. Then, σ({1, . . . , m}) is a finite subset of N. Thus, there exists an ` ∈ N such that
Thus,
m
X X `
X
|xσ(n) | = |xn | ≤ |xn | ≤ B.
n=1 n∈σ({1,...,m}) n=1
P P∞
Therefore, |xσ(n) | converges. Let x = n=1 xn , and let > 0. Then, ∃M0 ∈ N such that ∀m ≥ M0 ,
m
X
xn − x < .
n=1
2
P
Since |xn | converges, ∃M1 ∈ N such that for all ` > m ≥ M1 ,
`
X
|xn | < .
n=m+1
2
4
Choose M = M3 . Thus, if m0 ≥ M ,
0
m
X X
xσ(n0 ) − x = xn − x
n0 =1 n∈σ({1,...,m0 })
M
X X
= xn − x + xn
n=1 n∈σ({1,...,m0 })\{1,...,M }
M max σ({1,...,m0 })
X X
≤ xn − x + |xn |
n=1 n=M +1
M
X `
X
≤ xn − x + |xn |
n=1 n=M +1
< + = .
2 2
5
MIT OpenCourseWare
https://ocw.mit.edu
For information about citing these materials or our Terms of Use, visit: https://ocw.mit.edu/terms.