       Re: integrate log*sinc

• To: mathgroup at smc.vnet.net
• Subject: [mg109206] Re: integrate log*sinc
• From: Leonid Shifrin <lshifr at gmail.com>
• Date: Sat, 17 Apr 2010 06:03:15 -0400 (EDT)

```Hi,

I don't have a complete rigorous solution, just a couple of observations.

First, you can represent Log[x]/x as a coefficient of the linear term in
<eps> of expansion x^(eps-1) around eps = 0:

In:= Series[x^(eps-1),{eps,0,1}]

Out= 1/x+(Log[x] eps)/x+O[eps]^2

Now, this integral I did not check in all details manually, but it should be
not very hard to get
(by writing Sin[x] = 1/(2I)(Exp[I x] - Exp[-Ix]) and performing an integral
along the relevant half of the imaginary axis for each exponent separately
you should be able to get it)

In:= Integrate[x^(eps -1)*Sin[x],{x,0,Infinity}, Assumptions->
{0<=eps<1}]

Out= Gamma[eps] Sin[(eps \[Pi])/2]

Expanding this around <eps> = 0 and picking the first - order term, we get
the result:

In:= Series[Gamma[eps] Sin[(eps \[Pi])/2],{eps,0,1}]

Out= \[Pi]/2-1/2 (EulerGamma \[Pi]) eps+O[eps]^2

which is, by the way, twice smaller than you quoted - and direct computation
in Mathematica
does confirm it.

Hope this helps.

Regards,
Leonid

On Fri, Apr 16, 2010 at 1:52 PM, pimeja <sed.nivo at gmail.com> wrote:

> Hi All,
>
> For Integrate[Log[x] Sin[x]/x, {x, 0, \[Infinity]}] Mathematica
> returns -EulerGamma \[Pi].
> How to proof this analytical?
>
> I've tried to use residue theory but it seems not suitable since
> integrand has pool of second order in zero (for Jordan lema should be
> first order only). Substitution x=Exp[y] returns even more strange
> result.
>