Real series/Introduction/Section

Definition

Let ${\left(a_k\right)}_{k\in \mathbb{N}}$ be a sequence of real numbers. The series $\sum _{k=0}^{\mathrm{\infty }}{a}_k$ is the sequence ${\left(s_n\right)}_{n\in \mathbb{N}}$ of the partial sums

$s_n:=\sum _{k=0}^n{a}_k.$

If the sequence ${\left(s_n\right)}_{n\in \mathbb{N}}$ converges, then we say that the series converges. In this case, we also write

$\sum _{k=0}^{\mathrm{\infty }}{a}_k$

for its limit,

and this limit is called the sum of the series.

All concepts for sequences carry over to series if we consider a series $\sum _{k=0}^{\mathrm{\infty }}{a}_k$ as the sequence of its partial sums $s_n=\sum _{k=0}^n{a}_k$. Like for sequences, it might happen that the sequence does not start with $k=0$ but later.

Example

We want to compute the series

$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k(k+1)}.$

For this, we give a formula for the $n$-th partial sum. We have

$s_n=\sum _{k=1}^n\frac{1}{k(k+1)}=\sum _{k=1}^n(\frac{1}{k}-\frac{1}{k+1})=1-\frac{1}{n+1}=\frac{n}{n+1}.$

This sequence converges to $1$, so that the series converges and its sum equals $1$.

Lemma

Let

$\sum _{k=0}^{\mathrm{\infty }}{a}_k\text{ and }\sum _{k=0}^{\mathrm{\infty }}{b}_k$

denote convergent series of real numbers with sums $s$ and $t$

respectively. Then the following statements hold.

1. The series $\sum _{k=0}^{\mathrm{\infty }}{c}_k$ given by $c_k:=a_k+b_k$ is also convergent and its sum is $s+t$.
2. For $r\in ℝ$ also the series $\sum _{k=0}^{\mathrm{\infty }}{d}_k$ given by $d_k:=r{a}_k$ is convergent and its sum is $rs$.

Proof

See exercise.

$◻$

Lemma

Let

$\sum _{k=0}^{\mathrm{\infty }}{a}_k$

be a series of real numbers. Then the series is convergent if and only if the following Cauchy-criterion holds: For every $ϵ>0$ there exists some $n_0$ such that for all

$n\ge m\ge n_0$

the estimate

$|\sum _{k=m}^n{a}_k|\le ϵ$

holds.

Proof

See exercise.

$◻$

Lemma

Let

$\sum _{k=0}^{\mathrm{\infty }}{a}_k$

denote a convergent series of real numbers. Then

$\underset{k\to \mathrm{\infty }}{lim}{a}_k=0.$

Proof

This follows directly from fact.

$◻$

Nikolaus of Oresme (1330-1382) proved that the harmonic series diverges.

It is therefore a necessary condition for the convergence of a series that its members form a null sequence. This condition is not sufficient, as the harmonic series shows.

Example

The harmonic series is the series

$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k}.$

So this series is about the "infinite sum“ of the unit fractions

$1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}+\dots .$

This series diverges: For the $2^n$ numbers $k=2^n+1,\dots ,2^{n+1}$, we have

$\sum _{k=2^n+1}^{2^{n+1}}\frac{1}{k}\ge \sum _{k=2^n+1}^{2^{n+1}}\frac{1}{2^{n+1}}=2^n\frac{1}{2^{n+1}}=\frac{1}{2}.$

Therefore,

$\sum _{k=1}^{2^{n+1}}\frac{1}{k}=1+\sum _{i=0}^n\left(\sum _{k=2^i+1}^{2^{i+1}}\frac{1}{k}\right)\ge 1+(n+1)\frac{1}{2}.$

Hence, the sequence of the partial sums is unbounded, and so, due to fact, not convergent.

The divergence of the harmonic series implies that one can construct with equal building bricks an arbitrary large overhang.

The following statement is called Leibniz criterion for alternating series.

Theorem

Let ${\left(x_k\right)}_{k\in \mathbb{N}}$ be an decreasing null sequence of nonnegative real numbers. Then the series $\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k{x}_k$

converges.

Proof

This proof was not presented in the lecture.

$◻$