# About the integral ∫+∞0sin(xlogx)dx\int_{0}^{+\infty}\sin(x\,\log x)\,dx

It is an interesting exercise to show that the function $f(x)=\sin(x\log x)$ is Riemann-integrable over $\mathbb{R}^+$ (as shown by robjohn in this related question, for instance). Even more interesting is to notice that:

with a series related with the one appearing in many sophomore’s dreams.

Moreover, by using Lambert’s W function it is not difficult to check that:

Now my question: is it possible to give a nice closed form to the RHS of $(2)$ through countour integration, the residue theorem or other techniques?

For instance, is there a closed form for the almost-digamma-sum:

? If so, we have just to compute $\int_{0}^{2\pi}g(x)\sin x\,dx$.

I seem to have an idea for a solution to your integral through other techniques than you might have anticipated. By the way, I am extremely uncertain of my work, so please edit the question before immediately down-voting if you see a problem. Thanks. I want to point out that the final solution is hopefully easier for you. (Point of answer is to solve for $I$)

Now multiply the numerator and denominator of the fraction $I/1$ by J, where

From this, you get (with substitution in $J$ of $x=y$) $\frac{IJ}{J}=\cdots$

Now, the multiplied integral $(J)$ can in fact be solved in terms of the error function.
I will solve for $J$ by substitution and Fundamental Theorem of Calculus you will see why later.

Substitute out $a=\frac{1}{\sqrt{x}}$ and $\text{d}a=-\frac{\text{d}x}{2x^{3/2}}$
I have checked the algebra.

Next substitute $c=\log b$ and $\text{d}c=\frac{\text{d}b}{b}$
That leaves us with

The next part is a bit weird. This was beyond my skill level, so I gave this to W|A who gladly accepted. It punched out:

Under recollection that $a=\log b$, you get

Then recall that $a=\frac{1}{\sqrt{x}}$, you get

Simplifying gains:

From that, solving for $J$ is a piece of cake.

This ugly mess results in a very little change. But in reality, that “very little change” is extremely important. DO NOT change the right side. We have something very special in mind for that.

So, I do recognize the inverse of $x \log x$ as $W(\log x)$, so for the entire RHS, substitute $x=W(\log u)$

We easily recognize something nice! Split up the integral into three parts that can be used. (integral of sinc function is what is recognized.) Not entirely sure of that step (though pretty sure), please let me know in the comments if that is OK to do.

After this step, however, I am at a loss. I hope that this new solution brings you closer to your goal. Sorry for not being able to complete it.