テスト関数の空間における収束
📂シュワルツ超函数テスト関数の空間における収束
テスト関数空間では、「収束」を特別な方法で定義する。ある空間 Xが与えられたとき、通常はXで定義されたノルムや距離を使用して収束を定義する。しかし、テスト関数空間では、超関数をうまく定義し扱うために、より強力な条件で収束を定義する。
定義
Ω⊂Rnが開集合で、{ϕj}がテスト関数の数列であるとする。{ϕj}が以下の二つの条件を満たすとき、D(Ω)のセンス で0に収束 するとし、次のように表記する。
ϕj→D0
(a) supp(ϕj)⊂K∀ jを満たすK⋐Ωが存在する。
(b) 各マルチインデックス αに対して、Dαϕjが0に一様収束する。
Dαϕj⇉0
この時、suppはサポートを意味する。
説明
著者によって用語が少し異なる場合があるが、用語自体が重要なわけではない。
もちろん、特定の教科書や講義の文脈で混乱の余地がない場合は、単にϕj→0として表記することができる。定義 (b) によれば、Dで収束すれば、一般的な意味での収束も満たされる。上記の定義を0ではなく、全てのϕについて一般的に記述すると、以下の通りである。
Ω⊂Rnが開集合で、{ϕj}がテスト関数の数列であるとする。{ϕj}が以下の二つの条件を満たす場合、D(Ω)のセンスでϕに収束するとし、ϕj→ϕ in D(Ω)と表記する。
(a) supp(ϕj−ϕ)⊂K∀ jを満たすK⋐Ωが存在する。
(b) 各マルチインデックス αに対して、DαϕjがDαϕに一様収束する。
Dαϕj⇉Dαϕ