maximaの初歩的な操作17･･･関数のフーリエ級数展開

...(ＰＣ版)メニューに戻る
*** 大区分 ***
数Ⅰ・Ａ数Ⅱ・Ｂ数Ⅲ 高卒・大学初年度
*** 中区分 ***
ベクトル・行列連立方程式複素数関数・数列微分積分微分方程式統計 maxima

※高卒から大学初年度レベルの「wxMaximaの利用法」について，このサイトには次の教材があります．
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は，他の頁を見てください．　が現在地です．

↓Maximaのインストール.初歩的な操作
↓展開,因数分解
↓方程式
↓三角関数

↓数列の総和
↓漸化式の一般項
↓テイラー級数.マクローリン級数
↓フーリエ級数-現在地

↓２次元グラフを描くには

↓行列,固有値,固有ベクトル

↓関数,値の代入,微分積分
↓微分
↓不定積分.（多項式,分数関数）
↓不定積分.（無理関数）
↓不定積分・定積分.（三角関数）
↓不定積分・定積分.（三角関数[2]）
↓重積分

１階常微分方程式

== maximaの初歩的な操作17 ==
･･･関数のフーリエ級数展開･･･
○Xmaxima，wxMaxima のインストール方法，基本操作については［この頁］参照

○wxMaximaでフーリエ級数を扱うには

メニューから［数値処理］→［自動的に数値で出力］などのコマンドを１つ実行して，(%i1)という入力行，(%o1)という出力行を１つ出します．

これ以降に登場するコマンドでフーリエに対応する綴りがfourierとなるのに対して，最初にロードするパッケージの名前はfourieとなることが注意点

次に，(%i1)の行を次のように書き換えて，フーリエ級数を扱うためのパッケージをロードします．
load(fourie);
これにより，以下に述べる
totalfourier (f, x, p);
という関数が使えるようになります．

【フーリエ級数の短い解説】
○区間[ −π, π]において
$f(x)=a_0+ (a_1 \cos x + b_1 \sin x) +(a_2 \cos 2x + b_2 \sin 2x)$
$+(a_3 \cos 3x + b_3 \sin 3x) + \cdots$ …(A)

で表される関数を考えると，各々の係数 $a_n$ ， $b_n$ は
$a_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\cos nx dx$ …(B)
$b_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\sin nx dx$ …(C)
に等しい．
ただし
$a_0=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x) dx$
$b_0=0$ とする．
(A)をフーリエ級数，(B)(C)をフーリエ係数という．

他の $a_n(n\geq 1)$ との整合性を考えて $a_0$ の代わりに $\frac{a_0}{2}$ を使うことが多い． $a_0$ の値が２倍だけ合わないと思うときは，どちらの定義で書かれているかを確かめるとよい．ただし，展開式にすれば同じものになる．

○上記の性質は，区間[ −π, π]における三角関数の直交性から導かれる．

任意の正の整数nについて
$\int_{-\pi}^{\pi}\cos nx dx=0$ …(1)
$\int_{-\pi}^{\pi}\sin nx dx=0$ …(2)
つねに
$\int_{-\pi}^{\pi}\cos mx \sin nx dx=0$ …(3)
m≠nのとき
$\int_{-\pi}^{\pi}\cos mx \cos nx dx=0$ …(4)
$\int_{-\pi}^{\pi}\sin mx \sin nx dx=0$ …(5)
m=nのとき
$\int_{-\pi}^{\pi}\cos nx \cos nx dx=\pi$ …(6)
$\int_{-\pi}^{\pi}\sin nx \sin nx dx=\pi$ …(7)

　各々簡単な定積分の計算なので，やってみればわかるがここでは証明は略する．
　これらの性質により，例えばf(x)にcosnxを掛けて区間[ −π, π]において積分すると
（左辺） $=\int_{-\pi}^{\pi}f(x)\cos nx dx$

（右辺） $=\cdots$
$+(a_n \int_{-\pi}^{\pi}\cos nx \cos nx dx$
$+ b_n \int_{-\pi}^{\pi}\sin nx \cos nxdx)+ \cdots$
$\cdots$

ここで赤で示した項は(1)(3)(4)により０となって消える．青で示した項だけが(6)により $a_n \pi$ となって残る．そこで
$a_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\cos nx dx$
が成り立つ．
$b_n$ についても同様にして示される．

