<p>We consider maximal kernel-operators on abstract measure spaces <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((X,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> equipped with a ball-basis. We prove that under certain asymptotic condition on the kernels those operators maps boundedly <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{BMO }(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BMO</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textrm{BLO }(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>BLO</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, generalizing the well-known results of Bennett-DeVore-Sharpley [<CitationRef CitationID="CR2">2</CitationRef>] and Bennett [<CitationRef CitationID="CR1">1</CitationRef>] for the Hardy-Littlewood maximal function. As a particular case of such an operator one can consider the maximal function <Equation ID="Equ60"> <EquationSource Format="TEX">\(\begin{aligned} {\mathcal {M}}_\phi f(x)=\sup _{r&gt;0}\frac{1}{r^d}\int _{\mathbb R^d}|f(t)|\phi \left( \frac{x-t}{r}\right) dt, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="script">M</mi> <mi>ϕ</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munder> <mo movablelimits="true">sup</mo> <mrow> <mi>r</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </munder> <mfrac> <mn>1</mn> <msup> <mi>r</mi> <mi>d</mi> </msup> </mfrac> <msub> <mo>∫</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>d</mi> </msup> </msub> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mi>ϕ</mi> <mfenced close=")" open="("> <mfrac> <mrow> <mi>x</mi> <mo>-</mo> <mi>t</mi> </mrow> <mi>r</mi> </mfrac> </mfenced> <mi>d</mi> <mi>t</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and its non-tangential version. Here <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\phi (x)\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is a bounded spherical function on <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb R^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, decreasing with respect to |<i>x</i>| and satisfying the bound <Equation ID="Equ61"> <EquationSource Format="TEX">\(\begin{aligned} \int _{\mathbb R^d}\phi (x)\log (2+|x|)dx&lt;\infty . \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mo>∫</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>d</mi> </msup> </msub> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo>+</mo> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>x</mi> <mo>&lt;</mo> <mi>∞</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We prove that if <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f\in \textrm{BMO }(\mathbb R^d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mtext>BMO</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>d</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\mathcal {M}}_\phi (f)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">M</mi> <mi>ϕ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is not identically infinite, then <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({\mathcal {M}}_\phi (f)\in \textrm{BLO }(\mathbb R^d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">M</mi> <mi>ϕ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mtext>BLO</mtext> <mspace width="0.333333em" /> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>d</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Our main result is an inequality, providing an estimation of certain local oscillation of the maximal function <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathcal {M}}(f)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> by a local sharp function of <i>f</i>.</p>

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

Maximal operators on spaces BMO and BLO

  • Grigori A. Karagulyan

摘要

We consider maximal kernel-operators on abstract measure spaces \((X,\mu )\) ( X , μ ) equipped with a ball-basis. We prove that under certain asymptotic condition on the kernels those operators maps boundedly \(\textrm{BMO }(X)\) BMO ( X ) into \(\textrm{BLO }(X)\) BLO ( X ) , generalizing the well-known results of Bennett-DeVore-Sharpley [2] and Bennett [1] for the Hardy-Littlewood maximal function. As a particular case of such an operator one can consider the maximal function \(\begin{aligned} {\mathcal {M}}_\phi f(x)=\sup _{r>0}\frac{1}{r^d}\int _{\mathbb R^d}|f(t)|\phi \left( \frac{x-t}{r}\right) dt, \end{aligned}\) M ϕ f ( x ) = sup r > 0 1 r d R d | f ( t ) | ϕ x - t r d t , and its non-tangential version. Here \(\phi (x)\ge 0\) ϕ ( x ) 0 is a bounded spherical function on \(\mathbb R^d\) R d , decreasing with respect to |x| and satisfying the bound \(\begin{aligned} \int _{\mathbb R^d}\phi (x)\log (2+|x|)dx<\infty . \end{aligned}\) R d ϕ ( x ) log ( 2 + | x | ) d x < . We prove that if \(f\in \textrm{BMO }(\mathbb R^d)\) f BMO ( R d ) and \({\mathcal {M}}_\phi (f)\) M ϕ ( f ) is not identically infinite, then \({\mathcal {M}}_\phi (f)\in \textrm{BLO }(\mathbb R^d)\) M ϕ ( f ) BLO ( R d ) . Our main result is an inequality, providing an estimation of certain local oscillation of the maximal function \({\mathcal {M}}(f)\) M ( f ) by a local sharp function of f.