[论文解读] Fractional Sobolev and Hardy-Littlewood-Sobolev inequalities

Gaspard Jankowiak, Van Hoang Nguyen|arXiv (Cornell University)|Apr 3, 2014

Nonlinear Partial Differential Equations参考文献 19被引用 10

一句话总结

本文提出了一种改进的分数阶Sobolev不等式的新简化证明，其中余项涉及Hardy-Littlewood-Sobolev不等式，将先前结果从标准Laplacian推广至分数阶情形。作者推导了最佳常数的更紧致估计，并通过端点微分法建立了球面上的改进Moser-Trudinger-Onofri不等式，该不等式经立体投影可导出欧氏空间中更优的Onofri不等式。

ABSTRACT

This work focuses on an improved fractional Sobolev inequality with a remainder term involving the Hardy-Littlewood-Sobolev inequality which has been proved recently. By extending a recent result on the standard Laplacian to the fractional case, we offer a new, simpler proof and provide new estimates on the best constant involved. Using endpoint differentiation, we also obtain an improved version of a Moser-Trudinger-Onofri type inequality on the sphere. As an immediate consequence, we derive an improved version of the Onofri inequality on the Euclidean space using the stereographic projection.

研究动机与目标

• 将带有Hardy-Littlewood-Sobolev余项的改进Sobolev不等式从经典Laplacian推广至分数阶Laplacian情形。
• 提供一种更简单的证明，避免快速扩散流带来的技术限制，适用于所有维度 n ≥ 3。
• 对改进分数阶Sobolev不等式中的最佳常数给出更紧致的估计。
• 通过端点微分法在球面上建立改进的Moser-Trudinger-Onofri不等式。
• 通过球面上的立体投影，从球面上的不等式恢复并改进欧氏空间中的Onofri不等式。

提出的方法

• 在分数阶设定下使用端点微分法，从已知的精确分数阶Sobolev不等式和Hardy-Littlewood-Sobolev不等式推导出改进的不等式。
• 通过Legendre变换和非线性扩散流，建立分数阶Sobolev不等式与Hardy-Littlewood-Sobolev不等式之间的对偶性。
• 利用立体投影将球面上的不等式转移至欧氏空间。
• 在Sobolev不等式中引入一个新的余项，其涉及Hardy-Littlewood-Sobolev泛函，表达形式为凸函数 φ(x) = √(C² + 2Cx) − C。
• 使用密度论证和极小化序列，将结果从Schwartz函数空间推广至完整的齐次Sobolev空间 Ẇ^{s}(ℝⁿ)。
• 通过反证法证明改进不等式中的最佳常数 C_{n,s}^* 满足 C_{n,s}^* < S_{n,s}，从而确认该不等式对经典分数阶Sobolev不等式的严格改进。

实验结果

研究问题

• RQ1 能否将带有Hardy-Littlewood-Sobolev余项的改进分数阶Sobolev不等式从经典Laplacian推广至分数阶Laplacian情形？
• RQ2 改进分数阶Sobolev不等式中最佳常数的最优估计是什么？如何在不依赖快速扩散流的前提下推导出该估计？
• RQ3 在分数阶设定下，端点微分法如何导致球面上改进的Moser-Trudinger-Onofri不等式？
• RQ4 能否通过立体投影将球面上的改进Moser-Trudinger-Onofri不等式转移到欧氏空间，从而得到更优的Onofri不等式？
• RQ5 改进不等式中的最佳常数是否严格小于精确Sobolev常数 S_{n,s}？

主要发现

• 本文建立了带有Hardy-Littlewood-Sobolev余项的改进分数阶Sobolev不等式的新简化证明，适用于所有 n ≥ 3 和 0 < s < 1。
• 改进不等式中的最佳常数 C_{n,s}^* 满足 C_{n,s}^* ≤ (n+2s)/n (1 − e^{−n/(2s)}) S_{n,s}，该界比先前结果更紧致。
• 证明了 C_{n,s}^* < S_{n,s}，确认该不等式对经典分数阶Sobolev不等式的严格改进。
• 通过端点微分法在球面上导出了改进的Moser-Trudinger-Onofri不等式，余项以凸函数 φ(x) = √(C² + 2Cx) − C 表达。
• 通过应用立体投影，球面上的改进Moser-Trudinger-Onofri不等式导出了欧氏空间中新的、更优的Onofri不等式，适用于 n ≥ 3。
• 该方法避免了快速扩散流的技术限制，为研究Sobolev不等式与Hardy-Littlewood-Sobolev不等式之间的对偶性提供了更清晰且通用的框架。