8
votes
2answers
137 views
+100

Closed form of $I = \int_0^1 \frac{\operatorname{Li}_2\left( x \right)}{\sqrt{1-x^2}} \,dx $

I'm looking for a closed form of this integral. $$I = \int_0^1 \frac{\operatorname{Li}_2\left( x \right)}{\sqrt{1-x^2}} \,dx ,$$ where $\operatorname{Li}_2$ is the dilogarithm function. A numerical ...
5
votes
0answers
95 views
+200

Closed form for integral $\int_0^1 \int_0^1 \frac{\arcsin\left(\sqrt{1-s}\sqrt{y}\right)}{\sqrt{1-y} \cdot (sy-y+1)}\,ds\,dy $

I'm looking for a closed form of this definite iterated integral. $$I = \int_0^1 \int_0^1 \frac{\arcsin\left(\sqrt{1-s}\sqrt{y}\right)}{\sqrt{1-y} \cdot (sy-y+1)}\,ds\,dy $$ From Vladimir ...
14
votes
1answer
194 views
+200

Integral $\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$

I decided to follow a recent trend and ask a question about logarithmic integrals :) Is there a closed form for this integral? $$\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$$
0
votes
0answers
59 views

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

Looking for a closed-form of this integral. $$I=\int_0^1 \frac{\sqrt{1-x}}{\sqrt{1+x^2}} dx$$ I'm looking for a closed-form of $I$ without using Meijer G-function, elliptic integrals or generalized ...
20
votes
4answers
537 views

Closed-forms for several tough integrals

These integrals came up in the process of finding solution to Vladimir Reshetnikov's problem. I wonder if there are closed-forms for the following integrals: \begin{array}{1,1} &[\text{1}] ...
16
votes
3answers
255 views

Integral $\int_{0}^1\frac{\ln\frac{3+x}{3-x}}{\sqrt{x(1-x)}}dx$

I have a problem with the following integral: $$ \int_{0}^{1}\ln\left(\,3 + x \over 3 - x\,\right)\, {{\rm d}x \over \,\sqrt{\,x\left(\,1 - x\,\right)\,}\,} $$ The first idea was to use the ...
21
votes
3answers
394 views

Integral of Combination Log and Inverse Trig Function

Does the following integral have a closed-form ?: \begin{equation} \int_{0}^{1}{\ln\left(\,x\,\right) \over 1 + x}\,\arccos\left(\,x\,\right) \,{\rm d}x \end{equation} This integral has been ...
13
votes
1answer
153 views

Evaluating $\int_0^{\Large\frac{\pi}{2}}\left(\frac{1}{\log(\tan x)}+\frac{1}{1-\tan(x)}\right)^3dx$

Using the method shown here, I have found the following closed form. $$ \int_0^{\!\Large \frac{\pi}{2}}\!\!\left(\frac{1}{\log(\tan x)}+\frac{1}{1-\tan x}\right)^2\! \mathrm dx= ...
22
votes
4answers
632 views

Closed form for ${\large\int}_0^1\frac{\ln^2x}{\sqrt{1-x+x^2}}dx$

I want to find a closed form for this integral: $$I=\int_0^1\frac{\ln^2x}{\sqrt{x^2-x+1}}dx\tag1$$ Mathematica and Maple cannot evaluate it directly, and I was not able to find it in tables. A numeric ...
1
vote
1answer
52 views

Why is $\int_0^{2\pi} e^{i\,k\rho[\sin\alpha\cos\alpha-\sin\theta\cos(\phi-\beta)]}\mathrm{d}\beta = 2\pi J_0(k\rho\xi)$?

The following is an integral in Jackson Classical Electrodynamics (3rd ed.). In equation (10.112) the integral $$ \int_0^{2\pi} ...
17
votes
2answers
282 views

Prove $\displaystyle \int_{0}^{\pi/2} \ln \left(x^{2} + (\ln\cos x)^2 \right) \, dx=\pi\ln\ln2 $

How to prove\begin{equation} \int_{0}^{\pi/2} \ln \left(x^{2} + (\ln(\cos x))^2 \right) \, dx=\pi\ln\ln2 \end{equation} I don't know how to answer it. When I asked this integral to my brother, ...
16
votes
1answer
212 views

Integral ${\large\int}_0^1\ln(1-x)\ln(1+x)\ln^2x\,dx$

This problem was posted at I&S a week ago, and no attempts to solve it have been posted there yet. It looks very alluring, so I decided to repost it here: Prove: ...
4
votes
2answers
94 views

