[論文レビュー] An Approximate Inverse Riesz-Sobolev Inequality

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

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

ひとこと要約

この論文は1次元における近似逆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.

研究の動機と目的

• 1次元におけるRiesz-Sobolev不等式のほぼ極値をとる集合を特徴づけること。
• 等号がほぼ達成される場合のRiesz-Sobolev不等式に対する定量的安定性結果を確立すること。
• 指示関数の畳み込みがそれらの対称再配分とほぼ一致するならば、元の集合はほぼ区間であることを示すこと。
• Brunn-Minkowski不等式と加法的組合せ論を介して、畳み込み不等式における近似等号と集合の構造的性質を結びつける手法を開発すること。
• 補論文を介して、Youngの畳み込み不等式におけるほぼ極値関数を特徴づける基盤を提供すること。

提案手法

• Riesz-Sobolev不等式を用いて、指示関数の畳み込みの$L^2$内積を再配分された対応物と比較する。
• 小二重集合の構造を制御するため、近似逆Brunn-Minkowski定理を適用する。すなわち、$|A+A| < 3|A| - \rho$ のような場合。
• 実数直線$\mathbb{R}$を小さな区間$I_n$で被覆し、$A$が高密度を示すインデックスの集合$\mathcal{A} \subset \mathbb{Z}$を定義する離散化スキームを採用する。
• Freimanの定理を用いて、$\mathcal{A}$が1次元の等差数列$\mathcal{P}$に含まれることを示し、$A$が区間の和集合に近いことを示す。
• Cauchy-Davenport不等式とBrunn-Minkowski不等式を用いて$|A+A|$の下界を導出し、等差数列の公差$d > 1$のとき矛盾を導く。これにより$d=1$が強制される。
• 結論として、$A$は$|I| \leq |A+A| - |A| + \gamma$を満たす区間$I$に含まれるとし、$\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$ならば、任意に小さい$\gamma > 0$に対して、$A$は$|I| \leq |A+A| - |A| + \gamma$を満たす区間$I$に含まれる。
• インデックス集合$\mathcal{A}$を含む等差数列$\mathcal{P}$の公差$d$は1でなければならない。これは$A$が構造的に区間に近いことを示唆する。
• パrameter $\varepsilon, \delta \to 0$のとき、対称差$|A \triangle I|$は0に近づく。これは極限における安定性を確認する。