<p>A longstanding open question in sub-Riemannian geometry is the <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation>-smoothness of length-minimizing curves (in their arc-length parameterization). A recent example answered this question negatively, showing the existence of a sub-Riemannian manifold with a length minimizer of class <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(C^2\setminus C^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>C</mi> <mn>2</mn> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msup> <mi>C</mi> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we study a broader class of sub-Riemannian structures containing that of the aforementioned example, and we prove that length-minimizing curves are of class <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> within these structures. In particular, the aforementioned example is sharp (within this class of sub-Riemannian structures).</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Sharp regularity of sub-Riemannian length-minimizing curves

  • A. Socionovo

摘要

A longstanding open question in sub-Riemannian geometry is the \(C^\infty \) C -smoothness of length-minimizing curves (in their arc-length parameterization). A recent example answered this question negatively, showing the existence of a sub-Riemannian manifold with a length minimizer of class \(C^2\setminus C^3\) C 2 \ C 3 . In this paper, we study a broader class of sub-Riemannian structures containing that of the aforementioned example, and we prove that length-minimizing curves are of class \(C^2\) C 2 within these structures. In particular, the aforementioned example is sharp (within this class of sub-Riemannian structures).