1
現代数学解説
文献あり

群上のフーリエ変換2:定義と反転公式

32
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{bs}[0]{\boldsymbol} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{f}[0]{\hat{f}} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \newcommand{G}[0]{\widehat{G}} \newcommand{g}[0]{\hat{g}} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{T}[0]{\mathbb{T}} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{wh}[0]{\widehat} \newcommand{x}[0]{\chi} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では 前回の記事 に引き続き局所コンパクトアーベル群$G$上のフーリエ変換
\begin{align} \f(\x)&=\int_Gf(x)\ol{\x(x)}dx\\ f(x)&=\int_\G\f(\x)\x(x)d\x \end{align}
について簡単に簡単に解説していきます。

フーリエ変換

 さて 前回の記事 によって局所コンパクト群$G$上の積分が定義できたので、いよいよフーリエ変換の定義に入っていきましょう。
 前回の記事でもちらっと触れたように$G$上のフーリエ変換を
$$\f(y)=\int_Gf(x)e^{2\pi i\c\phi(x,y)}d\mu$$
という感じの積分変換として定めたいわけですが、そのための最後のピースとしてこの核関数$K_y(x)=e^{2\pi i\c\phi(x,y)}$とは何者であるかを考える必要があります。
 結論から言うとこの積分核$K_y(x)$は次のような特徴付け

  • 絶対値が$1$である
  • 連続関数である
  • $K_y(x_1+x_2)=K_y(x_1)K_y(x_2)$が成り立つ

を満たすようなもの、つまり$G$のユニタリ指標として取ってくることになります。

指標

 位相群$G$から円周群
$$\T=\{z\in\C\mid|z|=1\}$$
への連続な準同型$\x:G\to\T$のことを$G$(ユニタリ)指標と言う。
 $G$の指標全体$\G$は積について群をなし、これを$G$指標群と言う(あるいは双対群ポントリャーギン双対とも)。

 そして$G$上の関数$f$に対し、そのフーリエ変換$\f$$\G$上の関数として次のように定められます。

フーリエ変換

 局所コンパクト群$G$上の関数$f\in L^1(G)$に対し、そのフーリエ変換$\f:\G\to\C$
$$\f(\x)=\int_Gf(x)\ol{\x(x)}d\mu$$
によって定める。

 この定義だけだとあまりピンと来ないかもしれませんが百聞は一見に如かずということで、実際にこの特徴付けから冒頭で紹介したフーリエ変換たちが出てくることを確かめてみましょう。

$$\wh\R=\{\x:x\mapsto e^{2\pi ixy}\mid y\in\R\}\simeq\R$$
が成り立つ。特に$\R$上のフーリエ変換は
$$\f(y)=\int^\infty_{-\infty}f(x)e^{-2\pi ixy}dx$$
と表せる。

証明

 $\x(x)$は連続、特に積分可能であることと$\x(0)=1$に注意すると
$$A=\int^a_0\x(t)dt\neq0$$
となるような$a\in\R$が存在し、このとき
$$A\x(x) =\int^a_0\x(t+x)dt =\int^{x+a}_x\x(t)dt$$
の右辺が微分可能であることから$\x(x)$も微分可能であり
$$A\x'(x)=\x(x+a)-\x(x)=\x(x)(\x(a)-1)$$
が成り立つ。
 特に$c=(\x(a)-1)/A$とおくと$\x(x)$は微分方程式
$$\x'(x)=c\x(x)\qquad(\x(0)=1)$$
を満たすことになるので$\x(x)=e^{cx}$と表せ、これが$\R$$\T$に写すためには$c=2\pi iy$なる$y\in\R$が存在することが必要十分となる。

$$\wh{\R/\Z}=\{\x:x\mapsto e^{2\pi inx}\mid n\in\Z\}\simeq\Z$$
が成り立つ。特に$\R/\Z$上のフーリエ変換は
$$\f(n)=\int^1_0f(x)e^{-2\pi inx}dx$$
と表せる。

証明

 $\R/\Z$の指標$\x$は自然に$\R$の指標とみなせるので、ある$y\in\R$が存在して
