[논문 리뷰] Error estimates of a Fourier integrator for the cubic Schr\\"odinger equation at low regularity

Alexander Ostermann, Frédéric Rousset외 1명|arXiv (Cornell University)|2019. 02. 18.

Advanced Mathematical Physics Problems참고 문헌 34인용 수 52

한 줄 요약

논문은 cubic nonlinear Schrödinger equation에 대해 필터링된 저 규칙성 푸리에 적분기를 제시하고 1-3 차원에서 H1 데이터로부터 글로벌 L2 오차 추정치를 제시하며 자연스러운 1/2 차 단을 깨뜨립니다. 저 규칙성에서의 수렴 속도 향상을 달성하기 위해 필터링된 이산화(discretization)와 이산 Strichartz 타입 추정치를 결합합니다.

ABSTRACT

We present a new filtered low-regularity Fourier integrator for the cubic nonlinear Schr\\"odinger equation based on recent time discretization and filtering techniques. For this new scheme, we perform a rigorous error analysis and establish better convergence rates at low regularity than known for classical schemes in the literature so far. In our error estimates, we combine the better local error properties of the new scheme with a stability analysis based on general discrete Strichartz-type estimates. The latter allow us to handle a much rougher class of solutions as the error analysis can be carried out directly at the level of $L^2$ compared to classical results \\black in dimension $d$, \\black which are limited to higher-order (sufficiently smooth) Sobolev spaces $H^s$ with $s>d/2$. In particular, we are able to establish a global error estimate in $L^2$ for $H^1$ solutions which is roughly of order $\ au^{ {1\\over 2} + { 5-d \\over 12} }$ in dimension $d \\leq 3$ ($\ au$ denoting the time discretization parameter). This breaks the "natural order barrier" of $\ au^{1/2}$ for $H^1$ solutions which holds for classical numerical schemes (even in combination with suitable filter functions).

연구 동기 및 목표

• 세제곱 비선형 Schrödinger 방정식의 수치 근사에서의 규칙성 손실에 동기를 부여하고 이를 해결한다.
• 해결책으로서 해(solution)의 H1 규칙성만을 필요로 하는 필터링이 적용된 푸리에 적분기를 개발한다.
• 이산 Strichartz 타입 추정치를 이용하여 낮은 규칙성 공간에서의 글로벌 L2 오차 경계를 확립한다.
• 낮은 규칙성 가정하에 차원 d=1,2,3에 걸친 시간 스텝 수렴 속도를 최적화한다.

제안 방법

• 비선형 상호 작용을 관리하기 위해 주파수 투영 연산자 Pi_K와 필터 함수 phi_1을 갖는 한 단계 푸리에 적분기를 정의한다.
• 로컬 오차 구조를 분석하여 tau^{1+gamma} |nabla|^{gamma} u(t) 형태의 우호적인 성질을 이용하고 고전적인 스킴에서 일반적으로 나타나는 전체 미분 증가를 피한다.
• 필터링된 선형 전파자 S_K(t) = e^{itΔ} Pi_K에 대한 이산 Strichartz 타입 추정치를 도입하고 미분 손실을 통제한다.
• 필터 파라미터 K = tau^{-alpha/2}의 균형을 맞추어 로컬 오차 개선과 안정성/스트리차츠 손실 간의 균형으로 전체 글로벌 오오차를 최적화한다.
• 차원 d ≤ 3에서 H1 해(solution)에 대한 글로벌 L2 오차 경계: tau^{5/6} (d=1), tau^{3/4} (d=2), tau^{2/3} (d=3) (로그 요인을 포함하여).
• 주파수 잘라낸 연속 문제 u^K를 이용하고 Strichartz 추정치를 u^K - u의 차이의 경계와 결합하여 스킴의 안정성과 수렴성을 보인다.

실험 결과

연구 질문

• RQ1 세제곱 비선형 NLS의 해가 H1에 있을 때, 저 규칙성에서도 글로벌 수렴 속도를 향상시킬 수 있는가?
• RQ2 필터링된 주파수 잘라진 진화에 대한 이산 Strichartz 타입 추정치가 낮은 규칙성 영역에서 안정성과 오차 경(bound)에 어떤 영향을 미치는가?
• RQ3 d ≤ 3에 대해 로컬 오차와 안정성 간의 균형을 맞추기 위한 필터 파라미터 K(τ 기준)의 최적 선택은 무엇인가?
• RQ4 저 차원에서 τ^{1/2}의 자연스러운 차수 한계를.method에 의해 어느 정도까지 깨뜨릴 수 있는가?
• RQ5 정확 해가 여전히 H1에 남아 있는 한, defocusing과 focusing cubic NLS 모두에 결과가 확장되는가?

주요 결과

• 제안된 필터링된 푸리에 적분기는 차원 1–3에서 H1 데이터에 대한 글로벌 L2 오차 경계 tau^{5/6}, tau^{3/4}, tau^{2/3}를 (로그 요인을 포함하여) 달성한다.
• 오차 분석은 개선된 로컬 오차 구조와 이산 Strichartz 타입 추정치를 결합하여 낮은 규칙성에서도 L2에서 직접 다루어 고차 Sobolev 요구 없이 처리한다.
• 필터링된 전파자 S_K(t)에 대한 이산 Strichartz 추정치는 미분 손실이 통제 가능한 형태로 나타나 균일한 미분 손실 경계를 전환할 수 있다.
• K = tau^{-alpha/2}를 선택하는 것은 두 오차 구성요소를 균형 있게 맞추고 L2에서 부분-절반 차수 수렴을 달성하여 H1 데이터에 대해 고전적 방법을 능가한다.
• 결과는 defocusing cubic NLS에 대해 성립하며, 정확 해가 여전히 H1에 남아 있는 한 focusing 경우로 확장된다(시간 구간 내에 전역 급증이 없다는 가정).
• 필터링된 해 u^K와 실제 해 u를 둘러싼 안정성 주장을 통해 누적 L2 오차에 대한 글로벌 경계가 수립되며 관련 노드의 시간에 대한 균일한 제어가 가능하다.