Concentration, Local Uniqueness, and Morse Index of Multi-bubble Solutions for a Critical Exponential Biharmonic Choquard Equation

기술 요약: 임계 지수 비하모닉 초가르(Choquard) 방정식의 다중 버블 해에 대한 농축, 국소적 유일성 및 모스 지수

문제 정의
본 논문은 유계 영역 $\Omega \subset \mathbb{R}^4$에서의 4차 임계 지수 비하모닉 초가르 방정식에 관한 양의 다중 버블 해의 존재성, 국소적 유일성, 비퇴화성 및 모스 지수를 조사한다. 연구된 특정 나비에(Navier) 문제는 다음과 같다:
$$\begin{cases} \Delta^2 u = \varepsilon^{8-\alpha} K(x) e^{u(x)} \left( \int_{\Omega} \frac{K(y) e^{u(y)}}{|x-y|^\alpha} dy \right) & \text{in } \Omega, \\ u = \Delta u = 0 & \text{on } \partial\Omega, \end{cases}$$
여기서 $0 < \alpha < 4$, $K \in C^4(\Omega)$는 양수이며, $\varepsilon > 0$은 0으로 수렴하는 작은 매개변수이다. 이 문제는 아담스 부등식(Adams inequality, 4차 버전의 트루딩거-모서(Trudinger-Moser) 부등식의 아날로그)에 대해 임계적이다. 비국소 항은 로그 형태의 근본 해를 갖는 리에스 포텐셜(Riesz potential)을 포함하며, 이는 하위 임계 차원들과 구별되는 특징이다.

방법론
저자들은 유한 차원 리아프노프-슈미트 축약(Lyapunov–Schmidt reduction)을 사용한다. 방법론의 핵심은 다음과 같다:

1. 근사해 구축: 근사해 $W_{t,\xi}$를 투영된 "전체 버블(entire bubbles)" $PU_{\mu_i, \xi_i}$의 합으로 구축한다. 여기서 버블은 $\mathbb{R}^4$ 상의 극한 방정식의 해이다. 투영 $P$는 나비에 경계 조건을 강제한다.
2. 잔차 추정: 가중 노름(weighted norms)에서 근사해의 오차(잔차)를 추정하며, 분리된 핵(cores) 사이의 비국소적 상호작용과 핵 내부의 자기 상호작용을 정밀하게 처리한다.
3. 선형 분석: 근사해 주변의 선형 연산자 $L_\varepsilon$를 분석한다. 핵심 단계는 $\mathbb{R}^4$ 상의 극한 연산자의 커널을 식별하는 것인데, 이는 네 개의 평행 이동과 하나의 팽창(dilation)을 포함한 다섯 개의 모드로 구성된다. 저자들은 이 커널 방향들을 제거하기 위해 특정한 직교 조건을 도입한다.
4. 용량 교정(Capacity Correction): 분석의 참신한 측면은 팽창 모드의 처리이다. 스케일 방향에서의 미분은 극한 연산자에서 음의 상수 모드를 드러낸다. 저자들은 직교 교정이 이 모드의 1차 항 기여를 상쇄하여, 결과적으로 **4차원 비하모닉 용량(biharmonic capacity)**에 의해 지배되는 주위 차수 항을 남긴다는 것을 보여준다. 이 용량 항은 작은 구(ball)의 용량이며, $|\log \varepsilon|^{-1}$의 척도로 스케일링된다.
5. 축약된 범함수: 문제를 유한 차원 범함수 $\tilde{J}_\varepsilon(t, \xi)$의 임계점을 찾는 문제로 축약한다. 여기서 $t$는 스케일 매개변수를, $\xi$는 농축 지점을 나타낸다. 이 범함수의 전개는 임계점이 계수 $K$, 나비에 그린 함수 $H$의 정규 부분, 그리고 그린 함수 $G$를 포함하는 축약된 에너지 함수 $F_m(\xi)$에 의해 결정됨을 보여준다.

주요 기여 및 결과

