8
$\begingroup$

I recently wrote a program to do what was described in HAKMEM 123. Copy-pasting verbatim...

Consider the image of the circle $|z| = 1$ under the function

$f(z) = \sum_n \frac{z^{2^{n}}}{2^{n}}$

This is physically analogous to a series of clock hands placed end to end. The first hand rotates around the center (0,0) at some rate. the next hand is half as long and rotates around the end of the first hand at twice this rate. The third hand rotates around the end of the second at four times this rate; etc. It would seem that the end of the "last" hand (really there are infinitely many) would sweep through space very fast, tracing out an (infinitely) long curve in the time the first hand rotates once. The hands shrink, however, because of the $2^n$ in the denominator. Thus it is unclear whether the curve's arc length is really infinite.

Was this problem ever solved? Is the curve's arc length infinite or finite? My gut feeling says that it's infinite, but I don't really know how to go about proving it.

(By the way, tagging help would be appreciated.)

  • 0
    A difference of $2^{-k}$ isn't going to be visible on your plot if k > 10, so you might as well just take $k$ from $0$ to $10$.2011-10-06

1 Answers 1

5

Let $f_n(t) = \sum_{k=0}^n 2^{-k} e^{2 \pi i 2^k t}$ be a parametric representation of the $n$'th partial sum of your curve and v_n(t) = f_n'(t) = 2 \pi i \sum_{k=0}^n e^{2 \pi i 2^k t} its velocity. Now by the Salem-Zygmund theorem on lacunary trigonometric series, if $U$ is a uniform random variable on $[0,1]$, as $n \to \infty$, $\text{Re}(v_n(U))/\sqrt{n}$ converges in distribution to a normal random variable with mean 0 and variance $2 \pi^2$. As a consequence, the arc length $\int_0^1 |v_n(t)|\ dt = E [|v_n(U)|] \to \infty$ as $n \to \infty$.

EDIT: I could also have used the more elementary fact that for any Sidon set $E$ there is a positive constant $B$ such that for all $E$-spectral trigonometric polynomials $g$, $\|g\|_1 \le B \|g\|_2$. But I liked the idea that there is a "central limit theorem" here.

EDIT: As joriki noted, this in itself doesn't imply that the arc length of the infinite sum is infinite. However, we can obtain that as follows. Let $f(t) = \sum_{k=0}^\infty 2^{-k} e^{2 \pi i 2^k t}$. The arc length of a parametric curve $g: [0,1] \to \mathbb C$ is the total variation $V(g)$. Suppose $V(f) < \infty$. Now $f(t) - f_n(t) = \sum_{k=n+1}^\infty 2^{-k} e^{2 \pi i 2^k t} = 2^{-n-1} f(2^{n+1} t)$ so that $V(f - f_n) = V(f)$. But since $V$ is subadditive, $V(f_n) \le V(f) + V(f_n - f) = 2 V(f)$, contradicting the fact that $V(f_n) \to \infty$.

  • 0
    @joriki: Good point. I had actually thought about that last night, but it was very late, so I just added that part now.2011-10-06