フーリエ変換作用素を微分作用素で表現する公式!
(。・ω・)ノども〜
今日はフーリエ変換を微分作用素から捉える事をやってみましょう。
で定義します。今日のメインディッシュを....
定理1 Fourier Tranceform&differential operator
全然関係ないFourier変換と微分が結びつくインパクトが強い!
定理2
定理3
Eulerの等式に引けを取らない美しい等式でめっちゃ好きです!
参考文献は「数学の現在 」の第1講小林俊之さんのとこですね
この本は数学の諸分野を教授が紹介する感じで、情報多くて面白いです!
今回の定理の主張自体が他の文献やネットに無いので、
今回はその部分を埋め合わせるためにこの記事を書いた次第です
少し本で見た表示と違いますが変形しています。
フーリエ変換は色々流儀がある為結構めんどくさい....()
それでは証明に入って行きましょう
色々定義。
諸定義。
関数が定数倍しか変化しない固有関数について考えてみると、
Gauss積分からである事が導かれます。
詳しくやると、割と有名な極座標への変換のメソッドで
なので
という風に示されます。いえい!!
更に任意の整数kについて
が成り立ちます。これを示す為に、
の関係を調べます
つまり作用素の合成として
なる関係が成り立ちます。よって任意の正整数について
故に
はフーリエ変換の固有関数と分かりました
定義式から任意の自然数nについて
はn次多項式と分かります。
なので複素平面上のある領域でテイラー展開可能である任意の関数はを基底とした線形空間の元であるから、
に対して作用した結果が等しいなら
基底の構造から、定理1を示せます!!
各はから作られるので
に対する作用の結果が等しいなら、
任意の関数に対して作用した結果が等しく作用素としての等号が成り立ちます。
それでは後半戦。
以前私のブログで
という公式をライプニッツ則から導きました。
これを用いて行きます。
作用素に対し
交換子括弧
随伴作用
反交換子
と定義するとLie群とLie環の関係を考えると
任意のに対し
となります。双線型と交代性を持つ作用素なので
を用いると、
となることがわかるので、
を代入してに作用させると
よって
となります。また、
ですので
よってに対して作用した結果が等しい事が分かりました!!!
これで先程言ったように任意のについて作用の結果が等しく、任意の関数について作用の結果が等しいので作用素の等号が成り立ちます
これで定理1は証明完了です!!!
ところでフーリエ変換の作用には周期性がある事が知られています。すなわち
が成立します。見ていきましょう。
計算してみると、が偶数、奇数なら
それぞれは偶関数、奇関数である事が分かります。
任意の関数gに対し複素数列があって
と書けるのでこれを使って
となるので、
これはつまり2階フーリエ変換は「引数マイナス倍の作用素」と言えます。
ここでとなる事から、をテイラー展開して掛け合わせると
と分かるので、定理2を導けました!
また、直ちに
これは、4回フーリエ変換すれば元に戻るってことですね。
が導かれます。定理1を使って書き換えると
さらにを使うと、
より定理3が導かれました!!!
d( '-' )
この結果は多重化することも可能です。つまり
、
と置くとがならば指数法則が成立し
となるので
と変換されます。実は、先程のに
を代入するとには
なる関係が成立します。を使うことで対称的に
と書けました!
面白かったでしょうか
調和解析の1分野として分階数フーリエ変換が提案されています。
これは人工的な概念では無く階フーリエ変換は指数関数として
として書く事が出来るのが有用な概念として位置づけられる理由です。
フーリエ変換のq類似がありますが今回の表示とどう関わっているかよく分かってせん
よければ教えてください!
1階微分作用素のは熱核として研究されていますし、
実際に
が成り立ちます。しかし2階微分作用素の指数写像に関しては非自明な部分があり、
今回のこれは2階微分作用素の対称性の関係式Segal-Shale-Weil表現なんかと結びついています。行間埋めてみたので見てみてくだいさな
では今日はこれにて〜(`・ω・´)ノ