[论文解读] 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

一句话总结

本文提出了一套系统性框架，通过一类新型非线性 Bellman 偏微分方程，推导经典等周不等式（如 Brascamp–Lieb、Prekopa–Leindler 和 Ehrhard 不等式）。通过将等周问题表述为 Bellman 函数与随机流复合函数的最大值/最小值原理，作者将问题简化为求解特定非线性 PDE，该 PDE 有时可进一步简化为 Laplacian 特征值问题、$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.

研究动机与目标

• 开发一种系统方法，利用受 Hamilton–Jacobi–Bellman 方程启发的一类非线性偏微分方程，生成等周不等式。
• 在单一分析框架下统一并推广经典不等式，如 Brascamp–Lieb、Prekopa–Leindler 和 Ehrhard 不等式。
• 建立等周不等式可从作用于 Bellman 函数与测试函数生成流的复合函数上的最大值或最小值原理推导出的理论基础。
• 证明特定非线性 Bellman PDE 的可解性（依赖于矩阵参数 $A$ 和 $C$）是此类不等式成立的充要条件。
• 展示在适当条件下，该 PDE 框架可退化为已知可解方程，如 Laplacian 特征值问题或线性热方程。

提出的方法

• 作者在 $\mathbb{R}^n$ 上定义了一个 Bellman 函数 $B$，其满足一种修正的凹性条件：对所有 $x \in \Omega$，有 $A^*CA \bullet \mathrm{Hess}\, B(x) \leq 0$，其中 $A$ 是一个 $k \times n$ 矩阵，$C > 0$ 是一个对称 $k \times k$ 矩阵。
• 通过求解修正的热方程 $\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$，初始数据形式为 $f(x) = F(a \cdot x)$，$F$ 为标量函数。
• 核心思想是考虑复合函数 $B(x, P_t^C f(x))$，并通过要求 Bellman 函数 $B$ 满足涉及 Hessian 矩阵与生成元 $L_C$ 的特定非线性 PDE，推导出此类复合函数的最大值或最小值原理。
• 对于秩-1 初始数据 $f(x) = F(a \cdot x)$，该流简化为扩散系数为 $\langle Ca, a \rangle$ 的一维热方程，从而可显式计算 $P_t^C f(x) = U(a \cdot x, t)$。
• 该方法将证明等周不等式的问题简化为验证 Bellman 函数 $B$ 是否满足特定非线性 PDE，该 PDE 有时可转化为可解问题，如 $ar{\partial}$-方程或线性热方程。
• 通过恢复已知不等式验证了该框架的有效性：Brascamp–Lieb、Prekopa–Leindler 和 Ehrhard 不等式均被证明为此方案的特例。

实验结果

研究问题

• RQ1 能否开发一个统一的基于 PDE 的框架，用于推导如 Brascamp–Lieb、Prekopa–Leindler 和 Ehrhard 等经典等周不等式？
• RQ2 如何将 Bellman 函数与随机流复合函数的最大值或最小值原理，简化为求解特定类别的非线性 PDE？
• RQ3 在何种条件下，该非线性 Bellman PDE 可退化为可解方程，如 Laplacian 特征值问题或线性热方程？
• RQ4 矩阵 $C > 0$ 与 $k \times n$ 矩阵 $A$ 在塑造 Bellman PDE 的结构及其可解性方面起什么作用？
• RQ5 该框架在多大程度上可推广至秩大于 1 的初始数据，以处理更高秩的流？

主要发现

• 本文确立了：只要 Bellman 函数满足特定非线性 PDE，等周不等式即可从作用于 Bellman 函数与测试函数生成流的复合函数上的最大值或最小值原理推导而出。
• Bellman PDE 的表达式为 $A^*CA \bullet \mathrm{Hess}\, B(x) \leq 0$ 与 $\det(A^*CA) \geq \det(C) \cdot \det(AA^*)$，该条件确保了不等式成立所必需的类似凹性性质。
• 该框架成功恢复了 Brascamp–Lieb 不等式作为特例，表明 Bellman 函数方法不仅推广了该不等式，还为其结构提供了新的洞见。
• 通过将方法应用于对数凹函数，并在适当参数选择下验证 Bellman PDE 条件，Prekopa–Leindler 不等式被成功恢复。
• Ehrhard 不等式通过证明函数 $H(x,y) = \Phi(\alpha \Phi^{-1}(x) + \beta \Phi^{-1}(y))$ 满足偏微分不等式 (5.4) 而被推导出，该不等式在高斯测度设定下对应于 Bellman PDE 条件。
• 高斯等周不等式的无穷小版本作为 Ehrhard 不等式的极限被获得，从而确认了 $|\partial A|_\gamma \geq \Phi'(\Phi^{-1}(|A|_\gamma))$，这是几何概率中的一个关键结果。