무한 메트릭 공간에서 분수 p‑라플라시안의 Neumann 문제

초록

본 논문은 배율이 있는 무한 메트릭 측도공간 (Z) 위에 정의된 분수 (p)‑라플라시안 ((-\Delta_p)^s) 의 존재성, 유일성, Harnack 부등식 및 정규성 결과를 제시한다. 핵심은 (Z)를 경계로 갖는 균일 도메인 (\Omega) 의 하이퍼볼릭 필링 (X) 에서 Cheeger (p)‑라플라시안의 Neumann 문제를 풀어, 그 해의 트레이스를 통해 비국소 연산자를 정의하는 방법이다. Poincaré 부등식을 가정하지 않으며, 가중된 (L^{p’}) 데이터에 대해 새로운 가중치 공간을 도입한다.

상세 분석

이 연구는 기존의 Caffarelli‑Silvestre 방식과 Molčanov‑Ostrovskiĭ의 확장을 바탕으로, 배율이 있는 메트릭 측도공간 (Z) 가 유계이든 무한이든 관계없이 분수 (p)‑라플라시안 ((-\Delta_p)^s) 의 해석적 프레임워크를 구축한다. 핵심 아이디어는 (Z)를 경계로 갖는 균일 도메인 (\Omega) 을 선택하고, 그 도메인의 하이퍼볼릭 필링 (X) (즉, Gromov‑hyperbolic 공간) 위에 Cheeger (p)‑라플라시안 (\Delta_p) 의 Neumann 문제를 설정하는 것이다.

논문은 먼저 (H0)–(H2)라는 구조적 가정을 제시한다. (H0)은 (\Omega)가 균일 도메인임을, (H1)은 (\Omega) 내부 측도 (\mu)가 배율성을 만족하고 (p)‑Poincaré 부등식을 지원함을, (H2)는 경계 (\partial\Omega)가 완비·균일‑완전·배율성을 갖고, (\mu)와 비교 가능한 (\Theta)‑공차 차원 Hausdorff 측도 (\nu)가 존재함을 의미한다. 이러한 가정 하에, 저자들은 동차 Sobolev 공간 (D^{1,p}(\Omega))와 동차 Besov 공간 (HB^{\theta}_{p,p}(\partial\Omega))를 정의하고, (\theta = 1-\Theta/p)를 분수 차수로 설정한다.

Neumann 문제는 데이터 (f\in L^{p’}(\partial\Omega,\nu_J)\cap L^{p’}(\partial\Omega,\nu)) (평균값 0) 에 대해, (\int_\Omega |\nabla u|^{p-2}\nabla u\cdot\nabla\varphi,d\mu = \int_{\partial\Omega}\varphi f,d\nu) 를 만족하는 (u\in D^{1,p}(\Omega)) 를 찾는 것으로 정의된다. 여기서 (\nu_J)는 점 (x_0)에 대한 가중치 (J(x,x_0)=d(x,x_0)^{p’\theta}\nu(B(x_0,d(x_0,x)))^{p’/p}) 로 구성된 새로운 측도이다.

주요 정리 1.4에서는 (i) 존재와 유일성(상수 차이만 존재), (ii) 데이터에 대한 안정성 추정( (p\ge2) 일 때 (|\nabla u-\nabla v|{L^p}\le C|f-g|{L^{p’}(\nu_J)}^{1/(p-1)}), (1<p<2) 일 때 비선형 형태) 를 제시한다. 안정성 상수는 구조 상수와 선택된 기준점 (x_0)에만 의존한다.

정리 1.11에서는 경계 근처에서의 로컬 Hölder 연속성 및 Harnack 부등식을 증명한다. 특히 (1<p\le Q_\mu) (여기서 (Q_\mu)는 하부 질량 지수) 일 때, 데이터가 추가적인 (L^q) 적분조건을 만족하면 해는 (\varepsilon)-Hölder 연속성을 갖고, (\varepsilon)는 내부 정규성 지수 (\beta_0)와 차원·가중치 파라미터에 의해 결정된다. 또한, 비음수 데이터 구간에서는 Harnack 부등식이 성립한다.

기술적인 난관은 무한 공간에서 전역 (L^p) 적분성을 확보할 수 없다는 점이다. 이를 극복하기 위해 저자들은 먼저 컴팩트하게 지원되는 Neumann 데이터에 대해 직접 변분법을 적용하고, 이후 근사 과정을 통해 일반 데이터로 확장한다. 핵심 보조 정리인 Lemma 3.7은 무한 도메인에서도 적절한 콤팩트성 대체 효과를 제공한다.

마지막으로 Section 8에서는 위에서 구축한 Neumann 문제 해를 이용해 ((-\Delta_p)^\theta) 연산자를 정의하고, 그 에너지 형태가 Besov 에너지와 동등함을 보인다. 이는 기존 유클리드 공간에서의 변분적 정의와 일치하면서도, 비국소 연산자를 지역적인 라플라시안의 Dirichlet‑to‑Neumann 맵으로 해석할 수 있게 한다.

전체적으로 이 논문은 배율이 있는 무한 메트릭 공간에서도 분수 (p)‑라플라시안을 체계적으로 정의하고, 해의 존재·정규성·안정성을 완전하게 입증함으로써, 기존의 유계 경우를 일반화하고, Poincaré 부등식이 없는 상황에서도 강력한 분석 도구를 제공한다.