0
votes
0answers
40 views

Is there a way to simplify Legendre-squared sum $\sum_{n} \frac{[P'_{n}(x)]^2}{n(n+1)}$

Is there a closed-form expression for $$F(x) = \sum_{n=2,{\rm even}}^{\infty} \frac{[P'_{n}(x)]^2}{n(n+1)}$$ where $P'_{n}(x)$ is the derivative of the $n^{\rm th}$ Legendre polynomial? Simple ...
3
votes
3answers
137 views

Conjectured closed form of $G^{2~2}_{3~3}\left(1\middle|\begin{array}c1,1;b+1\\b,b;0\end{array}\right)$

In my answer to this question, I come across the following case of the Meijer G-function: $$F(b)=G^{2~2}_{3~3}\left(1\middle|\begin{array}c1,1;b+1\\b,b;0\end{array}\right), b>0$$ and based on my ...
11
votes
1answer
146 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 ...
8
votes
1answer
183 views

Strange closed forms for hypergeometric functions

So in the process of trying to find a derivation for this answer, the following interesting equalities arose (one can check with Wolfram Alpha/Mathematica): $$\frac{8\sqrt{2}G^4}{5\pi^2} ...
0
votes
0answers
33 views

Closed-form expression for a hypergeometric series

What is the closed-form expression for $${}_2 F_1 \left(1+2\lceil n/2\rceil,-n;1/2;-z/4\right)$$ According to the book Concrete Mathematics (R.Graham, D.Knuth, O.Patashnik 2nd), the authors say the ...
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 ...
0
votes
2answers
44 views

Expressing $\mathrm{B}(\sinh(x), \cosh(x))$ in terms of elementary functions

Is it possible to express: $\mathrm{B}(\sinh(x), \cosh(x))$ (where $\mathrm{B}$ is the beta function) In closed form, in terms of elementary functions?
13
votes
1answer
169 views

Closed form for $_2F_1\left(\frac12,\frac23;\,\frac32;\,\frac{8\,\sqrt{11}\,i-5}{27}\right)$

I'm trying to find a closed form (in terms of simpler functions) for the following hypergeometric function with a complex argument: ...
5
votes
1answer
52 views

Closed form for derivative $\frac{d}{d\beta}\,{_2F_1}\left(\frac13,\,\beta;\,\frac43;\,\frac89\right)\Big|_{\beta=\frac56}$

As far as I know, there is no general way to evaluate derivatives of hypergeometric functions with respect to their parameters in a closed form, but for some particular cases it may be possible. I am ...
2
votes
0answers
74 views

Is there a closed form for $\Gamma(i)$?

I know that $$\Gamma(z)\cdot\Gamma(z^*)=|\Gamma(z)|^2\tag{1}$$ and $$\Gamma (z)\cdot \Gamma (1-z) =\frac{\pi }{\sin{\pi z}}\tag{2}$$ but I still can't find closed form for $\Gamma(i)$
3
votes
0answers
36 views

Solving equation with LambertW function?

Does the equation $$ a = b x e^x + c x + d e^x $$ have a solution form solution? I tried to look for it by using the LambertW funcion, but I did not succeed. Thanks in advance.
1
vote
2answers
67 views

How to find a closed form for the derivatives of $F(x)=\frac1x\int_0^x\frac{1-\cos t}{t^2}\,dt,$ $F(0)=\frac12$?

I have been given the function $$F(x)=\frac1x\int_0^x\frac{1-\cos t}{t^2}\,{\rm d}t$$ for $x\ne 0,$ $F(0)=\frac12,$ and charged with finding a Taylor polynomial for $F(x)$ differing from $F$ by no ...
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
252 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
215 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 ...
39
votes
2answers
395 views

Conjecture $_2F_1\left(\frac14,\frac34;\,\frac23;\,\frac13\right)=\frac1{\sqrt{\sqrt{\frac4{\sqrt{2-\sqrt[3]4}}+\sqrt[3]{4}+4}-\sqrt{2-\sqrt[3]4}-2}}$

Using a numerical search on my computer I discovered the following inequality: $$\left|\,{_2F_1}\left(\frac14,\frac34;\,\frac23;\,\frac13\right)-\rho\,\right|<10^{-20000},\tag1$$ where $\rho$ is ...
18
votes
1answer
288 views

Derivative of the Meijer G-function with respect to one of its parameters

Are there any approaches that allow to find a derivative of the Meijer G-function with respect to one of its parameters in a closed form (or at least numerically with a high precision and in ...
20
votes
3answers
351 views

Integral $\int_0^\infty{_1F_2}\left(\begin{array}{c}\tfrac12\\1,\tfrac32\end{array}\middle|-x\right)\frac{dx}{1+4\,x}$

I need to evaluate this integral to a high precision: $$\large I=\int_0^\infty{_1F_2}\left(\begin{array}{c}\tfrac12\\1,\tfrac32\end{array}\middle|-x\right)\frac{dx}{1+4\,x}$$ Symbolic integration in ...
17
votes
2answers
249 views

A closed form for $\int_0^1{_2F_1}\left(-\frac{1}{4},\frac{5}{4};\,1;\,\frac{x}{2}\right)^2dx$

Is it possible to evaluate in a closed form integrals containing a squared hypergeometric function, like in this example? ...
7
votes
1answer
163 views

Simplification of $G_{2,4}^{4,2}\left(\frac18,\frac12\middle|\begin{array}{c}\frac12,\frac12\\0,0,\frac12,\frac12\\\end{array}\right)$

In this post Cleo gives a misterious result containing the following generalized Meijer G-function: ...
8
votes
0answers
75 views

Derivatives of the Struve functions $H_\nu(x)$, $L_\nu(x)$ and other related functions w.r.t. their index $\nu$

There are some known formulae for derivatives of the Bessel functions $J_\nu(x),\,$$Y_\nu(x),\,$$K_\nu(x),\,$$I_\nu(x)\,$with respect to their index $\nu$ for certain values of $\nu$, e.g. ...
10
votes
1answer
201 views

What would qualify as a valid reason to believe there is a closed form?

I noticed that almost every non-homework-level integral posted on this site prompts somebody to ask "Do you have any reason to believe there is a closed form?" (some recent examples here and here) I ...
8
votes
1answer
244 views

Indefinite integral $\int \arcsin \left(k\sin x\right) dx$

It would take too long to explain the context reasonably well - but in short, this integral, or rather its equivalent $$\int\frac{x\cos x\,dx}{\sqrt{1-k^2\sin^2x}},\qquad 0<k<1$$ is related to ...
13
votes
1answer
137 views

How to calclulate a derivate of a hypergeometric function w.r.t. one of its parameters?

Is it possible to take a derivative of a hypergeometric function w.r.t. one of its parameters and express it in a closed form? I am particularly interested in this case: ...
8
votes
2answers
184 views

Conjectural closed form for $\int_0^\infty\sqrt[3]z\ \operatorname{Ei}^2(-z)\,dz$

While trying to answer the question "A closed form for $\displaystyle\int_0^1\frac{\ln(-\ln x)\ \operatorname{li}^2x}{x}dx$", I came up with a conjecture: $$\int_0^\infty\sqrt[3]z\ ...
16
votes
2answers
219 views

A closed form for $\int_0^1\frac{\ln(-\ln x)\ \operatorname{li}^2x}{x}dx$

Let $\operatorname{li}x$ denote the logarithmic integral $^{[1]}$$^{[2]}$$^{[3]}$: $$\operatorname{li}x=\int_0^x\frac{dt}{\ln t}$$ and $$I=\int_0^1\frac{\ln(-\ln x)\ ...
32
votes
4answers
1k views

An integral involving Airy functions $\int_0^\infty\frac{x^p}{\operatorname{Ai}^2 x + \operatorname{Bi}^2 x}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}dx,$$ where $\operatorname{Ai}$, $\operatorname{Bi}$ are Airy functions: ...
17
votes
1answer
237 views

A closed form for $\int_0^\infty\frac{e^{-x}\ J_0(x)\ \sin\left(x\,\sqrt[3]{2}\right)}{x}dx$

I am stuck with this integral: $$\int_0^\infty\frac{e^{-x}\ J_0(x)\ \sin\left(x\,\sqrt[3]{2}\right)}{x}dx,$$ where $J_0$ is the Bessel function of the first kind. Is it possible to express this ...
1
vote
0answers
55 views

integral of Q-function and modified bessel function

the integral is given in this link http://www.mediafire.com/view/3mpjo9j3stsddz1/Untitled.png where Q(t) is the gaussian error function, I_v(.) is the modified bessel function, anything else is ...
19
votes
1answer
304 views

The positive root of the transcendental equation $\ln x-\sqrt{x-1}+1=0$

I numerically solved the transcendental equation $$\ln x-\sqrt{x-1}+1=0$$ and obtained an approximate value of its positive real root $$x \approx 14.498719188878466465738532142574796767250306535...$$ ...
3
votes
0answers
52 views

Integral of two logs and a power: $\int_0^1 u^c \log(1-au)\log(1-bu)\,du$

Does the following integral have a closed form in terms of known functions? $$ f(a,b,c) = \int_0^1 u^c \log(1-au)\log(1-bu)\,du.$$ The parameters are possibly complex, and satisfy $$\Re(c)>-1, ...
5
votes
1answer
102 views

Limit of an integral related to the beta function: $\int_0^1 \frac{v^\beta\,dv}{1-z v}\log\frac{1-v z}{1-v}$.

Consider the following limit: $$ Z(\beta) = \lim_{z\to1-}\int_0^1 \frac{v^\beta\,dv}{1-z v}\log\frac{1-v z}{1-v}. $$ (This is related to this question.) What is the closed form for this limit? ...
14
votes
2answers
278 views

A Challenging Euler Sum $\sum\limits_{n=1}^\infty \frac{H_n}{\tbinom{2n}{n}}$

Recently, I encountered a strange series involving Harmonic Numbers and Binomial Coefficients both. According to Mathematica: $$\displaystyle \sum_{n=1}^\infty \frac{H_n}{\binom{2n}{n}} = ...
19
votes
1answer
230 views

What is a closed form of $\int_0^1\ln(-\ln x)\ \text{li}\ x\ dx$

Let $\operatorname{li} x$ denote the logarithmic integral: $$\operatorname{li} x=\int_0^x\frac{dt}{\ln t}.$$ Is it possible to find a closed form of the following integral? $$\int_0^1\ln(-\ln x) ...
15
votes
1answer
201 views

Is $K\left(\frac{\sqrt{2-\sqrt3}}2\right)\stackrel?=\frac{\Gamma\left(\frac16\right)\Gamma\left(\frac13\right)}{4\ \sqrt[4]3\ \sqrt\pi}$

Working on this conjecture, I found its corollary, which is also supported by numeric caclulations up to at least $10^5$ decimal digits: ...
16
votes
2answers
379 views

How to prove $\int_0^\infty J_\nu(x)^3dx\stackrel?=\frac{\Gamma(1/6)\ \Gamma(1/6+\nu/2)}{2^{5/3}\ 3^{1/2}\ \pi^{3/2}\ \Gamma(5/6+\nu/2)}$?

I am interested in finding a general formula for the following integral: $$\int_0^\infty J_\nu(x)^3dx,\tag1$$ where $J_\nu(x)$ is the Bessel function of the first kind: $$J_\nu(x)=\sum ...
6
votes
2answers
246 views

How to prove a generalized integral identity

$$ \int_{0}^{\infty }\frac{t}{(e^{2\pi t}-1)(1+t^{2})}dt=-\frac{1}{4}+\frac{\gamma}{2} $$ where $\gamma$ = Euler Gamma $$ \int_{0}^{\infty }\frac{t}{( e^{2\pi t}-1)(1+t^{2}) ^{2}}dt=\frac{\pi^2}{24} ...
17
votes
2answers
264 views

How to prove $4\times{_2F_1}(-1/4,3/4;7/4;(2-\sqrt3)/4)-{_2F_1}(3/4,3/4;7/4;(2-\sqrt3)/4)\stackrel?=\frac{3\sqrt[4]{2+\sqrt3}}{\sqrt2}$

I have the following conjecture, which is supported by numerical calculations up to at least $10^5$ decimal digits: ...
18
votes
1answer
219 views

Need help with $\int_0^\infty x^{-\frac{3}{2}}\ \text{Li}_{\sqrt{2}}(-x)\ dx$

I need help with solving this integral: $$\int_0^\infty x^{-\frac{3}{2}}\ \text{Li}_{\sqrt{2}}(-x)\ dx,$$ where $\text{Li}_{s}(z)$ is the polylogarithm.
16
votes
3answers
349 views

How to solve $\int_0^\infty J_0(x)\ \text{sinc}(\pi\,x)\ e^{-x}\,\mathrm dx$?

I need some help with solving this integral involving Bessel function: $\hspace{2in}\displaystyle\int_0^\infty$$J_0(x)\ $$\text{sinc}(\pi\,x)\ $$e^{-x}\,\mathrm dx.$
1
vote
2answers
102 views

Summation involving subfactorial function

Inspired by this post: Does the following series converge; if so, to what value does it converge? $$ \sum_{n = 2}^\infty \left|\frac{!n \cdot e}{n!} - 1\right|$$ I am looking for a closed form for ...
51
votes
1answer
1k views

Closed form for $\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx$

Consider the following integral: $$\mathcal{I}(\mu,\nu)=\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx,$$ where $J_\mu(x)$ is the Bessel function of the first kind: ...
18
votes
2answers
309 views

Closed form for $\int_0^\infty\left(\int_0^1\frac1{\sqrt{1-y^2}\sqrt{1+x^2\,y^2}}\mathrm dy\right)^3\mathrm dx.$

I need to find a closed form for these nested definite integrals: $$I=\int_0^\infty\left(\int_0^1\frac1{\sqrt{1-y^2}\sqrt{1+x^2\,y^2}}\mathrm dy\right)^3\mathrm dx.$$ The inner integral can be ...
2
votes
3answers
93 views

What type of Hypergeometric series is this?

I am trying to find a closed form for the series $$ \sum^\infty_{n=0} \frac{1}{n!} \frac{1}{n+1}(-z)^n {}_2F_2\left(m,n+1;\frac{1}{2},n+2; b z\right)$$ $m$ is a nonzero positive integer, and $b$, ...
16
votes
1answer
252 views

$\int_0^\infty\text{Ci}(x)^3\mathrm dx$

Is there a closed form for this integral: $$\int_0^\infty\text{Ci}(x)^3\mathrm dx,$$ where $\text{Ci}(x)=-\int_x^\infty\frac{\cos z}{z}\mathrm dz$ is the cosine integral?
26
votes
3answers
699 views

$\int_0^\pi\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x}x\ \mathrm dx$

Please help me to solve this integral: $$\int_0^\pi\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x}x\ \mathrm dx.$$ I managed to calculate an indefinite integral of the left part: $$\int\frac{\cos x}{\sin ...
33
votes
3answers
820 views

An integral involving Fresnel integrals $\int_0^\infty \left(\left(2\ S(x)-1\right)^2+\left(2\ C(x)-1\right)^2\right)^2 x\ \mathrm dx,$

I need to calculate the following integral: $$\int_0^\infty \left(\left(2\ S(x)-1\right)^2+\left(2\ C(x)-1\right)^2\right)^2 x\ \mathrm dx,$$ where $$S(x)=\int_0^x\sin\frac{\pi z^2}{2}\mathrm dz,$$ ...
23
votes
1answer
470 views

$\int_0^1\arctan\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};\frac{x}{64}\right)\,\mathrm dx$

I need help with calculating this integral: $$\int_0^1\arctan\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};\frac{x}{64}\right)\,\mathrm dx,$$ where ...
22
votes
1answer
445 views

Closed form for $\sum_{n=1}^\infty\frac{\psi(n+\frac{5}{4})}{(1+2n)(1+4n)^2}$

This question came up in the process of finding solution to another problem. Eventually, the problem was solved avoiding calculation of this sum, but it looks quite interesting on its own. Is there a ...