Intermediate Calculus

§1 Series Review

A review of infinite series, convergence, and the integral, alternating-series, ratio, and root tests.

Calculus studies two closely related ideas:

  • differentiation, which describes rates of change and local approximations;
  • integration, which describes accumulation through limits of sums.

For a one-variable function ff, the derivative f(a)f'(a) gives the slope at x=ax=a. Near aa, the tangent line gives the approximation

f(x)f(a)+f(a)(xa).f(x)\approx f(a)+f'(a)(x-a).

If the second derivative f(a)f''(a) exists, a quadratic approximation is

f(x)f(a)+f(a)(xa)+12f(a)(xa)2.f(x)\approx f(a)+f'(a)(x-a)+\frac12 f''(a)(x-a)^2.

In multivariable calculus, the same ideas extend to functions of several variables. For a surface z=f(x,y)z=f(x,y), the partial derivatives fx(a,b)f_x(a,b) and fy(a,b)f_y(a,b) measure change in the xx- and yy-directions. They determine the tangent plane, which gives a local linear approximation near (a,b)(a,b).

Integration also extends to several variables. A double integral adds many small contributions over a two-dimensional region. When f(x,y)0f(x,y)\ge 0, a double integral can represent the volume under the surface z=f(x,y)z=f(x,y).

The rest of this note reviews the one-variable series tools needed later in the course.

Infinite series and partial sums

A sequence is an ordered list of numbers

a0,a1,a2,,a_0,a_1,a_2,\ldots,

where ana_n is the term with index nn.

An infinite series is written as

n=0an=a0+a1+a2+.\sum_{n=0}^{\infty}a_n =a_0+a_1+a_2+\cdots.

We define its value through finite sums. For a nonnegative integer NN, the NNth partial sum is

SN=n=0Nan.S_N=\sum_{n=0}^{N}a_n.

If the partial sums approach a finite real number SS, we write

limNSN=S,\lim_{N\to\infty}S_N=S,

then the series converges to SS. If the partial sums do not approach a finite number, the series diverges.

Changing, adding, or removing finitely many initial terms can change the value of a convergent series, but it cannot change whether the series converges.

Geometric series

A geometric series has a constant ratio rr between consecutive terms:

n=0arn=a+ar+ar2+,\sum_{n=0}^{\infty}ar^n =a+ar+ar^2+\cdots,

where aa is the first term and rr is the common ratio.

When r1r\ne1, the NNth partial sum is

SN=a1rN+11rS_N=a\frac{1-r^{N+1}}{1-r}

If r<1|r|<1, then rN+10r^{N+1}\to0, so

n=0arn=a1r.\sum_{n=0}^{\infty}ar^n=\frac{a}{1-r}.

If r1|r|\ge1 and a0a\ne0, the geometric series diverges.

The divergence test

Every convergent series must have terms that approach zero:

n=0an convergeslimnan=0.\sum_{n=0}^{\infty}a_n\text{ converges} \quad\Longrightarrow\quad \lim_{n\to\infty}a_n=0.

This gives the divergence test, also called the nnth-term test:

limnan0or the limit does not existn=0an diverges.\lim_{n\to\infty}a_n\ne0 \quad\text{or the limit does not exist} \quad\Longrightarrow\quad \sum_{n=0}^{\infty}a_n\text{ diverges}.

The reverse is false. If an0a_n\to0, the series may still diverge. For example, the harmonic series

n=11n\sum_{n=1}^{\infty}\frac1n

diverges even though 1/n01/n\to0.

The integral test and p-series

Suppose ff is continuous, positive, and decreasing for x1x\ge1, and let an=f(n)a_n=f(n). The integral test says

n=1an converges1f(x)dx converges.\sum_{n=1}^{\infty}a_n\text{ converges} \quad\Longleftrightarrow\quad \int_1^{\infty}f(x)\,dx\text{ converges}.

The series and improper integral therefore either both converge or both diverge.

A pp-series has the form

n=11np,\sum_{n=1}^{\infty}\frac1{n^p},

where pp is a real number. Using the integral test,

