1 定義と基本概念
パーセバルの等式は、関数の二乗積分と、そのフーリエ表示に現れる係数の二乗和が一致することを述べる基本結果である。直感的には、時間領域や空間領域で測った「全体の大きさ」が、周波数成分に分解しても失われないことを意味する。フーリエ級数とフーリエ変換の双方に対応する形があり、解析学の中核をなす定理の一つとされる。
1.1 パーセバルの等式の概要
この等式は、直交基底に対する展開係数の情報だけで、元の関数のノルムを表せることを示す。エネルギーや平均二乗値の保存則として理解されることも多く、信号や波の解析で特に有用である。
1.2 フーリエ級数における表現
周期関数を正弦・余弦、または複素指数関数で展開すると、各係数の二乗の総和が関数の二乗平均に対応する。これにより、関数の振幅分布を周波数成分ごとに定量化できる。
1.2.1 実数値関数の場合
実数値の周期関数では、フーリエ級数は通常、余弦項と正弦項の和として表される。パーセバルの等式は、定数項を含む各成分の寄与を足し合わせたものが、元の関数の二乗積分と一致することを与える。
1.2.2 複素数値関数の場合
複素指数関数による表現では、係数は正負の周波数成分をまとめて扱えるため、式の形が簡潔になる。係数列の二乗和は、複素共役を用いた内積に基づいて自然に定義される。
1.3 フーリエ変換における表現
非周期関数に対しては、フーリエ変換が連続的な周波数分布を与える。パーセバルの等式は、この場合、空間側の二乗積分と周波数側の二乗積分が等しいこととして現れる。
1.3.1 連続時間の場合
連続時間信号では、関数のエネルギーが変換後のスペクトル密度に保存される。物理量の時間変化を周波数成分に分解する際の基礎公式として機能する。
1.3.2 離散時間の場合
離散時間信号では、離散フーリエ変換や離散時間フーリエ変換に対応する保存関係が現れる。数値計算やデジタル信号処理では、標本化されたデータの解析に直接利用される。
2 数学的背景
パーセバルの等式は、単なる変換公式ではなく、内積空間の幾何学に根ざしている。特に、正規直交系とヒルベルト空間の完備性が、等式の成立を支える基本構造となる。
2.1 内積空間とノルム
内積は二つの要素の相関を測る量であり、そこからノルムが定義される。パーセバルの等式は、直交分解によってノルムが成分ごとの寄与の和に分解されることを示す。
2.1.1 直交性の意味
直交性とは、異なる成分同士の内積が零になる性質である。これにより、各成分の寄与が互いに干渉せず、二乗和として独立に加算できる。
2.1.2 正規直交系
正規直交系は、互いに直交し、かつ各要素の長さが1に正規化された集合である。フーリエ基底はその代表例で、展開係数の平方和が自然な量として現れる。
2.2 ヒルベルト空間
ヒルベルト空間は、内積を備えた完備な線形空間であり、フーリエ解析の抽象的な舞台となる。パーセバルの等式は、この空間における直交展開の一般理論の一部とみなせる。
2.2.1 完備性
完備性とは、コーシー列が空間内で極限をもつ性質を指す。これにより、有限和による近似を無限和へと厳密に拡張できる。
2.2.2 射影と近似
ある部分空間への射影は、元の対象を最も近い成分に分ける操作である。フーリエ展開では、部分和が最良近似として働き、誤差の評価にも直結する。
3 証明と導出
パーセバルの等式は、直交性と極限操作を組み合わせることで導かれる。フーリエ級数の場合は離散的な係数の計算から、フーリエ変換の場合は積分変換の性質から示されるのが一般的である。
3.1 フーリエ級数からの導出
周期関数を直交基底で展開し、部分和の二乗ノルムを計算すると、交差項が消える。そこから、係数の平方和と関数のノルムの一致が現れる。
3.1.1 直交関係の利用
基底関数どうしの直交関係により、積分を展開したときの混合項が消える。残るのは各係数の二乗に対応する項だけである。
3.1.2 部分和の極限
有限個の項で作る部分和は、十分大きくすると元の関数に近づく。極限をとることで、近似で得られた関係が完全な等式へと拡張される。
3.2 フーリエ変換からの導出
フーリエ変換では、変換と逆変換の対称性が重要な役割を果たす。適切な収束条件のもとで積分の交換や極限操作を行うと、保存則が導かれる。
3.2.1 積分変換の性質
指数関数の核を用いる変換は、微分や畳み込みを周波数空間で扱いやすくする。パーセバルの等式は、この変換がノルムを保つ性質の一端として理解される。
3.2.2 収束条件
証明には、可積分性や平方可積分性などの条件が関係する。厳密な扱いでは、まず十分滑らかな関数で示し、その後に密度定理を用いて一般の関数へ拡張する。
4 応用
パーセバルの等式は、理論的な美しさだけでなく、実用面でも広く使われる。特に、信号の強度評価、波の解析、方程式のエネルギー見積もりにおいて重要である。
4.1 信号処理
信号処理では、全体のエネルギーを周波数成分ごとに分配して考えられる。これにより、雑音除去や帯域解析の基礎が与えられる。
4.1.1 エネルギー保存の解釈
時間領域で測った信号の強さが、周波数領域でも同じ総量として表される。これは、測定方法を変えても本質量が不変であることを示す。
4.1.2 スペクトル解析
スペクトル解析では、どの周波数帯が強く寄与しているかを調べる。パーセバルの等式により、帯域ごとの寄与を定量的に比較しやすくなる。
4.2 物理学
物理学では、波動や場の記述において、エネルギーの分配と保存が中心的なテーマとなる。パーセバルの等式は、連続的なモード分解に対応する保存関係として現れる。
4.2.1 波動現象
弦、音波、電磁波などの波は、複数の振動成分の重ね合わせで表せる。等式は、各モードの寄与の総和が全体の強度に一致することを示す。
4.2.2 量子力学
量子力学では、波動関数の確率振幅を基底展開する際に、内積とノルムが基本となる。パーセバルの等式は、状態の全確率が基底表示でも保たれることに対応する。
4.3 偏微分方程式
偏微分方程式の解析では、解の大きさを制御することが重要である。パーセバルの等式は、フーリエ変換を用いたエネルギー評価の道具として働く。
4.3.1 解の評価
解を周波数空間に移すと、微分作用が代数的な因子に変わる。これにより、解のノルムや導関数の大きさを見積もりやすくなる。
4.3.2 安定性の解析
初期値や境界条件のわずかな変化が解にどの程度影響するかを調べる際、エネルギー等式が役立つ。パーセバルの関係は、解の安定性を支える基本的な不等式群の出発点となる。
5 関連する一般化
パーセバルの等式は、より広い理論の一部として理解できる。プランシュレルの定理や他の直交関数系への拡張は、その一般的な形を明確に示している。
5.1 プランシュレルの定理
プランシュレルの定理は、フーリエ変換が平方可積分関数の空間で等長写像になることを述べる。パーセバルの等式は、その特別な場合として見なされることが多い。
5.1.1 類似点
どちらも、元の関数のノルムが変換後の表現でも保存されることを述べる。いずれも、内積構造と直交性に基づいている点が共通している。
5.1.2 相違点
パーセバルの等式はしばしば具体的な展開係数に関する形で述べられるのに対し、プランシュレルの定理はより抽象的で広い範囲の関数空間に適用される。後者は、連続変換に対する一般理論として位置づけられる。
5.2 他の直交展開への拡張
フーリエ基底以外にも、直交多項式や特殊関数による展開で類似の保存則が成立する。これは、直交系が備える幾何学的性質に由来する。
5.2.1 ルジャンドル多項式
ルジャンドル多項式は、球対称問題や区間上の関数展開で現れる直交多項式である。対応するパーセバル型の関係により、係数の二乗和が関数の二乗積分を与える。
5.2.2 ベッセル関数
ベッセル関数は、円筒対称な問題で重要な特殊関数である。これらの直交展開でも、成分のエネルギーが保存される形の等式が得られる。