のフーリエ級数を利用して、以下の2つの無限級数を計算する。
よくある問題である。
目次
1. フーリエ級数
はじめに:フーリエ級数の形
と がそれぞれ奇関数であるため、 は偶関数である(下図)。
この赤線を で周期的な関数
を足し合わせて を作るのがフーリエ級数である。この問題で重要なことは、
- は偶関数 であるため、足し合わせる三角関数も偶関数である のシリーズを使う
ということである。これを踏まえて をフーリエ級数で表す。
フーリエ級数のフーリエ係数
一般に、周期 の周期関数 は以下のようにフーリエ級数で表すことができる。本問題の で周期的な に関しては、
とフーリエ級数で書ける。ここで、 はフーリエ係数と呼ばれる。
フーリエ係数 あるいは を求めたい場合は、 あるいは をかけて両辺を周期的な区間 で積分してやれば良い。
このとき以下の重要な積分結果を思い出す。
a_0 を求める
フーリエ級数の を求めるために、 に をかけて で積分しよう。青色の部分は積分するとゼロになる。
a_n を求める
次に を求める。 に をかけて で積分しよう。ここで、上で示した重要な積分の結果を使う、つまり、積分において の のところ以外はすべて になる。
左辺の積分:
のとき:
より、
のとき:
以上より、 がわかる。
「この問題あるある」は下の通り。とくに①はフーリエ級数問題あるあるである。 の を偶奇で場合分けする。偶奇で値が か なので、 や で表すことができる。
b_n を求める
を求めるためには、 に をかけて で積分すればわかる。しかし、 が偶関数であることを思い出すと、 である。つまり、 が偶関数なので奇関数の は使わない。
フーリエ級数を利用した無限級数の値①
上で求めたフーリエ係数 を代入する。
この式と求めたい下の式を比べる。
であるから、 とすれば良さそうである。
となる。この値は以下のように部分分数分解によって確認できる。
フーリエ級数を利用した無限級数の値②
と下の式を見比べる。
と置く。このとき の値は、以下のように が の倍数とそのあまりによって場合分けできる。
が2以上であることに注意して、 が でない2つの場合を残して書くと、
おまけ:適当に有限和にして計算した結果と右辺の差は以下のようになる。
3. まとめ
具体的に のフーリエ級数を求めた。よくある問題として、フーリエ級数で展開した を用いて無限級数和を求めた。
フーリエ級数を求めるときに公式は用いなかった。これは、フーリエ係数が三角関数の直交性によって簡単に計算できるということを知ってもらいたかったからである。いや、本当は、公式を覚えていない私の怠慢である。