<p>We study spectral properties and geometric functional inequalities on Riemannian manifolds of dimension <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> with singularities. Of particular interest will be manifolds with (finite or countably many) conical singularities <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{z_i\}_{i\in {\mathfrak {I}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>z</mi> <mi>i</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="fraktur">I</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> in the neighborhood of which the largest lower bound for the Ricci curvature is <Equation ID="Equ1"> <EquationNumber>1</EquationNumber> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_Equ1.gif" Format="GIF" Height="37" Rendition="HTML" Resolution="72" Type="Linedraw" Width="160" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} k(x)\simeq K_i-\frac{s_i}{d^2(z_i,x)}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>k</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≃</mo> <msub> <mi>K</mi> <mi>i</mi> </msub> <mo>-</mo> <mfrac> <msub> <mi>s</mi> <mi>i</mi> </msub> <mrow> <msup> <mi>d</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>z</mi> <mi>i</mi> </msub> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mfrac> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Thus none of the existing Bakry–Émery inequalities or curvature-dimension conditions apply. In particular, <i>k</i> does not belong to the Kato (or extended Kato) class, and (<i>M</i>,&#xa0;<i>g</i>) is not tamed in the sense of Erbar et al. (J Math Pures Appl 161: 1–69, 2022). Manifolds with such a singular Ricci bound (<InternalRef RefID="Equ1">1</InternalRef>) appear quite naturally. The prime examples are<UnorderedList Mark="Bullet"> <ItemContent> <p>metric cones, for instance, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(M={{\mathbb {R}}}_+\times _r N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <msub> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msub> <msub> <mo>×</mo> <mi>r</mi> </msub> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> with any <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\((N,g^N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo>,</mo> <msup> <mi>g</mi> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq5.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="177" /> </InlineMediaObject> <EquationSource Format="TEX">\(\inf _{y\in N}\textrm{Ric}_y^N&lt;(n-2)g^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">inf</mo> <mrow> <mi>y</mi> <mo>∈</mo> <mi>N</mi> </mrow> </msub> <msubsup> <mtext>Ric</mtext> <mi>y</mi> <mi>N</mi> </msubsup> <mo>&lt;</mo> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <msup> <mi>g</mi> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, e.g.&#xa0;spheres <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq6.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(N={{\mathbb {S}}}^{n-1}_R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <msubsup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>R</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> with radius <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(R&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </UnorderedList> For manifolds with such conical singularities we will prove<UnorderedList Mark="Dash"> <ItemContent> <p>a version of the Bakry–Émery inequality</p> </ItemContent> <ItemContent> <p>a novel Hardy inequality</p> </ItemContent> <ItemContent> <p>a spectral gap estimate.</p> </ItemContent> </UnorderedList> Related examples are provided by<UnorderedList Mark="Bullet"> <ItemContent> <p>weighted spaces, e.g. <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(M={{\mathbb {R}}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(g=g^{Euclid}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>=</mo> <msup> <mi>g</mi> <mrow> <mi mathvariant="italic">Euclid</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="146" /> </InlineMediaObject> <EquationSource Format="TEX">\(m(dx)=|x|^\alpha d{\mathfrak {L}}^n(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mi>α</mi> </msup> <mi>d</mi> <msup> <mrow> <mi mathvariant="fraktur">L</mi> </mrow> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \in {{\mathbb {R}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> where the largest lower bound for Bakry–Émery Ricci tensor is given by <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq12.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\( k(x)=-\frac{|\alpha |}{|x|^2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>-</mo> <mfrac> <mrow> <mo stretchy="false">|</mo> <mi>α</mi> <mo stretchy="false">|</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, and</p> </ItemContent> <ItemContent> <p>Grushin-type spaces <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq13.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(M={{\mathbb {R}}}^j \times _f {{\mathbb {R}}}^{n-j}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>j</mi> </msup> <msub> <mo>×</mo> <mi>f</mi> </msub> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mi>j</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(y)=|y|^{-\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> for suitable <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq15.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, either with Riemannian volume measure or with Lebesgue measure, which admit lower Ricci bounds of the form <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2946_Article_IEq16.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(k(y,z)=-\frac{C}{|y|^2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>-</mo> <mfrac> <mi>C</mi> <msup> <mrow> <mo stretchy="false">|</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mfrac> </mrow> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </UnorderedList></p>

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

Bakry–Émery, Hardy, and spectral gap estimates on manifolds with conical singularities

  • Karl-Theodor Sturm

摘要

We study spectral properties and geometric functional inequalities on Riemannian manifolds of dimension \(\ge 3\) 3 with singularities. Of particular interest will be manifolds with (finite or countably many) conical singularities \(\{z_i\}_{i\in {\mathfrak {I}}}\) { z i } i I in the neighborhood of which the largest lower bound for the Ricci curvature is 1 \(\begin{aligned} k(x)\simeq K_i-\frac{s_i}{d^2(z_i,x)}. \end{aligned}\) k ( x ) K i - s i d 2 ( z i , x ) . Thus none of the existing Bakry–Émery inequalities or curvature-dimension conditions apply. In particular, k does not belong to the Kato (or extended Kato) class, and (Mg) is not tamed in the sense of Erbar et al. (J Math Pures Appl 161: 1–69, 2022). Manifolds with such a singular Ricci bound (1) appear quite naturally. The prime examples are

metric cones, for instance, \(M={{\mathbb {R}}}_+\times _r N\) M = R + × r N with any \((N,g^N)\) ( N , g N ) satisfying \(\inf _{y\in N}\textrm{Ric}_y^N<(n-2)g^N\) inf y N Ric y N < ( n - 2 ) g N , e.g. spheres \(N={{\mathbb {S}}}^{n-1}_R\) N = S R n - 1 with radius \(R>1\) R > 1 .

For manifolds with such conical singularities we will prove

a version of the Bakry–Émery inequality

a novel Hardy inequality

a spectral gap estimate.

Related examples are provided by

weighted spaces, e.g. \(M={{\mathbb {R}}}^n\) M = R n with \(g=g^{Euclid}\) g = g Euclid and \(m(dx)=|x|^\alpha d{\mathfrak {L}}^n(x)\) m ( d x ) = | x | α d L n ( x ) for some \(\alpha \in {{\mathbb {R}}}\) α R where the largest lower bound for Bakry–Émery Ricci tensor is given by \( k(x)=-\frac{|\alpha |}{|x|^2}\) k ( x ) = - | α | | x | 2 , and

Grushin-type spaces \(M={{\mathbb {R}}}^j \times _f {{\mathbb {R}}}^{n-j}\) M = R j × f R n - j with \(f(y)=|y|^{-\alpha }\) f ( y ) = | y | - α for suitable \(\alpha >0\) α > 0 , either with Riemannian volume measure or with Lebesgue measure, which admit lower Ricci bounds of the form \(k(y,z)=-\frac{C}{|y|^2}\) k ( y , z ) = - C | y | 2 .