Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The book Understanding Analysis by Stephen Abbott asserts that

$$ g(x)=\sum_{n=0}^{\infty}\frac{1}{2^n}h(2^nx), $$

where $h(x)=\left|x\right|$, $h:\left[-1,1\right]\to\mathbb{R}$, and $h(x+2)=h(x)$, is continuous on all of $\mathbb{R}$ but fails to be differentiable at any point.

However, if I am not mistaken, can the $2^n$'s be cancelled out in $g$? I tried plotting this and could not obtain a nowhere-differentiable function.

share|improve this question
1  
This function is called a Blancmange function, and you can easily google its nowhere differentiability. Anyway, your primary mistake is that $h(ax) = ah(x)$ does not hold even for $a > 0$. Note that $h(x)$ differs from $|x|$. –  sos440 Dec 14 '12 at 4:27

3 Answers 3

up vote 3 down vote accepted

No, the $2^n$s cannot be cancelled out, as William Macrae and sos440 have pointed out.

$h$ is a zig zag function. $h(2^nx)$ is like $h$ but with the zig zags squished in toward the $y$-axis, making it go up and down more rapidly, but at the same height. Then $\dfrac1{2^n} h(2^nx)$ is like $h(2^nx)$ but with the zig zags squished down toward the $x$-axis, making them a lot shorter.

The $1/2^n$ out front ensures that the series converges uniformly (and hence that the resulting function is continuous), because $h$ is bounded. The combination of $2^n$s ensures that each term has zig zags of slope $\pm1$, while the number of zig zags per unit interval doubles from one term to the next.

share|improve this answer

The plot looks like this. It's hard to tell by a casual look that this is nowhere differentiable.

enter image description here

For a better view of what's going on, here's an animation that zooms into the graph. You can see that the picture looks similar at different length scales. A differentiable curve, on the other hand, would look more and more like a straight line as you zoomed in. enter image description here

share|improve this answer
    
Oops, factor of $\pi$ left out (I was using $\arccos(\cos(\pi x))/\pi$ for $h$): I'll fix it. –  Robert Israel Dec 14 '12 at 6:55

The $2^n$s cannot be cancelled because one is inside of the function $h$ (which is not affine). This is the same reason that $2 \sin(\frac12 x) \neq \sin(x)$ (for arbitrary $x$). The function that is being described is qualitatively the sum of more-and-more fine-grained 'zig-zag' functions; it's likely you are not plotting it quite right, so try plotting just one term first.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.