[논문 리뷰] A geometric characterization of planar Sobolev extension domains

Pekka Koskela, Tapio Rajala외 1명|arXiv (Cornell University)|2015. 02. 13.

Nonlinear Partial Differential Equations인용 수 5

한 줄 요약

이 논문은 1 < p < 2인 W^{1,p} 공간에 대해 유계이고 단순연결인 평면 영역이 소볼레프 확장 연산자를 갖는지에 대한 기하적 특성화를 제공한다. 이는 보완 영역 내에서 임의의 두 점을 연결하는 곡선이 경계와의 거리에 대한 가중 적분 조건을 만족하는 영역임을 보여준다. 주요 기여는 이중성 결과이다: 유계의 조르당 영역 Ω가 W^{1,p}-확장 영역이 되기 위한 필요충분조건은 그 보완 R² \ Ω가 허들러 쌍측 지수 q = p/(p-1)에 대해 W^{1,q}-확장 영역이 되는 것이다.

ABSTRACT

We characterize bounded simply-connected planar $W^{1,p}$-extension domains for $1 &lt; p &lt;2$ as those bounded domains $Ω\subset \mathbb R^2$ for which any two points $z_1,z_2 \in \mathbb R^2 \setminus Ω$ can be connected with a curve $γ\subset \mathbb R^2 \setminus Ω$ satisfying $$\int_γ dist(z,\partial Ω)^{1-p}\, dz \lesssim |z_1-z_2|^{2-p}.$$ Combined with known results, we obtain the following duality result: a Jordan domain $Ω\subset \mathbb R^2$ is a $W^{1,p}$-extension domain, $1 &lt; p &lt; \infty$, if and only if the complementary domain $\mathbb R^2 \setminus \barΩ$ is a $W^{1,p/(p-1)}$-extension domain.

연구 동기 및 목표

• 1 < p < 2인 유계이고 단순연결인 평면 W^{1,p}-확장 영역에 대한 기하적 특성화를 제공하는 것.
• 평면 내 조르당 영역과 그 보완 영역 간의 확장 성질 간의 이중성을 규명하는 것.
• 외부 영역 내 곡선 적분 조건을 포함하는 날카운 기하 조건을 규명하여 기존의 소볼레프 확장 영역 결과를 확장하는 것.
• 모든 p ∈ (1, ∞)에 대해 평면 W^{1,p}-확장 영역의 기하적 특성화를 통합하고 완성하는 것.

제안 방법

• R² \ Ω 영역 내 곡선 조건 도입: 보완 영역 내 임의의 두 점에 대해, ∫_γ dist(z, ∂Ω)^{1−p} ds(z) ≤ C(Ω,p)|z₁ − z₂|^{2−p} 를 만족하는 곡선 γ ⊂ R² \ Ω 가 존재하는 조건.
• 필요성 증명을 위해 초등기하학과 윌슨 타입 분해를 이용해 곡선 조건에서 확장 연산자를 구성하는 것.
• 충분성 증명을 위해 곡선 조건을 하이퍼볼릭 반사선으로 옮기고 윌슨 집합의 그림자 사영을 사용하는 것.
• 보완 영역의 기하학을 제어하고 확장 성질과 연결하기 위해 등각 용량과 존 영역 기법을 적용하는 것.
• 허들러 쌍측 지수를 통한 이중성 적용: p ∈ (1,2)에 대한 곡선 조건을 정리 1.2를 통해 q > 2에 대한 기존 조건과 연결하는 것.
• 메비우스 변환(역행)에 대한 불변성을 활용해 문제를 경계점 근처의 국소 분석으로 줄이고 일반 영역으로 결과를 확장하는 것.

실험 결과

연구 질문

• RQ1 유계이고 단순연결인 평면 영역 Ω에 대해, 1 < p < 2일 때 W^{1,p}-확장 영역이 되기 위한 기하적 조건은 무엇인가?
• RQ2 공액 지수 p와 q = p/(p−1)에 대해, 조르당 영역 Ω와 그 보완 R² \ Ω의 확장 성질은 어떻게 관련되어 있는가?
• RQ3 외부 영역 내 곡선 조건을 사용하여 W^{1,p}(Ω) 함수의 유계 확장 연산자를 구성할 수 있는가?
• RQ4 하이퍼볼릭 메트릭과 윌슨 분해의 역할은 무엇인가?
• RQ5 p ∈ (1,2)에서의 확장 성질이 q > p인 s < q에 대해 전체 구간의 지수에 대해 성립하는가?

주요 결과

• 유계이고 단순연결인 평면 영역 Ω는 1 < p < 2일 때, 임의의 두 점 z₁, z₂ ∈ R² \ Ω에 대해, ∫_γ dist(z, ∂Ω)^{1−p} ds(z) ≤ C(Ω,p)|z₁ − z₂|^{2−p} 를 만족하는 곡선 γ ⊂ R² \ Ω 가 존재하는 것과 필요충분조건이다.
• 이중성 결과가 성립한다: 조르당 영역 Ω는 W^{1,p}-확장 영역이 되기 위한 필요충분조건은 보완 R² \ Ω 가 q = p/(p−1)에 대해 W^{1,q}-확장 영역이 되는 것이다.
• 1 < p < 2일 때, 보완 영역 내 이러한 곡선의 존재는 Ω가 모든 s < p + ε에 대해 W^{1,s}-확장 영역이 되며, 따라서 개구간의 지수에 대해 성립함을 의미한다.
• p = 2의 경우 기존 결과를 통해 회복된다: Ω는 W^{1,2}-확장 영역이 되기 위한 필요충분조건은 쿼드리식 도메인, 즉 균일한 조르당 영역임을 의미한다.
• Ω가 W^{1,s}-확장 영역이 되는 지수 s의 집합은 개구간이며, (1, ∞), (1, q) (q ≤ 2), 또는 (q, ∞) (q > 2)의 형태를 가진다.
• 확장 성질은 메비우스 변환(역행)에 대해 불변이며, 이는 경계점 근처의 국소 분석으로 문제를 줄이고 국소에서 국소적 결과를 전역적 결과로 확장할 수 있도록 한다.