📂소볼레프공간

균등 C^m-정칙성 조건

정의¹

만약 $\mathrm{bdry}\Omega$의 국소 유한 오픈 커버 $\left\{ U_{j} \right\}$가 존재하고, 그에 대응되는 $U_{j}$를 볼 $B=\left\{ y\in \mathbb{R}^n : |y| \lt 1 \right\}$로 보내는 $m$-스무스 변환의 수열 $\left\{ \Phi_{j} \right\}$와 역변환 $\Psi _{j}=\Phi_{j}^{-1}$이 존재해서 $\text{(i)}$ ~ $\text{(iv)}$를 만족하면, 오픈 셋 $\Omega \subset \mathbb{R}^n$이 균등 $C^{m}$-정칙성 조건^{uniform $C^{m}$-regularity condition} 을 만족한다고 한다.

$\text{(i)}$ 어떤 $\delta >0$에 대해서, $\Omega_{<\delta}$$\subset \bigcup \nolimits_{j=1}^\infty \Psi \Big( \left\{y\in \mathbb{R}^n : |y| \lt \frac{1}{2} \right\} \Big)$이다.

$\text{(ii)}$ 각각의 $j$에 대해서, $\Phi_{j}(U_{j} \cap \Omega )=\left\{ y \in B : y_{n} \gt 0 \right\}$

$\text{(iii)}$ 만약 $(\phi_{j,1}, \dots, \phi_{j,n})$과 $(\psi_{j,1}, \dots, \psi_{j,n})$이 $\Phi_{j}$와 $\Psi_{j}$의 성분이면, $0 \lt |\alpha| \lt m$을 만족하는 모든 $\alpha$, $1\le i \le n$, 모든 $j$에 대해서 아래의 식을 만족하는 양수 $M$이 존재한다.

$$| D^{\alpha} \phi_{j,i}(x) | \le M,\quad x\in U_{j} \\ | D^{\alpha} \psi_{j,i}(y) | \le M,\quad y\in B$$

$\text{(iv)}$ 어떤 양수 $R$이 존재하여, $U_{j}$의 $R+1$개 만큼의 모든 콜렉션들의 교집합은 공집합이다.