[논문 리뷰] The Relative Capacity

Markus Biegert|ArXiv.org|2008. 06. 09.

Analytic and geometric function theory참고 문헌 17인용 수 8

한 줄 요약

이 논문은 열린 집합 $\Omega \subset \mathbb{R}^N$ 의 클로저 위에서 정의된 상대적 $p$-용적도 $\operatorname{Cap}_{p,\Omega}$ 를 도입하며, 이는 고전적 $p$-용적도를 일반화하고 불규칙한 경계 위에서 소볼레프 함수의 트레이스를 특성화하는 데 도구로 쓰인다. 주요 기여는 $W^{1,p}_0(\Omega)$ 공간을 $\partial\Omega$ 에서 상대적 용적도에 대해 거의 모든 곳에서 0이 되는 조건을 통해 특성화하는 것으로, 기존 결과를 용적론적 트레이스 이론을 통해 일반적인 열린 집합으로 확장한다.

ABSTRACT

The purpose of this article is to introduce the relative $p$-capacity $\Cap_{p,Ω}$ with respect to an open set $Ω$ in $\IR^N$. It is a Choquet capacity on the closure of $Ω$ and extends the classical $p$-capacity $\Cap_p$ in the sense that $\Cap_{p,Ω}=\Cap_p$ if $Ω=\IR^N$. The importance of the relative $p$-capacity stems from the fact that a large class of Sobolev functions defined on a 'bad domain' admit a trace on the boundary $\partialΩ$ which is then unique up to $\Cap_{p,Ω}$-polar set. As an application we prove a characterization of $W^{1,p}_0(Ω)$ for open sets $Ω\subset\IR^N$.

연구 동기 및 목표

• 불규칙한 도메인에서 소볼레프 함수의 경계 행동에 맞게 조정된 상대적 $p$-용적도 $\operatorname{Cap}_{p,\Omega}$ 를 정의하는 것.
• 고전적 $p$-용적도를 $\partial\Omega$ 에서 $W^{1,p}(\Omega)$ 함수의 트레이스 성질을 포착하는 상대적 설정으로 확장하는 것.
• $u \in \mathbb{R}^N$ 에서 전역적으로 적분 가능하다는 가정 없이도 $W^{1,p}_0(\Omega)$ 공간을 용적론적 방법으로 특성화하는 것.
• $\partial\Omega$ 에서 소볼레프 함수의 트레이스가 $\operatorname{Cap}_{p,\Omega}$-극점 집합을 제외하고 유일함을 보장하여 '나쁜' 도메인에서도 분석이 가능하도록 하는 것.

제안 방법

• $\mathcal{Y}_{p,\Omega}(A)$ 는 $\overline{\Omega}$ 의 부분집합인 $A \subset \overline{\Omega}$ 에서 값이 1 이상인 $W^{1,p}(\Omega)$ 함수들의 집합일 때, $\operatorname{Cap}_{p,\Omega}(A)$ 를 $\|u\|_{W^{1,p}(\Omega)}^p$ 의 하한으로 정의한다.
• $\operatorname{Cap}_{p,\Omega}$ 가 $\overline{\Omega}$ 에서 콘벡트 용적도임을 보이며, 단조성, 증가 수열에 대한 연속성, 감소하는 컴팩트 집합에 대한 연속성을 만족함을 증명한다.
• $W^{1,p}$ 함수의 준연속성과 극점 집합의 개념을 사용하여 $\partial\Omega$ 에서 함수의 트레이스 행동을 분석한다.
• 절단 함수와 컷오프 함수를 이용한 근사 수열을 구성하여 $W^{1,p}_0(\Omega)$ 의 조밀성 및 약수렴 성질을 증명한다.
• $\partial\Omega$ 에서 $\operatorname{Cap}_{p,\Omega}$-거의 전부에서 $\lim_{r\to 0} r^{-N} \int_{B(x,r)\cap \Omega} |u(y)|\,dy = 0$ 이 되는 조건을 통해 $W^{1,p}_0(\Omega)$ 를 상대적 용적도를 이용해 특성화한다.
• 하빈, 바그비, 헤버그, 스완슨–지에머 등에서 알려진 잠재론의 결과를 활용하여 $W^{1,p}_0(\Omega)$ 의 등가 특성화를 도출한다.

실험 결과

연구 질문

• RQ1 일반적인 열린 집합 $\Omega \subset \mathbb{R}^N$ 의 경계에서 트레이스 행동을 포착하는 데 적합한 상대적 $p$-용적도로 고전적 $p$-용적도를 어떻게 확장할 수 있는가?
• RQ2 상대적 $p$-용적도 $\operatorname{Cap}_{p,\Omega}$ 가 콘벡트 의미에서 유효한 용적도가 되기 위해 만족해야 할 조건은 무엇인가?
• RQ3 $\partial\Omega$ 에서 소볼레프 함수의 트레이스는 어떤 의미에서 유일하며, $\operatorname{Cap}_{p,\Omega}$ 는 이 유일성에 어떻게 영향을 주는가?
• RQ4 $u \in W^{1,p}(\mathbb{R}^N)$ 라는 가정 없이도 $W^{1,p}_0(\Omega)$ 를 상대적 용적도로 특성화할 수 있는가?
• RQ5 $\partial\Omega$ 근처에서 평균화된 $L^1$-노름의 소멸성과 $W^{1,p}_0(\Omega)$ 에 속하는 것 사이의 관계는 무엇인가?

주요 결과

• 상대적 $p$-용적도 $\operatorname{Cap}_{p,\Omega}$ 는 $\overline{\Omega}$ 에서 노름진 콘벡트 용적도이며, $\Omega = \mathbb{R}^N$ 일 때 고전적 $p$-용적도를 일반화한다.
• $\partial\Omega$ 에서 임의의 $u \in W^{1,p}(\Omega)$ 의 트레이스는 $\operatorname{Cap}_{p,\Omega}$-극점 집합을 제외하고는 유일하며, 이는 불규칙한 도메인에서도 트레이스 이론을 가능하게 한다.
• $u \in W^{1,p}(\Omega)$ 이다. $\operatorname{Cap}_{p,\Omega}$-거의 전부에서 $x \in \partial\Omega$ 에 대해 $\lim_{r\to 0} r^{-N} \int_{B(x,r)\cap \Omega} |u(y)|\,dy = 0$ 이면, $u$ 는 $W^{1,p}_0(\Omega)$ 에 속한다.
• $\partial\Omega$ 근처에서 평균화된 $L^1$-노름의 소멸 조건을 통해 $W^{1,p}_0(\Omega)$ 를 특성화하는 결과는 $u$ 가 $W^{1,p}(\mathbb{R}^N)$ 에 속하지 않더라도 성립하며, 이는 이전 결과를 일반화한다.
• 증명은 절단과 컷오프 함수를 이용한 $W^{1,p}_0(\Omega)$ 내 근사 수열의 구성과, 반사적 바나흐 공간인 $W^{1,p}_0(\Omega)$ 에서의 약수렴 추론에 기반한다.
• 상대적 용적도 프레임워크는 경계가 비정규적이거나 불규칙한 경우에도 트레이스와 경계에서의 소멸 행동을 통합적으로 다룰 수 있도록 한다.