[论文解读] 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

一句话总结

本文通过实 interpolation 理论，提供了一套简化的证明，用于 refined Sobolev 不等式，涉及 Lorentz 空间与 Besov 空间，确立了 Lorentz 范数可由加权的 Besov 范数乘积控制。关键贡献在于一个一般性不等式，表明 $\|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}$，其中指标最优，通过 interpolation 证明，且通过无 wavelet 的原子构造实现最优性。

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.

研究动机与目标

• 提供涉及 Lorentz 空间与 Besov 空间的 refined Sobolev 不等式的直接、初等证明。
• 将 Bahouri 与 Cohen 的先前结果从 $q = r$ 推广至 Lorentz-Besov 不等式中的一般 $r \neq q$ 情况。
• 通过构造性原子例子，建立 refined 不等式的最优性与最优性。
• 通过将 Lorentz 空间表征为实 interpolation 空间，统一并简化这些不等式的分析。

提出的方法

• 作者利用 Lorentz 空间作为齐次 Besov 空间之间实 interpolation 空间的表征。
• 应用实 interpolation 方法，推导出不等式 $\|f\|_{L^{p,r}} \leq C \|f\|_{\dot{B}^{\alpha,q_0}_{r}}^{1-\theta} \|f\|_{\dot{B}^{-\beta,q_1}_{r}}^{\theta}$，其中 $\theta = \alpha/(\alpha+\beta)$。
• 通过缩放论证，确立必要的齐次性条件 $1/p = (1-\theta)/q_0 + \theta/q_1$。
• 最优性证明使用了精心构造的原子函数 $f_L$，其在不相交的 dyadic 方块上具有紧支集，且 $L^{p,r}$ 范数与 Besov 范数受到控制。
• 该构造依赖于具有零矩至阶 $N > \max(|\alpha|, |\beta|)$ 的光滑、紧支集函数，以确保 Besov 范数估计的一致性。
• 通过在不等式链中取 $L \to \infty$，推导出最优性条件 $1/r \leq (1-\theta)/r_0 + \theta/r_1$，表明无法进一步改进。

实验结果

研究问题

• RQ1 能否将 refined 不等式 $\|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 能否使用构造性例子证明不等式的最优性，且避免使用 wavelet？
• 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]$ 成立，将 Bahouri 与 Cohen 的结果推广至 $r \neq q$ 的情形。
• 通过构造函数 $f_L$ 确认了不等式的最优性，使得 $\|f_L\|_{L^{p,r}} \sim L^{1/r}$，而 Besov 范数乘积的尺度为 $L^{(1-\theta)/r_0 + \theta/r_1}$，从而证明 $1/r \leq (1-\theta)/r_0 + \theta/r_1$ 为必要条件。
• 最优性条件 $1/r \leq (1-\theta)/r_0 + \theta/r_1$ 被证明为最优：无法用更弱的 Besov 范数 $\|f\|_{\dot{B}^{-\beta,q_1}_{r}}$ 替代 $\|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}$。
• 证明避免使用 wavelet，转而使用 Besov 空间中的 atoms，为估计范数提供了更一般且更易理解的构造。
• 作者证明了在推导出的指标条件下，Lorentz 空间 $L^{p,r}$ 包含于实插值空间 $[\dot{B}^{\alpha,q_0}_{r_0}, \dot{B}^{-\beta,q_1}_{r_1}]_{\theta,1}$ 中。
• 结果表明，若 $r > r_1$，则无法通过将 $\|f\|_{\dot{B}^{-\beta,q_1}_{r_1}}$ 替换为更弱的范数 $\|f\|_{\dot{B}^{-\beta,q_1}_{r}}$ 来改进不等式，从而证明了在指标 $r$ 上的最优性。