この記事では
前回の記事
に引き続き局所コンパクトアーベル群
について簡単に簡単に解説していきます。
さて
前回の記事
によって局所コンパクト群
前回の記事でもちらっと触れたように
という感じの積分変換として定めたいわけですが、そのための最後のピースとしてこの核関数
結論から言うとこの積分核
を満たすようなもの、つまり
位相群
への連続な準同型
そして
局所コンパクト群
によって定める。
この定義だけだとあまりピンと来ないかもしれませんが百聞は一見に如かずということで、実際にこの特徴付けから冒頭で紹介したフーリエ変換たちが出てくることを確かめてみましょう。
が成り立つ。特に
と表せる。
となるような
の右辺が微分可能であることから
が成り立つ。
特に
を満たすことになるので
が成り立つ。特に
と表せる。
と表せる。また
に注意すると主張を得る。
が成り立つ。特に
と表せる。
が成り立つことからわかる。
が成り立つ。特に
と表せる。
と表せる。また
に注意すると主張を得る。
次の例に行く前にちょっとした補題を示しておく。
とおくとこれは
また
とおくとこれは
またこの対応
は互いに逆対応を定めているので同型
を得る。
が成り立つ。特に
と表せる。
上の補題の証明から
と表せるので
なる
が成り立つ。
に対し
によって定めると
が成り立ち、また
とかも成り立つことが知られている。
もちろん
まず
また
とおいたとき
を準開基として生成される
ちなみにコンパクト開位相は
という写像を連続とするような位相であって最弱なものとして特徴付けられるため、
そしてこのような位相を入れたとき
位相群
特に
局所コンパクト群
となると
を考えることができるわけですが、ここでこの二重双対群
という点から
そして実際
局所コンパクトアーベル群
は位相群の同型
例えば上で紹介した
いまポントリャーギン双対性から
と表せることになります。
そして通常のフーリエ変換に関する結果からも期待されるように、
局所コンパクトアーベル群
も
が成り立つ。
またこれによって定まる測度
なお
が成り立つことまでしか言えないことに注意しましょう。
さてこれによって例えば冒頭で紹介した
非負整数からなる乗法群
があることに注意するとその指標群は
と求まり、また
と表せるので、
と定まる。これを
またその反転公式は
と求まる。
本質的には通常のフーリエ変換に適当な変数変換を施しただけですが、このようにメリン変換もフーリエ変換そのものとして扱えるのは少し面白いのではないでしょうか。
メリン変換の話題が出たついでに
乗法群
と
におけるフーリエ変換は
と表せる(ただし
なお
という同型があるのでその指標群は
という構造を持つことになる。
一般に与えられたハール測度
コンパクト群
例えば
という双対関係において離散群
いまコンパクト群と離散群には次のようなハール測度が備わっていることに注意しましょう。
そしてこれらのことから以下のように双対測度を求めることができます。
コンパクトアーベル群
また離散アーベル群
コンパクトアーベル群
と求まる(ただし
求まり、
が成り立つことから
したがって反転公式
が成り立つので、数え上げ測度が双対測度となっていることがわかる。
また
のフーリエ変換が
と求まることから
を得る。
つまり以下の反転公式が成り立つというわけです。
コンパクトアーベル群
によって定めると、その反転公式は
となる。
コンパクト群
によって定めると、その反転公式は
となる。
有限アーベル群
によって定めると、その反転公式は
となる。
ちなみに有限アーベル群
円周群
によって定めると、その反転公式は
となる。
これも通常のフーリエ級数展開に適当な変数変換を施しただけではありますが、複素関数のローラン展開がフーリエ変換の一種とみなせるのは、やはり面白いものがありますね。
以上が群上のフーリエ変換とその反転公式に関する概説でした。
また次回・次々回の記事では群上のフーリエ変換の一般論・応用としてプランシュレルの定理とポアソン和公式について紹介していくので、そちらも併せてご覧ください。
なおこの記事では説明の都合上あまり触れて来ませんでしたが、群上のフーリエ変換の構成には表現論やバナッハ環(
またそこら辺の話に興味がある人は群上の調和解析とか抽象調和解析とかのワードで色々調べてみてはいかがでしょうか。