2
votes
0answers
23 views

Closed form of $\int_0^1 \left(\ln \Gamma(x)\right)^3\,dx$

From the amazing result by Raabe we know that $$LG_1=\int_0^1 \ln \Gamma(x)\,dx = \frac{1}{2}\ln(2\pi) = -\zeta'(0).$$ We also know that $$LG_2 = \int_0^1 \left(\ln \Gamma(x)\right)^2\,dx = ...
4
votes
0answers
42 views

Closed form of $\int_0^1 \operatorname{Li}_3^3(x)\,dx$ and $\int_0^1 \operatorname{Li}_3^4(x)\,dx$

We know a closed-form of the first two powers of the integral of trilogarithm function between $0$ and $1$. From the result here we know that $$I_1=\int_0^1 \operatorname{Li}_3(x)\,dx = ...
5
votes
2answers
43 views

Closed form of $\int_0^1 \operatorname{Li}_p(x) \, dx$

While I've studied integrals involving polylogarithm functions I've observed that $$\int_0^1 \operatorname{Li}_p(x) \, dx \stackrel{?}{=} \sum_{k=2}^p(-1)^{p+k}\zeta(k)+(-1)^{p+1},\tag{1}$$ for any ...
7
votes
2answers
115 views

Closed form of $\int_0^1 B_n(x)\psi(x+1)\,dx$

Is there a closed-form of the following integral? $$I_n = \int_0^1 B_n(x)\psi(x+1)\,dx,$$ where $B_n(x)$ are the Bernoulli polynomials and $\psi(x)$ is the digamma function. The motivation of the ...
7
votes
1answer
98 views

Evaluate $\int_{0}^{1} \frac{\left[\rm{Li}_2\left(\frac{1}{2} \right)-\rm{Li}_2\left(\frac{1 + x}{2}\right)\right]\ln( 1 - x)}{1 + x}\,dx$

$\def\Li{{\rm{Li}}}$How to evaluate the following integral$${\large\int_0^1} {\frac{{\left[ {\Li_2\left( {\frac{1}{2}} \right) - \Li_2\left( \frac{1 + x}{2} \right)} \right]\ln \left( {1 - x} ...
2
votes
0answers
83 views

Estimating a special exponential integral

Let $s>0$ be fixed, and consider for $p>0$, $\alpha>0$, the integral $$I_s(p,\alpha)= \int_0^1 t^p e^{-s\left(1-t^2\right)^{-\alpha}} dt $$ For fixed $\alpha$, one has $I_s(p,\alpha)\to0$ ...
0
votes
1answer
34 views

Name of special function used used by Wolfram integrator

Integrating $\frac{e^{-r}}{(\sqrt{2t-r})}$ with respect to $r$ between $r=t$ and $r=2t$ on Wolfram (http://www.wolframalpha.com/widgets/view.jsp?id=8ab70731b1553f17c11a3bbc87e0b605) gives the answer ...
5
votes
0answers
66 views

Fourier transform of squared exponential integral $\operatorname{Ei}^2(-|x|)$

Let $\operatorname{Ei}(x)$ denote the exponential integral: $$\operatorname{Ei}(x)=-\int_{-x}^\infty\frac{e^{-t}}tdt.$$ Now consider the function $\operatorname{Ei}(-|x|)$. ...
5
votes
1answer
108 views
+50

Integral ${\large\int}_0^1\left(-\frac{\operatorname{li} x}x\right)^adx$

Let $\operatorname{li} x$ denote the logarithmic integral $$\operatorname{li} x=\int_0^x\frac{dt}{\ln t}.$$ Consider the following parameterized integral: $$I(a)=\int_0^1\left(-\frac{\operatorname{li} ...
2
votes
2answers
108 views

Evaluate $\int_{0}^{\frac {\pi}{3}}x\log(2\sin\frac {x}{2})\,dx$

Prove $$\int_0^{\pi/3}x\log \left(2 \sin\frac {x}{2}\right)\,dx = \frac {2\zeta(3)}{3}-\frac {\pi^2}{9}\log (2\pi)+\frac {2\pi ^2}{3}\log \left|\frac {\Gamma_2 \left(\frac {5}{6}\right)}{\Gamma_2 ...
0
votes
1answer
36 views

Proving an integration with a modified Bessel function and an exponential

I am trying to prove the following identity: where $\mu, h, H$, and $\tilde{\gamma}$ are real constants. The only hint that I have is use the relation between the modified bessel function of the ...
3
votes
0answers
45 views

An integral with a decaying exponential with rational exponent

I was working on some mathematical derivations while I faced this integral: $$\Large \int_0^\infty x^{\alpha-1}e^{-\beta x} e^{-\lambda \left[\frac{x^2}{2x+\eta}\right]}\ \mathrm{d}x \quad .$$ Does ...
6
votes
2answers
90 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
2answers
108 views

Prove: $\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3$

I'd like to evaluate the following definite integral: $$\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3.$$ ...
0
votes
0answers
37 views

Evaluation of $\int_{1}^{\infty} x^{-\frac{5}{3}} \cos \left( \left( x-1 \right) h \right)dx$ with Maple [duplicate]

I have calculated the Integral with the aid of some professors here and I get a problem: $$\int_{1}^{\infty} x^{-\frac{5}{3}} \cos \left( \left( x-1 \right) h \right)dx$$ I have done the Integral ...
8
votes
1answer
85 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}^+$, ...
5
votes
2answers
231 views

Closed form for $\int_0^x \{1/t \}\,\mathrm{d}t$, $x \in \mathbb{R}_+$ and related.

After some tests I think that Conjecture 1 Let $x \in \mathbb{R}_+$ then $$ \int_{0}^{x}\left\{\,1 \over t\,\right\}\,{\rm d}t = 1 - \gamma + H_{\left\{1/x\right\}} - x\left\lfloor\, ...
12
votes
2answers
356 views
3
votes
1answer
79 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 ...
20
votes
2answers
477 views
21
votes
2answers
413 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 ...
0
votes
0answers
50 views

Integral of Hypergeometric Function with polynomial and exponential

I was working on some mathematical derivations and faced this integral: $$I=\int_{0}^{\infty}x^{\alpha-1}e^{-\beta x}{_2F_1}{(a,b;c;1-hx)}\,\mathrm{d}x$$ how can I integrate it?
1
vote
0answers
52 views

Integrating $\int_0^1 dx\,\ln(x-a)/(x-b)$ paying attention to cuts.

I am trying to compute the following integral, for complex $a$ and $b$ $$\int ^1 _0 dx \frac{\ln(x-a)}{x-b}$$ by turning it into something in terms of dilogarithms. But for certain values of $a$ ...
3
votes
1answer
74 views

What does this paper mean by “$f(x)$ is practically a rational function”?

The paper "Infinite integrals involving Bessel functions by contour integration" by Qiong-Gui Lin gives a method to solve integrals of the form $\intop_{0}^{\infty}x^{v}f(x)J_{v}(qx)\, dx$. One of the ...
4
votes
2answers
161 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 ...
8
votes
2answers
324 views

Difficult infinite integral involving a Gaussian, Bessel function and complex singularities

I've come across the following integral in my work on flux noise in SQUIDs. $$\intop_{0}^{\infty}dk\, e^{-ak^{2}}J_{0}\left(bk\right)\frac{k^{3}}{c^{2}+k^{4}} $$ Where $a$,$b$,$c$ are all positive. ...
1
vote
0answers
69 views

Analytical evaluation of integral

I would like to evaluate the following integral analytically, but Mathematica does not give me an answer: $$ \int_0^1 dr \ e^{(1-2r)x^2} \left[p(r,x) Y_0\left(2x^2\sqrt{r-r^2}\right)+q(r,x) ...
4
votes
3answers
95 views

Proving $\int_0^1 \frac{\mathrm{d}x}{1-\lfloor \log_2(1-x)\rfloor} = 2 \log 2 - 1$.

By testing in maple I found that $$ \int_0^1 \frac{\mathrm{d}x}{1-\lfloor \log_2(1-x)\rfloor} = 2 \log 2 - 1 $$ Does there exists a proof for this? I tried rewriting it as an series but no luck ...
6
votes
3answers
112 views

A closed form expression for $\int_0^{\infty} (t^2+t^4)^n e^{-t^2-t^4}\,dt$

I was doing some computations for research purposes, which led me to this integral: $$I(n) = \int_0^{\infty} (t^2+t^4)^n e^{-t^2-t^4}\,dt.$$ This is very suggestively written so as to employ a ...
4
votes
2answers
73 views

2D Integral of Bessel Function and Gaussians

I've run into the following integral, and I'm not sure how to evaluate it. $$F(k)=\int ...
2
votes
2answers
134 views

Compute the indefinite integral $I=\int y^{-a}(1−y)^{b-1} dy$ or $I=\int_{d}^1 y^{-a}(1−y)^{b-1} dy$

I need to calculate the indefinite integral $I=\int y^{-a}(1−y)^{b-1} dy$, where $a$, $b$ are REAL NUMBERS and $b>0$. (my goal is to determine the definite integral $I=\int_{d}^1 y^{-a}(1−y)^{b-1} ...
0
votes
0answers
69 views

Solving integral that contain upper incomplete gamma function, exponential, and powers

I have this integration formula; $ f=\int\limits_{0}^{\infty}\frac{e^{-b~z}}{\sqrt{z}} \Big(\frac{\beta}{\beta+z}\Big)\Big(\frac{\beta+z}{z}\Big)^L ...
0
votes
0answers
32 views

Integrating products of Hankel and Riccati Bessel functions

I want to do the integral: $$ \int_0^\infty dr h_l^+(kr)\hat j_l(kr) $$ where $h_l^+$ is the type 1 Hankel function, $\hat j_l$ is the type 1 Riccati-Bessel function. I would like a algebraic ...
1
vote
1answer
29 views

Simplify $\int_0^{\infty}\,dk\,k^{\frac{1}{2}}R^{\frac{3}{2}}J_{\frac{3}{2}}(kR)\exp{(-ak^2)}$

I would like to rewrite this integral $$\int_0^{\infty}\,dk\,k^{\frac{1}{2}}R^{\frac{3}{2}}J_{\frac{3}{2}}(kR)\exp{(-ak^2)}$$ (where $a>\mathbf{R^+}$ and $J_{\frac{3}{2}}$ is the bessel function ...
4
votes
1answer
82 views

Elliptic integral $\int^1_0 \frac{K(k)}{\sqrt{1-k^2}}\,dk$

Question: Prove that $$\int^1_0 \frac{K(k)}{\sqrt{1-k^2}}\,dk=\frac{1}{16\pi}\Gamma^4\left( \frac{1}{4}\right)$$ My attempt Start by the transformation $$k \to \frac{2\sqrt{k}}{1+k}$$ ...
10
votes
1answer
174 views

Integral $\int_0^\infty \frac{\cos x}{x}\left(\int_0^x \frac{\sin t}{t}dt\right)^2dx=-\frac{7}{6}\zeta_3$

Hi I am trying to prove this below. $$ I:=\int_0^\infty \frac{\cos x}{x}\left(\int_0^x \frac{\sin t}{t}dt\right)^2dx=-\frac{7}{6}\zeta_3 $$ where $$ \zeta_3=\sum_{n=1}^\infty \frac{1}{n^3}. $$ I am ...
5
votes
3answers
123 views

Proof that $J_{\nu}(x) \sim (x/2)^\nu / \Gamma(\nu+1) \; \text{as} \; \nu \rightarrow \infty$

I'm working through the exercises of Bender and Orszag's famous book, but I got stuck in 6.25 (a), in which it is asked to prove that $$J_\nu (x) \sim (x/2)^\nu / \Gamma(\nu+1) \; \text{as} \; \nu ...
1
vote
1answer
52 views

Equailty involving Elliptic integrals and hypergeometric function

How to prove the following $$\,_2F_1\left(-1/2,-1/2,1,k^2 \right)=\frac{2}{\pi}\left(2E+(k^2-1)K \right)$$ where we define The complete integral of first kind $$K=K(k) = \int^1_0 ...
6
votes
1answer
77 views

Log Log Integrals II

The integral \begin{align} I_{4} = \int_{0}^{1} \ln(1-x) \ \ln^{2}\left( \ln\left(\frac{1}{x}\right) \right) \ \frac{dx}{x} \end{align} can be expressed as \begin{align} I_{4} = \zeta^{''}(2) - ...
4
votes
1answer
51 views

integral involving hypergeometric function $\int^1_0\frac{_2F_1(p,p;p+1;-\frac{1}{y})}{y}\,dy$

I arrived at the following result $$\tag{1}\int^\infty_0 z^{p-1} E^2(z)\,dz=\frac{\Gamma(p)}{p}\int^1_0\frac{_2F_1(p,p;p+1;-\frac{1}{z})}{z}\,dz$$ where the exponential integral $E(z)$ is defined ...
5
votes
1answer
123 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
1answer
55 views

A definite integral in terms of Meijer G-function

I am trying to find some relevant functional identities involving Meijer G-functions in order to prove $$ \int_0^\infty\frac{\log(x+1)}{x}\mathrm{e}^{-zx}\,\mathrm{d}x = G^{3,1}_{2,3}\left(z \middle| ...
3
votes
2answers
200 views

Evaluation of another definite integral

I have a definite integral that I am trying to solve. Any hint or reference is urgently sought. , where $r$ is any positive integer while $\psi$ and $\nu$ are positive real numbers.
0
votes
0answers
23 views

Incomplete gamma function in polar form

How can one write the incomplete gamma function in polar coordinates?
0
votes
0answers
33 views

The representation of the Gaussian Q-function

The gaussian Q-function is well-known to be given in two famous forms, given as: $$ \mathcal{Q} = \frac{1}{\sqrt{2\pi}} \int_{x}^{\infty}\! \operatorname{exp}\left\{ -\frac{y^2}{2} \right\} ...
5
votes
2answers
135 views

Integral $\int_0^1 \frac{x\log x+1-x}{x \log^2 x}\log(1+x)\, dx=\log\frac{4}{\pi}$

Hi I am trying to prove this $$ I:=\int_{0}^{1} {x\log\left(\,x\,\right) + 1 - x \over x\log^{2}\left(\,x\,\right)}\, \log\left(\,1 + x\,\right)\,{\rm d}x=\log\left(\,4 \over \pi\,\right). $$ Thanks. ...
7
votes
4answers
193 views

Integral $\int_0^1 \log \left(\Gamma\left(x+\alpha\right)\right)\,{\rm d}x=\frac{\log\left( 2 \pi\right)}{2}+\alpha \log\left(\alpha\right) -\alpha$

Hi I am trying to prove$$ I:=\int_0^1 \log\left(\,\Gamma\left(x+\alpha\right)\,\right)\,{\rm d}x =\frac{\log\left(2\pi\right)}{2}+\alpha \log\left(\alpha\right) -\alpha\,,\qquad \alpha \geq 0. $$ I am ...
5
votes
2answers
193 views

Integral $\int_0^1 \log \Gamma(x)\cos (2\pi n x)\, dx=\frac{1}{4n}$

$$ I:=\int_0^1 \log \Gamma(x)\cos (2\pi n x)\, dx=\frac{1}{4n}. $$ Thank you. The Gamma function is given by $\Gamma(n)=(n-1)!$ and its integral representation is $$ \Gamma(x)=\int_0^\infty t^{x-1} ...
4
votes
1answer
65 views

Fundamental period of the WeierstrassP elliptic function?

Consider the WeierstrassP elliptic function $\wp(z, g_2, g_3)$ with the invariants $g_2\in\mathbb{R}$ and $g_3\in\mathbb{R}$: $$\wp'(z)^2 = 4\wp(z)^3 - g_2 \wp(z) - g_3$$ According to Wikipedia when ...
2
votes
0answers
181 views

An Integral possibly related to Legendre polynomials

Consider the integral $$\int_0^1\frac{(t^2-1)^a}{(t-u)^{b+1}}dz$$ where $b\gg a$, with $a,b$ integers and $u>1$. I know you can write this integral as the sum of two hypergeometric functions but ...