Generic ill-posedness for Schrödinger equation with power-type nonlinearity on $\mathbb{S}^2$

기술 요약: $S^2$ 상의 멱함수형 비선형성을 가진 슈뢰딩거 방정식에 대한 일반적 부적정성(Generic Ill-Posedness)

문제 정의
본 논문은 2차원 구 $S^2$ 상에서의 비선형 슈뢰딩거 방정식(NLS)에 대한 국소적 적정성(local well-posedness)을 조사한다:
$$i\partial_t u + \Delta_g u = F(u), \quad (t, x) \in \mathbb{R} \times S^2,$$
여기서 $F(u)$는 특정 성장 조건을 만족하는 매끄러운 포텐셜 $V$로부터 유도된 게이지 불변(gauge-invariant) 비선형성이다. 이 비선형성은 $\alpha \geq 3$인 어떤 $\alpha$에 대해 $|u|^{\alpha-1}u$와 점근적으로 유사하게 거동한다. 저자들은 소볼레프 공간 $H^s(S^2)$에서 코시 문제(Cauchy problem)가 적정(well-posed)하거나 부적정(ill-posed)하게 되는 정밀한 정칙성(regularity) 임계값 $s$를 결정하는 것을 목표로 한다.

$S^2$와 같은 컴팩트 다양체에서는 갇힌 측지선(trapped geodesics)으로 인해 유클리드 공간 $\mathbb{R}^2$에 비해 분산 추정치(dispersive estimates)에서 미분 손실(loss of derivatives)이 발생한다. 유클리드 NLS의 스케일링 임계 정칙성은 $s_c = 1 - \frac{2}{\alpha-1}$이지만, $S^2$의 기하학적 구조는 고유함수(구면 조화 함수)의 집중(concentration)과 관련된 복잡성을 도입하여 해의 안정성에 영향을 미친다. 이전 연구들은 $\alpha=3$인 입방(cubic) 사례의 경우 $s > 1/4$에서, 그리고 특정 조건 하의 높은 홀수 차수($\alpha \geq 5$)의 경우 $s > 1 - \frac{2}{\alpha-1}$에서 적정성을 확립하였다. 그러나 스케일링 지수와 기하학적 제약 사이의 범위, 특히 $\alpha \in [3, 11/3)$ 영역에서의 해의 맵(solution map)의 정확한 거동은 미해결 과제로 남아 있었다.

방법론
저자들은 부적정성을 입증하기 위해 두 가지 주요 해석적 프레임워크인 **노름 팽창(norm inflation)**과 **비균등 연속성(non-uniform continuity)**을 사용한다.

1. 노름 팽창 (강한 부적정성):
   정리 1.5를 증명하기 위해, 저자들은 $H^s(S^2)$에서 0으로 수렴하지만 그에 대응하는 해 $\{u_n(t)\}$가 임의로 짧은 시간 $t_n \to 0$ 내에 $H^s(S^2)$ 노름에서 폭발하는 초기 데이터 시퀀스 $\{u_n(0)\}$를 구성한다.

• 안자츠(Ansatz): 초기 데이터는 고주파 집중을 모사하기 위해 점 근처에서 재조정된 범프 함수(rescaled bump function) $\phi(nx)$를 사용하며, 계수는 $\kappa_n n^{1-s}$로 스케일링된다.
• 근사: 해는 연관된 상미분 방정식(ODE) $i\partial_t v_n = F(v_n)$의 해를 사용하여 근사되며, 이는 명시적으로 풀 수 있다.
• 오차 제어: ODE 해의 도함수에 대한 점별 유계(pointwise bounds)를 추정하기 위해 수정된 에너지 범함수 $E_n(u)$를 도입한다. 가료-니렌버그 부등식(Gagliardo-Nirenberg inequalities)을 활용하여, $s < 1 - \frac{2}{\alpha-1}$일 때 오차가 노름의 성장량에 비해 무시할 수 있는 수준임을 보인다.

2. 비균등 연속성:
   $\alpha \in [3, 11/3)$ 범위에 대한 정리 1.6을 증명하기 위해, 저자들은 해의 맵이 균등 연속적이지 않음을 보여준다. 이를 위해 $H^s(S^2)$에서 서로 매우 가까우면서도 유한한 시간 내에 해가 크게 분리되는 두 초기 데이터 시퀀스 $u_{0,n}$과 $v_{0,n}$을 구성한다.