$$\x(x)=e^{2\pi ixy}$$
と表せる。また
$$\x(1)=e^{2\pi iy}=\x(0)=1$$
に注意すると主張を得る。

$$\wh\Z=\{\x:n\mapsto e^{2\pi inx}\mid x\in\R/\Z\}\simeq\R/\Z$$
が成り立つ。特に$\Z$上のフーリエ変換は
$$\f(x)=\sum^\infty_{n=-\infty}f(n)e^{-2\pi inx}$$
と表せる。

証明

 $\x(1)=z$とおいたとき
$$\x(n)=\x(1+1+\cdots+1)=\x(1)^n=z^n$$
が成り立つことからわかる。

$$\wh{\Z/N\Z}=\{\x:n\mapsto e^{2\pi imn/N}\mid m\in\Z/N\Z\}\simeq\Z/N\Z$$
が成り立つ。特に$\Z/N\Z$上のフーリエ変換は
$$\f(m)=\sum^{N-1}_{n=0}f(n)e^{-2\pi imn/N}$$
と表せる。

証明

 $\Z/N\Z$の指標$\x$は自然に$\Z$の指標とみなせるので、ある$x\in\R$が存在して
$$\x(n)=e^{2\pi inx}$$
と表せる。また
$$\x(N)=e^{2\pi iNx}=\x(0)=1$$
に注意すると主張を得る。

 次の例に行く前にちょっとした補題を示しておく。

$$\wh{(G_1\times G_2\times\cdots\times G_n)}\simeq\G_1\times\G_2\times\cdots\times\G_n$$

証明

 $\G_1,\G_2,\ldots,\G_n$の指標$\x_1,\x_2,\ldots,\x_n$に対し
$$\x(x_1,x_2,\ldots,x_n)=\x_1(x_1)\x_2(x_2)\cdots\x_n(x_n)$$
とおくとこれは$G_1\times G_2\times\cdots\times G_n$の指標を定める。
 また$G_1\times G_2\times\cdots\times G_n$の指標$\x$に対し
$$\x_i(x_i)=\x(1,\ldots,1,x_i,1,\ldots,1)$$
とおくとこれは$\G_i$の指標を定める。
 またこの対応
$$\x\leftrightarrow(\x_1,\x_2,\ldots,\x_n)$$
は互いに逆対応を定めているので同型
$$\wh{(G_1\times G_2\times\cdots\times G_n)}\simeq\G_1\times\G_2\times\cdots\times\G_n$$
を得る。

$$\wh{\R^n}=\{\x:\bs x\mapsto e^{2\pi i\bs x\c\bs y}\mid\bs y\in\R^n\}\simeq\R^n$$
が成り立つ。特に$\R^n$上のフーリエ変換は
$$\f(\bs y)=\int_{\R^n}f(\bs x)e^{-2\pi i\bs x\c\bs y}d\bs x$$
と表せる。

証明

 上の補題の証明から$\R^n$の指標$\x$$\R$の指標$\x_1,\x_2,\ldots,\x_n$を用いて
$$\x(x_1,x_2,\ldots,x_n)=\x_1(x_1)\x_2(x_2)\cdots\x_n(x_n)$$
と表せるので
$$\x_j(x_j)=e^{2\pi ix_jy_j}$$
なる$y_1,y_2,\ldots,y_n\in\R$を取ると
$$\x(x_1,x_2,\ldots,x_n) =e^{2\pi i(x_1y_1+x_2y_2+\cdots+x_ny_n)} =e^{2\pi i\bs x\c\bs y}$$
が成り立つ。

 $x\in\Q_p$$p$進展開
$$x=\sum^\infty_{n=v_p(x)}c_np^n\quad(c_n\in\{0,1,2,\ldots,p-1\})$$
に対し$\Q_p$の指標$\x_y\ (y\in\Q_p)$
\begin{align} \x_1(x)&=\exp\l(2\pi i\sum_{n<0}c_np^n\r)\\ \x_y(x)&=\x_1(xy) \end{align}
によって定めると
$$\wh\Q_p=\{\x_y\mid y\in\Q_p\}\simeq\Q_p$$
が成り立ち、また
\begin{align} \wh\Z_p&=\{\x_y\mid y\in\Q_p/\Z_p\}\simeq\Q_p/\Z_p\\ \wh{\Q_p/\Z_p}&=\{\x_y\mid y\in\Z_p\}\simeq\Z_p \end{align}
とかも成り立つことが知られている。

