We say that a series converges when its partial sum sequence converges:
Let us apply this to the geometric series. Recall our formula for the partial sums:
Rewrite this formula:
Now take the limit as :
So we see that converges exactly when . It converges to .
(If then the denominator is , and if then the factor does not converge.)
Furthermore, we have the limit value:
This result confirms the formula we derived for the total for a geometric series. This time we did not start by assuming exists, on the contrary we proved that exists. (Provided that .)
Extra - Aspects of and from the geometric series
Notice that we always have the rule:
This rule can be viewed as coming from partitioning the full series into a finite part and the remaining infinite part:
We can remove a factor from the infinite part:
The parenthetical expression is equal to , so we have the formula given above.
A series is called positive when its individual terms are positive, i.e. for all .
The partial sum sequence is monotone increasing for a positive series.
By the monotonicity test for convergence of sequences, therefore converges whenever it is bounded above. If is not bounded above, then diverges to .
Another test, called the integral test, studies the terms of a series as if they represent rectangles with upper corner pinned to the graph of a continuous function.
To apply the test, we must convert the integer index variable in into a continuous variable . This is easy when we have a formula for (provided it doesn’t contain factorials or other elements dependent on integrality).
Integral Test (IT)
Applicability: must be:
Continuous
Positive
Monotone decreasing
Test Statement:
Extra - Integral test: explanation
To show that integral convergence implies series convergence, consider the diagram:
This shows that for any . Therefore, if converges, then is bounded (independent of ) and so is bounded by that inequality. But ; so by adding to the bound, we see that itself is bounded, which implies that converges.
To show that integral divergence implies series divergence, consider a similar diagram:
This shows that for any . Therefore, if diverges, then goes to as , and so goes to as well. So diverges.
Notice: the picture shows entirely above (or below) the rectangles. This depends upon being monotone decreasing, as well as . (This explains the applicability conditions.)
Next we use the integral test to evaluate the family of -series, and later we can use -series in comparison tests without repeating the work of the integral test.
-series
A -series is a series of this form:
Convergence properties:
Extra - Proof of -series convergence
(1) To verify the convergence properties of -series, apply the integral test: