Topic 10 Sequences and Series

10.1 Sequences

A sequence \(\{a_n\}\) is a list of numbers written in a definite order. It can be considered as a function whose domain are (positive) integers.

The limit \(\lim\limits_{n\to \infty} a_n\) of a sequence \(\{a_n\}\) is defined similarly to the limit \(\lim\limits_{n\to \infty}f(x)\) of the function \(f\). Indeed, we have the following theorem.

Theorem 10.1 If \(\lim\limits_{x \to \infty} f(x)=L\) and \(f(n)=a_n\), then \(\lim\limits_{n \to \infty} a_{n}=L\).

If the limit \(\lim\limits_{n\to \infty} a_n\) exists, we say the sequence \(\{a_n\}\) is convergent. Otherwise, we say the sequence \(\{a_n\}\) is divergent.

Convergence sequences have the same rules and properties of limits as functions. For example, we may apply L’Hospital’s rule to \(\frac{0}{0}\) or \(\frac{\infty}{\infty}\) type sequences.

When determining the convergence of a sequence or finding the limit, we may not know the explicit expression of the sequence the following theorem may be useful.

Theorem 10.2 (Monotone Convergence Theorem) Let \(\{a_n\}\) be a bounded sequence, that is \(|a_n|<M\) for all \(n\). If there exists an integer \(N\) such that either \(a_n\leq a_{n+}\) for all \(n>N\) or \(a_n\geq a_{n+}\) for all \(n>N\), that is the sequence is either increasing or decreasing (a.k.a. monotonic), then the sequence is convergent.

Exercise 10.1 List the first five terms of the sequence \[ a_{n}=\frac{2 n}{n^{2}+1} \]

Solution.

The first five terms are \[ 1, \frac{4}{5}, \frac{3}{5}, \frac{8}{17}, \frac{5}{13} \]

Exercise 10.2 List the first five terms of the sequence \[ a_{1}=2, \quad a_{2}=1, \quad a_{n+1}=a_{n}-a_{n-1} \]

Solution.

The first two terms have been given. Using the recurrence formula, we find \[ a_3=-1, \quad a_4=-2, \quad a_5=-1. \]

Exercise 10.3 Find a formula for the general term \(a_n\) of the following sequence, assuming that the pattern of the first few terms continues. \[ \left\{\frac{1}{2},-\frac{4}{3}, \frac{9}{4},-\frac{16}{5}, \frac{25}{6}, \ldots\right\} \]

Solution.

The sequence can be explicitly expressed as \[ \left\{ \frac{(-1)^{n+1}n^2}{n+1} \right\}_{n=1}^\infty \]

Exercise 10.4 Determine whether the sequence converges or diverges. If it converges, find the limit. \[ a_{n}=\frac{3+5 n^{2}}{n+n^{2}} \]

Solution.

For such a rational expression, to find the limit, we divide the highest degree monomial from both the numerator and the denominator and apply the quotient (or product) rule of limits. \[ \lim_{n\to \infty}\frac{3+5 n^{2}}{n+n^{2}}=\lim_{n\to \infty}\frac{\frac{3}{n^2}+5}{\frac{1}{n}+1}=\frac{\lim\limits_{n\to \infty}\left(\frac{3}{n^2}\right)+5}{\lim\limits_{n\to \infty}\left(\frac{1}{n}\right)+1}=5. \] The sequence converges to \(5\).

Exercise 10.5 Determine whether the sequence converges or diverges. If it converges, find the limit. \[ a_{n}=\frac{3^{n+2}}{5^{n}} \]

Solution.

We rewrite the expression in the form \(a\cdot r^n\) form and use the fact that \(\lim\limits_{n\to \infty}r^n=0\) if \(|r|<1\) to determine the convergence.

\[ \lim_{n\to \infty}\frac{3^{n+2}}{5^{n}}%=\lim_{n\to \infty}3^2\cdot\left(\frac35\right)^n =9\lim\limits_{n\to \infty}\left(\frac35\right)^n=9\cdot 0=0. \] The sequence converges to \(0\).

Exercise 10.6 Determine whether the sequence converges or diverges. If it converges, find the limit. \[ a_{n}=e^{2n/(n+2)} \]

Solution.

Let \(f(x)=e^{2x/(x+2)}\). Then \(f\) is continuous whenever \(x>0\). We may use the theorem that \[ \lim_{n\to \infty}e^{2n/(n+2)}=\lim_{x\to \infty}e^{2x/(x+2)} \] to determine the convergence.

Use the fact that \(y=e^x\) is continuous and \(\lim\limits_{x\to \infty}(2x/(x+2))=2\), we get \[ \lim_{x\to \infty}e^{2x/(x+2)}=e^{\lim\limits_{x\to \infty}(2x/(x+2))}=e^2. \] The sequence converges to \(e^2\).

Exercise 10.7 Determine whether the sequence converges or diverges. If it converges, find the limit. \[ \left\{\frac{(2 n-1) !}{(2 n+1) !}\right\} \]

Solution.

Recall that \[ n!=n \cdot (n-1) \cdot (n-2) \cdot\cdots\cdot 2 \cdot 1. \]

Then \[ \frac{(2n-1)!}{(2n+1)!} =\frac{(2n-1)\cdot (2n-2)\cdot \cdots \cdot 2\cdot 1}{(2n+1)\cdot 2n \cdot (2n-1)\cdot (2n-2)\cdot \cdots \cdot 2\cdot 1} =\frac{1}{(2n+1)\cdot 2n} \] Therefore, \[ \lim_{n\to \infty}\left\{\frac{(2n-1)!}{(2n+1)!}\right\}=\lim_{x\to \infty}\frac{1}{(2n+1)\cdot 2n}=0. \]

The sequence converges to \(0\).

Exercise 10.8 Determine whether the sequence converges or diverges. If it converges, find the limit. \[ \left\{n^{2}e^{-n}\right\} \]

Solution.

Let \(f(x)=x^2e^{-x}\). Then \(f\) is continuous and \[ \begin{aligned} \lim_{x\to \infty}n^{2}e^{-n} =&\lim_{x\to \infty}x^2e^{-x}\\ =&\lim_{x\to \infty}\frac{x^2}{e^x}\\ =&\lim_{x\to \infty}\frac{2x}{e^x} \qquad\text{L'Hospital's Rule Applied}\\ =&\lim_{x\to \infty}\frac{2}{e^x}\qquad\text{L'Hospital's Rule Applied}\\ =&0. \end{aligned} \] The sequence converges to \(0\).

Exercise 10.9 Determine whether the sequence converges or diverges. If it converges, find the limit. \[ a_{n}=n\sin(1/n) \]

Solution.

Let \(f(x)=x\sin(1/x)\). Then \(f\) is continuous whenever \(x>0\). Therefore, \[ \begin{aligned} \lim_{x\to \infty}n\sin(1/n) =&\lim_{x\to \infty}x\sin(1/x)\\ =&\lim_{x\to \infty}\frac{\sin(1/x)}{1/x}\\ =&\lim_{t\to 0^+}\frac{\sin t}{t} \qquad t=1/x\\ =&\lim_{t\to 0^+}\frac{\cos t}{1} \qquad\text{L'Hospital's Rule Applied}\\ =&1. \end{aligned} \] The sequence converges to \(1\).

Exercise 10.10 Determine whether the sequence converges or diverges. If it converges, find the limit. \(a_{1}=3\) and \(a_{n+1}=\dfrac{a_{n}}{2}+1\) for all \(n \geq 2\)

Solution.

By the recurrence formula, we get \[ a_1=3, a_2=\frac52, a_3=\frac94, a_4=\frac{17}{8}. \]

From those terms, we may claim that the sequence is decreasing and \(a_n\ge 2\).

We prove the claim that \(a_n\ge 2\) by induction. The monotonicity follows from this claim.

Clearly, \(a_1\ge 2\). Suppose that the \(a_n>2\). Then \[ a_{n+1}=\frac{a_n}{2}+1\ge 1+1=2. \]

By the Monotone Convergence Theorem, \(\lim\limits_{n\to\infty} a_n=L\) is a finite number.

Taking limits of both side of the equality \(a_{n+1}=\dfrac{a_n}{2}+1\), we get \(L=\dfrac L2+1\). Solve the equation for \(L\), we get \[ \lim\limits_{n\to\infty} a_n=L=2. \]

Remark: Mathematical induction is often used in dealing with recursive sequences.
A mathematical induction starts with checking the truth of a claim in the base case \(k=n_0\), followed by a inductive step. In the inductive step, we assume the claim is true for \(k=n\) (or \(k\le n\)), and then prove that the claim is true for \(k=n+1\).

Exercise 10.11 Determine whether the sequence converges or diverges. If it converges, find the limit. \[ a_{1}=1 \quad a_{n+1}=3-\frac{1}{a_{n}} \]

Solution.

By the recurrence formula, we get \[ a_1=1, a_2=2, a_3=3-\frac12=\frac52, a_4=3-\frac25=\frac{13}{5}. \]

From those terms, we may claim that the sequence is increasing and \(1\le a_n\le 3\).

To prove that the sequence is increasing, we need to show that \[ a_{n+1}-a_n=3-\frac1{a_n}-a_n=\frac{-a_n^2+3a_n-1}{a_n}>0. \] If we can prove that \(a_n\leq\frac{3+\sqrt{5}}{2}\), then \(a_{n+1}-a_n>0\). Because \(-a_n^2+3a_n-1>0\) when \(1\le a_n\leq\frac{3+\sqrt{5}}{2}\).

This can be done by induction.

Clearly, \(1\le a_1\le \frac{3+\sqrt{5}}{2}\) Suppose that the \(1\le a_n\le \frac{3+\sqrt{5}}{2}\). Then \[ 1<a_{n+1}=3-\frac{1}{a_n}\le 3-\frac{2}{3+\sqrt{5}}=\frac{3+\sqrt{5}}{2}. \]

By the Monotone Convergence Theorem, \(\lim\limits_{n\to\infty} a_n=L\) is a finite number.

Taking limits of both side of the equality \(a_{n+1}=3-\frac1{a_n}\), we get \(L=3-\frac1L\). Solve the equation, we get \[ \lim\limits_{n\to\infty} a_n=L=\frac{3+\sqrt{5}}{2}. \]

10.2 Series

A series \(\sum\limits_{n=1}^{\infty} a_{n}\) is the (formal) sum of all terms of a sequence \(\left\{a_{n}\right\}_{n=1}^{\infty}\). The sum \[ s_{n}=a_{1}+a_{2}+a_{3}+\cdots+a_{n}=\sum\limits_{i=1}^{n} a_{i} \] is called a partial sum of the series.

A series \(\sum\limits_{n=1}^{\infty} a_{n}\) is convergent (divergent) if the sequence of partial sums \(\{s_n\}\) is convergent (respectively, divergent).

Theorem 10.3 If a series \(\sum\limits_{n=1}^{\infty} a_{n}\) is convergent then \(\lim\limits_{n\to\infty} a_n=0\). Conversely, if \(\lim\limits_{n\to\infty} a_n\neq 0\), then \(\sum\limits_{n=1}^{\infty} a_{n}\) is divergent.

For convergence series, their linear combinations are also convergent.

Theorem 10.4 If \(\sum\limits_{n=1}^{\infty} a_{n}\) and \(\sum\limits_{n=1}^{\infty} b_{n}\) are convergence sequences, then \[ \sum\limits_{n=1}^{\infty}\left(c\cdot a_{n}+d\cdot b_{n}\right)=c\sum\limits_{n=1}^{\infty} a_{n}+d\sum\limits_{n=1}^{\infty} b_{n}, \] where \(c\) and \(d\) are real numbers.

Using the formula \[ 1+r+r^2+r^3+\cdots +r^{n-1}=\frac{1-r^n}{1-r} \] we know that the geometric series \[ \sum\limits_{\color{red}{n=0}}^\infty a\cdot r^n=\frac{a}{1-r} \qquad \text{if}\quad |r|<1. \] Otherwise, it diverges.

Remark. When finding the sum of the geometric series, one should rewrite the series is in the following form \[ a(1+r+r^2+r^3+\cdots ) \] before applying the above formula.

Exercise 10.12 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ 4+3+\frac{9}{4}+\frac{27}{16}+\cdots \]

Solution.

The series can be expressed as \[ 4\cdot\left(1+\frac34+\left(\frac34\right)^2+ \left(\frac34\right)^3+\cdots\right) \] Which is a scalar multiple of the geometric series with \(r=\frac34<1\).

Therefore, the series converges and \[ 4+3+\frac{9}{4}+\frac{27}{16}+\cdots = \frac{4}{1-\frac34}=16. \]

Exercise 10.13 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ \sum\limits_{n=1}^{\infty} \frac{(-3)^{n-1}}{4^{n}} \]

Solution.

The series can be expressed as \[ \frac13\cdot\left(1+\left(-\frac{3}{4}\right)+\left(-\frac{3}{4}\right)^2+ \left(-\frac{3}{4}\right)^3+\cdots\right). \]

Therefore, the series converges and \[ \sum\limits_{n=1}^{\infty} \frac{(-3)^{n-1}}{4^{n}} = \frac{\frac14}{1-(-\frac34)}=\frac{1}{7}. \]

Exercise 10.14 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ \frac{1}{3}+\frac{1}{6}+\frac{1}{9}+\frac{1}{12}+\frac{1}{15}+\cdots \]

Solution.

The series can be expressed as \[ \frac14\cdot\left(1+\frac{1}{2}+\frac{1}{3}+ \frac{1}{4}+\frac{1}{5}+\cdots\right). \] which is a multiple of the harmonic series.

Because the harmonic series diverse, the series in this question diverges.

Exercise 10.15 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ \sum\limits_{n=1}^{\infty} \frac{1+2^{n}}{3^{n}} \]

Solution.

The series is a linear combination of two convergent geometric series: \[ \sum\limits_{n=1}^{\infty}\left(\frac{1}{3}\right)^{n} \qquad \text{and} \qquad \sum\limits_{n=1}^{\infty} \left(\frac{2}{3}\right)^{n}. \] The sums of those two series are \[ \sum\limits_{n=1}^{\infty}\left(\frac{1}{3}\right)^{n} =\frac13\sum\limits_{n=0}^{\infty}\left(\frac{1}{3}\right)^{n} =\frac{\frac13}{1-\frac{1}{3}}=\frac{1}{2}. \] and \[ \sum\limits_{n=1}^{\infty} \left(\frac{2}{3}\right)^{n} =\frac23\sum\limits_{n=0}^{\infty}\left(\frac{2}{3}\right)^{n} =\frac{\frac23}{1-\frac{2}{3}}=2. \] Therefore, \[ \sum\limits_{n=1}^{\infty} \frac{1+2^{n}}{3^{n}}=\frac12+2=\frac52. \]

Exercise 10.16 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ \sum\limits_{n=1}^{\infty}\left(\frac{1}{e^{n}}+\frac{1}{n(n+1)}\right) \]

Solution.

Consider the series \[ \sum\limits_{n=1}^{\infty}\left(\frac{1}{e}\right)^{n} \qquad \text{and} \qquad \sum\limits_{n=1}^{\infty} \left(\frac{1}{n(n+1)}\right). \]

Because \(e>1\), the geometric series \(\sum\limits_{n=1}^{\infty}\left(\frac{1}{e}\right)^{n}\) converges to \(\frac{1}{e-1}\).

Note that \(\frac1{n(n+1)}=\frac1n-\frac1{n+1}\). Then the partial sum is \[ \begin{aligned} s_n=&\left(1-\frac12\right)+\left(\frac12-\frac13\right)+\cdots\\ &+\left(\frac1{n-1}-\frac1n\right)+\left(\frac1{n}-\frac1{n+1}\right)\\=&1-\frac1{n+1}. \end{aligned} \] Taking the limit, we find that \[ \sum\limits_{n=1}^{\infty} \left(\frac{1}{n(n+1)}\right)=\lim_{n\to\infty} s_n=1. \]

Therefore, \[ \sum\limits_{n=1}^{\infty}\left(\frac{1}{e^{n}}+\frac{1}{n(n+1)}\right)=\frac{e}{e-1}+1=\frac{2e-1}{e-1}. \]

Exercise 10.17 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ \sum\limits_{n=1}^{\infty} \ln\left(\frac{n}{n+1}\right) \]

Solution.

Then the partial sum is \[ \begin{aligned} s_n=&\sum\limits_{k=1}^{n} \ln\left(\frac{k}{k+1}\right)\\ =&\sum\limits_{k=1}^{n} (\ln k-\ln(k+1))\\ =&\ln 1-\ln(n+1)=-\ln(n+1) . \end{aligned} \]

Because the limit \(-\lim\limits_{n\to\infty}\ln(n+1)=-\infty\). The series in this question diverges.

Exercise 10.18 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ \sum\limits_{n=1}^{\infty} \frac{3}{n(n+3)} \]

Solution.

The rational expression can be written as a sum of partial fraction: \[ \frac{3}{n(n+3)}=\frac1n-\frac1{n+3} \]

Then the partial sum is \[ \begin{aligned} s_n=&\left(1-\frac14\right) +\left(\frac12-\frac15\right) +\left(\frac13-\frac16\right)\cdots\\ &+\left(\frac1{n-2}-\frac1{n+1}\right) +\left(\frac1{n-1}-\frac1{n+2}\right) +\left(\frac1{n}-\frac1{n+3}\right)\\ =&1+\frac12+\frac13-\frac1{n+1}-\frac1{n+2}-\frac1{n+3}. \end{aligned} \]

Taking the limit, we find that \[ \sum\limits_{n=1}^{\infty} \frac{3}{n(n+3)}=\lim_{n\to \infty} s_n=1+\frac12+\frac13=\frac{11}{6}. \]

Exercise 10.19 Determine whether the series is convergent or divergent. If it is convergent, find its sum. \[ \sum\limits_{n=1}^{\infty}\left(e^{1/n}-e^{1/(n+1)}\right) \]

Solution.

The partial sum is \[ \begin{aligned} s_n=&\left(e^{1}-e^{1/2}\right) +\left(e^{1/2}-e^{1/3}\right)\cdots\\ &+\left(e^{1/(n-1)}-e^{1/n}\right) +\left(e^{1/n}-e^{1/(n+1)}\right)\\ =&e-e^{1/(n+1)}. \end{aligned} \]

Taking the limit, we find that \[ \sum\limits_{n=1}^{\infty} \frac{3}{n(n+3)}=\lim_{n\to \infty} s_n=e-e^0=e-1. \]

Exercise 10.20 Find the values of \(x\) for which the series converges. Find the sum of the series for those values of \(x\). \[ \sum\limits_{n=1}^{\infty}(x+2)^{n} \]

Solution.

The series is (a multiple of) the geometric series with \(r=(x+2)\). Therefore, the series converges if \(|x+2|<1\), or equivalently, \(-3<x<-1\). For \(x\in (-3, -1)\), the sum of the series is \[ \sum\limits_{n=1}^{\infty}(x+2)^{n}=(x+2)\cdot\frac{1}{1-(x+2)}=-\frac{x+2}{x+1}. \]

Exercise 10.21 Find the values of \(x\) for which the series converges. Find the sum of the series for those values of \(x\). \[ \sum\limits_{n=0}^{\infty} \frac{2^{n}}{x^{n}} \]

Solution.

The series is the geometric series with \(r=\frac2x\). Therefore, the series converges if \(|x|>2\), or equivalently, \(x\in (-\infty, -2)\cup (2, \infty)\). When the series converges, the sum of the series is \[ \sum\limits_{n=0}^{\infty} \left(\frac{2}{x}\right)^n=\frac{1}{1-\frac2x}=\frac{x}{x-2}. \]

10.3 Integral Test

By comparing the Riemann sum with the (partial) series, we may make the following statement.

Theorem 10.5 (The Integral Test) Suppose \(f\) is a continuous, positive, decreasing function on \([1, \infty)\) and let \(a_{n}=f(n)\). Then the series \(\sum\limits_{n=1}^{\infty} a_{n}\) is convergent if and only if the improper integral \(\int_{1}^{\infty} f(x) d x\) is convergent.

As an application, we know exactly when does the \(p\)-series \(\sum \dfrac1{n^p}\) converge.

Corollary 10.1 The \(p\)-series \(\sum\limits_{n=1}^{\infty}\frac{1}{n^{p}}\) is convergent if \(p>1\) and divergent if \(p \le 1\).

When a series \(\sum a_n\) converges, we may use a partial sum \(s_n\) to estimate the sum \(s=\sum a_n\). The reminder \(R_n=s-s_n\) can be estimated using integral if the function \(f\) with \(f(n)=a_n\) is continuous continuous, positive, decreasing function for \(x\geq n\) and is convergent: \[ \int_{n+1}^{\infty} f(x) d x \le R_{n} \le \int_{n}^{\infty} f(x) d x \]

Exercise 10.22 Determine whether the series is convergent or divergent. \[ 1+\frac{1}{2 \sqrt{2}}+\frac{1}{3 \sqrt{3}}+\frac{1}{4 \sqrt{4}}+\frac{1}{5 \sqrt{5}}+\cdots \]

Solution.

Rewrite the radicals using rational exponents, we know that the series is a \(p\)-series \(\sum\limits_{n=1}^\infty\frac1{n^{3/2}}\).

Because \(p>1\), the series converges.

Exercise 10.23 Determine whether the series is convergent or divergent. \[ \frac{1}{5}+\frac{1}{8}+\frac{1}{11}+\frac{1}{14}+\frac{1}{17}+\cdots \]

Solution.

The series can be expressed as \[ \frac{1}{5}+\frac{1}{8}+\frac{1}{11}+\frac{1}{14}+\frac{1}{17}+\cdots = \sum\limits_{n=1}^\infty\frac1{2+3n}. \]

Because the improper integral \[ \int_1^\infty \frac{1}{3x+2}\mathrm{d} x=\frac13\left(\lim_{t \to \infty}\ln(3x+2)-\ln5\right)=\infty, \] the series diverges by the Integral Test.

Remark: Can you fill in the intermediate steps for the first equality?
Hint: use substitution \(u=3x+2\).

Exercise 10.24 Determine whether the series is convergent or divergent. \[ \sum\limits_{n=1}^{\infty} \frac{n^{2}}{n^{3}+1} \]

Solution.

Because the improper integral \[ \int_1^\infty \frac{x^{2}}{x^{3}+1}\mathrm{d} x=\frac13\left(\lim_{t \to \infty}\ln(x^3+1)-\ln1\right)=\infty, \] the series diverges by the Integral Test.

Remark: Can you fill in the intermediate steps for the first equality?
Hint: use substitution \(u=x^3+1\).

Exercise 10.25 Determine whether the series is convergent or divergent. \[ \sum\limits_{n=1}^{\infty} \frac{1}{n^{2}+6 n+13} \]

Solution.

Because the improper integral \[ \int_1^\infty \frac{1}{x^{2}+6 x+13}\mathrm{d} x=\frac12\left(\lim_{t \to \infty}\arctan\left(\frac{t+3}{2}\right)-\arctan 2\right)=\frac{\pi-2\arctan2}{4}, \] the series converges by the Integral Test.

Remark: Can you fill in the intermediate steps for the first equality?
Hint: Rewrite the denominator by completing the square \(x^2+6x+13=(x+3)^2+4\) and use the substitution \(x+3=2u\).

Exercise 10.26 Determine whether the series is convergent or divergent. \[ \sum\limits_{n=1}^{\infty} \frac{\ln n}{n^{3}} \]

Solution.

Because the improper integral \[ \begin{aligned} &\int_1^\infty \frac{\ln x}{x^{3}}\mathrm{d} x\\ =&\left(-\lim_{t \to \infty}\frac{\ln t}{2t^2}+\frac{\ln1}{2}\right)+\left(-\lim_{t \to \infty}\frac{1}{4t^4}+\frac14\right)\\ =&\frac{1}{4}, \end{aligned} \] the series converges by the Integral Test.

Remark: Can you fill in the intermediate steps for both equalities?
Hint: use integration by part with \(g^\prime(x)=\frac1{x^3}\) for the first equality and L’Hospital’s rule for the second equality.

Exercise 10.27 Determine whether the series is convergent or divergent. \[ \sum\limits_{n=1}^{\infty} \frac{e^{1/n}}{n^{2}} \]

Solution.

Because the improper integral \[ \begin{aligned} &\int_1^\infty \frac{e^{1/x}}{x^{2}}\mathrm{d} x\\ =&-\lim_{t \to \infty}e^{1/t}+e^1\\ =&e-1, \end{aligned} \] the series converges by the Integral Test.

Remark: Can you fill in the intermediate steps for the first equality?
Hint: use the substitution \(u=\frac1x\).

Exercise 10.28 Find the values \(p\) of for which the series is convergent \[ \sum\limits_{n=2}^{\infty} \frac{1}{n(\ln n)^{p}} \]

Solution.

Let \(u=\ln x\), then \[ \int \frac{1}{x(\ln x)^{p}}\mathrm{d} x= \begin{cases} \ln(\ln x) & p=1\\[1em] \dfrac{1}{(1-p)(\ln x)^{p-1}} & p\neq 1 \end{cases} \]

Then

\[ \int_1^\infty \frac{1}{x(\ln x)^{p}}\mathrm{d} x \begin{cases} \infty & p\le 1\\[1em] 0 & p>1 \end{cases} \] By the Integral Test, the \(\sum\limits_{n=2}^{\infty} \frac{1}{n(\ln n)^{p}}\) converges when \(p>1\).

Exercise 10.29 Find the sum of the series \(\sum\limits_{n=1}^{\infty}\dfrac{1}{n^3}\) correct to two decimal places.

Solution.

When using the partial sum \(s_n\) to approximate the sum, the error (or reminder) \(R\) satisfies \[ \frac1{2(n+1)^2}=\int_{n+1}^\infty \frac1{x^3}\mathrm{d} x\leq R\leq \int_n^\infty \frac1{x^3} \mathrm{d} x=\frac{1}{2n^2} \]

Take \(n=8\), we find that \(0.006< R<0.008\), so the sum \(s\approx s_8\approx 1.195\) is an approximation correct to two decimal places.

10.4 Comparison Test

Comparison is one of fundamental tool that we use to understand new questions. Like sequences, we also have a comparison test of series.

Theorem 10.6 (Comparison Test for Series) Let \(\sum a_{n}\) and \(\sum b_{n}\) be series with positive terms. Suppose \(a_n\ge b_n\) for all \(n\). If the series \(\sum a_n\) converges, then the series \(\sum b_n\) converges. Conversely, if the series \(\sum b_n\) diverges, then the series \(\sum a_n\) diverges.

When compare two numbers, we often compare their quotient with \(1\) or other expected number. From this point of view, we may deduce from the comparison test the limit comparison test.

Theorem 10.7 (The Limit Comparison Test for Series) Let \(\sum a_{n}\) and \(\sum b_{n}\) be series with positive terms. Suppose \[ \lim_{n\to \infty}\frac{a_n}{b_n}=c, \] where \(c\) is a finite number.
1. If \(c\) is positive, then either both the series converge or both diverge.
2. If \(c=0\) and \(\sum b_n\) converges, then \(\sum a_n\) converges.
3. If \(c=\infty\) and \(\sum b_n\) diverges, then \(\sum a_n\) diverges.

When using the limit comparison test, it’s better to let \(\sum a_n\) to be the given series and take \(a_n\) as the numerator in the limit \(\lim\limits_{n\to \infty}\frac{a_n}{b_n}\).

Exercise 10.30 Determine whether the series converges or diverges. \[ \sum\limits_{n=2}^{\infty} \frac{n^{3}}{n^{4}-1} \]

Solution.

Because the limit \[ \lim_{n\to \infty}\frac{\frac{n^{3}}{n^{4}-1}}{\frac1n} =\lim_{n\to \infty}\frac{n^{4}}{n^{4}-1}=1 \] and the series \(\sum\limits_{n=2}^{\infty}\frac1n\) diverges, by the limit comparison test, the series \(\sum\limits_{n=2}^{\infty} \frac{n^{3}}{n^{4}-1}\) diverges.

Remark: The the term is in fraction form, we take the quotient of highest-degree (or largest-exponent) terms in the numerator and denominator as the term \(b_n\).

Exercise 10.31 Determine whether the series converges or diverges. \[ \sum\limits_{n=1}^{\infty} \frac{n-1}{n^{2} \sqrt{n}} \]

Solution.

The question of highest degree terms in the fraction is \(\frac{n}{n^2\sqrt{n}}=\frac1{n^{3/2}}\).

Because \[ \lim_{n\to \infty} \frac{ \frac{n-1}{n^{2} \sqrt{n}} } { \frac1{n^{3/2}} } =\lim_{n\to \infty}\frac{n-1}{n}=1 \] and the series \(\sum\limits_{n=2}^{\infty}\frac1{n^{3/2}}\) converges, by the limit comparison test, the series \(\sum\limits_{n=2}^{\infty} \frac{n^{3}}{n^{4}-1}\) converges.

Exercise 10.32 Determine whether the series converges or diverges. \[ \sum\limits_{n=1}^{\infty} \frac{9^{n}}{3+10^{n}} \]

Solution.

We compare the given series with the geometric series \(\sum\limits_{n=1}^{\infty}\left(\frac{9}{10}\right)^n\).

Because \[ \lim_{n\to \infty} \frac{ \frac{9^{n}}{3+10^{n}} } { \frac{9^{n}}{10^{n}} } =\lim_{n\to \infty}\frac{3+10^n}{10^n}=1 \] and the series \(\sum\limits_{n=2}^{\infty} \left(\frac{9}{10}\right)^n\) converges, by the limit comparison test, the series \(\sum\limits_{n=1}^{\infty} \frac{9^{n}}{3+10^{n}}\) converges.

Exercise 10.33 Determine whether the series converges or diverges. \[ \sum\limits_{k=1}^{\infty} \frac{k \sin ^{2} k}{1+k^{3}} \]

Solution.

Because \(\sum\limits_{k=1}^\infty\frac1{k^2}\) converges and \[ \lim_{n\to \infty} \frac{ \frac{k}{1+k^{3}} } { \frac1{k^2} }=1 \] the series \(\sum\limits_{k=1}^{\infty} \frac{k}{1+k^{3}}\) converges.

Because \(\sin^2x\leq 1\), by the comparison test, the series \(\sum\limits_{k=1}^{\infty} \frac{k \sin ^{2} k}{1+k^{3}}\) converges.

Exercise 10.34 Determine whether the series converges or diverges. \[ \sum\limits_{n=1}^{\infty} \frac{1}{\sqrt[3]{3 n^{4}+1}} \]

Solution.

Because \(\sum\limits_{n=1}^\infty\frac1{\sqrt[3]{n^4}}\) converges and \[ \lim_{n\to \infty} \frac{ \frac{1}{\sqrt[3]{3 n^{4}+1}} } { \frac1{\sqrt[3]{n^4}} }=\frac{1}{\sqrt[3]{3}} \] the series \(\sum\limits_{n=1}^{\infty} \frac{1}{\sqrt[3]{3 n^{4}+1}}\) converges.

Exercise 10.35 Determine whether the series converges or diverges. \[ \sum\limits_{n=1}^{\infty} \frac{e^{1/n}}{n} \]

Solution.

Because \(\sum\limits_{n=1}^\infty\frac1{n}\) diverges and \[ \lim_{n\to\infty}= \frac{ \frac{e^{1/n}}{n} } { \frac1n }=1. \] The series \[ \sum\limits_{n=1}^{\infty} \frac{e^{1/n}}{n} \] diverges by the limit comparison test.

Exercise 10.36 Determine whether the series converges or diverges. \[ \sum\limits_{n=1}^{\infty} \frac{1}{n!} \]

Solution.

Because \(\sum\limits_{n=1}^\infty\frac1{n^2}\) converges. By the limit comparison test, the series \(\sum\limits_{n=1}^\infty\frac1{n(n-1)}\) converges.

Note that \(\frac1{n!}\le \frac1{n(n-1)}\) for \(n\ge 2\). Then the series \[ \sum\limits_{n=1}^{\infty} \frac{1}{n!} \] converges by the comparison test.

Exercise 10.37 Determine whether the series converges or diverges. \[ \sum\limits_{n=1}^{\infty} \sin \left(\frac{1}{n}\right) \]

Solution.

Because \(\sum\limits_{n=1}^\infty\frac1{n}\) diverges and \[ \lim_{n\to\infty}= \frac{ \sin \left(\frac{1}{n}\right) } { \frac1n }=\lim_{x\to0^+}= \frac{ \sin x } { x }=1. \] The series \[ \sum\limits_{n=1}^{\infty} \sin \left(\frac{1}{n}\right) \] diverges by the limit comparison test.

Exercise 10.38 Determine whether the series converges or diverges. \[ \sum\limits_{n=2}^{\infty} \frac{7}{\ln n} \]

Solution.

Because \(\sum\limits_{n=1}^\infty\frac1{n}\) diverges and \[ \lim_{n\to\infty}= \frac{ \frac{7}{\ln n} } { \frac1{n} }=\infty. \] The series \[ \sum\limits_{n=1}^{\infty} \frac1{\ln n} \] diverges.

Exercise 10.39 Determine whether the series converges or diverges. \[ \sum\limits_{n=1}^{\infty} \frac{\ln n}{n^{2}} \]

Solution.

Because \(\sum\limits_{n=1}^\infty\frac1{n^{3/2}}\) converges and \[ \lim_{n\to\infty}= \frac{ \frac{\ln n}{n^{2}} } { \frac1{n^{3/2}} }=\lim_{n\to\infty} \frac{\ln n}{n^{1/2}}= \lim_{n\to\infty} \frac{1}{2n^{1/2}} = 0. \] The series \[ \sum\limits_{n=1}^{\infty} \frac{\ln n}{n^{2}} \] converges.

Remark: You may find that the limit comparison test is inconclusive if \(b_n=\frac1n\) or \(\frac1{n^2}\). But taking \(b_n=1/n^p\) with \(p\) in \((1, 2)\) works. Indeed, by the integral test, one can also show the series converges.

10.5 Alternating series

Theorem 10.8 (Alternating Series Test) If the alternating series \[ \sum\limits_{n=1}^{\infty}(-1)^{n-1} b_{n}=b_{1}-b_{2}+b_{3}-b_{4}+b_{5}-b_{6}+\cdots \qquad b_{n}> 0 \] satisfies the following two conditions: (i) \(b_{n+1} \le b_{n}\) for all \(n\) and (ii) \(\lim\limits_{n \to \infty} b_{n}=0\), then the series converges.

To show that \(f(n)=b_n\) is decreasing, we often show that the sufficient condition \(f'(x)<0\) holds.

Exercise 10.40 Determine whether the alternating series converges or diverges. \[ \frac{1}{\ln 2}-\frac{1}{\ln 3}+\frac{1}{\ln 4}-\frac{1}{\ln 5}+\frac{1}{\ln 6}-\cdots \]

Solution.

Because \[ \left(\frac1{\ln x}\right)'=-\dfrac{1}{x(\ln x)^2}<0 \] for \(x>2\) and \[ \lim\limits_{n\to\infty}\frac1{\ln n}=0. \]

Then the given alternating series converges.

Exercise 10.41 Determine whether the alternating series converges or diverges. \[ \sum\limits_{n=0}^{\infty} \frac{(-1)^{2n+1}}{\sqrt{n+1}} \]

Solution.

Because \((-1)^{2n+1}=-1\) for all \(n\). The series is not an alternating series. Comparing with the \(p\)-series \(\sum\limits_{n=1}^{\infty} \frac{1}{n^{1/2}}\), we know that \(\sum\limits_{n=0}^{\infty} \frac{1}{\sqrt{n+1}}\) diverges. So does \[ \sum\limits_{n=0}^{\infty} \frac{(-1)^{2n+1}}{\sqrt{n+1}}=-\sum\limits_{n=0}^{\infty} \frac{1}{\sqrt{n+1}}. \]

Exercise 10.42 Determine whether the alternating series converges or diverges. \[ \sum\limits_{n=1}^{\infty}(-1)^{n} \frac{\sqrt[3]{n}}{2n+3} \]

Solution.

Because \[ \begin{aligned} \left( \frac{\sqrt[3]{x}}{2x+3} \right)' = & \frac{\frac13x^{-2/3}(2x+3)-2x^{1/3}}{(2x+3)^2}\\ =&\frac{(3-4x)}{3\sqrt[3]{x^2}(2x+3)^2}<0\\ \end{aligned} \] for \(x>1\) and \[ \lim\limits_{n\to\infty}\frac{\sqrt[3]{n}}{2n+3}=0. \]

Then the given alternating series converges.

Exercise 10.43 Determine whether the alternating series converges or diverges. \[ \sum\limits_{n=1}^{\infty}(-1)^{n+1} n e^{-n} \]

Solution.

Because \[ \left( x e^{-x}\right)'=e^{-x}(1-x)<0 \] for \(x>2\) and \[ \lim\limits_{n\to\infty}ne^{-n}=\lim\limits_{n\to\infty}\frac{n}{e^n}=0. \]

Then the given alternating series converges.

Exercise 10.44 Determine whether the alternating series converges or diverges. \[ \sum\limits_{n=1}^{\infty}(-1)^{n-1} 2\arctan n \]

Solution.

Because \(\lim\limits_{n\to \infty}2\arctan n=\pi\). The alternating series diverges by the divergence test.

Exercise 10.45 Determine whether the alternating series converges or diverges. \[ \sum\limits_{n=1}^{\infty}(-1)^{n} \sin \left(\frac{\pi}{n}\right) \]

Solution.

Because \[ \left(\sin\left(\frac{\pi}{x}\right)\right)'=-\frac{\pi\cos\left(\frac{\pi}{x}\right)}{x^2}<0 \] for \(x>2\) and \[ \lim\limits_{n\to \infty}\sin \left(\frac{\pi}{n}\right)=\lim\limits_{x\to 0^+}\sin x=0. \]

The alternating series converges by the alternating convergence test.

Exercise 10.46 Determine whether the alternating series converges or diverges. \[ \sum\limits_{n=1}^{\infty}(-1)^{n} \frac{n^{n}}{n!} \]

Solution.

Because \(\frac{n^n}{n!}>1\) for all \(n\). Then the divergence test theorem, the series diverges.

Exercise 10.47 Determine whether the alternating series converges or diverges. \[ \sum\limits_{n=1}^{\infty}(-1)^{n}(\sqrt{n+1}-\sqrt{n}) \]

Solution.

Because \[ (\sqrt{x+1}-\sqrt{x})'=\frac{\sqrt{x}-\sqrt{x+1}}{2\sqrt{x(x+1)}}<0 \] for \(x>0\) and \[ \lim\limits_{n\to \infty}\left(\sqrt{n+1}-\sqrt{n}\right)=\lim\limits_{n\to \infty}\frac{1}{\sqrt{n+1}+\sqrt{n}}=0. \]

The alternating series converges by the alternating convergence test.

10.6 Absolute Convergence and Tests

A series \(\sum a_n\) is called absolutely convergent if the series of absolute values \(\sum |a_n|\) is convergent.

A series \(\sum a_n\) is called conditionally convergent if it is convergent but not absolutely convergent.

By comparing \(\sum (a_n+|a_n|)\) with \(\sum(2|a_n|)\), we draw the following conclusion.

Theorem 10.9 If a series \(\sum a_n\) is absolutely convergent, then it is convergent.

Inspired by limit comparison test together with the geometric series, we obtain the following tests.

  1. Theorem 10.10 (The Ratio Test)
  2. If \(\lim\limits_{n \to \infty}\left|\frac{a_{n+1}}{a_{n}}\right|=L<1\), then the series \(\sum\limits_{n=1}^{\infty} a_{n}\) is absolutely convergent.
  3. If \(\lim\limits_{n \to \infty}\left|\frac{a_{n+1}}{a_{n}}\right|=L>1\), then the series \(\sum\limits_{n=1}^{\infty} a_{n}\) is divergent.
  1. Theorem 10.11 (The Root Test)
  2. If \(\lim\limits_{n \to \infty} \sqrt[n]{\left|a_{n}\right|}=L<1\), then the series \(\sum\limits_{n=1}^{n} a_{n}\) is absolutely convergent.
  3. If \(\lim\limits_{n \to \infty} \sqrt[n]{\left|a_{n}\right|}=L>1\), then the series \(\sum\limits_{n=1}^{n} a_{n}\) is divergent.

The following two facts show that absolutely convergent series behaves better when rearranging terms.

If \(\sum a_{n}\) is an absolutely convergent series with sum \(s\), then any rearrangement of \(\sum a_{n}\) has the same sum \(s\).

If \(\sum a_{n}\) is a conditionally convergent series and \(r\) is any real number, then there is a rearrangement of \(\sum a_{n}\) that has a sum equal to \(r\).

Exercise 10.48 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \sum\limits_{n=0}^{\infty} \frac{(-1)^{n}}{5 n+1} \]

Solution.

The series is an alternating series. Because \(\frac{1}{5n+1}\) is decreasing and \(\lim\limits_{n\to \infty}\frac{1}{5n+1}=0\). The series is convergent by the alternating convergence test.

Because \[ \lim_{n\to\infty}\frac{\frac{1}{5 n+1}}{\frac1n}=\frac15 \] and the harmonic series \(\sum\limits_{n=0}^{\infty}\frac1n\) diverges. The absolute series \(\sum\limits_{n=0}^{\infty} \frac{1}{5 n+1}\) diverges by the limit comparison test.

Exercise 10.49 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \sum\limits_{n=0}^{\infty} \frac{(-3)^{n}}{(2 n+1) !} \]

Solution.

Because \[ \lim_{n\to\infty}\frac{a_{n+1}}{a_n}=\lim_{n\to\infty}\frac{\frac{3^{n+1}}{(2(n+1)+1)!}}{\frac{-3^{n}}{(2n+1)!}}=\lim_{n\to\infty}\frac{3}{(2n+2)(2n+1)}=0. \] By the ratio test, the series is absolutely convergent.

Exercise 10.50 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \sum\limits_{n=1}^{\infty} \frac{\sin 4 n}{4^{n}} \]

Solution.

Note that \[ \frac{|\sin 4n|}{4^n}\le \frac{1}{4^n}. \]

Because the geometric series \[ \lim_{n\to\infty}\frac{1}{4^n} \] converges, by the comparison test, the absolute series \[ \lim_{n\to\infty}\frac{|\sin 4n|}{4^n} \] converges.

Therefore, the series is absolutely convergent.

Exercise 10.51 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \sum\limits_{n=1}^{\infty} \frac{3-2\sin n}{n^{2/3}-2} \]

Solution.

Note that \[ 1\le 3-2\sin n\le 5 \] and \[ \frac{3-2\sin n}{n^{2/3}-2}\ge \frac{1}{n^{2/3}} \]

Because the series \[ \sum\limits_{n=1}^{\infty} \frac{1}{n^{2/3}} \] diverges, by the comparison test, the absolute series \[ \sum\limits_{n=1}^{\infty} \frac{3-2\sin n}{n^{2/3}-2} \] diverges.

Exercise 10.52 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \sum\limits_{n=2}^{\infty} \frac{(-1)^{n}}{\ln n} \]

Solution.

Note that \(\ln n < n\) for \(n>1\). Then \(\frac{1}{\ln n}>\frac{1}{n}\).

Because the series \[ \sum\limits_{n=1}^{\infty} \frac{1}{n} \] diverges, by the comparison test, the absolute series \[ \sum\limits_{n=1}^{\infty} \frac{1}{\ln n} \] diverges.

However, by the alternating convergence test, we know that the series \(\sum\limits_{n=2}^{\infty} \frac{(-1)^{n}}{\ln n}\) converges.

Therefore, the series is conditionally convergent.

Exercise 10.53 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \sum\limits_{n=2}^{\infty}\left(\frac{-2 n}{n+1}\right)^{5 n} \]

Solution.

Because the limit \[ \sum\limits_{n=1}^{\infty} \sqrt[n]{\left(\frac{2 n}{n+1}\right)^{5 n}}=\sum\limits_{n=1}^{\infty} \left(\frac{2 n}{n+1}\right)^{5}=2^5>1. \] By the root test, the series diverges.

Exercise 10.54 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \begin{aligned} & 1-\frac{1 \cdot 3}{3 !}+\frac{1 \cdot 3 \cdot 5}{5 !}-\frac{1 \cdot 3 \cdot 5 \cdot 7}{7 !}+\cdots\\ & + (-1)^{n-1} \frac{1 \cdot 3 \cdot 5 \cdot \cdots \cdot(2 n-1)}{(2 n-1) !} +\cdots \end{aligned} \]

Solution.

Because the limit \[ \lim\limits_{n\to \infty} \frac{ \frac{1 \cdot 3 \cdot 5 \cdot \cdots \cdot(2n+1)}{(2 n+1) !} }{ \frac{1 \cdot 3 \cdot 5 \cdot \cdots \cdot(2 n-1)}{(2 n-1) !} }= \lim\limits_{n\to \infty} \frac{ 1 }{ 2n }=0. \] By the ratio test, the series is absolutely convergent.

Exercise 10.55 Determine whether the series is absolutely convergent, conditionally convergent, or divergent. \[ \sum\limits_{n=1}^{\infty} \frac{2^{n^{2}}}{n!} \]

Solution.

Because the limit \[ \lim\limits_{n\to \infty} \frac{ \frac{2^{(n+1)^{2}}}{(n+1)!} }{ \frac{2^{n^{2}}}{n!} }= \lim\limits_{n\to \infty} \frac{ 2^{2n+1} }{ n+1 }=\infty. \] By the ratio test, the series diverges.

10.7 Power series

A power series is a series of the form \[ \sum\limits_{n=0}^{\infty} c_{n} x^{n}=c_{0}+c_{1} x+c_{2} x^{2}+c_{3} x^{3}+\cdots, \] where \(x\) is a variable and \(c_n\) are constant numbers called the coefficients of the series.

More general, the series \[ \sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}=c_{0}+c_{1}(x-a)+c_{2}(x-a)^{2}+\cdots \] is called a power series in \((x-a)\) or a power series centered at \(a\) or a power series about \(a\).

When a power series converges, we may use it to define a function that make power series very useful.

The interval that consists of all values of for which the series converges is called the interval of convergence of a power series.

By ratio test or root test, we know the following statement is true.

Theorem 10.12 For a given power series \(\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}\) there are only three possibilities.

  1. The series converges only when \(x=a\)
  2. The series converges for all \(x\).
  3. There is a positive number \(R\) such that the series converges if \(|x-a|<R\) and diverges if \(|x-a|>R\).

The positive number \(R\) is called the radius of convergence of the power series. In interval notation, the inequality \(|x-a|<R\) can be written as \((a-R, a+R)\). When \(x\) is endpoint, that is \(x=a-R\) or \(x=a+R\), the series might converge or diverge. So to find the interval of convergence, the convergence of the series \(\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}\) at endpoints \(x=a\pm R\) should be inspected carefully.

Exercise 10.56 Find the radius of convergence and interval of convergence of the series. \[ \sum\limits_{n=1}^{\infty}(-1)^{n} n x^{n} \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{(n+1)|x|^{n+1}}{n|x|^n}=|x|. \]

By ratio test, we know the the series converges if \(|x|<1\). So the radius of convergence is \(R=1\).

When \(|x|=1\), the limit \(\lim\limits_{n\to\infty} n=\infty\) so the power series diverges when \(|x|=1\).

Therefore, the interval of convergence is \((-1, 1)\).

Exercise 10.57 Find the radius of convergence and interval of convergence of the series. \[ \sum\limits_{n=1}^{\infty} \frac{(-1)^{n} x^{n}}{n^{2}} \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{n^2 |x|^{n+1}}{(n+1)^2|x|^n}=|x|. \]

