[논문 리뷰] KAM for the non-linear Beam equation 2: A normal form theorem

L. H. Eliasson, Benoît Grébert외 1명|arXiv (Cornell University)|2015. 02. 08.

Quantum chaos and dynamical systems참고 문헌 10인용 수 6

한 줄 요약

이 논문은 다차원 공간에서 정규화 비선형성을 갖는 해밀턴 PDE에 적합한 추상적 KAM 정리가 수립되며, 소규모 외란 하에서 비선형 비틀림 방정식에 대해 시간-임의주기적 해를 구성할 수 있게 한다. 주요 기여는 수렴하는 반복 절차를 통해 비공진 조건을 갖는 항들을 제거하는 정규형 축소이며, 일반적인 주파수에 대해 0인 리아프노프 지수를 갖는 불변 토러스의 존재를 증명한다.

ABSTRACT

We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.

연구 동기 및 목표

• 공간 다차원 해밀턴 PDE에 적용 가능한 추상적 KAM 정리를 개발하는 것.
• 비선형 비틀림 방정식에서 발생하는 특이 외란 문제를 정규형 축소를 통해 다루는 것.
• 비틀림 방정식에서 일반적인 주파수에 대해 시간-임의주기적 해가 0인 리아프노프 지수를 갖는다는 것을 증명하는 것.
• 소수의 분모와 비공진 주파수 조건을 갖는 무한차원 시스템으로 KAM 이론을 확장하는 것.

제안 방법

• 블록 대각 행렬의 구조와 스펙트럼 점점 수렴 성질을 갖는 무한차원 위상 공간에서의 해밀토니안에 대해 정규형 정리의 체계를 수립하는 것.
• 해밀토니안 전개에서 계수의 성장률을 제어하기 위해 가중 시퀀스 공간 위의 행렬 대수를 도입하는 것.
• 소수의 분모를 피하기 위해 매개변수에 의존하는 주파수 벡터를 사용하여 반복적으로 비공진 항들을 제거하기 위해 동역학 방정식을 적용하는 것.
• 소수의 분모와 매개변수에 의존하는 추정을 철저히 통제하여 KAM 반복의 수렴을 보장하기 위해 유한에서 무한으로의 귀납 체계를 활용하는 것.
• 전단성과 측도 추정을 통해 허용 가능한 주파수의 집합이 매개변수 공간에서 전체 측도를 갖는다는 것을 보이는 것.
• 추상 정리를 비틀림 방정식에 적용하여 컨볼루션 잠재력 또는 임의주기적 외란이 존재하는 경우, 이를 일정 계수로 축소하는 것.

실험 결과

연구 질문

• RQ1 정규화 비선형성을 갖는 다차원 공간에서의 해밀턴 PDE에 대해 KAM 유형의 정규형 정리가 수립될 수 있는가?
• RQ2 비공진 주파수를 갖는 무한차원 해밀턴 시스템에서 소수의 분모는 어떻게 통제할 수 있는가?
• RQ3 비선형 비틀림 방정식이 어떤 조건에서 시간-임의주기적 해를 0인 리아프노프 지수와 함께 갖는가?
• RQ4 이러한 해를 중심으로 선형화된 방정식은 일정 계수로 가역화될 수 있는가?
• RQ5 KAM 결과가 성립하는 주파수 집합의 측도론적 크기는 얼마인가?

주요 결과

• 추상적 KAM 정리는 매개변수 공간에서 일반적인 주파수 집합에 대해 불변 토러스의 존재를 보장하며, 매개변수 영역에서 전체 측도를 갖는다.
• 컨볼루션 잠재력 또는 임의주기적 외란이 존재하는 비선형 비틀림 방정식에 대해 이 정리는 ε 차수의 시간-임의주기적 해를 도출한다.
• 이러한 해를 중심으로 선형화된 방정식은 일정 계수로 가역화되며, 이는 모든 리아프노프 지수가 0임을 의미한다.
• 방법론은 소수의 분모와 매개변수에 의존하는 추정을 철저히 통제함으로써 KAM 반복의 수렴을 보장한다.
• 부드러움 항 (−Δ)−α 에 대해 임의의 α > 0 에 대해 결과가 성립하며, 적절한 조건 하에서는 α = 0 일 때에도 유효하다.
• 전단성 조건은 나쁜 주파수의 집합이 작고 측도가 작다는 것을 보장하여, KAM 체계에서 측도론적 추론을 가능하게 한다.