[논문 리뷰] Almost periodic invariant tori for the NLS on the circle

Luca Biasco, Jessica Elisa Massetti외 1명|arXiv (Cornell University)|2019. 03. 18.

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

한 줄 요약

이 논문은 동차가 아닌 행동에 의존하지 않는 행동-각도 좌표를 사용하지 않고, 타원형(푸리에) 변수에서 직접 작용하는 새로운 카마르타-타입(KAM) 접근법을 통해 원 위의 비선형 슈뢰딩거 방정식(nonlinear Schrödinger equation)에 대해 거의 주기적인 불변 토러스의 존재성과 선형 안정성을 확립한다. 통합적이고 차원에 관계없이 동일한 프레임워크를 도입하고 헤르만(Herman)의 대비항 정리(counter-term theorem)를 활용함으로써, 작은 외부 편미분에 대해 유한차원 및 무한차원 토러스의 지속성을 증명하며, 이론을 이동 불변이 아닌 설정으로 확장하고 지브레(Gevrey) 정규성의 해를 도출한다.

ABSTRACT

In this paper we study the existence and linear stability of almost periodic solutions for a NLS equation on the circle with external parameters. Starting from the seminal result of Bourgain (2005) on the quintic NLS, we propose a novel approach allowing to prove in a unified framework the persistence of finite and infinite dimensional invariant tori, which are the support of the desired solutions. The persistence result is given through a rather abstract "counter-term theorem" `a la Herman, directly in the original elliptic variables without passing to action-angle ones. Our framework allows us to find "many more" almost periodic solutions with respect to the existing literature and consider also non-translation invariant PDEs.

연구 동기 및 목표

• 원 위의 비선형 슈뢰딩거 방정식(NLS)에 대해 외부 매개변수를 고려한 거의 주기적 해의 존재성과 선형 안정성을 확립하는 것.
• 무한차원에서 정의되지 않는 행동-각도 좌표에 의존하는 이전 KAM 접근법의 한계를 극복하는 것.
• 유한차원 및 무한차원 불변 토러스의 지속성을 동시에 증명하는 단일의 차원에 관계없는 알고리즘으로 통합된 프레임워크를 개발하는 것.
• 기존의 심플렉틱 좌표 변환에 의존하지 않고 원래의 타원형(Fourier) 변수에서 직접 작업함으로써, 이동 불변이 아닌 NLS 방정식으로 이론을 확장하는 것.
• 심플렉틱 좌표 변환을 피하는 원래 변수에서의 대비항 정리를 제공함으로써, 더 넓은 적용 가능성과 소수 조절에 대한 개선된 통제를 가능하게 하는 것.

제안 방법

• 행동-각도 좌표를 회피하고 원래의 타원형 변수에서 작용하는 새로운 대비항 정리를 제안한다.
• 행동이 원점 주위의 구역에 국한되는 기능적 설정을 도입하여, 이전 연구에서의 영도수 측도 제약을 피한다.
• 토러스의 차원에 대해 균일한 KAM 반복을 적용함으로써, 무한차원 토러스 위의 해를 구축할 수 있도록 한다.
• KAM 체계에서 수정항을 구하기 위해 동차방정식을 사용하며, 주파수 추정을 통해 소수의 조절을 신중히 한다.
• 측도 이론적 접근을 통해 허용 가능한 매개변수의 집합이 양측도를 가짐을 보이며, 대부분의 선택에 대해 해의 존재성을 보장한다.
• 불변 다각체가 무한차원 토러스로 삽입됨을 증명하고, 그 주변에서 행동-각도 변수를 정의할 가능성에 대해 연구한다.

실험 결과

연구 질문

• RQ1 비선형 슈뢰딩거 방정식의 원 위에서 거의 주기적 해의 지속성은 행동-각도 좌표에 의존하지 않고 증명될 수 있는가?
• RQ2 단일의 차원에 관계없는 KAM 프레임워크 내에서 유한차원 및 무한차원 불변 토러스를 동시에 구축할 수 있는가?
• RQ3 표준 심플렉틱 좌표가 실패하는 이동 불변이 아닌 NLS 방정식으로 이 방법을 확장할 수 있는가?
• RQ4 얻어진 거의 주기적 해의 정규성 클래스는 무엇이며, 이전 결과와 비교해 볼 때 어떻게 다른가?
• RQ5 불변 다각체가 적절한 조건 하에 무한차원 토러스와 위상동형임을 보일 수 있는가? 그리고 그 주변에서 행동-각도 변수를 정의할 수 있는가?

주요 결과

• 저자들은 비선형 슈뢰딩거 방정식의 원 위에서 지브레 정규성을 가진 거의 주기적 해의 존재성을 증명하며, 보르헤인(Bourgain)의 결과를 더 넓은 방정식의 범주로 확장한다.
• KAM 알고리즘이 토러스의 차원에 대해 균일하게 유효하여, 유한차원 및 무한차원 불변 토러스 위의 해를 모두 구축할 수 있다.
• 이 방법은 행동-각도 좌표를 완전히 회피하고, 푸리에 기저에서 직접 작동하며, 원래 변수에서의 대비항 정리를 사용한다.
• 해가 존재하는 외부 매개변수의 집합은 양측도를 가지며, 이는 이동 불변이 아닌 NLS 방정식에도 적용 가능하다.
• 적절한 조건 하에 불변 다각체가 무한차원 토러스와 위상동형임을 보이며, 그 주변에서 행동-각도 변수를 정의할 가능성에 대해 분석한다.
• 허용 가능한 매개변수 집합의 측도 추정은 리프시츠 변동성 추론을 통해 통제되며, 양측도 해 집합을 도출한다.