[논문 리뷰] Plane wave stability of the split-step Fourier method for the nonlinear Schr\\"odinger equation

Erwan Faou, Ludwig J. Gauckler외 1명|arXiv (Cornell University)|2013. 06. 04.

Nonlinear Photonic Systems참고 문헌 29인용 수 27

한 줄 요약

이 논문은 비선형 슈뢰딩거 방정식에 대한 스플릿-스텝 푸리에 방법의 장기 궤도 안정성을 CFL 조건 하에서 확립한다. 수치적 해가 평면파 해의 궤도 안정성을 장기간에 걸쳐 유지함을 증명한다. 분석은 해밀토니안 축소, 조절된 푸리에 전개, 비공진 조건을 결합하여, 시스템 주파수에서 완전한 공진이 존재함에도 불구하고 안정성을 입증한다.

ABSTRACT

Plane wave solutions to the cubic nonlinear Schr\\"odinger equation on a torus have recently been shown to behave orbitally stable. Under generic perturbations of the initial data that are small in a high-order Sobolev norm, plane waves are stable over long times that extend to arbitrary negative powers of the smallness parameter. The present paper studies the question as to whether numerical discretizations by the split-step Fourier method inherit such a generic long-time stability property. This can indeed be shown under a condition of linear stability and a non-resonance condition. They can both be verified if the time step-size is restricted by a CFL condition in the case of a constant plane wave. The proof first uses a Hamiltonian reduction and transformation and then modulated Fourier expansions in time. It provides detailed insight into the structure of the numerical solution.

연구 동기 및 목표

• 스플릿-스텝 푸리에 방법이 비선형 슈뢰딩거 방정식에서 평면파 해의 장기 궤도 안정성을 유지하는지 규명하는 것.
• 이전의 선형 안정성 분석을 장기적 행동으로 확장하여, 특히 완전한 공진이 존재하는 경우를 다루는 것.
• 수치적 해가 편미분 크기의 임의의 음의 거듭제곱에 비례하는 시간 동안 평면파의 궤도와 가까이 유지되는 조건을 설정하는 것.
• 일정 평면파에 대해 시간 스텝 크기에 대한 CFL 조건 하에서 안정성 성질이 유지됨을 검증하는 것.

제안 방법

• 주요 푸리에 모드를 제거하기 위해 해밀토니안 축소 및 변환을 적용하여, 초기 데이터가 작은 시스템으로 축소하는 것.
• 시간에 대한 조절된 푸리에 전개를 사용하여 변환된 시스템의 장기적 행동을 분석하는 것.
• 변환 후 나타나는 수정된 주파수에 대한 비공진 조건을 검증하여 장기적 안정성에 핵심적인 역할을 하는 것.
• 시간 스텝 크기에 대한 CFL 조건을 적용하여 선형 안정성을 확보하고, 일정 평면파에 대해 비공진 조건을 만족시키는 것.
• 비공진 조건이 성립하는 매개변수 집합의 르베그 측도를 분석하여, 작은 편미분에 대해 매우 큰 측도를 가짐을 보이는 것.
• 주파수 차이와 편미분 항에 대한 추정을 사용하여 장시간에 걸친 수치 오차의 성장을 통제하는 것.

실험 결과

연구 질문

• RQ1 스플릿-스텝 푸리에 방법은 비선형 슈뢰딩거 방정식에서 평면파 해의 장기 궤도 안정성을 유지하는가?
• RQ2 편미분 크기가 고차원 소볼레프 노름에서 작을 경우 일반적인 편미분이 존재하는 상황에서도 수치적 방법이 안정성을 유지할 수 있는가?
• RQ3 시간 스텝 크기와 초기 데이터에 대해 어떤 조건에서 완전한 공진이 존재함에도 불구하고 방법이 장기 안정성을 보이는가?
• RQ4 변환된 시스템에서 수정된 주파수는 안정성에 요구되는 비공진 조건을 어떻게 충족하는가?
• RQ5 수치적 해가 장시간에 걸쳐 안정성을 유지하는 매개변수 집합 (h, ρ)의 측도는 얼마인가?

주요 결과

• 일정 평면파에 대해 시간 스텝 크기에 대한 CFL 조건 하에서 스플릿-스텝 푸리에 방법은 평면파 해의 장기 궤도 안정성을 유도한다.
• 수정된 주파수에 대한 비공진 조건은 르베그 측도가 큰 매개변수 집합에서 성립하여 대부분의 h와 ρ 선택에 대해 안정성을 보장한다.
• 증명은 수치적 해가 편미분 크기의 임의의 음의 거듭제곱에 비례하는 시간 동안 평면파의 궤도와 가까이 유지됨을 입증한다.
• 일정 평면파 (ℓ=0)의 경우, 주요 안정성 결과의 가정은 CFL 조건 하에서 성립하며, 비공진 조건은 주파수 추정과 조절된 푸리에 분석을 통해 검증된다.
• 초기 편미분이 고차원 소볼레프 노름에 속할 경우 방법의 안정성은 강건하며, 이는 이전 결과가 작음을 요구했던 것보다 더 넓은 초기 데이터의 클래스를 다루는 것이다.
• 안정한 매개변수 집합의 측도는 |P(γ)| ≥ ρ₀h₀ - Ch₀γ¹/(²√α(N+2))를 만족하여, 안정성이 대부분의 매개변수 선택에 대해 성립함을 보여준다.