[论文解读] Sobolev and Hardy-Littlewood-Sobolev inequalities: duality and fast diffusion

Jean Dolbeault|arXiv (Cornell University)|Mar 6, 2011

Nonlinear Partial Differential Equations被引用 5

一句话总结

本文通过使用快扩散方程（指数 $m = \frac{d-2}{d+2}$）的流，建立了在维度 $d \geq 3$ 下索伯列夫不等式与哈代-利特尔伍德-索伯列夫不等式之间的对偶性。通过分析泛函 $\mathsf{H}_d[v]$ 的时间演化，该文在 $d \geq 5$ 时推导出带有显式余项的改进索伯列夫不等式，同时通过超快扩散方程将对偶性框架扩展至 $d=2$ 时的欧诺弗里不等式。

ABSTRACT

In the euclidean space, Sobolev and Hardy-Littlewood-Sobolev inequalities can be related by duality. In this paper, we investigate how to relate these inequalities using the flow of a fast diffusion equation in dimension $d\ge3$. The main consequence is an improvement of Sobolev's inequality when $d\ge5$, which involves the various terms of the dual Hardy-Littlewood-Sobolev inequality. In dimension $d=2$, Onofri's inequality plays the role of Sobolev's inequality and can also be related to its dual inequality, the logarithmic Hardy-Littlewood-Sobolev inequality, by a super-fast diffusion equation.

研究动机与目标

• 通过非线性扩散流建立索伯列夫不等式与哈代-利特尔伍德-索伯列夫不等式之间的动态对偶性。
• 通过沿快扩散方程流积分，推导出带有显式余项的改进索伯列夫不等式。
• 将对偶性框架扩展至维度 $d=2$，其中欧诺弗里不等式取代索伯列夫不等式，并通过超快扩散方程与对数哈代-利特尔伍德-索伯列夫不等式建立联系。
• 阐明快扩散方法与卡连、卡里洛和洛斯近期提出的加拉尔多-尼伦伯格不等式框架之间的关系。

提出的方法

• 本文使用快扩散方程 $\frac{\partial v}{\partial t} = \Delta v^m$，其中 $m = \frac{d-2}{d+2}$，来分析泛函 $\mathsf{H}_d[v] = \int v (-\Delta)^{-1}v \, dx - \mathsf{S}_d \|v\|_{L^{2d/(d+2)}}^2$ 的时间演化。
• 计算时间导数 $\frac{1}{2}\frac{d}{dt}\mathsf{H}_d[v]$，并证明其非负，从而将其与索伯列夫不等式和哈代-利特尔伍德-索伯列夫不等式之间的差异联系起来。
• 通过令 $u = v^m$，将导数改写为 $\|\nabla u\|_{L^2}^2$ 和 $\|u\|_{L^{2^*}}^2$ 的形式，揭示了两个不等式之间的对偶性。
• 对于 $d \geq 5$，该方法通过沿流积分不等式，导出带有余项的改进索伯列夫不等式。
• 在 $d=2$ 时，本文考虑超快扩散方程（$m=1/2$），并通过类似的泛函 $\mathsf{H}_2[v]$ 将欧诺弗里不等式与对数哈代-利特尔伍德-索伯列夫不等式联系起来。
• 该分析依赖于勒让德对偶性，并利用巴伦布拉特自相似解作为渐近轮廓，以推导出最优余项。

实验结果

研究问题

• RQ1 如何通过非线性扩散流动态实现索伯列夫不等式与哈代-利特尔伍德-索伯列夫不等式之间的对偶性？
• RQ2 快扩散方程在 $m = \frac{d-2}{d+2}$ 时能否生成带有显式余项的改进索伯列夫不等式？
• RQ3 巴伦布拉特自相似解在流的渐近行为中以及在推导最优余项中的作用是什么？
• RQ4 对偶性框架如何扩展至 $d=2$ 维，其中欧诺弗里不等式取代了索伯列夫不等式？
• RQ5 为何该方法无法直接导出对欧诺弗里不等式的改进，其结构性障碍是什么？

主要发现

• 对于 $d \geq 5$，本文通过沿快扩散方程（$m = \frac{d-2}{d+2}$）的流积分不等式 $\frac{1}{2}\frac{d}{dt}\mathsf{H}_d[v] \geq 0$，推导出带有余项的改进索伯列夫不等式。
• 改进后的不等式形式为 $\mathsf{S}_d \|w^q\|_{L^{2d/(d+2)}}^2 - \int w^q (-\Delta)^{-1} w^q \, dx \leq \mathcal{C} \|w\|_{L^{2^*}}^2$，其中 $q = \frac{d+2}{d-2}$，且 $\mathcal{C}$ 为正常数。
• 泛函 $\mathsf{H}_d[v]$ 沿流非减，且当 $t \to \infty$ 时其极限为零，这表明哈代-利特尔伍德-索伯列夫不等式作为索伯列夫不等式的推论成立。
• 哈代-利特尔伍德-索伯列夫不等式的极值函数作为快扩散方程的自相似轮廓被恢复。
• 在 $d=2$ 时，泛函 $\mathsf{H}_2[v]$ 沿超快扩散流被证明是非减的，从而将欧诺弗里不等式与对数哈代-利特尔伍德-索伯列夫不等式联系起来。
• 该方法无法通过与高维相同的方式利用柯西-施瓦茨不等式控制熵泛函的二阶导数，因此无法直接导出对欧诺弗里不等式的改进。