[논문 리뷰] Instability of the periodic nonlinear Schrodinger equation

Michael Christ, J. Colliander외 1명|ArXiv.org|2003. 11. 13.

Advanced Mathematical Physics Problems참고 문헌 5인용 수 35

한 줄 요약

이 논문은 소수의 음의 소볼레프 정규성 $ H^s $, $ s<0 $ 에서 주기적인 비선형 슈뢰딩거 방정식(NLS)에서 극도로 불안정한 성질을 보이며, 해의 사상이 부드러운 초기 자료에서 분포로의 연속성 조차도 실패함을 보여준다. 세제곱 NLS($ p=3 $)의 경우, $ C^∞ $ 위상에서 매우 가까운 초기 자료를 가진 해들이 임의로 작은 시간 내에 분포 노름에서 발산할 수 있으며, 오목 NLS($ p=5 $)의 경우 해의 사상은 $ C^∞ $에서 $ C^{-∞} $로의 균일 연속성이 성립하지 않아, 고전적 잘 정의됨의 초과된 안정성 붕괴를 드러낸다.

ABSTRACT

We study the periodic non-linear Schrodinger equations with odd integer power nonlinearities, for initial data which are assumed to be small in some negative order Sobolev space, but which may have large L^2 mass. These equations are known to be illposed in H^s for all negative s, in the sense that the solution map fails to be uniformly continuous from H^s to itself, even for short times and small norms. Here we show that these equations are even more unstable. For the cubic equation, the solution map is discontinuous from H^s to even the space of distributions. For the quintic and higher order nonlinearities, there exist pairs of solutions which are uniformly bounded in H^s, are arbitrarily close in any C^N norm at time zero, and fail to be close in the distribution topology at an arbitrarily small positive time.

연구 동기 및 목표

• 소수의 $ H^s $ 정규성, $ s<0 $ 에서의 초기 자료에 대해 주기적 비선형 슈뢰딩거 방정식(NLS)의 부정의성의 성격을 조사한다. 이때 $ L^2 $ 노름은 작지만.
• 특히 부드러운 자료에서 분포적 위상으로의 해의 사상이 연속적이거나 균일 연속적이지 않음을 분석한다.
• 특히 $ p=3 $ (세제곱) 및 $ p=5 $ (오목)의 비선형성에 대해 서로 다른 불안정성 메커니즘을 규명한다. 이는 $ H^s $ 공간에서의 표준적인 부정의성 초과.
• 초기 자료의 정규성이 낮을지라도, 비집속 NLS의 경우에도 해의 사상이 분포 공간에서 불연속적일 수 있음을 보여, 낮은 정규성에서 잘 정의됨의 강건성에 도전한다.

제안 방법

• 주파수 0과 1에서의 푸리에 모드를 사용하여, $ H^s $ 노름은 작지만 $ L^2 $ 질량은 큰 $ C^∞ $ 초기 자료를 구성한다.
• 비선형 상호작용의 주요 성분을 캡처하기 위해 $ a_0, a_1 $ 푸리에 계수에 대한 단순화된 ODE 시스템을 모델링한다. 이는 $ p=2m+1 $ 인 경우에 해당한다.
• $ a_0(t) $ 의 위상 진동을 분석하여, 비선형 결합으로 인한 급격한 진동이 저주파수 푸리에 모드에서의 발산을 유도함을 보인다.
• 짧은 시간 간격 동안 전체 NLS와 단순화된 ODE 시스템 간의 오차를 페르투르베이션 이론으로 통제한다.
• 스케일링과 매개변수 조정(예: $ N $ 이 크고, $ \sigma $ 가 작음)을 통해 근접한 해들 사이의 위상 차이를 증폭시킨다.
• 초기 자료가 $ C^∞ $ 에서 매우 가까운 경우에도, 시간 $ \delta $ 내에 $ \hat{u}(0) $ 가 $ L^2 $-노름에서 고정된 $ \Omega(\rho) $ 만큼 다를 수 있음을 보여 불안정성을 입증한다.

실험 결과

연구 질문

• RQ1 주기적 NLS의 해의 사상이 $ s<0 $ 인 $ H^s $ 에서 분포 공간으로 연속적인가? 즉, 초기 자료가 $ C^\infty $ 에서 매우 가까운 경우에도 그렇다.
• RQ2 세제곱 NLS($ p=3 $)의 경우, 해의 사상이 $ H^s $ 에서 $ (C^\infty)^* $ 로의 연속성이 성립하지 않는가?
• RQ3 오목 NLS($ p=5 $)의 경우, 해의 사상이 $ C^\infty $ 에서 $ C^{-\infty} $ 로의 균일 연속성이 성립하지 않는가?
• RQ4 비선형 위상 분리가 저주파수 모드에서 발생하여, 초기 $ H^s $-노름이 작더라도 임의로 작은 시간 내에 분포 노름에서 임의로 큰 발산을 일으킬 수 있는가?
• RQ5 비선형성의 차수 $ p $ 는 음의 소볼레프 공간에서의 부정의성의 유형과 강도를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 세제곱 NLS($ p=3 $)의 경우, 해의 사상은 $ H^s $ 에서 분포 공간 $ (C^\infty)^* $ 로의 연속성이 성립하지 않으며, 이는 $ H^s $-노름이 작더라도 성립한다.
• 오목 NLS($ p=5 $)의 경우, $ t=0 $ 에서 $ C^\infty $ 에서 매우 가까운 해들이 존재하지만, 임의로 작은 $ t>0 $ 에서는 분포 위상에서 서로 가까워지지 않으며, 이는 $ C^\infty $ 에서 $ C^{-\infty} $ 로의 균일 연속성 실패를 증명한다.
• 불안정성은 $ k=0 $ 푸리에 모드에서 비선형 결합으로 인한 급격한 위상 분리에 기인하며, 이는 고주파수 진동에 의해 증폭된다.
• $ \hat{u}(0) $ 모드의 발산은 $ \Omega(\rho) $ 정도이며, 초기 $ H^s $-거리와는 무관하게 발생하므로, 분포 수준에서의 연속성 붕괴를 보여준다.
• 이 메커니즘은 $ p \geq 5 $ 에서도 강건하며, $ a_0 $-방정식에 $ |a_1|^{2m-2}|a_0|^2 a_0 $ 형태의 항이 존재하여 위상 증폭이 가능하지만, 세제곱의 경우 이 항이 존재하지 않는다.
• 결과적으로, $ s<0 $ 인 $ H^s $ 에서의 부정의성은 단지 $ H^s $ 내에서의 연속성 실패를 넘어서, 더 깊은 해의 사상 불안정성, 특히 더 약한 위상으로의 붕괴를 보여준다.