[논문 리뷰] Periodic problem for the nonlinear Schroedinger equation

Vladimir Kotlyarov, Alexander Its|arXiv (Cornell University)|2014. 01. 17.

Differential Equations and Numerical Methods참고 문헌 1인용 수 5

한 줄 요약

이 논문은 비자기적 디랙 연산자에 적응된 역산성 이론을 사용하여 비선형 슈뢰딩거 방정식의 주기적 초기값 문제를 구축적으로 해결하는 방법을 제시한다. 초타원 리만 곡면 위에서 리만-티타 함수를 이용한 명시적 준주기적 해를 유도하며, 유한 갭 초기 자료에 대한 완전한 해 프레임워크를 수립하여 위치와 시간에 따른 포텐셜과 그 진화에 대한 정확한 공식을 제공한다.

ABSTRACT

The paper offers the method of discovering of some class of solutions for the nonlinear Schroedinger equation. An algorithm of constructive solving of the Cauchy periodic problem with a finite-gap initial condition was also obtained.

연구 동기 및 목표

• 유한 갭 초기 자료를 가진 비선형 슈뢰딩거 방정식의 주기적 초기값 문제를 구축적으로 해결하는 방법을 개발하기 위해.
• 초점 비선형 슈뢰딩거 방정식과 관련된 비자기적 디랙 연산자에 대해 역산성 이론을 확장하기 위해.
• 리만-티타 함수와 아벨 적분을 통해 포텐셜 $ u(x,t) $ 의 명시적, 폐쇄형 해를 도출하기 위해.
• 단조행렬 역학과 스펙트럼 자료를 통해 해의 시간 및 공간 진화를 수립하기 위해.
• 다항식 제약 조건과 리만 곡면 위의 복소수 매개변수를 통해 준주기적 해를 완전히 매개변수화하기 위해.

제안 방법

• 비자기적 디랙 연산자 $ L = J\frac{d}{dx} + Q $ 를 사용하여 비선형 슈뢰딩거 방정식 $ iu_t + u_{xx} + 2|u|^2u = 0 $ 를 영곡률 조건으로 재구성하며, $ J = \begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix} $ 및 $ Q = \begin{pmatrix} 0 & iv \\ i\bar{v} & 0 \end{pmatrix} $ 를 정의한다.
• NLS 방정식을 만족하는 $ u $ 에 대해 $ L - zI $ 와 가환하는 보조 연산자 $ M_k $ ($ k=1,2 $) 를 도입하여 단조행렬의 진화 방정식 유도를 가능하게 한다.
• 시간과 위상 이동 도함수를 포함하는 미분방정식 (2.4) 를 통해 단조행렬 진화를 유도하며, 해의 역학을 스펙트럼 자료와 연결한다.
• 단조행렬의 성분인 $ g, f, \psi, \varphi $ 를 도입하고, $ v = v(x_0,t) $ 를 고려하여 그들의 $ t $ 와 $ x_0 $ 에 대한 연관된 상미분방정식 (2.5)–(2.6) 를 유도한다.
• 유한 갭의 성질을 가진 초타원 리만 곡면 $ \sigma $ 위에서 단일값이고 해석적인 해 $ \psi(x,z) $ 를 구성하며, 각각 $ \mu_k(x,t) $ 와 $ \mu_k(0,t) $ 에서 제로와 극을 갖도록 설정한다.
• 해 $ u(x,t) $ 를 티타 함수로 표현: $ |u(x,t)|^2 = \frac{\partial^2}{\partial x^2} \ln \theta(g(x,t) + r) + 2R_1 $, 여기서 $ g(x,t) $ 는 아벨 적분을 통해 정의되고 $ r $ 은 상수 벡터이다.

실험 결과

연구 질문

• RQ1 초점 비선형 슈뢰딩거 방정식의 주기적 초기값 문제는 어떻게 구축적으로 유한 갭 초기 자료에 대해 해결할 수 있는가?
• RQ2 비자기적 디랙 연산자가 NLS 방정식의 역산성 프레임워크에서 수행하는 역할은 무엇인가?
• RQ3 단조행렬과 그 진화는 해의 시간 및 공간 역학을 어떻게 지배하는가?
• RQ4 리만-티타 함수와 아벨 적분을 사용하여 어떤 명시적 매개변수화를 통해 준주기적 해를 도출할 수 있는가?
• RQ5 스펙트럼 자료(고유값, 분지점)와 초기 포텐셜 및 그 진화를 연결하는 제약 조건은 무엇인가?

주요 결과

• 해 $ u(x,t) $ 는 $ u(x,t) = u(0,0) \frac{J_1(x,t)}{J_1(0,0)} \exp(-iEx + iN_0 t) $ 로 명시적으로 주어지며, 여기서 $ J_1 $, $ E $, $ N_0 $ 는 스펙트럼 자료로부터 유도된다.
• 해의 크기 제곱은 $ |u(x,t)|^2 = \frac{\partial^2}{\partial x^2} \ln \theta(g(x,t) + r) + 2R_1 $ 이며, $ R_1 $ 은 분지점 $ E_j $ 에 따라 결정되는 상수이다.
• 해의 시간 진화는 $ x $ 와 무관한 상수 $ N_0 = 4K_2 - 2\sum_{j=1}^{2n+2} E_j^2 - 4R_1 $ 에 의해 지배되며, 이는 준주기성을 보장한다.
• 해 $ u(x,t) $ 는 다항식 관계 $ \sum_{j=1}^{n+1} (z - E_j)(z - \bar{E}_j) - |u(0,0)|^2 \prod_{j=1}^n (z - \mu_j(0,0))(z - \bar{\mu}_j(0,0)) = f^2(z) $ 를 통해 완전히 결정되며, 여기서 $ f(z) $ 는 차수 $ n+1 $ 의 실계수 다항식이다.
• 스펙트럼 문제 $ L\psi = z\psi $ 의 해 $ \psi(x,z) $ 는 리만 곡면 $ \sigma $ 상에서 단일값이고 해석적이며, 각각 $ \mu_k(x,t) $ 와 $ \mu_k(0,t) $ 에서 제로와 극을 갖는다.
• 함수 $ \varphi(x,z) = [u(x,t)]^{-1/2} [u(0,0)]^{1/2} \psi_1(x,z) $ 는 $ \theta(U(z) - g(x,t)) $ 를 포함하는 티타 함수 표현을 가지며, 이는 해를 대수적 기하학적 자료와 연결한다.