Existence and nonexistence of normalized solutions for nonlinear Schrödinger equation involving combined nonlinearities in bounded domain

1. 연구 문제 (Problem Statement)

이 논문은 유계 매끄러운 영역 $\Omega \subset \mathbb{R}^N$ 에서 정의된 다음 비선형 슈뢰딩거 방정식의 정규화 해 (Normalized solutions) 의 존재성과 비존재성을 연구합니다.

$$\begin{cases} -\Delta u + \omega u = \mu |u|^{p-2}u + |u|^{q-2}u, & u > 0 \quad \text{in } \Omega, \\ u = 0, & \text{on } \partial\Omega, \\ \|u\|_{L^2(\Omega)}^2 = \rho, \end{cases}$$

여기서 주요 변수와 조건은 다음과 같습니다:

• 정규화 조건: 해 $u$ 의 $L^2$-노름 (질량) 이 고정된 값 $\rho > 0$ 으로 주어집니다.
• 라그랑주 승수: $\omega \in \mathbb{R}$ 는 질량 제약 조건에 의해 결정되는 라그랑주 승수 (고정되지 않음) 입니다.
• 비선형성: 두 개의 거듭제곱 항이 결합된 형태 ($\mu |u|^{p-2}u + |u|^{q-2}u$) 를 가지며, $\mu \in \mathbb{R}$, $1 < p \le q$ 입니다.
• 영역: $\Omega$ 는 유계 매끄러운 영역이며, 구체, 별모양 (star-shaped), 볼록 (convex) 영역 등 다양한 기하학적 구조를 고려합니다.

이 문제는 고정된 주파수 $\omega$ 를 갖는 문제와 달리, 주어진 질량 $\rho$ 에 대해 에너지 범함수의 임계점을 찾는 변분법적 문제입니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 주요 수학적 기법들을 종합적으로 활용하여 문제를 해결했습니다.

• 변분법 (Variational Methods):

  • 에너지 범함수 $I(u) = \frac{1}{2}\int_\Omega |\nabla u|^2 dx - \frac{\mu}{p}\int_\Omega |u|^p dx - \frac{1}{q}\int_\Omega |u|^q dx$ 를 $L^2$-구속 집합 $S_\rho$ 위에서 고려합니다.
  • 국소 최소점 (Local Minimizer): 에너지 범함수의 하한을 구하고, 이를 달성하는 해의 존재성을 증명합니다.
  • 산길 구조 (Mountain Pass Geometry): 국소 최소점 외에 두 번째 해 (산길 유형 해) 의 존재성을 보이기 위해 산길 정리를 적용합니다.

