Friday, 29 July 2016

multivariable calculus - Prove left(sumlimitsnk=1(2k1)frack+1kright)left(sumlimitsnk=1(2k1)frackk+1right)lefrac98n4




Prove that for all nN the inequality (nk=1(2k1)k+1k)(nk=1(2k1)kk+1)98n4

holds.





My work. I proved this inequality, but my proof is ugly (it is necessary to check by brute force whether the inequality holds for n=1,2,3,...,15). I hope that there is nice proof of this inequality. Michael Rozenberg wrote a very nice solution to a similar problem ( Prove the inequality nk=1k+1knk=1kk+198n2 ). I think this inequality has a similar proof, but I can’t prove in a similar way. I will write as I proved the inequality. Let Sn=nk=11k. Then nk=1(2k1)k+1k=n2+2nSn

and nk=1(2k1)kk+1=n22n3+3n+1+3Sn
We need to prove that 3S2nSn(2n2+8n+33n+1)+n48+7n2+3n3+3n+10
To prove this inequality, I found discriminant of the quadratic polynomial and used the fact that Snn. It was possible to prove that the inequality holds for all n16.


Answer



We can use also the Cassel's inequality:




Let a, b and w be sequences of n positive numbers such that $1 for any k. Prove that:
nk=1wka2knk=1wkb2k(M+m)24Mm(nk=1wkakbk)2.




This inequality was here:




G.S. WATSON, Serial Correlation in Regression Analysis, Ph.D. Thesis, Dept. of Experimental
Statistics, North Carolina State College, Raleigh; Univ. of North Carolina, Mimograph Ser., No.
49, 1951, appendix 1.



In our case wk=2k1, ak=k+1k, bk=kk+1, M=2 and m=1, which gives:
nk=1(2k1)k+1knk=1(2k1)kk+1(2+1)2421(nk=1(2k1))2=9n48.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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