<p>In the present paper, we study the endpoint Sobolev regularity of the one-sided multilinear maximal operators <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\frak{M}_{\alpha}^{+}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="fraktur">M</mi> </mrow> <mrow> <mi>α</mi> </mrow> <mrow> <mo mathvariant="fraktur">+</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\frak{M}_{\alpha}^{-}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="fraktur">M</mi> </mrow> <mrow> <mi>α</mi> </mrow> <mrow> <mo mathvariant="fraktur">−</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation>, where <i>m</i> is a positive integer and 0 ≤ <i>a</i> ≤ <i>m</i>. We prove that both the maps <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\overrightarrow{f}\mapsto({\frak{M}}_{\alpha}^{+}(\overrightarrow{f}))^{\prime}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mover> <mi>f</mi> <mo>→</mo> </mover> <mo stretchy="false">↦</mo> <mo stretchy="false">(</mo> <msubsup> <mrow> <mrow> <mi mathvariant="fraktur">M</mi> </mrow> </mrow> <mrow> <mi>α</mi> </mrow> <mrow> <mo>+</mo> </mrow> </msubsup> <mo stretchy="false">(</mo> <mover> <mi>f</mi> <mo>→</mo> </mover> <mo stretchy="false">)</mo> <msup> <mo stretchy="false">)</mo> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\overrightarrow{f}\mapsto({\frak{M}}_{\alpha}^{-}(\overrightarrow{f}))^{\prime}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mover> <mi>f</mi> <mo>→</mo> </mover> <mo stretchy="false">↦</mo> <mo stretchy="false">(</mo> <msubsup> <mrow> <mrow> <mi mathvariant="fraktur">M</mi> </mrow> </mrow> <mrow> <mi>α</mi> </mrow> <mrow> <mo>−</mo> </mrow> </msubsup> <mo stretchy="false">(</mo> <mover> <mi>f</mi> <mo>→</mo> </mover> <mo stretchy="false">)</mo> <msup> <mo stretchy="false">)</mo> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> are bounded and continuous from <i>w</i><sup>1,1</sup>(ℝ) × ⋯ × <i>w</i><sup>1,1</sup>(ℝ) to <i>L</i><sup><i>q</i></sup>(ℝ) if <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(q \in ({{1 \over {m - \alpha}},\infty})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mrow> <mrow> <mfrac> <mn>1</mn> <mrow> <mi>m</mi> <mo>−</mo> <mi>α</mi> </mrow> </mfrac> </mrow> <mo>,</mo> <mi mathvariant="normal">∞</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, and bounded and continuous from <i>W</i><sup>1,1</sup> (ℝ) × ⋯ × <i>W</i><sup>1,1</sup> (ℝ) to <i>L</i><sup><i>q</i></sup>(ℝ) if α ∈ [1, <i>m</i>) and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(q \in ({{1 \over {m - \alpha +1}},\infty})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mrow> <mrow> <mfrac> <mn>1</mn> <mrow> <mi>m</mi> <mo>−</mo> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> </mrow> <mo>,</mo> <mi mathvariant="normal">∞</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>. Here <i>w</i><sup>1,1</sup>(ℝ) is the set of all functions <i>f</i> ∈ <i>W</i><sup>1,1</sup>(ℝ) with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Vert f^{\prime}\Vert_{L^{\infty}(\mathbb{R})}&lt;\infty\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mo fence="false" stretchy="false">∥</mo> <msup> <mi>f</mi> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> <msub> <mo>∥</mo> <mrow> <msup> <mi>L</mi> <mrow> <mi mathvariant="normal">∞</mi> </mrow> </msup> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo stretchy="false">)</mo> </mrow> </msub> <mo>&lt;</mo> <mi mathvariant="normal">∞</mi> </math></EquationSource> </InlineEquation>. Besides, we show that the boundedness of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\overrightarrow{f}\mapsto({\frak{M}}_{\alpha}^{+}(\overrightarrow{f}))^{\prime}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mover> <mi>f</mi> <mo>→</mo> </mover> <mo stretchy="false">↦</mo> <mo stretchy="false">(</mo> <msubsup> <mrow> <mrow> <mi mathvariant="fraktur">M</mi> </mrow> </mrow> <mrow> <mi>α</mi> </mrow> <mrow> <mo>+</mo> </mrow> </msubsup> <mo stretchy="false">(</mo> <mover> <mi>f</mi> <mo>→</mo> </mover> <mo stretchy="false">)</mo> <msup> <mo stretchy="false">)</mo> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> from <i>W</i><sup>1,1</sup>(ℝ) × ⋯ × <i>W</i><sup>1,1</sup>(ℝ) to <i>L</i><sup><i>q</i></sup>(ℝ) with any <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(q \in ({{1 \over {m - \alpha +1}},\infty})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mrow> <mrow> <mfrac> <mn>1</mn> <mrow> <mi>m</mi> <mo>−</mo> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> </mrow> <mo>,</mo> <mi mathvariant="normal">∞</mi> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> implies its continuity. The above claim also holds for <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\frak{M}_{\alpha}^{-}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="fraktur">M</mi> </mrow> <mrow> <mi>α</mi> </mrow> <mrow> <mo mathvariant="fraktur">−</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation>. It should be pointed out that all of main results are new even in the linear case <i>m</i> = 1.</p>

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

Endpoint Sobolev Regularity of One-sided Multilinear Maximal Functions

  • Daiqing Zhang,
  • Pu Zhang

摘要

In the present paper, we study the endpoint Sobolev regularity of the one-sided multilinear maximal operators \(\frak{M}_{\alpha}^{+}\) M α + and \(\frak{M}_{\alpha}^{-}\) M α , where m is a positive integer and 0 ≤ am. We prove that both the maps \(\overrightarrow{f}\mapsto({\frak{M}}_{\alpha}^{+}(\overrightarrow{f}))^{\prime}\) f ( M α + ( f ) ) and \(\overrightarrow{f}\mapsto({\frak{M}}_{\alpha}^{-}(\overrightarrow{f}))^{\prime}\) f ( M α ( f ) ) are bounded and continuous from w1,1(ℝ) × ⋯ × w1,1(ℝ) to Lq(ℝ) if \(q \in ({{1 \over {m - \alpha}},\infty})\) q ( 1 m α , ) , and bounded and continuous from W1,1 (ℝ) × ⋯ × W1,1 (ℝ) to Lq(ℝ) if α ∈ [1, m) and \(q \in ({{1 \over {m - \alpha +1}},\infty})\) q ( 1 m α + 1 , ) . Here w1,1(ℝ) is the set of all functions fW1,1(ℝ) with \(\Vert f^{\prime}\Vert_{L^{\infty}(\mathbb{R})}<\infty\) f L ( R ) < . Besides, we show that the boundedness of \(\overrightarrow{f}\mapsto({\frak{M}}_{\alpha}^{+}(\overrightarrow{f}))^{\prime}\) f ( M α + ( f ) ) from W1,1(ℝ) × ⋯ × W1,1(ℝ) to Lq(ℝ) with any \(q \in ({{1 \over {m - \alpha +1}},\infty})\) q ( 1 m α + 1 , ) implies its continuity. The above claim also holds for \(\frak{M}_{\alpha}^{-}\) M α . It should be pointed out that all of main results are new even in the linear case m = 1.