質問: σ[n=1..∞]1/n^4=π^4/90を求める際,どの正規直交関数系を使えばいいのかの選択基準は? こんにちは。 [問]f(x)=x^2(x∈[-π,π])のフーリエ級数を求め,それを使ってσ[n=1..∞]1/n^4=π^4/90を示せ。 [解] f(x)(=x^2)π^2/3+4σk=1..∞^kcos(kx)/k^2=π^2/3-4cosx+cos(2x)-4/9cos(3x)+... これを正規直交関数{u_k(x)}={1/√2,cosx/√π,sinx/√π,cos(2x)/√π,sin(2x)/√π,...}を使って書き直すと 1/√(2π)・√(2π)・π^2/3+cosx/√π(-4√π)+sinx/√x・0+cos(2x)/√π・1+sin(2x)/√π・0+cos(3x)/√π・(-4√π/9)+... ...(1) 従って,a_0=√(2π)/3,a_1=-4√π,a_4=0,a_5=-4√π/9,... 従って(1)は ς[k=0..∞]a_k^2=a_0^2+a_1^2+a_3^2+a_5^2+...=2π^5/9+16π+π+16π/81+...=2π^5/9+16σ[k=1..∞]1/k^4 ...(2) 一方,∥f(x)∥^2=∫π..-π)^2dx=∫[-π..π]x^4dx=2π^5/5 ...(3) (2)と(3)をparsevalの等式「∥f(x)∥^2=σ[k=0..∞]a_k^2」に代入して2π^5/5=2π^5/9+16πς[k=1..∞]1/k^4 ∴σ[n=1..∞]1/n^4=π^4/90 の問題についてですが正規直交関数は色々あると思いますがこの問題では特に {u_k(x)}={1/√2,cosx/√π,sinx/√π,cos(2x)/√π,sin(2x)/√π,...} を使えばいい事とどのようにして知る得るのでしょうか?
回答: siegmund と申します. 大学で物理の研究と教育をやっています. いやあ,stomachman さんお久しぶりです(^^). まず,問題を解く際には「こうすれば間違いなくできる」 というような方法というか筋道というか, そういうものがいつも用意されているとは限りません. だから,本当に未解決の問題を解こうとすればさんざん苦労するわけです. stomachman さんが,「それじゃ、アプローチの仕方が絞れなくて大変でしょう」 と言われるのも全くもっともです. 私は stomachman さんとはちょっと違った視点から答えてみましょう. もちろん,どちらの答が正しいというような話ではありません. フーリエ級数を正規直交化したのは parseval の等式を使える形にするためですから, 質問の本質は「なぜフーリエ級数か?」ということでしょう. 要するに「こうやるとうまくいくから」なのですが,それじゃあんまりですね. 少し考えてみましょう. 1/n^4 の和が欲しくて, parseval の等式を用いるというなら, 1/n^2 が出てくるようなものを探せばよい. フーリエ級数なら x^2 cos nx の類の積分を計算するのですから, 具体的形はともかくとして,2度部分積分して 1/n^2 が現れるのはすぐに見えます. 他の正規直交関数ではダメか? x^2 を使うというのでしたら,ルジャンドル多項式みたいなのは全然ダメです. こういう多項式シリーズは,x について0次式,1次式,2次式,...,となっていますから x^2 でしたら最初の3つの多項式で表されてしまうわけで, 無限級数が現れようがありません. ルジャンドル関数やルジャンドル陪関数だったら無限級数になりますが, 1/n^2 が現れるかどうかはすぐには見えませんね(少なくとも私には). x^2 とフーリエ展開でなくて,他の関数と他直交展開でうまくいくかも知れませんが, それこそ探すのに苦労しそうです. この種の無限級数(1/n^2,1/n^4,など)の和はオイラーがはじめて求めたものですが, 歴史に名を残す大数学者にして相当の苦労があったのでしょう. ですから,ちょっと数学ができる程度でこういう話を全く知らなければ, 完全に自力で導くのは非常に難しいと思われます. それで,x^2,parseval の等式,フーリエ展開,というスペシャルヒントがあるわけです. 気がついてみれば,あるいは言われてみれば,計算自体は全く容易ですけれどね. それでは,x^4 のフーリエ展開では 1/n^4 が直接出てきて, ς[n=1..∞]1/n^4 が求められるか? 筋はokですが 1/n^2 も出てきますので,σ[n=1..∞]1/n^2 = π^2/6 と」組み合わせる必要があります. x^3 のフーリエ展開から σ[n=1..∞]1/n^3 が求められるか? 残念ながらうまくいきません.お試し下さい. ς[n=1..∞]1/n^3 すなわち ζ(3) はζ(2)やζ(4)みたいな形には書けないことが知られています. 完全に自分で見つけるのは無理にしても,話を知っていると応用が利きます. 手前味噌で恐縮ですが http://oshiete1.goo.ne.jp/qa1854210.html?ans_count_asc=20 などご覧下さい.