シュワルツ空間

ウィキペディア

シュワルツ空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/04/10 01:41 UTC 版)

数学においてシュワルツ空間（シュワルツくうかん、英: Schwartz space）とは、導函数がすべて「急激に減少する」ような函数全体からなる函数空間である。この空間上フーリエ変換は自己同型であるという重要な性質がある。この性質から、双対性によって、S の双対空間の元、すなわち緩増加超函数に対するフーリエ変換を定義できる。シュワルツ空間の名は、ローラン・シュヴァルツに敬意を表して、アレクサンドル・グロタンディークによって付けられた。シュワルツ空間内の函数はしばしば、シュワルツ函数 (Schwartz function) と呼ばれる。

二次元ガウス函数は、急減少函数の一例である。

定義

シュワルツ空間、あるいは Rⁿ 上の急減少函数の空間とは、次の函数空間のことを言う。

$S\left(\mathbf {R} ^{n}\right)=\left\{f\in C^{\infty }(\mathbf {R} ^{n})\mid \|f\|_{\alpha ,\beta }<\infty \quad \forall \alpha ,\beta \right\}.$

ここで α、β は多重指数であり、C^∞(Rⁿ) は Rⁿ から C への滑らかな（無限回微分可能な）函数の集合である。またノルムは

$\|f\|_{\alpha ,\beta }=\sup _{x\in \mathbf {R} ^{n}}\left|x^{\alpha }D^{\beta }f(x)\right|$

である。ここで sup は上限を表し、再び多重指数の記号が用いられている。

この定義を理解する上で、急減少函数は本質的には、R 上の至る所で f (x), f '(x), f ''(x), ... のすべてが存在する函数 f(x) であり、かつ x → ±∞ としたとき x の任意の負べきよりも早くゼロに収束するものであることに注意されたい。特に、S(Rⁿ) は無限回微分可能な函数の空間 C^∞(Rⁿ) の部分空間である。

シュワルツ空間の函数の例

• i を多重指数とし、a を正の実数とすると、次が成り立つ。

$x^{i}e^{-a|x|^{2}}\in S(\mathbf {R} ^{n}).$

• コンパクト台を持つ任意の滑らかな函数 f はシュワルツ空間 S(Rⁿ) に含まれる。これは次のことより明らかである。f の任意の導函数は、連続で、f の台の外では 0 であるので、最大値定理より (x^αD^β) f は Rⁿ 内に最大値を持つ。

性質

• S(Rⁿ) は複素数上のフレシェ空間である。

• ライプニッツの法則より、S(Rⁿ) は積について閉じている。すなわち、f, g ∈ S(Rⁿ) であるなら、fg ∈ S(Rⁿ) である。

• 1 ≤ p ≤ ∞ に対し、S(Rⁿ) ⊂ L^p(Rⁿ) である。

• すべての隆起函数からなる空間 C ∞
  c (Rⁿ) は S(Rⁿ) に含まれる。

• フーリエ変換は線型同型 S(Rⁿ) → S(Rⁿ) である。

• f ∈ S(R) ならば、f は R 上で一様連続である。

参考文献

• Hörmander, L. (1990). The Analysis of Linear Partial Differential Operators I, (Distribution theory and Fourier Analysis) (2nd ed.). Berlin: Springer-Verlag. ISBN 3-540-52343-X 
• Reed, M.; Simon, B. (1980). Methods of Modern Mathematical Physics: Functional Analysis I (Revised and enlarged ed.). San Diego: Academic Press. ISBN 0-12-585050-6 
• Stein, Elias M.; Shakarchi, Rami (2003). Fourier Analysis: An Introduction (Princeton Lectures in Analysis I<). Princeton: Princeton University Press. ISBN 0-691-11384-X 

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Space of rapidly decreasing functionsの本文を含む