ポントリャーギン双対性

 もちろん$G$上のフーリエ変換にも反転公式が存在するわけですが、それについて語るためにはまず$\f$の定義域である$\G$の性質について触れておく必要があります。
 まず$\G$には以下のような位相を考えることができます。

コンパクト開位相

 $X,Y$を位相空間、$C(X,Y)$$X$から$Y$への連続写像全体とする。
 また$X,Y$の部分集合$A,B$に対し
$$W(A,B)=\{f\in C(X,Y)\mid f(A)\subseteq B\}$$
とおいたとき
$$\{W(K,U)\mid K:X\ \text{のコンパクト集合},\ U:Y\ \text{の開集合}\}$$
を準開基として生成される$C(X,Y)$の位相をコンパクト開位相と言う。

 ちなみにコンパクト開位相は$X$が局所コンパクトハウスドルフであれば
$$C(X,Y)\times X\to Y,\quad(f,x)\mapsto f(x)$$
という写像を連続とするような位相であって最弱なものとして特徴付けられるため、$\G$にこのような位相を考えるのは自然だと言えます。
 そしてこのような位相を入れたとき$\G$は位相群となることが知られています。

 位相群$G$に対し、その指標群$\G$はコンパクト開位相に関してハウスドルフなアーベル群となる。

 特に$G$が局所コンパクトであれば$\G$も局所コンパクトとなり、したがって以下が成り立ちます。

 局所コンパクト群$G$に対し、その指標群$\G$は局所コンパクトアーベル群となる。

 となると$\G$上でも適当なハール測度$\nu$を持ってきてフーリエ変換
$$\g(\xi)=\int_\G g(\x)\ol{\xi(\x)}d\nu\qquad(\xi\in\wh\G)$$
を考えることができるわけですが、ここでこの二重双対群$\wh\G$

  • 局所コンパクトアーベル群である
  • 自然な(連続)準同型$G\to\wh\G,\quad x\mapsto(\x\mapsto\x(x))$がある

という点から$G$とよく似た群となることが期待されます。
 そして実際$G$が局所コンパクトアーベル群であるとき$\wh\G$$G$と同型になるという非常に興味深い事実:ポントリャーギン双対性が成り立ちます。なおこれまでは特に$G$の可換性を仮定してきませんでしたが、ここからは$G$が可換である必要があります

ポントリャーギン双対性

 局所コンパクトアーベル群$G$に対し準同型
$$G\to\wh\G,\quad x\mapsto(\x\mapsto\x(x))$$
は位相群の同型$G\simeq\wh\G$を与える。

 例えば上で紹介した$G=\R,\ \Z/N\Z,\ \Q_p$の場合はその双対が自分自身と同型であり、また$\Z$$\R/\Z$$\Z_p$$\Q_p/\Z_p$は互いに双対の関係にあったので、これらの群の二重双対は確かに自分自身と同型となっていることがわかります。

反転公式

 いまポントリャーギン双対性から$\G$上のフーリエ変換は$G$上の関数として
$$\g(x)=\int_\G g(\x)\ol{\x(x)}d\nu$$
と表せることになります。
 そして通常のフーリエ変換に関する結果からも期待されるように、$\G$上のフーリエ変換は$G$上のフーリエ変換の逆変換を与えることになります。

反転公式

 局所コンパクトアーベル群$G$上の関数$f\in L^1(G)$に対し、そのフーリエ変換
$$\f(\x)=\int_G f(x)\ol{\x(x)}d\mu(x)$$
$\f\in L^1(\G)$を満たすとき、適当に正規化された$\G$のハール測度$\nu$に関して
$$f(x)=\int_\G\f(\x)\x(x)d\nu(\x)$$
が成り立つ。
 またこれによって定まる測度$\nu$のことを$\mu$双対測度プランシュレル測度と言うことがある。

 なお$G,\G$のハール測度$\mu,\nu$を任意に持ってきただけだと、ある定数$C>0$が存在して
