Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

기술 요약: 지역적 분수형 $p$-라플라시안에 대한 디리클레 문제의 최적 안정성

문제 정의
본 논문은 유계 리프시츠 영역 $\Omega \subset \mathbb{R}^d$ ($1 < p < \infty$ 및 $sp > 1$)에서 정의된 지역적 분수형$p$-라플라시안(regional fractional $p$-Laplacian), $(-\Delta)^s_{p,\Omega}$와 관련된 디리클레 경계값 문제의 $s \to 1^-$일 때의 점근적 거동을 조사한다. 문제는 다음과 같이 주어진다:
$$\begin{cases} (-\Delta)^s_{p,\Omega} u_s = f_s & \text{in } \Omega, \\ \gamma^s_0(u_s) = g_s & \text{on } \partial\Omega, \end{cases}$$
여기서 $\gamma^s_0$는 $W^{s,p}(\Omega)$를 분수형 트레이스 공간 $W^{s-1/p,p}(\partial\Omega)$로 매핑하는 트레이스 연산자이다. 이 연산자는 $s \to 1^-$일 때(고전적인 $p$-라플라시안 $-\Delta_p$를 회복) 및 $s \to 0^+$일 때의 일관된 점근적 거동을 보장하기 위해 상수 $C_{d,p,s}$에 의해 정규화된다.

주요 목적은 $s \to 1^-$로 갈 때 약해해(weak solution) $u_s$가 극한 해 $u_1$로 수렴하는 최적 안정성(자연 에너지 공간에서의 강한 수렴)을 확립하는 것이다. 부차적인 목적은 연관된 디리클레 고유쌍(eigenpairs) $(\lambda_s, \phi_s)$의 점근적 안정성을 분석하는 것이다.

방법론 및 프레임워크
이 분석은 다음과 같은 몇 가지 핵심적인 기술적 구성 요소에 의존한다:

1. 점근적 수렴 정의: 기저가 되는 공간 $W^{s,p}_0(\Omega)$와 트레이스 공간이 $s$에 따라 변하므로, 표준적인 약한 수렴(weak convergence)만으로는 불충분하다. 저자는 다음을 도입한다:

   • 점근적 약한 수렴(Asymptotic Weak Convergence): 함수열 $(f_s)$가 $f_1$로 점근적으로 약하게 수렴한다는 것은, 해당 열이 유계이며 $L^p$에서 강하게 수렴하는 수열에 대해 약-강 수렴 성질을 만족함을 의미한다.
   • 점근적 강한 수렴(Asymptotic Strong Convergence): 경계 데이터 $(g_s)$가 적절한 트레이스 노름(norm) 하에서 $g_1$로 강하게 수렴한다.

2. 강건한 보간 및 컴팩트성: 본 증명은 $1/p < \eta < < 1$인 $W^{\eta,p}(\Omega)$에서 해 수열 $(u_s)$의 컴팩트성을 확립하기 위해 강건한 보간 부등식(Foghem [19]에서 차용)을 활용한다. 이러한 컴팩트성은 경계 거동을 다루는 데 있어 매우 중요한데, 이는 본 연구에서 주요 난제로 지적되었다.

3. 트레이스 공간의 점근적 성질: 연구의 상당 부분은 $W^{s-1/p,p}(\partial\Omega)$ 트레이스 공간의 점근적 성질에 할애된다. 저자는 $s \to 1^-$일 때 이 공간들이 고전적 트레이스 공간 $W^{1-1/p,p}(\partial\Omega)$로 수렴함을 증명한다. 여기에는 트레이스 공간 내 유계 가족의 점근적 컴팩트성 확립과, $\liminf$을 통한 $W^{1-1/p,p}(\partial\Omega)$의 특징 규명이 포함된다.

