[論文レビュー] Cases of equality in certain multilinear inequalities of Hardy-Riesz-Brascamp-Lieb-Luttinger type

Michael Christ, Taryn C. Flock|arXiv (Cornell University)|Jul 31, 2013

Advanced Harmonic Analysis Research参考文献 5被引用数 5

ひとこと要約

本稿は、$ m = 2 $ の場合における多変数のハーディー＝リエス＝ブラス camp-Lieb-Luttinger型不等式における等号成立の条件を特徴づけ、集合が厳密に適切であるとき、最大化関数が対称性を除いて一意であることを示している。非退化性および適切性の条件下で、等号が成立するのは各集合が原点を中心とする区間であり、それらの中心が $ \mathbb{R}^2 $ 内の共通の点を通じて整合的に配置されている場合に限ることを証明している。

ABSTRACT

Certain rearrangement inequalities of a type considered by Hardy, Riesz, and Brascamp-Lieb-Luttinger are studied. Subsets of the real line that extremize these inequalities are characterized. Our results apply only to special cases, and complement earlier results by Burchard treating other cases. This draft incorporates minor corrections and clarifications.

研究の動機と目的

• 最低次の非自明な次元 $ m = 2 $ における多変数のハーディー＝リエス＝ブラス camp-Lieb-Luttinger型再配分不等式における等号成立の条件を特徴づけること。
• 測度が固定されたもとで、関数 $ I(E_1, \dots, E_n) = \int_{\mathbb{R}^m} \prod_{j=1}^n \mathbf{1}_{E_j}(L_j(x)) \, dx $ の最大化関数の一意性に関する問題を解明すること。
• 対称再配分 $ E_j^* $ が、明示的な対称性を除いて唯一の最大化関数であるための条件を確立すること。
• Brascamp-Lieb-Luttinger不等式の逆理論を $ n = m+1 $ の場合にとどまらず、$ m = 2 $ における任意の $ n \geq 3 $ にまで拡張すること。
• 適切性および厳密適切性が、測度の過剰による病理的でない一意性の欠如を回避するために果たす役割を明確にすること。

提案手法

• 非退化性や適切性を除外するための、可測集合の $ n $ 重組の適切性および厳密適切性の概念を導入する。
• アフィン変換を用いて、一般の不等式を、線形形式 $ y + t_j x $ を用いた $ \mathbb{R} \times \mathbb{R} $ 上の積分を含む標準形に還元し、関数値を保存する。
• 鍵となる補題（補題5）を適用し、指示関数の積の内積積分を定数 $ \bar{r} $ と再配分された項の和で上から抑える。これは $ \mathbb{R}^2 $ 内の帯状領域の構造を活用する。
• 一般再配分不等式を用いて、元の関数とその再配分版を比較し、等号が成立するためには集合が零集合を除いて区間でなければならないことを示す。
• 不等式の連鎖における等号が各ステップで成立することから、再帰的議論によりすべての $ E_j $ が区間でなければならないことを導く。
• $ \mathbb{R}^2 $ および $ \mathbb{R} $ のアフィン自己同型における対称性および不変性の原理を適用し、区間の中心が共通の点 $ z \in \mathbb{R}^2 $ に整合的に配置されていることを示す。

実験結果

リサーチクエスチョン

• RQ1 線形写像 $ L_j: \mathbb{R}^2 \to \mathbb{R} $ および可測集合 $ E_j \subset \mathbb{R} $ に対して、関数 $ I(E_1, \dots, E_n) $ が一意に最大化される条件は何か？
• RQ2 $ m = 2 $ および任意の $ n \geq 3 $ に対して、Brascamp-Lieb-Luttinger不等式における等号が成立するのはいつか？また、最大化関数の構造は何か？
• RQ3 適切性および厳密適切性の条件が、ある集合における測度の過剰によって生じる最大化関数の一意性の欠如を防ぐ仕組みは何か？
• RQ4 等号が成立するためには、集合 $ E_j $ の中心が満たすべき幾何学的および代数的制約は何か？
• RQ5 アフィン変換の下で、区間構造および中心の整合的配置の観点から、等号成立の条件を特徴づけられるか？

主な発見

• 厳密適切性の条件下で、多変数不等式における等号が成立するのは、各 $ E_j $ が零集合を除いてその対称再配分 $ E_j^* $ と等しいとき、かつそのときに限る。
• 区間 $ E_j $ の中心は、整合的に配置されている必要があり、すなわちすべての $ j $ に対して $ L_j(z) $ が $ E_j $ の中心に一致するような点 $ z \in \mathbb{R}^2 $ が存在する必要がある。
• 厳密適切な $ n $ 重組に対しては、唯一の最大化関数は原点を中心とする区間であり、それらの中心は共通の逆像点 $ z \in \mathbb{R}^2 $ を通じて整合的に配置されている。
• 非退化性および厳密適切性の下で、関数 $ I(E_1, \dots, E_n) $ は、各 $ E_j $ が $ E_j^* $ と等しい測度を持つ原点中心の閉区間であるとき、最大値に達する。
• 非適切な $ n $ 重組は、非区間集合に対しても等号を達成できるが、そのような最大化関数は一意ではない。適切性は一意性のための必要条件である。
• 等号成立は、変換後の関数の内積積分の台が区間 $ E_0^* $ に一致することを意味し、これにより $ E_0 $ が零集合を除いて区間でなければならないことが保証される。