하이퍼볼릭 공간에서의 보고프스키형 연산자와 코르비노‑쇼엔 글루잉

초록

본 논문은 차원 $n\ge2$인 하이퍼볼릭 공간에서 상수 스칼라 곡률 방정식의 선형화에 대한 보고프스키형 해법 연산자를 구축한다. 이 연산자는 소스의 지지(support)를 보존하면서 표준 Sobolev norm 대비 두 차원 높은 미분을 제공한다. 이를 이용해 Corvino‑Schoen 방식의 하이퍼볼릭 글루잉을 간소화하고, 기존 Mao‑Oh‑Tao 방법을 일반 차원으로 확장한다.

상세 분석

논문은 먼저 하이퍼볼릭 반공간 $\mathbb H^n$ 위의 상수 스칼라 곡률 방정식 $R(g)=-n(n-1)$을 고려하고, 그 선형화 연산자 $P$를 명시적으로 계산한다. $P$는 두 번의 공분산 미분과 리치 텐서 항을 포함하는 과잉 결정 타원 연산자로, 정적 KID(키스톤) 함수 $\kappa_a$($a=1,\dots,n+1$)에 대해 $\kappa_a P(h)=\operatorname{div}V^{(a)}(h)$라는 발산 형태를 만족한다. 따라서 $P(h)$의 소스 $f$가 컴팩트 지지를 가질 때, $\int_{\Omega}\kappa_a f,d\mu_b=0$라는 $n+1$개의 적분 제약이 필요함을 보인다.

핵심은 이러한 제약을 만족하는 $f$에 대해 $h$를 찾는 선형 연산자 $G$를 구성하는 것이다. 이를 위해 먼저 유클리드 공간에서의 발산 연산자에 대한 보고프스키형 오른쪽 역연산자 $B$를 도입한다. $B$는 $\partial_i B_i(f)=f-\varphi\int_\Omega f$ 형태를 만족하며, Sobolev 및 Hölder 추정식에서 $-1$ 차원의 미분 연산자와 동일한 매핑 특성을 가진다. $B$를 이용해 대칭 무추적 텐서 $A_{ij}$에 대한 이중 발산 방정식 $\partial_i\partial_j A_{ij}=f$의 해를 구성한다. 여기서는 $A$의 흔적(trace)을 제거하기 위해 특별히 설계된 텐서 $X^{ij}_{\ell k}$와 보조 연산자 $\circ S$를 사용한다. $\circ S$는 $f$가 $\circ Q(f)=0$(추가 $n+2$개의 적분 제약)일 때, 흔적이 0인 해 $A$를 제공한다.

그 다음, 원래의 선형화 연산자 $P$와 변수 변환 $A\leftrightarrow h$ 사이의 관계를 이용해 $P(h)=f$를 $\tilde P(A)=f$ 형태로 바꾸고, 앞서 만든 $\circ S$와 $B$를 조합해 최종 해법 연산자 $\tilde G$를 정의한다. $\tilde G$는 $f$에 대해 $\tilde P(\tilde G(f))=f-\sum_{a=1}^{n+1}\varphi_a Q^{\text{KID}}a(f)$라는 투사 연산자를 포함한다. 여기서 $Q^{\text{KID}}a$는 정적 KID와의 적분을 나타내며, $\Pi$라는 유한 차원 투사 연산자를 형성한다. 최종 연산자 $G$는 $\tilde G$에 적절한 가중치를 곱하고, $P G=1-\Pi$를 만족하도록 조정한다. 이때 $G$는 $C_c^\infty(\Omega,\mathbb R)\to C_c^\infty(\Omega,S^2T^*\Omega)$ 사이의 선형 매핑이며, Sobolev 차수 $s$에 대해 $|Gf|{W^{s,p}}\le C|f|{W^{s-2,p}}$와 같은 미분 차이 2를 보장한다. 또한 $