[논문 리뷰] Rational normal forms and stability of small solutions to nonlinear Schr\\"odinger equations

Joackim Berniér, Erwan Faou외 1명|arXiv (Cornell University)|2018. 12. 29.

Advanced Mathematical Physics Problems참고 문헌 31인용 수 35

한 줄 요약

이 논문은 토러스 위의 비선형 슈뢰딩거 방정식의 소규모 해를 안정화하기 위한 새로운 정규형 기법인 분수 정규형을 소개한다. 해밀토니안을 작은 나머지가 존재하는 통합형으로 변환함으로써, 크기가 $\varepsilon$인 일반적인 초기 자료에 대해 $\varepsilon^{-M}$까지의 시간 동안 소볼레프 노름의 장기 안정성을 증명하며, 여기서 $M$은 임의로 큰 수이다. 또한 초기 자료의 소규모 변형에 대해서도 이러한 안정성이 유지됨을 보여준다.

ABSTRACT

We consider general classes of nonlinear Schr\\"odinger equations on the circle with nontrivial cubic part and without external parameters. We construct a new type of normal forms, namely rational normal forms, on open sets surrounding the origin in high Sobolev regularity. With this new tool we prove that, given a large constant $M$ and a sufficiently small parameter $\\varepsilon$, for generic initial data of size $\\varepsilon$, the flow is conjugated to an integrable flow up to an arbitrary small remainder of order $\\varepsilon^{M+1}$. This implies that for such initial data $u(0)$ we control the Sobolev norm of the solution $u(t)$ for time of order $\\varepsilon^{-M}$. Furthermore this property is locally stable: if $v(0)$ is sufficiently close to $u(0)$ (of order $\\varepsilon^{3/2}$) then the solution $v(t)$ is also controled for time of order $\\varepsilon^{-M}$.

연구 동기 및 목표

• 완전 공진 상태인 비선형 슈뢰딩거 방정식에서 고차 소볼레프 노름의 불안정성을 다루기 위해, 기존의 비르코프 정규형이 강한 공진성으로 인해 실패하는 이유를 해결한다.
• 외부 매개변수 없이도 완전 공진 상태를 다룰 수 있는 새로운 종류의 정규형—분수 정규형—을 구성한다.
• 높은 정규성 공간에서 일반적인 소규모 초기 자료에 대해 소볼레프 노름의 장기 안정성을 확립한다.
• 안정성 성질이 국소적으로 강건함을 증명한다: 가까운 초기 자료는 유사한 장기 제어를 유도한다.
• 비정규적, 완전 공진 상태의 해밀토니안 PDE(예: 원 위의 세제곱 NLS)에 정규형 기법의 적용 범위를 확장한다.

제안 방법

• 행동-각도 변수의 분수 함수를 사용하여 새로운 종류의 분수 해밀토니안을 개발하며, 비공진 항을 흡수하면서도 통합성을 유지하도록 설계한다.
• 연속적인 캐논ical 변환의 시퀀스를 통해 고차항(오차항 이상)을 반복적으로 제거함으로써 분수 정규형을 구성한다.
• 분수 정규형의 구조에 맞게 조정된 소수 분모 기반의 비공진 조건을 사용한다.
• 확률적 추정을 적용하여, 원점 근처의 작은 이웃에서 비공진 조건을 만족하는 초기 자료의 집합이 전체 측도를 가짐을 보여준다.
• 벡터장 제어, 동차 방정식 해법, 그리고 분수 클래스 내에서의 푸아송 괄호에 대한 닫힘성을 보장하기 위해 구조적 보조정리를 활용한다.
• 잔여항이 $\varepsilon^{M+1}$ 차수인 수정된 비르코프 정규형 프레임워크를 도입하여 장기 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 완전 공진 상태의 해밀토니안 PDE(예: 원 위의 세제곱 NLS)에 대해, 기존 비르코프 정규형이 실패하는 상황에서 정규형 기법을 개발할 수 있는가?
• RQ2 외부 매개변수가 없는 조건에서 소규모 초기 자료에 대해 소볼레프 노름의 장기 안정성을 달성할 수 있는가?
• RQ3 초기 자료의 소규모 변형에 대해 해의 흐름 안정성이 유지되는가?
• RQ4 비선형 PDE에서 강한 공진성을 효과적으로 다루기 위해 분수 함수를 어떻게 사용하여 정규형을 구성할 수 있는가?
• RQ5 이러한 장기 안정성이 성립하는 초기 자료 집합의 측도론적 크기는 얼마인가?

주요 결과

• 임의의 큰 $M$에 대해 충분히 작은 $\varepsilon$에 대해, 크기가 $\varepsilon$인 일반적인 초기 자료는 $\varepsilon^{-M}$까지의 시간 동안 소볼레프 노름이 $2\varepsilon$ 이하로 유지됨을 보여준다.
• 흐름은 잔여항이 $\varepsilon^{M+1}$ 차수인 통합 흐름과 동치이며, 이는 효과적인 장기 제어를 보장한다.
• 안정성 결과는 국소적으로 강건하다: $v(0)$가 안정된 초기 자료 $u(0)$로부터 $\mathcal{O}(\varepsilon^{3/2})$ 이내에 있다면, $v(t)$는 동일한 시간 척도 동안 제어된다.
• 분수 정규형 구성은 높은 소볼레프 정규성에서 열린 집합에서 유효하므로, 일반적인 소규모 해의 분석이 가능하다.
• 이 방법은 비어 있지 않은 세제곱 항을 포함하고 외부 매개변수가 없는 일반적인 비선형 슈뢰딩거 방정식 클래스에 적용 가능하다.
• 확률적 추정을 통해 비공진 조건을 만족하는 초기 자료의 집합이 원점 근처의 소근처에서 전체 측도를 가짐을 확인한다.