理系大学生の数学駆け込み寺お問い合わせLINE:理系大学生が勉強でつまるところや悩むところを大学の100倍わかりやすく解説するサイトです。大学生活を楽しむために必要なことを徹底的に解説しています。-ナベヤン浪人の末に後期試験で男だらけの工業大学に進学した。勉強はほどほどにサークルで女子と楽しい大学生活を送ると思いきや、まともに話せずに1年間女子話さずに童貞を継続。「このままでは一生童貞だ」と思い大学1年の春に、、、$$\newcommand{\diff}{\mathrm{d}}$$ここではフーリエ変換におけるパーシヴァルの等式の説明をしますが、その前にベッセルの不等式を説明しなければなりません。ベッセルの不等式はフーリエ級数から導かれるもので、また、パーシヴァルの等式もフーリエ級数から導かれるものなのです。そのフーリエ変換の場合をここでは説明します。t\right)\end{align*}$$と表されます。\frac{L}{2}\right]$$で2乗可積分であるといいます)。このとき次の式が成り立ちます。(1)\end{align*}$$これをベッセルの不等式といいます。l)\end{array}\right.$$です。=1}^{n}\begin{array}{|}c_k\end{array}^2\end{align*}$$です。\sum_{k=1}^{n}\begin{array}{|}c_k\end{array}^2\end{align*}$$です。\sum_{k=1}^{n}\begin{array}{|}c_k\end{array}^2\end{align*}$$となります。t\end{align*}$$となります。0$$よって(1)が得られ、証明できました。パーシヴァルの等式とは?パーシヴァル(パーセバル)の等式はフーリエ級数から求められます。L]$$で定義された区分的に連続な関数$$f(x)$$のフーリエ級数は以下のとおりです。x\end{align*}$$ここで、(1)の両辺に$$f(x)$$をかけて関数が定義されている区分で積分を行います。(2)\end{align*}$$ここまではわかると思います。(3)\end{align*}$$が導かれます。この(3)がパーシヴァルの等式と呼ばれるものです。現実問題としてフーリエ級数は無限大まで値をと取らずに途中で打ち切った値で、近似値を計算するのが常としています。コンピュータ計算はその最たるものです。そこで区間$$[L,-L]$$で定義された関数$$f(x)$$を有限な数の三角関数で展開します。(5)\end{align*}$$ここで周期を$$L$$とすれば、(5)式は次のようになります。t\end{align*}$$ここで$$k$$を$$n$$で置き換えると(1)のベッセルの不等式になっていることがわかると思います。\sum_{n=1}^{\infty}\begin{array}{|}c_n\end{array}^2$$となります。これを区間$$[-\infty,\infty]$$の和を取り、$$x$$を$$t$$に変換し、周期を$$T$$とすると次のようになります。\sum_{-\infty}^{\infty}\begin{array}{|}c_n\end{array}^2$$これがフーリエ変換でも成り立つのです。その関係は次のとおりです。(8)\end{align*}$$フーリエ級数はフーリエ変換に対応することを覚えていると思います。t$$フーリエ変換のパーシヴァルの等式を証明するには畳み込み積分(合成積)のフーリエ変換を利用します。\omega$$となり、(8)の右辺が導かれます。\overline{f(-t)}\end{align*}$$となります。\tau^\prime$$これでようやく目的に達しました。\omega$$以上証明終了です。まとめここではベッセルの不等式、パーシヴァルの等式、ベッセルの不等式とパーシヴァルの等式の関係、そしてフーリエ変換におけるパーシヴァルの等式について説明してきました。ボリュームが多くなってしまいましたが、どれも重要なものですので、覚えてください。大半を各証明に費やしましたが、証明がわかれば、しめたものです。ここはじっくりを腰を据えて証明をゆっくりと理解しながら追ってみてください。-ナベヤン浪人の末に後期試験で男だらけの工業大学に進学した。勉強はほどほどにサークルで女子と楽しい大学生活を送ると思いきや、まともに話せずに1年間女子話さずに童貞を継続。コメントをキャンセルメールアドレスが公開されることはありません。*サイト次回のコメントで使用するためブラウザーに自分の名前、メールアドレス、サイトを保存する。コメントデータの処理方法の詳細はこちらをご覧ください。