13
$\begingroup$

Suppose we have a curve γ : [0,1] -> ℝn. It is well known that if this curve is Hölder continuous for some exponent α then the Hausdorff dimension of γ[0,1] is bounded above by 1/α.

My question is: Is there a partial converse of the following form. Suppose that the curve γ is such that γ[0,1] has Hausdorff dimension d, then is it true that for any α < 1/d we have that there exists some reparameterization of γ so that γ is Hölder continuous with exponent α?

I would like it to be true, although I doubt it is, however I have not been able to find a counterexample. Proofs, references, or counterexamples would be appreciated.

$\endgroup$

1 Answer 1

5
$\begingroup$

Edit: The short answer is that there are planar curves that cannot be parametrized in a Holder continuous manner. Thus any such curve provides a counterexample for some $d \le 2$.

My original answer, showing that the curve can be chosen even of Hausdorff dimension $d=1$, follows.

I believe the answer to your question is negative. Indeed, I would think you can construct a curve in $\mathbb{R}^2$ that has Hausdorff dimension 1 but cannot be parametrized by a Holder-continuous curve.

The basic idea is that at smaller and smaller scales, the curve oscillates rather wildly in the horizontal direction, which can be done to ensure that the curve cannot be parametrized in a Holder-continuous way. However, if we make sure that the vertical extent of these oscillations is much, much smaller at each step, then the Hausdorff dimension should still be one. (Of course the linear measure of such a curve will be infinite.)

Let me try to be a bit more precise. I hope the idea is suitably clear.

Let us suppose that we construct the curve $\gamma_k$ at successive scales $\delta_k = 2^{-k}$. The curve $\gamma_k$ will consist of a number $M_k$ of horizontal segments, each of length $\delta_k$, together with some vertical segments. In the construction, we may ensure that the vertical segments have bounded total length, so we can just ignore them.

To obtain $\gamma_{k+1}$, we split each horizontal segment in two segments of length $\delta_{k+1}$, and then replace each of these segments by a curve that oscillates, consisting of some number $m_{k+1}$ of horizontal segments of length $\delta_{k+1}$. However, the vertical extent of this oscillation should be some very small number $\varepsilon_{k+1}$. (Which in particular we may make so small that the total length of vertical segments added in this step is smaller than, say $2^{-k}$, so the total length of vertical segments stays bounded at all times.)

Now the total number of segments at stage $k+1$ is $M_{k+1} = 2m_{k+1} M_k$. Any parametrization of this curve by the unit interval must contain two points that are at distance at most $1/M_{k+1}$ but have points whose images are at distance at least $\delta_{k+1}$. So if we choose $m_{k+1}$ sufficiently large, we can ensure that the limit curve cannot be Holder-parametrized.

On the other hand, the curve can be covered by about

$M_{k+1}\cdot\frac{\delta_{k+1}}{\varepsilon_{k+1}}$

sets of diameter $\varepsilon_{k+1}$. If we make $\varepsilon_{k+1}$ small enough, this number will be smaller than, say $\varepsilon_{k+1}^{-(1+1/k)}$, so the Hausdorff dimension of the limiting curve will be equal to one.

$\endgroup$
6
  • $\begingroup$ Thanks. Except for a couple of minor typos, I think a construction like this works just fine. $\endgroup$ Mar 3, 2010 at 15:34
  • $\begingroup$ When I last answered, I hadn't seen the edit. That's a nice one liner answer, but I find the counterexample much more instructive and damning since it makes it very clear that nothing like this can be true. $\endgroup$ Mar 3, 2010 at 15:46
  • $\begingroup$ Thanks - it was a fun question to work out. If you e-mail me the typos you mentioned, I will try to edit them out sometime. $\endgroup$ Mar 3, 2010 at 16:19
  • $\begingroup$ It is very much related to the construction of pseudo-arc: en.wikipedia.org/wiki/Pseudo-arc $\endgroup$ Mar 3, 2010 at 16:51
  • $\begingroup$ Of course all constructions of this type do have things in common, but I'm not sure what connection you see in particular with the pseudo-arc? After all, it is a (hereditarily) non-locally connected continuum, whereas here the goal is to ensure that the continuum is locally connected (hence the continuous image of an interval). $\endgroup$ Mar 4, 2010 at 14:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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