これまで学習したように,区間
![$ [-L,L]$](img30.png)
で定義された区分的に連続な関数
![$ f(x)$](img31.png)
は,
のようにフーリエ級数で表すことができる.式(
6)の両辺に
![$ f(x)$](img35.png)
を乗じて
2,関数が定
義されている区間で積分を行う
3.
以上より,
が得られる.これを
パーセバルの等式と言う.
諸君は,「計算結果は分かった.この計算結果にどんな意味があるの???」と言いたいだろう.パーセバルの等式が重要な理由は,節を変えて述べる事にする.
「パーセバルの等式は関数を展開するときのピタゴラスの定理(三平方の定理)である」と言ったら驚くであろう.これからこのことを示す.これから述べることの計算なんかどうでもよいから,イメージを持つことに努めよ.
図
2のように,ある任意のベクトルは
![$ x$](img43.png)
と
![$ y$](img44.png)
,
![$ z$](img45.png)
方向に分解できる.
分解されたそれぞれのベクトルは,各方向の単位ベクトルの
![$ a$](img46.png)
倍や
![$ b$](img47.png)
倍,あるいは
![$ c$](img48.png)
倍というように表現できる.すなわち,
![$\displaystyle \boldsymbol{X}=a\boldsymbol{i}+b\boldsymbol{j}+c\boldsymbol{k}$](img49.png) |
(9) |
である.ここで,
![$ \boldsymbol{i}$](img50.png)
は
![$ x$](img51.png)
方向の単位ベクトル,
![$ \boldsymbol{j}$](img52.png)
は
![$ y$](img53.png)
方向の単位ベクトル,
![$ \boldsymbol{k}$](img54.png)
は
![$ z$](img55.png)
方向の単位ベクトルである.これは,ベクトル
![$ \boldsymbol{X}$](img56.png)
を単位ベクトル
![$ (\boldsymbol{i},\,\boldsymbol{j},\,\boldsymbol{k})$](img57.png)
で展開しているのである.その展開の係数が
![$ (a,\,b,\,c)$](img58.png)
で,それぞれの単位ベクトルの寄与を表す.これを,
![$\displaystyle \boldsymbol{X}=(a,\,b,\,c)$](img59.png) |
(10) |
と表すことが多い.,線形代数では
![$\displaystyle \boldsymbol{X}=\begin{bmatrix}a\\ b\\ c \end{bmatrix}$](img60.png) |
(11) |
のように表現したりもする.
この式をつかって自分自身の内積を計算する.左辺は
となり,ベクトルの大きさの二乗--長さの二乗--である.右辺も計算すると,次のようになる.
これは,まさにピタゴラスの定理である.
注意ここではめんどくさい計算を行ったが,普通は次のようにする.
![$\displaystyle \vert\boldsymbol{X}\vert^2=(a,\,b,\,c)\cdot(a,\,b,\,c)=a^2+b^2+c^2$](img68.png) |
(13) |
あるいはもう少し線形代数の規則に従うと
![$\displaystyle \vert\boldsymbol{X}\vert^2=\begin{bmatrix}a & b& c \end{bmatrix} \begin{bmatrix}a \\ b \\ c \end{bmatrix} =a^2+b^2+c^2$](img69.png) |
(14) |
とする.どっちでもいい.
「関数のピタゴラスの定理」という言葉は無いが,イメージをつかむために,ここではあえて使う
4.
先ほどのピタゴラスの定理を示すときに,ベクトル
![$ \boldsymbol{X}$](img71.png)
を単位ベクトル
![$ (\boldsymbol{i},\,\boldsymbol{j},\,\boldsymbol{k})$](img72.png)
で展開
5した.それぞれの単位ベクトルの強度を示すものが係数の
![$ (a,\,b,\,c)$](img73.png)
である.同様に,フーリエ級数では,関数
![$ f(x)$](img74.png)
を
![$ \{1,\,\cos(\pi x/L),\,\cos(2\pi x/L),\cdots,\,\sin(\pi x/L),\,\sin(2\pi x/L),\cdots\}$](img75.png)
で展開
6した.展開に用いた三角関のそれぞれの強度は,係数
![$ (a_0/2,\,a_1,\,a_2,\dots,b_1,\,b_2,\cdots)$](img76.png)
が示すことになる.
つぎに,ベクトルの内積の演算に対応する関数の演算について考える.これは以前述べたように,積分になる.
単位ベクトルでは,次式で表せる直交性
|
![$\displaystyle (\boldsymbol{i}\cdot\boldsymbol{i})=(\boldsymbol{i}\cdot\boldsymbol{i})=(\boldsymbol{i}\cdot\boldsymbol{i})=1$](img80.png) |
(16) |
|
![$\displaystyle (\boldsymbol{i}\cdot\boldsymbol{j})=(\boldsymbol{j}\cdot\boldsymbol{k})=(\boldsymbol{k}\cdot\boldsymbol{i})=0$](img81.png) |
(17) |
がある.自分自身以外の内積はゼロとなっている.これに対応する三角関数の直交性は,次のようになる.
これもまた,自分自身以外との積分はゼロとなる.単位ベクトルとよく似ている.ただし,単位ベクトルの大きさは1であったが,展開する定数や関数の大きさは
![$ \sqrt{2L}$](img85.png)
あるいは
![$ \sqrt{L}$](img86.png)
である.
準備ができたので,パーセバルの等式がピタゴラスの定理と同じであることを示す.はじめに,パーセバルの等式(
8)をほんのちょっと書き直す.
ピタゴラスの定理である式(
12)の右辺と式(
21)とは次のように対応する.
左側は自分自身との内積,右側は自分自身との積分である.
次に右辺であるが,単位の大きさを考えなくてはならない.
- ベクトルの場合,大きさが1の単位ベクトルを基準にして,何倍という意味で係数
を決めた.
- 関数の場合,大きさが
(定数1)あるいは
(三角関数)を基準にして,何倍と言う意味で係数
を決めた.
関数の方の法の単位が1と異なるため,それを1にしなくてはならない.単位を1にすると,係数は
![$ \sqrt{2L}$](img95.png)
あるいは
![$ \sqrt{L}$](img96.png)
倍する必要がある.なぜならば,「2
![$ \mathrm{[mm]}$](img97.png)
単位の3倍の長さは,1
![$ \mathrm{[mm]}$](img98.png)
単位の2
![$ \times$](img99.png)
3倍になる」からである.したがって,ベクトルと関数,それぞれ大きさが1のもので展開した場合の対応は次のようになる.
ベクトルの場合の式(
12)の右辺は,1を単位としたときの直角方向の成分の大きさの二乗和となっている.同様に,パーセバルの等式(
21)も1を単位としたときの直角方向の成分の大きさの二乗和となっている.
以上の議論から,パーセバルの等式がピタゴラスの定理と等価であることが分かる.
展開する三角関数を無限大まで取らずに途中で打ち切った場合を考える.現実問題,これ
はしばしば起こることである.展開の係数が解析的に計算できない場合,コンピューター
を使った数値計算を行うことになる.コンピューターでは無限を取り扱うことができない
ため,有限の数の三角関数で展開しなくてはならない.展開する三角関数の数を多くすれ
ばより正確に元の関数を表現できるが,計算時間がさらに必要となる.そこで,展開する
関数の数と誤差の関係がわかれば,必要な展開ができる.この問題を考える.
区間
で定義された関数
を有限な数の三角関数で展開する.すなわち,
である.この場合のパーセバルの等式は,
のような不等式になる.なぜならば,無限大まで計算するパーセバルの等式の右辺は二乗
和であるため,全ての項はゼロよりも大きい.したがって,途中までで展開を打ち切ると,
右辺は必ず左辺よりも小さくなる.式(
25)を
ベッセルの不等式
と言う.
ここで,
項までのフーリエ級数の誤差の二乗の積分
を考える.
ある有限な項まででフーリエ級数の計算を打ち切った時の誤差をあたえる式である.有限
の項数でフーリエ級数を計算する場合,誤差を見積もる有用な式となる.この式の右辺は,
途中でフーリエ級数の計算を打ち切っても評価が可能な量である.
ホームページ:
Yamamoto's laboratory著者:
山本昌志
Yamamoto Masashi
平成18年12月21日