<p>In this paper, we establish several interpolation inequalities in the weighted Lebesgue spaces and Morrey spaces. By using the classical Calderón–Zygmund decomposition with respect to <i>ω</i> (a weight function), we prove that <InlineEquation ID="IEq1"><EquationSource Format="MATHML"><math><msup><mi>L</mi><mi>p</mi></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo><mo>∩</mo><mi mathvariant="normal">BMO</mi><mo stretchy="false">(</mo><msup><mi mathvariant="double-struck">R</mi><mi>n</mi></msup><mo stretchy="false">)</mo><mo>⊂</mo><msup><mi>L</mi><mi>q</mi></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo></math></EquationSource><EquationSource Format="TEX">$L^{p}(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})\subset L^{q}(\omega )$</EquationSource></InlineEquation> for all <i>q</i> with <InlineEquation ID="IEq2"><EquationSource Format="MATHML"><math><mi>p</mi><mo>&lt;</mo><mi>q</mi><mo>&lt;</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$p&lt; q&lt;\infty $</EquationSource></InlineEquation>, where <InlineEquation ID="IEq3"><EquationSource Format="MATHML"><math><mn>1</mn><mo>≤</mo><mi>p</mi><mo>&lt;</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$1\leq p&lt;\infty $</EquationSource></InlineEquation> and <InlineEquation ID="IEq4"><EquationSource Format="MATHML"><math><mi>ω</mi><mo>∈</mo><msub><mi>A</mi><mi>p</mi></msub></math></EquationSource><EquationSource Format="TEX">$\omega \in A_{p}$</EquationSource></InlineEquation>. We also prove that there exists a constant <InlineEquation ID="IEq5"><EquationSource Format="MATHML"><math><mi>C</mi><mo stretchy="false">(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>n</mi><mo>,</mo><msub><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo></mrow><msub><mi>A</mi><mi>p</mi></msub></msub><mo stretchy="false">)</mo></math></EquationSource><EquationSource Format="TEX">$C(p,q,n,[\omega ]_{A_{p}})$</EquationSource></InlineEquation> depending on <InlineEquation ID="IEq6"><EquationSource Format="MATHML"><math><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>n</mi></math></EquationSource><EquationSource Format="TEX">$p,q,n$</EquationSource></InlineEquation> and <InlineEquation ID="IEq7"><EquationSource Format="MATHML"><math><msub><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo></mrow><msub><mi>A</mi><mi>p</mi></msub></msub></math></EquationSource><EquationSource Format="TEX">$[\omega ]_{A_{p}}$</EquationSource></InlineEquation> such that the following inequality <Equation ID="Equa"><EquationSource Format="MATHML"><math><msub><mrow><mo stretchy="false">∥</mo><mi>f</mi><mo stretchy="false">∥</mo></mrow><mrow><msup><mi>L</mi><mi>q</mi></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo></mrow></msub><mo>≤</mo><mi>C</mi><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>n</mi><mo>,</mo><msub><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo></mrow><msub><mi>A</mi><mi>p</mi></msub></msub><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">)</mo><mo>⋅</mo><msup><mrow><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">(</mo><msub><mrow><mo stretchy="false">∥</mo><mi>f</mi><mo stretchy="false">∥</mo></mrow><mrow><msup><mi>L</mi><mi>p</mi></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo></mrow></msub><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">)</mo></mrow><mrow><mi>p</mi><mo stretchy="false">/</mo><mi>q</mi></mrow></msup><mo>⋅</mo><msup><mrow><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">(</mo><msub><mrow><mo stretchy="false">∥</mo><mi>f</mi><mo stretchy="false">∥</mo></mrow><mi mathvariant="normal">BMO</mi></msub><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">)</mo></mrow><mrow><mn>1</mn><mo>−</mo><mi>p</mi><mo stretchy="false">/</mo><mi>q</mi></mrow></msup></math></EquationSource><EquationSource Format="TEX">\( \|f\|_{L^{q}(\omega )}\leq C\big(p,q,n,[\omega ]_{A_{p}}\big)\cdot \big(\|f\|_{L^{p}(\omega )}\big)^{p/q}\cdot \big(\|f\|_{\mathrm{BMO}} \big)^{1-p/q} \)</EquationSource></Equation> holds for all <InlineEquation ID="IEq8"><EquationSource Format="MATHML"><math><mi>f</mi><mo>∈</mo><msup><mi>L</mi><mi>p</mi></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo><mo>∩</mo><mi mathvariant="normal">BMO</mi><mo stretchy="false">(</mo><msup><mi mathvariant="double-struck">R</mi><mi>n</mi></msup><mo stretchy="false">)</mo></math></EquationSource><EquationSource Format="TEX">$f\in L^{p}(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})$</EquationSource></InlineEquation> with <InlineEquation ID="IEq9"><EquationSource Format="MATHML"><math><mn>1</mn><mo>≤</mo><mi>p</mi><mo>&lt;</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$1\leq p&lt;\infty $</EquationSource></InlineEquation> and <InlineEquation ID="IEq10"><EquationSource Format="MATHML"><math><mi>ω</mi><mo>∈</mo><msub><mi>A</mi><mi>p</mi></msub></math></EquationSource><EquationSource Format="TEX">$\omega \in A_{p}$</EquationSource></InlineEquation>. Moreover, this embedding constant is shown to have the optimal growth order <i>q</i> as <InlineEquation ID="IEq11"><EquationSource Format="MATHML"><math><mi>q</mi><mo stretchy="false">→</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$q\to \infty $</EquationSource></InlineEquation>, which was given by Chen–Zhu, Kozono–Wadade and Milman in the unweighted case. Furthermore, we show that <InlineEquation ID="IEq12"><EquationSource Format="MATHML"><math><msup><mi>L</mi><mrow><mi>p</mi><mo>,</mo><mi>κ</mi></mrow></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo><mo>∩</mo><mi mathvariant="normal">BMO</mi><mo stretchy="false">(</mo><msup><mi mathvariant="double-struck">R</mi><mi>n</mi></msup><mo stretchy="false">)</mo><mo>⊂</mo><msup><mi>L</mi><mrow><mi>q</mi><mo>,</mo><mi>κ</mi></mrow></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo></math></EquationSource><EquationSource Format="TEX">$L^{p,\kappa }(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})\subset L^{q, \kappa }(\omega )$</EquationSource></InlineEquation> for all <i>q</i> with <InlineEquation ID="IEq13"><EquationSource Format="MATHML"><math><mi>p</mi><mo>&lt;</mo><mi>q</mi><mo>&lt;</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$p&lt; q&lt;\infty $</EquationSource></InlineEquation>, where <InlineEquation ID="IEq14"><EquationSource Format="MATHML"><math><mn>1</mn><mo>≤</mo><mi>p</mi><mo>&lt;</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$1\leq p&lt;\infty $</EquationSource></InlineEquation>, <InlineEquation ID="IEq15"><EquationSource Format="MATHML"><math><mi>ω</mi><mo>∈</mo><msub><mi>A</mi><mi>p</mi></msub></math></EquationSource><EquationSource Format="TEX">$\omega \in A_{p}$</EquationSource></InlineEquation> and <InlineEquation ID="IEq16"><EquationSource Format="MATHML"><math><mn>0</mn><mo>&lt;</mo><mi>κ</mi><mo>&lt;</mo><mn>1</mn></math></EquationSource><EquationSource Format="TEX">$0&lt;\kappa &lt;1$</EquationSource></InlineEquation>. Moreover, there exists a constant <InlineEquation ID="IEq17"><EquationSource Format="MATHML"><math><mover accent="true"><mi>C</mi><mo>˜</mo></mover><mo stretchy="false">(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>n</mi><mo>,</mo><msub><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo></mrow><msub><mi>A</mi><mi>p</mi></msub></msub><mo stretchy="false">)</mo></math></EquationSource><EquationSource Format="TEX">$\widetilde{C}(p,q,n,[\omega ]_{A_{p}})$</EquationSource></InlineEquation> depending on <InlineEquation ID="IEq18"><EquationSource Format="MATHML"><math><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>n</mi></math></EquationSource><EquationSource Format="TEX">$p,q,n$</EquationSource></InlineEquation> and <InlineEquation ID="IEq19"><EquationSource Format="MATHML"><math><msub><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo></mrow><msub><mi>A</mi><mi>p</mi></msub></msub></math></EquationSource><EquationSource Format="TEX">$[\omega ]_{A_{p}}$</EquationSource></InlineEquation> such that the following inequality <Equation ID="Equb"><EquationSource Format="MATHML"><math><msub><mrow><mo stretchy="false">∥</mo><mi>f</mi><mo stretchy="false">∥</mo></mrow><mrow><msup><mi>L</mi><mrow><mi>q</mi><mo>,</mo><mi>κ</mi></mrow></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo></mrow></msub><mo>≤</mo><mover accent="true"><mi>C</mi><mo>˜</mo></mover><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>n</mi><mo>,</mo><msub><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo></mrow><msub><mi>A</mi><mi>p</mi></msub></msub><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">)</mo><mo>⋅</mo><msup><mrow><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">(</mo><msub><mrow><mo stretchy="false">∥</mo><mi>f</mi><mo stretchy="false">∥</mo></mrow><mrow><msup><mi>L</mi><mrow><mi>p</mi><mo>,</mo><mi>κ</mi></mrow></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo></mrow></msub><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">)</mo></mrow><mrow><mi>p</mi><mo stretchy="false">/</mo><mi>q</mi></mrow></msup><mo>⋅</mo><msup><mrow><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">(</mo><msub><mrow><mo stretchy="false">∥</mo><mi>f</mi><mo stretchy="false">∥</mo></mrow><mi mathvariant="normal">BMO</mi></msub><mo maxsize="2.4ex" minsize="2.4ex" stretchy="true">)</mo></mrow><mrow><mn>1</mn><mo>−</mo><mi>p</mi><mo stretchy="false">/</mo><mi>q</mi></mrow></msup></math></EquationSource><EquationSource Format="TEX">\( \|f\|_{L^{q,\kappa }(\omega )}\leq \widetilde{C}\big(p,q,n,[\omega ]_{A_{p}} \big) \cdot \big(\|f\|_{L^{p,\kappa }(\omega )}\big)^{p/q}\cdot \big( \|f\|_{\mathrm{BMO}}\big)^{1-p/q} \)</EquationSource></Equation> holds for all <InlineEquation ID="IEq20"><EquationSource Format="MATHML"><math><mi>f</mi><mo>∈</mo><msup><mi>L</mi><mrow><mi>p</mi><mo>,</mo><mi>κ</mi></mrow></msup><mo stretchy="false">(</mo><mi>ω</mi><mo stretchy="false">)</mo><mo>∩</mo><mi mathvariant="normal">BMO</mi><mo stretchy="false">(</mo><msup><mi mathvariant="double-struck">R</mi><mi>n</mi></msup><mo stretchy="false">)</mo></math></EquationSource><EquationSource Format="TEX">$f\in L^{p,\kappa }(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})$</EquationSource></InlineEquation> with <InlineEquation ID="IEq21"><EquationSource Format="MATHML"><math><mn>1</mn><mo>≤</mo><mi>p</mi><mo>&lt;</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$1\leq p&lt;\infty $</EquationSource></InlineEquation>, <InlineEquation ID="IEq22"><EquationSource Format="MATHML"><math><mi>ω</mi><mo>∈</mo><msub><mi>A</mi><mi>p</mi></msub></math></EquationSource><EquationSource Format="TEX">$\omega \in A_{p}$</EquationSource></InlineEquation> and <InlineEquation ID="IEq23"><EquationSource Format="MATHML"><math><mn>0</mn><mo>&lt;</mo><mi>κ</mi><mo>&lt;</mo><mn>1</mn></math></EquationSource><EquationSource Format="TEX">$0&lt;\kappa &lt;1$</EquationSource></InlineEquation>. This embedding constant is shown to have the linear growth order as <InlineEquation ID="IEq24"><EquationSource Format="MATHML"><math><mi>q</mi><mo stretchy="false">→</mo><mi mathvariant="normal">∞</mi></math></EquationSource><EquationSource Format="TEX">$q\to \infty $</EquationSource></InlineEquation>, that is, <InlineEquation ID="IEq25"><EquationSource Format="MATHML"><math><mover accent="true"><mi>C</mi><mo>˜</mo></mover><mo stretchy="false">(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>n</mi><mo>,</mo><msub><mrow><mo stretchy="false">[</mo><mi>ω</mi><mo stretchy="false">]</mo></mrow><msub><mi>A</mi><mi>p</mi></msub></msub><mo stretchy="false">)</mo><mo>≤</mo><msub><mi>C</mi><mi>n</mi></msub><mo>⋅</mo><mi>q</mi></math></EquationSource><EquationSource Format="TEX">$\widetilde{C}(p,q,n,[\omega ]_{A_{p}})\leq C_{n}\cdot q$</EquationSource></InlineEquation> with the constant <InlineEquation ID="IEq26"><EquationSource Format="MATHML"><math><msub><mi>C</mi><mi>n</mi></msub></math></EquationSource><EquationSource Format="TEX">$C_{n}$</EquationSource></InlineEquation> depending only on the dimension <i>n</i>, when <i>q</i> is sufficiently 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. In addition, we investigate the inclusion relation between weighted weak Morrey spaces and Morrey spaces, and the size of the embedding constant from weighted weak Morrey spaces into weighted Morrey spaces is specified.</p>

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

