20. Convergence of Positive Series

c.1. The Simple Comparison Test

Suppose \(\displaystyle \sum_{n=n_o}^\infty a_n\) and \(\displaystyle \sum_{n=n_o}^\infty b_n\) are positive series.

  1. If \(\displaystyle \sum_{n=n_o}^\infty b_n\) is convergent and \(b_n \ge a_n\) for all \(n\), then \(\displaystyle \sum_{n=n_o}^\infty a_n\) is also convergent.
  2. If \(\displaystyle \sum_{n=n_o}^\infty b_n\) is divergent and \(b_n \le a_n\) for all \(n\), then \(\displaystyle \sum_{n=n_o}^\infty a_n\) is also divergent.

  \(\Longleftarrow\) Read this! It's easy.

  1. If \(b_n \ge a_n\), then \(\displaystyle \sum_{n=n_o}^\infty b_n \ge \sum_{n=n_o}^\infty a_n\). So if \(\displaystyle \sum_{n=n_o}^\infty b_n\) is finite, so is \(\displaystyle \sum_{n=n_o}^\infty a_n\).
  2. If \(b_n \le a_n\), then \(\displaystyle \sum_{n=n_o}^\infty b_n \le \sum_{n=n_o}^\infty a_n\). So if \(\displaystyle \sum_{n=n_o}^\infty b_n\) is infinite, so is \(\displaystyle \sum_{n=n_o}^\infty a_n\).

To apply the test, given a series \(\displaystyle \sum_{n=n_o}^\infty a_n\) we try to find either a convergent series \(\displaystyle \sum_{n=n_o}^\infty b_n\) which is bigger than \(\displaystyle \sum_{n=n_o}^\infty a_n\) or a divergent series \(\displaystyle \sum_{n=n_o}^\infty b_n\) which is smaller than \(\displaystyle \sum_{n=n_o}^\infty a_n\). To construct the terms \(b_n\), we look at the terms \(a_n\) and throw away pieces which are negligible for large \(n\). Then we must check the convergence of \(\displaystyle \sum_{n=n_o}^\infty b_n\) and the inequality between \(b_n\) and \(a_n\). Hopefully, this will become clearer in the examples:

Determine if \(\displaystyle \sum_{n=1}^\infty \dfrac{n^2-\sin^2(n)}{n^2+n^4}\) is convergent or divergent.

We start with \(a_n=\dfrac{n^2-\sin^2(n)}{n^2+n^4}\).
For large \(n\), the term \(\sin^2(n)\) is negligible compared to \(n^2\).  

\(\sin^2(n) \le 1 \le n\). So \(\sin^2(n)\) is negligible.

Also the term \(n^2\) is negligible compared to \(n^4\).  

If \(n=1,000\) then \(n^2=1,000,000\) and \(n^4=1,000,000,000,000\). So \(n^2\) is negligible.

So we take \(b_n=\dfrac{n^2}{n^4}=\dfrac{1}{n^2}\). Now we need to compare \(b_n\) to \(a_n\).

First, \(n^2+n^4 \gt n^4\), because there is more on the left. So \(\dfrac{1}{n^2+n^4} \lt \dfrac{1}{n^4}\).  

E.g. since \(4 \gt 3\), we know \(\dfrac{1}{4} \lt \dfrac{1}{3}\).

Second, \(n^2-\sin^2(n) \lt n^2\), because there is less on the left. Multiplying these two inequalities, we have \[ \dfrac{n^2-\sin^2(n)}{n^2+n^4} \lt \dfrac{n^2}{n^4}=\dfrac{1}{n^2} \qquad \text{or} \qquad a_n \le b_n. \] Finally, \(\displaystyle \sum_{n=1}^\infty b_n =\sum_{n=1}^\infty \dfrac{1}{n^2}\) converges because it is a \(p\)-series with \(p=2>1\). So \(\displaystyle \sum_{n=1}^\infty a_n =\sum_{n=1}^\infty \dfrac{n^2-\sin^2(n)}{n^2+n^4}\) also converges.

