The fractional $p$-Laplacian on hyperbolic spaces

기술 요약: 쌍곡 공간에서의 분수 $p$-라플라시안

문제 정의
본 논문은 $n \in \mathbb{N}$, $0 < s < 1$, $p > 1$인 쌍곡 공간 $\mathbb{H}^n$에서 분수 $p$-라플라시안, 즉 $(-\Delta_{\mathbb{H}^n})^s_p$의 정의와 분석을 다룬다. 분수 연산자들은 유클리드 공간 $\mathbb{R}^n$ 및 다양한 기타 기하학적 설정(리만 다양체, 메트릭 측도 공간 등)에서는 잘 연구되어 왔으나, 비선형 설정에서의 푸리에 변환의 부재와 쌍곡 공간 특유의 기하학적 구조로 인해 직접적인 표준 정의의 적용이 불가능하다. 구체적으로, 저자들은 푸리에 변환에 의존하는 정의들이 비선형 연산자에는 적용될 수 없으며, 모든 분수 라플라시안의 정의(예: 지역적(regional) 정의와 스펙트럼(spectral) 정의)가 일반적인 리만 다양체에서 동일하지 않다는 점에 주목한다. 주요 과제는 $s \to 1^-$일 때 표준 $p$-라플라시안으로의 점별 수렴(pointwise convergence) 연구를 가능하게 하는 명시적인 정규화 상수(normalizing constants)를 포함하여, $\mathbb{H}^n$ 상의 비선형 분수 $p$-라플라시안에 대한 엄밀하고 동등한 정의 세트를 확립하는 것이다.

방법론
저자들은 쌍곡 기하학, 열 커널(heat kernel) 분석, 그리고 특수 함수의 점근적 성질을 결합한 다각적인 접근 방식을 채택한다:

1. 기하학적 프레임워크: 본 연구는 로렌츠 계량(Lorentzian metric)이 부여된 하이퍼볼로이드 모델(hyperboloid model)의 $\mathbb{H}^n$을 활용한다. 거리 함수 $d(x, \xi)$와 부피 요소 $\sinh^{n-1} r \, dr \, d\omega$가 중심적인 역할을 한다.
2. 열 반군 표현(Heat Semigroup Representation): 저자들은 $\mathbb{H}^n$ 상의 라플라시안에 의해 생성되는 열 반군 $\{e^{t\Delta_{\mathbb{H}^n}}\}_{t \geq 0}$를 분수 연산자와 연결한다. 이들은 쌍곡 공간에서의 열 커널 $h(t, \rho)$에 대한 명시적인 공식들을 활용하며, 이는 거리 $\rho$에 대한 열 커널의 미분을 포함하는 홀수 차원과 짝수 차원을 구분한다.
3. 변형 베셀 함수(Modified Bessel Functions): 분수 연산자의 커널은 제2종 변형 베셀 함수 $K_\nu$를 사용하여 표현된다. 저자들은 특이 커널(singular kernels)을 분석하기 위해 $K_\nu$의 적분 표현과 점근적 거동($\rho \to 0^+$ 및 $\rho \to \infty$일 때)을 활용한다.
4. Caffarelli–Silvestre 확장: 저자들은 $\mathbb{H}^n \times (0, \infty)$ 상의 확장 문제를 조사하여, 이를 디리클레-투-노이만(Dirichlet-to-Neumann) 사상과 연결한다. 여기에는 푸아송 커널 $P(\rho, y)$와 확장 연산자 $E_{s,p}$의 구축이 포함된다.
5. 수렴을 위한 점근적 분석: $(-\Delta_{\mathbb{H}^n})^s_p$가 $s \to 1^-$일 때 $p$-라플라시안으로 수렴함을 증명하기 위해, 저자들은 정규화 상수 $c_{n,s,p}$와 커널 $K_{n,s,p}$를 포함하는 적분에 대한 상세한 점근적 분석을 수행한다. 이 과정에서 유클리드 공간의 $\rho^{n-1}$과는 다른 부피 요소 $\sinh^{n-1} \rho$를 신중하게 다루며 테일러 전개와 지배 수렴 정리(dominated convergence theorem)를 사용한다.

주요 기여 및 결과

