[논문 리뷰] Logarithmic bounds on Sobolev norms for time-dependent linear Schrödinger equations

W.-M. Wang|ArXiv.org|2008. 05. 24.

Spectral Theory in Mathematical Physics참고 문헌 3인용 수 5

한 줄 요약

이 논문은 토러스 위에서 실수 해석적, 시간에 따라 변하는 포텐셜을 가진 시간에 따라 변화하는 선형 슈뢰딩거 방정식의 해에 대한 소볼레프 노름에 대해 로그 상한을 확립한다. 주기적인 근사와 플루켓 이론을 적용하여, 해석성과 유계성 조건 하에서 $ H^s $ 노름의 성장률이 최대 $ C_s [\log(|t|+2)]^{\varsigma s} $ 이하임을 증명한다. 여기서 $ \varsigma > 3 $ 이다.

ABSTRACT

We prove that in 1-D the growth of Sobolev norms for time-dependent linear Schrödinger equations is at most logarithmic in time for any (fixed) potential which is analytic (or Gevrey). Recently it was proven in [N] that almost surely the Sobolev norms are unbounded, which indicates that the log is almost surely necessary. In [W], the author showed that the Sobolev norms remain bounded for an explicit time periodic potential. This is in the exceptional set in the sense of [N]. The present paper together with [N, W] give a rather complete picture of time dependent linear Schrödinger equations on the circle.

연구 동기 및 목표

• 시간에 따라 변화하는 선형 슈뢰딩거 방정식의 해에 대한 소볼레프 노름 $ \|u(t)\|_{H^s} $ 의 성장률에 대해 날카로운 상한을 확립하기 위해.
• 일반적인 시간에 따라 변화하는 포텐셜 하에서 $ H^s $ 노름 제어를 위해 로그 성장이 필수적인지 여부라는 열린 문제를 다루기 위해.
• 이전의 매끄러운 포텐셜에 대한 다항식 성장 결과를 분석적 경우로 확장하여 최적의 로그 상한을 얻기 위해.
• 랜덤한 시간 의존성 하에서의 무한성 증명 결과와 대비시켜, 로그 성장이 거의 확실히 필수적임을 보여주기 위해.
• 주기적 포텐셜에 대한 기존 결과와 결합하여 노름 행동에 대한 완전한 그림을 제공하기 위해.

제안 방법

• 원래의 포텐셜 $ V(x,t) $ 를 $ |t| \leq T $ 에서 일치시키고, 시간에 대해 주기 $ 2\pi T $ 를 가지는 주기적 근사 $ V_1(x,t) $ 를 구성하기 위해.
• 플루켓 이론을 사용하여 시간에 따라 주기적인 방정식의 역학을 $ \ell^2(\mathbb{Z}^2) $ 에 정의된 자기수반 연산자 $ H $ 의 스펙트럼 분석으로 환원하기 위해. $ H $ 는 $ V_1 $ 의 푸리에 계수를 통해 정의된다.
• 유한한 상자 $ \Lambda = \{ (j,n) : |j| \leq J(T), |n| \leq N(T) \} $ 에 제한하여 $ H $ 의 근사 고유함수를 구성하기 위해. 여기서 $ J(T) \sim (\log T)^\sigma $, $ N(T) \sim T(\log T)^\sigma $ 이다.
• 스펙트럼 $ \{j^2\} \subset \mathbb{N} $ 의 분리 성질을 이용하여 이러한 근사 고유함수의 국소화를 확보하기 위해. 이는 [W] 에서의 공진 경우와 유사하다.
• 저주파수, 중간 주파수, 고주파수 성분으로 분해하여 해의 $ H^s $ 노름을 제어하기 위해. 각 성분은 스펙트럼 국소화와 사전 추정치를 이용하여 유계화된다.
• 시간 간격 길이 1 동안의 진화를 반복적으로 적용하며, 분해를 재귀적으로 사용하고 $ H^s $ 에서의 전파자에 대한 유계성을 이용하여 시간에 따라 로그 성장이 발생하도록 한다.

실험 결과

연구 질문

• RQ1 해석적 포텐셜을 가진 시간에 따라 변화하는 선형 슈뢰딩거 방정식의 해에 대해 소볼레프 노름 $ \|u(t)\|_{H^s} $ 의 최적 성장률은 무엇인가?
• RQ2 해석적 시간에 따라 변화하는 포텐셜 하에서 $ H^s $ 노름 성장률에 대해 로그 성장이 상한으로 증명될 수 있으며, 이 상한이 날카로운가?
• RQ3 매끄럽고, 랜덤하며, 해석적인 시간에 따라 변화하는 포텐셜 간에 $ H^s $ 노름 행동은 어떻게 다를까?
• RQ4 주기적 포텐셜에 사용된 스펙트럼 국소화 기법을 비주기적이나 해석적인 시간에 따라 변화하는 설정으로 얼마나 잘 일반화할 수 있는가?
• RQ5 비공진, 비주기적 경우에서 라플라스 연산자의 스펙트럼 $ \{j^2\} $ 의 분리가 노름 성장 제어에 어떤 역할을 하는가?

주요 결과

• 논문은 $ \mathbb{R}^2 $ 근처의 스트립에서 실수 해석적이고 유계인 포텐셜 $ V(x,t) $ 에 대해, 해의 $ H^s $ 노름이 $ \|u(t)\|_{H^s} \leq C_s [\log(|t|+2)]^{\varsigma s} $ 이하로 성장함을 증명한다. 여기서 $ \varsigma > 3 $ 이며, $ s $ 와 무관하게 성립한다.
• 이 상한은 날카로운데, 이는 [N] 의 결과에 따르면 매끄럽고 랜덤하게 시간에 따라 변화하는 포텐셜 하에서 $ H^s $ 노름이 거의 확실히 무한히 커질 수 있음을 보여주기 때문이다.
• 시간에 따라 주기적인 포텐셜의 경우 노름은 유계이므로, 로그 성장 영역은 유계성과 거의 확실한 무한성 사이에 위치한다.
• 증명은 주기적 근사에 기반한 플루켓 연산자의 근사 고유함수를 구성함에 있어 유한 차원 절단을 사용하며, 스펙트럼의 분리로 국소화가 보장된다.
• 주기적 근사, 스펙트럼 국소화, 그리고 단위 시간 간격 동안 전파자의 제어를 조합함으로써 로그 상한을 달성한다.
• 최종 상한은 $ L^2 $ 보존성과 시간 $ T $ 동안의 $ H^s $ 추정치 사이의 보간을 통해 도출되며, 모든 $ s > 0 $ 에 대해 $ \|S(0,t)\|_{H^s \to H^s} \leq C_s [\log(|t|+2)]^{\varsigma s} $ 를 얻는다.