$$f(x)=C\int_\G\f(\x)\x(x)d\nu$$
が成り立つことまでしか言えないことに注意しましょう。
 さてこれによって例えば冒頭で紹介した$G=\R,\ \R/\Z,\ \Z/N\Z,\ \R^n$におけるフーリエ変換の反転公式が出てくることになりますが、これらの例は既に散々紹介してきたのでここでは味変にメリン変換の反転公式でも導出してみましょう(双対測度の決定については特に触れません)。

メリン変換

 非負整数からなる乗法群$\R^+$を考えたとき、同型
$$\R^+\to\R,\quad x\mapsto\log x$$
があることに注意するとその指標群は
\begin{align} \wh{\R^+} &=\{\x:x\mapsto e^{2\pi i(\log x)y}\mid y\in\R\}\\ &=\{\x:x\mapsto x^s\mid s\in i\R\}\\ \end{align}
と求まり、また$\R^+$のハール測度は
$$d\mu=d(\log x)=\frac{dx}x$$
と表せるので、$\R^+$上のフーリエ変換は
$$\f(s)=\int^\infty_0f(x)x^s\frac{dx}x\quad(s\in i\R)$$
と定まる。これを$f$メリン変換と言う。
 またその反転公式は
$$f(x)=\int^{i\infty}_{-i\infty}\f(s)x^s\frac{ds}{2\pi i}$$
と求まる。

 本質的には通常のフーリエ変換に適当な変数変換を施しただけですが、このようにメリン変換もフーリエ変換そのものとして扱えるのは少し面白いのではないでしょうか。
 メリン変換の話題が出たついでに$\Q_p$上のメリン変換についてもちょこっとだけ紹介しておきましょう。

おまけ

 乗法群$\Q_p^\times$を考えたとき、$p$進ノルム
$$\Q_p^\times\to\R^+,\quad x\mapsto|x|_p=p^{-v_p(x)}$$
$\R^+$の指標の合成によって得られる$\Q_p$の指標
$$\x:\Q_p\to\T,\quad x\mapsto|x|_p^s\quad(s\in i\R)$$
におけるフーリエ変換は
$$\f(\x)=\int_{\Q_p^\times}f(x)|x|_p^s\frac{d\mu}{|x|_p}$$
と表せる(ただし$\mu$は加法群$\Q_p$のハール測度とした)。
 なお
$$\Q_p^\times\simeq\Z\times\Z/(p-1)\Z\times\Z_p$$
という同型があるのでその指標群は
$$\wh{\Q_p}\simeq(\R/\Z)\times\Z/(p-1)\Z\times(\Q_p/\Z_p)$$
という構造を持つことになる。

コンパクト-離散双対性

 一般に与えられたハール測度$\mu$に対しその双対測度を明示的に求める公式のようなものは(自分が知る限り)なさそうですが、$G$がコンパクト群または離散群であるときはコンパクト-離散双対性と呼ばれる双対関係によって具体的な双対測度を与えることができます。

コンパクト-離散双対性

 コンパクト群$G$に対し$\G$は離散群となり、離散群$G$に対し$\G$はコンパクト群となる。

 例えば
\begin{alignat}{3} \wh\Z&\simeq\R/\Z,&\wh{\R/\Z}&\simeq\Z\\ \wh{\Z_p}&\simeq\Q_p/\Z_p,&\quad\wh{\Q_p/\Z_p}&\simeq\Z_p \end{alignat}
という双対関係において離散群$\Z,\ \Q_p/\Z_p$とコンパクト群$\R/\Z,\ \Z_p$が対応し合っていることがわかります。
 いまコンパクト群と離散群には次のようなハール測度が備わっていることに注意しましょう。

  • コンパクト群$G$とそのハール測度$\mu$について、$G$のコンパクト性とハール測度の定義から$\mu(G)<\infty$が成り立つ。特に定数関数$f(x)=1$に対し
    $$\int_G1d\mu=\mu(G)<\infty$$
    つまり$f\in L^1(G)$が成り立つ。
  • 離散群$G$のハール測度として数え上げ測度が取れる。特に$G$上の積分は和
    $$\int_Gf(x)d\mu=\sum_{x\in G}f(x)$$
    として表せる。

 そしてこれらのことから以下のように双対測度を求めることができます。

 コンパクトアーベル群$G$$\mu(G)=1$なるハール測度に対し、その双対測度は数え上げ測度となる。
 また離散アーベル群$G$の数え上げ測度に対し、その双対測度は$\mu(G)=1$なるハール測度となる。

証明

 コンパクトアーベル群$G$に対し定数関数$f=1\in L^1(G)$のフーリエ変換は
$$\f(\x)=\l\{\begin{array}{ll} 1&(\x=\x_0)\\0&(\x\neq\x_0) \end{array}\r.$$
と求まる(ただし$\x_0$は自明な指標とした)。実際$\x=\x_0$のときは
$$\f(\x_0)=\int_G1dx=\mu(G)=1$$
求まり、$\x\neq\x_0$のときは$\x(a)\neq1$なる$a\in G$を取ると
$$\ol{\x(a)}\f(\x)=\int_G\ol{\x(ax)}dx=\int_G\ol{\x(x)}dx=\f(\x)$$
が成り立つことから$\f(\x)=0$と求まる。
 したがって反転公式
$$f(x)=\x_0(x)=\sum_{\x\in\G}\f(\x)\x(x)$$
が成り立つので、数え上げ測度が双対測度となっていることがわかる。
 また$G$が離散アーベル群であるときも同様に
$$f(x)=\l\{\begin{array}{ll} 1&(x=1)\\0&(x\neq1) \end{array}\r.$$
のフーリエ変換が
$$\f(\x)=\sum_{x\in G}f(x)\x(x)=\x(1)=1$$
と求まることから
$$f(x)=\int_G\x(x)d\x$$
を得る。

 つまり以下の反転公式が成り立つというわけです。

 コンパクトアーベル群$G$に対しそのハール測度$\mu$を任意に取り、$G$上のフーリエ変換を
$$\f(\x)=\frac1{\mu(G)}\int_Gf(x)\ol{\x(x)}d\mu$$
によって定めると、その反転公式は
$$f(x)=\sum_{\x\in G}\f(\x)\x(x)$$
となる。

フーリエ級数展開

 コンパクト群$\R/T\Z$上のフーリエ変換を
$$\f(n)=\frac1T\int^T_0f(x)e^{-2\pi inx/T}dx$$
によって定めると、その反転公式は
$$f(x)=\sum^\infty_{n=-\infty}\f(n)e^{2\pi inx/T}$$
となる。

離散フーリエ変換

 有限アーベル群$G$上のフーリエ変換を
$$\f(\x)=\frac1{|G|}\sum_{x\in G}f(x)\ol{\x(x)}$$
によって定めると、その反転公式は
$$f(x)=\sum_{\x\in\G}\f(\x)\x(x)$$
となる。
 ちなみに有限アーベル群$G$に対しては同型$G\simeq\G$が成り立つことが知られている(詳しくは こちら )。

ローラン展開

 円周群$\T$上のフーリエ変換を
$$\f(n)=\frac1{2\pi i}\int_{|z|=1}f(z)z^{-n}\frac{dz}z$$
によって定めると、その反転公式は
$$f(z)=\sum^\infty_{n=-\infty}\f(n)z^n$$
となる。

 これも通常のフーリエ級数展開に適当な変数変換を施しただけではありますが、複素関数のローラン展開がフーリエ変換の一種とみなせるのは、やはり面白いものがありますね。

おわりに

 以上が群上のフーリエ変換とその反転公式に関する概説でした。
 また次回次々回の記事では群上のフーリエ変換の一般論・応用としてプランシュレルの定理とポアソン和公式について紹介していくので、そちらも併せてご覧ください。
 
 なおこの記事では説明の都合上あまり触れて来ませんでしたが、群上のフーリエ変換の構成には表現論やバナッハ環($C^*$-環)のスペクトル理論などの興味深い理論が関わっているようなので、いつかそこら辺の話もちゃんと読んでおきたいですね。
 またそこら辺の話に興味がある人は群上の調和解析とか抽象調和解析とかのワードで色々調べてみてはいかがでしょうか。

参考文献

投稿日:18日前
更新日:18日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
1104
273533
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中