[论文解读] Sobolev embeddings, extrapolations, and related inequalities

Óscar Domínguez, Sergey Tikhonov|arXiv (Cornell University)|Sep 27, 2019

Advanced Harmonic Analysis Research参考文献 75被引用 6

一句话总结

本文提出了一种基于极限插值的统一框架，用于刻画在 $Σ \in \{\mathbb{R}^d, \mathbb{T}^d, \Omega\}$ 上函数在亚临界、临界和超临界情形下的 Sobolev 嵌入。它建立了涉及重排和光滑模的等价点态不等式，并证明 Sobolev 嵌入等价于光滑函数空间的外推定理，从而解决了 Astashkin 和 Milman 提出的关于 Tao 外推定理在此背景下有效性的疑问。

ABSTRACT

In this paper we propose a unified approach, based on limiting interpolation, to investigate the embeddings for the Sobolev space $(\dot{W}^k_p(\mathcal{X}))_0, \, \mathcal{X} \in \{\mathbb{R}^d, \mathbb{T}^d, Ω\}$, in the subcritical case ($k < d/p$), critical case ($k = d/p$) and supercritical case ($k > d/p$). We characterize the Sobolev embeddings in terms of pointwise inequalities involving rearrangements and moduli of smoothness/derivatives of functions and via extrapolation theorems for corresponding smooth function spaces. Applications include Ulyanov-Kolyada type inequalities for rearrangements, inequalities for moduli of smoothness, sharp Jawerth-Franke embeddings for Lorentz-Sobolev spaces, various characterizations of Gagliardo-Nirenberg, Trudinger, Maz'ya-Hansson-Brezis-Wainger and Brezis-Wainger embeddings, among others. In particular, we show that the Tao's extrapolation theorem holds true in the setting of Sobolev inequalities. This gives a positive answer to a question recently posed by Astashkin and Milman.

研究动机与目标

• 通过极限插值发展亚临界、临界和超临界情形下 Sobolev 嵌入的统一表征。
• 通过涉及重排和光滑模的点态不等式，建立嵌入 $(\dot{W}^k_p(\mathcal{X}))_0 \hookrightarrow Y$ 的等价条件。
• 证明 Sobolev 嵌入等价于光滑函数空间的外推定理，推广已知结果。
• 解决 Astashkin 和 Milman 最近提出的关于 Tao 外推定理在 Sobolev 不等式背景下是否成立的开放问题。

提出的方法

• 作者采用极限插值理论分析亚临界（$k < d/p$）、临界（$k = d/p$）和超临界（$k > d/p$）情形下的嵌入。
• 他们通过递减重排 $f^*$ 和 $k$ 阶光滑模 $\omega_k(f,t)_p$ 推导出嵌入的等价表征。
• 该方法依赖于函数空间的外推定理，特别是将 $\dot{W}^k_p$ 空间的 $K$-泛函与基于 $L_p$ 的 Lorentz 空间的 $K$-泛函联系起来。
• 关键技术工具包括 Hardy 型不等式、光滑模的性质，以及 Lorentz 和 Besov 空间插值引理。
• 作者显式计算了 $V^k_p$ 空间的 $K$-泛函，证明 $K(t,f; (V^k_1)_{0}, (V^k_\infty)_{0}) \asymp \sum_{|\alpha|=k} \int_0^t (D^\alpha f)^*(u)\,du$，从而实现外推等价性。
• 他们将这些结果应用于恢复并推广已知不等式，包括 Gagliardo-Nirenberg、Trudinger、Maz’ya-Hansson-Brézis-Wainger 和 Jawerth-Franke 嵌入。

实验结果

研究问题

• RQ1 是否能通过插值理论统一刻画所有情形（亚临界、临界、超临界）下的 Sobolev 嵌入？
• RQ2 涉及重排和光滑模的点态不等式是否与 Sobolev 嵌入等价？
• RQ3 如 Astashkin 和 Milman 最近所质疑的，Tao 的外推定理是否在 Sobolev 不等式的背景下成立？
• RQ4 是否能通过此统一框架恢复并推广已知嵌入，如 Gagliardo-Nirenberg、Trudinger 和 Brézis-Wainger 嵌入？
• RQ5 在极限插值设定下，Sobolev 空间与 Lorentz 空间的 $K$-泛函之间的确切关系为何？

主要发现

• 本文为亚临界嵌入 $(\dot{W}^k_p(\mathbb{R}^d))_0 \hookrightarrow L_{p^*,q}(\mathbb{R}^d)$ 建立了四个等价条件，包括涉及 $f^*$ 和 $\omega_k(f,t)_p$ 的点态不等式。
• 证明了端点 Gagliardo-Nirenberg 不等式 $\|f\|_{L_{d',1}} \leq C \||\nabla f|\|_{L_1}$ 等价于 $s \to 1^-$ 时的极限插值条件。
• 通过涉及 $\omega_k(f,t)_p$ 和 $f^*$ 的极限插值条件，刻画了临界情形下进入指数 Orlicz 空间（Trudinger 型）的嵌入。
• 超临界情形通过 Brézis-Wainger 不等式得到完整刻画，表明其与 $f^*$ 和 $\omega_k(f,t)_p$ 的 Lipschitz 型条件等价。
• 作者证明了 $V^k_p$ 空间的 $K$-泛函满足 $K(t,f; (V^k_1)_0, (V^k_\infty)_0) \asymp \sum_{|\alpha|=k} \int_0^t (D^\alpha f)^*(u)\,du$，这构成了外推等价性的基础。
• 本文通过证明 Tao 的外推定理在 Sobolev 背景下成立，正面回答了 Astashkin 和 Milman 的问题。