Determine when the arc-length is (in)finite.

450 Views Asked by At

Problem: Let $\phi : [0,1] \to \mathbb C$ be given by $$\phi(t) := t + it\sin\left(\frac{\pi}{t^p}\right)$$ for $t \in (0,1]$, and define $\phi(0) := 0$. Then $\phi$ is continuous. For what values $p > 0$ is the arc-length finite? Infinite?

Attempt: Recall that arc-length is given by $$AL(\phi) := \int_0^1 |\phi'(t)|\,\mathrm{d}t$$ It turns out that a direct computation of arc-length is absolutely miserable. Instead, I tried various ways of bounding it. For example, using that $$\sqrt{1 + x^2} \leq 1 + |x|$$ This yields, at best, an opportunity to Taylor expand, but doing this led me to believe that this particular approximation is not even convergent. Unfortunately, I'm absolutely stumped!

To determine the values of $p$ for which the arc length is integrate, I was hoping to use the inequality $$\mathrm{AL}(\phi) \geq \frac{\left|\int_{\mathrm{Im}(\phi)} f(z) \,\mathrm{d}z\right|}{\max\limits_{z \in \mathrm{Im}(\phi)} |f(z)|}$$ with a clever choice of $f$. But I just haven't been clever enough yet!

2

There are 2 best solutions below

0
On

Let $\theta = \pi t^{-p}$. After some work, we can show that the arclength is given by $$K_p\int_\pi^\infty \sqrt{1 + (\sin \theta - p\theta \cos \theta)^2} \frac{d\theta}{\theta^{1+1/p}}$$ where $K_p$ is some constant depending on $p$ for which all we care about is that it is finite. Dropping the unimportant constant, we can further change it to $$\int_\pi^\infty \sqrt{\frac{1 + \sin^2 \theta}{\theta^2} - \frac{p\sin 2\theta}{\theta} + p^2\cos \theta^2} \frac{d\theta}{\theta^{1/p}}$$

For sufficiently large $\theta$, the first two terms are less than $p^2$, so we have $$\sqrt{\frac{1 + \sin^2 \theta}{\theta^2} - \frac{p\sin 2\theta}{\theta} + p^2\cos \theta^2} \le \sqrt{p^2+ p^2\cos \theta^2} = p|\sin \theta| \le p$$ which is sufficient to handle the case of $p < 1$, and should hopefully suggest ways of looking at $p \ge 1$ as well.

0
On

See (fix the url): http://i.stack.imgur.(com)/w6bEr.png

Given any of the oscillations of phi you can get an upper and lower bound on the arclength of the oscillation by considering these red and blue curves in this quickly-made image. Picking the most natural points for where the red and blue curves peak gives nice bounds so that once you sum over all oscillations, you manage all p-cases at once.