The purpose of this article is to provide some basic counterexamples on real series. Counterexamples are provided as answers to questions.

Unless otherwise stated, \((u_n)_{n \in \mathbb{N}}\) and \((v_n)_{n \in \mathbb{N}}\) are two real sequences.

If \((u_n)\) is non-increasing and converges to zero then \(\sum u_n\) converges?

Is not true. A famous counterexample is the harmonic series \(\sum \frac{1}{n}\) which doesn’t converge as \[
\displaystyle \sum_{k=p+1}^{2p} \frac{1}{k} \ge \sum_{k=p+1}^{2p} \frac{1}{2p} = 1/2,\] for all \(p \in \mathbb N\).

If \(u_n = o(1/n)\) then \(\sum u_n\) converges?

Does not hold as can be seen considering \(u_n=\frac{1}{n \ln n}\) for \(n \ge 2\). Indeed \(\int_2^x \frac{dt}{t \ln t} = \ln(\ln x) – \ln (\ln 2)\) and therefore \(\int_2^\infty \frac{dt}{t \ln t}\) diverges. We conclude that \(\sum \frac{1}{n \ln n}\) diverges using the integral test. However \(n u_n = \frac{1}{\ln n}\) converges to zero. Continue reading Counterexamples around series (part 1) →

The Raabe-Duhamel’s test (also named Raabe’s test) is a test for the convergence of a series \[
\sum_{n=1}^\infty a_n \] where each term is a real or complex number. The Raabe-Duhamel’s test was developed by Swiss mathematician Joseph Ludwig Raabe.

It states that if:

\[\displaystyle \lim _{n\to \infty }\left\vert{\frac {a_{n}}{a_{n+1}}}\right\vert=1 \text{ and } \lim _{{n\to \infty }} n \left(\left\vert{\frac {a_{n}}{a_{{n+1}}}}\right\vert-1 \right)=R,\]
then the series will be absolutely convergent if \(R > 1\) and divergent if \(R < 1\). First one can notice that Raabe-Duhamel's test maybe conclusive in cases where ratio test isn't. For instance, consider a real \(\alpha\) and the series \(u_n=\frac{1}{n^\alpha}\). We have \[ \lim _{n\to \infty } \frac{u_{n+1}}{u_n} = \lim _{n\to \infty } \left(\frac{n}{n+1} \right)^\alpha = 1\] and therefore the ratio test is inconclusive. However \[ \frac{u_n}{u_{n+1}} = \left(\frac{n+1}{n} \right)^\alpha = 1 + \frac{\alpha}{n} + o \left(\frac{1}{n}\right)\] for \(n\) around \(\infty\) and \[ \lim _{{n\to \infty }} n \left(\frac {u_{n}}{u_{{n+1}}}-1 \right)=\alpha.\] Raabe-Duhamel's test allows to conclude that the series \(\sum u_n\) diverges for \(\alpha <1\) and converges for \(\alpha > 1\) as well known.

When \(R=1\) in the Raabe’s test, the series can be convergent or divergent. For example, the series above \(u_n=\frac{1}{n^\alpha}\) with \(\alpha=1\) is the harmonic series which is divergent.

On the other hand, the series \(v_n=\frac{1}{n \log^2 n}\) is convergent as can be proved using the integral test. Namely \[
0 \le \frac{1}{n \log^2 n} \le \int_{n-1}^n \frac{dt}{t \log^2 t} \text{ for } n \ge 3\] and \[
\int_2^\infty \frac{dt}{t \log^2 t} = \left[-\frac{1}{\log t} \right]_2^\infty = \frac{1}{\log 2}\] is convergent, while \[
\frac{v_n}{v_{n+1}} = 1 + \frac{1}{n} +\frac{2}{n \log n} + o \left(\frac{1}{n \log n}\right)\] for \(n\) around \(\infty\) and therefore \(R=1\) in the Raabe-Duhamel’s test.

Let \(\sum_{n = 0}^\infty a_n, \sum_{n = 0}^\infty b_n\) be two series of real numbers. The Cauchy product \(\sum_{n = 0}^\infty c_n\) is the series defined by \[
c_n = \sum_{k=0}^n a_k b_{n-k}\] According to the theorem of Mertens, if \(\sum_{n = 0}^\infty a_n\) converges to \(A\), \(\sum_{n = 0}^\infty b_n\) converges to \(B\) and at least one of the two series is absolutely convergent, their Cauchy product converges to \(AB\). This can be summarized by the equality \[
\left( \sum_{n = 0}^\infty a_n \right) \left( \sum_{n = 0}^\infty b_n \right) = \sum_{n = 0}^\infty c_n\]

The assumption stating that at least one of the two series converges absolutely cannot be dropped as shown by the example \[
\sum_{n = 0}^\infty a_n = \sum_{n = 0}^\infty b_n = \sum_{n = 0}^\infty \frac{(-1)^n}{\sqrt{n+1}}\] Those series converge according to Leibniz test, as the sequence \((1/\sqrt{n+1})\) decreases monotonically to zero. However, the Cauchy product is defined by \[
c_n=\sum_{k=0}^n \frac{(-1)^k}{\sqrt{k+1}} \cdot \frac{(-1)^{n-k}}{\sqrt{n-k+1}} = (-1)^n \sum_{k=0}^n \frac{1}{\sqrt{(k+1)(n-k+1)}}\] As we have \(1 \le k+ 1 \le n+1\) and \(1 \le n-k+ 1 \le n+1\) for \(k = 0 \dots n\), we get \(\frac{1}{\sqrt{(k+1)(n-k+1)}} \ge \frac{1}{n+1}\) and therefore \(\vert c_n \vert \ge 1\) proving that the Cauchy product of \(\sum_{n = 0}^\infty a_n\) and \(\sum_{n = 0}^\infty b_n\) diverges.

The Cauchy product may also converge while the initial series both diverge. Let’s consider \[
\begin{cases}
(a_n) = (2, 2, 2^2, \dots, 2^n, \dots)\\
(b_n) = (-1, 1, 1, 1, \dots)
\end{cases}\] The series \(\sum_{n = 0}^\infty a_n, \sum_{n = 0}^\infty b_n\) diverge. Their Cauchy product is the series defined by \[
c_n=\begin{cases}
-2 & \text{ for } n=0\\
0 & \text{ for } n>0
\end{cases}\] which is convergent.

Let’s recall two theorems about infinite products \(\prod \ (1+a_n)\). The first one deals with nonnegative terms \(a_n\).

THEOREM 1 An infinite product \(\prod \ (1+a_n)\) with nonnegative terms \(a_n\) converges if and only if the series \(\sum a_n\) converges.

The second is related to infinite products with complex terms.

THEOREM 2 The absolute convergence of the series \(\sum a_n\) implies the convergence of the infinite product \(\prod \ (1+a_n)\). Moreover \(\prod \ (1+a_n)\) is not zero providing \(a_n \neq -1\) for all \(n \in \mathbb N\).

The converse of Theorem 2 is not true as shown by following counterexample.

We consider \(a_n=(-1)^n/(n+1)\). For \(N \in \mathbb N\) we have:
\[\prod_{n=1}^N \ (1+a_n) =
\begin{cases}
\frac{1}{2} &\text{ for } N \text{ odd}\\
\frac{1}{2}(1+\frac{1}{N+1}) &\text{ for } N \text{ even}
\end{cases}
\] hence the infinite product \(\prod \ (1+a_n)\) converges (to \(\frac{1}{2}\)) while the series \(\sum \left\vert a_n \right\vert = \sum \frac{1}{n+1}\) diverges (it is the harmonic series with first term omitted).