[논문 리뷰] On asymptotic stability of standing waves of discrete Schrödinger equation in $\Bbb Z$

Scipio Cuccagna, Mirko Tarulli|ArXiv.org|2008. 08. 14.

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

한 줄 요약

이 논문은 정수 격자 $\mathbb{Z}$ 위에서 삼차 비선형성 $|u|^6u$를 갖는 이산 비선형 슈뢰딩거 방정식의 정상파동 해에 대한 점점이 안정성을 수립한다. 이는 임의의 잠재력 $q$와 이산 슈뢰딩거 연산자 $H$의 스펙트럼 성질에 대한 가정 하에 성립한다. 분산 추정과 케이토 유형의 스무딩을 이용하여, 작고 $\ell^2$ 노름에서의 변화를 겪은 정상파동 해는 $t\to\infty$일 때 $\ell^2$ 노름에서 0으로 분산되는 새로운 정상파동 해와 방사성 성분으로 분리됨을 증명한다. 이는 일반적인 스펙트럼 조건과 $q$의 감쇠 조건 하에서 성립하며, 연속 공간에서의 안정성 이론을 이산 설정으로 확장한다. 이 경우 분산 속도는 더 느린 $t^{-1/3}$ 속도를 보인다.

ABSTRACT

We prove an analogue of a classical asymptotic stability result of standing waves of the Schrödinger equation originating in work by Soffer and Weinstein. Specifically, our result is a transposition on the lattice Z of a result by Mizumachi and it involves a discrete Schrödinger operator H. The decay rates on the potential are less stringent than in Mizumachi, since we require for the potential $q\in \ell ^{1,1}$. We also prove $|e^{itH}(n,m)|\le C < t > ^{-1/3}$ for a fixed $C$ requiring, in analogy to Goldberg and Schlag only $q\in \ell ^{1,1}$ if $H$ has no resonances and $q\in \ell ^{1,2}$ if it has resonances. In this way we ease the hypotheses on H contained in Pelinovsky and Stefanov, which have a similar dispersion estimate.

연구 동기 및 목표

• 이산 비선형 슈뢰딩거 방정식의 정수 격자 $\mathbb{Z}$ 위에서 $|u|^6u$ 비선형성과 함께 정상파동 해의 점점이 안정성을 수립한다.
• 연속 공간에서의 결과를 이산 격자 설정으로 확장하여, 이산 라플라스 연산자의 $[0,4]$ 스펙트럼과 더 느린 $t^{-1/3}$ 분산 속도를 고려한다.
• 일반적인 스펙트럼 조건과 감쇠 조건 하에서, 편미분된 해가 $t\to\infty$일 때 $\ell^2$에서 새로운 정상파동 해와 분산 방사성 성분으로 약한 수렴함을 증명한다.
• 엔드포인트 스트리카르츠 추정이 존재하지 않는 1차원에서의 문제를 고려하여, 스트리카르츠 유형 추정과 케이토 스무딩을 이용한 이산 시스템의 안정성 분석 프레임워크를 개발한다.
• 이 설정에서 페르미 골든 룰 조건이 필요하지 않음을 보이며, 스펙트럼과 감쇠의 특정 구조로 인해 안정성이 유지됨을 밝힌다.

제안 방법

• 정상파동 해 $\phi_\omega$를 $\omega$에 대해 분석적 가닥으로 구성하기 위해, $-E_0$ 근처에서 가중 $\ell^{2,\sigma}$ 공간에서의 은폐 함수 정리에 기반한 분기 이론을 사용한다.
• 자유 진동 $e^{it\Delta}$에 대한 케이토 유형 스무딩 추정과 분산 경계를 사용하며, 이는 $\mathbb{Z}$에서 $\langle t\rangle^{-1/3}$ 감쇠를 보인다.
• 핵심 단계로, 와이어 함수와 관련된 스펙트럼 자료가 $\ell^{1,1}$에 속함을 증명하여 스펙트럼 프로젝션과 리소스벤트 추정에 필요한 정규성을 확보한다.
• 저자들은 저energetic 영역에서의 분산에 대해 [PS]의 결과를 재증명하고 수정하며, 조스트 함수 기법과 비르만-솔로마주크 공간 추정을 사용한다.
• 비선형 추정은 $a^6 = \omega - E_0$에 대한 편미분 전개를 통해 유도되며, 문제를 가중 공간에서의 고정점 방정식으로 환원한다.
• 비선형성의 리프시츠 연속성과 $\ell^2$-노름의 보존을 통해 전역 적으로 잘 정의된 해를 확보하여, 모든 시간에 대해 해가 존재함을 보장한다.

실험 결과

연구 질문

• RQ1 정수 격자 $\mathbb{Z}$ 위에서 이산 NLS 방정식의 정상파동 해가 작은 $\ell^2$-변화를 겪었을 때 어떤 조건에서 안정성을 유지하는가?
• RQ2 이산 공간에서의 더 느린 $t^{-1/3}$ 분산 속도는 연속 공간과 비교해 이산 솔리톤의 점점이 안정성에 어떤 영향을 미치는가?
• RQ3 스펙트럼이 유한할 경우, 특히 페르미 골든 룰 조건을 가정하지 않고도 점점이 안정성을 증명할 수 있는가?
• RQ4 $\ell^{1,1}$ 감쇠 조건을 갖는 잠재력 $q$는 정상파동 해 가닥 $\phi_\omega$의 존재성과 정규성에 어떤 역할을 하는가?
• RQ5 연속 공간에서의 점점이 안정성 이론을 어떤 정도까지 이산 격자에서 유한 스펙트럼을 갖는 설정으로 일반화할 수 있는가?

주요 결과

• 모든 $\omega_0 \in (E_0, E_0 + \eta)$에 대해, 정상파동 해 $\phi_{\omega_0}$의 작은 $\ell^2$-변화는 새로운 정상파동 해 $\phi_{\omega_+}$와 $\omega_+ \in (E_0, E_0 + \eta_0)$, 그리고 분산 방사성 성분으로 분리된다.
• 해는 $\lim_{t\to\infty}\|u(t) - e^{i\Theta(t)}\phi_{\omega_+} - e^{it\Delta}u_+\|_{\ell^2} = 0$ 를 만족하여, $\ell^2$ 수준에서 점점이 안정성을 증명한다.
• 정상파동 해 가닥 $\phi_\omega$는 실수값을 가지며 지수적으로 국소화되어 있다: 어떤 $a>0$, $C>0$에 대해 $|\phi_\omega(n)| \leq C e^{-a|n|}$이 성립하며, $\omega$에 대해 균일하다.
• $\omega \to E_0^+$일 때, 전개식 $\phi_\omega = (\omega - E_0)^{1/6}\|\varphi_0\|_{\ell^8}^{-4/3}(\varphi_0 + O(\omega - E_0))$ 가 성립하여 임계 스케일링을 보여준다.
• 비선형성 $|u|^6u$는 필요한 $C^2$-정규성과 0에서의 도함수 값이 0이 되므로, $C^2$-기반 비선형 추정을 사용할 수 있다.
• 이 증명은 정상파동 해 가닥의 $C^\omega$ 정규성 필요 없이 $C^2$-연속성에 의존하며, 엔드포인트 스트리카르츠 추정이 아닌 고전적인 케이토 스무딩 추정을 사용한다.