강건한 비국소 대각선 정리와 확장 정리

기본 정보

• 논문 ID: 2305.05735
• 제목: Robust nonlocal trace and extension theorems
• 저자: Florian Grube, Moritz Kassmann (Universität Bielefeld)
• 분류: math.AP (편미분방정식 분석)
• 발표 시간: 2023년 5월 (v1), 2023년 6월 (v2)
• 논문 링크: https://arxiv.org/abs/2305.05735

초록

본 논문은 비국소 Dirichlet 및 Neumann 문제(분수 차수 p-Laplacian 포함)에 적용되는 Sobolev 형 함수 공간의 대각선 정리와 확장 정리를 증명한다. 이러한 결과들은 미분 가능 차수에 대해 강건하며, 이러한 의미에서 고전 대각선 정리 및 확장 정리와 일치한다.

연구 배경 및 동기

핵심 문제

본 논문은 유계 영역에서의 비선형 비국소 방정식을 연구한다: $(-\Delta)_p^s u = f \text{ in } \Omega, \quad u = g \text{ in } \mathbb{R}^d \setminus \Omega$

여기서 분수 차수 p-Laplacian은 다음과 같이 정의된다: $(-\Delta)_p^s u(x) = (1-s) \text{p.v.} \int_{\mathbb{R}^d} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{d+sp}} dy$

연구의 중요성

1. 비국소 연산자의 본질적 특성: 연산자의 비국소성으로 인해 문제 (1.1)이 적절하게 정의되려면 $\mathbb{R}^d \setminus \Omega$에서 $u(x)$의 값을 지정해야 함
2. 기존 방법의 한계: 전통적인 가정 $g \in W^{s,p}(\mathbb{R}^d)$는 부자연스러운 제약을 가함. 문제 (1.1)은 $g$가 $\mathbb{R}^d \setminus \Omega$에서 어떤 정칙성도 필요로 하지 않으며, 단지 어떤 가중 적분 가능성만 필요함
3. 연속성 부재: 기존 이론은 $s \to 1^-$일 때 연속성이 부족하여 고전 국소 이론을 복원할 수 없음

기존 방법의 제한

• 제차 문제($g=0$)는 상대적으로 단순하고 이미 연구됨
• 영이 아닌 데이터 $g$의 처리는 보통 $g \in W^{s,p}(\mathbb{R}^d)$와 같이 전체 공간에서 정칙성을 가정
• 타협안인 $g \in W^{s,p}(\Omega_\epsilon) \cap L^p(\mathbb{R}^d; (1+|x|)^{-d-sp}dx)$도 여전히 부자연스러움
• $s \to 1^-$일 때 고전 대각선 공간 $W^{1-1/p,p}(\partial\Omega)$를 복원할 수 없음

연구 동기

비국소 변분 방법에 적용 가능한 대각선 공간 $T^{s,p}(\Omega^c)$를 구성하여:

1. 외부 데이터 $g$의 정칙성을 자연스럽게 특성화
2. 매개변수 $s$에 대해 강건성을 가짐
3. $s \to 1^-$일 때 고전 대각선 및 확장 정리를 복원

핵심 기여

1. 새로운 대각선 공간 도입: 함수 공간 $T^{s,p}(\Omega^c)$ (정의역 $\Omega^c$)를 측도와 함께 정의: $\mu_s(dx) := 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$ 여기서 $d_x := \text{dist}(x, \partial\Omega)$
2. 강건한 대각선 정리 증명 (정리 1.2, $p>1$): 대각선 연산자 $\text{Tr}_s: V^{s,p}(\Omega|\mathbb{R}^d) \to T^{s,p}(\Omega^c)$ 는 연속 선형이며, 연속 선형 우역원(확장 연산자) $\text{Ext}_s: T^{s,p}(\Omega^c) \to V^{s,p}(\Omega|\mathbb{R}^d)$가 존재하고, 연속성 상수는 $\Omega$, $s$의 하한, $p$의 상한과 하한에만 의존
3. $p=1$ 경우로 확장 (정리 1.3): 대각선 연산자 $\text{Tr}_s: V^{s,1}(\Omega|\mathbb{R}^d) \to L^1(\Omega^c; \mu_s)$의 연속성을 증명하고, 연속 선형 우역원 $\text{Ext}_s: T^{s,1}(\Omega^c) \to V^{s,1}(\Omega|\mathbb{R}^d)$가 존재함을 보임
4. 극한 거동 정리 (정리 1.4): $s \to 1^-$일 때 다음을 증명:
   • $\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \to \|\gamma u\|_{L^p(\partial\Omega)}$ ($u \in W^{1,p}(\mathbb{R}^d)$)
   • $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \to [\gamma u]_{W^{1-1/p,p}(\partial\Omega)}$ ($u \in W^{1,p}(\mathbb{R}^d)$)
   • 고전 대각선 공간과 Besov 공간을 복원
