Remainder terms and sharp quantitative stability for a nonlocal Sobolev inequality on the Heisenberg group

1. 연구 배경 및 문제 정의 (Problem)

본 논문은 하이젠베르크 군(Heisenberg group, $\mathbb{H}^n$) 상에서 정의된 **비국소적 소볼레프 부등식(Nonlocal Sobolev inequality)**을 다룹니다. 구체적으로, 하디-리틀우드-소볼레프(Hardy-Littlewood-Sobolev, HLS) 부등식과 폴랜드-스타인-소볼레프(Folland-Stein-Sobolev) 부등식이 결합된 형태인 다음의 부등식 $SHL(Q, \mu)$를 연구합니다:

$$\left( \int_{\mathbb{H}^n} \int_{\mathbb{H}^n} \frac{|u(\xi)|^{Q^*_\mu} |u(\eta)|^{Q^*_\mu}}{|\eta^{-1}\xi|^\mu} d\xi d\eta \right)^{\frac{1}{Q^*_\mu}} \leq \frac{1}{S_{HL}(Q, \mu)} \int_{\mathbb{H}^n} |\nabla_{\mathbb{H}} u|^2 d\xi$$

여기서 $Q = 2n+2$는 하이젠베르크 군의 동차 차원(homogeneous dimension)이며, $\mu \in (0, Q)$는 비국소적 커널의 지수입니다. 이 부등식의 등호 성립 조건은 Jerison-Lee 버블(bubbles) 형태의 함수들입니다.

본 연구의 핵심 질문은 두 가지입니다:

1. 잔여항(Remainder term) 존재성: 부등식의 좌변과 우변의 차이가 함수 $u$가 최적 함수(bubble)로부터 얼마나 떨어져 있는지(distance to the manifold of bubbles)에 의해 하한(lower bound)이 결정되는가?
2. 정량적 안정성(Quantitative stability): 오일러-라그랑주 방정식(Euler-Lagrange equation)의 임계점(critical points)이 방정식의 해에 매우 가깝다면, 그 함수는 단일 버블 또는 여러 버블의 합(multi-bubble)에 정량적으로 가까운가?

2. 연구 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구와 전략을 사용합니다:

• 변분법 및 스펙트럼 분석(Variational & Spectral Analysis): 버블 함수의 비퇴화성(non-degeneracy)과 선형화된 연산자(linearized operator)의 고유값(eigenvalues) 특성을 이용하여 함수 공간에서의 거리를 분석합니다.
• 집중-압축 원리(Concentration-Compactness Principle): 하이젠베르크 군의 비국소적 환경에 맞게 조정된 집중-압축 원리를 사용하여, 함수 수열이 버블로 수렴하거나 여러 버블로 분산되는 과정을 추적합니다.
• 오차 추정 및 점근적 분석(Asymptotic Analysis): 버블 간의 상호작용(interaction)을 $\epsilon$ 파라미터로 정의하고, 버블이 서로 멀어지거나 크기가 변할 때 발생하는 오차 항을 정밀하게 계산합니다.
• 조정된 변분법적 접근: 다중 버블(multi-bubble) 케이스를 다루기 위해, 함수를 버블들의 합과 그 수직 성분(orthogonal component) $\rho$로 분해하여 $\rho$의 크기를 제어하는 방식을 취합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

논문은 크게 세 가지 주요 결과를 제시합니다:

(1) 잔여항 부등식의 증명 (Theorem 1.1 & 1.2)

• Theorem 1.1: $Q \geq 4, \mu \in (0, 4]$ 조건에서, 부등식의 차이가 버블 매니폴드 $M$까지의 거리의 제곱($dist(u, M)^2$)에 의해 하한이 결정됨을 보였습니다. 즉, $A_1 dist(u, M)^2 \leq \text{Remainder} \leq A_2 dist(u, M)^2$ 형태의 정량적 추정치를 얻었습니다.
• Theorem 1.2: 유계 영역(bounded domain) $\Omega$ 내에서 약한 $L^{\frac{Q}{Q-2}}$ 노름(weak norm)을 이용한 잔여항 존재성을 증명하였습니다.

(2) 다중 버블 케이스의 정량적 안정성 (Theorem 1.4)

• Theorem 1.4: 가장 난도가 높은 부분으로, $Q=4$이고 $\mu \in (2, 4)$인 특수한 경우에 대해, 임계점이 여러 개의 약하게 상호작용하는 버블(weakly interacting bubbles)의 합에 정량적으로 가까움을 증명하였습니다.
• 이 결과는 함수가 방정식을 "거의" 만족한다면($\Upsilon(u)$가 작다면), 그 함수는 버블들의 합과 매우 가깝다($\delta(u) \leq C\Upsilon(u)$)는 것을 의미합니다.

(3) 전역 압축의 정량적 안정성 (Corollary 1.5)

• 임계점의 안정성 결과를 바탕으로, 비음수 함수(non-negative functions)에 대한 전역 압축(global compactness) 결과가 정량적으로 안정적임을 도출하였습니다.

4. 연구의 의의 (Significance)

1. 수학적 확장: 기존의 유클리드 공간($\mathbb{R}^N$)에서 이루어진 Sobolev 및 HLS 부등식의 안정성 연구를 비가환(non-commutative) 구조를 가진 하이젠베르크 군으로 성공적으로 확장하였습니다.
2. 비국소적 연산자의 이해: 국소적(local) 미분 연산자가 아닌, 적분 커널을 포함한 비국소적(nonlocal) 환경에서의 변분 문제와 그 안정성을 규명함으로써 해석학적 지평을 넓혔습니다.
3. 정밀한 임계점 분석: 단일 버블을 넘어 다중 버블(multi-bubble) 상황에서의 정량적 안정성을 다룸으로써, 비선형 편미분 방정식의 해의 구조를 매우 정밀하게 설명할 수 있는 이론적 토대를 마련하였습니다.