○与えられた関数，例えばf(x)=x , xnあるいは，音声データや画像データに対して，上記の(B)(C)で求めたフーリエ係数を用いてフーリエ級数(A)を作ると，数学的にはこれが「元の関数f(x)に収束するかどうか」「不連続関数ならどうなるのか」「区間の端の点ではどのように接続されるのか」という難しい問題があるが，この頁ではこのような数学的に厳密な議論には深入りしない．
　むしろ，実用的には「無限」に長い級数を扱うつもりはなく，適当なところで打ち切って「フーリエ多項式」として使いたい．特に，データサイズの大きな音声や画像を完全に再現するのではなく，実用に耐え得る程度に「圧縮」して使いたい．
　このような目的から言えば，フーリエ多項式が「よい近似式」であればそれで十分だといえる．

【wxMaximaを用いて関数のフーリエ級数展開を求める】

関数 $x$ のフーリエ級数展開入力totalfourier(x,x,%pi);

※totalfourier(関数 , 変数 , 区間 )の形で使う
ただし，区間は，−π≦x≦πの場合に%piなどと指定する．（右端の正の値のみ指定）
※HELP情報を見ると，関数totalfourier( )は
fourexpand (foursimp (fourier (f, x, p)), x, p, 'inf)を組み合わせたものとされているが，便利なのでこれを使うとよい．

（結果）

奇関数なので，定数項a0およびcoskxの項はすべて消えます．

$-2\sum_{n=1}^{\infty}\frac{(-1)^{n}sin(nx)}{n}$
すなわち
$2\Bigl(\sin x -\frac{\sin 2x}{2}+ \frac{\sin 3x}{3}- \cdots \Bigr)$ …(1)

※近似の程度を調べるには，［２次元プロット］を用いて
wxplot2d([元の関数, フーリエ多項式], [x,-%pi,%pi], [y,-%pi,%pi]);
を実行すればよい．（cosnx, sinnxまでとった有限数列の和は第ｎ次のフーリエ多項式と呼ばれる．）

青が元の関数，赤がフーリエ多項式のグラフ

第５次まで使った場合第10次まで使った場合

※なお，この頁ではフーリエ級数が元の関数に収束するための条件を示していないが，(1)の無限級数はxに収束するので，例えば $x=\frac{\pi}{2}$ を代入すると
$\frac{\pi}{2}=2\Bigl(\sin \frac{\pi}{2} -\frac{\sin \pi}{2}+ \frac{\sin \frac{3\pi}{2}}{3}- \cdots \Bigr)$
すなわち
$1 - \frac{1}{3}+ \frac{1}{5} - \frac{1}{7} \cdot\cdot\cdot =\frac{\pi}{4}$ …(1’)
が示される．

関数 $x^2$ のフーリエ級数展開入力totalfourier(x^2,x,%pi);

（結果）

偶関数なので，sinkxの項はすべて消えます．

$\frac{\pi^2}{3}+ 4\Bigl(\sum_{n=1}^{\infty}\frac{(-1)^{n}cos(nx)}{n^2} \Bigr)$
すなわち
$\frac{\pi^2}{3} + 4\Bigl(-\frac{\cos x}{1^2} + \frac{\cos 2x}{2^2} - \frac{\cos 3x}{3^2}+ \frac{\cos 4x}{4^2} \cdot\cdot\cdot \Bigr)$ …(2)

青が元の関数，赤がフーリエ多項式のグラフ

第２次まで使った場合第５次まで使った場合

※(2)に $x=\frac{\pi}{2}$ を代入すると
$\frac{\pi^2}{4}=\frac{\pi^2}{3}+ 4\Bigl(-0+ \frac{-1}{2^2}-0 + \frac{1}{4^2}-0 + \frac{-1}{6^2} \cdot\cdot\cdot \Bigr)$
すなわち
$-\frac{\pi^2}{12}= 4\Bigl(- \frac{1}{2^2} + \frac{1}{4^2}- \frac{1}{6^2} \cdot\cdot\cdot \Bigr)$
$-\frac{\pi^2}{48}= - \frac{1}{2^2} + \frac{1}{4^2}- \frac{1}{6^2} \cdot\cdot\cdot$
$\frac{\pi^2}{48}= \frac{1}{4} \Bigl( \frac{1}{1^2} - \frac{1}{2^2}+ \frac{1}{3^2} -\cdot\cdot\cdot \Bigr)$
$\frac{\pi^2}{12}= \frac{1}{1^2} - \frac{1}{2^2}+ \frac{1}{3^2} -\cdot\cdot\cdot$ …(2’)
が示される．

関数 $|x|$ のフーリエ級数展開
入力totalfourier(abs(x),x,%pi);

（結果）

偶関数なので，sinkxの項はすべて消えます．

$\frac{2\Bigl(\sum_{n=1}^{\infty} \frac{((-1)^n-1)cos(nx)}{n^2}\Bigr)}{\pi}+ \frac{\pi}{2}$
すなわち
$\frac{\pi}{2} - \frac{4}{\pi}\Bigl(\frac{\cos x}{1^2} + \frac{\cos 3x}{3^2} + \frac{\cos 5x}{5^2}+ \cdot\cdot\cdot \Bigr)$ …(3)

青が元の関数，赤がフーリエ多項式のグラフ

第３次まで使った場合第７次まで使った場合

※(3)に $x=0$ を代入すると
$0=\frac{\pi}{2}- \frac{4}{\pi}\Bigl( \frac{1}{1^2} + \frac{1}{3^2}+ \frac{1}{5^2} \cdot\cdot\cdot \Bigr)$
すなわち
$\frac{\pi^2}{8}=\frac{1}{1^2} + \frac{1}{3^2}+ \frac{1}{5^2} \cdot\cdot\cdot$ …(3’)
が示される．
さらに，正項級数の和は順序を入れ替えても変わらないという性質を利用すると，次の和も求められる．
$S=\frac{1}{1^2} + \frac{1}{2^2}+ \frac{1}{3^2}+ \frac{1}{4^2} \cdot\cdot\cdot$
とおくと
$S=(\frac{1}{1^2} + \frac{1}{3^2}+ \frac{1}{5^2}+\cdot\cdot\cdot)+(\frac{1}{2^2}+\frac{1}{4^2}+\frac{1}{6^2}+ \cdot\cdot\cdot)$
$=(\frac{1}{1^2} + \frac{1}{3^2}+ \frac{1}{5^2}+\cdot\cdot\cdot)+\frac{1}{4}(\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+ \cdot\cdot\cdot)$
$=(\frac{1}{1^2} + \frac{1}{3^2}+ \frac{1}{5^2}+\cdot\cdot\cdot)+\frac{1}{4}S$
$\frac{3}{4}S=\frac{\pi^2}{8}$
$S=\frac{4\pi^2}{24}=\frac{\pi^2}{6}$ …(3”)

関数 $x^3$ のフーリエ級数展開
入力totalfourier(x^3,x,%pi);

（結果）

奇関数なので，定数項およびcoskxの項はすべて消えます．

$-2\Bigl(\sum_{n=1}^{\infty} \frac{(\pi^2n^2-6)(-1)^n \sin(nx)}{n^3}\Bigr)$
すなわち
$2\Bigl( (\pi^2-6)\sin x - (\frac{\pi^2}{2}-\frac{6}{2^3})\sin 2x + (\frac{\pi^2}{3}-\frac{6}{3^3})\sin 3x- \cdot\cdot\cdot \Bigr)$ …(4)

青が元の関数，赤がフーリエ多項式のグラフ

第３次まで使った場合第７次まで使った場合

関数 $|\sin x|$ のフーリエ級数展開
入力totalfourier(abs(sin(x)),x,%pi);

（結果）

偶関数なので，sinkxの項はすべて消えます．

$\frac{2}{\pi}-\frac{2\Bigl(\sum_{n=1}^{\infty}\frac{((-1)^n + 1)cos(nx)}{(n-1)(n+ 1)} \Bigr)}{\pi}$

　この式は数学の教科書に書かれているものと違う．すなわち，nが偶数の場合だけ上記の項が残り，奇数の場合は０となって消えるはずとなっている．（特にn=1の場合は，分母が０となるので困る．）

　次の式であるはずだと考えられる
$\frac{2}{\pi}-\frac{2\Bigl(\sum_{n=1}^{\infty}\frac{2\cos(2nx)}{(2n-1)(2n+ 1)} \Bigr)}{\pi}$
　すなわち
$\frac{2}{\pi}-\frac{4}{\pi}-4(\frac{\cos 2x}{2^2-1}+ \frac{\cos 4x}{4^2-1}+ \frac{\cos 6x}{6^2-1} \cdot\cdot\cdot)$ …(4)

(4)について青が元の関数，赤がフーリエ多項式のグラフ

第２次まで使った場合第８次まで使った場合

...（携帯版）メニューに戻る

...（PC版）メニューに戻る

■このサイト内のGoogle検索■

△このページの先頭に戻る△【アンケート送信】
… このアンケートは教材改善の参考にさせていただきます

■この頁について，良い所，悪い所，間違いの指摘，その他の感想があれば送信してください．

○文章の形をしている感想は全部読ませてもらっています．
○感想の内で，どの問題がどうであったかを正確な文章で伝えていただいた改善要望に対しては，可能な限り対応するようにしています．（※なお，攻撃的な文章になっている場合は，それを公開すると筆者だけでなく読者も読むことになりますので，採用しません．）

質問に対する回答の中学版はこの頁，高校版はこの頁にあります