[논문 리뷰] Bounded Approximation Property for Sobolev spaces on simply-connected planar domains

Maria Roginskaya, Michał Wojciechowski|arXiv (Cornell University)|2014. 01. 28.

Mathematical Approximation and Integration참고 문헌 2인용 수 6

한 줄 요약

이 논문은 경계의 정(regularity)에 관계없이 유계이고 단순연결된 평면 영역 $\Omega$ 위에서 Sobolev 공간 $W^{1}_{1}(\theta)$가 유계 근사 성질(Bounded Approximation Property, BAP)을 갖는다는 것을 증명한다. 증명은 $\Omega$를 $\eta$-기초 영역과 고립된 조각들로 나누는 새로운 기하학적 분해에 기반하며, 이는 유일한 차수의 유계 선형 연산자를 통한 균일한 근사화를 가능하게 한다.

ABSTRACT

We show that Sobolev space $W^1_1(Ω)$ of any planar one-connected domain $Ω$ has the Bounded Approximation property. The result holds independently from the properties of the boundary of $Ω$. The prove is based on a new decomposition of a planar domain.

연구 동기 및 목표

• 유계이고 단순연결된 평면 영역에서 $W^{1}_{1}(\Omega)$의 유계 근사 성질(Bounded Approximation Property, BAP)을 확립하는 것.
• 이전 결과에서 Sobolev 공간의 BAP를 위해 요구되었던 경계의 정규성에 대한 전제 조건을 제거하는 것.
• 유한 차수의 연산자로 균일하게 근사 가능하도록 하기 위해 평면 영역을 $\eta$-기초 영역과 고립된 조각들로 나누는 기하학적 분해를 개발하는 것.
• 분해 성분의 개수를 $\varepsilon$의 함수로 나타내어 도메인의 형태가 얼마나 '나쁘게' 되어 있는지를 수량화하는 프레임워크를 제공하는 것.

제안 방법

• 경계가 구간과 원호로 이루어져 있으며, 곡선 길이에 대해 균일한 호일러 타입의 제어 조건을 만족하는 평면 영역인 $\eta$-기초 영역의 개념을 도입한다.
• 모든 유계이고 단순연결된 평면 영역 $\Omega$가 두 가족으로 분해됨을 증명하는 분할 정리(Partition Theorem)를 제시한다: $\mathcal{A}_{\varepsilon}$ (작은, $\eta$-기초 영역들)와 $\mathcal{B}_{\varepsilon}$ (고립된, 작은 조각들), 이는 지름, 겹침, 경계와의 거리에 대해 균일한 제어 조건을 만족한다.
• $\eta$-기초 영역에서 가가르도 경계 부등식과 파oincaré 부등식을 적용하여 함수와 그 기울기의 노름을 제어한다.
• 분해 요소로부터 구성된 유한 차수의 사영 연산자를 적용하여 $W^{1}_{1}(\Omega)$ 내 함수를 균일하게 유계된 연산자 노름을 갖는다.
• 분해가 위상적 및 메트릭 제약 조건을 만족하도록 보장한다: 서로소성, 유한한 겹침, $\mathcal{B}_{\varepsilon}$ 가 $\Omega$ 로부터의 거리가 균일하게 유지됨.
• 수직 투영과 국소적 리프시츠 성질을 이용하여 큰 조각들을 반복적으로 $M$-기초 성분들로 분할하여 지름과 경계 정규성에 대해 제어 가능한 형태로 만든다.

실험 결과

연구 질문

• RQ1 경계 $\partial\Omega$ 가 불규칙할지라도, 유계이고 단순연결된 평면 영역 $\Omega$ 에 대해 $W^{1}_{1}(\Omega)$ 가 유계 근사 성질(BAP)을 갖는가?
• RQ2 경계의 형태에 관계없이, 지름, 겹침, 경계와의 거리에 대해 균일한 제어 조건을 만족하는 $\eta$-기초 영역과 고립된 조각들로 이루어진 도메인의 기하학적 분해를 구성할 수 있는가?
• RQ3 분해의 매개변수($c$, $C$, $\eta$, $k$)와 도메인의 기하학적 복잡성 사이의 수량적 관계는 무엇인가?
• RQ4 이 분해는 $W^{1}_{1}(\Omega)$ 내 함수를 균일하게 유계된 노름을 갖는 유한 차수의 연산자로 근사하는 데 어떻게 기여하는가?
• RQ5 이 분해를 이용하여 $|\mathcal{A}_{\varepsilon}|$ 와 $|\mathcal{B}_{\varepsilon}|$ 가 $\varepsilon$ 에 따라 어떻게 증가하는지에 기반해 도메인의 형태가 얼마나 '나쁘게' 되어 있는지를 측정할 수 있는 척도를 정의할 수 있는가?

주요 결과

• 모든 유계이고 단순연결된 평면 영역 $\Omega$ 에 대해 $W^{1}_{1}(\Omega)$ 는 경계의 정규성에 관계없이 유계 근사 성질(Bounded Approximation Property)을 갖는다.
• 모든 $\Omega$ 에 대해 균일한 기하학적 및 위상적 제약 조건을 만족하는 분해를 허용하는 상수 $k \in \mathbb{N}$, $c, C, \eta > 0$ 가 존재한다.
• $\mathcal{A}_{\varepsilon}$ 내 각 집합은 $\eta$-기초 영역이며, 지름이 $[c\varepsilon, C\varepsilon]$ 범위에 있고, 겹침 수가 최대 $k$개 이하이다.
• $\mathcal{B}_{\varepsilon}$ 내 각 집합은 다른 $\mathcal{A}_{\varepsilon}$ 집합들과 고립되어 있으며, $\mathbb{R}^2 \setminus \Omega$ 에서 $\varepsilon$-근접한 영역에 위치한다.
• 분해는 $\bigcup \overline{A} \cup \bigcup \overline{B} \supset \Omega$ 를 보장하여 전체 도메인을 덮는다.
• 이 구성은 $\varepsilon$ 와 유한 집합 $S \subset W^{1}_{1}(\Omega)$ 에 대해 균일하게 유계된 연산자 노름을 갖는 유한 차수의 연산자를 통한 함수 근사화를 가능하게 한다.