Two-bump axisymmetric solutions of the Nirenberg problem

기술 요약: Nirenberg 문제의 Two-Bump 축대칭 해

문제 정의
본 논문은 표준 $n$-구면($S^n, n \ge 4$)에서의 Nirenberg 문제를 다룬다. 이 문제는 주어진 스칼라 곡률 함수 $K$를 갖는 공형 메트릭 $g = u^{4/(n-2)}g_0$를 찾는 것을 목표로 한다. 이를 지배하는 방정식은 다음과 같다:
$$-L_{g_0}u := -\Delta_{g_0}u + c(n)R_0u = c(n)K u^{\frac{n+2}{n-2}} \quad \text{on } S^n,$$
여기서 $c(n) = \frac{n-2}{4(n-1)}$이고 $R_0 = n(n-1)$이다.

저자들은 곡률 함수 $K$가 북극($P_2$)과 남극($P_1$)에서 특정 차수의 평탄도(flatness) $n-2$를 갖는 임계점을 가지는 축대칭(axisymmetric) 해에 초점을 맞춘다. 연구의 핵심 대상은 매개변수 공간 내의 임계 초평면 $\Sigma_0$ 근처에서의 해 집합의 거동이다. 기존 연구들은 매개변수가 $\Sigma_0$에서 떨어져 있을 때 해 집합이 컴팩트(compact)함을 입증했으나, 매개변수가 $\Sigma_0$에 접근함에 따라 컴팩트성이 상실된다. 여기서 다루는 구체적인 질문은 이 컴팩트성 상실의 정확한 성질, 즉 블로우업(blow-up)이 $\Sigma_0$의 양측 모두에서 발생하는지, 아니면 한 쪽에 국한되는지 여부이다.

방법론
저자들은 해를 구성하기 위해 Lyapunov-Schmidt reduction과 유한 차원 분석을 결합하여 사용한다. 전략은 다음과 같은 단계로 구성된다:

1. Ansatz 구성: 해를 두 개의 "범프(bump)"(양극 근처에 집중됨)와 보정 항의 중첩 형태로 찾는다:
   $$u = \sum_{i=1}^2 \alpha_i \delta_{P_i, t_i} + v,$$
   여기서 $\delta_{P_i, t_i}$는 표준 버블(bubble) 해이며, $t_i$는 농축 척도(concentration scales)를, $\alpha_i$는 스케일링 계수를 나타내고, $v$는 선형 연산자의 커널에 직교하는 작은 나머지 항이다.

2. 유한 차원 축소: 저자들은 암시적 함수 정리(implicit function theorem)를 사용하여 계수 $\alpha(t)$와 나머지 항 $v(t)$를 농축 매개변수 $t = (t_1, t_2)$에 대한 함수로 구한다. 이는 무한 차원 PDE를 두 개의 대수 방정식 $H(t) = 0$을 따르는 시스템으로 축소시킨다. 이 시스템은 척도 $t_1$과 $t_2$를 결정한다.

3. $\Sigma_0$ 근처에서의 점근 분석: $\Sigma_0$ 근처에서, $H(t)$의 주위 차수(leading-order) 부분은 특이해진다(관련 행렬 $A_\nu$가 비가역적이 됨). 저자들은 시스템을 분석하기 위해 공통 척도를 포착하는 변수 $\beta$와 버블의 상대적 강도를 포착하는 변수 $s$를 도입한 재스케일링된 변수를 도입한다.

4. 고차 전개(Higher-Order Expansion): 축소된 시스템의 가해성(solvability)은 결정적으로 $K$의 극점에서의 **다음 차수 항(next-order terms)**에 의존한다. 저자들은 $K$가 다음과 같은 형태를 갖는다고 가정한다:
   $$K(\theta) = K_i + a_i(\text{dist})^{n-2} + b_i(\text{dist})^{\mu_i} + \dots$$
   여기서 $\mu_i \in (n-2, n)$이다. 이 분석은 평탄도 지수(flatness exponents)가 같은 경우($\mu_1 = \mu_2$)와 다른 경우($\mu_1 \neq \mu_2$)를 구분한다.

주요 기여 및 결과
본 논문은 기존에 알려진 블로우업 현상에 대해 **단방향 정교화(one-sided refinement)**를 제공한다. 주요 결과인 정리 1.1은 Unbounded $L^\infty$ 노름(blow-up)을 갖는 two-bump 축대칭 해의 존재성이 $K$의 특정 고차 계수와 $\Sigma_0$의 어느 쪽에서 접근하느냐의 부호에 의해 결정됨을 입증한다.

구체적으로, $\nu = (K_1, K_2, -a_1, -a_2)$를 $K$의 처음 두 주위 항에 의해 결정되는 매개변수라고 할 때:

• $\mu_1 \neq \mu_2$인 경우: 블로우업이 발생하는 $\Sigma_0$의 측면은 더 작은 지수 $\mu_i$에 대응하는 계수 $b_i$의 부호에 의해 결정된다. 예를 들어, $\mu_1 < \mu_2$라면, $b_1 > 0$인 쪽에서 블로우업이 발생한다(즉, $\Sigma_-$로부터 $\Sigma_0$에 접근할 때 $b_1 > 0$이면 블로우업이 발생한다).
• $\mu_1 = \mu_2$인 경우: 블로우업이 발생하는 측면은 주위 항들의 매개변수에 의해 가중치가 부여된 $b_1, b_2$의 선형 결합인 $F_{\mu,b}(\nu)$의 부호에 의해 결정된다.
  • 만약 $F_{\mu,b}(\nu) > 0$이면, $\Sigma_-$로부터 접근할 때 블로우업이 발생한다.
  • 만약 $F_{\mu,b}(\nu) < 0$이면, $\Sigma_+$로부터 접근할 때 블로우업이 발생한다.

모든 경우에 대해, 저자들은 $\Sigma_0$의 "반대쪽" 측면(계수 $b_i$ 또는 $F_{\mu,b}$의 부호에 의해 결정됨)에서는 해 집합이 컴팩트함($\Lambda(K) < \infty$)을 증명한다. 이는 매개변수가 $\Sigma_0$에 접근하는 어떤 수열이 블로우업을 유발한다는 것만을 보장했던 기존 결과와 대조된다.

의의
본 논문은 $n \ge 4$ 차원에서 Nirenberg 문제의 블로우업 거동에 대해 더 정밀한 묘사를 제공한다고 주장한다. 저자들은 $K$의 다음 차수 평탄도 항이 블로우업의 방향성을 결정한다는 것을 밝힘으로써, 임계 초평면 $\Sigma_0$ 근처에서의 블로우업 현상의 모호성을 해결하였다.

이 연구는 "two-bump blow-up"이 $\Sigma_0$의 어느 방향에서 접근하더라도 발생하는 일반적인 특징이 아니라, $K$의 미세한 기하학적 구조에 의해 결정되는 한 쪽에 엄격히 국한되어 있음을 보여준다. 이는 해 집합의 위상과 Nirenberg 문제와 관련된 degree theory에 대한 이해를 정교화하며, $\Sigma_0$를 가로질러 해 집합의 index가 $-1$에서$0$으로(또는 그 반대로) 변화하는 과정이 이러한 고차 항들에 의해 제어됨을 보여준다.