[論文レビュー] A sharpened Riesz-Sobolev inequality

Michael Christ|arXiv (Cornell University)|Jun 6, 2017

Numerical methods in inverse problems参考文献 7被引用数 14

ひとこと要約

本稿は、リーマン＝ソボレフ不等式における鋭い定量的安定性評価を確立し、近似極値関数がホモothティック楕円体の平行移動と測度で近いことを証明する。主な結果は、最適配置からの距離に関する二乗下界としての不等式の不成立量の下界であり、最適指数2が得られ、厳密に許容可能な領域で有効であり、バーチャードの等号成立特徴付けを定量的安定性枠組みへ拡張する。

ABSTRACT

The Riesz-Sobolev inequality provides an upper bound, in integral form, for the convolution of indicator functions of subsets of Euclidean space. We formulate and prove a sharper form of the inequality. This can be equivalently phrased as a stability result, quantifying an inverse theorem of Burchard that characterizes cases of equality.

研究の動機と目的

• リーマン＝ソボレフ不等式の定量的安定性結果を提供し、バーチャードによる等号成立ケースの特徴付けを精緻化する。
• リーマン＝ソボレフ汎関数の不等式の不成立量に対して、ホモothティック楕円体の軌道への距離に関する鋭い下界を確立する。
• 不等式の不成立量の下界における指数2が最適であり、境界に近い許容可能な場合に不等式が成立しないことを証明する。
• 一次元の場合の先行結果を高次元へ拡張し、厳密許容パラメータρに明示的な依存関係を含める。
• 測度を保存する流れに基づく変換枠組みを構築し、集合がその対称減少再配分へ向かう過程を分析する。

提案手法

• 測度を保存する線形変換および平行移動の下で、三つの集合の対称減少再配分の軌道からの距離関数を定義し、v₃ = v₁ + v₂ を満たす。
• 境界に近い状況からの一様な分離を保証するため、ρ-厳密に許容可能な三つ組の概念を導入し、一様な安定定数を可能にする。
• 測度と単調性を保存しながら、集合をその対称減少再配分へと変形する連続的流れψₜ(E)を用いる。
• 重要な補題（補題36）を確立し、集合が区間内でδ-密度を持つ場合、時間T > 2δ(1−2δ)⁻¹経過後にその像が長さが同程度の区間を含むことを示す。
• 流れを用いて集合を区間と零集合に分解し、十分小さいtに対して像が小さな測度を除いて区間の和集合であることを証明する。
• 流れを用いて対称差の測度を制御し、再配分された配置との比較により、二乗不等式の不成立量の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 リーマン＝ソボレフ不等式は、その極値関数の安定性を定量的にどのように強化できるか？
• RQ2 最適配置からの距離に関する不等式の不成立量の下界における最適指数は何か？
• RQ3 バーチャードによる等号成立特徴付けは、厳密に許容可能な場合に定量的安定性結果へ拡張可能か？
• RQ4 安定定数は厳密許容パラメータρにどのように依存するか？
• RQ5 測度を保存する流れは、集合がその対称減少再配分へ収束する過程を分析する上で果たす役割は何か？

主な発見

• 各d ≥ 1およびρ > 0に対して、ある定数c > 0が存在し、リーマン＝ソボレフ汎関数は最大値以下であり、その最大値からc倍の対称減少再配分の軌道への距離の二乗を引いたもので抑えられる。
• 不等式の不成立量の下界における指数2は最適であり、より高い指数では同様の不等式は成立しない。
• 境界に近い許容可能な場合では安定性結果が成立しない。この場合、等号は楕円体だけでなく、凸集合に対しても達成される。
• 汎関数が最大値からδの範囲内にある場合、最適な軌道への距離は、集合の最大測度をCδ¹ᐟ²倍した量以下である。
• 証明は、集合をその対称減少再配分へと変形する連続的測度保存流れに依存する。
• 重要な技術的補題は、集合が区間内でδ-密度を持つ場合、時間T > 2δ(1−2δ)⁻¹経過後にその像が長さが同程度の区間を含むことを示す。