The redundancy of the curve-intersection assumption in the intrinsic Lipschitz lemma

Let f:RdRmf:{\mathbb{R}}^d\longrightarrow {\mathbb{R}}^m be continuous and piecewise Lipschitz with exceptional set Θ\Theta. Suppose that ff is intrinsically Lipschitz with respect to the intrinsic metric associated with Θ\Theta. The additional assumption that for every x,yRdx,y\in {\mathbb{R}}^d and η>0\eta>0 there exists a continuous curve γ\gamma from xx to yy with (γ)<xy+η\ell(\gamma)<\|x-y\|+\eta and #(γΘ)<\#(\gamma\cap\Theta)<\infty is not necessary to conclude that ff is Lipschitz with respect to the Euclidean metric, with the same Lipschitz constant. Redundancy conjecture. Item 1.3 in the assumptions of the intrinsic Lipschitz lemma is not necessary to prove the assertion of the lemma. The claim concerns the proof of a regularity result for functions that are intrinsically Lipschitz across a piecewise-Lipschitz exceptional set; whether the stated geometric assumption can be removed is left unresolved in the supplied text.

Sources & referencesView supporting material

Primary source

Gunther Leobacher and Michaela Szölgyenyi, “A Strong Order 1/2 Method for Multidimensional SDEs with Discontinuous Drift”, arXiv:1512.02807 (2018).

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.