Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

이 논문은 유계 영역 (bounded domain) $\Omega \subset \mathbb{R}^N$에서 주어진 질량 (prescribed mass) 조건을 만족하는 비선형 슈뢰딩거 방정식 (NLS) 의 양해 (positive solutions) 의 정확한 개수와 부호 변화 해 (sign-changing solutions) 의 존재성에 대한 연구입니다.

주요 연구 대상은 다음과 같은 타원형 문제입니다:
$$\begin{cases} -\Delta u + \lambda u = |u|^{p-2}u & \text{in } \Omega, \\ u \in H^1_0(\Omega), \\ \int_\Omega |u|^2 dx = \mu, \end{cases}$$
여기서 $\mu > 0$은 주어진 질량, $\lambda \in \mathbb{R}$은 라그랑주 승수, $p$는 $2 < p < 2^*$ (소보레프 임계 지수) 를 만족합니다.

1. 연구 문제 및 배경

• 배경: 무한 영역 ($\mathbb{R}^N$) 에서는 질량 하위 임계, 임계, 초임계 조건에 따라 양해의 존재성과 유일성이 잘 알려져 있습니다. 그러나 유계 영역에서는 스케일 불변성이 깨지며, 특히 $L^2$-초임계 (mass-supercritical) 경우 질량이 작을 때 양해가 두 개 존재할 수 있다는 것이 알려져 있습니다.
• 연구 질문:
  1. 일반적인 유계 영역에서 질량이 작을 때 ($\mu \to 0^+$) 무한히 많은 부호 변화 해가 존재하는가? 그리고 그 에너지와 라그랑주 승수의 점근적 거동은 어떠한가?
  2. 단위 구 ($B_1$) 에서 $L^2$-초임계 조건일 때, 작은 질량 $\mu$에 대해 양해가 정확히 몇 개인가?
  3. 단위 구에서 큰 에너지와 큰 라그랑주 승수를 가지는 부호 변화 해는 존재하는가?

2. 주요 방법론 (Methodology)

이 논문은 다음과 같은 강력한 변분법 기법과 분석 도구를 결합하여 문제를 해결했습니다.

• 종 (Genus) 이론 (Genus Theory): 부호 변화 해의 존재성과 다중성을 증명하기 위해 Krasnoselskii 의 종 이론을 활용하여 미니맥스 (min-max) 레벨을 구성했습니다.
• 내림 흐름 기법 (Descending Flow Techniques): 양해와 부호 변화 해를 분리하기 위해 '내림 흐름 (descending flow)'을 개발했습니다. 이는 $H^1_0(\Omega)$ 공간에서 양의 부분 ($P$) 과 음의 부분 ($-P$) 을 정의하고, 이 영역들 사이의 거리 ($D^*_\delta$) 를 유지하며 해가 부호를 바꾸는지 여부를 판별하는 데 핵심적입니다.
• 가상 그래디언트 연산자 (Pseudo-gradient Operator): $L^2$ 제약 조건 하에서 라그랑주 승수 $\lambda$의 부호를 제어하기 위해 새로운 가상 그래디언트 연산자를 구성했습니다. 이는 기존 그래디언트 흐름의 한계를 극복하고, 흐름 불변성 (flow invariance) 을 보장하여 해가 특정 영역 (예: 부호 변화 영역) 에 머무르도록 합니다.
• 모스 지수 (Morse Index) 분석: 해의 모스 지수를 제한하여 에너지와 라그랑주 승수의 점근적 거동을 분석했습니다. 특히, 모스 지수가 유계인 해의 열 (sequence) 에 대한 블로우업 (blow-up) 분석을 통해 질량이 0 으로 갈 때의 행동을 규명했습니다.
• 근사 문제 (Approximating Problems): $L^2$-초임계 경우의 바운드된 팔라이스 - 스몰 (Palais-Smale) 열의 존재성을 보장하기 위해 비선형 항에 매개변수 $\tau \in [1/2, 1]$를 도입한 근사 문제를 먼저 연구한 후, $\tau \to 1$로 보내는 과정을 통해 원래 문제의 해를 얻었습니다.