Determine if \(\displaystyle \sum_{n=1}^\infty \dfrac{e^n}{ne^n-e^{-n}}\) is convergent or divergent.

We have \(a_n=\dfrac{e^n}{ne^n-e^{-n}}\). For large \(n\), the term \(e^{-n}\) is negligible compared to \(ne^n\). So we take \(b_n=\dfrac{e^n}{ne^n}=\dfrac{1}{n}\). Now \(\displaystyle \sum_{n=1}^\infty b_n=\sum_{n=1}^\infty \dfrac{1}{n}\) diverges because it is the harmonic series. Finally, we need to compare \(a_n\) and \(b_n\). First, \(ne^n-e^{-n} \lt ne^n\) because there is less on the left. So \(\dfrac{1}{ne^n-e^{-n}} \gt \dfrac{1}{ne^n}\), and consequently, \(\dfrac{e^n}{ne^n-e^{-n}} \gt \dfrac{e^n}{ne^n}=\dfrac{1}{n}\) or \(a_n \gt b_n\). Therefore, \(\displaystyle \sum_{n=1}^\infty a_n\) also diverges.

Determine if \(\displaystyle \sum_{n=1}^\infty \dfrac{n^2+n+1}{n^{5/2}}\) is convergent or divergent.

\(n^2+n+1 \gt n^2\)

\(\displaystyle \sum_{n=1}^\infty \dfrac{n^2+n+1}{n^{5/2}}\) is divergent.

We have \(a_n=\dfrac{n^2+n+1}{n^{5/2}}\). For large \(n\), the term \(n^2\) is larger than both \(n\) and \(1\). So we take \(b_n=\dfrac{n^2}{n^{5/2}}=\dfrac{1}{n^{1/2}}\). Now \(\displaystyle \sum_{n=1}^\infty b_n =\sum_{n=1}^\infty \dfrac{1}{n^{1/2}}\) diverges because it is a \(p\)-series with \(p=\dfrac{1}{2} \lt 1\). Finally, we need to compare \(a_n\) and \(b_n\). Since, \(n^2+n+1 \gt n^2\), we have \(\dfrac{n^2+n+1}{n^{5/2}} \gt \dfrac{n^2}{n^{5/2}}=\dfrac{1}{n^{1/2}}\) or \(a_n \gt b_n\). Therefore, \(\displaystyle \sum_{n=1}^\infty a_n\) also diverges.

Determine if \(\displaystyle \sum_{n=1}^\infty \dfrac{n^2-n-1}{n^{7/2}}\) is convergent or divergent.

\(n^2-n-1 \le n^2\)

\(\displaystyle \sum_{n=1}^\infty \dfrac{n^2-n-1}{n^{7/2}}\) is convergent.

We have \(a_n=\dfrac{n^2-n-1}{n^{7/2}}\). For large \(n\), the term \(n^2\) is larger than both \(n\) and \(1\). So we take \(b_n=\dfrac{n^2}{n^{7/2}}=\dfrac{1}{n^{3/2}}\). Now \(\displaystyle \sum_{n=1}^\infty b_n=\sum_{n=1}^\infty \dfrac{1}{n^{3/2}}\) converges because it is a \(p\)-series with \(p=\dfrac{3}{2} > 1\). Finally, we need to compare \(a_n\) and \(b_n\). Since, \(n^2-n-1 \lt n^2\), we have \(\dfrac{n^2-n-1}{n^{7/2}} \lt \dfrac{n^2}{n^{7/2}}=\dfrac{1}{n^{3/2}}\) or \(a_n \lt b_n\). Therefore, \(\displaystyle \sum_{n=1}^\infty a_n\) also converges.

dd  

© MYMathApps

Supported in part by NSF Grant #1123255