Density conjecture for 2-paths among piecewise Hölder-differentiable curves

Let C1,βC^{1,\beta} denote the space of differentiable functions γ:[0,1]R2\gamma:[0,1]\to {\mathbb{R}}^2 with derivative γ˙Cβ\dot \gamma\in C^\beta, where β(0,1]\beta\in(0,1]. For a curve PP, let S(P,r)S(P,r) be the enclosed area associated with radius rr, and call PP a 2-path if there is an rr such that S(P,r)=πr2S(P,r)=\pi r^2.

Density conjecture. The subset of piecewise C1,βC^{1,\beta} 2-paths is dense in C1,βC^{1,\beta}.

This conjecture formalizes the empirical observation that, for most paths, two copies of the path admit a radius producing a trajectoid. The statement concerns density in an infinite-dimensional function space, where genericity and measure-theoretic claims are delicate; no resolution is given here.

Sources & referencesView supporting material

Primary source

Jean-Pierre Eckmann, Yaroslav I. Sobolev and Tsvi Tlusty, “Tumbling Downhill along a Given Curve”, arXiv:2406.16336 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.