3
votes
1answer
76 views

Compute the following series $\sum_{n=1}^{+\infty}\frac{1}{(n+a)(n+b)}$

Does the following series have a 'closed' form : $$\sum_{n=1}^{+\infty}\frac{1}{(n+a)(n+b)}.$$ Where $n\in \Bbb{N}$ and $a,b \in (0,+\infty)$ For $a,b$ integer we can use Partial fraction ...
6
votes
1answer
71 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}^+$, ...
2
votes
1answer
62 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 ...
10
votes
0answers
163 views
16
votes
2answers
328 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 ...
2
votes
2answers
43 views

Sum of odd Bessel Functions

In an answer, I showed that: $$\sin(1)=2\sum_{k=0}^\infty(-1)^k J_{2k+1}(1)$$ Where $J_n(x)$ is the Bessel function of the first kind. Is there a more general result for the infinite sum of odd Bessel ...
6
votes
1answer
120 views

How do people on MSE find closed-form expressions for integrals, infinite products, etc?

I always wanted to ask this question since when I joined MSE, but because I was afraid of asking too many soft questions I never asked it. I've seen some pretty complicated integrals and infinite ...
4
votes
2answers
155 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 ...
7
votes
1answer
99 views

Derivative of a generalized hypergeometric function

Let $$f(a)={_2F_3}\left(\begin{array}c1,\ 1\\\tfrac32,\ 1-a,\ 2+a\end{array}\middle|-\pi^2\right).$$ How to find $f'(0)$ in a closed form?
3
votes
1answer
50 views

Does $\int { y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$ have a closed form

I am trying to solve the following indefinite integral $$F_Y(y) = \int {y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$$ Where $J_0$ is the Bessel function of the first kind. I tried ...
0
votes
1answer
40 views

closed form expression for an infinite sum

Is there any closed form expression for the infinite sum $\sum_{n≥0}q^{n^2}u^n$ where both q and n are variables and $n \in N∪0$ ?
0
votes
0answers
49 views

closed form expression for an infinite series

Is there any closed form expression for the infinite sum $∑_{n≥0}q^{n(n+1)/2}(1+q)(1+q^2)...(1+q^n)u^n$ where both q and n are variables and $n \in N∪0$?
1
vote
0answers
89 views

What is the sum of Psi/Digamma-function of consecutive arguments? Is there a closed form?

In a consideration of summation of a series $$ s = a_0 + a_1 + a_2 + \cdots \tag 1$$ with $$\lim_{k \to \infty} a_k=0$$ but slowly decreasing, the coefficients $a_k$ are somehow related to $1/k^2$ ...
3
votes
0answers
48 views

Dilogarithm in closed form

Is there a closed form expression for \begin{align} e^{\Large\frac{i\pi}3} \text{Li}_{2}\left( \frac{e^{\Large\frac{i\pi}3} }{2}\right) + e^{-\Large\frac{i\pi}3} \text{Li}_{2}\left( ...
3
votes
0answers
72 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( ...
0
votes
0answers
62 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 ...
4
votes
3answers
156 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 ...
12
votes
1answer
191 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 ...
9
votes
1answer
214 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} ...
1
vote
0answers
49 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
164 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: ...
12
votes
1answer
292 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
61 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
191 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: ...
6
votes
1answer
61 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
79 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
42 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.
3
votes
2answers
84 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
50 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
353 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
230 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 ...
41
votes
2answers
448 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 ...
19
votes
1answer
366 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 ...
21
votes
3answers
390 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 ...
23
votes
3answers
431 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
207 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
82 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
273 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
269 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
176 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: ...
9
votes
2answers
199 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\ ...
17
votes
2answers
233 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)\ ...
35
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: ...
18
votes
1answer
264 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
59 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 ...
20
votes
1answer
326 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...$$ ...
4
votes
0answers
71 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
118 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
314 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
237 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) ...