4. 강건한 푸앵카레-프리드리히 부등식: $s$가 1에 가까울 때 균일하게 성립하는 여러 변형의 강건한 푸앵카레 유형 부등식을 확립한다. 이러한 부등식들은 에너지 범함수의 코어시비티(coercivity)와 문제의 적절한 해 존재성(well-posedness)을 증명하는 데 필수적이다.

5. $\Gamma$-수렴: 디리클레 문제와 관련된 에너지 범함수들이 $W^{\eta,p}(\Omega)$의 강한 위상에서 $\Gamma$-수렴함을 보인다. 이는 최소화자(minimizer)의 수렴에 대한 변분적 프레임워크를 제공한다.

주요 기여 및 결과

• 정리 1.1 (해의 최적 안정성): 소스 항 $f_s$의 점근적 약한 수렴과 경계 데이터 $g_s$의 점근적 강한 수렴 가정 하에, 약해해 $u_s$의 열은 최적의 의미에서 $u_1$으로 강하게 수렴한다:
  $$\lim_{s \to 1^-} \|u_s - u_1\|_{W^{s,p}(\Omega)} = 0.$$
  이 결과는 $W^{\eta,p}(\Omega)$ (단, $\eta < 1$)에서의 수렴만을 확립했던 이전의 연구 결과(예: Foghem [19])를 개선한 것이다.

• 정리 1.2 (고유쌍의 안정성): 지역적 분수형 $p$-라플라시안의 정규화된 디리클레 고유쌍 $(\lambda_s, \phi_s)$에 대하여, $\lambda_{s_n} \to 1^-$인 부분 수열 $s_n$이 존재하여 고유값은 수렴하고($\lambda_{s_n} \to \lambda_1$), 고유함수는 에너지 노름에서 강하게 수렴한다:
  $$\lim_{n \to \infty} \|\phi_{s_n} - \phi_1\|_{W^{s_n,p}(\Omega)} = 0.$$

• 트레이스 공간의 특징 규명 (정리 3.3 및 3.4): 본 논문은 트레이스 공간 $W^{s-1/p,p}(\partial\Omega)$의 점근적 컴팩트성을 확립하고, 분수형 노름의 $\liminf$의 유계성을 통해 극한 공간 $W^{1-1/p,p}(\partial\Omega)$를 규명한다.

• 강건한 부등식 (섹션 4): 저자는 $s \in (s_0, 1)$에 대해 균일하게 성립하는 강건한 푸앵카레 및 프리드리히 부등식을 도출하며, 여기에는 양의 하우스도르프 측량을 가진 부분집합 $\Gamma_0 \subset \partial\Omega$에 대한 부분 경계 조건의 경우도 포함된다.

의의 및 주장
본 논문은 지역적 분수형 $p$-라플라시안의 디리클레 문제에 대한 약해해의 수렴이 새로운 결과임을 주장한다. 그 의의는 이전 문헌에서 확립된 더 약한 수렴인 $W^{\eta,p}(\Omega)$ ($\eta < 1$)가 아니라, 최적 수렴( $W^{s,p}$ 노름에서의 강한 수렴)을 달성했다는 점에 있다.

저자는 이 분석의 주된 어려움이 경계 $\partial\Omega$ 근처에서의 약해해의 거동에서 기인함을 강조한다. 트레이스 연산자의 강건성과 트레이스 공간의 점근적 성질을 확립함으로써, 본 논문은 이 장애물을 극복하였다. 이 결과들은 비국소적(nonlocal) 변분 문제와 고전적 국소(local) 문제 사이의 가교 역할을 하며, 불균질한 경계 조건을 가진 지역적 연산자의 맥락에서 $s \to 1^-$ 극한에 대한 엄밀한 토대를 제공한다. 또한, 본 연구는 전체 분수형 $p$-라플라시안( $\mathbb{R}^d$ 상에 정의된)에 대한 결과를 유계 영역 내의 지역적 연산자로 확장함으로써, 비국소적-국소적 점근성(nonlocal-to-local asymptotics) 관련 문헌에 기여한다.