MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Return to Answer

2 added 262 characters in body; deleted 1 characters in body; added 1 characters in body

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.

Does this make sense?

1

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.

Does this make sense?