[논문 리뷰] Symplectic non-squeezing for the cubic NLS on the line

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

Advanced Mathematical Physics Problems참고 문헌 13인용 수 5

한 줄 요약

이 논문은 유한차원 근사와 그로모프의 비압축 정리의 조합을 통해 실선 위의 세제곱 비선형 슈뢰딩거 방정식에 대해 심플렉틱 비압축성을 확립한다. 주파수 절단과 큰 토러스 근사를 통해, 초기에 큰 구 안에 있었음에도 불구하고 위상공간에서 좁은 실린더 외부에 머무르는 해를 구성함으로써, 무한차원 흐름이 심플렉틱 용량을 유지함을 증명한다.

ABSTRACT

We prove symplectic non-squeezing for the cubic nonlinear Schrödinger equation on the line via finite-dimensional approximation.

연구 동기 및 목표

• 무한선 위의 세제곱 비선형 슈뢰딩거 방정식에 대해 질량-부하중성 영역에서 심플렉틱 비압축성을 확립하기 위해.
• 이전 연구에서 나타나는 척도临계성의 복잡성들을 피하여, 유한체적에서 비압축성의 투명한 프레임워크를 제공하기 위해.
• NLS 방정식의 흐름이 큰 구를 캐논리컬 쌍좌표로 정의된 좁은 실린더로 매핑하지 않는 것을 보여주기 위해.
• 유한차원 비압축 정리인 그로모프의 정리를 유한차원 근사 기법을 통해 무한차원 설정으로 확장하기 위해.

제안 방법

• 큰 토러스 위의 주파수 절단 NLS를 통해 실선 위의 무한차원 NLS를 근사하고, 유한차원 심플렉틱 구조를 활용하기 위해.
• 토러스 위의 유한차원 절단 시스템에 그로모프의 비압축 정리를 적용하여 좁은 실린더 외부에 위치하는 증거 해를 찾기 위해.
• 주파수 절단 $ N_n \to \infty $ 과 토러스 둘레 $ L_n \to \infty $ 의 수열을 사용하여 근사 해의 수열을 구성하기 위해.
• 깊은 단조성 공식에 의존하지 않는 간단한 추정을 통해 주파수 절단 해에 대한 균일한 공간-시간 유계성을 확립하기 위해.
• 스케일링 임계 $ L^p $ 노름에서의 컴actness를 통한 $ L^2 $ 에서의 약한 수렴을 증명하여 극한을 취할 수 있도록 하기 위해.
• 근사 해의 약한 극한을 취하여 전체 직선 위의 극한 해를 구성하고, 극한에서 비압축성의 성립을 검증하기 위해.

실험 결과

연구 질문

• RQ1 무한선 위의 세제곱 NLS에 대해, 컴팩턴스와 척도임계성의 부재에도 불구하고 심플렉틱 비압축성이 확립될 수 있는가?
• RQ2 NLS의 무한차원 흐름은 그로모프 정리의 의미에서 심플렉틱 용량을 유지하는가?
• RQ3 유한차원 근사 기법을 통해 그로모프의 유한차원 비압축 정리를 무한차원 PDE로 확장할 수 있는가?
• RQ4 주파수 절단과 큰 체적 극한에서 비압축성 성질은 유한공간에서 안정적인가?
• RQ5 질량임계 설정의 기술적 난이도를 피하기 위해, 부하중성 영역에서 작업함으로써 증명을 단순화시킬 수 있는가?

주요 결과

• 세제곱 NLS의 흐름은 $ \mathbb{R} $ 위에서 반지름 $ R $ 의 어떤 구도 반지름 $ r < R $ 인 실린더로 매핑하지 않으며, 이 실린더는 캐논리컬 쌍좌표로 정의된다.
• 반지름 $ R $ 의 구 안에 있는 임의의 초기 자료에 대해, 시간 $ T $ 에서 반지름 $ r < R $ 인 실린더 외부에 위치하는 해가 존재한다. 이는 구나 실린더의 중심에 관계없이 성립한다.
• 비압축 결과는 초점형과 산란형 세제곱 NLS 모두에 대해 성립하며, 두 경우를 동등하게 다룬다.
• 증명은 주파수 절단과 큰 토러스 극한을 통한 유한차원 근사를 바탕으로 하며, 약한 $ L^2 $ 극한을 통한 수렴이 확립된다.
• 주파수 절단 해에 대한 균일한 공간-시간 유계성은 깊은 단조성 공식에 의존하지 않는 간단한 추정을 통해 확립된다.
• 극한 해는 비압축 성질을 만족하며, 근사에서 오차의 섭동 제어 덕분에 핵심 부등식 $ |\langle l, u_{\infty}(T)\rangle - \alpha| > r $ 가 엄격하게 성립한다.