トップQs
タイムライン
チャット
視点

パーセバルの定理

ウィキペディアから

Remove ads

パーセバルの定理(パーセバルのていり、: Parseval's theorem[1][2]とは、フーリエ変換ユニタリであるという結果を一般に指す。大まかに言えば、関数の平方の総和(あるいは積分)が、そのフーリエ変換の平方の総和(あるいは積分)と等しいということである。フランスの数学者マルク=アントワーヌ・パーシバル英語版1799年級数に関する定理が起源であり、この定理は後にフーリエ級数に応用されるようになった。レイリー卿ジョン・ウィリアム・ストラットに因んで、レイリーのエネルギー定理Rayleigh's energy theorem, Rayleigh's Identity)とも呼ばれる[3]

また、特に物理学工学分野では、任意のフーリエ変換のユニタリ性を指してパーセバルの定理と呼ぶことが多いが、この性質の最も一般的な形は正確にはプランシュレルの定理と呼ばれる[4]

Remove ads

パーセバルの定理の主張

要約
視点

A(x)B(x) を(ルベーグ測度に関して)閉区間[0,2π]で二乗可積分R 上の周期 2π の複素数値関数とする。それらのフーリエ級数をそれぞれ

とする。すると、以下が成り立つ。

ここで、i虚数単位、上付きの横棒は複素共役を表す。

パーセバル自身は実数値関数のみを考えており、定理も自明であるとして証明抜きで提示しただけだった。この定理には様々な重要な特殊ケースがある。まず、A = B の場合、以下の式が得られる。

ここからフーリエ変換のユニタリ性が導き出される。

次に、実数値関数 AB のフーリエ級数の場合、 は実数で、 という特殊ケースになる。この場合、次が成り立つ。

ここで、 は実部を意味する。 とする場合もある。

より一般に、可換位相群 G とそのポントリャーギン双対 が与えられたとき、パーシヴァルの定理は、ポントリャーギン・フーリエ変換がヒルベルト空間 L2(G) の間のユニタリ作用素であることを言っている(積分には2つの群上の適切にスケールされたハール測度を用いる)。G が単位円周 T のとき、 は整数 Z であり、上で議論された場合である。G が実数直線 R のとき、R であり、ユニタリ変換は実数直線上のフーリエ変換である。G が巡回群 Zn のときも自己双対であり、ポントリャーギン・フーリエ変換は応用分野でのいわゆる離散フーリエ変換である。

Remove ads

工学や物理学で用いられる記法

要約
視点

物理学工学では、パーセバルの定理は以下のように記述されることが多い。

ここで、x(t) の(正規化されたユニタリ形式での)連続フーリエ変換を表し、ω = 2πf はラジアンパー秒の周波数である。

この形の定理は、波形 x(t) が持つ全エネルギー英語版の全時間 t についての総和と、その波形のエネルギーのフーリエ変換 X(f) の全周波数成分 f についての総和とが等しいことを意味する。

離散時間英語版信号の場合、この定理は次のようになる。

ここで、Xx離散時間フーリエ変換 (DTFT) であり、φx角周波数(標本当たりのラジアン)を意味する。

また、離散フーリエ変換 (DFT) では次のようになる。

ここで、X[k] は x[n] の DFT であり、どちらも長さ N である。

Remove ads

関連項目

脚注

参考文献

外部リンク

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads