[論文レビュー] Maximizers of Rogers-Brascamp-Lieb-Luttinger functionals in higher dimensions

Michael Christ, Kevin M. O'neill|arXiv (Cornell University)|Nov 30, 2017

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

ひとこと要約

本稿は、1次元を超える次元において、Rogers-Brascamp-Lieb-Luttinger汎関数のすべての最大化者を特徴づけ、自然な構造的および許容性条件の下で、唯一の最大化者であるのは、体積を保存する線形変換および平行移動による原点中心の球の像からなる集合の組であることを証明している。この結果により、対称性を除いて一意な明示的不等式が確立される。

ABSTRACT

A symmetrization inequality of Rogers and of Brascamp-Lieb-Luttinger states that for a certain class of multilinear integral expressions, among tuples of sets of prescribed Lebesgue measures, tuples of balls centered at the origin are among the maximizers. Under natural hypotheses, we characterize all maximizing tuples for these inequalities for dimensions strictly greater than 1. We establish a sharpened form of the inequality.

研究の動機と目的

• d > 1 において、Lebesgue測度が固定された多線形積分汎関数 $\Phi_{\mathcal{L}}(\mathbf{E}) = \int_{\mathbb{R}^D} \prod_{j\in J} \mathbf{1}_{E_j} \circ L_j $ のすべての最大化者を特定すること。
• 1次元におけるRiesz-SobolevおよびBrascamp-Lieb-Luttinger不等式の既存結果を、高次元へと拡張すること。
• 対称化不等式における等号が成立するすべての構成を特徴づけることにより、鋭い不等式を確立すること。
• 平行移動および特殊線形群 $\mathrm{SL}(d)$ の作用の下で最大化者が不変であるという、すべての対称性を特定すること。

提案手法

• 著者たちは、線形写像 $L_j^d$ と $\mathrm{GL}(d)$、特に $\mathrm{SL}(d)$ の作用との整合性を保証する構造的仮定 (1.1) を用いる。
• 1次元の場合の摂動に基づく安定性議論を用い、対称的状態に近い構成を変形するパrameter $s$ を導入する。
• 主要な技術として、構成がその対称再配分の軌道からの距離を、1次元の場合の区間の中心を用いて分析する。
• この方法は、先行研究 [12] における安定性定理を1次元の場合に適用し、不等式の欠落量に対する2次下界を得ることに依存する。
• 中心関数 $c_j(y'_j,s)$ の多項式近似を用いて、欠落量と対称性からの二乗距離を関連づけ、定量的評価を得る。
• 正の測度を持つ集合 $\Omega(s)$ における積分により、欠落量が $s^2$ の正の定数倍で下から抑えられることを保証し、非対称構成の厳密な劣化を示す。

実験結果

リサーチクエスチョン

• RQ1 Lebesgue測度が固定されたとき、d > 1 におけるRogers-Brascamp-Lieb-Luttinger汎関数を最大化する可測集合の組は何か？
• RQ2 対称的構成（原点中心の球の組）が、対称性を除いて唯一の最大化者となる条件は何か？
• RQ3 高次元における対称化不等式に対して、定量的安定性推定を確立できるか？
• RQ4 平行移動および $\mathrm{SL}(d)$ の作用の対称性は、最大化者の集合にどのように影響するか？
• RQ5 線形データ $({\mathcal{L}}^1, \mathbf{e})$ に対する一般性条件は、最大化者の一意性を保証するために果たす役割は何か？

主な発見

• 固定された測度の下で $\Phi_{\mathcal{L}}(\mathbf{E})$ の唯一の最大化者であるのは、体積を保存する線形変換 $\psi \in \mathrm{SL}(d)$ および平行移動 $\mathbf{v} \in \mathbb{R}^{md}$ を用いて原点中心の球から得られる集合の組 $\mathbf{E}$ である。
• 最大化者の特徴づけは、すべての $j \in J$ に対して $E_j = \psi(E_j^\star) + L_j(\mathbf{v})$ であるという条件によって与えられ、$\mathrm{SL}(d)$ および平行移動の作用を除いて一意であることを証明する。
• 鋭い安定性不等式が成り立つ：ある $c > 0$ に対して $\Phi_{\mathcal{L}}(\mathbf{E}) \leq \Phi_{\mathcal{L}}(\mathbf{E}^\star) - c \cdot \mathrm{dist}(\mathbf{E}, \mathrm{orbit}(\mathbf{E}^\star))^2$ が成り立ち、距離は中心のずれに基づいて測定される。
• 摂動の大きさが $s$ の場合、対称化不等式の欠落量は $s^2$ の正の定数倍で下から抑えられ、非対称構成の厳密な劣化が示される。
• 欠落量が下から抑えられる摂動パrameter $\mathbf{y}'$ の集合は、正の測度を有し、その測度は一様にゼロから離れている。これにより、安定性推定が正の測度を持つ集合上で成り立つことが保証される。
• 本結果により、古典的な対称化不等式が高次元へと拡張され、等号成立条件が完全に特徴づけられ、このクラスの汎関数に対する逆問題が解決される。