공간성장 비선형성을 가진 집중형 비동질 슈뢰딩거 방정식의 정규화 입자파

초록

**
본 논문은 $b>0$인 공간 가중치 $|x|^{b}$가 있는 집중형 비동질 비선형 슈뢰딩거 방정식의 정규화된 지상 상태(ground state)와 그 안정성·불안정성을 완전히 규명한다. 변분법을 이용해 Nehari 다양체 위에서 최소화 문제를 설정하고, 질량‑아래·임계·초임계 구간에 따라 존재·비존재와 궤도 안정성·강한 불안정성을 구분한다. 특히 질량‑아래 임계 구간에서는 질량을 고정한 최소 에너지 문제를 풀어 정상파를 구성하고, 그 집합이 궤도적으로 안정함을 보인다.

**

상세 분석

**
논문은 먼저 $i\partial_t u+\Delta u=-|x|^{b}|u|^{p-1}u$($b>0$, $p>1$) 를 고려한다. $b>0$이면 비선형항이 무한대로 성장하므로 전통적인 Sobolev 임베딩이나 Hardy 부등식이 직접 적용되지 않는다. 이를 극복하기 위해 저자들은 방사형 함수 공간 $H^1_{\rm rad}(\mathbb R^N)$에 제한하고, 가중치 측정 $L^{p+1}(\mathbb R^N,|x|^{b}dx)$와의 컴팩트 임베딩을 이용한다.

정상파 $u(t,x)=e^{i\omega t}\phi(x)$는 정적 방정식 $-\Delta\phi+\omega\phi=|x|^{b}|\phi|^{p-1}\phi$ 를 만족한다. 저자는 액션 함수 $S_\omega$와 Nehari 제약 $I_\omega(\phi)=0$을 정의하고, $d(\omega)=\inf_{\phi\in\mathcal N_\omega}S_\omega(\phi)$ 를 최소화한다. 주요 정리 1.1은 $1+2b/N<p<p_c$ (여기서 $p_c=1+\frac{4+2b}{N}$) 구간에서 최소값이 실제 최소점 $Q_\omega$에 달하고, 이는 유일한 양의 방사형 해이며 모든 ground state는 위상 변환 $e^{i\theta}Q_\omega$ 로 표현된다는 것을 증명한다.

다음으로 저자들은 두 개의 불변 집합 $K_\omega^{\pm}$를 정의한다. $K_\omega^{+}$는 $S_\omega(\phi)<S_\omega(Q_\omega)$ 그리고 virial 함수 $P(\phi)\ge0$ 를 만족하고, $K_\omega^{-}$는 같은 에너지 조건 하에 $P(\phi)<0$ 를 만족한다. 정리 1.2는 $K_\omega^{+}$에 초기 데이터가 있으면 전역 존재, $K_\omega^{-}$에 있으면 $\Sigma=H^1\cap L^2(|x|^2dx)$ 안에서 유한 시간 폭발을 보인다. 이는 Payne–Sattinger 방식의 잠재우물 이론을 비동질 상황에 성공적으로 적용한 결과이다.

안정성·불안정성은 정의 1.1에 따라 궤도 안정성, 강한 불안정성으로 구분된다. 정리 1.3은 질량‑초임계($p_c<p<p_c$)와 질량‑임계($p=p_c$, $0<b\le N-2$) 구간에서는 모든 ground state가 강하게 불안정함을, 반면 질량‑아래 임계($1+2b/N<p<p_c$) 구간에서는 안정함을 보여준다. 강한 불안정성 증명은 $K_\omega^{-}$에 속하는 작은 $H^1$ 교란을 구성하고 정리 1.2의 폭발 메커니즘을 적용한다.

정규화된 정상파(질량을 미리 지정한) 문제는 새로운 변분 문제 $m(c)=\inf{E(\phi):|\phi|_{L^2}=c}$ 로 설정한다. 질량‑아래 임계 구간에서는 $m(c)>-\infty$ 이며 최소화 수열이 강하게 수렴해 최소점 집합 $M_c$ 가 존재한다. 정리 1.5는 $M_c$가 비어 있지 않으며, 궤도 안정성(정의 1.2)을 만족함을 증명한다. 반대로 질량‑초임계 구간에서는 스케일링을 이용해 $m(c)=-\infty$ 임을 보이며, 최소화 문제가 무의미함을 확인한다.

전체적으로 저자들은 가중치 $|x|^{b}$가 성장하는 경우에도 변분적, 동역학적 도구를 적절히 수정해 기존 동질 NLS 이론을 확장하였다. 특히 방사 대칭과 가중치 Sobolev 임베딩을 활용한 컴팩트성 확보, Nehari 다양체 위 최소화와 virial 부호 분석을 결합한 방법론은 향후 비동질 비선형 PDE 연구에 중요한 템플릿이 될 것이다.

**