[논문 리뷰] A non regular Fr\"olicher Lie group of diffeomorphisms

Jean-Pierre Magnot|arXiv (Cornell University)|2011. 01. 12.

Nonlinear Waves and Solitons참고 문헌 4인용 수 3

한 줄 요약

이 논문은 열린 단위구간 I 위의 미분형식군 𝒟가 컴acts 집합에서 모든 도함수의 균일 수렴 위상으로 장비되었을 때 비정규적임을 보여준다: 일부 리 대수 내 경로에 대해 지수 사상이 정의되지 않는다. 식별된 비통합 경로는 버거 방정식의 자명한 해에 대응하며, 비선형 편미분방정식과 미분형식군의 기하학 사이에 깊은 연관성을 드러낸다.

ABSTRACT

We show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some path of the Lie algebra. The non integrable path that we exhibit appears also as a trivial solution of the Burger's equation.

연구 동기 및 목표

• 열린 단위구간 I의 미분형식군의 프뢰리히러 군 위상 하에서의 정규성에 대해 조사한다.
• 𝒟의 리 대수 내 모든 매끄러운 경로에 대해 지수 사상이 잘 정의되는지 확인한다.
• 일부 경로가 통합되지 않음을 보여주는 리 대수 내 특정 경로를 규명한다. 이를 통해 비정규성을 증명한다.
• 비통합 경로와 버거 방정식의 해 사이의 관계를 탐구한다.

제안 방법

• 열린 단위구간 I 위의 미분형식군 𝒟는 컴acts 부분집합에서 모든 도함수의 균일 수렴을 통해 프뢰리히러 군 구조를 부여받는다.
• 𝒟의 리 대수는 적절한 감쇠 또는 성장 조건을 만족하는 I 위의 매끄러운 벡터장의 공간으로 식별된다.
• 일부 경로가 1파라미터 부분군으로 통합되지 않음을 보여주는 리 대수 내 특정 경로를 구성함으로써 비정규성을 증명한다.
• 그 경로는 버거 방정식의 자명한 해에 대응함을 보여, 기하학적 비정규성과 PDE 이론 사이의 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 열린 단위구간의 미분형식군은 프뢰리히러 군 위상 하에서 정규적인가?
• RQ2 𝒟의 리 대수 내 일부 매끄러운 경로에 대해 지수 사상이 정의되지 않는가?
• RQ3 𝒟의 리 대수 내 비통합 경로를 명시적으로 구성하고 기존의 PDE와 연결할 수 있는가?
• RQ4 무한차원 리 군의 맥락에서 버거 방정식의 해의 기하학적 의의는 무엇인가?
• RQ5 통합의 실패는 미분형식군의 위상과 어떻게 관련되는가?

주요 결과

• 열린 단위구간 위의 미분형식군 𝒟는 리 대수 내 일부 경로에 대해 지수 사상이 정의되지 않기 때문에 비정규적이다.
• 리 대수 내 명시적인 비통합 경로가 구성되어 지수 사상의 실패를 보여준다.
• 비통합 경로는 버거 방정식의 자명한 해에 대응하며, PDE 해와 기하학적 비정규성 사이의 직접적 연관성을 확립한다.
• 모든 도함수의 컴acts 집합에서의 균일 수렴 위상은 군 구조의 비정규성에 핵심적인 역할을 한다.
• 1차원 설정에서도 미분형식군이 정규가 되지 않을 수 있음을 보여주며, 무한차원 리 이론에서 매끄러움에 대한 기존의 가정을 도전한다.