<p>How large is the Bessel potential, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G_{\alpha ,\mu }f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mrow> <mi>α</mi> <mo>,</mo> <mi>μ</mi> </mrow> </msub> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation>, compared to the Riesz potential, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(I_\alpha f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>α</mi> </msub> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation>? In this paper, we show that if <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(I_\alpha f\in L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>α</mi> </msub> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(0&lt;\alpha &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(p&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then the following interpolation bound holds: <Equation ID="Equ20"> <EquationSource Format="TEX">\(\begin{aligned} \Vert G_{\alpha ,\mu }f\Vert _p\le C(\omega (I_\alpha f,1/\mu )_p)^\alpha \cdot \Vert I_\alpha f\Vert ^{1-\alpha }_p. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>G</mi> <mrow> <mi>α</mi> <mo>,</mo> <mi>μ</mi> </mrow> </msub> <msub> <mrow> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msub> <mo>≤</mo> <mi>C</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mi>α</mi> </msub> <mi>f</mi> <mo>,</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>α</mi> </msup> <mo>·</mo> <msubsup> <mrow> <mo stretchy="false">‖</mo> <msub> <mi>I</mi> <mi>α</mi> </msub> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> </msubsup> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Here <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\omega (f,t)_p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> modulus of continuity. However, if <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha =p=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mi>p</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we obtain the “<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L\log L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>log</mo> <mi>L</mi> </mrow> </math></EquationSource> </InlineEquation>” type result: <Equation ID="Equ21"> <EquationSource Format="TEX">\( \Vert G_{1,\mu } f\Vert _{1}\le B\omega (I_1f,1/\mu )_1|\log \omega (I_1f,1/\mu )_1|. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>G</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>μ</mi> </mrow> </msub> <msub> <mrow> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mn>1</mn> </msub> <mo>≤</mo> <mi>B</mi> <mi>ω</mi> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mn>1</mn> </msub> <mi>f</mi> <mo>,</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> <mn>1</mn> </msub> <mrow> <mo stretchy="false">|</mo> <mo>log</mo> <mi>ω</mi> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mn>1</mn> </msub> <mi>f</mi> <mo>,</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> <mn>1</mn> </msub> <mo stretchy="false">|</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation>These and other estimates are obtained by studying the quotient of the two operators, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(E_{\alpha ,\mu }:=\frac{(-\Delta )^{\alpha /2}}{(\mu ^2I-\Delta )^{\alpha /2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>α</mi> <mo>,</mo> <mi>μ</mi> </mrow> </msub> <mo>:</mo> <mo>=</mo> <mfrac> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>α</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>μ</mi> <mn>2</mn> </msup> <mi>I</mi> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>α</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. This operator is of independent interest due to its connection to approximation theory.</p>

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

A comparison of Bessel and Riesz potentials

  • Ikemefuna Agbanusi

摘要

How large is the Bessel potential, \(G_{\alpha ,\mu }f\) G α , μ f , compared to the Riesz potential, \(I_\alpha f\) I α f ? In this paper, we show that if \(I_\alpha f\in L^p\) I α f L p with \(0<\alpha <1\) 0 < α < 1 and \(p>1\) p > 1 , then the following interpolation bound holds: \(\begin{aligned} \Vert G_{\alpha ,\mu }f\Vert _p\le C(\omega (I_\alpha f,1/\mu )_p)^\alpha \cdot \Vert I_\alpha f\Vert ^{1-\alpha }_p. \end{aligned}\) G α , μ f p C ( ω ( I α f , 1 / μ ) p ) α · I α f p 1 - α . Here \(\omega (f,t)_p\) ω ( f , t ) p is the \(L^p\) L p modulus of continuity. However, if \(\alpha =p=1\) α = p = 1 , we obtain the “ \(L\log L\) L log L ” type result: \( \Vert G_{1,\mu } f\Vert _{1}\le B\omega (I_1f,1/\mu )_1|\log \omega (I_1f,1/\mu )_1|. \) G 1 , μ f 1 B ω ( I 1 f , 1 / μ ) 1 | log ω ( I 1 f , 1 / μ ) 1 | . These and other estimates are obtained by studying the quotient of the two operators, \(E_{\alpha ,\mu }:=\frac{(-\Delta )^{\alpha /2}}{(\mu ^2I-\Delta )^{\alpha /2}}\) E α , μ : = ( - Δ ) α / 2 ( μ 2 I - Δ ) α / 2 . This operator is of independent interest due to its connection to approximation theory.