By ratio test, we know the the series converges if \(|x|<1\). So the radius of convergence is \(R=1\).

When \(|x|=1\), the absolute value series is the \(p\)-series with \(p=2>1\). It follows that the power series \(\sum\limits_{n=1}^{\infty} \frac{(-1)^{n} x^{n}}{n^{2}}\) is absolutely convergent when \(|x|=1\).

Therefore, the interval of convergence is \([-1, 1]\).

Exercise 10.58 Find the radius of convergence and interval of convergence of the series. \[ \sum\limits_{n=1}^{\infty}(-1)^{n} \frac{n^{2} x^{n}}{2^{n}} \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{(n+1)^2 2^n |x|^{n+1}}{n^2 2^{n+1} |x|^n}=\frac{|x|}{2}. \]

By ratio test, we know the the series converges if \(\frac{|x|}{2}<1\), equivalently, \(|x|<2\). So the radius of convergence is \(R=2\).

When \(|x|=2\), \(\lim_{n\to\infty}\frac{(-1)^nn^2x^n}{2^n}\) does not exist. By the divergence test, the power series diverges when \(|x|=2\).

Therefore, the interval of convergence is \((-2, 2)\).

Exercise 10.59 Find the radius of convergence and interval of convergence of the series. \[ \sum\limits_{n=0}^{\infty}(-1)^{n} \frac{x^{2 n+1}}{(2 n+1) !} \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{ \frac{|x|^{2n+3}}{(2n+3)!} }{ \frac{|x|^{2n+1}}{(2n+1)!} }= \lim_{n\to\infty} \frac{|x|^2}{(2n+3)(2n+2)} =0, \] for any \(x\).

By ratio test, we know the the series converges for all \(x\). So the radius of convergence is \(R=\infty\) and the interval of convergence is \((-\infty, \infty)\).

Exercise 10.60 Find the radius of convergence and interval of convergence of the series. \[ \sum\limits_{n=1}^{\infty} \frac{3^{n}(x+4)^{n}}{\sqrt{n}} \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{ \frac{3^{n+1}|x+4|^{n+1}}{\sqrt{n+1}} }{ \frac{3^{n}|x+4|^{n}}{\sqrt{n}} }= \lim_{n\to\infty} \frac{3|x+4|\sqrt{n}}{\sqrt{n+1}} =3|x+4|. \]

By ratio test, we know the the series converges if \(|x+4|<\frac13\). So the radius of convergence is \(R=\frac13\).

When \(x+4=\frac13\), the power series is a divergent \(p\)-series with \(p=\frac12\).

When \(x+4=-\frac13\), the power series is a convergent alternating series.

Therefore, the interval of convergence is \[ \left[ -\frac13-4, \frac13-4 \right)=\left[ -\frac{13}3, -\frac{11}{3} \right). \]

Exercise 10.61 Find the radius of convergence and interval of convergence of the series. \[ \sum\limits_{n=2}^{\infty} \frac{b^{n}}{\ln n}(x-a)^{n}, \quad b>0 \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{ \frac{b^{n+1}|x-a|^{n+1}}{\ln(n+1)} }{ \frac{b^{n}|x-a|^{n}}{\ln n} }= \lim_{n\to\infty} \frac{b|x-a|\ln n}{\ln(n+1)} =b|x-a|. \]

By ratio test, we know the the series converges if \(|x-a|<\frac1b\). So the radius of convergence is \(R=\frac1b\).

When \(x-a=\frac1b\), the power series is a divergent by comparing with the \(p\)-series \(\sum\limits_{n\to\infty}\frac1n\).

When \(x-a=-\frac1b\), the power series is a convergent alternating series.

Therefore, the interval of convergence is \[ \left[ -\frac1b+a, \frac1b+a \right)=\left[ \frac{ab-1}b, -\frac{ab+1}{b} \right). \]

Exercise 10.62 Find the radius of convergence and interval of convergence of the series. \[ \sum_{n=1}^{\infty} n!(2x-1)^{n} \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{ (n+1)!|2x-1|^{n+1} }{ n!|2x-1|^{n} }= \begin{cases} 0 & \text{if}~~ x=\frac12\\[0.75em] \infty &\text{otherwise} \end{cases}. \]

By ratio test, we know the the series converges only if \(x=\frac12\). So the radius of convergence is \(R=0\).

Therefore, the interval of convergence is a one-point set \(\{\frac12\}\).

Exercise 10.63 Find the radius of convergence and interval of convergence of the series. \[ \sum\limits_{n=2}^{\infty} \frac{x^{2 n}}{n(\ln n)^{2}} \]

Solution.

Because the limit \[ \lim_{n\to\infty}\frac{|a_{n+1}|}{|a_n|}=\lim_{n\to\infty}\frac{ \frac{|x|^{2 n+2}}{(n+1)(\ln(n+1))^{2}} }{ \frac{|x|^{2 n}}{n(\ln n)^{2}} }= \lim_{n\to\infty} \frac{n(\ln n)^2|x|^2}{(n+1)(\ln(n+1))^{2}} =|x|^2. \]

By ratio test, we know the the series converges if \(|x|^2<1\), equivalently, \(|x|<1\). So the radius of convergence is \(R=1\).

When \(|x|=1\), the power series is a convergent by the integral test.

Therefore, the interval of convergence is \([-1, 1]\).

10.8 Representations of Functions as Power Series

Given a power series \(\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}\), we may define a function \(f(x)=\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}\) over the interval of convergence.

For example, \[ \frac{1}{1-x}=1+x+x^{2}+x^{3}+\cdots=\sum\limits_{n=0}^{\infty} x^{n} \qquad \text{for}~~ |x|<1. \]

Over the open interval \((a-R, a+R)\), where \(R\) is the radius of convergence, differential and integration commute with the sum operation.

Theorem 10.13 If the power series \(\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}\) has radius of convergence \(R\), then the function \(f\) defined by \[ f(x)=\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n} \] is differentiable over the interval \((a-R, a+R)\). Moreover, \[ \frac{\mathrm{d}}{\mathrm{d} x} f(x)= \frac{\mathrm{d}}{\mathrm{d} x}\left[\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}\right]=\sum\limits_{n=0}^{\infty} \frac{\mathrm{d}}{\mathrm{d} x}\left[c_{n}(x-a)^{n}\right] \] and \[ \int f(x)\mathrm{d} x=\int\left[\sum\limits_{n=0}^{\infty} c_{n}(x-a)^{n}\right]\mathrm{d} x=\sum\limits_{n=0}^{\infty} \int\left[c_{n}(x-a)^{n}\mathrm{d} x\right] \]

Exercise 10.64 Find a power series representation for the function and determine the radius of convergence. \[ f(x)=\frac{1}{2-x} \]

Solution.

Using the power series representation \[ \frac{1}{1-x}=1+x+x^2+\cdots, \]

We obtain \[ \begin{aligned} \frac{1}{2-x}=&\frac12\cdot\frac{1}{1-\frac x2}\\ =&\frac12\cdot\left(1+\frac x2+\left(\frac x2\right)^2+\cdots\right)\\ =&\frac12+\frac x{2^2}+\frac{x^2}{2^3}+\cdots\\ =&\sum_{n=0}^\infty\frac{x^{n}}{2^{n+1}} \end{aligned} \]

By ratio test, we find the radius of convergence is \(R=2\).

Exercise 10.65 Find a power series representation for the function and determine the radius of convergence. \[ f(x)=\frac{x}{4+x^{2}} \]

Solution.

A power series expansion can be obtained as follows \[ \begin{aligned} \frac{x}{4+x^{2}}=&\frac x4\cdot\frac{1}{1-\left(-\frac{x^2}{4}\right)}\\ =&\frac x4\cdot\left(1+\left(-\frac{x^2}{4}\right)+\left(-\frac{x^2}{4}\right)^2+\cdots\right)\\ =&\frac x4-\frac{x^3}{4^2}+\frac{x^5}{4^3}-\cdots\\ =&\sum_{n=0}^\infty\frac{(-1)^nx^{2n+1}}{4^{n+1}}. \end{aligned} \]

By ratio test, we find the radius of convergence is \(R=2\). Because the power series converges when \(|x|^2/4<1\).

Exercise 10.66 Find a power series representation for the function and determine the radius of convergence. \[ f(x)=\ln (5-x) \]

Solution.

Similar to the first exercise, we have a power series representation for \(\frac{1}{5-x}\)

\[ \frac{1}{5-x}=\sum_{n=0}^\infty\frac{x^{n}}{5^{n+1}}. \]

Because \((\ln(5-x))^\prime=-\frac{1}{5-x}\). By taking integral, we have \[ \begin{aligned} \ln(5-x)=&\int -\frac{1}{5-x} \mathrm{d} x\\ =& \int\left(\sum_{n=0}^\infty\frac{x^{n}}{5^{n+1}}\right)\mathrm{d} x\\ =& \sum_{n=0}^\infty\int \frac{x^{n}}{5^{n+1}}\mathrm{d} x\\ =& -\sum_{n=0}^\infty\frac{x^{n+1}}{(n+1)5^{n+1}}+C\\ =& -\sum_{n=0}^\infty\frac{x^{n+1}}{(n+1)5^{n+1}}+ \ln 5. \end{aligned} \] The last step was obtained by plugging \(x=0\) into both sides.

The radius of convergent is \(R=5\) by a ratio test.

Exercise 10.67 Find a power series representation for the function and determine the radius of convergence. \[ f(x)=x^{2} \arctan\left(x^{3}\right) \]

Solution.

If we can find a power series representation for \(\arctan(x^3)\), then multiplying the power series by \(x^2\), we will get a power series representation for \(x^2\arctan(x^3)\).

