소볼레프 공간

해석학에서 **소볼레프 공간**(Соболев空間, )은 충분히 매끄럽고, 무한대에서 충분히 빨리 0으로 수렴하는 함수들로 구성된 함수 공간이다.
르베그 공간의 일반화이다. 기호는 \operatorname W^{s,p}이며, 여기서 s는 매끄러운 정도, p는 무한대에서 0으로 수렴하는 속도를 나타낸다. 특히, p=2인 경우는 힐베르트 공간을 이루며, 이 경우는 흔히 \operatorname H^s로 표기된다.

## 정의
### 스칼라 값 정수 차수 소볼레프 공간
다음이 주어졌다고 하자.
* 유클리드 공간의 열린집합 U \subseteq \mathbb R^n
* 확장된 실수 p\in[1,\infty]
* 양의 정수 s\in\mathbb Z^+
그렇다면, U 위의 **<math>(s,p)</math>차 소볼레프 공간** \operatorname W^{s,p}(U)은 다음과 같은 함수 공간이다.
:\operatorname W^{s,p}(U) = \left\{f \in\operatorname L^p(U)\colon \partial_{\mu_1}\cdots\partial_{\mu_k}f\in\operatorname L^p(M;\mathbb K)\qquad\forall \mu_1,\dotsc,\mu_k\in\{1,\dotsc,n\},\,k\le s\right\}
여기서 \operatorname L^p는 르베그 공간이며, 미분 연산자는 분포에 대한 미분 연산자이다.

### 다양체 위의 소볼레프 공간
다음이 주어졌다고 하자.
* 리만 다양체 (M,g)
* 확장된 실수 p\in[1,\infty]
* 양의 정수 s\in\mathbb Z^+
그렇다면, M 위의 매끄러운 함수
:f \in\mathcal C^\infty(M, \mathbb R)
에 대하여, 노름
:\|f\|_{\operatorname W^{s,p}} = \int_M \left(|f|^p + (\partial_\mu f\partial^\mu f)^{p/2} + \dotsb + (\nabla_{\mu_1}\dotsm\nabla_{\mu_s}f\nabla^{\mu_1}\dotsm\nabla^{\mu_s}f)^{p/2}\right)\,\sqrt{\det g}\,\mathrm d^nx
을 정의할 수 있다. \mathcal C^\infty(M, \mathbb R) 가운데, 이 노름이 유한한 원소들의 공간은 실수 노름 공간을 이루지만, 이는 완비 거리 공간이 아니다. 이에 대한 완비화인 실수 바나흐 공간을 M 위의 **(''s'',''p'')차 소볼레프 공간** \operatorname W^{s,p}(M)이라고 한다.

이 정의는 M이 유클리드 공간의 열린집합일 때 위의 정의와 동치이다 (**마이어스-세린 정리** ).

### 벡터 다발 값 정수 차수 소볼레프 공간
다음이 주어졌다고 하자.
* 콤팩트 리만 다양체 (M,g)
* 매끄러운 벡터 다발 E\twoheadrightarrow M
* E 위의 벡터 다발 접속 \nabla
* E 위의 내적 \eta \in \Gamma^\infty(E^* \otimes E^*)
* 확장된 실수 p\in[1,\infty]
* 양의 정수 k\in\mathbb Z^+
그렇다면, 단면들의 벡터 공간
:\operatorname\Gamma^p(E) = \mathcal C^p(M,E) \cap \Gamma^0(E)
위에 노름
:|s|_{p,k} = \left(\int_M\left(\sum_{i_1,\dotsc,i_p,j_1,\dotsc,j_p,a,b} g^{i_1j_1}\dotsb g^{i_pj_p} \eta_{ab} (\nabla_{i_1}\dotsb\nabla_{i_p} s^a) (\nabla_{j_1}\dotsb\nabla_{j_p} s^b)\right)^{k/2}\right)^{1/k}
을 줄 수 있다. 특히, k=2일 때 이는 내적
:\langle s|s'\rangle_{p,2} = \int_M\sum_{i_1,\dotsc,i_p,j_1,\dotsc,j_p,a,b} g^{i_1j_1}\dotsb g^{i_pj_p} \eta_{ab} (\nabla_{i_1}\dotsb\nabla_{i_p} s^a) (\nabla_{j_1}\dotsb\nabla_{j_p} {s'}^b)
과 호환된다. 이 노름에 대한 완비화인 바나흐 공간을 \operatorname W^{p,k}(E)라고 한다.

정의에 따라 항상
:\Gamma^p(E) \subseteq \operatorname W^{p,2}(E)
이다. 음이 아닌 정수 q에 대하여, 만약 p> (\dim M)/2+q라면, 연속 포함 사상
:\operatorname W^{p,2}(E) \hookrightarrow \Gamma^q(E)
이 존재한다.

### 분수 소볼레프 공간
유클리드 공간이나 원환면의 경우 푸리에 변환을 사용하여, 정수가 아닌 s에 대하여 소볼레프 공간 \operatorname W^{s,p}를 정의할 수 있다.

구체적으로, 임의의 두 실수 s,p\in[1,\infty)에 대하여, 유클리드 공간 \mathbb R^n 위의 **소볼레프 공간** \operatorname W^{s,p}(\mathbb R^n;\mathbb K)는 다음과 같은 함수 공간이다.
:\operatorname W^{s,p}(\mathbb R^n;\mathbb K)= \left\{f\in\operatorname L^p(\mathbb R^n;\mathbb K)\colon \mathcal F^{-1}\left (1+ \|\xi\|^2 \right)^{s/2}\mathcal Ff \in L^p(\mathbb R^n;\mathbb K) \right\}
여기서 (\mathcal Ff)(\xi)는 푸리에 변환이다. 마찬가지로, 원환면 \mathbb T^n 위에도 소볼레프 공간 W^{s,p}(\mathbb T^n;\mathbb K)을 정의할 수 있다.

## 성질
일반적으로 (s,p\ge1), \operatorname W^{s,p}(M;\mathbb K)는 \mathbb K-바나흐 공간을 이룬다. 만약 p=2인 경우, \operatorname W^{s,p}(M;\mathbb K)는 \mathbb K-힐베르트 공간을 이룬다. 만약 p=\infty일 경우, \operatorname W^{s,p}(M;\mathbb K)는 바나흐 공간이지만 분해 가능 공간이 아니다.

### 연산에 대한 닫힘
임의의 리만 다양체 M에 대하여, \operatorname W^{k,\infty}(M)의 원소들은 (L∞ 르베그 공간과 마찬가지로)점별 덧셈과 곱셈에 대하여 닫혀 있다.

p에 대하여, \operatorname W^{k,p}(M)은 덧셈에 대하여 닫혀 있지만, (L*p* 르베그 공간과 마찬가지로) 곱셈에 대하여 닫혀 있지 않다.

### 포함 관계
다음과 같은 **소볼레프 부등식**()이 성립한다. 임의의
:s,s'\in\mathbb N
:p,p'\in[1,\infty)
에 대하여, 만약
:\frac1p - \frac sn = \frac1{p'}-\frac{s'}n
:p \le p'
:s \ge s'
이라면, 다음과 같은 포함 관계가 존재하며, 이 포함 관계는 연속 단사 선형 변환이다.
:\operatorname W^{s,p}(\mathbb R^n) \subseteq \operatorname W^{s',p'}(\mathbb R^n)
특히, 만약 s=1이며 s'=0일 경우
:\operatorname W^{1,p}(\mathbb R^n) \subseteq \operatorname L^{np/(n-p)}(\mathbb R^n)
이다.

### 푸앵카레-비르팅거 부등식
다음이 주어졌다고 하자.
* 확장된 실수 1\le p\le\infty
* 유계 연결 열린집합 U\subseteq\mathbb R^n
* 또한, \partial U가 립시츠 경계라고 하자.
그렇다면, 다음 조건을 만족시키는 상수 C(p,U)가 존재한다.
:\left\|f-\frac1{\operatorname{vol}(U)}\int_Uf(x)\,\mathrm d^nx\right\|_{\operatorname L^p(U)}\le C(p,U)\|\nabla f\|_{\operatorname L^p(U)}\qquad(\forall f\in \operatorname W^{1,p}(U))
이를 **푸앵카레-비르팅거 부등식**(Poincaré-Wirtinger不等式, )이라고 하며, 이를 만족시키는 최소의 상수 C(p,U)를 **푸앵카레 상수**(Poincaré常數, )라고 한다.

## 예
### 르베그 공간
소볼레프 공간 \operatorname W^{s,p}에서, 만약 s=0이라면 (즉, 매끄러움에 대한 조건을 가하지 않는다면) 이는 르베그 공간과 같다.
:\operatorname W^{0,p} = \operatorname L^p

### 절대 연속 함수의 공간
실수선 \mathbb R의 구간 I에서, (1,1)차 소볼레프 공간은 절대 연속 함수의 공간과 같다.
:\operatorname W^{1,1}(I) = \mathcal C^0_\text{abs}(I)
이는 절대 연속성이 ①거의 어디서나 미분이 존재하며 ②미분의 절댓값이 적분 가능 함수인 것과 동치이기 때문이다.

물론, 정확히 말하면, (1,1)차 소볼레프 공간의 원소는 어떤 절대 연속 함수와 거의 어디서나 일치하는 가측 함수들의 동치류들의 공간이다. 그러나 이러한 동치류에서는 절대 연속 함수인 유일한 대표원을 고를 수 있으므로, 이는 함수의 공간과 동치이다.

이는 1차원에서만 성립한다. 고차원 공간 위의 (1,1)차 소볼레프 공간은 연속 함수가 아닌 함수들을 포함한다. 예를 들어,
:(x\mapsto\|x\|^{-1}) \in \operatorname W^{1,1}(\mathbb B^3)
이다 (\mathbb B^3은 3차원 공).

### 립시츠 연속 함수의 공간
실수선 \mathbb R의 구간 I에서, (1,∞)차 소볼레프 공간은 립시츠 연속 함수의 공간과 같다.
:\operatorname W^{1,1}(I,\mathbb R) = \operatorname{Lip}(I,\mathbb R)
이는 립시츠 연속성이 ①거의 어디서나 미분이 존재하며 ②미분이 (거의 어디서나) 유계 함수인 것과 동치이기 때문이다.

물론, 정확히 말하면, (1,∞)차 소볼레프 공간의 원소는 어떤 립시츠 연속 함수와 거의 어디서나 일치하는 가측 함수들의 동치류들의 공간이다. 그러나 이러한 동치류에서는 립시츠 연속 함수인 유일한 대표원을 고를 수 있으므로, 이는 함수의 공간과 동치이다.

## 역사
세르게이 소볼레프가 1938년에 도입하였다.

## 각주

## 외부 링크
* 
* 
* 
* 
* 

분류:푸리에 해석학
분류:함수해석학