5. Dirichlet 문제에 적용 (추론 1.7): 새로운 대각선 및 확장 이론을 이용하여 문제 (1.1)의 적절성과 에너지 추정을 증명

방법 상세 설명

작업 정의

에너지 공간 $V^{s,p}(\Omega|\mathbb{R}^d)$에서 외부 영역 $\Omega^c$의 대각선 공간으로의 사상을 연구: $V^{s,p}(\Omega|\mathbb{R}^d) := \{u: \mathbb{R}^d \to \mathbb{R} \text{ 가측} \mid [u]_{V^{s,p}(\Omega|\mathbb{R}^d)} < \infty\}$ 여기서 반범수는 다음과 같이 정의됨: $[u]_{V^{s,p}(A|B)}^p := (1-s) \iint_{A \times B} \frac{|u(x)-u(y)|^p}{|x-y|^{d+sp}} dx dy$

대각선 공간의 구성

핵심 혁신: 측도 $\mu_s$의 설계$\mu_s(dx) = 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$

이 측도의 설계는 다음과 같은 특성을 가짐:

1. 경계 근처의 거동: $(1-s)d_x^{-s}$ 항은 $s \to 1^-$일 때 $\mu_s$가 경계 $\partial\Omega$의 Hausdorff 측도로 약하게 수렴하도록 보장
2. 무한원점에서의 감소: $(1+d_x)^{-d-s(p-1)}$ 항은 무한원점에서 적절한 감소를 보장
3. 매개변수 강건성: 계수 $(1-s)$의 선택은 $s \to 1^-$일 때 측도의 스케일링이 자연스럽도록 함

대각선 공간 $T^{s,p}(\Omega^c)$의 정의 (식 1.6): $T^{s,p}(\Omega^c) := \{g: \Omega^c \to \mathbb{R} \text{ 가측} \mid \|g\|_{T^{s,p}(\Omega^c)} < \infty\}$ 범수는: $\|g\|_{T^{s,p}(\Omega^c)}^p := \|g\|_{L^p(\Omega^c;\mu_s)}^p + [g]_{T^{s,p}(\Omega^c)}^p$

반범수는 ($p>1$에 대해): $[f,g]_{T^{s,p}(\Omega^c)}^p := \iint_{\Omega^c \times \Omega^c} \frac{|f(x)-f(y)|^{p-2}(f(x)-f(y))(g(x)-g(y))}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \mu_s(dx)\mu_s(dy)$

핵심 설계 아이디어:

• 분모의 $(|x-y|+d_x+d_y) \wedge 1$ 항은 경계 근처에서 $(|x-y|) \wedge 1$이 되어 고전 Slobodeckij 반범수 구조를 복원
• 측도 $\mu_s$의 가중치는 공간 차원의 변화(d차원에서 (d-1)차원 경계로)를 보상

대각선 정리의 증명 전략

제3절: 대각선 매장의 증명

증명은 두 개의 명제로 나뉨:

1. 명제 3.9: $L^p$ 부분의 매장 $\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$
2. 명제 3.10: 반범수 부분의 매장 $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$

핵심 기술 도구:

(a) 근사 대각선 부등식 (정리 3.5): $u \in W^{s,p}(\Omega)$에 대해 다음을 증명: $\int_{\Omega} |u(x)|^p \tau_s(dx) + \int_{\Omega} \int_{\Omega} \frac{|u(x)-u(y)|^p}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \tau_s(dy)\tau_s(dx) \leq C \|u\|_{W^{s,p}(\Omega)}^p$

