はじめに
かなり前になるが Twitter(当時) で 「 が何らかの意味でフーリエ変換できるとしたらどういうものになるか?」が話題になっていた。その時でっち上げた意味付けを整理して紹介する。
本記事の目標は形式的に公式をあてはめて得られる を正当化することである。そのため初歩的な
複素解析
と
シュワルツ超関数
の知識を前提とする。また簡単のため関数の定義域は1次元 ( か の部分集合) とする。
テスト関数の空間 ES, HS
と を超関数として扱うために、まずテスト関数の空間を決める。
を固定する。関数 で、任意の に対し
となるものの全体を とおく。
また、帯状領域 上の正則関数 で、任意の に対し
となるものの全体を とおく。
上に半ノルムの族 により次のような距離 を定めて距離空間とする。
にも同様の距離を定める。
上の関数列 が に収束するための必要十分条件は、各 それぞれに対して のとき が成り立つことである。 についても同様である。
, は上記で定めた距離 について完備である。つまり , は半ノルムの族の定める
フレシェ空間
である。
については割愛し について示す。 で が半ノルム についてコーシー列をなす、つまり のとき であるとする。 は閉領域 の上の関数として一様コーシー列をなすから、この閉領域で定義されたある関数 に一様収束する。しかも各 は有界な正則関数であるから極限 も有界かつ正則である。 の決め方から、領域 上で定義された共通の が存在して となり、 が成り立つ。
, は集合としては
シュワルツ空間
に含まれ、 の稠密な線形部分空間となっている。しかしここで , に定めた位相は の相対位相よりも強いものである。
上の微分作用素 を によって定めると は連続である。 上でも同様である。
上では より明らか。 上では のときコーシーの積分表示より より であるから は の位相で連続である。
と はフーリエ変換・逆変換によって互いに移りあう。なおフーリエ変換の定義には複数の流儀があるが、ここでは次のものを採用する。
のフーリエ変換を とすると , が成り立つ。しかもこの対応は同相写像である。
とする。 のとき は収束して正則関数となる。さらに のときは とおくと よって であり、かつ写像 は連続である。
次に とする。 のとき よって であり、かつ写像 は連続である。
フーリエ逆変換についても同様であるから以上の逆も成り立ち、 , は同相写像となる。
超関数の空間 ES', HS'
テスト関数の空間が良い性質を持つことが分かったので、シュワルツの
緩増加超関数
と同じ方法で超関数を定義する。
の
連続的双対空間
を で表す。つまり、 から への線型汎関数 で、 の位相で連続であるものの全体がなすベクトル空間を とする。 を に作用させたもの を とも表す。 の位相としては通常は
強位相
をとる。 も同様に定める。
簡単のため は純虚数であるとして とおく。
まず の場合を考える。 なる をとると、 よって は well-defined で、 の位相で連続である。 , の場合も同様である。
なる をとると であるからこれは の位相で連続である。
を とも表す。これが 上のディラックのデルタ関数である。シュワルツ空間 と同様に でもデルタ関数はガウス関数の分布を狭くした極限として考えることができる。
のとき、 と定めると であり、 のとき は に強収束する。
被積分関数は の範囲で正則で の極限で十分速く0に収束するから、積分路を だけ平行移動することができる。すると なる をとると だから である。 の極限をとるとルベーグの収束定理より だから は に弱収束する。さらにこの収束が強収束であることを示す。 として積分区間を とそれ以外に分割すると、計算は割愛するが が示される。 上の任意の
有界集合
を1つ固定する。 であるから、 の極限をとると、 の範囲内で は 0 に一様収束する。 は任意であったから、これは が に強収束することを意味する。
いまの議論から分かるように、 は直観的には の での値を
鞍点法
で拾ってくるような作用素である。
超関数のフーリエ変換
超関数の空間 , の上でフーリエ変換を定義する。これも要領はシュワルツの緩増加超関数 の場合と同じである。
のフーリエ変換 を で定める。同様に、 のフーリエ変換 を で定める。 , を , とも表す。
, が成り立つ。しかもこの対応は , の強位相で同相である。
とする。 , の対応はともに連続だから の対応も連続であり、従って である。
を の任意の有界集合とすると は の有界集合で、 が0に強収束すれば は各 上で一様に0に収束するから、 は の強位相で0に収束する。従って写像 は, の強位相で連続である。
次に、 に対して写像 を で定める。すると先ほどと同様の議論により が示される。定義から , であるから は の逆像である。さらに写像 が, の強位相で連続であることも分かる。連続な逆像が存在するので写像 は同相写像である。
から への写像も同様である。
上記の議論で得られた の逆像を超関数のフーリエ逆変換といい、 で表す。
これで準備が揃ったので、最初の目標であった のフーリエ変換を計算する。
を代入すると冒頭の式が得られる。
おわりに
テスト関数の空間を適当に差し替えることでシュワルツ超関数の枠組みをうまくカスタマイズ(?)することができた。この手法がどこまで通用するのか自分もよく分かっていないが、有用なものをご存じの方は教えてほしい。
追記
奏理音ムイ(Vtuber)様 (@mui_kanarine) から、よく似た設定で distribution の具体的な標準形まで求めている
荷見守助先生の論文
を紹介いただきました。この場を借りて感謝いたします。