Sunday, 22 January 2017

summation - Sum of fourth powers in terms of sum of squares

The sum of the fourth powers of the first n integers can be expressed as a multiple of the sum of squares of the first n integers, i.e.



nr=1r4=n(n+1)(2n+1)(3n3+3n1)30=3n2+3n15n(n+1)(2n+1)6=3n2+3n15nr=1r2




Question: Is it possible to show this, purely by manipulating the summand, and without first expressing the summation in closed form and then factoring the sum of squares?




From the question here, we see that




nr=1r4=(nr=1r2)22nr=1r2r1j=1j2=nr=1r2(ni=1i22r1j=1j2)
but this does not appear to lead anywhere closer to answering the question.



Another approach might be to use Abel's summation formula
nr=1fr(gr+1gr)=[fn+1gn+1f1g1]nr=1gr+1(fr+1fr)
Putting fr=r2 and gr=r(r1)(2r1)6 gives
nr=1r4=(n+1)2n(n+1)(2n+1)6nr=1r(r+1)(2r+1)6(2r+1)
but again this does not seem to get us any further.







1st Edit



Putting Tm=nr=1rm, the original problem can be restated as an attempt to prove that



5T4=(6T11)T2







2nd Edit



This paper might be useful.



In section 4 (p206), it is stated that
σ4σ2=6σ115
which is derived from the Faulhabner polynomials.
σm has the same definition as our Tm as defined above.

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...