Proof of Integral Test

advertisement
1
THM – INTEGRAL TEST for convergence/divergence
Suppose that 𝑓(π‘₯) is continuous, positive and decreasing function on the interval [1, ∞) and that 𝑓(𝑛) = π‘Žπ‘› then
∞
∞
∑ π‘Žπ‘› and improper integral ∫ 𝑓(π‘₯) 𝑑π‘₯ either both converge or both diverge.
𝑛=1
1
Proof of Integral Test
1.
Assumption: 𝑓(1) = π‘Ž1 , 𝑓(2) = π‘Ž2 , 𝑓(3) = π‘Ž3 , … . , 𝑓(𝑛) = π‘Žπ‘›
Area under f(x) on interval [1, n]:
𝑛
𝐴 ≈ (1)𝑓(2) + (1)𝑓(3) + β‹― + (1)𝑓(𝑛) = π‘Ž2 + π‘Ž3 + β‹― + π‘Žπ‘› = ∑ π‘Žπ‘›
𝑛=2
𝑛
𝐴 = ∫ 𝑓(π‘₯) 𝑑π‘₯
1
𝑛
𝑛
π‘Ž)
f(x) is decreasing → ∑ π‘Žπ‘› ≤ ∫ 𝑓(π‘₯) 𝑑π‘₯
𝑛=2
𝑛
∑ π‘Žπ‘› ≤ π‘Ž1 + ∫ 𝑓(π‘₯) 𝑑π‘₯
𝑛=1
∞
1
suppose that ∫ 𝑓(π‘₯)𝑑π‘₯ is convergent meaning it has finite value, then π‘Ž1 + ∫ 𝑓(π‘₯) 𝑑π‘₯ β„Žπ‘Žπ‘  𝑓𝑖𝑛𝑖𝑑𝑒 π‘£π‘Žπ‘™π‘’π‘’ "𝑀"
1
𝑐)
add π‘Ž1 to both sides →
1
∞
b)
𝑛
𝑛
1
∞
since f(x) is positive: ∫ 𝑓(π‘₯)𝑑π‘₯ ≤ ∫ 𝑓(π‘₯)𝑑π‘₯
1
1
𝑛
π‘Ž) & 𝑏) & 𝑐) → partial sum 𝑠𝑛 = ∑ π‘Žπ‘› ≤ 𝑀 for all n, so sequence {𝑠𝑛 } is bounded above
𝑛=1
Also, 𝑠𝑛+1 = 𝑠𝑛 + π‘Žπ‘›+1 ≥ 𝑠𝑛 because π‘Žπ‘›+1 = 𝑓(𝑛 + 1) ≥ 0. Thus, the sequence {𝑠𝑛 } is increasing bounded sequence,
therefore it is convergent by the monotonic sequence theorem. This means that ∑ π‘Žπ‘› is convergent.
∞
∞
EMPHASIZE:
∑ π‘Žπ‘› ≤ π‘Ž1 + ∫ 𝑓(π‘₯) 𝑑π‘₯
𝑛=1
→
∑ π‘Žπ‘› is convergent if ∫ 𝑓(π‘₯) 𝑑π‘₯ is convergent
𝑛=1
1
2.
Q.E.D.
∞
∞
EQ 1
1
𝐴 ≈ (1)𝑓(1) + (1)𝑓(2) + β‹― + (1)𝑓(𝑛 − 1) = π‘Ž1 + π‘Ž2 + β‹― + π‘Žπ‘›−1
𝑛
𝐴 = ∫ 𝑓(π‘₯) 𝑑π‘₯
1
𝑛
𝑛−1
∫ 𝑓(π‘₯) 𝑑π‘₯ ≤ ∑ π‘Žπ‘›
𝑛=1
1
∞
𝑛
If ∫ 𝑓(π‘₯)𝑑π‘₯ is divergent, then ∫ 𝑓(π‘₯)𝑑π‘₯ → ∞ as 𝑛 → ∞ because 𝑓(π‘₯) ≥ 0
1
1
𝑛−1
so for 𝑛 → ∞
𝑛
∑ π‘Žπ‘› → ∞ , and so does ∑ π‘Žπ‘› → ∞ because π‘Žπ‘› ≥ π‘Žπ‘›−1
𝑛=1
𝑛=1
This test does NOT give the value of a series. It will only give the convergence/divergence of the series.
Q.E.D .
2
THM – REMAINDER ESTIMATE FOR THE INTEGRAL TEST
Suppose 𝑓(𝑛) = π‘Žπ‘› , where 𝑓(π‘₯) is continuous, positive and decreasing function on the interval π‘₯ ≥ 𝑛 and that
∑ π‘Žπ‘› is convergent. Remainder 𝑅𝑛 − 𝑠𝑛 satisfies relationship:
∞
∞
from here we can find upper and lower bound for sum s
what provides more accurate approximation to the sum of
the series than the partial sum 𝑠𝑛 does.
∫ 𝑓(π‘₯)𝑑π‘₯ ≤ 𝑅𝑛 ≤ ∫ 𝑓(π‘₯)𝑑π‘₯
𝑛+1
𝑛
∞
∞
𝑠𝑛 + ∫ 𝑓(π‘₯)𝑑π‘₯ ≤ 𝑠 ≤ 𝑠𝑛 + ∫ 𝑓(π‘₯)𝑑π‘₯
𝑛+1
𝑛
Proof of Remainder Theorem
∞
𝑛
s = ∑ π‘Žπ‘›
𝑠𝑛 = ∑ π‘Žπ‘›
𝑛=1
𝑠 = 𝑠𝑛 + π‘Žπ‘›+1 + π‘Žπ‘›+2 + π‘Žπ‘›+3 + β‹― = 𝑠𝑛 + 𝑅𝑛
𝑛=1
Goal is to estimate remainder, 𝑅𝑛 , which represent an error made when 𝑠𝑛 is used to approximate the total sum 𝑠
∞
𝑅𝑛 = π‘Žπ‘›+1 + π‘Žπ‘›+2 + π‘Žπ‘›+3 ≤ ∫𝑛 𝑓(π‘₯) 𝑑π‘₯
∞
∞
EXAMPLE: Consider ∑ π‘Žπ‘› = ∑
𝑛=1
𝑛=1
∞
𝑅𝑛 = π‘Žπ‘›+1 + π‘Žπ‘›+2 + π‘Žπ‘›+3 ≥ ∫𝑛+1 𝑓(π‘₯) 𝑑π‘₯
1
𝑛3
1. Determine whether the series converges or diverges.
∞
Check whether ∫ 𝑓(π‘₯)𝑑π‘₯ is convergent or divergent. If it is convergent so is series.
1
∞
𝑏
∞
1
1
1
1
1
1
∫ 3 𝑑π‘₯ = lim ∫ 3 𝑑π‘₯ = lim (− 2 + ) =
→ ∑ 3 is convergent .
𝑏→∞
𝑏→∞
π‘₯
π‘₯
2𝑏
2
2
𝑛
1
𝑛=1
1
2. Estimate the sum by using upper bound. or : find the upper bound.
∞
∞
∞
1
1
1
1
3
∑ 3 = 1 + ∑ 3 ≤ 1 + ∫ 3 𝑑π‘₯ = 1 +
=
𝑛
𝑛
π‘₯
2
2
𝑛=1
𝑛=2
∞
→
∑
𝑛=1
1
1
3
≤
𝑛3
2
3. Approximate the sum of the infinite series by the partial sum, 𝑠𝑛 (n=5) and determine accuracy (estimate error 𝑅𝑛 ).
∞
if n is given:
𝑠 ≈ 𝑠𝑛 and size of the error: 𝑅𝑛 ≤ ∫ 𝑓(π‘₯)𝑑π‘₯
𝑛
𝑠 ≈ 𝑠𝑛
1
1
1
1
= 1 + +
+
+
= 1.18566
8
27
64
125
𝑏
error: 𝑅𝑛 ≤ lim ∫
𝑏→∞
5
1
1
𝑑π‘₯ =
= 0.02
3
π‘₯
50
Q.E.D
3
4. Accuracy, A, is given. Find how many terms in the sum are required to ensure that accuracy is A.
∞
𝑅𝑛 ≤ A, so you have to find n that will give that accuracy :
∫ 𝑓(π‘₯)𝑑π‘₯ ≤ 𝐴
𝑛
How many terms are required to ensure that the approximate sum is accurate to within 0.001?
𝑏
𝑅𝑛 ≤ lim ∫
𝑏→∞
𝑛
1
1
1
𝑑π‘₯ =
→
≤ 0.001
π‘₯3
2𝑛2
2𝑛2
→ 𝑛2 ≥ 500 → 𝑛 ≥ 22.4 → 23 terms
∞
5. Estimate the sum ∑ π‘Žπ‘› and find accuracy.
𝑛=1
∞
∞
𝑠𝑛 + ∫ 𝑓(π‘₯)𝑑π‘₯ ≤ 𝑠 ≤ 𝑠𝑛 + ∫ 𝑓(π‘₯)𝑑π‘₯
𝑛+1
𝑛
approximations:
𝑠 =
π‘…π‘–π‘”β„Žπ‘‘ 𝑠𝑖𝑑𝑒 + 𝐿𝑒𝑓𝑑 𝑠𝑖𝑑𝑒
2
error is at the most half of the length of the interval =
∞
Estimate ∑
𝑛=1
𝑠5 = 1 +
1
𝑛3
π‘…π‘–π‘”β„Žπ‘‘ 𝑠𝑖𝑑𝑒 − 𝐿𝑒𝑓𝑑 𝑠𝑖𝑑𝑒
2
let 𝑛 = 5
1
1
1
1
+
+
+
= 1.18566
8
27
64
125
1.19954 < 𝑠 < 1.20566
∞
∫
5
1
1
𝑑π‘₯ =
= 0.02
3
π‘₯
50
∞
∫
6
1
1
𝑑π‘₯ =
= 0.01389
3
π‘₯
72
estimate: s ≈ 1.2026
error: 0.00306
Less error then in problem 4. with 23 terms approximation
Note:
1. The lower limit on the improper integral must be the same value that starts the series.
2. The function does not actually need to be decreasing and positive everywhere in the interval. All that’s really
required is that eventually the function (and hence series terms) is decreasing and positive. To see why this is true
let’s suppose that the series terms increase and or are negative in the range 1 ≤ 𝑛 ≤ 𝑁 and then decrease
and are positive for 𝑛 ≥ 𝑁 + 1. In this case the series can be written as
∞
𝑁
∑ π‘Žπ‘› = ∑ π‘Žπ‘› +
𝑛=1
𝑛=1
∞
∑ π‘Žπ‘›
𝑛=𝑁+1
Now, the first series is nothing more than a finite sum (no matter how large N is) of finite terms and so will be finite.
So the original series will be convergent/divergent only if the second infinite series on the right is
convergent/divergent and the test can be done on the second series as it satisfies the conditions of the test.
It is important to note before leaving this section that in order to use the Integral Test the series terms MUST eventually be
decreasing and positive. If they are not then the test doesn’t work. Also remember that the test only determines the
convergence of a series and does NOT give the value of the series.
EXCERSISE: WOW
http://college.cengage.com/mathematics/blackboard/content/larson/calc8e/calc8e_solution_
main.html?CH=00&SECT=a&TYPE=se
4
Download