[论文解读] C^0-rigidity of the double Poisson bracket

Michael Entov, Leonid Polterovich|ArXiv.org|Jul 27, 2008

Geometric and Algebraic Topology参考文献 12被引用 3

一句话总结

本文建立了在辛流形上由双重泊松括号构造的泛函的 $C^0$-刚性二分性。利用霍弗几何与兰道-哈达玛-柯尔莫哥洛夫不等式，证明了此类泛函要么是弱鲁棒但不下半连续（当仅涉及一对函数时），要么是完全下半连续（当两对函数均贡献正值时），后者情形下收敛速率是精确的。该结果揭示了在一致扰动下辛函数理论中鲁棒性的层级结构。

ABSTRACT

The paper is devoted to function theory on symplectic manifolds. We study a natural class of functionals involving the double Poisson brackets from the viewpoint of their robustness properties with respect to small perturbations in the uniform norm. We observe an hierarchy of such robustness properties. The methods involve Hofer's geometry on the symplectic side and Landau-Hadamard-Kolmogorov inequalities on the function-theoretic side.

研究动机与目标

• 研究在辛流形上，由双重泊松括号构造的泛函在 $C^0$-小扰动下的鲁棒性。
• 根据其下半连续性与弱鲁棒性特征，对这些泛函进行分类。
• 利用几何与分析工具，为下半连续泛函建立精确的收敛速率。
• 将已知的泊松括号刚性结果推广至高阶迭代括号，并识别一般情形下的开放问题。

提出的方法

• 在辛侧使用霍弗的几何方法，以控制由李多项式生成的哈密顿流的霍弗范数。
• 应用兰道-哈达玛-柯尔莫哥洛夫不等式，以低阶范数控制高阶导数，特别适用于迭代泊松括号。
• 通过振荡扰动 $F_N = F + \frac{1}{N}a\sin(NF)$ 构造显式反例，证明在弱鲁棒情形下半连续性的失效。
• 使用几何方法重新证明布霍夫斯基的 $2/3$-律，适用于泛函 $\max\{F,G\}$，并将框架扩展至双重括号。
• 采用基于流的方法 $u_t = \prod \phi^{t}_{a_j F + b_j G}$，推导霍弗范数的紧致界，将其与李单项式的极大值和极小值联系起来。
• 对 $\text{ad}_F^N G$ 应用柯尔莫哥洛夫不等式，证明迭代伴随泛函的弱鲁棒性。

实验结果

研究问题

• RQ1 在何种条件下，由双重泊松括号构造的泛函在 $C^0$-扰动下是弱鲁棒或下半连续的？
• RQ2 能否为涉及双重括号的下半连续泛函建立精确的收敛速率？
• RQ3 当 $N \geq 3$ 时，泛函 $\text{osc}(\text{ad}_F)^N G$ 是否下半连续？
• RQ4 用于 $N=2$ 的方法能否推广，以证明高阶迭代括号下半连续性的失败？
• RQ5 是否存在新的几何或分析工具，可用于控制由两个变量的李多项式生成的流的霍弗范数？

主要发现

• 若仅 $v_1,v_2$ 或仅 $v_3,v_4$ 为正，则泛函 $\Phi^v(F,G) = v_1 \max\{\{F,G\},F\} - v_2 \min\{\{F,G\},F\} + v_3 \max\{\{F,G\},G\} - v_4 \min\{\{F,G\},G\}$ 是弱鲁棒但不下半连续。
• 若 $v_1,v_2 > 0$ 且 $v_3,v_4 > 0$，则 $\Phi^v$ 是下半连续，表明其在 $C^0$-扰动下具有更强的稳定性。
• 恢复了精确的 $2/3$-律：$\Phi(F,G) - \overline{\Phi}_\epsilon(F,G) \leq C \cdot \Psi(F,G)^{1/3} \epsilon^{2/3}$，其中 $\Psi(F,G) = \|\{\{\{F,G\},F\},F\} + \{\{\{F,G\},G\},G\}\|$。
• 泛函 $\max\{\{F,G\},F\}$ 是弱鲁棒的，原因在于兰道-哈达玛不等式：$\max\{\{F,G\},F\} \geq \frac{\|\{F,G\}\|^2}{2 \cdot \text{osc}\, G}$。
• 对任意 $N \in \mathbb{N}$，泛函 $\Phi(F,G) = \text{osc}(\text{ad}_F)^N G$ 是弱鲁棒的，通过柯尔莫哥洛夫不等式证明：$\text{osc}\, v^{(N)} \geq C_N \frac{\|v'\|^N}{\|v\|^{N-1}}$。
• 泛函 $\Phi_{k,m}(F,G) = \text{osc}(\text{ad}_H)^m G$，其中 $H = (\text{ad}_G)^k F$，满足 $\Phi_{k,m}(F,G) \geq C_{k,m} \frac{\|\{F,G\}\|^{(k+1)m}}{\|F\|^{km} \|G\|^{m-1}}$，从而证明其弱鲁棒性。