Difference between revisions of "Alternating Series"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
Line 126: Line 126:
  
 
* [https://www.youtube.com/watch?v=FPK6LO1iiXc Absolute Convergence, Conditional Convergence, and Divergence] Video by The Organic Chemistry Tutor
 
* [https://www.youtube.com/watch?v=FPK6LO1iiXc Absolute Convergence, Conditional Convergence, and Divergence] Video by The Organic Chemistry Tutor
 +
 +
==Licensing==
 +
Content obtained and/or adapted from:
 +
* [https://en.wikibooks.org/wiki/User:Dcljr/Series Series, Wikibooks] under a CC BY-SA license

Revision as of 13:28, 29 October 2021

Alternating series

An alternating series is any series whose terms alternate in sign — that is, any series for which the product of any two consecutive terms is negative.

Equivalently, an alternating series is one that can be written in the form

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=c}^\infty (-1)^{n+d}\, b_n,}

for some fixed integers and , and sequence of positive terms . (If the nth term of the series is called Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n} , as usual, then notice that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n=|a_n|} .)

As with geometric series, we have defined alternating series here in a slightly more general way than is typically done in calculus textbooks. Usually alternating series are either defined quite restrictively as

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty (-1)^{n+1} b_n,}

or as being in one of the two forms

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty (-1)^{n} b_n \mbox{ or } \sum_{n=1}^\infty (-1)^{n-1} b_n,}

in all cases the Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n} being some sequence of positive terms. It is easy to see that these other definitions are special cases of our formula above.

It should be obvious that we could not hope to write a formula for the partial sums of a general alternating series (besides, of course, the definition of partial sums given earlier), but, perhaps surprisingly, we can say when such a series converges.

An alternating series converges if its terms eventually decrease in magnitude to zero — that is, if

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n\to\infty} |a_n| = 0}

and

the sequence Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{|a_n|\}} is eventually decreasing.

However, if either of these conditions are not satisfied, it does not mean that the alternating series must diverge.

Note that any geometric series with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r<0} is alternating. If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |r|<1} , then the conditions for convergence of an alternating series will be satisfied. This can be proven in the general case, but we will simply illustrate with an example.

Example

Consider the series

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty \left(-\frac{1}{2}\right)^{n-1}.}

This series can be written in the form

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty (-1)^{n-1} \left(\tfrac{1}{2}\right)^{n-1},}

and so matches our definition of an alternating series (Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c=1} , Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d=-1} , and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n=(\tfrac{1}{2})^{n-1}} ).

It is obvious that

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n\to\infty} |a_n| = \lim_{n\to\infty} \left(\frac{1}{2}\right)^{n-1} = 0}

and that

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |a_n|=\left(\frac{1}{2}\right)^{n-1}}

is a decreasing sequence, so the series converges (as we knew it must, since it is geometric with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |r|<1} ).

Example

Consider the series

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty \frac{(-1)^n}{n}.}

This is an alternating version of the harmonic series. Since

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n\to\infty} \frac{1}{n} = 0}

and

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |a_n|=\frac{1}{n}}

is a decreasing sequence of terms, the series converges.

Absolute and conditional convergence

At this point we have considered divergent series whose terms have no limit (the arithmetic series) and divergent series whose terms have a limit of zero (the harmonic series). But every convergent series must have terms that converge to zero. So, does this mean convergent series are "all the same"? Definitely not. There are two kinds of convergence that can be thought of as two "strengths" of convergence: absolute and conditional. The distinction is important because there are things you can do with absolutely convergent series that you cannot do with merely conditionally convergent ones. First, though, some definitions:

  • A series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{n=c}^{\infty} a_n} is said to converge absolutely (or to be absolutely convergent) if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{n=c}^{\infty} |a_n|} converges.
  • A series Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{n=c}^{\infty} a_n} is said to converge conditionally (or to be conditionally convergent) if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{n=c}^{\infty} |a_n|} diverges but Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \sum_{n=c}^{\infty} a_n} itself converges.

It should be obvious that this distinction only makes sense for series with a mixture of positive and negative terms. This includes, but is not limited to, alternating series.

Example

We have seen that the harmonic series

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^{\infty} \frac{1}{n}}

is divergent but its alternating version

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^{\infty} \frac{(-1)^n}{n}}

is convergent. Since the first series may be formed by taking the absolute value of the terms in the second series, we see that the second series is conditionally convergent.

Example

Consider the series

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^{\infty} \frac{(-1)^n}{n^2}.}

This is an alternating series whose terms decrease to zero in magnitude, so it converges. Furthermore, the series formed by the absolute value of the terms

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2}}

is a p-series with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p=2} , so it converges also. Therefore the original alternating series is absolutely convergent.

Resources

The Alternating Series Test


The Alternating Series Estimation Theorem


Absolute Convergence and Conditional Convergence

Licensing

Content obtained and/or adapted from: