[논문 리뷰] Extending Sobolev Functions with Partially Vanishing Traces from Locally (epsilon,delta)-Domains and Applications to Mixed Boundary Problems

Kevin Brewster, Dorina Mitrea외 2명|arXiv (Cornell University)|2012. 08. 21.

Advanced Mathematical Modeling in Engineering참고 문헌 13인용 수 6

한 줄 요약

이 논문은 국소적 $(\varepsilon,\delta)$-도메인에서 경계의 일부가 사라지는 트레이스를 가진 소볼레프 함수에 대해 유계 선형 확장 연산자를 존재시킴으로써, 고차수 소볼레프 공간을 위한 함수해석학적 프레임워크를 구축한다. 주요 기여는 이러한 도메인에서 고차수 타원형 시스템에 대한 혼합 경계값 문제의 잘 정의됨을 보여주는 것으로, 특히 강한 타원성과 아흐르포르스 정규성 조건 하에서 $p$가 2에 가까울 경우에 해당한다.

ABSTRACT

We prove that given any positive integer $k$, for each open set $Ω$ and any closed subset $D$ of its closure such that $Ω$ is locally an (epsilon,delta)-domain near points in the boundary of $Ω$ not contained in $D$ there exists a linear and bounded extension operator $E$ mapping, for each $p\in[1,\infty]$, the space $W^{k,p}_D(Ω)$ into $W^{k,p}_D({\mathbb{R}}^n)$. Here, with $O$ denoting either $Ω$ or the entire ambient, the space $W^{k,p}_D(O)$ is defined as the completion in the classical Sobolev space $W^{k,p}(O)$ of compactly supported smooth functions whose supports are disjoint from $D$. In turn, this result is used to develop a functional analytic theory for the class $W^{k,p}_D(Ω)$ (including intrinsic characterizations, boundary traces and extensions results, interpolation theorems, among other things) which is then employed in the treatment of mixed boundary value problems formulated in locally (epsilon,delta)-domains.

연구 동기 및 목표

• 닫힌 부분집합 $D \subset \overline{\Omega}$ 에서 부분적으로 사라지는 트레이스를 가진 소볼레프 공간 $W^{k,p}_D(\Omega)$ 에 대한 기능해석학적 이론을 개발하기 위해.
• 도메인 $\Omega$ 가 $\partial\Omega \setminus D$ 근처에서 국소적으로 $(\varepsilon,\delta)$-도메인일 경우, $W^{k,p}_D(\Omega)$ 에 속하는 함수들을 $W^{k,p}_D(\mathbb{R}^n)$ 으로 선형적이고 유계로 확장하는 연산자로 확장하기 위해.
• 확장 이론을 비리프시츠 도메인에서의 고차수 타원형 시스템에 대한 혼합 경계값 문제의 해법에 적용하기 위해.
• 강한 타원성 조건과 $p$가 2에 가까운 조건 하에서 $(\varepsilon,\delta)$-도메인에서 비동차 파oisson 및 뉴먼 문제의 잘 정의됨을 확립하기 위해.

제안 방법

• 위트니 유형 분해와 분할 단위를 기반으로 한 새로운 접근을 통해, $W^{k,p}_D(\Omega)$ 에서 $W^{k,p}_D(\mathbb{R}^n)$ 으로 가는 선형 확장 연산자 $\mathfrak{E}_{k,D}$ 를 구성한다.
• 실수 및 복소 해석학적 보간 이론을 활용하여 트레이스 공간을 특성화하고, $L^p$ 에서 베소프 공간으로 결과를 확장한다.
• 국소적 $(\varepsilon,\delta)$-도메인의 개념을 활용하여, 고전적 확장 정리들을 리프시츠 도메인을 초월해 일반화한다.
• 개방 연산자 정리와 쌍대성을 활용하여 확장 및 트레이스 연산자의 유계성을 보장한다.
• 해결책이 경계 근처에서의 행동을 제어하기 위해 강한 타원성 조건과 경계의 아흐르포르스 정규성에 의존한다.
• 비동차 문제를 분해 $u = v + w$ 를 통해 딜리클레 문제로 환원한다. 여기서 $v$ 는 트레이스를 일치시키고, $w$ 는 잔여 문제를 해결한다.

실험 결과

연구 질문

• RQ1 도메인 $\Omega$ 가 $\partial\Omega \setminus D$ 근처에서 국소적으로 $(\varepsilon,\delta)$-도메인일 경우, $\overline{\Omega}$ 의 닫힌 부분집합 $D$ 에서 부분적으로 사라지는 트레이스를 가진 소볼레프 함수가 $\mathbb{R}^n$ 으로 선형적이고 유계로 확장될 수 있는가?
• RQ2 공간 $W^{k,p}_D(\Omega)$ 의 내재적 특성, 즉 트레이스 및 확장 성질은 무엇인가?
• RQ3 국소적 $(\varepsilon,\delta)$-도메인에서 고차수 타원형 시스템에 대한 혼합 경계값 문제가 잘 정의되기 위한 기하학적 및 분석적 조건은 무엇인가?
• RQ4 아흐르포르스 정규 경계를 가진 비리프시츠 도메인에서 $p$가 2에 가까운 경우, 파oisson 및 뉴먼 문제의 잘 정의됨은 어떻게 확립할 수 있는가?

주요 결과

• 모든 $k \in \mathbb{N}$, $p \in [1,\infty]$, 그리고 모든 닫힌 집합 $D \subset \overline{\Omega}$ 에 대해, $\Omega$ 가 $\partial\Omega \setminus D$ 근처에서 국소적으로 $(\varepsilon,\delta)$-도메인일 경우, $W^{k,p}_D(\Omega)$ 에서 $W^{k,p}_D(\mathbb{R}^n)$ 으로 가는 선형적이고 유계인 확장 연산자 $\mathfrak{E}_{k,D}$ 가 존재한다.
• 공간 $W^{k,p}_D(\Omega)$ 는 내재적 특성, 트레이스 연산자, 보간 정리 등을 포함한 완전한 기능해석학적 이론을 갖는다.
• 비동차 파oisson 문제 $\mathcal{L}u = f$, $\mathscr{R}^{(m)}_{\Omega \to \partial\Omega}u = \dot{g}$ 는 $p$ 가 2의 작은 근처에 있을 경우 잘 정의되며, 구체적으로 $\frac{p_*}{p_* - 1} < p < p_*$ 를 만족한다. 여기서 $p_*$ 는 $n, m, M, d, \Omega, A, \kappa$ 에 따라 결정된다.
• 비동차 뉴먼 문제 역시 동일한 $p$ 범위에서 잘 정의되며, 해는 차수 $m-1$ 이하의 조화다항식을 제외하고 유일하다. 이는 모든 $v \in \mathcal{P}_{m-1}(\Omega)$ 에 대해 $\langle f, v \rangle = 0$ 이라는 호환 조건이 성립할 경우에 해당한다.
• 이러한 결과는 캘러존과 스테인의 고전적 확장 정리를 리프시츠 도메인을 초월하여, 부분적으로 사라지는 트레이스를 가진 국소적 $(\varepsilon,\delta)$-도메인의 더 넓은 범주로 일반화한다.
• 이 이론은 강한 타원성 조건과 아흐르포르스 정규 경계 조건 하에서 유계 가측 계수를 가진 고차수 타원형 시스템에 적용 가능하며, $p$가 2에 가까운 경우 $W^{m,p}$-공간에서의 해법 가능성을 보장한다.