Trigonometric integral: $\int_{25\pi/4}^{53\pi/4} \frac{1}{(1+2^{\sin x})(1+2^{\cos x})}\,dx$

Is it possible to evaluate the following in a closed form? $$\int_{25\pi/4}^{53\pi/4} \frac{1}{(1+2^{\sin x})(1+2^{\cos x})}\,dx$$ I found the above definite integral at I&S but the solution is ...
6
votes
2answers
80 views

Trigonometric functions expressed as definite integrals with Bessel functions

Prove that $$\frac{\sin(x)}{x}=\int_0^\frac{\pi}{2}J_0(x\cos(\theta))\cos(\theta)\,d\theta \tag{a}$$ $$\frac{1-\cos(x)}{x}=\int_0^\frac{\pi}{2}J_1(x\cos(\theta))\,d\theta \tag{b}$$ Hint: ...
4
votes
0answers
89 views

is there closed form for $\int_0^{\pi/4}\exp(-\sum_{n=1}^{\infty}\frac{\tan^{2n}x}{n+a})dx$

Is there closed form for $$I(a)=\int_0^{\pi/4}\exp(-\sum_{n=1}^{\infty}\frac{\tan^{2n}x}{n+a})dx $$where is $a\in (-1,3)$ I've tried with $\tan x=u$ and I got the result of sum in term of ...
16
votes
3answers
114 views

Integrals of integer powers of dilogarithm function

I'm interested in evaluating integrals of positive integer powers of the dilogarithm function. I'd like to see the general case tackled if possible, or barring that then as many particular cases as ...
6
votes
2answers
141 views

Integral $ \int_{0}^1 \sqrt{\frac{\ln{x}}{x^2-1}} dx$

Please help evaluating this integral $$ \large\int_{0}^1 \sqrt{\frac{\ln{x}}{x^2-1}} dx$$ Mathematica could not evaluate it in a closed form. Numerically it is about ...
4
votes
1answer
64 views

Can you prove a definite integral has no closed form?

It is a well known fact that some functions posses no closed form antiderivative yet still they have definite integrals that have a closed form. A classic example is the Gaussian integral ...
48
votes
6answers
1k views

How to find ${\large\int}_0^1\frac{\ln^3(1+x)\ln x}x\mathrm dx$

Please help me to find a closed form for this integral: $$I=\int_0^1\frac{\ln^3(1+x)\ln x}x\mathrm dx\tag1$$ I suspect it might exist because there are similar integrals having closed forms: ...
8
votes
2answers
175 views

Evaluation of a dilogarithmic integral

Problem. Prove that the following dilogarithmic integral has the indicated value: $$\int_{0}^{1}\mathrm{d}x ...
20
votes
4answers
595 views

How to find ${\large\int}_1^\infty\frac{1-x+\ln x}{x \left(1+x^2\right) \ln^2 x} \mathrm dx$

Please help me to find a closed form for this integral: $$I=\int_1^\infty\frac{1-x+\ln x}{x \left(1+x^2\right) \ln^2 x} \mathrm dx$$
5
votes
1answer
112 views

Is there a theory of integration in elementary terms for definite integrals?

Let's call a real number explicit if it can be expressed starting from integers by using arithmetic operations, radicals, exponents, logarithms, trigonometric and inverse trigonometric functions. For ...
19
votes
2answers
468 views

Closed form for the integral $\int_{0}^{\infty}\frac{\ln^{2}(x)\ln(1+x)}{(1-x)(x^{2}+1)}dx$

Here is a challenging one maybe some would like a go at. Show that: ...
7
votes
1answer
78 views

Closed form for integral of integer powers of Sinc function

(Edit: Thank you Vladimir for providing the references for the closed form value of the integrals. My revised question is then to how to derive this closed form.) For all $n\in\mathbb{N}^+$, ...
3
votes
1answer
74 views

Integral/infinite sum related to Bessels which pop up in optical coherence theory

In propagating partially coherent optical fields, the following integral pops up: $$I_1=\int_0^{2\pi} e^{i(a\cos[\theta]+b\cos^2[\theta])}d\theta,$$ where $a$ and $b$ are real numbers. If we ...
3
votes
1answer
106 views

Examples of pairs of difficult integrals

I’m looking for pairs of difficult definite integrals that are linked algebraically on a certain field without known change of variable or integration by parts from one integral to the other. Here a ...
11
votes
0answers
185 views
6
votes
0answers
121 views