Several inequalities concerning real interpolation in the weighted Lebesgue and Morrey spaces and related bilinear estimates

  • Hua Wang

摘要

In this paper, we establish several interpolation inequalities in the weighted Lebesgue spaces and Morrey spaces. By using the classical Calderón–Zygmund decomposition with respect to ω (a weight function), we prove that Lp(ω)BMO(Rn)Lq(ω)$L^{p}(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})\subset L^{q}(\omega )$ for all q with p<q<$p< q<\infty $, where 1p<$1\leq p<\infty $ and ωAp$\omega \in A_{p}$. We also prove that there exists a constant C(p,q,n,[ω]Ap)$C(p,q,n,[\omega ]_{A_{p}})$ depending on p,q,n$p,q,n$ and [ω]Ap$[\omega ]_{A_{p}}$ such that the following inequality fLq(ω)C(p,q,n,[ω]Ap)(fLp(ω))p/q(fBMO)1p/q\( \|f\|_{L^{q}(\omega )}\leq C\big(p,q,n,[\omega ]_{A_{p}}\big)\cdot \big(\|f\|_{L^{p}(\omega )}\big)^{p/q}\cdot \big(\|f\|_{\mathrm{BMO}} \big)^{1-p/q} \) holds for all fLp(ω)BMO(Rn)$f\in L^{p}(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})$ with 1p<$1\leq p<\infty $ and ωAp$\omega \in A_{p}$. Moreover, this embedding constant is shown to have the optimal growth order q as q$q\to \infty $, which was given by Chen–Zhu, Kozono–Wadade and Milman in the unweighted case. Furthermore, we show that Lp,κ(ω)BMO(Rn)Lq,κ(ω)$L^{p,\kappa }(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})\subset L^{q, \kappa }(\omega )$ for all q with p<q<$p< q<\infty $, where 1p<$1\leq p<\infty $, ωAp$\omega \in A_{p}$ and 0<κ<1$0<\kappa <1$. Moreover, there exists a constant C˜(p,q,n,[ω]Ap)$\widetilde{C}(p,q,n,[\omega ]_{A_{p}})$ depending on p,q,n$p,q,n$ and [ω]Ap$[\omega ]_{A_{p}}$ such that the following inequality fLq,κ(ω)C˜(p,q,n,[ω]Ap)(fLp,κ(ω))p/q(fBMO)1p/q\( \|f\|_{L^{q,\kappa }(\omega )}\leq \widetilde{C}\big(p,q,n,[\omega ]_{A_{p}} \big) \cdot \big(\|f\|_{L^{p,\kappa }(\omega )}\big)^{p/q}\cdot \big( \|f\|_{\mathrm{BMO}}\big)^{1-p/q} \) holds for all fLp,κ(ω)BMO(Rn)$f\in L^{p,\kappa }(\omega )\cap \mathrm{BMO}(\mathbb{R}^{n})$ with 1p<$1\leq p<\infty $, ωAp$\omega \in A_{p}$ and 0<κ<1$0<\kappa <1$. This embedding constant is shown to have the linear growth order as q$q\to \infty $, that is, C˜(p,q,n,[ω]Ap)Cnq$\widetilde{C}(p,q,n,[\omega ]_{A_{p}})\leq C_{n}\cdot q$ with the constant Cn$C_{n}$ depending only on the dimension n, when q is sufficiently 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. In addition, we investigate the inclusion relation between weighted weak Morrey spaces and Morrey spaces, and the size of the embedding constant from weighted weak Morrey spaces into weighted Morrey spaces is specified.