<p>In this article we investigate <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> boundedness of the spherical maximal operator <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {m}^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="fraktur">m</mi> </mrow> <mi>α</mi> </msup> </math></EquationSource> </InlineEquation> of (complex) order <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> on the <i>n</i>-dimensional hyperbolic space <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {H}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, which was introduced and studied by El Kohen. We prove that when <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq6.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> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {m}^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="fraktur">m</mi> </mrow> <mi>α</mi> </msup> </math></EquationSource> </InlineEquation> is bounded on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p(\mathbb {H}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, then we must have <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="123" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha &gt;1-n+n/p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mn>1</mn> <mo>-</mo> <mi>n</mi> <mo>+</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p\le 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>≤</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>; or <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="274" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \ge \max \{1/p-(n-1)/2,(1-n)/p\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>≥</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>p</mi> <mo>-</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi>p</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(2&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we improve El Kohen’s result [J. Operator Theory 3 (1980)] on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> boundedness of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {m}^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="fraktur">m</mi> </mrow> <mi>α</mi> </msup> </math></EquationSource> </InlineEquation> by showing that <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {m}^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="fraktur">m</mi> </mrow> <mi>α</mi> </msup> </math></EquationSource> </InlineEquation> is bounded on <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p(\mathbb {H}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> provided that <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="494" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathop {\textrm{Re}}\alpha &gt; \max \{{(2-n)/p}-{1/(p p_n)},{(2-n)/p}- (p-2)/[p p_n(p_n-2)]\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Re</mtext> <mi>α</mi> <mo>&gt;</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi>p</mi> </mrow> <mo>-</mo> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>p</mi> <msub> <mi>p</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi>p</mi> </mrow> <mo>-</mo> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">[</mo> <mi>p</mi> <msub> <mi>p</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>p</mi> <mi>n</mi> </msub> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\le p\le \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>p</mi> <mo>≤</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="158" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_n=2(n+1)/(n-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mi>n</mi> </msub> <mo>=</mo> <mn>2</mn> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq21.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq22.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_n=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mi>n</mi> </msub> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2212_Article_IEq23.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

The Spherical Maximal Operators on Hyperbolic Spaces

  • Peng Chen,
  • Minxing Shen,
  • Yunxiang Wang,
  • Lixin Yan

摘要

In this article we investigate \(L^p\) L p boundedness of the spherical maximal operator \(\mathfrak {m}^\alpha \) m α of (complex) order \(\alpha \) α on the n-dimensional hyperbolic space \(\mathbb {H}^n\) H n , which was introduced and studied by El Kohen. We prove that when \(n\ge 2\) n 2 , for \(\alpha \in \mathbb {R}\) α R and \(1<p<\infty \) 1 < p < , if \(\mathfrak {m}^\alpha \) m α is bounded on \(L^p(\mathbb {H}^n)\) L p ( H n ) , then we must have \(\alpha >1-n+n/p\) α > 1 - n + n / p for \(1<p\le 2\) 1 < p 2 ; or \(\alpha \ge \max \{1/p-(n-1)/2,(1-n)/p\}\) α max { 1 / p - ( n - 1 ) / 2 , ( 1 - n ) / p } for \(2<p<\infty \) 2 < p < . Furthermore, we improve El Kohen’s result [J. Operator Theory 3 (1980)] on \(L^p\) L p boundedness of \(\mathfrak {m}^\alpha \) m α by showing that \(\mathfrak {m}^\alpha \) m α is bounded on \(L^p(\mathbb {H}^n)\) L p ( H n ) provided that \(\mathop {\textrm{Re}}\alpha > \max \{{(2-n)/p}-{1/(p p_n)},{(2-n)/p}- (p-2)/[p p_n(p_n-2)]\}\) Re α > max { ( 2 - n ) / p - 1 / ( p p n ) , ( 2 - n ) / p - ( p - 2 ) / [ p p n ( p n - 2 ) ] } for \(2\le p\le \infty \) 2 p , with \(p_n=2(n+1)/(n-1)\) p n = 2 ( n + 1 ) / ( n - 1 ) for \(n\ge 3\) n 3 and \(p_n=4\) p n = 4 for \(n=2\) n = 2 .