6
$\begingroup$

How to solve the following integral $$ \int\sqrt{ln(x)}\,dx $$ If the above integral is not solve-able, how to proof that the function $\sqrt{ln(x)}$ is not integrable.

$\endgroup$
  • 1
    $\begingroup$ The integral seems indeed to be non-solvable (in the usual sense of a closed form), per WA. $\endgroup$ – Omnomnomnom Jan 11 '17 at 19:57
  • 1
    $\begingroup$ Presumably, a proof of non-integrability would involve Liouville's theorem, but I don't know much about differential Galois theory $\endgroup$ – Omnomnomnom Jan 11 '17 at 20:01
  • $\begingroup$ @Omnomnomnom unfortunatlly I do not know about differential Galois theory. But I appreciate, if you proof this integral is not solve-able. You know, I have other simple integral like $$ \int\frac{dx}{\sqrt[3]{cos(x)}} $$ that I guess are not solve-able, but I do not know how to poof it. $\endgroup$ – Amin235 Jan 11 '17 at 20:13
  • 2
    $\begingroup$ You might want to check here: math.stackexchange.com/questions/155/… $\endgroup$ – Simply Beautiful Art Jan 11 '17 at 20:16
  • 1
    $\begingroup$ If a function is non-solvable then its inverse function is non-solvable too, so $y=\sqrt{\ln x}$ is the inverse function of $x=e^{y^2}$ which is wellknown that it is non-solvable in elementray functions. $\endgroup$ – Pentapolis Jan 12 '17 at 6:14
4
$\begingroup$

Let $x=e^{-u}$ and you get

$$\int_a^b\sqrt{\ln x}\ dx=-\int_{-\ln a}^{-\ln b}\sqrt{-u}e^{-u}\ du=i\left(\gamma(3/2,-\ln a)-\gamma(3/2,-\ln b)\right)$$

where $\gamma(a,x)$ is the lower incomplete gamma function.

$\endgroup$
  • $\begingroup$ You changed the form of integral that theorem of Liouville cab be applied. Am I right? $\endgroup$ – Amin235 Jan 11 '17 at 20:31
  • $\begingroup$ @Amin235 Huh? I just used u-substitution and definitions of special functions. $\endgroup$ – Simply Beautiful Art Jan 11 '17 at 20:32
  • $\begingroup$ @Amin235 Oh god, do you mean this? Um, hm... yeah...nope. Didn't use that at all >.> $\endgroup$ – Simply Beautiful Art Jan 11 '17 at 20:35
  • $\begingroup$ in the link that you mentioned in the comment there is the following theorem. "It is a theorem of Liouville, reproven later with purely algebraic methods, that for rational functions $f$ and $g$, $g$ nonconstant, the antiderivative $$\int [f(x)\exp(g(x))] \, \mathrm dx$$ can be expressed in terms of elementary functions if and only if there exists some rational function $h$ such that it is a solution to the differential equation: $$f = h' + hg$$ $\int e^{x^2} dx$ is another classic example of such a function with no elementary antiderivative." $\endgroup$ – Amin235 Jan 11 '17 at 20:37
  • $\begingroup$ @Amin235 Oh, I suppose I sneakily turned it into that form, but that was on accident. I was meaning to get to the gamma functions was all. $\endgroup$ – Simply Beautiful Art Jan 11 '17 at 20:38
2
$\begingroup$

Considering $$I=\int\sqrt{\log( x)}\ dx$$ change variable $$\sqrt{\log( x)}=t\implies x=e^{t^2}\implies dx=2te^{t^2}\,dt$$ which makes $$I=\int 2t^2e^{t^2}\,dt$$ Now, integration by parts $$u=t\implies u'=dt$$ $$v'=2te^{t^2}\,dt\implies v=e^{t^2}$$ $$I=te^{t^2}-\int e^{t^2}\,dt=te^{t^2} -\frac{\sqrt{\pi }}{2} \text{erfi}(t)$$ where appears the imaginary error function.

Back to $x$, $$I=x \sqrt{\log (x)}-\frac{\sqrt{\pi }}{2} \text{erfi}\left(\sqrt{\log (x)}\right)$$ which is real if $x\geq 1$.

$\endgroup$
  • $\begingroup$ The user @omnomnomnom in the first comment mentioned this hint. I thank you for this hint that you said, but I think this is not an answer to my question. $\endgroup$ – Amin235 Jan 12 '17 at 9:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.