Wednesday, June 26, 2019

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

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...