$|x|\to\infty$のときに任意の多項式より速く減衰する関数を急減少関数 (rapidly decreasing function)といいます.
また,急減少関数全部の集合をSchwartz(シュワルツ)空間といい,Fourier(フーリエ)変換と密接な関係をもつなど重要な関数空間の1つです.
さて,有界区間$I$上で1回連続微分可能な関数の空間$C^1(I)$は
をノルムとして完備となります.
このように,適当な性質をもつ可算個のセミノルムの族を備えた完備な空間をFréchet空間といい,実はSchwartz空間もFréchet(フレシェ)空間です.
この記事では
- Schwartz空間を定義
- Schwartz空間を完備性
を順に説明します.
シュワルツ空間の定義
Fréchet空間の定義を確認してから,Schwartz空間を定義します.
フレシェ空間の定義
まずはセミノルムの確認です.
複素線形空間$V$に対して,関数$\|\cdot\|:V\to\R$がセミノルム (半ノルム,semi-norm)であるとは以下を満たすことをいう.
- 斉次性:$\|\alpha \m{v}\|=|\alpha|\|\m{v}\|$ ($\alpha\in\C$, $\m{v}\in V$)
- 劣加法性:$\|\m{u}+\m{v}\|\le \|\m{u}\|+\|\m{v}\|$ ($\m{u},\m{v}\in V$)
つまり,ノルムと比べて非退化性($\|\m{u}\|=0\Ra\ \m{u}=\m{0}$)を備えていなくてよいものがセミノルムというわけですね.
ここで,Fréchet空間は次のように定義されます.
複素線形空間$V$上の可算個のセミノルムの族$\{\|\cdot\|_k\}_{k\in K}$は,
をみたすとする.このとき,$V$は距離空間とみなすことができ,この距離空間が完備であるとき,$V$をFréchet空間という.
つまり,セミノルムたちがいくつか集まって非退化性をみたすような空間で,完備となるものをFréchet空間というわけですね.
Fréchet空間について詳しくは以下の記事を参照してください.