• 다중 버블 해의 존재성:
  저자들은 축약된 함수 $F_m$의 모든 $C^1$-안정적인 임계점 $\xi^*$가 충분히 작은 $\varepsilon$에 대해 양의 $m$-버블 해를 생성함을 증명한다. 농축 지점 $\xi_{i,\varepsilon}$는 $\xi^*$로 수렴하며, 스케일 $\mu_{i,\varepsilon}$은 $\varepsilon^{-1}$ 차수이다. 비선형 소스는 다음과 같이 디락 질량(Dirac masses)의 합으로 수렴한다:
  $$\varepsilon^{8-\alpha} K(x) e^{u_\varepsilon} \left( \int_{\Omega} \frac{K(y) e^{u_\varepsilon}}{|x-y|^\alpha} dy \right) \rightharpoonup M_\alpha \sum_{i=1}^m \delta_{\xi^*_i},$$
  여기서 $M_\alpha = 8\pi^2(8-\alpha)$이다.

• 국소적 유일성 및 비퇴화성:
  만약 $F_m$의 임계점 $\xi^*$가 비퇴화적이라면, 그에 대응하는 다중 버블 해는 고정된 스케일 변조 근방(fixed scaled modulation neighborhood) 내에서 (피크들의 치환을 제외하고) 국소적으로 유일하다. 또한, 해당 해에서의 선형 연산자는 $H^2(\Omega) \cap H^1_0(\Omega)$ 공간에서 자명한 커널을 가지며, 이는 비퇴화성을 확립한다.

• 모스 지수 공식:
  본 논문은 구축된 해의 모스 지수에 대한 정확한 공식을 도출한다. 지수는 버블의 개수와 축약된 함수 $F_m$의 헤시안(Hessian)에 의해 결정된다:
  $$\text{ind}(u_\varepsilon) = m + \text{ind}(-D^2 F_m(\xi^*)).$$
  동치로, $\text{ind}(u_\varepsilon) = 5m - \text{ind}(D^2 F_m(\xi^*))$이다.

  • 항 $m$은 버블들의 팽창 모드와 관련된 $m$개의 음의 법선 방향에서 기인한다.
  • 항 $\text{ind}(-D^2 F_m(\xi^*))$는 농축 지점에 대응하는 접방향(tangent directions)에서 기인한다.
  • 축약된 헤시안의 팽창 블록(dilation block)은 비하모니아 용량에 의해 제어되어 양의 정부호(positive definite)임이 밝혀졌다. 이 용량은 $|\log \varepsilon|^{-1}$ 차수의 고윳값을 가진다.

• 특수 사례 (단일 피크):
  $m=1$인 경우, $F_1$의 엄격한 비퇴화 국소 극대값은 모스 지수가 1인 해를 생성하고, 엄격한 비퇴화 국소 최소값은 모스 지수가 5인 해를 생성한다.

의의 및 주장
본 논문은 4차 지수 초가르 방정식의 유계 나비에 문제에 대한 완전한 유한 차원 축약을 제공한다고 주장한다. 저자들은 이 문제가 표준적인 2차 축약과 구별되는 두 가지 메커니즘을 강조한다:

1. 상호작용 메커니즘: 분리된 핵들 사이의 직접적인 리에스 상호작용은 낮은 차수이며, 주요 쌍 상호작용(pair interaction)은 나비에 투영의 정규 부분($H$)에 의해 생성된다.
2. 스케일 방향 및 용량: 스케일 방향에서의 미분은 음의 상수 모드를 드러낸다. 직교 교정에 의한 이의 1차 항 기여의 상쇄는 4차원 비하마닉 용량을 스케일 에너지의 주위 항으로 남긴다. 이 용량은 스케일 방향을 제어하고 축약된 헤시안의 팽창 블록의 양의 정부호성을 보장한다.

이 연구는 국소 방정식(local equations)에 대해 이미 확립된 4차 폭발(blow-up) 이론을 비국소적 초가르 설정으로 확장하며, 전체 공간에서의 분류(특히 $S^4$ 상의 커널 및 음의 고유공간 구조)로부터 얻은 스펙트럼 사실을 유계 영역 축약의 입력값으로 활용한다. 결과적으로 이 작업은 도메인의 기하학적 구조(그린 함수를 통해)와 가중치 함수 $K$, 그리고 결과적으로 발생하는 다중 버블 해의 위상적 성질(모스 지수) 사이의 정밀한 관계를 확립한다.