logo

分布の収束 📂シュワルツ超函数

分布の収束

定義1

DD^{\ast}超関数空間{Tn}\left\{ T_{n} \right\}DD^{\ast}の中の超関数列としよう。全てのテスト関数 ϕ\phiに対して下の式が成立するなら、{Tn}\left\{ T_{n} \right\}TT弱収束するという。

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

説明

超関数の収束を弱収束と呼ぶのは、TTTnT_{n}正則超関数の場合には実際にヒルベルト空間での弱収束に相当するからである。


T,TnT, T_{n}が正則超関数とする。それに対応する局所可積分関数u,unu, u_{n}が存在する。とすると、TnTT_{n} \to Tの時、次が成り立つ。

Tn(ϕ)=un(x)ϕ(x)dxu(x)ϕ(x)dx=T(ϕ)    un,ϕu,ϕ \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*}

従って、TnT_{n}TTに収束することは、unu_{n}uuに弱収束することと同じである。

定理

u,unu, u_{n}が下記の三つの条件の一つでも満たすなら、TnTT_{n} \to Tである。

  • (a) unuu_{n} \to uであり、全てのnnに対してunv\left| u_{n} \right| \le v を満たすvLloc1v \in L_{\mathrm{loc}}^{1}が存在する。

  • (b) 全ての有界集合上でunu u_{n}\rightrightarrows uである。

  • (c) 全ての有界集合上でunu in L2u_{n} \to u \text{ in } L^{2}である。


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