■オイラーの発見・メンデルの発見(その15)
テイラー展開(ベキ級数展開)は連続な関数にしか適用できないが,フーリエ展開(三角級数展開)はたとえ不連続な関数でも存在するため,19世紀の解析学に大きな貢献をしるした.
−π<x<πの周期関数と見なされる不連続関数f(x)=xのフーリエ展開は
f(x)=2[sinx/1−sin2x/2+sin3x/3−・・・]
x=π/2とおくと,
π/4=1−1/3+1/5−1/7+−・・・(グレゴリー・ライプニッツ級数)
また,x=π/4とおくと
π√2/4=1+1/3−1/5−1/7++・・・
この式で,符号は2項毎に交代する.
同様に,−π<x<πの周期関数と見なすと,f(x)=x^2のフーリエ展開は
f(x)=π^2/3−4[cosx/1^2−cos2x/2^2+cos3x/3^2−・・・]
x=πとおくと,
π^2/6=1/1^2+1/2^2+1/3^2+・・・(オイラー級数)
=================================