<p>In this note, we establish several interpolation inequalities in the Lebesgue spaces and Morrey spaces. By using the classical Calderón–Zygmund decomposition, we will reprove that <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(L^{p}(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\subset L^{q}(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mtext>BMO</mtext> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>⊂</mo> <msup> <mi>L</mi> <mi>q</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <i>q</i> with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p&lt;q&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <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>. We also reprove that there exists a constant <i>C</i>(<i>p</i>,&#xa0;<i>q</i>,&#xa0;<i>n</i>) depending on <i>p</i>,&#xa0;<i>q</i>,&#xa0;<i>n</i> such that the following inequality <Equation ID="Equ10"> <EquationSource Format="TEX">\(\begin{aligned} \Vert f\Vert _{L^q}\le C(p,q,n)\cdot \big (\Vert f\Vert _{L^p}\big )^{p/q}\cdot \big (\Vert f\Vert _{\textrm{BMO}}\big )^{1-p/q} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mi>q</mi> </msup> </msub> <mo>≤</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>·</mo> <msub> <mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> </msub> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mrow> <mi>p</mi> <mo stretchy="false">/</mo> <mi>q</mi> </mrow> </msup> <mo>·</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mtext>BMO</mtext> </msub> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>p</mi> <mo stretchy="false">/</mo> <mi>q</mi> </mrow> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>holds for all <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(f\in L^{p}(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mtext>BMO</mtext> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <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>. Moreover, this embedding constant has the optimal growth order <i>q</i> as <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(q\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, which was given by Chen–Zhu, and Kozono–Wadade. We will also show that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L^{p,\kappa }(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\subset L^{q,\kappa }(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>κ</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mtext>BMO</mtext> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>⊂</mo> <msup> <mi>L</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>κ</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <i>q</i> with <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p&lt;q&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <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="IEq10"> <EquationSource Format="TEX">\(0&lt;\kappa &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>. Moreover, there exists a constant <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\widetilde{C}(p,q,n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>C</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> depending on <i>p</i>,&#xa0;<i>q</i>,&#xa0;<i>n</i> such that the following inequality <Equation ID="Equ11"> <EquationSource Format="TEX">\(\begin{aligned} \Vert f\Vert _{L^{q,\kappa }}\le \widetilde{C}(p,q,n)\cdot \big (\Vert f\Vert _{L^{p,\kappa }}\big )^{p/q}\cdot \big (\Vert f\Vert _{\textrm{BMO}}\big )^{1-p/q} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>κ</mi> </mrow> </msup> </msub> <mo>≤</mo> <mover accent="true"> <mi>C</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>·</mo> <msub> <mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>κ</mi> </mrow> </msup> </msub> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mrow> <mi>p</mi> <mo stretchy="false">/</mo> <mi>q</mi> </mrow> </msup> <mo>·</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mtext>BMO</mtext> </msub> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>p</mi> <mo stretchy="false">/</mo> <mi>q</mi> </mrow> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>holds for all <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(f\in L^{p,\kappa }(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>κ</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mtext>BMO</mtext> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq13"> <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="IEq14"> <EquationSource Format="TEX">\(0&lt;\kappa &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>. This embedding constant is shown to have the linear growth order as <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(q\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, that is, <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\widetilde{C}(p,q,n)\le C_n\cdot q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>C</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>C</mi> <mi>n</mi> </msub> <mo>·</mo> <mi>q</mi> </mrow> </math></EquationSource> </InlineEquation> with the constant <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(C_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> depending only on the dimension <i>n</i>, when <i>q</i> is large. As an application of the above results, some new bilinear estimates are also established, which can be used in the study of the global existence and regularity of weak solutions to elliptic and parabolic partial differential equations of the second order.</p>

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

Several inequalities concerning interpolation in Lebesgue, Morrey and BMO spaces

  • Hua Wang,
  • Runzhe Zhang

摘要

In this note, we establish several interpolation inequalities in the Lebesgue spaces and Morrey spaces. By using the classical Calderón–Zygmund decomposition, we will reprove that \(L^{p}(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\subset L^{q}(\mathbb {R}^n)\) L p ( R n ) BMO ( R n ) L q ( R n ) for all q with \(p<q<\infty \) p < q < , where \(1\le p<\infty \) 1 p < . We also reprove that there exists a constant C(pqn) depending on pqn such that the following inequality \(\begin{aligned} \Vert f\Vert _{L^q}\le C(p,q,n)\cdot \big (\Vert f\Vert _{L^p}\big )^{p/q}\cdot \big (\Vert f\Vert _{\textrm{BMO}}\big )^{1-p/q} \end{aligned}\) f L q C ( p , q , n ) · ( f L p ) p / q · ( f BMO ) 1 - p / q holds for all \(f\in L^{p}(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\) f L p ( R n ) BMO ( R n ) with \(1\le p<\infty \) 1 p < . Moreover, this embedding constant has the optimal growth order q as \(q\rightarrow \infty \) q , which was given by Chen–Zhu, and Kozono–Wadade. We will also show that \(L^{p,\kappa }(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\subset L^{q,\kappa }(\mathbb {R}^n)\) L p , κ ( R n ) BMO ( R n ) L q , κ ( R n ) for all q with \(p<q<\infty \) p < q < , where \(1\le p<\infty \) 1 p < and \(0<\kappa <1\) 0 < κ < 1 . Moreover, there exists a constant \(\widetilde{C}(p,q,n)\) C ~ ( p , q , n ) depending on pqn such that the following inequality \(\begin{aligned} \Vert f\Vert _{L^{q,\kappa }}\le \widetilde{C}(p,q,n)\cdot \big (\Vert f\Vert _{L^{p,\kappa }}\big )^{p/q}\cdot \big (\Vert f\Vert _{\textrm{BMO}}\big )^{1-p/q} \end{aligned}\) f L q , κ C ~ ( p , q , n ) · ( f L p , κ ) p / q · ( f BMO ) 1 - p / q holds for all \(f\in L^{p,\kappa }(\mathbb {R}^n)\cap \textrm{BMO}(\mathbb {R}^n)\) f L p , κ ( R n ) BMO ( R n ) with \(1\le p<\infty \) 1 p < and \(0<\kappa <1\) 0 < κ < 1 . This embedding constant is shown to have the linear growth order as \(q\rightarrow \infty \) q , that is, \(\widetilde{C}(p,q,n)\le C_n\cdot q\) C ~ ( p , q , n ) C n · q with the constant \(C_n\) C n depending only on the dimension n, when q is large. As an application of the above results, some new bilinear estimates are also established, which can be used in the study of the global existence and regularity of weak solutions to elliptic and parabolic partial differential equations of the second order.