비선형 슈뢰딩거 방정식 최종 상태 문제의 대규모 해법

초록

본 논문은 1·2·3 차원에서 비집중(defocusing) 비선형 슈뢰딩거 방정식(NLS)에 시간 의존 퍼텐셜과 비트랩(metric) 변동을 허용하고, 모듈러 정규성 공간을 이용해 큰 데이터(final state) 문제를 해결한다. 주어진 최종 상태에 대해 전역 해가 존재하고, 시간 ±∞에서 해가 해당 최종 상태로 수렴함을 보인다.

상세 분석

이 연구는 비선형 슈뢰딩거 방정식
( (D_t+\Delta+V)u=\pm|u|^{p-1}u )
에 대해 (n=1,2,3) 차원에서 (p) 가 (1) (p\ge5) (1‑차원), (2) (p\ge3) (2‑차원), (3) (p=3) (3‑차원)인 경우를 다룬다. 이러한 조건은 (n/2<p+1) 와 (p\ge1+4/n) 를 만족시켜 핵심적인 Strichartz 부등식과 에너지 추정이 적용 가능하도록 만든다.

핵심 기법은 모듈러 정규성 공간 (W^k_{\mathcal M_t}) 의 도입이다. 여기서 (\mathcal M_t) 은 자유 슈뢰딩거 방정식의 대칭을 생성하는 유한 차원 벡터장 집합
({,\mathrm{Id},,z_jD_{z_i}-z_iD_{z_j},,2tD_{z_j}-z_j,,D_{z_j},})
을 포함한다. 이 벡터장들을 최대 (k\ge2) 번 적용한 함수가 (L^2) 에 속하면 해당 함수는 (W^k_{\mathcal M_t}) 에 속한다. 시간에 따라 변하는 모듈은 (\mathcal M_{t,0}=e^{-i|z|^2/4t}\mathcal M_t e^{i|z|^2/4t}) 로 정의되며, 이는 pseudo‑conformal 변환 후의 정규성과 동등함을 보인다.

( \tilde u(t,z)=e^{-i|z|^2/4t}u(t,z) ) 로 정의한 뒤, (\zeta=z/(2t)) 를 새로운 공간 변수로 쓰면 모듈 (\mathcal N={,\mathrm{Id},\zeta_jD_{\zeta_i}-\zeta_iD_{\zeta_j},D_{\zeta_j},\zeta_j,}) 로 전환된다. 이때 (W^k_{\mathcal N}) 은 최종 상태 데이터가 놓이는 공간이며, 기존 연구