[論文レビュー] 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$-剛性二分岐を確立する。ホーファー幾何学とランダウ＝ハダマール＝コルモゴロフ不等式を用いて、このような関数汎関数は、1組の関数のみが関与する場合には弱く安定であるが下方連続でない（弱い剛性）、両方の関数対が正に寄与する場合には完全に下方連続である（強い剛性）ことが示され、後者の場合には鋭い収束速度が得られる。この結果は、一様な摂動の下でのシンプレクティック関数論における剛性の階層を明らかにする。

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$-法則を再証明し、二重括弧への枠組みの拡張を行う。
• フローに基づくアプローチ $u_t = \prod \phi^{t}_{a_j F + b_j G}$ を用い、ホーファーノルムのタイトな評価を得る。これにより、リー単項式の最大値・最小値と関連付ける。
• 一般の二変数リー多項式によって生成されるフローのホーファーノルムをバウンドするため、コルモゴロフの不等式を $\text{ad}_F^N G$ に適用し、反復随伴関数汎関数の弱い剛性を証明する。

実験結果

リサーチクエスチョン

• RQ1 二重ポアソン括弧から構成される関数汎関数が、$C^0$-摂動の下で、どのような条件下で弱い剛性または下方向連続性を示すか。
• RQ2 下方向連続な関数汎関数に対して、鋭い収束速度を確立できるか。
• RQ3 関数汎関数 $\text{osc}(\text{ad}_F)^N G$ は $N \geq 3$ に対して下方向連続か。
• RQ4 $N=2$ の場合に用いられた手法を、高次の反復括弧に対して下方向連続性の失敗を示すために拡張可能か。
• RQ5 一般の二変数リー多項式によって生成されるフローのホーファーノルムをバウンドするための、新たな幾何学的・解析的道具は存在するか。

主な発見

• 関数汎関数 $\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$ のみ、または $v_3,v_4$ のみが正の場合、弱い剛性を示すが下方向連続ではない。
• もし $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}}$ を満たし、弱い剛性が証明される。