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

一句话总结

本文刻画了在高维情形下Rogers-Brascamp-Lieb-Luttinger泛函的所有极值点，证明在自然的结构与可容许性条件下，唯一的极值点是原点为中心的球在体积保持线性变换与平移下的像的m元组。该结果建立了具有显式唯一性（至对称性）的精确不等式。

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 $ 时，确定形如 $\Phi_{\mathcal{L}}(\mathbf{E}) = \int_{\mathbb{R}^D} \prod_{j\in J} \mathbf{1}_{E_j} \circ L_j $ 的多重线性积分泛函在固定Lebesgue测度下的所有极值点。
• 将Riesz-Sobolev与Brascamp-Lieb-Luttinger不等式在维度一情形下的先前结果推广至高维。
• 通过刻画对称化不等式中等号成立的所有构型，建立一个精确不等式。
• 识别出使极值点保持不变的所有对称性——平移与特殊线性变换。

提出的方法

• 作者使用结构假设 (1.1)，以确保线性映射 $L_j^d$ 与 $\mathrm{GL}(d)$ 特别是 $\mathrm{SL}(d)$ 的作用相容。
• 他们基于维度一情形的扰动，采用稳定性论证，使用参数 $s$ 将配置变形至对称情形附近。
• 关键技术涉及分析配置到其对称重排轨道的距离，利用维度一情形下区间的中心。
• 该方法依赖于先前工作 [12] 中的稳定性定理，将其应用于维度一情形，以获得不等式偏差的二次下界。
• 他们使用中心函数 $c_j(y'_j,s)$ 的多项式逼近，将偏差与对称性的平方距离关联，从而得到一个定量估计。
• 通过对测度为正的集合 $\Omega(s)$ 进行积分，确保偏差下界为 $s^2$ 的正倍数，从而证明非对称配置的严格次优性。

实验结果

研究问题

• RQ1 在 $ d > 1 $ 时，哪些具有指定Lebesgue测度的可测集m元组能最大化Rogers-Brascamp-Lieb-Luttinger泛函？
• RQ2 在何种条件下，对称构型——即原点为中心的球的m元组——是至对称性唯一的极值点？
• 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}$ 从原点为中心的球得到的m元组 $\mathbf{E}$。
• 极值点由条件 $E_j = \psi(E_j^\star) + L_j(\mathbf{v})$ 对所有 $j \in J$ 成立来刻画，证明了至 $\mathrm{SL}(d)$ 与平移作用的唯一性。
• 一个精确的稳定性不等式成立：$\Phi_{\mathcal{L}}(\mathbf{E}) \leq \Phi_{\mathcal{L}}(\mathbf{E}^\star) - c \cdot \mathrm{dist}(\mathbf{E}, \mathrm{orbit}(\mathbf{E}^\star))^2$，其中 $c > 0$，距离以中心位移衡量。
• 对称化不等式中的偏差对大小为 $s$ 的扰动，其下界为 $s^2$ 的正倍数，从而证明非对称配置的严格次优性。
• 使得偏差有下界的扰动参数 $\mathbf{y}'$ 的集合的测度一致远离零，确保稳定性估计在正测度集上成立。
• 该结果将经典对称化不等式推广至高维，并完整刻画了等号成立的情形，解决了该类泛函的逆问题。