パーセバルの定理

パーセバルの定理（パーセバルのていり、テンプレート:Lang-en-short）^[1]^[2]とは、フーリエ変換がユニタリであるという結果を一般に指す。大まかに言えば、関数の平方の総和（あるいは積分）が、そのフーリエ変換の平方の総和（あるいは積分）と等しいということである。フランスの数学者テンプレート:仮リンクの1799年の級数に関する定理が起源であり、この定理は後にフーリエ級数に応用されるようになった。レイリー卿ジョン・ウィリアム・ストラットに因んで、レイリーのエネルギー定理（テンプレート:En）とも呼ばれる^[3]。

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

パーセバルの定理の主張

テンプレート:Math とテンプレート:Math を（ルベーグ測度に関して）閉区間[0,2π]で二乗可積分なテンプレート:Math 上の周期テンプレート:Math の複素数値関数とする。それらのフーリエ級数をそれぞれ

A (x) = \sum_{n = - \infty}^{\infty} a_{n} e^{i n x},

B (x) = \sum_{n = - \infty}^{\infty} b_{n} e^{i n x}

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

\sum_{n = - \infty}^{\infty} a_{n} \overline{b_{n}} = \frac{1}{2 π} \int_{- π}^{π} A (x) \overline{B (x)} d x .

ここで、テンプレート:Mvar は虚数単位、上付きの横棒は複素共役を表す。

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

テンプレート:Indent

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

次に、実数値関数 A と B のフーリエ級数の場合、 $a_{0}, b_{0}$ は実数で、 $a_{- n} = \overline{a_{n}}, b_{- n} = \overline{b_{n}}$ という特殊ケースになる。この場合、次が成り立つ。

テンプレート:Indent

ここで、 $ℜ$ は実部を意味する。 $a_{n}$ と $b_{n}$ を $a_{n} / 2 - i b_{n} / 2$ とする場合もある。

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

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

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

\int_{- \infty}^{\infty} | x (t) |^{2} d t = \frac{1}{2 π} \int_{- \infty}^{\infty} | X (ω) |^{2} d ω = \int_{- \infty}^{\infty} | X (2 π f) |^{2} d f .

ここで、 $X (ω) = ℱ_{ω} {x (t)}$ はテンプレート:Math の（正規化されたユニタリ形式での）連続フーリエ変換を表し、テンプレート:Math はラジアンパー秒の周波数である。

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

テンプレート:仮リンク信号の場合、この定理は次のようになる。

テンプレート:Indent

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

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

テンプレート:Indent

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

脚注

テンプレート:Reflist

参考文献

Parseval, MacTutor History of Mathematics archive.
George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists (Harcourt: San Diego, 2001).
Hubert Kennedy, Eight Mathematical Biographies (Peremptory Publications: San Francisco, 2002).
Alan V. Oppenheim and Ronald W. Schafer, Discrete-Time Signal Processing 2nd Edition (Prentice Hall: Upper Saddle River, NJ, 1999) p 60.
William McC. Siebert, Circuits, Signals, and Systems (MIT Press: Cambridge, MA, 1986), pp. 410-411.
David W. Kammler, A First Course in Fourier Analysis (Prentice-Hall, Inc., Upper Saddle River, NJ, 2000) p. 74.

外部リンク

Parseval's Theorem on Mathworld
映画『グッド・ウィル・ハンティング/旅立ち』で、ランボー・ジェラルドの登場シーンで彼が黒板に書き終えたのがパーセバルの定理であった。 [1]

↑ Parseval des Chênes, Marc-Antoine "Mémoire sur les séries et sur l'intégration complète d'une équation aux differences partielle linéaire du second ordre, à coefficiens constans" presented before the Académie des Sciences (Paris) on 5 April 1799. This article was published in Mémoires présentés à l’Institut des Sciences, Lettres et Arts, par divers savans, et lus dans ses assemblées. Sciences, mathématiques et physiques. (Savans étrangers.), vol. 1, pages 638-648 (1806).
↑ テンプレート:Cite bookでは「パーシバルの定理」と記載されている。
↑ Rayleigh, J.W.S. (1889) "On the character of the complete radiation at a given temperature," Philosophical Magazine, vol. 27, pages 460–469.
↑ Plancherel, Michel (1910) "Contribution a l'etude de la representation d'une fonction arbitraire par les integrales définies," Rendiconti del Circolo Matematico di Palermo, vol. 30, pages 298–335.

[1] Parseval des Chênes, Marc-Antoine "Mémoire sur les séries et sur l'intégration complète d'une équation aux differences partielle linéaire du second ordre, à coefficiens constans" presented before the Académie des Sciences (Paris) on 5 April 1799. This article was published in Mémoires présentés à l’Institut des Sciences, Lettres et Arts, par divers savans, et lus dans ses assemblées. Sciences, mathématiques et physiques. (Savans étrangers.), vol. 1, pages 638-648 (1806).

[2] テンプレート:Cite bookでは「パーシバルの定理」と記載されている。

[3] Rayleigh, J.W.S. (1889) "On the character of the complete radiation at a given temperature," Philosophical Magazine, vol. 27, pages 460–469.

[4] Plancherel, Michel (1910) "Contribution a l'etude de la representation d'une fonction arbitraire par les integrales définies," Rendiconti del Circolo Matematico di Palermo, vol. 30, pages 298–335.

[1]

[2]

[3]

[4]

パーセバルの定理

目次