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 ∫xk−1ex+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=2e−x(1+e−x)2=2ddx11+e−x=2∞∑n=1(−1)n−1ne−nx.
Thus we have
∫∞0xk1+coshxdx=2∞∑n=1(−1)n−1n∫∞0xke−nxdx=2∞∑n=1(−1)n−1Γ(k+1)nk=2(1−21−k)ζ(k)Γ(k+1).
This formula works for all k>−1, where we understand that the Dirichlet eta function η(s)=(1−21−s)ζ(s) is defined, by analytic continuation, for all s∈C.
No comments:
Post a Comment