여기서 $\tau_s(dx) = (1-s)d_x^{-s}1_{\Omega}(x)dx$

증명 방법:

• Bessel 포텐셜 공간의 보간 이론 활용
• $\alpha_0 := s(1+p)/(2p)$, $\alpha_1 := 1 + s/(2p)$ 정의
• $H^{\alpha_i,p}(\mathbb{R}^d)$ ($i=0,1$)에 대한 연속성 증명 (보조정리 3.4)
• 실 보간 $[H^{\alpha_0,p}, H^{\alpha_1,p}]_\theta^p = W^{s,p}(\mathbb{R}^d)$를 통해 결과 도출

(b) Hardy 형 부등식 (정리 3.6, $p=1$ 경우): $(1-s) \int_{\Omega} \frac{|u(x)|}{d_x^s} dx \leq C\left(\|u\|_{L^1(\Omega)} + s(1-s) \int_{\Omega \times \Omega} \frac{|u(x)-u(y)|}{|x-y|^{d+s}} d(x,y)\right)$

증명 전략:

• 경계의 국소 Lipschitz 성질 활용
• 반공간에서의 최적 Hardy 부등식 적용 (정리 B.1)
• 단위 분할을 통해 전역 경우 처리

(c) 거리 함수의 기술 보조정리:

• 보조정리 3.7: $d_x^{-s}$를 $\Omega$에서의 적분으로 변환
• 보조정리 3.8: 균일 내부 원뿔 조건을 이용하여 하한 추정 설정

명제 3.9의 증명 개요 ($L^p$ 부분):

1. $\Omega^c = \Omega_1^{\text{ext}} \cup \Omega^{\text{ext}}_1$로 분해
2. $\Omega_1^{\text{ext}}$에서: 보조정리 3.8과 정리 3.5/3.6 활용
3. $\Omega^{\text{ext}}_1$에서: 직접 추정, 거리 함수의 하한 활용

명제 3.10의 증명 개요 (반범수 부분, $p>1$):

1. 적분 영역 분해: $\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$, $\Omega^c \times \Omega^\rho_{\text{ext}}$, $\Omega^\rho_{\text{ext}} \times \Omega^c$
2. 원거리 부분 ($\Omega^\rho_{\text{ext}}$): 명제 3.9와 거리 하한 활용
3. 근거리 부분 ($\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$):
   • 보조정리 3.8을 두 번 적용하여 중간 적분 변수 $z,w \in \Omega$ 도입
   • 정리 3.5를 이용하여 $\Omega \times \Omega$에서의 적분 추정
   • 핵심: 핵 함수 $a(z,w)$의 정밀한 추정 (식 3.19)

확장 정리의 증명 전략

제4절: 확장 연산자의 구성

핵심 아이디어: Whitney 분해를 기반으로 한 가중 평균 확장

(a) Whitney 분해:

• $\Omega$를 dyadic Whitney 분해 $\mathcal{W}(\Omega)$로 분할
• 각 cube $Q$는 다음을 만족: $\text{diam}(Q) \leq d(Q,\partial\Omega) \leq 4\text{diam}(Q)$
• $\mathcal{W}_{\leq\kappa}(\Omega)$를 변의 길이 $\leq 2^\kappa$인 cubes로 정의. 여기서 $\kappa := \lfloor\log_2(\rho/\sqrt{d})\rfloor$, $\rho := \text{inr}(\Omega)/2 \wedge 1/2$

(b) 단위 분할: $\{\phi_Q\}_{Q \in \mathcal{W}(\Omega)}$를 구성하여 $\sum_Q \phi_Q = 1_\Omega$를 만족

(c) 측도 $\tilde{\mu}_s$: 간소화된 측도 정의 (무한원점 감소 없음): $\tilde{\mu}_s(dz) = 1_{\Omega^c}(z)\frac{1-s}{d_z^s} dz$ 및 정규화 상수: $a_{Q,s} := \left(\tilde{\mu}_s(B_{6l_Q}(q_Q))\right)^{-1}$

보조정리 4.1은 다음을 증명: $C^{-1}l_Q^{s-d} \leq a_{Q,s} \leq C l_Q^{s-d}$

(d) 확장 연산자 정의 (식 4.11):