• 스트루웨의 단조성 트릭 (Struwe's Monotonicity Trick):

  • 유계 영역에서는 스케일링 변환 (Jeanjean 의 방법) 이 에너지 공간 밖으로 이탈할 수 있어 (PS) 수열의 유계성을 증명하기 어렵습니다.
  • 이를 해결하기 위해 매개변수 $\eta$ 를 도입한 확장된 범함수 $I_\eta(u)$ 를 구성하고, $\eta$ 에 대한 단조성을 이용하여 유계된 (PS) 수열을 생성합니다.

• 포호자예프 항등식 (Pohozaev Identity):

  • 별모양 영역 (star-shaped domain) 에서 (PS) 수열의 유계성을 증명하고, 해의 존재성을 확보하는 데 핵심적인 역할을 합니다.
  • 비존재성 증명에서도 해의 존재를 가정할 때 모순을 이끌어내는 데 사용됩니다.

• 이동 평면법 (Moving-Plane Method):

  • 볼록 영역 (convex domain) 에서 해의 단조성을 분석하여, 질량 $\rho$ 가 충분히 클 때 해가 존재하지 않음을 증명합니다.

• 연속성 및 분기 이론 (Continuity and Bifurcation Arguments):

  • 브레지스 - 니렌베르크 (Brezis-Nirenberg) 문제 ($\mu=0, q=2^*$) 의 경우, 구 (ball) 영역에서 해의 $L^2$-노름이 매개변수 $\lambda$ (또는 $\omega$) 에 따라 어떻게 변하는지 분석하여 해의 존재/비존재 분기 (dichotomy) 를 규명합니다.

3. 주요 결과 (Key Results)

논문은 매개변수 ($\mu, p, q, N$) 와 영역의 기하학적 구조에 따라 다음과 같은 세 가지 주요 결과를 도출했습니다.

가. 국소 최소점 해의 존재성 (Theorem 1.1)

• 조건: $2 < p \le q \le 2^*$ (소보레프 임계 지수 이하), $\mu \in \mathbb{R}$.
• 결과: 질량 $\rho$ 가 충분히 작을 때, 에너지 범함수의 국소 최소점 (local minimizer) 이 존재합니다.
• 의의: 기존 연구들 (예: [28]) 이 별모양 영역을 요구했던 것과 달리, 이 결과는 별모양 조건 없이도 유계 영역에서 국소 최소점 해의 존재를 보장합니다. 또한 질량 초임계 (mass-supercritical) 뿐만 아니라 질량 아임계 (mass-subcritical) 및 부호 변화가 있는 비선형성 ($\mu < 0$) 에 대해서도 적용 가능합니다.

나. 두 번째 해 (산길 유형) 의 존재성 (Theorem 1.3)

• 조건: $\mu \ge 0$, $\Omega$ 는 별모양 영역, $N \ge 3$.
• 결과: 질량 $\rho$ 가 충분히 작을 때, 두 번째 양의 해 (산길 유형, mountain pass type solution) 가 존재합니다.
• 특징:
  • $N \ge 4$ 인 경우 $2 < p < 2^*$ 일 때 성립합니다.
  • $N=3$ 인 경우 $p \in (2, 10/3] \cup (14/3, 6)$ 일 때 성립하며, 이는 영역의 내접반경과 관련된 조건 하에 성립합니다.
  • 기존 연구 [28] 가 $N \in \{3, 4, 5\}$ 로 제한되었던 것과 달리, 이 결과는 모든 $N \ge 3$ 에 대해 확장되었습니다.

다. 비존재성 및 분기 결과 (Theorem 1.5, 1.7)

• 비존재성 (Theorem 1.5):
  • 조건: $\mu > 0$, $1 < p \le 2$, $q \ge \max\{2^*, 3\}$, $\Omega$ 는 볼록 영역.
  • 결과: 질량 $\rho$ 가 충분히 클 때, 양의 정규화 해는 존재하지 않습니다.
  • 이유: 이동 평면법을 통해 해가 경계 근처에서 단조적임을 보이고, 질량이 커질수록 해의 질량이 영역 중심으로 집중되어 주파수 $\omega$ 가 무한대로 발산해야 하므로 모순이 발생함을 보입니다. 이는 $3 \le N \le 6$ 인 브레지스 - 니렌베르크 유형의 비존재성을 증명합니다.
• 분기 결과 (Theorem 1.7):
  • 조건: $\mu = 0$, $q = 2^*$, $\Omega$ 는 구 (Ball).
  • 결과: 임계 질량 $\rho^* > 0$ 가 존재하여 다음과 같은 이분법 (dichotomy) 을 가집니다:
    1. $0 < \rho < \rho^*$: 적어도 두 개의 해 존재.
    2. $\rho = \rho^*$: 적어도 하나의 해 존재.
    3. $\rho > \rho^*$: 해가 존재하지 않음.
  • 이는 구 영역에서 브레지스 - 니렌베르크 문제의 정규화 해에 대한 완전한 분류를 제공합니다.

4. 공헌 및 의의 (Contributions and Significance)

1. 기하학적 제약의 완화: 국소 최소점 해의 존재성 증명에 있어 별모양 영역 (star-shaped) 조건을 제거하고 일반적인 유계 영역에서도 성립함을 보였습니다.
2. 차원 확장: 두 번째 해 (산길 해) 의 존재성에 관한 기존 연구의 차원 제한 ($N \le 5$) 을 제거하고 $N \ge 3$ 전체로 확장했습니다.
3. 비존재성 결과의 정립: 볼록 영역에서 질량이 큰 경우 해가 존재하지 않음을 증명하여, 소보레프 임계 및 초임계 문제에서의 정규화 해에 대한 비존재성 이론을 정립했습니다.
4. 브레지스 - 니렌베르크 문제의 완전한 해: 구 영역에서 질량 매개변수에 따른 해의 존재/비존재 분기를 명확히 규명하여, 해당 고전적 문제에 대한 새로운 통찰을 제공했습니다.
5. 방법론적 혁신: 유계 영역에서의 스케일링 한계를 극복하기 위해 스트루웨의 단조성 트릭과 이동 평면법을 결합한 체계적인 접근 방식을 제시했습니다.

5. 결론

이 논문은 결합된 비선형성을 가진 비선형 슈뢰딩거 방정식의 정규화 해에 대해, 질량의 크기와 영역의 기하학적 구조에 따른 해의 존재성과 비존재성을 포괄적으로 분석했습니다. 특히, 유계 영역에서의 변분법적 접근의 난제를 해결하고, 다양한 차원과 영역 조건 하에서 해의 행동을 체계적으로 분류함으로써 해당 분야의 이론적 기반을 크게 강화했습니다.