[論文レビュー] Real Interpolation method, Lorentz spaces and refined Sobolev inequalities

Diego Chamorro, Pierre Gilles Lemarié–Rieusset|arXiv (Cornell University)|Nov 14, 2012

Advanced Harmonic Analysis Research参考文献 18被引用数 12

ひとこと要約

本稿は、実補間理論を用いて、ローレンツ空間とベソフ空間を含む精密化されたソボレフ不等式の簡潔な証明を提供している。主な結果として、ローレンツノルムが重み付きのベソフノルムの積によって制御可能であることを示している。主な貢献は、最適なインデックスを伴う一般不等式 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^\alpha,q_0}_{r_0}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}^{\theta}$ の導出であり、補間法によって証明され、波ウェーブレットを用いないアトム構成によって最適性が示されている。

ABSTRACT

In this article we give a straightforward proof of refined inequalities between Lorentz spaces and Besov spaces and we generalize previous results of H. Bahouri and A. Cohen. Our approach is based in the characterization of Lorentz spaces as real interpolation spaces. We will also study the sharpness and optimality of these inequalities.

研究の動機と目的

• ローレンツ空間およびベソフ空間を含む精密化されたソボレフ不等式に対する直接的で素朴な証明を提供すること。
• バウーリとコーエンの結果を $q = r$ から一般の $r \neq q$ に拡張すること。
• 構成的アトム例を用いて、精密化された不等式の最適性と最適性を確立すること。
• ローレンツ空間を実補間空間として特徴付けることにより、これらの不等式の解析を統一的かつ簡略化すること。

提案手法

• 著者たちは、同次ベソフ空間間の実補間空間としてのローレンツ空間の特徴付けを用いる。
• 実補間法を適用して、$\theta = \alpha/(\alpha+\beta)$ を満たす不等式 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{\alpha,q_0}_{r}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r}}^{\theta}$ を導出する。
• スケーリングの議論により、必要な同次性条件 $1/p = (1-\theta)/q_0 + \theta/q_1$ を確立する。
• 最適性の証明には、互いに交わらない dyadic 立方体上に台を持つ、注意深く構築されたアトム関数 $f_L$ を用いる。
• 一様なベソフノルム推定を保証するため、$N > \max(|\alpha|, |\beta|)$ の順序までモーメントが消える滑らかで compact な台を持つ関数に依存する。
• 不等式鎖において $L \to \infty$ とすることで、最適性条件 $1/r \leq (1-\theta)/r_0 + \theta/r_1$ を導出し、これ以上の改善は不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 不等式 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{s,q}_{q}}^{q/p} \|f\|_{\dot{B}^{s-n/q,\infty}_{q}}^{1-q/p}$ は $r \neq q$ に一般化可能か？
• RQ2 不等式 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{\alpha,q_0}_{r_0}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}^{\theta}$ は一般の $r_0, r_1$ に対して成り立つか？
• RQ3 このような不等式が成り立つためのインデックス $p, r, q_0, q_1, r_0, r_1$ の必要十分条件は何か？
• RQ4 波ウェーブレットを避ける構成的例を用いて、不等式の最適性を証明可能か？
• RQ5 導出されたインデックス条件のもとで、補間空間 $[\dot{B}^{\alpha,q_0}_{r_0}, \dot{B}^{-\beta,q_1}_{r_1}]_{\theta,1}$ は $L^{p,r}$ に含まれるか？

主な発見

• 不等式 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{\alpha,q_0}_{r}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r}}^{\theta}$ はすべての $r \in [1,\infty]$ に対して成り立ち、バウーリとコーエンの結果を $r \neq q$ に一般化している。
• 最適性は、$\|f_L\|_{L^{p,r}} \sim L^{1/r}$ であり、ベソフノルムの積は $L^{(1-\theta)/r_0 + \theta/r_1}$ のスケーリングを示す関数 $f_L$ の構成により確認された。これにより、$1/r \leq (1-\theta)/r_0 + \theta/r_1$ が必要であることが示された。
• 最適性条件 $1/r \leq (1-\theta)/r_0 + \theta/r_1$ は、$\|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}$ を $\|f\|_{\dot{B}^{-\beta,q_1}_{r}}$ に弱いノルムに置き換えることは不可能であることを示し、インデックス $r$ における最適性が示された。
• 証明は波ウェーブレットを避けており、代わりにアトムを用いたベソフ空間におけるノルム推定のより一般でアクセスしやすい構成を提供している。
• 著者たちは、導出されたインデックス条件のもとで、ローレンツ空間 $L^{p,r}$ が実補間空間 $[\dot{B}^{\alpha,q_0}_{r_0}, \dot{B}^{-\beta,q_1}_{r_1}]_{\theta,1}$ に含まれることを確立した。
• 結果として、$\|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}$ を $r > r_1$ の場合に弱いノルム $\|f\|_{\dot{B}^{-\beta,q_1}_{r}}$ に置き換えることは不等式を改善できないことが証明され、インデックス $r$ における最適性が確認された。