パーセヴァルの等式

数学の解析学の分野において、マルク＝アントワーヌ・パーセバルの名にちなむパーセヴァルの等式（パーセヴァルのとうしき、テンプレート:Lang-en-short）は、函数のフーリエ級数の総和可能性に関する基本的な結果である。幾何学的には、内積空間に対するピタゴラスの定理と見なされる。

大雑把に言うと、この等式では、函数のフーリエ係数の二乗の和が、その函数の二乗の積分と等しいことが示される。すなわち

$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}|c_n{|}^2=\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}|f(x){|}^{2}dx$

が成立する。ここで c_n は ƒ のフーリエ係数で、次式で与えられる：

$c_n=\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}f(x){\mathrm{e}}^{-inx}dx.$

正確には、この結果は ƒ が自乗可積分あるいはより一般に L²[−π,π] に属する場合に成立する。類似の結果として、函数のフーリエ変換の二乗の積分が、その函数の二乗の積分と等しいというプランシュレルの定理がある。すなわち、1 次元の場合は、テンプレート:Nowrap に対して次の等式が成立する：

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}|\hat{f}(\xi ){|}^{2}d\xi =\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}|f(x){|}^{2}dx.$

ピタゴラスの定理の一般化

以下に述べるように、この等式はより一般の可分ヒルベルト空間におけるピタゴラスの定理と見なされる。内積〈•,•〉を備えるヒルベルト空間を H とし、(e_n) を H の正規直交基底とする。すなわち e_n の線型包は H において稠密であり、e_n は次を満たす意味で互いに正規直交である：

$⟨e_m,e_n⟩=\{\begin{array}{cc}1& \text{if}m=n\\ 0& \text{if}m=n.\end{array}$

このとき、パーセヴァルの等式によると、すべての x ∈ H に対して次が成立する。

$\sum _n|⟨x,e_n⟩{|}^2=\Vert x{\Vert }^2.$

この等式は、正規直交基底に対するベクトルの各成分の二乗の和が、そのベクトルの長さの二乗に等しいという点でピタゴラスの定理と直接的に関係する。H をヒルベルト空間 L²[−π,π] とし、テンプレート:Nowrap に対して e_n = e^−inx とすれば、パーセヴァルの等式のフーリエ級数の場合を導くことが出来る。

より一般に、可分ヒルベルト空間だけでなく、任意の内積空間においてパーセヴァルの等式は成立する。したがって H を内積空間と仮定する。B を H の正規直交基底とする。すなわち、B の線型包が H において稠密となるという意味で total な正規直交集合とする。このとき、次が成り立つ。

$\Vert x{\Vert }^2=⟨x,x⟩=\sum _{v\in B}{|⟨x,v⟩|}^2.$

B が total であるという仮定は、等式が成立するために必要である。B が total でないなら、パーセヴァルの等式の等号が テンプレート:Nowrap に変わったベッセルの不等式が成り立つ。このようなパーセヴァルの等式の一般の形は、リース＝フィッシャーの定理を利用することで証明できる。

関連項目

• マルク＝アントワーヌ・パーセバル
• パーセヴァルの定理

参考文献

• テンプレート:SpringerEOM
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.