An incorrect answer for an integral

As the authors pointed out in this paper (p. 2), the following evaluation which was in Gradshteyn and Ryzhik (sixth edition) is incorrect (and has been removed). $$ ...
17
votes
2answers
349 views

Prove $_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47$

I discovered the following conjecture numerically, but have not been able to prove it yet: $$_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47.\tag1$$ The equality holds ...
13
votes
2answers
412 views

Evaluating $\int_0^\pi\arctan\left(\frac{\ln\sin x}{x}\right)\mathrm{d}x$

I found the following integral as a by product of another one. It has a nice closed form. $$ \int_{0}^{\pi} \arctan\left(\ln\left(\sin x \right) \over x\right)\,{\rm d}x $$ Mathematica and ...
33
votes
3answers
782 views

Integral ${\large\int}_0^\infty\frac{\ln x}{1+x}\sqrt{\frac{x+\sqrt{1+x^2}}{1+x^2}}\ \mathrm dx$

Please help me to evaluate this integral: $$ I={\large\int}_{0}^{\infty}{\ln\left(x\right) \over 1 + x}\, \,\sqrt{\,x + \sqrt{\,1 + x^{2}\,}\, \over 1 + x^{2}\,}\,\,{\rm d}x.\tag1 $$ Mathematica could ...
4
votes
2answers
159 views

Convergence of ${\large\int}_{-\infty}^\infty J_0(x)\,J_0(x+a)\,dx$

Consider $$I(a)={\int}_{-\infty}^\infty J_0(x)\,J_0(x+a)\,dx,$$ where $J_0(z)$ is the Bessel Function of the $1^{st}$ kind and $a>0$. Does this integral converge for any values of $a$? If so, is ...
12
votes
2answers
345 views

A closed form of $\int_0^1\frac{\ln\ln\left({1}/{x}\right)}{x^2-x+1}\mathrm dx$

This integral has been bugging me since yesterday: $$\int_0^1\frac{\ln\ln\left({1}/{x}\right)}{x^2-x+1}\mathrm dx$$ I've tried substitution $y={1}/{x}$ and $e^y={1}/{x}$, but those didn't help ...
5
votes
1answer
126 views

Prove this polylogarithmic integral has the stated closed form value

Question. Prove the following polylogarithmic integral has the stated value: $$I:=\int_{0}^{1}\frac{\operatorname{Li}_2{(1-x)}\log^2{(1-x)}}{x}\mathrm{d}x=-11\zeta{(5)}+6\zeta{(3)}\zeta{(2)}.$$ ...
1
vote
2answers
47 views

closed form for $\int_0^1x^{a+1}(1-x^2)^bJ_a(cx)dx$

$$\int_0^1x^{a+1}(1-x^2)^bJ_a(cx)dx$$ my friend posted the integral on the fb and I tried to solve it but I faild because I have little information about bessel function so could some one help ?
2
votes
0answers
60 views

Evaluate $\int_0^\infty x^{\lambda-1} \exp\left(-ax-b\sqrt x-\frac{c}{\sqrt x} - \frac{d}{x}\right) \: dx$

Is there a closed form for the integral $$\int_0^\infty x^{\lambda-1} \exp\left(-ax-b\sqrt x-\frac{c}{\sqrt x} - \frac{d}{x}\right) \: dx?$$ where $\lambda>0$, $a>0$, $d>0$ and where $b$, ...
2
votes
2answers
112 views

Closed form for $f(x)=\int_{0}^{+\infty}e^{it^{x}}dt$?

Let $x>1$ and $f(x)=\int_{0}^{+\infty}e^{it^{x}}dt$. Does this integral have a closed form ? Fist point, the integral converges. Indeed let $u=e^{it^{x}}$ and $v=\frac{-i}{x}t^{1-x}$ we have ...
11
votes
3answers
246 views

Help with logarithmic definite integral: $\int_0^1\frac{1}{x}\ln{(x)}\ln^3{(1-x)}$

I'm look for a closed form evaluation of the following improper definite integral involving logarithms: $$\begin{align} I:&=\int_{0}^{1}\frac{1}{x}\ln{(x)}\ln^3{(1-x)}\,\mathrm{d}x\\ ...
7
votes
1answer
155 views

Proving that $\int_0^\infty\Big(\sqrt[n]{1+x^n}-x\Big)dx~=~\frac12\cdot{-1/n\choose+1/n}^{-1}$

