# Tagged Questions

A "closed form expression" is any representation of a mathematical expression in terms of "known" functions, "known" usually being replaced with "elementary".

81k 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 ...
4k views

### How to prove $\int_0^1\tan^{-1}\left[\frac{\tanh^{-1}x-\tan^{-1}x}{\pi+\tanh^{-1}x-\tan^{-1}x}\right]\frac{dx}{x}=\frac{\pi}{8}\ln\frac{\pi^2}{8}?$

How can one prove that $$\int_0^1 \tan^{-1}\left[\frac{\tanh^{-1}x-\tan^{-1}x}{\pi+\tanh^{-1}x-\tan^{-1}x}\right]\frac{dx}{x}$$ $$=\frac{\pi}{8}\ln\frac{\pi^2}{8}?$$
23k views

7k views

### The Monster Integral

Compute the following integral \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\, \exp\left[\frac{x^2-1}{x^2+1}\right]\, ...
6k views

### An integral involving Airy functions $\int_0^\infty\frac{x^p}{\operatorname{Ai}^2 x + \operatorname{Bi}^2 x}\mathrm dx$

I need your help with this integral: $$\mathcal{K}(p)=\int_0^\infty\frac{x^p}{\operatorname{Ai}^2 x + \operatorname{Bi}^2 x}\mathrm dx,$$ where $\operatorname{Ai}$, $\operatorname{Bi}$ are Airy ...
2k views

### Conjecture $\int_0^1\frac{dx}{\sqrt[3]x\,\sqrt[6]{1-x}\,\sqrt{1-x\left(\sqrt{6}\sqrt{12+7\sqrt3}-3\sqrt3-6\right)^2}}=\frac\pi9(3+\sqrt2\sqrt[4]{27})$

Let $$\alpha=\sqrt{6}\ \sqrt{12+7\,\sqrt3}-3\,\sqrt3-6.\tag1$$ Note that $\alpha$ is the unique positive root of the polynomial equation $$\alpha^4+24\,\alpha^3+18\,\alpha^2-27=0.\tag2$$ Now consider ...
1k views

1k views

1k views

### Evaluate $\int_{0}^{\pi/2}\frac{1+\tanh x}{1+\tan x}dx$

I need the method to evaluate this integral (the closed-form if possible). $$\int_{0}^{\pi/2}\frac{1+\tanh x}{1+\tan x}\,dx$$ I used the relationship between $\tan x$ and $\tanh x$ but it didn't ...
2k views

### Infinite Series $\sum_{n=1}^\infty\frac{H_n}{n^32^n}$

I'm trying to find a closed form for the following sum $$\sum_{n=1}^\infty\frac{H_n}{n^3\,2^n},$$ where $H_n=\displaystyle\sum_{k=1}^n\frac{1}{k}$ is a harmonic number. Could you help me with it?
821 views

### Calculate the following infinite sum in a closed form $\sum_{n=1}^\infty(n\ \text{arccot}\ n-1)$?

Is it possible to calculate the following infinite sum in a closed form? If yes, please point me to the right direction. $$\sum_{n=1}^\infty(n\ \text{arccot}\ n-1)$$
2k views

942 views

### Find the value of $\int_0^{\infty}\frac{x^3}{(x^4+1)(e^x-1)}\mathrm dx$

I need to find a closed-form for the following integral. Please give me some ideas how to approach it: $$\int_0^{\infty}\frac{x^3}{(x^4+1)(e^x-1)}\mathrm dx$$
4k views

1k views

### Closed-form of $\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 ...
### How can I prove $\pi=e^{3/2}\prod_{n=2}^{\infty}e\left(1-\frac{1}{n^2}\right)^{n^2}$?
I am interested about some infinite product representations of $\pi$ and $e$ like this. Last week I found this formula on internet \pi=e^{3/2}\prod_{n=2}^{\infty}e\left(1-\frac{1}{n^2}\right)^...