シュワルツ空間の定義
それではSchwartz空間を定義しましょう.
以下で定まる線形空間$\mathcal{S}(\R^n)$をSchwartz空間といい,$\mathcal{S}(\R^n)$の元を急減少関数 (rapidly decreasing function)という:
ただし,$\alpha=(\alpha_1,\dots,\alpha_n)$, $\beta=(\beta_1,\dots,\beta_n)$に対して,
である.
Schwartz空間$\mathcal{S}(\R^n)$の名前はフィールズ賞受賞者のLaurent Schwartz氏に由来しており,Cauchy-Schwarzの不等式のKarl Hermann Amandus Schwarz氏とは別人です(綴りも異なります).
どんな$x^{\alpha}$をかけても有界であることから,どんな多項式の逆数よりも速く減少していることになります.例えば
は急減少関数です.
$\{\|\cdot\|_{\alpha,\beta}\}_{\alpha,\beta}$はSchwartz空間$\mathcal{S}(\R^n)$のセミノルムの族であり,Schwartz空間$\mathcal{S}(\R^n)$はFréchet空間になります.
Schwartz空間$\mathcal{S}(\R^n)$はFourier変換と相性が非常によく,Forier変換の性質を$\mathcal{S}(\R^n)$で証明したのち,稠密性を用いて他の関数空間に拡張することがよく行われます.
別のセミノルム
Schwartz空間$\mathcal{S}(\R^n)$セミノルムの族$Q=\{\|\cdot\|_{k,\alpha}\}$を
で定めます.
このとき,先ほどのSchwartz空間の定義のセミノルムの族$P=\{\|\cdot\|_{\alpha,\beta}\}$による位相と,セミノルムの族$Q$による位相は一致します.
よって,Schwartz空間$\mathcal{S}(\R^n)$の定義において,セミノルムの族は$Q$を採用してもよく,実際に$Q$を定義として扱うことも多いです.
シュワルツ空間がフレシェ空間であることの証明
それではSchwartz空間がFréchet空間であることを証明しましょう.
$\{\|\cdot\|_{\alpha,\beta}\}_{\alpha,\beta}$は$\mathcal{S}(\R^n)$上のセミノルムの族であり,$\mathcal{S}(\R^n)$はFréchet空間となる.
以下の4つのステップにより示す.
- 全ての$\|\cdot\|_{\alpha,\beta}$がセミノルムであること
- セミノルムの族$\{\|\cdot\|_{\alpha,\beta}\}_{\alpha,\beta}$について,距離空間できること
- 完備性(前半)
- 完備性(後半)
[1] $\alpha,\beta\in\N_{\ge0}^{n}$とする.任意の$k\in\R$, $f,g\in\mathcal{S}(\R^n)$に対して,$\|\cdot\|_{\alpha,\beta}$は斉次性
と劣加法性
をみたすからセミノルムである.
[2] 任意の$\alpha,\beta\in\N_{\ge0}^{n}$に対して$\|f\|_{\alpha,\beta}=0$をみたすとする.
このとき,$\|f\|_{0,0}$はノルム(より詳しくは一様ノルム)だから,$\|f\|_{0,0}=0$より$f=0$となる.
ただし,添字について$0:=(0,\dots,0)\in\N_{\ge0}^{n}$と表した.
よって,$\mathcal{S}(\R^n)$はセミノルムの族$\{\|\cdot\|_{\alpha,\beta}\}_{\alpha,\beta}$により距離空間となる.
[3] $\mathcal{S}(\R^n)$上の列$\{f_k\}_k$は,セミノルムの族$\{\|\cdot\|_{\alpha,\beta}\}_{\alpha,\beta}$に対してCauchy列であるとする.
すなわち,任意の$\alpha,\beta\in\N_{\ge0}^{n}$と$\epsilon>0$に対して,ある$N\in\N$が存在して,$k,\ell>N$なら$\|f_k-f_\ell\|_{\alpha,\beta}<\epsilon$をみたすとする.
一様ノルム$\sup_{x\in\R^n}|\cdot(x)|$の完備性から,任意の$\beta\in\N_{\ge0}^n$に対して,ある関数$g_{\beta}$が存在して,
と一様収束する.とくに$\{f_k\}_k$は$g_0$に一様収束するが,読みやすさのために$f:=g_0$とする.
一般に連続関数の一様収束極限は連続だから$g_{\beta}$は$\R^n$上で連続である.
ここで$\beta_1:=(1,0,\dots,0)$とし,任意に$a=(a_1,a_2,\dots,a_n)\in\R^n$をとる.$x=(x_1,\dots,x_n)\in\R^n$の関数として
である.$\partial^{\beta_1}f_k\to g_{\beta_1}$ $(k\to\infty)$は一様収束だったから,極限$k\to\infty$と積分の順序交換ができて,
が成り立つ.ただし,2つめの等号では微分積分学の基本定理も用いた.この両辺を$x_1$で微分して$g_{\beta_1}=\partial^{\beta_1}f$を得る.
同様に考えれば,帰納的に任意の$\beta\in\N_{\ge0}^{n}$に対して$g_{\beta}=\partial^{\beta}f$が従い,$f\in C^{\infty}(\R^n)$であることが分かる.
[4] 任意の$\alpha,\beta\in\mathcal{S}(\R^n)$に対して,$k,\ell>N$なら
なので,任意の$x\in\R^n$に対して
が成り立つ.ここで,$\ell\to\infty$とすると,$k>N$なら任意の$x\in\R^n$に対して
だから,$\|f_k-f\|_{\alpha,\beta}\le\epsilon$が成り立つ.よって,
だから$f\in\mathcal{S}(\R^n)$である.既に$\|f_k-f\|_{\alpha,\beta}\le\epsilon$だったから,$\{f_k\}_k$は$\mathcal{S}(\R^n)$上の収束列である.
以上,[1]-[4]より$\mathcal{S}(\R^n)$がFréchet空間であることが分かった.
最後にもう一度,最後に流れを確認しておきます.
[Step 1]:全ての$\|\cdot\|_{\alpha,\beta}$がセミノルムであること,すなわち斉次性と劣加法性をみたすことを示しています.
[Step 2]:セミノルム$\|\cdot\|_{\alpha,\beta}$たちが「協力して」非退化性をみたすことを示しています.これが示されれば距離空間とみなせることは先ほども挙げた記事で説明しています.
[Step 3]:各$\beta\in\N_{\ge0}^{n}$について極限$g_{\beta}$の存在を別々に示し,$g_{\beta}$たちが実は$f=g_{0}$の微分として$g_{\beta}=\partial^{\beta}f$と表されることを示しています.
この議論は微分積分学でお馴染みのものですね.
[Step 4]:Cauchy列の定義から,全ての$\alpha,\beta\in\N_{\ge0}^{n}$に対して$\|f_n-f\|_{\alpha,\beta}$をみたすことを示しています.
コメント