[논문 리뷰] Nonuniqueness of weak solutions of the nonlinear Schroedinger equation

Michael Christ|ArXiv.org|2005. 03. 17.

Advanced Mathematical Physics Problems참고 문헌 9인용 수 15

한 줄 요약

이 논문은 $s < 0$ 인 소볼레프 공간 $H^s$ 에서 삼차 또는 이차 비선형성을 가진 일차원 주기적 비선형 슈뢰딩거 방정식에 대한 약한 해의 비유일성을 확립한다. 분포에 대해 정의된 비선형 표현식을 보장하기 위해 수정된 비선형성 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$ 를 도입함으로써, 동일하게 0인 초기 조건을 가진 비자명한 해를 $C^0([0,T], H^s)$ 에서 구성함으로써, 음의 정규성에서 약한 해 클래스조차도 유일성이 성립하지 않음을 보여준다.

ABSTRACT

Generalized solutions of the Cauchy problem for the one-dimensional periodic nonlinear Schrödinger equation, with certain nonlinearities, are not unique. For any $s&lt;0$ there exist nonzero generalized solutions varying continuously in the Sobolev space $H^s$, with identically vanishing initial data.

연구 동기 및 목표

• 표준적인 잘 정의된 이론이 붕괴되는 $s < 0$ 인 소볼레프 공간 $H^s$ 에서 주기적 비선형 슈뢰딩거 방정식에 대한 약한 해의 조건 없는 유일성을 조사한다.
• $s < 0$ 인 $H^s$ 의 분포에서 점별 곱이 정의되지 않는 비선형 항 $|u|^2u$ 와 같은 표현의 해석에 대한 모호함을 해결한다.
• 비선형 항에 대한 표준 해석을 제공함으로써 잘 정의된 수정된 방정식과 초기 조건이 0인 약한 해를 허용하는 방법을 설정한다.
• 이러한 표준 해석 조차도 해가 유일하지 않음을 보여주어, $s < 0$ 에서 약한 해 클래스에서 비유일성을 입증한다.
• 유사한 음의 정규성 영역에서 $u^2$ 또는 $|u|^2 - \mu(|u|^2)$ 와 같은 이차 비선형성을 가진 방정식으로 비유일성 결과를 확장한다.

제안 방법

• 분포에 대해 $s < 0$ 인 $H^s$ 에서 비선형 표현식을 안정화하기 위해 수정된 비선형성 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$ 를 도입한다. 여기서 $\mu(f) = (2\pi)^{-1}\int_{\mathbb{T}} f(x)\,dx$ 이다.
• 약한 해를 극한 과정을 통해 정의한다: 푸리에 절단 연산자 $($\mathcal{P}$}_N)$ 의 수열에 대해, $\mathbf{N}(u)$ 가 $\mathcal{D}'((0,1)\times\mathbb{T})$ 에서 수렴할 경우 존재한다고 간주한다.
• 수정된 방정식에 기반한 비선형 반복 기반의 반복적 방법을 사용하여, 초기 조건이 0인 $C^0([0,1], \ell^2_s)$ 에서의 근사 해 수열 $x^{(n)}$ 을 구성한다.
• 적절히 선택된 푸리에 모드 $S^\dagger$ 를 이용한 주파수 국소화 방법을 통해 공진 상호작용을 생성함으로써, 초기 조건이 0이지만 비자명한 해를 생성한다.
• 비선형 항 $\mathbf{N}(x^{(n)})$ 이 $C^{-1}([0,1], \ell^2_s)$ 에서 수렴하고, 해 수열 $x^{(n)}$ 이 $C^0([0,1], \ell^2_s)$ 에서 수렴함을 보장하여, 적분 방정식 $x(t) = \int_0^t \mathbf{N}(x(s))\,ds$ 를 만족하는 극한 해 $x$ 를 도출한다.
• 해를 물리 공간으로 다시 매핑하기 위해 $\widehat{u}(t,n) = e^{-in^2 t} x_n(t)$ 를 사용함으로써, 초기 조건이 항상 0인 약한 해 $u \in C^0([0,T], H^s)$ 를 얻는다.

실험 결과

연구 질문

• RQ1 소볼레프 공간 $H^s$ 에서 $s < 0$ 인 경우, 비선형 슈뢰딩거 방정식에 대해 초기 조건이 0이지만 비자명한 약한 해가 존재할 수 있는가?
• RQ2 분포에 대해 $H^s$, $s < 0$ 에서 비선형성 $|u|^2u$ 는 잘 정의되어 있으며, 만약 그렇다면 이를 일관된 약한 해 이론을 허용하는 표준적인 해석으로 정의할 수 있는가?
• RQ3 수정된 비선형성 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$ 를 도입함으로써 음의 소볼레프 공간에서 존재성과 유일성에 충분한 정규성을 회복할 수 있는가?
• RQ4 수정된 방정식에 대해, 비록 수정된 비선형성이 도입되었더라도, $C^0([0,T], H^s)$ 에서 $s < 0$ 인 경우 약한 해의 비유일성을 입증할 수 있는가?
• RQ5 유사한 음의 정규성 영역에서 $u^2$, $\bar{u}^2$, 또는 $|u|^2 - \mu(|u|^2)$ 와 같은 이차 비선형성을 가진 방정식으로 비유일성 결과를 확장할 수 있는가?

주요 결과

• $s < 0$ 인 임의의 $s$ 에 대해, 초기 조건이 항상 0인 수정된 비선형 슈뢰딩거 방정식에 대해 비자명한 약한 해 $u \in C^0([0,T], H^s)$ 가 존재한다.
• 수정된 비선형성 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$ 는 푸리에 절단의 극한 과정을 통해 $H^s$, $s < 0$ 의 분포에 대해 비선형 항이 잘 정의되고 표준화된다는 것을 보장한다.
• 반복 기반의 방법으로 구성된 해는 $C^0([0,1], \ell^2_s)$ 에서 수렴하고, 비선형 항은 $C^{-1}([0,1], \ell^2_s)$ 에서 수렴하며, 이는 적분 방정식 $x(t) = \int_0^t \mathbf{N}(x(s))\,ds$ 를 만족하는 해를 도출한다.
• 비록 수정된 방정식이 약한 의미에서 초기 조건에 대해 균일 연속적인 의존성을 가진 잘 정의된 존재 이론을 갖지만, 비유일성은 여전히 발생함을 보여주며, 이는 조건이 유리한 상황에서도 유일성이 성립하지 않음을 시사한다.
• 이 결과는 $u^2$, $\bar{u}^2$, $|u|^2 - \mu(|u|^2)$ 와 같은 이차 비선형성을 가진 방정식으로도 확장되며, 모든 $s < 0$ 에서 유사한 비유일성이 입증된다.
• 이 구성은 $S^\dagger$ 에서 고주파 모드 간의 공진 주파수 상호작용에 의존하며, 이는 초기 조건이 0임에도 불구하고 비자명한 해를 생성하면서도 필요한 위상공간에서의 수렴성을 유지하도록 정밀하게 조정되어 있다.