• 고유함수 분해: 구성은 최고 가중치(highest-weight) 구면 조화 함수 $\psi(x) = (x_1 + ix_2)^n$의 성질에 크게 의존한다. 저자들은 해를 초기 고유함수에 정렬된 성분과 그에 직교하는 나머지 성분으로 분리하기 위해 분해 보조정리(Burq-Gérard-Tzvetkov)를 활용한다.
• 위상 상호작作用(Phase Interaction): 불안정성은 비선형성에 의해 유도된 위상 회전으로부터 발생한다. 초기 데이터의 진폭을 약간 다르게 설정함으로써, 위상 차이가 시간에 따라 축적되어 초기 차이가 작더라도 해의 $H^s$ 노름에서 거시적인 분리를 초래함을 보인다.
• 레짐 분석: 선형 분산이나 고차 항이 지배하기 전에 불안정성이 나타나도록 시간 척도 $T_n$을 조정하면서, $s$와 임계값 $1/4 - \frac{1}{4(\alpha-1)}$ 사이의 하위 사례들을 구분하여 증명을 진행한다.

주요 기여 및 결과

1. 노름 팽창의 날카로운 하한(Sharp Lower Bound):
   본 논문은 모든 $\alpha \geq 3$에 대해, $s < s_c = 1 - \frac{2}{\alpha-1}$인 모든 $s$에 대해 NLS가 $H^s(S^2)$에서 강한 부적정성(노름 팽창)을 가짐을 확립한다. 이 결과는 유클리드 설정의 스케일링 임계 정칙성과 일치하며, 이는 이 레짐에서 미분 손실에 의한 기하학적 효과가 노름 팽창의 임계값을 변화시키지 않음을 나타낸다.

2. $\alpha \in [3, 11/3)$ 범위의 부적정성 특성화:
   $\alpha \in [3, 11/3)$인 경우, 저자들은 $0 < s < 1/4$ 범위에서 해의 맵이 균등 연속적이지 않음을 증명한다. 이는 입방 사례($\alpha=3$)에 대한 기존 결과를 더 넓은 클래스의 비선형성으로 확장한 것이다. 결정적으로, 이 부적정성 범위는 $\alpha$가 클 때(특히 $1 - \frac{2}{\alpha-1} < 1/4$일 때) 스케일링 임계 지수 $s_c$보다 엄격히 위에 위치하며, 이는 스케일링 논법과는 구별되는 기하학적 장애물을 강조한다.

3. $\alpha = 11/3$에서의 전환점 식별:
   본 논문은 $\alpha = 11/3$을 임계 전이점으로 식별한다.

• $\alpha \geq 11/3$인 경우, 부적정성은 스케일링 지수 $s_c$에 의해 결정된다.
• $\alpha < 11/3$인 경우, 부적정성은 기하학적 제약 $s < 1/4$에 의해 결정된다.
  이 전이는 $\alpha$가 11/3을 넘을 때 관련 노름의 극대화자(maximizer)가 최고 가중치 구면 조화 함수에서 존형(zonal) 구면 조화 함수(또는 그 중첩)로 이동하는 Huang-Sogge의 최근 Zoll 다양체 상의 Strichartz 추정치와 연결된다.

4. 적정성의 종합:
   $\alpha \geq 5$에 대한 Yang(2015)의 적정성 결과와 새로운 하한을 결합함으로써, 저자들은 $\alpha \geq 5$인 경우에 대한 적정성/부적정성 임계값의 완전한 특성화를 제공한다. 이 경우 정확한 임계값은 $s_c = 1 - \frac{2}{\alpha-1}$이다.

의의
본 논문은 모든 $\alpha \geq 3$에 대해 $S^2$ 상의 NLS에 대한 부적정성 레짐의 새로운 특성화를 제공한다고 주장한다. 이는 입방 사례에 관한 Burq-Gérard-Tzvetkov(2002)의 연구와 파동 방정식에 관한 Xia(2021)의 연구를 확장한다. 주요 의의는 스케일링 지수 $s_c$가 노름 팽창(강한 불안정성)의 임계값을 결정하는 반면, 구의 기하학적 구조가 중간 차수($\alpha < 11/3$)의 경우 해의 균등 연속성에 대해 더 엄격한 제약을 가한다는 점을 입증한 데 있다. 저자들은 $\alpha = 11/3$에서의 이 전환점이 증명 방법의 기술적 산물이 아니라, 구 위의 Laplace-Beltrami 연산자의 스펙트럼적 성질, 즉 $L^p$ 노름에 대한 고유함수 극대화자의 거동과 직결된 본질적인 것임을 주장한다.