[论文解读] An Approximate Inverse Riesz-Sobolev Inequality

Michael Christ|arXiv (Cornell University)|Dec 16, 2011

Nonlinear Partial Differential Equations参考文献 5被引用 16

一句话总结

本文在一维情形下建立了 Riesz-Sobolev 不等式的近似逆不等式，表明若指示函数的卷积几乎在 Riesz-Sobolev 重排不等式中达到等号，则其对应的集合几乎为区间。证明依赖于近似逆 Brunn-Minkowski 定理及关于小加倍集的 Freiman 定理，表明几乎极值集在对称差范数下接近区间。

ABSTRACT

The Riesz-Sobolev inequality relates the convolution of nonnegative functions on Euclidean space to the convolution of their symmetric nonincreasing rearrangements. We show that for dimension one, for indicator functions of sets, if the inequality is sufficiently close to an equality then the sets in question must nearly coincide with intervals.

研究动机与目标

• 刻画在一维情形下几乎极值化 Riesz-Sobolev 不等式的集合。
• 在等号几乎被达到时，为 Riesz-Sobolev 不等式建立一个定量的稳定性结果。
• 若指示函数的卷积接近其对称重排的卷积，则原集合必须几乎是区间。
• 发展一种方法，通过 Brunn-Minkowski 不等式与加法组合学，将卷积不等式中的近似等号与集合的结构性质联系起来。
• 为通过附录论文刻画 Young 卷积不等式中几乎极值函数奠定基础。

提出的方法

• 使用 Riesz-Sobolev 不等式，将指示函数卷积的 $L^2$ 内积与其重排形式进行比较。
• 应用近似逆 Brunn-Minkowski 定理，以控制小加倍集的结构，即满足 $|A+A| < 3|A| - \rho$ 的集合。
• 通过用小区间 $I_n$ 覆盖 $\mathbb{R}$，并定义集合 $\mathcal{A} \subset \mathbb{Z}$，其中 $A$ 具有高密度，实现离散化方案。
• 应用 Freiman 定理，表明 $\mathcal{A}$ 包含于一维等差数列 $\mathcal{P}$ 中，从而推出 $A$ 接近于区间的并集。
• 利用 Cauchy-Davenport 不等式与 Brunn-Minkowski 不等式，推导出 $|A+A|$ 的下界，并在等差数列公差 $d > 1$ 时导出矛盾，从而强制 $d=1$。
• 最终得出结论：$A$ 包含于区间 $I$ 中，且满足 $|I| \leq |A+A| - |A| + \gamma$，并取 $\gamma \to 0$ 的交集，得到极限区间 $I$。

实验结果

研究问题

• RQ1 在何种条件下，可测集 $A, B$ 满足 Riesz-Sobolev 不等式中近似等号时，可推出 $A$ 与 $B$ 几乎为区间？
• RQ2 如何利用小加倍集的结构推导出重排不等式的稳定性结果？
• RQ3 Riesz-Sobolev 不等式几乎极值性与集合和区间之间对称差的定量关系为何？
• RQ4 近似逆 Brunn-Minkowski 定理能否用于控制几乎极值化卷积不等式的集合的几何结构？
• RQ5 在不破坏稳定性结论的前提下，不等式的假设能在多大程度上被放宽？

主要发现

• 若 $\langle \mathbf{1}_A * \mathbf{1}_B, \mathbf{1}_E \rangle$ 与 $\langle \mathbf{1}_A * \mathbf{1}_B, \mathbf{1}_F \rangle$ 分别在 $\delta \max(|A|,|B|)^2$ 范围内接近其重排形式，则 $A$ 在对称差意义下接近区间。
• 对任意 $\varepsilon > 0$，存在 $\delta > 0$，使得若假设 (1.4)–(1.6) 成立，则存在某区间 $I$ 满足 $|A \triangle I| < \varepsilon |A|$。
• 条件 $|F| = 3|E|$ 可放宽至 $|F| = 3|E| + O(\delta \max(|A|,|B|))$，而结论不变。
• 证明表明，若 $|A+A| < 3|A| - \rho$，则 $A$ 包含于区间 $I$ 中，且满足 $|I| \leq |A+A| - |A| + \gamma$，其中 $\gamma > 0$ 可任意小。
• 包含指标集 $\mathcal{A}$ 的等差数列 $\mathcal{P}$ 的公差必须为 $d=1$，这意味着集合 $A$ 在结构上接近于区间。
• 当参数 $\varepsilon, \delta \to 0$ 时，对称差 $|A \triangle I|$ 趋近于零，确认了极限下的稳定性。