3
votes
1answer
46 views

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
63 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
32 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
44 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
83 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: ...
3
votes
2answers
97 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 ...
7
votes
1answer
79 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
226 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
334 views
3
votes
1answer
77 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 ...
11
votes
0answers
197 views
17
votes
2answers
352 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
51 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
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 ...
8
votes
2answers
313 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
106 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
72 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
131 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
68 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
31 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
81 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
168 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
51 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 ...
3
votes
0answers
53 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 ...
3
votes
0answers
82 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
50 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
31 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
132 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
189 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
186 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
59 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
170 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 ...
0
votes
1answer
190 views

Evaluation of definite integral using complex analysis

I want to evaluate the following indefinite integral $$ \int_0^{\infty} x^{p - 1} \cos (ax) dx$$ where $0 < p < 1$ and $a > 0$. I was considering the function $f(z) = z^{p - 1} e^{iaz}$ and ...
14
votes
1answer
575 views

Integral$=-\frac{4}{3}\log^3 2-\frac{\pi^2}{3}\log 2+\frac{5}{2}\zeta(3)$

Hi I have been trying to prove this $$ I:=\int \limits_{0}^{1} \left[ \frac{1}{x(x-1)} \bigg(2\mathrm{Li}_2\bigg(\frac{1-\sqrt{1-x}}{2}\bigg)-\log\bigg(\frac{1+\sqrt{1-x}}{2}\bigg)^2 \bigg) ...
3
votes
1answer
95 views

$\frac{5\pi^3}{154}=\int_{\pi/6}^{\pi/2}\bigg[\Re\big(\text{Li}_2(4\sin^2\theta)\big) +\text{Li}_2\bigg(\frac{1}{4\sin^2\theta}\bigg) \bigg]d\theta$

I am trying to prove $$ \int_{\pi/6}^{\pi/2}\bigg[\Re\big(\text{Li}_2(4\sin^2\theta)\big) +\text{Li}_2\bigg(\frac{1}{4\sin^2\theta}\bigg) \bigg]d\theta=\frac{5\pi^3}{54}. $$ Clearly, this closed form ...
4
votes
0answers
187 views

The Monster PolyLog Integral $\int_0^\infty \frac{Li_n(-\sigma x)Li_m(-\omega x^2)}{x^3}dx$

I am trying to solve this integral $$ \int_{0}^{\infty} {{\rm Li}_{n}\left(-\sigma x\right){\rm Li}_m\left(-\omega x^{2}\right) \over x^{3}}\,{\rm d}x $$ which is from some high school training ...
3
votes
0answers
82 views

integral involving incomplete gamma function

Need to evaluate the integral $$ \int_a^b e^{1/x}\,\Gamma(m,1/x)\,dx $$ or equivalently $$ \int_{1/a}^{1/b} y^{-2}\,e^{y}\,\Gamma(m,y)\,dy, $$ where $m$ is an integer, and $0<a<b<\infty$. The ...
0
votes
0answers
54 views

Help with a double integral involving the modified Bessel function of the first kind

Consider the function $f(t)$ given by the double integral: $$f(t)=\frac{2}{\pi}\int_{0}^{\infty}\int_{0}^{\infty}\frac{I_{0}\left(2\sqrt{y x} \right )-1}{e^{y}-1}\cos(xt)dydx$$ Where $I_{0}(\cdot)$ is ...
6
votes
1answer
107 views

Integral $I=\int_0^\infty \frac{\ln(1+x) Li_2 (-x)}{x^{3/2}} dx$

Hello can you please help me solve this integral $$ \int_0^\infty \frac{\ln(1+x) Li_2 (-x)}{x^{3/2}} dx=-\frac{2\pi}{3}(\pi^2+24\ln 2). $$ I am trying to work through all logarithmic integrals. Note, ...
5
votes
1answer
112 views

Integral computation of $\int_0^\pi \mathrm d t \sin(a\cos t/2) \mathrm{sinh}(b\sin t/2)$

I'm having trouble computing an integral. $$ I=\int_0^1 \frac{\mathrm{d}x}{2x(1-x)}\left(x-\cosh\left(\frac{t\sqrt{1-x}}{\tau}\right)+\sqrt{1-x}\text{ ...