2
$\begingroup$

Take $f:[0,1]\to [0,1]^n$ a continuous tour around $[0,1]^n,$ say, some iteration of a Hilbert curve. For $\varepsilon \in (0,1)$ what is the following thing called and are there any nontrivial upper bounds?

\begin{equation} \max_{|a-b|<\varepsilon} \|f(a)-f(b)\|. \end{equation}

Or if not a maximum, then the typical value for such $a,b$.

It seems that most research focuses on the opposite, more impressive direction. That is, for $\varepsilon>0$ characterizing how often $p,q\in [0,1]^n$ have their closest tour points $f(a)\approx p,f(b)\approx q$ such that $|a-b|<\varepsilon.$

For a k-th approximation to a Hilbert curve over $[0,1]^n$ is it true that for any $\varepsilon$-length interval roughly traverses not much more than a cube of ($\mathbb{R}^n$-)volume $\varepsilon$?

$\endgroup$
1

1 Answer 1

3
$\begingroup$

The Peano curve $f:[0,1]\to [0,1]^2$ is Holder continuous with exponent $1/2$ and one can have an $n$-dimensional analogue $f:[0,1]\to [0,1]^n$ which is Holder continuous with exponent $1/n$. That is $|f(a)-f(b)|\leq C|a-b|^{1/n}$ so you get the estimate $$ \max_{|a-b|<\varepsilon} |f(a)-f(b)|\leq C\varepsilon^{1/n}. $$ This `thing' is known as the modulus of continuity.

$\endgroup$
3
  • $\begingroup$ Thanks. Do you know anywhere these things are constructed and proven? $\endgroup$ Commented Apr 20, 2018 at 3:33
  • 1
    $\begingroup$ I do not know the reference on top of my head. Just Google: Peano curve Holder exponent. $\endgroup$ Commented Apr 20, 2018 at 3:43
  • 1
    $\begingroup$ And let's add that $1/n$ is the best exponent: any $\alpha$-Hölder curve $[0,1]\to[0,1]^n$ with $\alpha>1/n$ can't be surjective. $\endgroup$ Commented Jul 9, 2019 at 18:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .