[논문 리뷰] On Integrable Systems & Rigidity for PDEs with Symmetry

Roy Wang|arXiv (Cornell University)|2017. 12. 03.

Nonlinear Waves and Solitons참고 문헌 48인용 수 6

한 줄 요약

이 학위논문은 대칭을 가진 통합 가능 시스템을 위한 층 이론적 프레임워크를 개발하며, 모저의 경로 방법과 위상군 이론을 사용하여 PDE와 푸아송 구조에 대한 국소적 강성 결과를 확립한다. 주요 기여는 비퇴화된 특이점에 대한 일반적인 선형화 정리로, 변형 코homology와 네쉬-모저 반복을 통해 엘리아슨의 작업을 확장한다.

ABSTRACT

This thesis is divided into two parts. In the first part we study completely integrable systems, and their underlying structures, in detail. We study their deformation theory and the different equivalence relations surrounding it. We motivate the definition of weak equivalence (found in the literature) by studying different interpretations of the concept `singular Lagrangian foliation'. Finally, we prove a normal form theorem inspired by the Moser path method. In the second part we study the deformation theory of a PDE with a pseudogroup of symmetries in general. We prove that a solution is rigid if its deformation cohomology vanishes and certain `tame' estimates hold, inspired by the Nash-Moser fast convergence method. An essential detail is that this statements holds for local solutions of the PDE around a compact submanifold. We give alternative proofs for several classical normal form theorems, as applications. Key Words: completely integrable systems, singular foliations, singular Lagrangian foliations, closed pseudogroups, Lie algebra sheaves, geometric PDEs, local rigidity, normal forms, Nash-Moser, Moser path method, Newlander-Nirenberg, Eliasson.

연구 동기 및 목표

• 대칭을 가진 통합 가능 시스템을 위한 층 이론적 기반을 구축하며, 특히 특이 분할 및 그 기하학적 구조에 중점을 둔다.
• 변형 코homology와 위상군 작용을 사용하여 비퇴화된 특이점에 대한 엘리아슨의 선형화 정리들을 통합 가능 시스템에 일반화한다.
• 변형에 대한 코homological 장애를 분석하여 대칭을 가진 PDE에 대한 국소적 강성 결과를 증명한다.
• 다르부 정리와 뉴랜더-니레버그 정리와 같은 고전적 결과들을 통합 가능 시스템과 푸아송 기하학의 단일 프레임워크 안에서 통합하고 확장한다.
• 네쉬-모저 반복과 닫힌 위상군을 사용하여 비퇴화된 고정점 근처의 통합 가능 시스템에 대한 일반적인 선형화 정리를 개발한다.

제안 방법

• 통합 가능 시스템에서 발생하는 특이 분할을 모델링하기 위해 층 이론을 사용하며, 특히 해밀턴 벡터장의 층과 라그랑주 분할에 중점을 둔다.
• 모저의 경로 방법을 적용하여 심플렉틱 구조와 운동량 맵 사이의 동형변환을 구성하며, 코homology 클래스의 호모토피를 사용한다.
• 변형 코homology를 도입하여 통합 가능 시스템의 무한소 변형을 분류하고 선형화에 대한 장애를 분석한다.
• 도함수 손실이 발생하는 상황에서 역문제를 해결하기 위해 네쉬-모저 반복 체계를 활용한다. 이는 대칭을 가진 비선형 PDE에 매우 중요하다.
• PDE의 대칭군으로서 닫힌 위상군을 분석하며, 그 리 대수 층과 자연스러운 배럴을 구성하여 국소 불변량을 연구한다.
• 이론을 적용하여 푸아송 구조, 리 대수, 복소 구조에 대한 강성 정리를 증명하며, 코homology 군의 영성에 기반한다.

실험 결과

연구 질문

• RQ1 통합 가능 시스템의 층 이론적 구조는 특이점 근처의 국소 정규형을 이해하는 데 어떻게 활용될 수 있는가?
• RQ2 변형 코homology는 비퇴화된 고정점 근처에서 통합 가능 시스템을 선형화하는 데 장애를 결정하는 데 어떤 역할을 하는가?
• RQ3 위상군 대칭은 PDE와 푸아송 구조의 강성에 얼마나 많은 영향을 미치는가?
• RQ4 모저의 경로 방법은 비정칙적, 특이적인 대칭을 가진 통합 가능 시스템으로 어떻게 확장될 수 있는가?
• RQ5 네쉬-모저 반복 체계는 통합 가능 시스템의 선형화에서 도함수 손실 문제를 어떻게 해결하는가?

주요 결과

• 비퇴화된 특이점에 대한 일반적인 선형화 정리가 확립되었으며, 변형 코homology를 사용하여 엘리아슨의 결과를 일반적인 경우로 확장하였다.
• 통합 가능 시스템에 관련된 해밀턴 벡터장의 층이 특이 분할의 단면 층과 동형임을 보였으며, 기하학적 특성화를 제공한다.
• 모저의 경로 방법이 대칭을 가진 통합 가능 시스템에 적응되어, 운동량 맵을 유지하는 심플렉틱 동형변환을 구성할 수 있게 되었다.
• 주요 강성 정리에 따르면, 변형 복합체의 첫 번째 및 두 번째 코homology 군이 영일 경우, 시스템은 소규모 변형에 대해 국소적으로 강성을 가진다.
• 이론은 다르부 정리와 뉴랜더-니레버그 정리와 같은 고전적 결과들을 일반 프레임워크의 특수한 경우로 복원한다.
• 네쉬-모저 반복 체계가 도함수 손실이 발생하는 상황에서 비선형 역문제를 성공적으로 해결하였으며, 비퇴화된 고정점 근처에서 선형화 미분동형사상의 존재를 증명하였다.