[논문 리뷰] Finite-dimensional approximation and non-squeezing for the cubic nonlinear Schrödinger equation on $\R^2$

Rowan Killip, Monica Vişan외 1명|arXiv (Cornell University)|2016. 06. 24.

Advanced Mathematical Physics Problems참고 문헌 24인용 수 11

한 줄 요약

이 논문은 무한체적에서 해밀턴 PDE에 대해 처음으로 이러한 결과를 이룩한, $\mathbb{R}^2$에서의 비선형 슈뢰딩거 방정식의 비집합성 비선형성에 대해 스칼링-크리티컬 $L^2$ 공간에서 심플렉틱 비압축성(Non-squeezing)을 확립한다. 이를 위해 저자들은 푸리에 절단을 통한 유한차원 동역학의 균일한 유한차원 근사법을 개발하여 전역적 시공간 유계성과 심플렉틱 호환성을 확보하고, 유한차원 시스템의 해가 전체 PDE에 의해 근사될 수 있음을 증명함으로써, 심플렉틱 불변성을 유한차원에서 무한차원으로 이행시켰다.

ABSTRACT

We prove symplectic non-squeezing (in the sense of Gromov) for the cubic nonlinear Schrödinger equation on $\R^2$. This is the first symplectic non-squeezing result for a Hamiltonian PDE in infinite volume. As the underlying symplectic Hilbert space is $L^2(\R^2)$, this requires working with initial data in this space. This space also happens to be scaling-critical for this equation. Thus, we also obtain the first unconditional symplectic non-squeezing result in such a critical setting. More generally, we show that solutions of this PDE can be approximated by a finite-dimensional Hamiltonian system, despite the wealth of non-compact symmetries: scaling, translation, and Galilei boosts. This approximation result holds uniformly on bounded sets of initial data. Complementing this approximation result, we show that all solutions of the finite-dimensional Hamiltonian system can be approximated by the full PDE. A key ingredient in these proofs is the development of a general methodology for obtaining uniform global space-time bounds for suitable Fourier truncations of dispersive PDE models.

연구 동기 및 목표

• 스칼링-크리티컬 $L^2$ 공간에서 $\mathbb{R}^2$에서의 세제곱 비선형 슈뢰딩거 방정식에 대해 심플렉틱 비압축성을 확립하는 것. 이 경우 기저가 되는 심플렉틱 구조는 무한차원이다.
• 유한차원 동역학의 균일한 유한차원 근사를 개발하여, 유계된 초기 자료 집합에서 전역적 시공간 유계성과 심플렉틱 구조를 유지하는 것.
• 유한차원 시스템의 해가 전체 PDE의 해에 의해 근사될 수 있음을 증명하여, 유한차원과 무한차원 시스템 간의 双방향 근사성을 확보하는 것.
• 스케일링, 이동, 가우스 부스터와 같은 비콤팩트 대칭성으로 인한 도전 과제를 극복하기 위해, 푸리에 절단된 해에 대해 균일한 시공간 유계성을 확보하는 것.

제안 방법

• 저자들은 토러스 $\mathbb{T}_n$ 위에서 PDE를 주어진 주파수 기저로 투영하여 유한차원 해밀토니안 시스템을 구성한다. 이때 주파수를 제한하기 위해 스펙트럴 프로젝터 $P_{\leq DM_n}^{L_n}$를 사용한다.
• 푸리에 절단된 해에 대해 전역적 시공간 유계성을 유도하기 위해, 루이스 페일리 이론, 푸리에 공간에서의 절대수렴 정리, 그리고 보간 추정을 기반으로 한 새로운 방법론을 도입한다.
• 심플렉틱 비압축성 결과는, Gromov의 정리에 의해 유한차원 시스템에서 비압축성이 보장되는 증거를 약한 수렴성과 근사 정리에 의해 무한차원 PDE 설정으로 이행함으로써 증명된다.
• $L^2(\mathbb{R}^2)$에서의 초기 자료 수열의 약한 수렴성을 사용하여 근사를 통해 극한을 취함으로써, 유한차원 시스템의 비압축성 증거가 PDE 극한에서도 유지됨을 보장한다.
• 핵심적인 기술적 혁신은 절단된 해에 대해 $L^4_{t,x}$ 노름의 균일한 제어에 있다. 이는 Dodson의 $L^2$-크리티컬 잘정의성 결과와 $L^2$ 및 $H^1$ 노름 사이의 보간에 의존한다.
• 유한차원 해를 PDE에 의해 근사하는 반대 방향 근사는 $p_*$라는 리프팅 사상과 컴팩트 지지 함수를 사용한 딱성 이론적 접근을 통해 달성되며, 이로써 $L^2(\mathbb{R}^2)$에서의 내적의 약한 수렴성이 보장된다.

실험 결과

연구 질문

• RQ1 무한차원 심플렉틱 구조를 지닌 $\mathbb{R}^2$에서의 세제곱 비선형 슈뢰딩거 방정식에 대해 스칼링-크리티컬 $L^2$ 공간에서 심플렉틱 비압축성이 확립될 수 있는가?
• RQ2 유한차원 해밀토니안 시스템이 심플렉틱 구조를 유지하면서, 유계된 $L^2$-초기 자료 집합에서 전체 PDE의 동역학을 균일하게 근사할 수 있는가?
• RQ3 유한차원 시스템의 해가 전체 PDE의 해에 의해 근사될 수 있으며, 이로써 심플렉틱 설정에서 이중 방향 근사성이 보장되는가?
• RQ4 비콤팩트 대칭성(스케일링, 이동, 가우스 부스터)을 지닌 분산 PDE의 푸리에 절단된 해에 대해 균일한 전역 시공간 유계성을 어떻게 확립할 수 있는가?

주요 결과

• 논문은 무한체적에서 해밀턴 PDE에 대해 처음으로 이러한 결과를 이룩한, $\mathbb{R}^2$에서의 세제곱 비선형 슈뢰딩거 방정식에 대해 $L^2$-크리티컬 설정에서 심플렉틱 비압축성을 증명한다.
• 토러스 위에서 주파수 절단을 통한 PDE 동역학의 유한차원 근사가 구성되며, 이러한 근사는 심플렉틱 구조와 유계된 초기 자료 집합에서 전역적 $L^4_{t,x}$ 유계성을 균일하게 유지한다.
• 유한차원 시스템의 해는 전체 PDE의 해에 의해 근사될 수 있으며, 모든 시간과 모든 컴팩트 지지 함수에 대해 $L^2(\mathbb{R}^2)$에서 내적의 수렴성이 보장된다.
• 저자들은 루이스 페일리 이론과 약한 수렴에 기반한 일반적인 방법을 사용하여, 푸리에 절단된 해에 대해 균일한 전역 시공간 유계성을 확립함으로써 비콤팩트 대칭성으로 인한 과제를 극복한다.
• 비압축성 증명은, Gromov의 정리에 의해 보장되는 유한차원 시스템의 비압축성 증거를 약한 수렴성과 근사 정리를 통해 PDE로 이행함으로써 이루어지며, 이로써 PDE의 흐름이 비압축성 성질을 유지함을 보장한다.
• 결과는 조건부 없이 $L^2(\mathbb{R}^2)$의 모든 초기 자료에 적용되며, Dodson의 전역 잘정의성과 이러한 자료에 대한 균일한 $L^4_{t,x}$ 유계성 결과를 활용한다.