2
votes
1answer
61 views

Integration of $\int_0^\pi\int_0^\pi[\sin x\sin y\ge a]\,dx\,dy$

Does the integral $$I(a)=\int_0^\pi\int_0^\pi[\sin x\sin y\ge a]\,dx\,dy$$ have any closed-form solution? This is the area under the contours of $\sin x\sin y$; $[\cdot]$ is the Iverson bracket, which ...
8
votes
1answer
168 views

Closed form for $\int_0^{\pi/2}\frac{\sqrt{1+\sin\phi}}{\sqrt{\sin2\phi}\,\sqrt{\sin\phi+\cos\phi}}d\phi$

Is it possible to evaluate this integral in a closed form? $$I=\int_0^{\pi/2}\frac{\sqrt{1+\sin\phi}}{\sqrt{\sin2\phi}\,\sqrt{\sin\phi+\cos\phi}}d\phi$$ Its approximate numeric value is ...
5
votes
1answer
88 views

Closed form of $\int_0^\infty \frac{\log(x)-\log(a)}{x-a}e^{-x} \mathrm{d}x$.

Can the integral $$ \int_0^\infty \frac{\log(x)-\log(a)}{x-a}e^{-x} \mathrm{d}x $$ be expressed in terms of some simple special function? I have searched through integral tables but couldn't find ...
8
votes
0answers
86 views

Need help with $\int_0^\infty\frac{e^{-x}}{\sqrt[3]2+\cos x}dx$

Please help me to evaluate this integral: $$\int_0^\infty\frac{e^{-x}}{\sqrt[3]2+\cos x}dx$$
11
votes
1answer
147 views

Closed form for $\int_{-\infty}^0\operatorname{Ei}^3x\,dx$

Let $\operatorname{Ei}x$ denote the exponential integral: $$\operatorname{Ei}x=-\int_{-x}^\infty\frac{e^{-t}}tdt.\tag1$$ It's not difficult to find that ...
13
votes
2answers
274 views

Crazy $\int_0^\infty{_3F_2}\left(\begin{array}c\tfrac58,\tfrac58,\tfrac98\\\tfrac12,\tfrac{13}8\end{array}\middle|\ {-x}\right)^2\frac{dx}{\sqrt x}$