1. 세 가지 동등한 정의: 본 논문은 $\mathbb{H}^n$ 상의 분수 $p$-라플라시안에 대한 세 가지 동등한 정의를 확립하며, 각각에 대한 명시적인 정규화 상수를 제공한다:

   • 특이 적분 정의 (정의 1.1): 특이 커널 $K_{n,s,p}(\rho)$를 포함하는 점별 적분 표현이다. 커널은 변형 베셀 함수와 거리에 대한 미분을 사용하여 명시적으로 정의되며, 홀수 차원과 짝수 차원에 대해 서로 다른 공식을 가진다.
   • 열 반군 정의 (정 theorem 1.3): 연산자는 비선형 함수 $\Phi_p(u(x) - u(\cdot))$에 열 반군을 적용한 시간 적분으로 표현된다. 상수 $C_2$는 명시적으로 유도된다.
   • 확장 문제 정의 (정리 1.4): 상반평면 $\mathbb{H}^n \times (0, \infty)$ 상의 퇴화 타원형 확장 문제(degenerate elliptic extension problem)의 해에 대한 가중치 적용 법선 미분의 극한으로 연산자가 실현된다. 상수 $C_3$가 명시적으로 제공된다.

2. 명시적 정규화 상수: 감마 함수와 2 및 $\pi$의 거듭제곱을 포함하는 정밀한 정규화 상수($c_{n,s,p}, C_1, C_2, C_3, C_4$)의 도출은 핵심적인 기여이다. 이 상수들은 $s \to 1^-$일 때 올바른 극한 거동을 보장하도록 특별히 선택되었다.

3. 커널 점근성 (명제 1.2 및 정리 1.2): 저자들은 커널 $K_{n,s,p}(\rho)$의 거동을 규명한다. 이들은 원점 근처($\rho \to 0^+$)에서 커널이 유클리드 특이 커널 $\rho^{-n-sp}$처럼 행동함을 보여주며, 무한대($\rho \to \infty$)에서는 쌍곡 기하학에 의한 지수적 감소($\sim \rho^{-1-sp/2} e^{-(n-1)\rho}$)를 보임을 보여준다. 이는 연산자가 유계 $C^2$ 함수에 대해 잘 정의됨을 확인시켜 준다.

4. 점별 수렴 (정리 1.5): 주요 수렴 결과는 $u \in C^2_b(\mathbb{H}^n)$이고 $\nabla u(x) \neq 0$인 $x \in \mathbb{H}^n$에 대하여 다음을 나타낸다:
   $$\lim_{s \to 1^-} (-\Delta_{\mathbb{H}^n})^s_p u(x) = (-\Delta_{\mathbb{H}^n})_p u(x)$$
   여기서 $(-\Delta_{\mathbb{H}^n})_p$는 쌍곡 공간 상의 표준 $p$-라플라시안이다. 증명은 명시적인 상수들과 커널이 부피 요소에 대해 갖는 적분의 점근적 분석에 기초하며, 비유클리드 부피 인자가 국소 연산자로의 수렴을 방해하지 않음을 보여준다.

의의
본 논문은 이전 연구들(예: [2])에서 확립된 선형 사례($p=2$)의 분수 연산자 표현식을 쌍곡 공간 상의 비선형 영역($p > 1$)으로 확장했다는 점에서 의의를 갖는다. 명시적인 정규화 상수를 제공함으로써, 저자들은 $s \to 1^-$ 극한에 대한 엄밀한 연구를 가능하게 하며, 이는 기하학적 해석에서 분수 모델을 국소 모델과 연결하는 데 필수적인 속성이다. 본 연구는 푸리에 기반 방법론이 이러한 비선형 설정에서는 실패하지만, 쌍곡 공간의 풍부한 구조(특히 열 커널 및 푸아송 커널 표현)가 분수 $p$-라플라시안에 대한 견고한 정의를 가능하게 한다는 점을 강조한다. 명시된 상수들은 정칙성 이론(regularity theory)에 대한 응용에 있어 매우 중요한 것으로 언급된다. 저자들은 수학적 정의와 그 수렴 성질의 확립 외에 새로운 실험적 응용이나 향후 연구 방향을 제안하지 않는다.