[论文解读] Near equality in the Riesz-Sobolev inequality in higher dimensions

Michael Christ|arXiv (Cornell University)|May 30, 2015

Nonlinear Partial Differential Equations参考文献 6被引用 3

一句话总结

本文在高维情形下建立了 Riesz-Sobolev 不等式的定量稳定性结果，表明若一个三元组集合几乎在不等式中达到等号，则这些集合几乎为位似椭球。证明通过维度的归纳法进行，依赖于对称化技术以及将一维稳定性结果作为黑箱使用，并证明近似等号意味着这些集合在对称差度量下接近于适当平移和缩放后的椭球。

ABSTRACT

The Riesz-Sobolev inequality provides an upper bound for a trilinear expression involving convolution of indicator functions of sets. It is known that equality holds only for homothetic ordered triples of appropriately situated ellipsoids. We characterize ordered triples of subsets of Euclidean space $R^d$ that nearly realize equality, for arbitrary dimensions $d$, extending a result already known for $d=1$.

研究动机与目标

• 刻画在 $\mathbb{R}^d$ 中几乎实现 Riesz-Sobolev 不等式等号的可测集合三元组。
• 将 [5] 中的一维稳定性结果推广至任意维度 $d \geq 1$。
• 建立近似等号意味着集合在对称差度量下接近于原点为中心的位似椭球（至多相差平移，且平移和为零）的结论。
• 基于 $\tau$-可容许性控制退化行为，为高维 Riesz-Sobolev 不等式提供定量稳定性框架。
• 为未来工作奠定基础，目标是获得最优的定量界，例如 $\varepsilon = O(\delta^{1/2})$。

提出的方法

• 通过对称化和截面技术，利用维度归纳法将问题约化至一维情形。
• 基于归一化特征函数在 $L^1$ 中的预紧性，结合 Rellich 引理与 Fubini 定理，采用紧致性论证。
• 引入介于任意集合与其对称递减重排之间的部分对称化集合，以控制测度集中现象。
• 在归纳步骤中将一维稳定性结果（来自 [5]）作为黑箱使用，确保截面中几乎相等的集合接近于区间。
• 通过 $\tau$-可容许性与测度归一化带来的几何约束，建立截面半径与中心的统一有界性。
• 利用仿射变换下变换后特征函数在 $L^1$ 中的预紧性，提取收敛子列并推导结构极限。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^d$ 中的可测集合三元组满足何种条件时，Riesz-Sobolev 不等式几乎达到等号？
• RQ2 当等号几乎被实现时，这些集合必须在何种程度上接近于位似椭球？
• RQ3 能否通过对称化与归纳法，将 Riesz-Sobolev 不等式的一维稳定性结果推广至高维？
• RQ4 $\tau$-可容许性在确保高维情形下非退化行为与稳定性方面起到何种作用？
• RQ5 当三线性型在对称重排下趋近其最大值时，极限集合的结构是怎样的？

主要发现

• 对任意 $\tau > 0$ 和 $\varepsilon > 0$，存在 $\delta > 0$，使得若一个 $\tau$-可容许三元组 $\mathbf{E}$ 满足 $\mathcal{T}(\mathbf{E}) \geq (1 - \delta)\mathcal{T}(\mathbf{E}^\bullet)$，则这些集合在对称差度量下与位似椭球 $\varepsilon$-接近。
• 集合 $E_j$ 全部包含于一个固定球 $B(0, \rho)$ 中，其中 $\rho > 0$ 仅依赖于 $d$ 和 $\tau$，且对 $\delta$ 一致。
• 逼近椭球的中心 $v_j$ 满足 $v_1 + v_2 + v_3 = 0$，从而保持了不等式中的加法结构。
• 逼近误差 $|E_j \Delta (r_j \mathcal{E} + v_j)|$ 有界于 $\varepsilon |E_j|$，其中 $r_j = |E_j|^{1/d} |\mathcal{E}|^{-1/d}$。
• 该证明依赖于紧致性论证，但该方法无法像一维情形那样显式给出 $\delta$ 对 $\varepsilon$ 的依赖关系。
• 该结果是证明最优定量稳定性（如 $\varepsilon = O(\delta^{1/2})$）的关键一步，预期将在未来工作中通过本定理作为输入来实现。