How can we prove, without employing the aid of residues or various transforms, that, for $n>2$ $$\int_0^\infty\Big(\sqrt[n]{1+x^n}-x\Big)dx~=~\frac12\cdot{-1/n\choose+1/n}^{-1}$$ Motivation: ...
20
votes
4answers
603 views

Evaluate $\int_{0}^1 \prod_{k=2}^n \lfloor kx \rfloor dx$

Let $n\ge2$ be an integer , then $$\int_{0}^1 \prod_{k=2}^n \lfloor kx \rfloor dx=\text{ ?}, $$ where $\lfloor \space \rfloor$ is the "floor-function"
22
votes
2answers
370 views

A closed form for a lot of integrals on the logarithm

One problem that has been bugging me all this summer is as follows: a) Calculate $$I_3=\int_{0}^{1}\int_{0}^{1}\int_{0}^{1} \ln{(1-x)} \ln{(1-xy)} \ln{(1-xyz)} \,\mathrm{d}x\, \mathrm{d}y\, ...
5
votes
0answers
72 views

Relations between definite integrals not having a known closed form

Are there any known cases, when there are two (or more) definite integrals, none of them having any known closed-form expression on its own, but there is still a non-trivial$^\dagger$ elementary ...
10
votes
3answers
240 views

How to evaluate improper integral $\int_{0}^{\infty}\frac{\tan^{-1}{x}}{e^{ax}-1}dx$?

I'm trying to evaluate the improper integral, $$I(a)=\int_{0}^{\infty}\frac{\tan^{-1}{x}}{e^{ax}-1}\mathrm{d}x,~~~\text{where }a\in\mathbb{R}^+.$$ Does this integral have a simple closed form ...
3
votes
1answer
72 views

Closed form of a trigonometric integral sought

I am trying to evaluate the definite integral $I(a,b)$, with $a,b\in\mathbb{R}$, defined by $$I(a,b):=\int_{0}^{2\pi}\sqrt{1-(a+b\cos{\theta})^2}\mathrm{d}\theta.$$ Assume $a,b$ are suitably ...
7
votes
2answers
139 views

Superelliptic Area Of $x^5+y^5=r^5$

$${\LARGE\int}_0^\tfrac\pi2\frac{dx}{\bigg(\sqrt[{\Large 5}]{\cos^5x+10\cos^3x\sin^2x+5\cos x\sin^4x}\bigg)^{\large 2}}~=~?$$ Its numerical value is about $1.40171345128228$. Maple, Mathematica, ...
13
votes
2answers
418 views

Evaluating $\int_0^{2\pi}\frac{dt}{\sqrt[4]{P(\cos t,\sin t)}}$

$${\LARGE\int}_0^{2\pi}\frac{dt}{\sqrt[{\LARGE 4}]{A\Big(\sin^8t+\cos^8t\Big)+B\Big(\sin^6t\cos^2t+\sin^2t\cos^6t\Big)+C~\sin^4t\cos^4t}}~=~?$$ where $A=0.3$, $B=-3.3$, and $C=10$. Its numerical ...
0
votes
2answers
93 views

A logarithm integral

Calculate the integral \begin{align} \int_{0}^{1} \frac{ \ln(\sqrt{x} - \sqrt{1-x}) }{ \sqrt{x} } \ dx \end{align} and show the value is negative.
24
votes
2answers
2k views

Single Variable Integral

Compute the following integral \begin{equation} \int_0^{\Large\frac{\pi}{4}}\left[\frac{(1-x^2)\ln(1+x^2)+(1+x^2)-(1-x^2)\ln(1-x^2)}{(1-x^4)(1+x^2)}\right] x\, ...
11
votes
5answers
198 views

Do these integrals have a closed form? $I_1 = \int_{-\infty }^{\infty } \frac{\sin (x)}{x \cosh (x)} \, dx$

The following integrals look like they might have a closed form, but Mathematica could not find one. Can they be calculated, perhaps by differentiating under the integral sign? $$I_1 = \int_{-\infty ...
3
votes
0answers
77 views

Log Log Integrals III

The integrals \begin{align} I_{7} = \int_{0}^{1} \ln(x) \ \ln^{2}\left( \ln \left(\frac{1}{x}\right) \right) \ \frac{dx}{1-x} \end{align} and \begin{align} I_{8} = \int_{0}^{1} \ln(x) \ \ln^{2}\left( ...