📂シュワルツ超函数

シュワルツ空間とシュワルツ関数

定義

以下の二つの条件を満たす関数$\phi : \mathbb{R}^{n} \to \mathbb{C}$の集合をシュワルツ空間^{Schwartz space}と呼び、$\mathcal{S}(\mathbb{R}^{n})$で表す。シュワルツ空間の元$\phi$をシュワルツ関数^{Schwartz function}という。

• (a) $\phi \in$ $C^{\infty}$

• (b) すべての多重指数$\alpha$, $\beta$に対して$\left| \mathbf{x}^{\beta}D^{\alpha}\phi (\mathbf{x}) \right| <\infty$が成り立つ。この時、$\beta=(\beta_{1}, \beta_{2},\dots,\beta_{n})$に対して

  $$\mathbf{x}^{\beta}=x_{1}^{\beta_{1}}x_{2}^{\beta_{2}}\dots x_{n}^{\beta_{n}}$$

---

(b) を再記述すると、次のようになる。

$$\mathbf{x}^{ \beta}D^{\alpha}\phi (\mathbf{x})\to 0 \text{ as } \left| \mathbf{x} \right|\to \pm \infty \quad \forall \alpha, \beta$$

説明

超関数の掛け算、微分等の様々な操作をテスト関数に適応することで定義した。そうすると、このような意味で超関数のフーリエ変換を下記のように定義しようとする試みができる。

$$\widehat{T^{}}(\phi):=T \big( \hat{\phi} \big)$$

しかし、$\phi$がテスト関数だとしても、コンパクトサポートを持たないため、テスト関数ではなくなる可能性がある。そのため、超関数のフーリエ変換がうまく定義できない。そこで、フーリエ変換がうまく定義できるようにテスト関数空間を拡張して新たに定義した空間がシュワルツ空間である。

(a) を見ると、テスト関数の条件と異なり、コンパクトサポートを持つ必要がないという条件がない。これが**(b)** という条件が加えられた理由である。テスト関数は強い条件であるコンパクトサポートを持つため、関数の形に制限を設ける必要がなかった。これに対してシュワルツ関数はコンパクトサポートを持つ必要がないため、数直線の端での関数の値が任意の多項式よりも速く減少するような条件、つまり**(b)** が必要なのである。実際に、テスト関数空間がシュワルツ関数空間の真部分集合であることを示して、うまく拡張されたことがわかる。

$$\mathcal{D}(\mathbb{R}^{n}) \subsetneq \mathcal{S}(\mathbb{R}^{n})$$

性質¹

$\phi, \psi \in \mathcal{S}(\mathbb{R}^{n})$としよう。

• $\mathcal{S}(\mathbb{R}^{n})$はベクトル空間である。
• $\mathcal{S}(\mathbb{R}^{n})$は乗算に対して閉じている。 $$\psi \phi \in \mathcal{S}(\mathbb{R}^{n})$$
• $\mathcal{S}(\mathbb{R}^{n})$は多項式$P$との乗算に対して閉じている。 $$P\phi \in \mathcal{S}(\mathbb{R}^{n})$$
• $\mathcal{S}(\mathbb{R}^{n})$は微分に対して閉じている。 $$\phi^{\prime} \in \mathcal{S}(\mathbb{R}^{n})$$
• $\mathcal{S}(\mathbb{R}^{n})$は平行移動と、複素指数関数との乗算に対して不変である。 $$\phi (x+y), \phi (x)e^{i\xi \cdot x} \in \mathcal{S}(\mathbb{R}^{n})$$
• シュワルツ関数は積分可能である。 $$\int\limits_{\mathbb{R}^{n}} \left| \phi (x) \right| dx \lt \infty$$