n=11np{converges,p>1,diverges,p1.\sum_{n=1}^{\infty}\frac1{n^p} \begin{cases} \text{converges}, & p>1,\\ \text{diverges}, & p\le1. \end{cases}

The harmonic series is the case p=1p=1.

The graph below compares the partial sums for p=2p=2 with the harmonic series. Move the slider to include more terms. The p=2p=2 curve levels off, while the harmonic partial sums continue to grow.

How partial sums behave

Increase the number of terms and compare a convergent series with the harmonic series.

After 30 terms, the sum of one over n squared is 1.612 and approaches a finite value. The harmonic partial sum is 3.995 and continues to grow.01234151015202530Number of terms, NPartial sum, Sₙ
Convergent series
Σ 1/n² = 1.612
Harmonic series
Σ 1/n = 3.995

The 1/n² curve approaches a finite value. The harmonic series grows slowly, but it never settles at one.

Absolute and conditional convergence

A series

n=1an\sum_{n=1}^{\infty}a_n

converges absolutely if the series of absolute values

n=1an\sum_{n=1}^{\infty}|a_n|

converges. Absolute convergence always implies convergence of the original series.

A series converges conditionally if

n=1an\sum_{n=1}^{\infty}a_n

converges but

n=1an\sum_{n=1}^{\infty}|a_n|

diverges.

The alternating series test

An alternating series switches between positive and negative terms. The factor (1)n1(-1)^{n-1} produces the signs +,,+,,+,-,+,-,\ldots, so an alternating series can be written as

n=1(1)n1bn,\sum_{n=1}^{\infty}(-1)^{n-1}b_n,

where bn>0b_n>0.

The alternating series test says the series converges if both conditions hold:

  1. The magnitudes eventually decrease: bn+1bnb_{n+1}\le b_n.
  2. The magnitudes approach zero: limnbn=0\lim_{n\to\infty}b_n=0.

For example,

n=1(1)n1n=112+1314+\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}n =1-\frac12+\frac13-\frac14+\cdots

converges by the alternating series test. It does not converge absolutely because

n=1(1)n1n=n=11n\sum_{n=1}^{\infty}\left|\frac{(-1)^{n-1}}n\right| =\sum_{n=1}^{\infty}\frac1n

is the divergent harmonic series. Therefore, the alternating harmonic series converges conditionally.

The ratio test

For a series an\sum a_n, suppose the following limit exists:

L=limnan+1an.L=\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|.

The ratio test gives three cases:

Value of LLConclusion
L<1L<1The series converges absolutely.
L>1L>1 or L=L=\inftyThe series diverges.
L=1L=1The test gives no conclusion.

The ratio test is especially useful when the terms contain factorials or powers.

Example: a factorial series

Fix a real number xx. Recall that n!=n(n1)21n!=n(n-1)\cdots2\cdot1, with 0!=10!=1. Now consider

n=0xnn!,\sum_{n=0}^{\infty}\frac{x^n}{n!},

If x=0x=0, the series equals 11 and converges. For x0x\ne0, let

an=xnn!.a_n=\frac{x^n}{n!}.

Then

an+1an=xn+1(n+1)!n!xn=xn+10.\left|\frac{a_{n+1}}{a_n}\right| = \left|\frac{x^{n+1}}{(n+1)!}\frac{n!}{x^n}\right| = \frac{|x|}{n+1} \longrightarrow0.

Since 0<10<1, the series converges absolutely for every real xx.

Example: checking endpoints separately

Consider

n=1(1)n1xnn.\sum_{n=1}^{\infty}(-1)^{n-1}\frac{x^n}{n}.

At x=0x=0, every term is zero, so the series converges. For x0x\ne0, let

an=(1)n1xnn,a_n=(-1)^{n-1}\frac{x^n}{n},

we get

an+1an=xnn+1x.\left|\frac{a_{n+1}}{a_n}\right| =|x|\frac{n}{n+1} \longrightarrow |x|.

Therefore, the series converges absolutely when x<1|x|<1 and diverges when x>1|x|>1. The ratio test gives no conclusion when x=1|x|=1, so we check both endpoints:

  • At x=1x=1, the series is the alternating harmonic series, so it converges conditionally.
  • At x=1x=-1, the series becomes n=11/n-\sum_{n=1}^{\infty}1/n, so it diverges.

The series therefore converges for

1<x1.-1<x\le1.

The root test

For a series an\sum a_n, suppose the following limit exists:

L=limnann.L=\lim_{n\to\infty}\sqrt[n]{|a_n|}.

The root test has the same three outcomes as the ratio test:

Value of LLConclusion
L<1L<1The series converges absolutely.
L>1L>1 or L=L=\inftyThe series diverges.
L=1L=1The test gives no conclusion.

It is most useful when an entire expression is raised to the nnth power.

Example

Fix a real number xx and consider

n=1xn(nn+1)n.\sum_{n=1}^{\infty}x^n\left(\frac{n}{n+1}\right)^n.

Starting at n=1n=1 avoids the undefined expression 000^0 and does not affect the convergence question. Let

an=xn(nn+1)n.a_n=x^n\left(\frac{n}{n+1}\right)^n.

Then

ann=xnn+1x.\sqrt[n]{|a_n|} =|x|\frac{n}{n+1} \longrightarrow |x|.

The series converges absolutely when x<1|x|<1 and diverges when x>1|x|>1. At x=1x=1,

(nn+1)n=(1+1n)ne10.\left(\frac{n}{n+1}\right)^n = \left(1+\frac1n\right)^{-n} \longrightarrow e^{-1}\ne0.

At x=1x=-1, the terms alternate between values whose magnitudes approach e1e^{-1}, so their limit does not exist. In both endpoint cases, the terms fail to approach zero. The divergence test therefore shows that both endpoint series diverge.

The series converges exactly when

1<x<1.-1<x<1.
Back to Intermediate Calculus