[論文レビュー] Bellman partial differential equation and the hill property for classical isoperimetric problems

Paata Ivanisvili, Alexander Volberg|arXiv (Cornell University)|Jun 10, 2015

Numerical methods in inverse problems参考文献 45被引用数 9

ひとこと要約

本稿では、Brascamp–Lieb、Prekopa–Leindler、Ehrhardなどの古典的等周不等式を導出するための体系的枠組みを、非線形ベルマン偏微分方程式の新規クラスを用いて提示する。等周問題をベルマン関数と確率的フローの合成に対する最大・最小原理として定式化することで、特定の非線形PDEの解法に問題を還元する。これは、場合によってはラプラシアン固有値問題、$ar{\partial}$-方程式、線形熱方程式に還元可能であり、既知の不等式を統一的かつ拡張的に扱うものである。

ABSTRACT

The goal of this note is to have a systematic approach to generating isoperimetric inequalities from two concrete type of PDEs. We call these PDEs Bellman type because a totally analogous equations happen to rule many sharp estimates for singular integrals in harmonic analysis, and such estimates were obtained with the use of Hamilton--Jacobi--Bellman PDE. We show how classical inequalities of Brascamp--Lieb, Prekopa--Leindler, Ehrhard are particular case of this scheme, which allows us to augment the stock of such inequalities. We approach the isoperimetric inequalities as a maximum (minimum) principle for special types of functions. These functions are compositions of "Bellman function" and an appropriate flow built on test functions. Then the existence of maximum (minimum) principle for such compositions can be reduced to the requirement that Bellman function satisfies a concrete class of nonlinear PDE (written down below). We are left to solve this nonlinear PDE (sometimes a possible task) to enjoy isoperimetric inequalities. The nonlinear PDE that we will describe in this article can be reduced sometimes to solving Laplacian eigenvalue problem, $\bar{\partial}$-equation of certain type or just the linear heat equation.

研究の動機と目的

• ハミルトン–ジャコビ–ベルマン方程式にインspiredされた非線形偏微分方程式のクラスを用いて、等周不等式を体系的に生成する手法を開発すること。
• Brascamp–Lieb、Prekopa–Leindler、Ehrhard不等式などの古典的不等式を、一つの解析的枠組みに統一的かつ拡張的に統合すること。
• 等周不等式が、テスト関数によって生成されるフローとベルマン関数の合成に適用された最大または最小原理から導かれることが確立されること。
• 行列パラメータ$A$および$C$に依存する特定の非線形ベルマンPDEの可解性が、このような不等式の正当性にとって必要かつ十分であることが示されること。
• このPDE枠組みが、適切な条件下で既知の可解な方程式（例：ラプラシアン固有値問題、線形熱方程式）に還元可能であることが示されること。

提案手法

• 著者らは、$\mathbb{R}^n$ 上で定義されたベルマン関数$B$を定義し、$A$を$k \times n$行列、$C > 0$を$k \times k$対称行列とするとき、すべての$x \in \Omega$に対して$A^*CA \bullet \mathrm{Hess}\, B(x) \leq 0$を満たすように、修正された凹性条件を満たすものとする。
• 初期データが$F(a \cdot x)$の形をとる関数$f(x)$を用いて、修正された熱方程式$\partial_t u = L_C u$の解を用いて、フロー$P_t^C f(x)$を構成する。ここで$L_C = \sum_{i,j} c_{ij} \partial^2 / \partial x_i \partial x_j$である。
• 鍵となるアイデアは、$B(x, P_t^C f(x))$の合成を考察し、ベルマン関数$B$がヘッセ行列と生成子$L_C$を含む特定の非線形PDEを満たすようにすることで、その合成に対する最大または最小原理を導出することである。
• ランク1の初期データ$f(x) = F(a \cdot x)$に対しては、拡散係数$\langle Ca, a \rangle$をもつ1次元熱方程式に簡略化され、$P_t^C f(x) = U(a \cdot x, t)$として明示的に計算可能である。
• 等周不等式の証明問題は、ベルマン関数$B$が特定の非線形PDEを満たすことを確認することに還元され、これは場合によっては$\bar{\partial}$-方程式や線形熱方程式に変換可能である。
• この枠組みは、既知の不等式の回復によって検証されており、Brascamp–Lieb、Prekopa–Leindler、Ehrhard不等式が、このスキームの特別な場合として得られることを示している。

実験結果

リサーチクエスチョン

• RQ1 Brascamp–Lieb、Prekopa–Leindler、Ehrhard不等式などの古典的等周不等式を導出する統一的PDEベースの枠組みを構築できるか？
• RQ2 ベルマン関数と確率的フローの合成に対する最大または最小原理は、特定の非線形PDEのクラスの解法にどのように還元できるか？
• RQ3 非線形ベルマンPDEが、ラプラシアン固有値問題や線形熱方程式などの既知の可解方程式に還元される条件は何か？
• RQ4 正定値行列$C > 0$と$k \times n$行列$A$は、ベルマンPDEの構造とその可解性にどのように寄与するか？
• RQ5 この枠組みは、ランク1の初期データを超えて、より高ランクのフローへと一般化可能か？

主な発見

• 本稿では、ベルマン関数が特定の非線形PDEを満たす限り、テスト関数によって生成されるフローとベルマン関数の合成に最大または最小原理を適用することで、等周不等式が導かれることが確立された。
• ベルマンPDEは$A^*CA \bullet \mathrm{Hess}\, B(x) \leq 0$および$\det(A^*CA) \geq \det(C) \cdot \det(AA^*)$で与えられ、不等式が成立するための必要な凹性類似性質を保証する。
• この枠組みは、Brascamp–Lieb不等式を特別な場合として回復し、ベルマン関数アプローチがその構造を一般化し、新たな洞察を提供することを示した。
• 対数凹関数に対してこの手法を適用し、適切なパrameter選択のもとでベルマンPDE条件を検証することで、Prekopa–Leindler不等式が回復された。
• Ehrhardの不等式は、関数$H(x,y) = \Phi(\alpha \Phi^{-1}(x) + \beta \Phi^{-1}(y))$が部分微分不等式(5.4)を満たすことを示すことにより導出された。これはガウス設定におけるベルマンPDE条件に対応する。
• ガウス等周不等式の無限小版は、Ehrhard不等式の極限として得られ、$|\partial A|_\gamma \geq \Phi'(\Phi^{-1}(|A|_\gamma))$が成り立つことが確認された。これは幾何確率における重要な結果である。