<p>For <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f \in \mathscr {S}^2(\mathcal S)_{o}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi mathvariant="script">S</mi> <mn>2</mn> </msup> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> <mi>o</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, the collection of radial <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-Schwartz class functions on Damek–Ricci spaces <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal S=N\ltimes A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo>=</mo> <mi>N</mi> <mo>⋉</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>, we consider the maximal function, <Equation ID="Equ89"> <EquationSource Format="TEX">\(\begin{aligned} S^* f(x):= \displaystyle \sup _{0&lt;t&lt;4/Q^2} \left| S_tf(x)\right| \,,\,\,\,\,\,\,x\in \mathcal S\,, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <msup> <mi>S</mi> <mo>∗</mo> </msup> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <munder> <mo movablelimits="true">sup</mo> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>t</mi> <mo>&lt;</mo> <mn>4</mn> <mo stretchy="false">/</mo> <msup> <mi>Q</mi> <mn>2</mn> </msup> </mrow> </munder> <mfenced close="|" open="|"> <msub> <mi>S</mi> <mi>t</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> <mspace width="0.166667em" /> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>x</mi> <mo>∈</mo> <mi mathvariant="script">S</mi> <mspace width="0.166667em" /> <mo>,</mo> </mrow> </mstyle> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(S_tf\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>t</mi> </msub> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation> is the Schrödinger propagation corresponding to the Laplace-Beltrami operator <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> with initial data <i>f</i> and <i>Q</i> is the homogeneous dimension of Heisenberg type groups <i>N</i>. We first obtain the complete description of the pairs <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((q, \alpha ) \in [1, \infty ] \times [0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>,</mo> <mi>α</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">]</mo> <mo>×</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for which the estimate <Equation ID="Equ90"> <EquationSource Format="TEX">\(\begin{aligned} {\Vert S^*f\Vert }_{L^q\left( B_R\right) } \le C_R\, {\Vert f\Vert }_{H^{\alpha }(\mathcal S)}\,, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>S</mi> <mo>∗</mo> </msup> <mrow> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> </mrow> <mrow> <msup> <mi>L</mi> <mi>q</mi> </msup> <mfenced close=")" open="("> <msub> <mi>B</mi> <mi>R</mi> </msub> </mfenced> </mrow> </msub> <mo>≤</mo> <msub> <mi>C</mi> <mi>R</mi> </msub> <mspace width="0.166667em" /> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>H</mi> <mi>α</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mspace width="0.166667em" /> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>holds on geodesic balls <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(B_R\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>R</mi> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(R&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, for constants <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(C_R&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mi>R</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, depending only on <i>R</i>, for all <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f \in \mathscr {S}^2(\mathcal S)_{o}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi mathvariant="script">S</mi> <mn>2</mn> </msup> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> <mi>o</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(H^{\alpha }(\mathcal S)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mi>α</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the fractional <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-Sobolev space with Sobolev index <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>. Our results are sharp and agree with the Euclidean case. We also prove that for all <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(f \in \mathscr {S}^2(\mathcal S)_{o}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi mathvariant="script">S</mi> <mn>2</mn> </msup> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> <mi>o</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, the following global estimate <Equation ID="Equ91"> <EquationSource Format="TEX">\(\begin{aligned} {\Vert S^*f\Vert }_{L^{2,\infty }(\mathcal S)} \le C\, {\Vert f\Vert }_{H^{\alpha }(\mathcal S)},\,\,\,\,\alpha &gt;1/2, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>S</mi> <mo>∗</mo> </msup> <mrow> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> </mrow> <mrow> <msup> <mi>L</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>∞</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>≤</mo> <mi>C</mi> <mspace width="0.166667em" /> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>H</mi> <mi>α</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>α</mi> <mo>&gt;</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>holds true for some constant <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(C&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Mapping properties of the Schrödinger maximal function on Damek–Ricci spaces

  • Utsav Dewan,
  • Swagato K. Ray

摘要

For \(f \in \mathscr {S}^2(\mathcal S)_{o}\) f S 2 ( S ) o , the collection of radial \(L^2\) L 2 -Schwartz class functions on Damek–Ricci spaces \(\mathcal S=N\ltimes A\) S = N A , we consider the maximal function, \(\begin{aligned} S^* f(x):= \displaystyle \sup _{0<t<4/Q^2} \left| S_tf(x)\right| \,,\,\,\,\,\,\,x\in \mathcal S\,, \end{aligned}\) S f ( x ) : = sup 0 < t < 4 / Q 2 S t f ( x ) , x S , where \(S_tf\) S t f is the Schrödinger propagation corresponding to the Laplace-Beltrami operator \(\Delta \) Δ with initial data f and Q is the homogeneous dimension of Heisenberg type groups N. We first obtain the complete description of the pairs \((q, \alpha ) \in [1, \infty ] \times [0,\infty )\) ( q , α ) [ 1 , ] × [ 0 , ) for which the estimate \(\begin{aligned} {\Vert S^*f\Vert }_{L^q\left( B_R\right) } \le C_R\, {\Vert f\Vert }_{H^{\alpha }(\mathcal S)}\,, \end{aligned}\) S f L q B R C R f H α ( S ) , holds on geodesic balls \(B_R\) B R , \(R>0\) R > 0 , for constants \(C_R>0\) C R > 0 , depending only on R, for all \(f \in \mathscr {S}^2(\mathcal S)_{o}\) f S 2 ( S ) o , where \(H^{\alpha }(\mathcal S)\) H α ( S ) is the fractional \(L^2\) L 2 -Sobolev space with Sobolev index \(\alpha \) α . Our results are sharp and agree with the Euclidean case. We also prove that for all \(f \in \mathscr {S}^2(\mathcal S)_{o}\) f S 2 ( S ) o , the following global estimate \(\begin{aligned} {\Vert S^*f\Vert }_{L^{2,\infty }(\mathcal S)} \le C\, {\Vert f\Vert }_{H^{\alpha }(\mathcal S)},\,\,\,\,\alpha >1/2, \end{aligned}\) S f L 2 , ( S ) C f H α ( S ) , α > 1 / 2 , holds true for some constant \(C>0\) C > 0 .