[논문 리뷰] Neumann problems for $p$-harmonic functions, and induced nonlocal operators in metric measure spaces

Luca Capogna, Josh Kline외 3명|Aaltodoc (Aalto University)|2022. 04. 01.

Nonlinear Partial Differential Equations인용 수 7

한 줄 요약

이 논문은 이중성 조건을 만족하고 Poincaré 부등식을 갖는 유계 영역에서 $p$-Laplacian의 Neumann 문제에 대해 존재성, 전역 Hölder 연속성 및 안정성을 확립한다. 초등적 확장 방법과 Caffarelli–Silvestre의 확장 기법을 이용하여, $2$-Poincaré 부등식이 존재하지 않을 경우에도, $0<\theta<1$에 대해 컴팩트한 이중성 조건을 만족하는 메트릭 측도 공간에서 분수 $p$-Laplacian $(-\Delta_p)^\theta$를 구성한다. 비균형 방정식 $(-\Delta_p)^\theta u = f$에 대해 존재성, 정규성, Harnack 부등식 및 안정성을 증명한다. 본 결과는 유클리드, 리만 기하학 및 카르노 군 설정에서의 이전 연구를 통합하고 확장한다.

ABSTRACT

Following ideas of Caffarelli and Silvestre in~\cite{CS}, and using recent progress in hyperbolic fillings, we define fractional $p$-Laplacians $(-Δ_p)^θ$ with $0

연구 동기 및 목표

• 이중성 조건을 만족하고 $p$-Poincaré 부등식을 갖는 유계 영역에서 이중성 메트릭 측도 공간의 $p$-Laplacian에 대한 Neumann 문제에 대해 존재성, 전역 Hölder 연속성 및 안정성을 확립한다.
• 2-Poincaré 부등식이 성립하지 않을 경우에도 Caffarelli–Silvestre의 분수 라플라시안 기법을 일반적인 컴팩트한 이중성 메트릭 측도 공간으로 일반화한다.
• 확장된 공간에서 경계 해를 통해, $0<\theta<1$에 대해 이러한 공간에서 분수 $p$-Laplacian $(-\Delta_p)^\theta$를 정의하고 분석한다.
• 특히 [32]와의 일치를 확보하기 위해, 확장된 공간에서의 이중성 및 Poincaré 부등식을 포함한 주요 기하학적·해석적 성질을 검증한다.
• 이전 결과 [53]에서의 오른쪽 항 $f$에 대한 유계성 가정을 제거한다.

제안 방법

• 초등적 메시지 기법을 사용하여, $1$-Poincaré 부등식을 만족하고, 경계 $Z=\partial X$와 비-리프시츠 동치인 국소적으로 컴팩트하지만 비유계인 이중성 메트릭 측도 공간 $(X,d,\mu)$를 구성한다.
• Sobolev 함수 $\phi$에 대해, $p$-Laplacian의 약한 형태의 Neumann 문제를 적용한다: $\int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla \phi\,d\mu = \int_{\partial\Omega} \phi f\,d\nu$.
• 공간 내 구에서의 반복 및 감쇠 추정을 통해, Neumann 데이터 $f$의 변화에 대한 해의 전역 Hölder 연속성과 안정성을 확립한다.
• 확장된 문제에서의 Dirichlet-to-Neumann 사상에 기반하여, 공간 $X$에서의 확장 문제를 통해 $Z$ 상에서의 분수 $p$-Laplacian $(-\Delta_p)^\theta$를 구성한다.
• 경계에 유도된 측도 $\mu_\omega$에서의 이중성 성질과 $2$-Poincaré 부등식을 검증하여, 분수 연산자의 타당성을 보장한다.
• 감소하는 반경 $r_n \to R/2$를 갖는 구 $B(x,r_n)$에서의 반복 감쇠 추정을 사용하여, $L^p$ 노름과 절단 기법을 활용해 해의 유계성을 증명한다.

실험 결과

연구 질문

• RQ1 2-Poincaré 부등식을 갖지 않는 컴팩트한 이중성 메트릭 측도 공간에서 분수 $p$-Laplacian을 정의할 수 있는가?
• RQ2 이중성 메트릭 측도 공간에서 $p$-Poincaré 부등식을 갖는 $p$-Laplacian의 Neumann 문제는 전역 Hölder 연속성과 안정성을 갖는가?
• RQ3 초등적 메시지 기반으로 Caffarelli–Silvestre의 확장 기법을 비유클리드 메트릭 측도 공간으로 일반화할 수 있는가?
• RQ4 이 논문에서 구성된 분수 $p$-Laplacian은 유클리드 및 리만 기하학 설정에서 알려진 정의와 일치하는가?
• RQ5 $f$에 대한 유계성 가정을 제거할 수 있는가?

주요 결과

• 이중성 조건과 $p$-Poincaré 부등식의 구조적 가정 하에, 경계에서의 $L^q$-데이터 $f$에 대해 Neumann 문제의 해는 전역 Hölder 연속성과 안정성을 갖는다.
• 2-Poincaré 부등식이 존재하지 않을 경우에도, 임의의 컴팩트한 이중성 메트릭 측도 공간 $Z$에서, 확장된 문제의 Dirichlet-to-Neumann 사상에 기반하여 분수 $p$-Laplacian $(-\Delta_p)^\theta$를 구성할 수 있다.
• $p=2$인 경우, 구성된 분수 라플라시안은 문헌상의 고전적 정의와 일치하여 힐베르트 공간의 경우에 접근법의 타당성을 검증한다.
• 해결을 위해 $Z$의 초등적 메시지를 통해 $1$-Poincaré 부등식을 만족하는 공간 $X$를 구성하며, $Z$는 $\partial X$와 비-리프시츠 동치이므로 확장 기법을 가능하게 한다.
• 논문은 Neumann 문제에서 $f$에 대한 유계성 가정을 제거하였으며, 수축 반경을 갖는 구에서의 반복 감쇠 추정을 통해 $B(x,R/2)$ 내에서 해가 유계임을 증명한다.
• 이 방법은 $(-\Delta_p)^\theta u = f$의 해에 대해 Harnack 부등식과 안정성을 제공하며, 반복 과정에서 명시적인 감쇠 속도를 제공한다.