[論文レビュー] Near equality in the Riesz-Sobolev inequality in higher dimensions

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

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

ひとこと要約

本稿は、高次元におけるリース＝ソボレフ不等式の定量的安定性結果を確立し、もし三つの集合が不等式において等号にほぼ達しているならば、それらの集合はほぼ同型な楕円体でなければならないことを示している。証明は次元に関する帰納法に依拠し、対称化技術と1次元の安定性結果（ブラックボックスとして）を用い、近似等号が成り立つと、集合は適切に平行移動・スケーリングされた楕円体と対称差で近いことになることを確立している。

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\) 内の可測集合の三つ組がリース＝ソボレフ不等式において等号にほぼ達する条件を同定すること。
• 文献[5]の1次元安定性結果を任意の次元 \(d \geq 1\) に拡張すること。
• 近似等号が成り立つと、集合は原点中心の同型楕円体に（対称差の意味で）近い、かつ和がゼロとなる平行移動を施した後で近似可能であることを確立すること。
• \(\tau\)-許容性を用いて退化を制御し、高次元におけるリース＝ソボレフ不等式の定量的安定性枠組みを構築すること。
• 将来の研究の基盤を築くこと。特に、\(\varepsilon = O(\delta^{1/2})\) のような最良の定量的バインディングを導くことを目指す。

提案手法

• 次元に関する帰納法を用い、対称化およびスライシング技術により問題を1次元の場合に還元する。
• 正規化された特性関数の \(L^1\) 内の前コンパクト性に依拠したコンパクトネスの議論を用い、リーチャの補題とフォビニの定理を活用する。
• 任意の集合とその対称減少再配分の間の部分的に対称化された集合を導入し、測度の集中を制御する。
• 帰納法の段階で、1次元安定性結果（[5]より）をブラックボックスとして適用し、スライスにおけるほぼ等しい集合が区間に近いことを保証する。
• \(\tau\)-許容性と測度正規化からの幾何的制約により、断面の半径および中心に関する一様な境界を確立する。
• アフィン写像下での変換された特性関数の \(L^1\)-前コンパクト性を用い、収束する部分列を抽出し、構造的極限を導出する。

実験結果

リサーチクエスチョン

• RQ1 \(\mathbb{R}^d\) 内の可測集合の三つ組がリース＝ソボレフ不等式において等号にほぼ達するための条件は何か？
• RQ2 等号にほぼ達しているとき、このような集合は同型楕円体にどの程度近いか？
• RQ3 対称化と帰納法を用いて、リース＝ソボレフ不等式の1次元安定性結果を高次元に拡張できるか？
• 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\) は、\(\delta\) に依存しない \(d\) と \(\tau\) のみに依存する \(\rho > 0\) を用いて、固定された球 \(B(0, \rho)\) 内に含まれる。
• 近似楕円体の中心 \(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}\) である。
• 証明は、1次元の場合とは異なり、\(\delta\) と \(\varepsilon\) の明示的依存関係を導かないコンパクトネスの議論に依拠している。
• 本結果は、\(\varepsilon = O(\delta^{1/2})\) のような最良の定量的安定性を証明するための重要な一歩であり、将来の研究でこの定理を入力として用いることで達成されると期待される。