[論文レビュー] Dimensional variance inequalities of Brascamp-Lieb type and a local approach to dimensional Prékopa's theorem

Van Hoang Nguyen|arXiv (Cornell University)|Feb 19, 2013

Point processes and geometric inequalities参考文献 17被引用数 4

ひとこと要約

本稿では、ホルマンダー理論にインspiredされた新しい$L^2$-法を用いて、重み付き測度に対するブラスキャンプ＝リーブ型の鋭い次元的分散不等式を導出し、ブラウン＝ミンコフスキー不等式の関数的形（プリコパの定理）の局所的証明を提供する。主な貢献は、一般化されたコーシー測度および凸関数に対して、明示的な定数を伴う重み付きポアンカレ型不等式の族を確立することにある。

ABSTRACT

We give a new approach, inspired by Hörmander's $L^2$-method, to weighted variance inequalities which extend results obtained by Bobkov and Ledoux. It provides in particular a local proof of the dimensional functional forms of the Brunn-Minkowski inequalities. We also present several applications of these variance inequalities, including reverse Hölder inequalities for convex functions, weighted Brascamp-Lieb inequalities and sharp weighted Poincaré inequalities for generalized Cauchy measures.

研究の動機と目的

• ブラウン＝ミンコフスキー不等式の関数的形、特にプリコパの定理を証明するための局所的$L^2$-法を開発すること。
• $\mathbb{R}^n$ 上の$\beta$-凹型および$\beta$-凸型測度に対する鋭い重み付き分散不等式を確立すること。
• 一般化されたコーシー測度に対して、ポアンカレ型不等式における明示的かつ最適な定数を導出すること。
• リッチ曲率を曲率条件に組み込むことで、結果をリーマン多様体へ拡張すること。
• 一貫した変分的枠組みの下で、逆ホルダー不等式およびブラスキャンプ＝リーブ不等式を統一的かつ一般化すること。

提案手法

• ホルマンダー理論に基づく$L^2$-法を採用し、部分積分と曲率推定を用いて分散不等式を導出する。
• 測度の重みと関数を分離するために、変換$g = f \varphi^{1-r}$を導入する。
• 多様体上の凸性条件を一般化するため、曲率作用素$H_x\varphi = D^2\varphi + \frac{\varphi}{\beta - 2r}\mathrm{Ric}_x$を定義する。
• 主な二次形式として、$\langle (D^2\varphi)^{-1} \nabla g, \nabla g \rangle / \varphi$を含む不等式を導出する。
• 定数に関する最小化により分散の上限を最適化し、明示的な余因子項を伴う改良された不等式を導出する。
• 多様体拡張においてリッチ曲率を組み込むために、ボッハナー＝リヒネルヴィッツの公式を用い、ヘッセ条件を修正する。

実験結果

リサーチクエスチョン

• RQ1 グローバルな凸性仮定なしに、局所的$L^2$-法を用いてブラウン＝ミンコフスキー不等式の関数的形（プリコパの定理）を証明できるか？
• RQ2 一般化されたコーシー測度$d\mu_\beta = \varphi^{-\beta}dx$によって定義される重み付きポアンカレ不等式における鋭い定数は何か？
• RQ3 非自明なリッチ曲率を有するリーマン多様体へ、ブラスキャンプ＝リーブ型の分散不等式をどのように拡張できるか？
• RQ4 パrameter$r$は分散不等式における重みと曲率のバランスをどのように果たすか？
• RQ5 $\varphi$、$\beta$、$r$にどのような条件下で、$\nabla\varphi$に関する線形関数に対して分散不等式が等号をとるか？

主な発見

• 本稿では定理1を確立する：$\varphi$が凸で、$\beta > r + (n + \sqrt{n^2 + 4(r^2 - r)n})/2$のとき、定数$A(n,\beta,r)$を伴う分散不等式が成り立つ。
• 定理2は、有界領域上の凹型$\varphi$に対して類似の不等式を提供し、定数$B(n,\beta,r)$を伴う。条件は$\beta > -r + (-n + \sqrt{n^2 + 4(r^2 - r)n})/2$である。
• 両不等式において、$f = \langle \nabla\varphi, z_0 \rangle \varphi^{r-1}$（$z_0 \in \mathbb{R}^n$）のとき、等号が成立する。
• 最適化された分散不等式（6.2）は（1.2）を改善し、$f$の平均に依存しないより鋭い上限をもたらす。
• 完全な$n$次元リーマン多様体へは、ヘッセ行列を修正されたバクリ＝エメリーテンソル$H_x\varphi = D^2\varphi + \frac{\varphi}{\beta - 2r}\mathrm{Ric}_x$に置き換えることで結果を拡張できる。
• 多様体の場合、すべての$x$に対して$H_x\varphi > 0$が成り立つ限り、不等式が成立する。これは、曲がった空間における凸性仮定の一般化である。