3. 주요 결과 (Key Results)

A. $L^2$-하위 임계 및 임계 경우 ($2 < p \le 2 + 4/N$)

• 무한히 많은 부호 변화 해: 임의의 고정된 $\mu > 0$에 대해 (하위 임계) 또는 충분히 작은 $\mu$에 대해 (임계), 무한히 많은 부호 변화 해가 존재함을 증명했습니다.
• 점근적 거동:
  • $\mu \to 0^+$일 때, 에너지는 0 으로 수렴하고, 라그랑주 승수 $\lambda$는 $-\Delta$의 디리클레 고유값 중 하나 (특히 첫 번째 부호 변화 해의 경우 두 번째 고유값 $-\lambda_2(\Omega)$) 로 수렴합니다.
  • $\mu \to +\infty$일 때 (하위 임계), 에너지는 $-\infty$로 발산하고 $\lambda$는 $+\infty$로 발산합니다.

B. $L^2$-초임계 경우 ($2 + 4/N < p < 2^*$)

• 양해의 정확한 개수 (단위 구 $B_1$의 경우):
  • 충분히 작은 $\mu > 0$에 대해, 비선형 항의 계수 $\tau \in [1/2, 1]$에 관계없이 정확히 두 개의 양해가 존재함을 증명했습니다.
  • $\mu \to 0^+$일 때, 한 해는 에너지가 0 으로, $\lambda$가 $-\lambda_1(B_1)$로 수렴하고, 다른 해는 에너지와 $\lambda$가 모두 $+\infty$로 발산합니다.
• 큰 에너지를 가진 부호 변화 해의 존재:
  • 단위 구 $B_1$에서 충분히 작은 $\mu$에 대해, 에너지와 라그랑주 승수가 모두 $+\infty$로 발산하는 부호 변화 해가 존재함을 증명했습니다.
  • 이는 기존의 산등성이 (mountain pass) 기하학을 일반화한 안장점 (saddle-point) 구조를 통해 얻어졌습니다.

4. 의의 및 기여 (Significance)

1. 부호 변화 해의 다중성: 유계 영역에서 주어진 질량을 가진 NLS 방정식에 대해 무한히 많은 부호 변화 해가 존재한다는 것을 최초로 증명한 결과 중 하나입니다. 이전 연구들은 주로 양해나 모스 지수가 제한된 단일 해에 집중했습니다.
2. 정확한 양해 개수: $L^2$-초임계 조건에서 단위 구에 대해 양해의 개수가 정확히 2 개임을 규명했습니다. 이는 질량 제약 하에서의 비선형 타원 방정식의 해 구조를 이해하는 데 중요한 이정표입니다.
3. 새로운 분석 도구 개발: $L^2$ 제약 조건 하에서 부호 변화 해를 찾기 위한 내림 흐름 기법과 가상 그래디언트를 체계적으로 개발했습니다. 이 기법은 라그랑주 승수의 부호 제어 문제를 해결하고, 해가 부호를 바꾸는 영역에 머무르도록 보장하여, 향후 유사한 제약 조건이 있는 비선형 편미분 방정식 연구에 중요한 도구가 될 것입니다.
4. 점근적 거동의 정밀한 규명: 질량 $\mu$가 0 으로 또는 무한대로 갈 때 해의 에너지와 라그랑주 승수의 거동을 고유값과 연결하여 정밀하게 설명했습니다.

결론

이 논문은 유계 영역에서의 질량 제약 NLS 문제를 해결하기 위해 변분법, 위상학적 방법 (종 이론), 그리고 새로운 흐름 기법을 혁신적으로 결합했습니다. 특히, $L^2$-초임계 영역에서 양해의 정확한 개수를 규명하고, 큰 에너지를 가진 부호 변화 해의 존재성을 증명함으로써 해당 분야의 이론적 지평을 넓혔습니다.