19
$\begingroup$

Suppose $f:[0,1]\to[0,1]^2$ is continuous and for each $t\in[0,1]$, the area of $\lbrace f(s) : 0\le s\le t \rbrace$ is $t$. For what sets of values of $t\in[0,1]$ can $\lbrace f(s) : 0\le s\le t \rbrace$ be convex? All $t$? Only countably many $t$? If so, which countable sets? Topologically discrete ones? Dense ones?

$\endgroup$
8
  • $\begingroup$ Did you mean for the area up to $t$ to be $t$ as written, or $t^2$? $\endgroup$ Nov 2, 2011 at 17:53
  • 1
    $\begingroup$ It doesn't matter: you can always turn one continuous strictly monotone function into another by change of variable. $\endgroup$
    – fedja
    Nov 2, 2011 at 18:21
  • 1
    $\begingroup$ $t$ seems neater than $t^2$. The first half of the line segment covers half the square; the second half covers the remaining half. Only if I wanted $[0,t]$ to map onto $[0,t]^2$ or something like that would $t^2$ make sense. $\endgroup$ Nov 2, 2011 at 18:48
  • $\begingroup$ The set $C$ of $t$ for which $f([0,t])$ is convex, is certainly a closed set containing $0$ and $1$. My feeling is that if we assume $f([0,t])$ has strictly increasing area, then $C$ has to be nowhere dense; and conversely, for any closed nowhere dense subset $C$ of $I:=[0,1]$ containig $0$ and $1$ there is an $f:I\to I×I$ with the property that $f([0,t])$ has area $t$ for all $t\in I$, and $f([0,t])$ is convex exactly for $t\in C$. $\endgroup$ Nov 3, 2011 at 10:22
  • 1
    $\begingroup$ @Pietro: Very nice! I'd be very interested in a proof that C is nowhere dense, even if the area is not strictly increasing. I was thinking about a completely different looking problem a while ago which, by some coincidence, reduces to this. Namely, is there a non-constant continuous martingale $X$ and a continuous deterministic function $\gamma\colon\mathbb{R}^+\to\mathbb{R}$ such that $1_{\{X_t=\gamma(t)\}}dX_t=dX_t$. Equivalently, can $\gamma$ be continuous in my first "further point" of this question: mathoverflow.net/questions/77957 $\endgroup$ Nov 3, 2011 at 22:22

1 Answer 1

12
$\begingroup$

As I said in the comment above, I think that the set of points $t\in[0,1]$ where a square-filling curve with strictly increasing area defines a convex $f([0,t])$, is a nowhere dense closed set containing $0$ and $1$, and conversely, any such set can be obtained this way. While I'm not sure about how to show that such a set is always nowhere dense, the other direction seems easier to pursue, and allows a nice construction (I'll try to include a picture too). Precisely:

For any closed nowhere dense subset $C$ of $I:=[0,1]$ containing $0$ and $1$ there exists a square-filling curve $f:I\to I\times I$ with the property that $f([0,t])$ has area $t$ for all $t\in I$, and $f([0,t])$ is convex exactly for all $t\in C$.

For convenience, I'll describe the construction with a slight variation in the parametrization, requiring that the curve satisfies, for all $t\in C$, $f(t)=(0,t)$ (thus, at any time $t\in C$ it touches the right vertical edge of the square, at heigh $t$). The area will be strictly increasing, for instance with $\operatorname{Area}\big(f([0,t])\big)=\phi(t):=3t^2-2t^3$ for all $t\in I$ (any other homeomorphism $\phi$ of $[0,1]$ in itself such that $\phi(t)=o(t)$ and $\phi(1-t)=o(t)$ as $t\to0$ works as well). Of course, if one started with $C\:':=\phi(C)$, then one finds a curve $f\circ \phi^{-1}$ parametrized in "arc-area", as initially stated.

To start the construction we first need to fix the subsets $f([0,t])$, for all $t\in C$. To this end, note that there exists a nested family of closed, convex subsets of the square, $\{A_t\}_{t\in C}$, such that $A_0:=\{(1,0)\}$, $A_1:=I^2$, $\operatorname{Area}(A_t)=\phi(t)$ for all $t\in C$, and $\operatorname{diam}(A_ s \setminus A_r)=o(1)$ as $|s-r| \to0 $, (uniformly for $r$ and $s$ in $C$).

Instead of entering the details of the construction of these $A_t$, let's just say that they can be realized e.g. as sub-graphs of a family of concave functions $\alpha_t:I\to ]-\infty,1]$: $$A_t:=\{(x,y)\in I^2\, :\, \alpha_t(x)\ge y\}$$ where $\alpha _ s\leq\alpha _t$ for $s\leq t$ and $\int_0^1\alpha^{+} _ t(x)dx=\phi(t)\, .$

The graphs of these functions appear as a forest of binary trees leaning their branches towards the right vertical edge, with (possibly uncountable) leaves exactly at the set $\{1\}\times C$. They disconnect the square into a countable family of open regions, one for each component $J$ of $I\setminus C\, .$

The curve $f:I\to I^2$ is defined to be $f(t)=(0,t)$ as said, for all $t\in C$. On any open interval $J:=]r,s[$ which is a component of $I\setminus C$, define $f_{|J}$ to be a Peano-like curve filling the set ${ A_s\setminus A_r }$ up to its closure, with end-points $f(s)=s$ and $f(r)=r$ as said, and parametrized in such a way that $\operatorname{Area}(f[s,t])=\phi(t)-\phi(s)$ for all $t\in J\, .$

This defines a curve $f:I\to I^2$ with the stated properties. Note that the continuity is ensured by the requirement that $\operatorname{diam}(A_t \setminus A_s)=o(1)$ as $|t-s| \to0 $, (uniformly). Since we want the sets $f([0,t])$ to be convex at exactly the points $t\in C$, a small care is needed in order to avoid creating new convex sets $f[0,t]$ for $t\in I\setminus C$, but a small thoughts shows that this is not a problem (for instance the original Peano curve does have this property).

    alt text

$\endgroup$
2
  • $\begingroup$ Tonight I'm nowhere near a printer. I'll print this tomorrow so I can look it over while making marginal notes as that becomes convenient and then see if I have any comments or questions. Maybe the hard part is proving that the set in question is always nowhere dense. $\endgroup$ Nov 4, 2011 at 2:43
  • 1
    $\begingroup$ Thank you. It remains a problem: conversely, is the set $C$ nowhere dense? We may also state the problem in a slightly general form: suppose $A(t)$, for $0\le t \le 1$, is a family of convex sets, with $A(t)\subset A(s)$ for $t\le s$, and $A(0)$={0} and $A(1)$= the unit ball. Suppose $f$ is a selection curve of $\partial A$: for all $t$, $f(t)\in\partial A(t)$. Can one have $f([0,1])=A(1)$ ? $\endgroup$ Nov 23, 2011 at 7:39

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.