Gamle Parseval kan man lita på!
Vi räknar först ut: 1/(2pi)∫f(x/pi)^2dx (-pi<y<pi) (där vi hade att f(x)=2x^2-x^4) = 107/315,
vilket ska vara lika med: sum_{n=-inf}^{inf} c_n^2.
Nu hade vi dock inte c_n, utan istället:
a_0 = 14/15
a_n = 48*(-1)^n/(n^4*π^4) för n=1,2,...
b_n = 0
men vi vet att (
http://en.wikipedia.org/wiki/Fourier_series)
a_n = c_n + c_{-n}
b_n = i*(c_n - c_{-n})
=>
c_n = c_{-n}
a_n = 2*c_{n} => c_{n} = a_n/2
Så alltså:
sum_{n=-inf}^{inf} c_n^2 = (a_0/2)^2 + 2*sum_{n=1}^{inf} (a_n/2)^2 = 49/225 + 2*24^2/pi^8 sum_{n=1}^{inf} 1/(n^8)
och det var ju detta som skulle bli 107/315, dvs.
49/225 + 2*24^2/π^8 sum_{n=1}^{inf} 1/(n^8) = 107/315 =>
sum_{n=1}^{inf} 1/(n^8) = pi^8/9450