Is there any chance to find a closed form for this integral? $$I=\int_0^\infty{_3F_2}\left(\begin{array}c\tfrac58,\tfrac58,\tfrac98\\\tfrac12,\tfrac{13}8\end{array}\middle|\ ...
13
votes
1answer
206 views

Formula for $\int_0^\infty \frac{\log(1+x^2)}{\sqrt{(a^2+x^2)(b^2+x^2)}}dx$

Is it possible to express the following integral in terms of known special functions? $$I(a,b)=\int_0^\infty \frac{\log(1+x^2)}{\sqrt{(a^2+x^2)(b^2+x^2)}}dx$$ I have managed to solve the special ...
16
votes
2answers
196 views

Integral $\int_0^1\frac{\ln x}{x-1}\ln\left(1+\frac1{\ln^2x}\right)dx$

Is it possible to evaluate this integral in a closed form? $$ I \equiv \int_{0}^{1}{\ln\left(x\right) \over x - 1}\, \ln\left(1 + {1 \over \ln^{2}\left(x\right)}\right)\,{\rm d}x $$ Numerically, ...
8
votes
1answer
152 views

Closed Form for $\int_0^1 \frac{\log(x)}{\sqrt{1-x^2}\sqrt{x^2+2+2\sqrt{2}}}dx$

Is there a closed form for the following integral? $$\int_0^1 \frac{\log(x)}{\sqrt{1-x^2}\sqrt{x^2+2+2\sqrt{2}}}dx$$ It is approximately equal to $-0.48878092308456029189008$. Mathematica is ...
1
vote
0answers
53 views

Integral $\int_0^{\infty } \frac{1}{(\alpha x^2 + 1) \left(- 2 \sqrt{\frac{ x^2}{x^2+1}}+2 x+\pi \right)} \, dx$

Does the following integral admit a closed-form expression? $$\int_0^{\infty } \frac{1}{(\alpha x^2 + 1) \left(- 2 \sqrt{\frac{ x^2}{x^2+1}}+2 x+\pi \right)} \, dx \;\; , \;\; 0 \leq \alpha \leq ...
25
votes
2answers
472 views

Integral $\int_0^1\frac{1-x^2+\left(1+x^2\right)\ln x}{\left(x+x^2\right)\ln^3x}dx$

I'm struggling with this integral $$I=\int_0^1\frac{1-x^2+\left(1+x^2\right)\ln x}{\left(x+x^2\right)\ln^3x}dx.\tag1$$ Mathematica could not evaluate it in a closed form. Its numeric value is ...
17
votes
4answers
225 views

Integral $\int_0^1\frac{\log(1-x)}{\sqrt{x-x^3}}dx$

I have a trouble with this integral $$I=\int_0^1\frac{\log(1-x)}{\sqrt{x-x^3}}dx.$$ Could you suggest how to evaluate it?
1
vote
0answers
56 views

Closed-form expression of a definite integral

Does this definite integral admit a closed-form in terms of elementary functions? $$\int_0^{\infty } \frac{x}{\left(x^4+1\right) \left(2 x^2-2 \arctan\left(x^2\right)+\pi \right)} \, dx.$$
10
votes
1answer
147 views

How to prove $\int_1^\infty\frac{K(x)^2}x dx=\frac{i\,\pi^3}8$?

How can I prove the following identity? $$\int_1^\infty\frac{K(x)^2}x dx\stackrel{\color{#B0B0B0}?}=\frac{i\,\pi^3}8,\tag1$$ where $K(x)$ is the complete elliptic integral of the 1ˢᵗ kind: ...
11
votes
1answer
244 views

How to prove $\int_0^\pi\frac{\ln(2+\cos\phi)}{\sqrt{2+\cos\phi}}d\phi=\frac{\ln3}{\sqrt3}K\left(\sqrt{\frac23}\right)$?

How can I prove the following conjectured identity? $$\int_0^\pi\frac{\ln(2+\cos\phi)}{\sqrt{2+\cos\phi}}d\phi\stackrel?=\frac{\ln3}{\sqrt3}K\left(\sqrt{\frac23}\right),\tag1$$ where $K(x)$ is the ...
16
votes
4answers
438 views

Closed form for $\int_{-1}^1\frac{\ln\left(2+x\,\sqrt3\right)}{\sqrt{1-x^2}\,\left(2+x\,\sqrt3\right)^n}dx$

I'm trying to find a closed form for the following integral: $$\mathcal{J}(n)=\int_{-1}^1\frac{\ln\left(2+x\,\sqrt3\right)}{\sqrt{1-x^2}\,\left(2+x\,\sqrt3\right)^n}dx\tag1$$ I have conjectured values ...
11
votes
1answer
87 views

How to evaluate $\int_0^\infty\frac{\frac{\pi^2}{6}-\operatorname{Li}_2\left(e^{-x}\right)-\operatorname{Li}_2\left(e^{-\frac{1}{x}}\right)}{x}dx$

I need to evaluate the following integral with a high precision: $$I=\int_0^\infty\frac{\frac{\pi^2}{6}-\operatorname{Li}_2\left(e^{-x}\right)-\operatorname{Li}_2\left(e^{-\frac{1}{x}}\right)}{x}dx,$$ ...
1
vote
0answers
42 views

Closed form double integral $ \int_{a}^{c}dr \int_{b}^{d} dr' \, \frac{r r'}{\sqrt{(r - a)(r' - b)(r-c)(r'-d)}} \frac{r_<^{\ell}}{r_>^{\ell+1}}$

Is there a closed form expression for $$ S_\ell = \int\limits_{a}^{c}dr \int\limits_{b}^{d} dr' \, \frac{r r'}{\sqrt{(r - a)(r' - b)(r-c)(r'-d)}} \frac{[\min( r , r')]^{\ell}}{[\max(r,r')]^{\ell+1}} ...
5
votes
2answers
260 views

Closed form integral $\int_b^c \frac{x^2}{\sqrt{(x-a)(x-b)(c-x)(d-x)}} dx$

Is there a closed form expression for the definite integral $$I=\int_b^c \frac{x^2}{\sqrt{(x-a)(x-b)(c-x)(d-x)}} dx$$ for $a<b<c<d$? Mathematica 9.0 can do it for special cases using ...
8
votes
3answers
216 views

Evaluating $\int_0^1 \frac{\text{Li}_2 \left(-\frac{1}{1-z}\right)-\text{Li}_2 \left(-\frac{1}{1+z}\right)}{z}dz$

I was trying to find a closed form for $$\int_0^1 \frac{\text{Li}_2 \left(-\frac{1}{1-z}\right)-\text{Li}_2 \left(-\frac{1}{1+z}\right)}{z}dz = -2.454199511\cdots$$ where $\text{Li}_2(z)$ is the ...
0
votes
3answers
507 views

Integral $\int_{0}^{3} \frac{e^{-x^2}}{\sqrt{1-x^2}} \,dx$

I recently got stuck on evaluating the following integral, $$ \int_{0}^{3} \frac{e^{-x^2}}{\sqrt{1-x^2}} \,dx. $$ Is it possible to evaluate this integral in a closed form? I am not sure if there is ...
5
votes
1answer
146 views

Evaluating $\int_0^{\frac{1}{2}}\log^2(2\sin(\pi x))\cos(\pi(1-2x))dx$ [closed]

How can we prove following formulas $$\int_0^{\frac{1}{2}}\log^2(2\sin(\pi x))\cos(\pi(1-2x))dx=\frac{-1}{4}$$ or $$\int_0^{\frac{1}{2}}\log^3(2\sin(\pi x))\cos(\pi(1-2x))dx=\frac{\pi^2+6}{16}$$
10
votes
5answers
432 views

Closed form for $\int_{0}^{1/2}\left(2x - 1\right)^{6}\ \log^{2}\left(2\sin\left(\pi x\right)\right)\,{\rm d}x$

How can I find a closed form for the following integral $$ \int_0^{1/2}\left(2x - 1\right)^{6}\ \log^{2}\left(2\sin\left(\pi x\right)\right) \,{\rm d}x $$
13
votes
2answers
245 views

Closed form of $\int_0^\frac{1}{2}x^n\cot(\pi x)\,dx$

What is the closed form of the following integral $$\int_0^\frac{1}{2}x^n\cot(\pi x)\,dx,n\in\mathbb{N}$$ By Mathematica I saw that $$\int_0^\frac{1}{2}x\cot(\pi x)\,dx=\frac{\log(2)}{2\pi}$$ ...
17
votes
3answers
373 views

Closed form for integral $\int_{0}^{\pi} \left[1 - r \cos\left(\phi\right)\right]^{-n} \phi \,{\rm d}\phi$

Is there a closed form for $$I_n =\int_{0}^{\pi} \frac{\phi}{(1 - r \cos\phi)^n} \,{\rm d}\phi $$ for $\left\vert\,r\,\right\vert < 1$ real and $n > 0$ integer ? The solution to this integral ...
19
votes
3answers
462 views

Integral $\int_0^\infty x^2\,e^{-x^2}\operatorname{erf}(x)\,\log(x)\,dx$

I need to evaluate this integral: $$I=\int_0^\infty x^2\,e^{-x^2}\operatorname{erf}(x)\,\log(x)\,dx\tag1$$ I tried to do this in Mathematica and it returned a result of the form ...
9
votes
2answers
328 views

Integral $S_\ell(r) = \int_0^{\pi}\int_{\phi}^{\pi}\frac{(1+ r \cos \psi)^{\ell+1}}{(1+ r \cos \phi)^\ell} \rm d\psi \ \rm d\phi $

Is there a closed form for $|r|<1$ and $\ell>0$ integer? The solution for the special cases $\ell=2$ and $4$ would also be interesting if the general case is not available. Integrating ...
1
vote
3answers
191 views

Closed form for integral $ \int_0^{\pi} \frac{\sin (m \phi)}{(1 + r \cos \phi)^n} d\phi$

Is there a closed form for $n>0$ integer, $m\neq 0$ integer, and $|r|<1$ real?
22
votes
2answers
450 views

Closed form for $\int_0^\infty\frac{\sin x\,\cdot\,\operatorname{Ci}x-\cos x\,\cdot\,\operatorname{Si}x}{\sqrt{16\,x^2+1}}dx$

Is it possible to find a closed form for this integral? $$\mathcal{S}=\int_0^\infty\frac{\sin x\cdot\operatorname{Ci}x-\cos x\cdot\operatorname{Si}x}{\sqrt{16\,x^2+1}}dx,$$ where $\operatorname{Ci}x$ ...
5
votes
1answer
153 views

closed form for $\int_0^{\infty}\log^n\left(\frac{e^x}{e^x-1}\right)dx$

How can I find a closed form for $$\int_0^{\infty}\log^n\left(\frac{e^x}{e^x-1}\right)dx, n\in\mathbb{N}$$
32
votes
4answers
1k views

Integral $\int_0^1\frac{\ln\left(x+\sqrt2\right)}{\sqrt{2-x}\,\sqrt{1-x}\,\sqrt{\vphantom{1}x}}dx$

Is there a closed form for the integral $$\int_0^1\frac{\ln\left(x+\sqrt2\right)}{\sqrt{2-x}\,\sqrt{1-x}\,\sqrt{\vphantom{1}x}}dx.$$ I do not have a strong reason to be sure it exists, but I would be ...
27
votes
1answer
650 views

Integral $\int_{-1}^{1} \frac{1}{x}\sqrt{\frac{1+x}{1-x}} \log \left( \frac{(r-1)x^{2} + sx + 1}{(r-1)x^{2} - sx + 1} \right) \, dx$

Regarding this problem, I conjectured that $$ I(r, s) = \int_{-1}^{1} \frac{1}{x}\sqrt{\frac{1+x}{1-x}} \log \left( \frac{(r-1)x^{2} + sx + 1}{(r-1)x^{2} - sx + 1} \right) \, dx = 4 \pi ...
25
votes
1answer
300 views

Conjectured closed form for $\int_0^1x^{2\,q-1}\,K(x)^2dx$ where $K(x)$ is the complete elliptic integral of the 1ˢᵗ kind

I am interested in a general closed-form formula for integrals of the following form: $$\mathcal{J}_q=\int_0^1x^{2\,q-1}\,K(x)^2dx,\tag0$$ where $K(x)$ is the complete elliptic integral of the 1ˢᵗ ...
26
votes
2answers
1k views

Closed form for $\int_0^1\sqrt{\frac{2-x}{(1-x)\,x}}\,\log\left(\frac{(2-x)\,x}{1-x}\right)dx$

This is somewhat similar to my previous question: Closed form for $\int_0^1\frac{x^{5/6}}{(1-x)^{1/6}\,(1+2\,x)^{4/3}}\log\left(\frac{1+2x}{x\,(1-x)}\right)\,dx$ Is it possible to find a closed form ...
7
votes
0answers
96 views

A closed form for $\int_0^\infty\left(\frac{2^{-x}-3^{-x}}x\right)^adx,\ a\notin\mathbb{Z}^+$

Let $$I(a)=\int_0^\infty\left(\frac{2^{-x}-3^{-x}}x\right)^adx.$$ $I(a)$ has closed form representations for all $a\in\mathbb{Z}^+$. Is there any algebraic (or at least period) ...
25
votes
2answers
351 views

Closed form for $\int_0^1\frac{x^{5/6}}{(1-x)^{1/6}\,(1+2\,x)^{4/3}}\log\left(\frac{1+2x}{x\,(1-x)}\right)\,dx$

I need to evaluate this integral: $$Q=\int_0^1\frac{x^{5/6}}{(1-x)^{1/6}\,(1+2\,x)^{4/3}}\log\left(\frac{1+2x}{x\,(1-x)}\right)\,dx.$$ I tried it in Mathematica, but it was not able to find a closed ...
27
votes
2answers
710 views

Integral $\int_0^{\pi/2}\arctan^2\left(\frac{6\sin x}{3+\cos 2x}\right)dx$

Is it possible to evaluate this integral in a closed form? $$I=\int_0^{\pi/2}\arctan^2\left(\frac{6\sin x}{3+\cos 2x}\right)dx$$
21
votes
1answer
243 views

Integral $\int_0^1\frac{\ln x}{x^2+1}\cdot\ln\left(\frac{3\,x^2+1}{x^2+3}\right)dx$

I need to evaluate the following integral: $$\int_0^1\frac{\ln x}{x^2+1}\cdot\ln\left(\frac{3\,x^2+1}{x^2+3}\right)dx.$$ Could you suggest how to find a closed form for it? I am not sure if there is ...
24
votes
3answers
496 views

Integral $\int_0^1\frac{\ln x}{\left(1+x\right)\left(1+x^{-\left(2+\sqrt3\right)}\right)}dx$

There is a curious known integral: $$\int_0^1\frac{\ln\left(1+x^{2+\sqrt{3\vphantom{\large3}}}\right)}{1+x}dx=\frac{\pi^2}{12}\left(1-\sqrt{3\vphantom{\large3}}\right)+\ln ...
121
votes
5answers
30k views

Integral $\int_{-1}^1\frac1x\sqrt{\frac{1+x}{1-x}}\ln\left(\frac{2\,x^2+2\,x+1}{2\,x^2-2\,x+1}\right) \ \mathrm dx$

I need help with this integral: $$I=\int_{-1}^1\frac1x\sqrt{\frac{1+x}{1-x}}\ln\left(\frac{2\,x^2+2\,x+1}{2\,x^2-2\,x+1}\right)\ \mathrm dx.$$ The integrand graph looks like this: $\hspace{1in}$ The ...
27
votes
1answer
661 views

Prove $\int_0^1\frac{x^2-2\,x+2\ln(1+x)}{x^3\,\sqrt{1-x^2}}dx=\frac{\pi^2}8-\frac12$

How can I prove the following identity? $$\int_0^1\frac{x^2-2\,x+2\ln(1+x)}{x^3\,\sqrt{1-x^2}}dx=\frac{\pi^2}8-\frac12$$
25
votes
2answers
1k views

Integral $\int_0^1\frac{\arctan^2x}{\sqrt{1-x^2}}dx$

Is it possible to evaluate this integral in a closed form? $$I=\int_0^1\frac{\arctan^2x}{\sqrt{1-x^2}}dx$$ It also can be represented as $$I=\int_0^{\pi/4}\frac{\phi^2}{\cos \phi\,\sqrt{\cos ...
16
votes
3answers
374 views

A closed form for $\int_0^\infty\frac{\ln(x+4)}{\sqrt{x\,(x+3)\,(x+4)}}dx$

I need to a evaluate the following integral $$I=\int_0^\infty\frac{\ln(x+4)}{\sqrt{x\,(x+3)\,(x+4)}}dx.$$ Both Mathematica and Maple failed to evaluate it in a closed form, and lookups of the ...
21
votes
1answer
233 views

Integral $\int_0^\infty\frac{1}{\sqrt[3]{x}}\left(1+\log\frac{1+e^{x-1}}{1+e^x}\right)dx$

Is it possible to evaluate this integral in a closed form? $$\int_0^\infty\frac{1}{\sqrt[3]{x}}\left(1+\log\frac{1+e^{x-1}}{1+e^x}\right)dx$$
14
votes
1answer
294 views

Further our knowledge of a certain class of integral involving logarithms.

$\newcommand{\limitp}{\alpha}\newcommand{\innerp}{\beta}$I am fascinated by definite integrals. Exploring math.stackexchange, I have found many interesting integrals of the form $$ ...
35
votes
1answer
954 views

Conjecture $\int_0^1\frac{dx}{\sqrt{1-x}\ \sqrt[4]x\ \sqrt[4]{2-x\,\sqrt3}}\stackrel?=\frac{2\,\sqrt2}{3\,\sqrt[8]3}\pi$

$$\int_0^1\frac{dx}{\sqrt{1-x}\ \sqrt[4]x\ \sqrt[4]{2-x\,\sqrt3}}\stackrel?=\frac{2\,\sqrt2}{3\,\sqrt[8]3}\pi\tag1$$ The equality numerically holds up to at least $10^4$ decimal digits. Can we ...
9
votes
1answer
132 views

An integral involving the inverse of $f(x)=\log x-\log\cos x+x\tan x$

Let the function $f:\left(0,\,\displaystyle\frac\pi2\right)\to\mathbb{R}$ be defined as $$f(x)=\log x-\log\cos x+x\tan x.$$ Let its inverse be denoted as ...
13
votes
1answer
219 views

Closed form for $\int_0^\infty\frac{\sqrt{x+\sqrt{x^2+1}}}{\sqrt{x\phantom{|}}\sqrt{x^2+1}}e^{-x}dx$

Is it possible to evaluate this integral in a closed form? $$\int_0^\infty\frac{\sqrt{x+\sqrt{x^2+1}}}{\sqrt{x\phantom{|}}\sqrt{x^2+1}}e^{-x}dx$$
7
votes
1answer
87 views

Need your help with the integral $\int_0^\infty\frac{dx}{e^{\,e^{-x}} \cdot e^{\,e^{x}}}$.

Is it possible to evaluate this integral in a closed form? $$\int_0^\infty\frac{dx}{e^{\,e^{-x}} \cdot e^{\,e^{x}}}$$
16
votes
5answers
711 views

Evaluating $\int_0^1 \frac{\log x \log \left(1-x^4 \right)}{1+x^2}dx$

I am trying to prove that $$\int_0^1 \frac{\log x \log \left(1-x^4 \right)}{1+x^2}dx = \frac{\pi^3}{16}-3G\log 2 \tag{1}$$ where $G$ is Catalan's Constant. I was able to express it in terms of ...