logo

テスト関数の空間における収束 📂シュワルツ超函数

テスト関数の空間における収束

テスト関数空間では、「収束」を特別な方法で定義する。ある空間 XXが与えられたとき、通常はXXで定義されたノルムや距離を使用して収束を定義する。しかし、テスト関数空間では、超関数をうまく定義し扱うために、より強力な条件で収束を定義する。

定義

ΩRn\Omega \subset \mathbb{R}^nが開集合で、{ϕj}\left\{ \phi _{j} \right\}テスト関数の数列であるとする。{ϕj}\left\{ \phi_{j} \right\}が以下の二つの条件を満たすとき、D(Ω)\mathcal{D}(\Omega)のセンス00収束 するとし、次のように表記する。

ϕjD0 \phi_{j} \overset{\mathcal{D}}{\to} 0

(a) supp(ϕj)K j\mathrm{supp} (\phi_{j}) \subset K\quad \forall\ jを満たすKΩK \Subset \Omegaが存在する。

(b)マルチインデックス α\alphaに対して、DαϕjD^{\alpha}\phi_{j}00一様収束する。

Dαϕj0 D^{\alpha}\phi_{j} \rightrightarrows 0

この時、supp\mathrm{supp}サポートを意味する。

説明

著者によって用語が少し異なる場合があるが、用語自体が重要なわけではない。

  • D\mathcal{D}空間のセンスで収束する: D\mathcal{D}空間のセンスで収束する1

  • D\mathcal{D}で収束する: D\mathcal{D}で収束する2

もちろん、特定の教科書や講義の文脈で混乱の余地がない場合は、単にϕj0\phi_{j} \to 0として表記することができる。定義 (b) によれば、D\mathcal{D}で収束すれば、一般的な意味での収束も満たされる。上記の定義を00ではなく、全てのϕ\phiについて一般的に記述すると、以下の通りである。


ΩRn\Omega \subset \mathbb{R}^nが開集合で、{ϕj}\left\{ \phi _{j} \right\}テスト関数の数列であるとする。{ϕj}\left\{ \phi_{j} \right\}が以下の二つの条件を満たす場合、D(Ω)\mathcal{D}(\Omega)のセンスでϕ\phiに収束するとし、ϕjϕ in D(Ω)\phi_{j} \to \phi \text{ in } D(\Omega)と表記する。

(a) supp(ϕjϕ)K j\mathrm{supp} (\phi_{j}-\phi) \subset K\quad \forall\ jを満たすKΩK \Subset \Omegaが存在する。

(b)マルチインデックス α\alphaに対して、DαϕjD^{\alpha}\phi_{j}DαϕD^{\alpha} \phi一様収束する。 DαϕjDαϕ D^{\alpha}\phi_{j} \rightrightarrows D^{\alpha}\phi


  1. Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p19-20 ↩︎

  2. Daniel Eceizabarrena perez, Distribution Theory and Fundamental Solutions of Differential Operators (2015), p3 ↩︎