[논문 리뷰] C^0-rigidity of the double Poisson bracket

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

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 $\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}}$ 를 만족하여 약한 안정성을 증명한다.