3
$\begingroup$

Recall that the Weierstrass function is given by

$f(x) = \sum_{n=0}^{\infty} a^n \cos(b^n\cdot\pi\cdot x)$ where $0, $b$ is a positive odd integer, and $ab>1+\frac{3}{2}\cdot\pi$.

It is well known that this function is continuous everywhere but differentiable nowhere.

My question: is $f$ is uniformly continuous on $\mathbb{R}$? Further, Are there any general techniques to tackle such a problem?

Thanks!

Edit: as noted above, as asked, the question is silly, simply because since $b$ is an integer, the function is periodic, and hence uniformly continuous. But what if we remove the restriction that $b$ is an integer? as far as I know, the function is still continuous everywhere but differentiable nowhere. Is it still uniformly continuous?

  • 0
    The series converges uniformly, and the terms are uniformly continuous. Is that enough to conclude $f(x)$ is uniformly continuous?2012-02-29

1 Answers 1

7

If $b$ is an odd integer, then $f$ is periodic of period $2$, since $ \cos(b^n\cdot\pi\cdot (x+2))=\cos(b^n\cdot\pi\cdot x+b^n\cdot2\cdot\pi)=\cos(b^n\cdot\pi\cdot x). $ Since $[0,2]$ is compact, $f$ is uniformly continuous on $[0,2]$, and by periodicity, $f$ is uniformly continuous on $\mathbb{R}$.

Added to answer the new question

In this paper, Hardy proved that $f$ is nowhere differentiable if $0 and $a\,b>1$. Moreover, he proved that $f$ is Hölder of order $\alpha=\log(1/a)/\log b<1$, that is, there exists a constant $C>0$ such that $ |f(x)-f(y)|\le C\,|x-y|^\alpha\qquad\forall x,y\in\mathbb{R}. $ Uniform continuity follows.

  • 0
    Yes. See the edited answer.2012-02-29