We provide in this article an example of a pointwise convergent sequence of real functions that doesn’t converge uniformly on any interval.

Let’s consider a sequence \((a_p)_{p \in \mathbb N}\) enumerating the set \(\mathbb Q\) of rational numbers. Such a sequence exists as \(\mathbb Q\) is countable.

Now let \((g_n)_{n \in \mathbb N}\) be the sequence of real functions defined on \(\mathbb R\) by \[

g_n(x) = \sum_{p=1}^{\infty} \frac{1}{2^p} f_n(x-a_p)\] where \(f_n : x \mapsto \frac{n^2 x^2}{1+n^4 x^4}\) for \(n \in \mathbb N\).

### \(f_n\) main properties

\(f_n\) is a rational function whose denominator doesn’t vanish. Hence \(f_n\) is indefinitely differentiable. As \(f_n\) is an even function, we can study it only on \([0,\infty)\).

We have \[

f_n^\prime(x)= 2n^2x \frac{1-n^4x^4}{(1+n^4 x^4)^2}.\] \(f_n^\prime\) vanishes at zero (like \(f_n\)) is positive on \((0,\frac{1}{n})\), vanishes at \(\frac{1}{n}\) and is negative on \((\frac{1}{n},\infty)\). Hence \(f_n\) has a maximum at \(\frac{1}{n}\) with \(f_n(\frac{1}{n}) = \frac{1}{2}\) and \(0 \le f_n(x) \le \frac{1}{2}\) for all \(x \in \mathbb R\).

Also for \(x \neq 0\) \[

0 \le f_n(x) =\frac{n^2 x^2}{1+n^4 x^4} \le \frac{n^2 x^2}{n^4 x^4} = \frac{1}{n^2 x^2}\] consequently \[

0 \le f_n(x) \le \frac{1}{n} \text{ for } x \ge \frac{1}{\sqrt{n}}.\]

### \((g_n)\) converges pointwise to zero

First, one can notice that \(g_n\) is well defined. For \(x \in \mathbb R\) and \(p \in \mathbb N\) we have \(0 \le \frac{1}{2^p} f_n(x-a_p) \le \frac{1}{2^p} \cdot\ \frac{1}{2}=\frac{1}{2^{p+1}}\) according to previous paragraph. Therefore the series of functions \(\sum \frac{1}{2^p} f_n(x-a_p)\) is normally convergent. \(g_n\) is also continuous as for all \(p \in \mathbb N\) \(x \mapsto \frac{1}{2^p} f_n(x-a_p)\) is continuous. Continue reading Pointwise convergence not uniform on any interval