<p>Let <i>L</i> be a sectorial operator of type <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq1.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> (<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(0 \le \alpha &lt; \pi /2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>α</mi> <mo>&lt;</mo> <mi>π</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>) on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2({\mathbb {R}}^d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with the kernels of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{e^{-tL}\}_{t&gt;0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>t</mi> <mi>L</mi> </mrow> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> satisfying certain size and regularity conditions. Define <Equation ID="Equ46"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_Equ46.gif" Format="GIF" Height="104" Rendition="HTML" Resolution="72" Type="Linedraw" Width="387" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} S_{q,L}(f)(x)= &amp; \left( \int _0^{\infty }\int _{|y-x| &lt; t} \left\| tL{e^{-tL}} (f)(y) \right\| _X^q \,\frac{\textrm{d}y\textrm{d}t}{t^{d+1}} \right) ^{\frac{1}{q}}, \\ G_{q,{L}}(f)(x)= &amp; \left( \int _0^{\infty } \left\| t{L}{e^{-t{L}}} (f)(x) \right\| _X^q \,\frac{\textrm{d}t}{t} \right) ^{\frac{1}{q}}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>S</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <msup> <mfenced close=")" open="("> <msubsup> <mo>∫</mo> <mn>0</mn> <mi>∞</mi> </msubsup> <msub> <mo>∫</mo> <mrow> <mo stretchy="false">|</mo> <mi>y</mi> <mo>-</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo>&lt;</mo> <mi>t</mi> </mrow> </msub> <msubsup> <mfenced close="∥" open="∥"> <mi>t</mi> <mi>L</mi> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>t</mi> <mi>L</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> <mi>X</mi> <mi>q</mi> </msubsup> <mspace width="0.166667em" /> <mfrac> <mrow> <mtext>d</mtext> <mi>y</mi> <mtext>d</mtext> <mi>t</mi> </mrow> <msup> <mi>t</mi> <mrow> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mfrac> </mfenced> <mfrac> <mn>1</mn> <mi>q</mi> </mfrac> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <msub> <mi>G</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <msup> <mfenced close=")" open="("> <msubsup> <mo>∫</mo> <mn>0</mn> <mi>∞</mi> </msubsup> <msubsup> <mfenced close="∥" open="∥"> <mi>t</mi> <mi>L</mi> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>t</mi> <mi>L</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> <mi>X</mi> <mi>q</mi> </msubsup> <mspace width="0.166667em" /> <mfrac> <mrow> <mtext>d</mtext> <mi>t</mi> </mrow> <mi>t</mi> </mfrac> </mfenced> <mfrac> <mn>1</mn> <mi>q</mi> </mfrac> </msup> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We show that for <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\underline{\textrm{any}}\)</EquationSource> <EquationSource Format="MATHML"><math> <munder> <mtext>any</mtext> <mo>̲</mo> </munder> </math></EquationSource> </InlineEquation> Banach space <i>X</i>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(1 \le p &lt; \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt; q &lt; \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq8.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\in C_c(\mathbb {R}^d)\otimes X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msub> <mi>C</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>⊗</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>, there hold <Equation ID="Equ47"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_Equ47.gif" Format="GIF" Height="57" Rendition="HTML" Resolution="72" Type="Linedraw" Width="394" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}&amp;p^{-\frac{1}{q}}\Vert S_{q,{\sqrt{\Delta }}}(f) \Vert _p \lesssim _{d, \gamma , \beta } \left\| S_{q,L}(f) \right\| _p \lesssim _{d, \gamma , \beta } p^{\frac{1}{q}}\Vert S_{q,{\sqrt{\Delta }}}(f) \Vert _p,\\&amp;p^{-\frac{1}{q}}\Vert S_{q,L}(f) \Vert _p \lesssim _{d, \gamma , \beta } \Vert G_{q,L}(f) \Vert _p \lesssim _{d, \gamma , \beta } p^{\frac{1}{q}}\Vert S_{q,L}(f) \Vert _p, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <msup> <mi>p</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mi>q</mi> </mfrac> </mrow> </msup> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>S</mi> <mrow> <mi>q</mi> <mo>,</mo> <msqrt> <mi mathvariant="normal">Δ</mi> </msqrt> </mrow> </msub> <msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msub> <msub> <mo>≲</mo> <mrow> <mi>d</mi> <mo>,</mo> <mi>γ</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <msub> <mfenced close="∥" open="∥"> <msub> <mi>S</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> <mi>p</mi> </msub> <msub> <mo>≲</mo> <mrow> <mi>d</mi> <mo>,</mo> <mi>γ</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <msup> <mi>p</mi> <mfrac> <mn>1</mn> <mi>q</mi> </mfrac> </msup> <msub> <mrow> <mo stretchy="false">‖</mo> <msub> <mi>S</mi> <mrow> <mi>q</mi> <mo>,</mo> <msqrt> <mi mathvariant="normal">Δ</mi> </msqrt> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msub> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msup> <mi>p</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mi>q</mi> </mfrac> </mrow> </msup> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>S</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msub> <msub> <mo>≲</mo> <mrow> <mi>d</mi> <mo>,</mo> <mi>γ</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>G</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msub> <msub> <mo>≲</mo> <mrow> <mi>d</mi> <mo>,</mo> <mi>γ</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <msup> <mi>p</mi> <mfrac> <mn>1</mn> <mi>q</mi> </mfrac> </msup> <msub> <mrow> <mo stretchy="false">‖</mo> <msub> <mi>S</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msub> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> is the standard Laplacian; moreover all the orders appeared above are <i>optimal</i> as <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3154_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\rightarrow 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo stretchy="false">→</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. This, combined with the existing results in Martínez et al. (Adv Math 203(2):430–475, 2006) and Ouyang and Xu (Can J Math 62(4):827–844, 2010), allows us to resolve partially Problem 1.8, Problem A.1 and Conjecture A.4 regarding the optimal Lusin type constant and the characterization of martingale type in a recent remarkable work due to Xu (Holomorphic functional calculus and vector-valued Littlewood–Paley–Stein theory for semigroups. J Euro Math Soc, 2024. <a href="http://arxiv.org/abs/2105.12175">arXiv:2105.12175</a>). Several difficulties originate from the arbitrariness of <i>X</i>, which excludes the use of vector-valued Calderón–Zygmund theory. To surmount the obstacles, we introduce the novel vector-valued Hardy and BMO spaces associated with sectorial operators; in addition to Mei’s duality techniques and Wilson’s intrinsic square functions developed in this setting, the key new input is the vector-valued tent space theory and its unexpected amalgamation with these ‘old’ techniques.</p>

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

Best constants in the vector-valued Littlewood–Paley–Stein theory

  • Guixiang Hong,
  • Zhendong Xu,
  • Hao Zhang

摘要

Let L be a sectorial operator of type \(\alpha \) α ( \(0 \le \alpha < \pi /2\) 0 α < π / 2 ) on \(L^2({\mathbb {R}}^d)\) L 2 ( R d ) with the kernels of \(\{e^{-tL}\}_{t>0}\) { e - t L } t > 0 satisfying certain size and regularity conditions. Define \(\begin{aligned} S_{q,L}(f)(x)= & \left( \int _0^{\infty }\int _{|y-x| < t} \left\| tL{e^{-tL}} (f)(y) \right\| _X^q \,\frac{\textrm{d}y\textrm{d}t}{t^{d+1}} \right) ^{\frac{1}{q}}, \\ G_{q,{L}}(f)(x)= & \left( \int _0^{\infty } \left\| t{L}{e^{-t{L}}} (f)(x) \right\| _X^q \,\frac{\textrm{d}t}{t} \right) ^{\frac{1}{q}}. \end{aligned}\) S q , L ( f ) ( x ) = 0 | y - x | < t t L e - t L ( f ) ( y ) X q d y d t t d + 1 1 q , G q , L ( f ) ( x ) = 0 t L e - t L ( f ) ( x ) X q d t t 1 q . We show that for \(\underline{\textrm{any}}\) any ̲ Banach space X, \(1 \le p < \infty \) 1 p < and \(1< q < \infty \) 1 < q < and \(f\in C_c(\mathbb {R}^d)\otimes X\) f C c ( R d ) X , there hold \(\begin{aligned}&p^{-\frac{1}{q}}\Vert S_{q,{\sqrt{\Delta }}}(f) \Vert _p \lesssim _{d, \gamma , \beta } \left\| S_{q,L}(f) \right\| _p \lesssim _{d, \gamma , \beta } p^{\frac{1}{q}}\Vert S_{q,{\sqrt{\Delta }}}(f) \Vert _p,\\&p^{-\frac{1}{q}}\Vert S_{q,L}(f) \Vert _p \lesssim _{d, \gamma , \beta } \Vert G_{q,L}(f) \Vert _p \lesssim _{d, \gamma , \beta } p^{\frac{1}{q}}\Vert S_{q,L}(f) \Vert _p, \end{aligned}\) p - 1 q S q , Δ ( f ) p d , γ , β S q , L ( f ) p d , γ , β p 1 q S q , Δ ( f ) p , p - 1 q S q , L ( f ) p d , γ , β G q , L ( f ) p d , γ , β p 1 q S q , L ( f ) p , where \(\Delta \) Δ is the standard Laplacian; moreover all the orders appeared above are optimal as \(p\rightarrow 1\) p 1 . This, combined with the existing results in Martínez et al. (Adv Math 203(2):430–475, 2006) and Ouyang and Xu (Can J Math 62(4):827–844, 2010), allows us to resolve partially Problem 1.8, Problem A.1 and Conjecture A.4 regarding the optimal Lusin type constant and the characterization of martingale type in a recent remarkable work due to Xu (Holomorphic functional calculus and vector-valued Littlewood–Paley–Stein theory for semigroups. J Euro Math Soc, 2024. arXiv:2105.12175). Several difficulties originate from the arbitrariness of X, which excludes the use of vector-valued Calderón–Zygmund theory. To surmount the obstacles, we introduce the novel vector-valued Hardy and BMO spaces associated with sectorial operators; in addition to Mei’s duality techniques and Wilson’s intrinsic square functions developed in this setting, the key new input is the vector-valued tent space theory and its unexpected amalgamation with these ‘old’ techniques.