Note that \[ \begin{aligned} (\arctan(x^3))^\prime=&\frac{3x^2}{1+x^6}\\ =&3x^2\left(\frac{1}{1-(-x^6)}\right)\\ =&3x^2(1+(-x^6)+(-x^6)^2+(-x^6)^3+\cdots)\\ =&\sum_{n=0}^\infty 3(-1)^n x^{6n+2}. \end{aligned} \]

Then \[ \begin{aligned} \arctan(x^3)=&\sum_{n=0}^\infty\frac{3(-1)^n x^{6n+3}}{6n+3}+C\\ =&\sum_{n=0}^\infty\frac{(-1)^n x^{6n+3}}{2n+1} \qquad \text{because}\quad \arctan 0=0 \end{aligned} \]

Therefore, \[ x^2\arctan(x^3)\sum_{n=0}^\infty\frac{(-1)^n x^{6n+5}}{2n+1}. \]

The radius of convergent is \(R=1\) by a ratio test.

Exercise 10.68 Find a power series representation for the function and determine the radius of convergence. \[ f(x)=\left(\frac{x}{2-x}\right)^{3} \]

Solution.

A power series representation can be obtained as follows \[ \begin{aligned} \left(\frac{x}{2-x}\right)^{3}=&x^3\left(\frac{1}{2-x}\right)^{3}\\ =&x^3\cdot \frac12\cdot \left(\frac{1}{2-x}\right)^{\prime\prime}\\ =&\frac12 x^3\left(\sum_{n=0}^\infty\frac{x^{n}}{2^{n+1}}\right)^{\prime\prime}\\ =&\frac12 x^3\left(\sum_{n=2}^\infty\frac{n(n-1)x^{n-2}}{2^{n+1}}\right)\\ =&\sum_{n=2}^\infty\frac{n(n-1)x^{n+1}}{2^{n+2}}. \end{aligned} \]

The radius of convergent is \(R=2\) by a ratio test.

Exercise 10.69 Evaluate the indefinite integral as a power series. Find the radius of convergence of the integral. \[ \int \frac{t}{1-t^{8}} d t \]

Solution.

The rational function \(f(t)=\frac{t}{1-t^8}\) has a power series representation \[ \frac{t}{1-t^8}=t\cdot \frac{1}{1-t^8}=t\sum_{n=0}^\infty t^{8n}=\sum_{n=0}^\infty t^{8n+1}. \]

Therefore, the integral has a power series representation as follows \[ \begin{aligned} \int \frac{t}{1-t^8}\mathrm{d} t =&\int\left(\sum_{n=0}^\infty t^{8n+1}\right) \mathrm{d} t\\ =&\sum_{n=0}^\infty \left(\int t^{8n+1}\mathrm{d} t\right) \\ =&\sum_{n=0}^\infty \frac{t^{8n+2}}{8n+2}+C \\ \end{aligned} \]

The radius of convergent is \(R=1\) by a ratio test.

Exercise 10.70 Evaluate the indefinite integral as a power series. Find the radius of convergence of the integral \[ \int \frac{\arctan x}{x} d x \]

Solution.

The function \(f(x)=\arctan x\) has a power series representation as follows \[ \begin{aligned} \arctan x=&\int\frac{1}{1+x^2}\mathrm{d} x + C_0\\ =& \int \sum_{n=0}^\infty (-1)^nx^{2n} \mathrm{d} x + C_0\\ =& \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{2n+1} + C\\ =& \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{2n+1}\\ \end{aligned} \]

Therefore, the integral has a power series representation \[ \begin{aligned} \int \frac{\arctan x}{x} d x =&\int\left(\sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{2n+1}\right) \mathrm{d} t\\ =&\sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{(2n+1)^2}+C \\ \end{aligned} \]

The radius of convergent is \(R=1\) by a ratio test.

Exercise 10.71 Use a power series to approximate the definite integral to six decimal places. \[ \int_{0}^{0.2} \frac{1}{1+x^{5}} d x \]

Solution.

The indefinite integral has a power series representation as follows \[ \begin{aligned} \int\frac1{1+x^5}\mathrm{d} x =& \int \sum_{n=0}^\infty (-1)^nx^{5n} \mathrm{d} x\\ =& \sum_{n=0}^\infty \frac{(-1)^nx^{5n+1}}{5n+1} + C \end{aligned} \]

The radius is \(R=1\).

Since \(\frac{0.2^{11}}{11}\approx 1.89\times 10^{-9}\), to approximate the integral to six decimal places, it is enough to use only the first two terms of the power series representation, that is \[ \int_0^{0.2}\frac1{1+x^5}\mathrm{d} x\approx \frac{0.2}{1}-\frac{0.2^6}{6}\approx 0.2- 0.000011=0.199989. \]

10.9 Taylor Series and Applications

Suppose a function \(f\) has a power series representation, by differentiating the representation, we find the coefficients of the power series representation are determined by derivatives of the function.

Theorem 10.14 (Taylor Coefficients) If the function \(f\) has a power series representation (expansion) at \(a\), that is, \[ f(x)=\sum_{n=0}^\infty c_n(x-a)^n\qquad |x-a|<R, \] then the coefficients \(c_n\) are determined by the formula \[ c_n=\frac{f^{(n)}(a)}{n!}. \] In other words, if \(f\) has power series expansion, then it must be \[ f(x)=f(a)+\frac{f^{\prime} (a)}{1!}(x-a) + \frac{f^{\prime\prime} (a)}{2!}(x-a)^2 + \frac{f^{\prime\prime\prime} (a)}{3!}(x-a)^3 + \cdots. \]

For an infinitely differentiable function \(f\), we may define a power series at \(a\) \[ \sum_{n=0}^\infty\frac{f^{(k)}(a)}{k!}(x-a)^k. \] We call this series the Taylor series generated by \(f\) at \(a\) or the Taylor expansion of \(f\) at \(a\).

The Taylor series of \(f\) at \(0\) is also called an Maclaurin series (expansion).

In general, the Taylor series may not converge for \(x\neq a\). Even it converges for \(x\neq a\), the sum of the Taylor series may not be \(f(x)\).

Remark. A function \(f\) that has a convergent power series representation is called a (real) analytic function. Real analytical functions are infinitely differentiable (also known as smooth), that is, differentiable up to any order.

However, not all smooth functions are real analytic. There exists non-analytic smooth functions.

A sufficient (and necessary) condition for the convergence of the Taylor series to \(f(x)\) for \(x\neq a\) can be given using the reminder of the Taylor series.

We call the partial sum \[ T_n(x)=\sum_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k \] the \(n\)-th degree Taylor polynomial of \(f\) at \(a\).

If \(f\) is the sum of its Taylor series, then \(\lim\limits_{n\to\infty} T_n(x)=f(x)\) or equivalently \(\lim\limits_{n\to\infty}(f(x)-T_n(x))=0\). We call the difference \(R_n(x)=f(x)-T_n(x)\) the reminder of the Taylor series.

Theorem 10.15 (Taylor Formula) Assume that \(f\) has a continuous derivative of order \(n+1\) in an interval \(I\) of \(a\). Then for any \(x\) in \(I\), we have \[ f(x)= \sum_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k + R_n(x), \] where \[ R_n(x)=\frac{1}{n!}\int_a^x(x-t)^nf^{(n+1)}(t)\mathrm{d} t = \frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}, \] and \(c\) is in between \(a\) and \(x\) inclusively.

The Taylor formula and the first equality for \(R_n(x)\) can be proved by induction. The second equality for \(R_n(x)\) is obtained by the weighted mean-value theorem for integral. The reminder \(R_n(x)=\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}\) is called the Lagrange’s form of the reminder.

From Theorem 10.15, we can deduce a sufficient condition such that the sum of the Taylor series of \(f\) equals \(f(x)\).

Theorem 10.16 If \(|f^{(n+1)}(x)|\leq M\) for \(|x-a|\leq R\) and \[ \lim_{n\to \infty} \frac{M}{(n+1)!}|x-a|^{n+1}=0 \qquad \text{for}\quad|x-a|\leq R. \] Then \[ f(x)=\sum_{n=0}^\infty c_n(x-a)^n\qquad \text{for}\quad |x-a|<R. \]

One can check that all elementary functions are sums of their Taylor series.

Important Maclaurin Series and their Radii of Convergence

Power Series Representation Radius of Convergence Interval of Convergence
\(\frac1{1-x}=\sum\limits_{n=0}^\infty x^n=1+x+x^2+x^3+\cdots\) \(R = 1\) \((-1, 1)\)
\(e^x=\sum\limits_{n=0}^\infty\frac{x^n}{n!}=1+\frac{x}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots\) \(R = \infty\) \((-\infty, \infty)\)
\(\sin x=\sum\limits_{n=0}^\infty\frac{(-1)^nx^{2n+1}}{(2n+1)!}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots\) \(R = \infty\) \((-\infty, \infty)\)
\(\cos x=\sum\limits_{n=0}^\infty\frac{(-1)^nx^{2n}}{(2n)!}=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots\) \(R = \infty\) \((-\infty, \infty)\)
\(\arctan x=\sum\limits_{n=0}^\infty\frac{(-1)^nx^{2n+1}}{2n+1}=x-\frac{x^3}{3}+\frac{x^5}{5}-\frac{x^7}{7}+\cdots\) \(R = 1\) \([-1, 1]\)
\(\ln(1+x)=\sum\limits_{n=1}^\infty\frac{(-1)^{n-1}x^{n}}{n}=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots\) \(R = 1\) \((-1, 1]\)
\((1+x)^k=\sum\limits_{n=0}^\infty{k\choose n}x^n=1+kx+\frac{k(k-1)}{2!}x^2+\frac{k(k-1)(k-2)}{3!}x^3+\cdots\) \(R = 1\) depends on \(k\)

