Everywhere Continuous Non-differentiable Function

Weierstrass introduced the idea that there exist functions that are continuous for every value of $x$ but do not possess a derivative at any value of $x$. We now consider the celebrated Weierstrass function, which exhibits this property. In this note, I will demonstrate that such a function exists using Weierstrass’s construction.

The Weierstrass Function

We define the function:

$$ f(x)= \sum_{n=0}^{\infty} b^n \cos (a^n \pi x) \tag{1}$$

This can also be written as:

$$ f(x) = \cos(\pi x) + b \cos(a \pi x) + b^2 \cos(a^2 \pi x) + \dots $$

Where:

  • $a$ is an odd positive integer,
  • $0 < b < 1$,
  • $ab > 1 + \frac{3}{2} \pi$.

Under these conditions, the function $f(x)$ is continuous for all $x$ but does not have a finite derivative at any point.

Continuity of the Weierstrass Function

To show that the function is continuous for all $x$, we first observe that:

$$ |b^n \cos(a^n \pi x)| \leq b^n $$

Since the series $\sum b^n$ is convergent, by Weierstrass's M-Test for Uniform Convergence, the series defined by equation (1) is uniformly convergent in every interval. Therefore, the function $f(x)$ is continuous for all $x$.

Non-Differentiability of the Weierstrass Function

Next, we investigate whether the function is differentiable. The difference quotient for the function is:

$$ \frac{f(x+h) - f(x)}{h} = \sum_{n=0}^{\infty} b^n \frac{\cos[a^n \pi (x+h)] - \cos(a^n \pi x)}{h} \tag{2} $$

Let $S_m$ denote the sum of the first $m$ terms and $R_m$ denote the remainder after $m$ terms. Thus,

$$ \sum_{n=0}^{\infty} b^n \frac{\cos[a^n \pi (x+h)] - \cos(a^n \pi x)}{h} = S_m + R_m $$

Applying the Mean Value Theorem

Using the Lagrange Mean Value Theorem, we have:

$$ \frac{|\cos[a^n \pi (x+h)] - \cos(a^n \pi x)|}{|h|} = |a^n \pi h \sin(a^n \pi(x + \theta h))| \leq a^n \pi |h| $$

Thus,

$$ |S_m| \leq \sum_{n=0}^{m-1} b^n a^n \pi = \pi \frac{a^m b^m - 1}{ab - 1} < \pi \frac{a^m b^m}{ab - 1} $$

Behavior of the Remainder Term $R_m$

To further analyze the remainder term $R_m$, we make a particular choice of $h$. We write:

$$ a^m x = \alpha_m + \xi_m $$

where $\alpha_m$ is the integer nearest to $a^m x$ and $-1/2 \leq \xi_m < 1/2$. We now choose $h$ such that:

$$ a^m(x+h) = \alpha_m + \xi_m + h a^m $$

We select $h$ such that:

$$ \xi_m + h a^m = 1 \quad \text{which implies} \quad h = \frac{1 - \xi_m}{a^m} \tag{3} $$

As $m \to \infty$, $h \to 0$, and we evaluate the cosine terms as follows:

$$ \cos[a^n \pi (x+h)] = \cos[a^{n-m} \pi (\alpha_m + 1)] = (-1)^{\alpha_{m+1}} $$

Thus, we have:

$$ R_m = \frac{(-1)^{\alpha_m} + 1}{h} \sum_{n=m}^{\infty} b^n [2 + \cos(a^{n-m} \xi_m \pi)] \tag{4} $$

Since each term of the series in (4) is non-negative and the first term is positive, we find:

$$ |R_m| > \frac{b^m}{|h|} > \frac{2a^m b^m}{3} \tag{5} $$

Concluding: Non-Differentiability

Finally, combining the results for $S_m$ and $R_m$, we find that:

$$ \left| \frac{f(x+h) - f(x)}{h} \right| = |R_m + S_m| \geq |R_m| - |S_m| > \left( \frac{2}{3} - \frac{\pi}{ab-1} \right) a^m b^m $$

Since $ab > 1 + \frac{3}{2}\pi$, we conclude that:

$$ \left( \frac{3}{2} - \frac{\pi}{ab-1} \right) > 0 $$

Thus, as $m \to \infty$ and $h \to 0$, the expression $\frac{f(x+h) - f(x)}{h}$ takes arbitrarily large values. Therefore, the derivative $f'(x)$ does not exist or is at least not finite for any $x$.

Key Takeaways

  • Weierstrass Function is continuous for all $x$ but non-differentiable at every point.
  • Uniform convergence guarantees continuity, but the behavior of the difference quotient reveals non-differentiability.
  • Hardy extended this result by showing that non-differentiability holds for $ab \geq 1$.