Wednesday, 7 November 2018

integration - Evaluate intinfty0fraclogx1+ex,dx



Evaluate
+0logx1+exdx.



I have tried using Feynman's Trick (in several ways, but for example by introducing a variable a such that I(a)=+0logax1+exdx), but that doesn't seem to work. Also integration by parts and all kinds of substitutions make things worse (I have no idea how to substitute such that log and exp both become simpler.




(Source: Dutch Integration Championship 2013 - Level 5/5)


Answer



By the inverse Laplace transform
n1(1)n+1ns=1Γ(s)+0xs1ex+1dx
and by differentiating both sides with respect to s
n1(1)nlognns=Γ(s)Γ(s)2+0xs1ex+1dx+1Γ(s)+0xs1log(x)ex+1dx
so by evaluating at s=1
+0logxex+1dx=n1(1)nlognn+Γ(1)γ+0dxex+1log2
and it just remains to crack the mysterious series n1(1)nlognn. On the other hand by Frullani's integral, the inverse Laplace transform or Feynman's trick we have log(n)=+0exenxxdx, so

n1(1)nlognn=+0log(1+ex)exlog2xdx=γlog(2)12log2(2)
where the last identity follows from the integral representation for the Euler-Mascheroni constant, got by applying the inverse Laplace transform to the series definition γ=n1[1nlog(1+1n)]. Summarizing, we simply have
+0log(x)ex+1dx=12log2(2).
It is possible to prove the equality between the LHS and the RHS of (J) by summation by parts and Euler sums, too.


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