<p>The aim of this paper is to show the existence of a <i>canonical</i> distance <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathsf d'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="sans-serif">d</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> defined on a <i>locally Minkowski</i> metric measure space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\((\textsf{X},\mathsf d,\mathfrak m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">X</mi> <mo>,</mo> <mi mathvariant="sans-serif">d</mi> <mo>,</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that: <OrderedList> <ListItem> <ItemNumber>i)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathsf d'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="sans-serif">d</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> is equivalent to <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathsf d\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">d</mi> </math></EquationSource> </InlineEquation>,</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>ii)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\((\textsf{X}, \mathsf d', \mathfrak m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">X</mi> <mo>,</mo> <msup> <mi mathvariant="sans-serif">d</mi> <mo>′</mo> </msup> <mo>,</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is infinitesimally Hilbertian.</p> </ItemContent> </ListItem> </OrderedList> This new regularity assumption on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\((\textsf{X}, \mathsf d,\mathfrak m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">X</mi> <mo>,</mo> <mi mathvariant="sans-serif">d</mi> <mo>,</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> essentially forces the structure to be locally similar to a Minkowski space and defines a class of metric measure structures which includes all the reversible Finsler manifolds and it is actually strictly larger. The required distance <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathsf d'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="sans-serif">d</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> will be the intrinsic distance <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathsf d_\textsf{KS}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="sans-serif">d</mi> <mi mathvariant="sans-serif">KS</mi> </msub> </math></EquationSource> </InlineEquation> associated to the so-called <i>Korevaar-Schoen energy</i>, which is proven to be a quadratic form. In particular, we show that the Cheeger energy associated to the metric measure space <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10196_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\((\textsf{X}, \mathsf d_\textsf{KS}, \mathfrak m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">X</mi> <mo>,</mo> <msub> <mi mathvariant="sans-serif">d</mi> <mi mathvariant="sans-serif">KS</mi> </msub> <mo>,</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is in fact the Korevaar-Schoen energy.</p>

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

A Canonical Infinitesimally Hilbertian Structure on Locally Minkowski Spaces

  • Mattia Magnabosco,
  • Chiara Rigoni

摘要

The aim of this paper is to show the existence of a canonical distance \(\mathsf d'\) d defined on a locally Minkowski metric measure space \((\textsf{X},\mathsf d,\mathfrak m)\) ( X , d , m ) such that: i)

\(\mathsf d'\) d is equivalent to \(\mathsf d\) d ,

ii)

\((\textsf{X}, \mathsf d', \mathfrak m)\) ( X , d , m ) is infinitesimally Hilbertian.

This new regularity assumption on \((\textsf{X}, \mathsf d,\mathfrak m)\) ( X , d , m ) essentially forces the structure to be locally similar to a Minkowski space and defines a class of metric measure structures which includes all the reversible Finsler manifolds and it is actually strictly larger. The required distance \(\mathsf d'\) d will be the intrinsic distance \(\mathsf d_\textsf{KS}\) d KS associated to the so-called Korevaar-Schoen energy, which is proven to be a quadratic form. In particular, we show that the Cheeger energy associated to the metric measure space \((\textsf{X}, \mathsf d_\textsf{KS}, \mathfrak m)\) ( X , d KS , m ) is in fact the Korevaar-Schoen energy.