Monday, 22 July 2013

calculus - Integrating fracxk1+cosh(x)



In the course of solving a certain problem, I've had to evaluate integrals of the form:



0xk1+cosh(x)dx



for several values of k. I've noticed that that, for k a positive integer other than 1, the result is seemingly always a dyadic rational multiple of ζ(k), which is not particularly surprising given some of the identities for ζ (k=7 is the first noninteger value).



However, I've been unable to find a nice way to evaluate this integral. I'm reasonably sure there's a way to change this expression into xk1ex+1dx, but all the things I tried didn't work. Integration by parts also got too messy quickly, and Mathematica couldn't solve it (though it could calculate for a particular value of k very easily).




So I'm looking for a simple way to evaluate the above integral.


Answer



Just note that
11+coshx=2ex(1+ex)2=2ddx11+ex=2n=1(1)n1nenx.


Thus we have
0xk1+coshxdx=2n=1(1)n1n0xkenxdx=2n=1(1)n1Γ(k+1)nk=2(121k)ζ(k)Γ(k+1).

This formula works for all k>1, where we understand that the Dirichlet eta function η(s)=(121s)ζ(s) is defined, by analytic continuation, for all sC.


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}...