Alternating series theorem: Difference between revisions

From Calculus
No edit summary
Line 18: Line 18:
===Concrete version assuming first term is positive===
===Concrete version assuming first term is positive===


Suppose the above holds and we additionally assume that <math>a_1</math> is positive. (We could formulate a completely analogous statement for <math>a_1</math> negative). Then, <math>a_k</math> is positive for odd <math>k</math> and <math>a_k</math> is negative for even <math>k</math>. The alternating series theorem states, concretely, that:
Suppose the basic statement holds and we additionally assume that <math>a_1</math> is positive. Then, <math>a_k</math> is positive for odd <math>k</math> and <math>a_k</math> is negative for even <math>k</math>. The alternating series theorem states, concretely, that:


* The partial sums for the first <math>k</math> terms for <math>k</math> odd form a monotonically decreasing sequence bounded from below, hence has a limit.
* The partial sums for the first <math>k</math> terms for <math>k</math> odd form a monotonically decreasing sequence bounded from below, hence has a limit.
* The partial sums for the first <math>k</math> terms for <math>k</math> even form a monotonically increasing sequence bounded from above, hence has a limit.
* The partial sums for the first <math>k</math> terms for <math>k</math> even form a monotonically increasing sequence bounded from above, hence has a limit.
* Both the limits are equal.
===Concrete version assuming first term is negative===
Suppose the basic statement holds and we additionally assume that <math>a_1</math> is positive. Then, <math>a_k</math> is negative for odd <math>k</math> and <math>a_k</math> is positive for even <math>k</math>. The alternating series theorem states, concretely, that:
* The partial sums for the first <math>k</math> terms for <math>k</math> odd form a monotonically increasing sequence bounded from above, hence has a limit.
* The partial sums for the first <math>k</math> terms for <math>k</math> even form a monotonically decreasing sequence bounded from below, hence has a limit.
* Both the limits are equal.
* Both the limits are equal.
===Eventually variation===
===Eventually variation===

Revision as of 16:15, 3 July 2012

This article describes a test that is used to determine, in some cases, whether a given infinite series or improper integral converges. It may help determine whether we have absolute convergence, conditional convergence, or neither.
View a complete list of convergence tests

Statement

Basic statement

Consider a series of the form:

Suppose the following three conditions hold for the series:

  1. Alternating signs: All the s are nonzero and the sign of is opposite the sign of .
  2. Monotonically decreasing in magnitude: for all .
  3. Terms approach zero: .

Then the series is a convergent series. It may be an absolutely convergent series or a conditionally convergent series, depending on whether the series of the absolute values of its terms converges.

Concrete version assuming first term is positive

Suppose the basic statement holds and we additionally assume that is positive. Then, is positive for odd and is negative for even . The alternating series theorem states, concretely, that:

  • The partial sums for the first terms for odd form a monotonically decreasing sequence bounded from below, hence has a limit.
  • The partial sums for the first terms for even form a monotonically increasing sequence bounded from above, hence has a limit.
  • Both the limits are equal.

Concrete version assuming first term is negative

Suppose the basic statement holds and we additionally assume that is positive. Then, is negative for odd and is positive for even . The alternating series theorem states, concretely, that:

  • The partial sums for the first terms for odd form a monotonically increasing sequence bounded from above, hence has a limit.
  • The partial sums for the first terms for even form a monotonically decreasing sequence bounded from below, hence has a limit.
  • Both the limits are equal.

Eventually variation

The alternating series theorem can be generalized as follows: we do not require that the series be alternating or monotonically decreasing in magnitude right from the outset. Rather, we do require that the series eventually be alternating and eventually the terms be monotonically decreasing in magnitude.

Related facts

Significance of each condition