Remark. Using Taylor expansion, we can deduce the famous Euler’s formula \[ e^{i\theta}=\cos\theta+i\sin\theta \] for all real numbers \(\theta\).

Exercise 10.72 Find the Taylor series for the given function at the given point. Determine the radius of convergence. \[ f(x)=\ln x, \qquad a=1. \]

Solution.

By induction, the \(n\)-th derivative of \(f(x)=\ln x\) is \[ f^{(n)}(x)=\frac{\mathrm{d}^{n-1}}{\mathrm{d}x^{n-1}}(x^{-1})=(-1)^{n+1}(n-1)! x^{-n}. \] Plugging in \(x=1\), we obtain the \(n\)-th Taylor coefficient \[ \frac{f^{(n)}(1)}{n!}=\frac{(-1)^{n+1}(n-1)!}{n!}=\frac{(-1)^{n+1}}{n}. \]

Therefore, the Taylor series of the function \(f(x)=\ln x\) at \(a=1\) is \[ \sum_{n=1}^\infty\frac{(-1)^{n+1}(x-1)}{n} = (x-1) - \frac{(x-1)^2}{2} + \frac{(x-1)^3}{3} - \frac{(x-1)^4}{4} + \cdots. \] By the ratio test, we know the radius of convergence of the Taylor series is \(R=1\).

Remark: It can be shown that \(\ln x=\sum\limits_{n=1}^\infty\frac{(-1)^{n+1}(x-1)}{n}\) using the power series representation \(\ln(1+x)=\sum\limits_{n=0}^\infty\frac{x^n}{n}\).

Exercise 10.73 Find the Maclaurin series for the given function at the given point. Determine the radius of convergence. \[ f(x)=\arctan(x^2) \]

Solution.

Using the power series expansion \[ \arctan x=\sum_{n=0}^\infty(-1)^{n}\frac{x^{2n+1}}{2n+1} \] we get \[ \arctan(x^2)=\sum_{n=0}^\infty(-1)^{n}\frac{x^{4n+2}}{2n+1}. \] By Theorem 10.14, we know that \(\sum\limits_{n=0}^\infty(-1)^{n}\frac{x^{4n+2}}{2n+1}\) is the Maclaurin series of \(f\).

The radius of convergence is \(R=1\).

Exercise 10.74 Find the Maclaurin series for the given function at the given point. Determine the radius of convergence. \[ f(x)=x\ln(1+x^2) \]

Solution.

Using the power series expansion \[ \ln(1+x)=\sum_{n=0}^\infty\frac{x^n}{n} \] we get \[ x\ln(1+x^2)=x\sum_{n=0}^\infty\frac{x^{2n}}{n}=\sum_{n=0}^\infty\frac{x^{2n+1}}{n} \] which is the Maclaurin series of \(f(x)=x\ln(1+x^2)\).

The radius of convergence is \(R=1\).

Exercise 10.75 Find the Maclaurin series for the given function at the given point. Determine the radius of convergence. \[ f(x)=\sin(\pi x) \]

Solution.

Using the power series expansion \[ \sin x=\sum_{n=0}^\infty(-1)^{n}\frac{x^{2n+1}}{(2n+1)!} \] we get the Maclaurin series \[ \sin(\pi x)=\sum_{n=0}^\infty(-1)^{n}\frac{\pi^{2n+1}x^{2n+1}}{(2n+1)!} \]

The radius of convergence is \(R=\infty\).

Exercise 10.76 Find the Maclaurin series for the given function at the given point. Determine the radius of convergence. \[ f(x)=x^2e^{2x} \]

Solution.

Using the power series expansion \[ e^x=\sum_{n=0}^\infty\frac{x^n}{n!} \] we get the Maclaurin series \[ x^2e^{2x}=x^2\sum_{n=0}^\infty\frac{2^nx^{n}}{n!}=\sum_{n=0}^\infty\frac{2^nx^{n+2}}{n!}. \]

The radius of convergence is \(R=\infty\).

Exercise 10.77 Find the Maclaurin series for the given function at the given point. Determine the radius of convergence. \[ f(x)=\frac{x}{\sqrt{4+x}} \]

Solution.

Using the power series expansion \[ (1+x)^k=1+kx+\frac{k(k-1)}{2!}x^2+\frac{k(k-1)(k-2)}{3!}x^3+\cdots \] we get \[ (1+x)^{-1/2}=1-\frac{1}{2} x+\frac{1\cdot 3}{2^2\cdot 2!}x^2-\frac{1\cdot 3\cdot 5}{2^3\cdot 3!}x^3+\cdots=\sum_{n=0}^\infty(-1)^n\frac{(2n-1)!}{2^{2n-1}(n-1)!n!} x^n \] Then the Maclaurin series of \(\frac{x}{\sqrt{4+x}}\) is \[ \begin{aligned} \frac{x}{\sqrt{4+x}}=&\frac{x}{2}\cdot(1+\frac{x}{2})^{-1/2}\\ =& \frac{x}{2}\left(1-\frac{1}{2} \left(\frac x2\right)+\frac{1\cdot 3}{2^2\cdot 2!}\left(\frac x2\right)^2-\frac{1\cdot 3 \cdot 5}{2^3\cdot 3!}\left(\frac x2\right)^3+\cdots\right)\\ =& \frac{x}{2}\left(1-\frac{1}{2\cdot 2} x + \frac{1\cdot 3}{2^4\cdot 2!}x^2 - \frac{1\cdot 3 \cdot 5}{2^6\cdot 3!} x^3+\cdots\right)\\ =& \frac{x}{2}-\frac{1}{2^3}x^2+\frac{1\cdot 3}{2^5\cdot 2!}x^3-\frac{1\cdot 3 \cdot 5}{2^7\cdot 3!}x^4+\cdots\\ =&\sum_{n=0}^\infty(-1)^n\frac{(2n-1)!}{2^{3n}(n-1)!n!} x^{n+1}. \end{aligned} \]

Exercise 10.78 Evaluate the integral as a power series and determine the radius of convergence. \[ \int\frac{\cos x-1}x\mathrm{d} x \]

Solution.

Because \[ \cos x = \sum\limits_{n=0}^\infty\frac{(-1)^nx^{2n}}{(2n)!} \] with the radius of convergence \(R=\infty\). Then \[ \frac{\cos x-1}x=\sum\limits_{n=1}^\infty\frac{(-1)^nx^{2n-1}}{(2n)!}. \] with the radius of convergence \(R=\infty\).

Taking integral of both sides, we get \[ \begin{aligned} \int\frac{\cos x-1}x\mathrm{d} x =&\int \left(\sum\limits_{n=1}^\infty\frac{(-1)^nx^{2n-1}}{(2n)!}\right)\mathrm{d} x\\ =& \sum\limits_{n=1}^\infty\left(\int \frac{(-1)^nx^{2n-1}}{(2n)!} \mathrm{d} x \right)\\ =&\sum\limits_{n=1}^\infty\frac{(-1)^nx^{2n}}{2n(2n)!}. \end{aligned} \]

Exercise 10.79 Evaluate the limit \[ \lim\limits_{x\to 0}\frac{x-\arctan x }{x^3} \]

Solution.

Using the Taylor expansion \[ \arctan x=x-\frac{x^{3}}{3}+\frac{x^5}{5}-\frac{x^7}{7} \] we find that \[ \frac{x-\arctan x }{x^3}=-\frac13+\frac{x^2}{5}-\frac{x^4}{7}+\cdots \] Using the fact that \(-\frac13+\frac{x^2}{5}-\frac{x^4}{7}+\cdots\) is a continuous function, we find that \[ \begin{aligned} \lim\limits_{x\to 0}\frac{x-\arctan x }{x^3} =&\lim_{x\to 0}\left(-\frac13+\frac{x^2}{5}-\frac{x^4}{7}+\cdots\right)\\ =&-\frac13+\frac{0^2}{5}-\frac{0^4}{7}+\cdots\\ =&-\frac13. \end{aligned} \]

Exercise 10.80 Find the sum of the series \[ \frac{\pi}{1!\cdot 2} - \frac{\pi^3}{3!\cdot 2^3} + \frac{\pi^5}{5!\cdot 2^5} - \frac{\pi^7}{7!\cdot 2^7} + \cdots \]

Solution.

Consider the power series \[ \frac{x}{1!} - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \] which converges for all real number \(x\).

Comparing with the Taylor expansion of \(\sin x\), we find that \[ \frac{x}{1!} - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots =\sin x \] for all real number \(x\).

Plug \(x=\frac{\pi}2\) into both sides, we get \[ \frac{\pi}{1!\cdot 2} - \frac{\pi^3}{3!\cdot 2^3} + \frac{\pi^5}{5!\cdot 2^5} - \frac{\pi^7}{7!\cdot 2^7} + \cdots =\sin\frac{\pi}2=1. \]

Exercise 10.81 Find the sum of the series \[ \frac1{2} + \frac1{2\cdot 2^2} + \frac1{3\cdot 2^3} + \frac1{4\cdot 2^4} + \cdots \]

Solution.

Consider the power series \[ x+\frac{x^2}{2}+\frac{x^3}{3}+\frac{x^4}{4}+\cdots \] which converges when \(|x|<1\).

Comparing with the Taylor expansion of \(\ln(1+x)\), we find that \[ -\ln(1-x) = x+\frac{x^2}{2}+\frac{x^3}{3}+\frac{x^4}{4}+\cdots \] for \(|x|<1\).

Plug \(x=\frac12\) into both sides, we get \[ \frac1{2} + \frac1{2\cdot 2^2} + \frac1{3\cdot 2^3} + \frac1{4\cdot 2^4} + \cdots =-\ln(1-\frac12)=\ln 2. \]