초함수의 수렴

초함수의 수렴

정의1

$D^{\ast}$를 초함수 공간, $\left\{ T_{n} \right\}$를 $D^{\ast}$에서의 초함수열이라고 하자. 모든 테스트 함수 $\phi$에 대해서 아래의 식이 성립하면 $\left\{ T_{n} \right\}$이 $T$로 약 수렴weak convergence한다고 한다.

$$ T_{n}(\phi) \to T(\phi) ,\quad \forall \phi \in \mathcal{D} $$

설명

초함수의 수렴을 약수렴이라고 명명하는 이유는 $T$, $T_{n}$들이 정칙 초함수인 경우에는 실제로 힐베르트 공간에서의 약 수렴에 해당하기 때문이다.


$T, T_{n}$을 정칙 초함수라고 하자. 그러면 대응되는 국소 적분가능한 함수 $u, u_{n}$이 존재한다. 그러면 $T_{n} \to T$일 때 다음이 성립한다.

$$ \begin{align*} && T_{n}(\phi) = \int u_{n} (x) \phi(x) dx &\to \int u(x) \phi(x) dx = T(\phi) \\ \implies && \langle u_{n}, \phi \rangle &\to \langle u, \phi \rangle \end{align*} $$

따라서 $T_{n}$가 $T$로 수렴한다는 것은 $u_{n}$가 $u$로 약 수렴한다는 것과 같다.

정리

$u, u_{n}$이 아래의 세 조건 중 하나라도 만족하면 $T_{n} \to T$이다.


  1. Gerald B. Folland, Fourier Analysis and Its Applications (1992), p314 ↩︎

댓글