[논문 리뷰] On Sobolev extension domains in $R^n$

Pavel Shvartsman|ArXiv.org|2009. 04. 06.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 7

한 줄 요약

이 논문은 $\mathbb{R}^n$ 내의 Sobolev $W^k_p$-확장 도메인을 경계까지의 거리에 기반한 내부 부분하이퍼볼릭 거리 체계를 사용하여 특성화한다. 특히, 곡선의 길이와 경계까지의 거리 사이의 특정 적분 조건을 만족하는 도메인이 $W^k_q$ 공간에 대해 확장 도메인임을 증명하며, 여기서 $q > p^*$ 이고 $p^* \in (n,p)$ 이다. 주요 결과는 이전의 평면 도메인에 대한 연구를 확장하며, $p > 2$ 인 $\mathbb{R}^2$ 에서도 메트릭 기반의 조건을 제공한다.

ABSTRACT

We describe a class of Sobolev $W^k_p$-extension domains $Ω\subset R^n$ determined by a certain inner subhyperbolic metric in $Ω$. This enables us to characterize finitely connected Sobolev $W^1_p$-extension domains in $R^2$ for each $p>2$.

연구 동기 및 목표

• 경계까지의 거리에서 유도된 내부 부분하이퍼볼릭 거리 체계를 사용하여 $\mathbb{R}^n$ 내의 $W^k_p$-확장 도메인을 특성화하는 것.
• 곡선을 따라 $\operatorname{dist}(z,\partial\Omega)^{\frac{1-n}{p-1}}$ 의 적분 가능성이 보장되는 조건을 근거로 도메인이 $W^k_p$-확장 도메인임을 보장하는 충분조건을 설정하는 것.
• 유한 연결된 평면 도메인에 대해 $p > 2$ 인 경우 $W^1_p$-확장 도메인으로서의 완전한 특성화를 기하적 적분 조건을 통해 제시하는 것.
• 존슨, 브럭스-코스켈라, 윌슨의 이전 결과들을 메트릭 이론적 프레임워크를 통해 통합하고 확장하는 것.
• 도메인이 부분하이퍼볼릭 조건을 만족할 경우 소볼레프 함수의 최대 함수가 $L_q$ 에 속함을 보여, 최대 함수 추정을 통한 확장을 가능하게 하는 것.

제안 방법

• 곡선 $\gamma \subset \Omega$ 의 부분하이퍼볼릭 길이를 $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\alpha-1} \, ds(z)$ 로 정의하며, 여기서 $\alpha = \frac{p-n}{p-1}$ 이고, 이로부터 부분하이퍼볼릭 거리 $d_{\alpha,\Omega}(x,y)$ 를 유도한다.
• 모든 $x,y \in \Omega$ 에 대해 $\|x-y\| \leq \theta$ 를 만족할 때, $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\frac{1-n}{p-1}} \, ds(z) \leq C\|x-y\|^{\frac{p-n}{p-1}}$ 를 만족하는 도메인은 $\mathbb{R}^n$ 의 정규 부분집합이 되며, 최대 함수 기법의 적용이 가능해진다.
• 하디-리틀우드 최대 함수 정리를 적용하여 $|\nabla^k f|$ 의 $L_{p^*}$-노름과 $f$ 의 $L_q$-노름을 통해 $f^\sharp_{k,\Omega}$ 의 $L_q(\Omega)$ 내 노름을 제어한다.
• 예외적인 최대 함수 기준을 이용한 캘더론 유형의 확장 조건: 함수 $f \in L_p(S)$ 가 $W^k_p(\mathbb{R}^n)$ 으로 확장 가능할 조건은 $f^\sharp_{k,S} \in L_p(S)$ 이며, 이 노름들은 정규성 매개변수에 따라 상수배로 등가임을 보인다.
• 부분하이퍼볼릭 조건이 $\Omega$ 의 정규성을 유도함을 증명하여, [S4]의 확장 기준을 적용함으로써 $f \in W^k_q(\Omega)$ 가 $W^k_q(\mathbb{R}^n)$ 으로 $q > p^*$ 에 대해 확장됨을 결론 내린다.
• 부분하이퍼볼릭 메트릭 프레임워크와 최대 함수 추정, 보간 기법을 결합하여 $\|f^\sharp_{k,\Omega}\|_{L_q(\Omega)} \leq C\|f\|_{W^k_q(\Omega)}$ 를 도출함으로써 확장 증명을 완성한다.

실험 결과

연구 질문

• RQ1 도메인 $\Omega \subset \mathbb{R}^n$ 에 어떤 기하적 조건이 성립하면, 모든 함수가 $W^k_p(\Omega)$ 에서 $W^k_p(\mathbb{R}^n)$ 으로 확장될 수 있는가?
• RQ2 곡선을 따라 $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\alpha-1} \, ds(z)$ 로 정의된 부분하이퍼볼릭 거리 체계가 어떻게 확장 도메인을 특성화하는 데 사용될 수 있는가?
• RQ3 $p > 2$ 인 경우, 유한 연결된 평면 도메인 $\Omega$ 가 $W^1_p$-확장 도메인이 되기 위한 정확한 조건은 무엇인가?
• RQ4 불릿지어나 $(\varepsilon,\delta)$-도메인이 아닌, 경계가 불규칙한 도메인에도 최대 함수 기준을 적용할 수 있는가?
• RQ5 부분하이퍼볼릭 거리와 $W^k_\infty$-확장 도메인의 맥락에서의 준유클리드 성질 사이의 관계는 무엇인가?

주요 결과

• 모든 $x,y \in \Omega$ 에 대해 $\|x-y\| \leq \theta$ 를 만족할 때, $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\frac{1-n}{p-1}} \, ds(z) \leq C\|x-y\|^{\frac{p-n}{p-1}}$ 를 만족하는 도메인 $\Omega \subset \mathbb{R}^n$ 은 모든 $k \geq 1$ 과 $q > p^*$ 에 대해 $W^k_q$-확장 도메인이다. 여기서 $p^* \in (n,p)$ 는 $n$, $p$, $C$ 에만 의존한다.
• 모든 $n=2$ 이고 $p > 2$ 인 경우, 유한 연결된 유계 평면 도메인 $\Omega$ 는 모든 $x,y \in \Omega$ 에 대해 $x$ 와 $y$ 를 연결하는 정칙 곡선 $\gamma \subset \Omega$ 가 존재하고, $\int_\gamma \operatorname{dist}(z,\partial\Omega)^{\frac{1}{1-p}} \, ds(z) \leq C\|x-y\|^{\frac{p-2}{p-1}}$ 를 만족할 때, $W^1_p$-확장 도메인임을 보장한다.
• 부분하이퍼볼릭 거리 $d_{\alpha,\Omega}$ 는 $\alpha = \frac{p-n}{p-1}$ 일 때 $\Omega$ 에 정규적인 구조를 유도하며, 이는 $\mathbb{R}^n$ 의 정규 부분집합이 되게 하여 최대 함수 기법의 적용을 가능하게 한다.
• 부분하이퍼볼릭 조건 하에서 소볼레프 함수 $f \in W^k_q(\Omega)$ 의 최대 함수 $f^\sharp_{k,\Omega}$ 는 $\|f^\sharp_{k,\Omega}\|_{L_q(\Omega)} \leq C\|f\|_{W^k_q(\Omega)}$ 를 만족하며, 이는 $W^k_q(\mathbb{R}^n)$ 으로의 확장을 보장한다.
• 결과는 $p = \infty$ 에까지 확장되며, 이러한 도메인은 준유클리드적이며 따라서 모든 $k \geq 1$ 에 대해 $W^k_\infty$-확장 도메인임을 보장한다. 이는 윌슨과 조빈의 결과와 일치한다.
• 증명은 $|\nabla^k f|$ 의 $L_{p^*}$-노름과 $f$ 의 $L_q$-노름에 대해 하디-리틀우드 최대 함수 정리를 적용함으로써 이루어지며, 최대 함수 추정이 확장 노름을 제어함을 보여준다.