<p>For <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(0 \le \beta &lt; n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>β</mi> <mo>&lt;</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, we study a generalized singular integral and its commutator with rough variable kernels, defined as <Equation ID="Equ73"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_Equ73.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="277" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {T_{\Omega ,\beta }}f(x) =p.v. \int _{\mathbb {R}^n} \frac{\Omega (x, x - y)}{|x - y|^{n - \beta }} f(y)\, dy \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>T</mi> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>p</mi> <mo>.</mo> <mi>v</mi> <mo>.</mo> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </msub> <mfrac> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mi>β</mi> </mrow> </msup> </mfrac> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>y</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and <Equation ID="Equ74"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_Equ74.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="394" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {[}b, T_{\Omega ,\beta }]f(x) =p.v.\int _{\mathbb {R}^n} \frac{\Omega (x, x - y)}{|x - y|^{n - \beta }} (b(x) - b(y)) f(y)\, dy, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo stretchy="false">[</mo> <mi>b</mi> <mo>,</mo> <msub> <mi>T</mi> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mrow> <mo stretchy="false">]</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>p</mi> <mo>.</mo> <mi>v</mi> <mo>.</mo> </mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </msub> <mfrac> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mi>β</mi> </mrow> </msup> </mfrac> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>y</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is defined on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n \times \mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(b \in \text {BMO}(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>∈</mo> <mtext>BMO</mtext> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega (x, \cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is homogeneous of degree zero for any fixed <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(x \in \mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. Moreover, for some <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="115" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert \Omega (x, \cdot )\Vert _{L^r(S^{n-1})}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">‖</mo> <mi mathvariant="normal">Ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>r</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>S</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </math></EquationSource> </InlineEquation> is uniformly bounded with respect to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(x \in \mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. The authors prove that, if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(0 &lt; \beta \le 1/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>β</mi> <mo>≤</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega (x, \cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has mean value zero on the unit sphere for any fixed <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(x \in \mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="162" /> </InlineMediaObject> <EquationSource Format="TEX">\(r &gt; 2(n - 1)/(n - 2\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&gt;</mo> <mn>2</mn> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is sufficient for both <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{\Omega ,\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\([b, T_{\Omega ,\beta }]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>b</mi> <mo>,</mo> <msub> <mi>T</mi> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> to be bounded from <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq16.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{2n/(n + 2\beta )}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, uniformly with respect to <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq18.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation>. This result recovers the <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-boundedness of <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{\Omega ,0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq21.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\([b, T_{\Omega ,0}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>b</mi> <mo>,</mo> <msub> <mi>T</mi> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mn>0</mn> </mrow> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> by letting <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2372_Article_IEq22.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \rightarrow 0^+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo stretchy="false">→</mo> <msup> <mn>0</mn> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, aligning with the known results established by Calderón and Zygmund (Trans Am Math Soc 78:209–224, 1955) and Chen and Ding (Rev Mat Iberoam 24(2):531–547, 2008).</p>

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

Uniform Boundedness of a Generalized Singular Integral and Its Commutator with Rough Variable Kernels

  • Weitao Hu

摘要

For \(0 \le \beta < n\) 0 β < n , we study a generalized singular integral and its commutator with rough variable kernels, defined as \(\begin{aligned} {T_{\Omega ,\beta }}f(x) =p.v. \int _{\mathbb {R}^n} \frac{\Omega (x, x - y)}{|x - y|^{n - \beta }} f(y)\, dy \end{aligned}\) T Ω , β f ( x ) = p . v . R n Ω ( x , x - y ) | x - y | n - β f ( y ) d y and \(\begin{aligned} {[}b, T_{\Omega ,\beta }]f(x) =p.v.\int _{\mathbb {R}^n} \frac{\Omega (x, x - y)}{|x - y|^{n - \beta }} (b(x) - b(y)) f(y)\, dy, \end{aligned}\) [ b , T Ω , β ] f ( x ) = p . v . R n Ω ( x , x - y ) | x - y | n - β ( b ( x ) - b ( y ) ) f ( y ) d y , where \(\Omega \) Ω is defined on \(\mathbb {R}^n \times \mathbb {R}^n\) R n × R n , \(b \in \text {BMO}(\mathbb {R}^n)\) b BMO ( R n ) , and \(\Omega (x, \cdot )\) Ω ( x , · ) is homogeneous of degree zero for any fixed \(x \in \mathbb {R}^n\) x R n . Moreover, for some \(r \ge 1\) r 1 , \(\Vert \Omega (x, \cdot )\Vert _{L^r(S^{n-1})}\) Ω ( x , · ) L r ( S n - 1 ) is uniformly bounded with respect to \(x \in \mathbb {R}^n\) x R n . The authors prove that, if \(0 < \beta \le 1/2\) 0 < β 1 / 2 and \(\Omega (x, \cdot )\) Ω ( x , · ) has mean value zero on the unit sphere for any fixed \(x \in \mathbb {R}^n\) x R n , then \(r > 2(n - 1)/(n - 2\beta )\) r > 2 ( n - 1 ) / ( n - 2 β ) is sufficient for both \(T_{\Omega ,\beta }\) T Ω , β and \([b, T_{\Omega ,\beta }]\) [ b , T Ω , β ] to be bounded from \(L^{2n/(n + 2\beta )}\) L 2 n / ( n + 2 β ) to \(L^2\) L 2 , uniformly with respect to \(\beta \) β . This result recovers the \(L^2\) L 2 -boundedness of \(T_{\Omega ,0}\) T Ω , 0 and \([b, T_{\Omega ,0}]\) [ b , T Ω , 0 ] by letting \(\beta \rightarrow 0^+\) β 0 + , aligning with the known results established by Calderón and Zygmund (Trans Am Math Soc 78:209–224, 1955) and Chen and Ding (Rev Mat Iberoam 24(2):531–547, 2008).