Questions on special functions, useful functions that frequently appear in pure and applied mathematics (usually not including "elementary" functions).

learn more… | top users | synonyms

79
votes
9answers
4k views

Why is Euler's Gamma function the “best” extension of the factorial function to the reals?

There are lots (an infinitude) of smooth functions that coincide with f(n)=n! on the integers. Is there a simple reason why Euler's Gamma function $\Gamma (z) = \int_0^\infty t^{z-1} e^t dt$ is ...
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: ...
43
votes
0answers
1k views

Identification of a curious function

During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k \geq 0} 2^{-p_k}\right) = \sum_{k \geq 0} \frac{1}{(p_k+1)\binom{p_k}{k}}, $$ where ...
39
votes
2answers
418 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 ...
37
votes
4answers
2k views

Why can't we define more elementary functions?

$\newcommand{\lax}{\operatorname{lax}}$ Liouville's theorem is well known and it asserts that: The antiderivatives of certain elementary functions cannot themselves be expressed as elementary ...
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: ...
35
votes
1answer
1k views

Is it possible to simplify $\frac{\Gamma\left(\frac{1}{10}\right)}{\Gamma\left(\frac{2}{15}\right)\ \Gamma\left(\frac{7}{15}\right)}$?

Is it possible to simplify this expression? $$\frac{\displaystyle\Gamma\left(\frac{1}{10}\right)}{\displaystyle\Gamma\left(\frac{2}{15}\right)\ \Gamma\left(\frac{7}{15}\right)}$$ Is there a systematic ...
33
votes
3answers
896 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,$$ ...
31
votes
1answer
644 views

What is the role of mathematical intuition and common sense in questions of irrationality or transcendence of values of special functions?

I got the number $$\frac{\Gamma\left(\frac{1}{5}\right)\Gamma\left(\frac{4}{15}\right)}{\Gamma\left(\frac{1}{3}\right)\Gamma\left(\frac{2}{15}\right)}=0.824326275998351470388591998726842...$$ in the ...
30
votes
3answers
509 views

How to evaluate $\int_0^\infty\operatorname{erfc}^n x\ dx$?

I successfully evaluated these integrals: $$\int_0^\infty\operatorname{erfc}x\ dx=\frac1{\sqrt\pi},\tag1$$ $$\int_0^\infty\operatorname{erfc}^2x\ dx=\frac{2-\sqrt2}{\sqrt\pi}\tag2,$$ but have problems ...
30
votes
1answer
454 views

Generalizing $\int_{0}^{1} \frac{\arctan\sqrt{x^{2} + 2}}{\sqrt{x^{2} + 2}} \, \frac{\operatorname dx}{x^{2}+1} = \frac{5\pi^{2}}{96}$

The following integral \begin{align*} \int_{0}^{1} \frac{\arctan\sqrt{x^{2} + 2}}{\sqrt{x^{2} + 2}} \, \frac{dx}{x^{2}+1} = \frac{5\pi^{2}}{96} \tag{1} \end{align*} is called the Ahmed's integral ...
29
votes
2answers
4k views

Why is the error function defined as it is?

$\newcommand{\erf}{\operatorname{erf}}$ This may be a very naïve question, but here goes. The error function $\erf$ is defined by $$\erf(x) = \frac{2}{\sqrt{\pi}} \int_0^x e^{-t^2}dt.$$ Of ...
29
votes
2answers
1k views

Is this function decreasing on $(0,1)$?

While doing some research I got stuck trying to prove that the following function is decreasing $$f(k):= k K(k) \sinh \left(\frac{\pi}{2} \frac{K(\sqrt{1-k^2})}{K(k)}\right)$$ for $k \in (0,1)$. ...
28
votes
0answers
590 views

Extending the result $\int_{0}^{\infty} \left( ( 1 - 2C(x))^{2} + (1-2S(x))^{2} \right) \, dx = \frac{4}{\pi} $

While generalizing this result, I succeeded in proving that for $\alpha > 0$, $\beta < 1$ and $1 < 2\alpha + \beta < 3$, we have \begin{align*} &\int_{0}^{\infty} \left[ \left( ...
27
votes
3answers
719 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 ...
26
votes
9answers
7k views

Why is $\Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}$ ?

It seems as if no one has asked this here before, unless I don't know how to search. The Gamma function is $$ \Gamma(\alpha)=\int_0^\infty x^{\alpha-1} e^{-x}\,dx. $$ Why is $$ ...
26
votes
2answers
2k views

Proving an “amazing” claim regarding $\zeta( 3)$ and Apéry's proof

I recently printed a paper that asks to prove the "amazing" claim that for all $a_1,a_2,\dots$ $$\sum_{k=1}^\infty\frac{a_1a_2\cdots a_{k-1}}{(x+a_1)\cdots(x+a_k)}=\frac{1}{x}$$ and thus (probably) ...
26
votes
1answer
608 views

elliptic functions on the 17 wallpaper groups

In doubly periodic functions as tessellations (other than parallelograms), we learned about the Dixonian elliptic functions. There are 17 wallpaper groups -- are there elliptic function analogues for ...
26
votes
5answers
438 views

Other interesting consequences of $d=163$?

Question: Any other interesting consequences of $d=163$ having class number $h(-d)=1$ aside from the list below? Let $\tau = \tfrac{1+\sqrt{-163}}{2}$. We have (see notes at end of list), ...
25
votes
4answers
2k views

When is an elliptic integral expressible in terms of elementary functions?

After seeing this recent question asking how to calculate the following integral $$ \int \frac{1 + x^2}{(1 - x^2) \sqrt{1 + x^4}} \, dx $$ and some of the comments that suggested that it was an ...
25
votes
1answer
1k views

Show that $\int_{0}^{\pi/2}\frac {\log^2\sin x\log^2\cos x}{\cos x\sin x}\mathrm{d}x=\frac14\left( 2\zeta (5)-\zeta(2)\zeta (3)\right)$

Show that : $$ \int_{0}^{\pi/2} {\ln^{2}\left(\vphantom{\large A}\cos\left(x\right)\right) \ln^{2}\left(\vphantom{\large A}\sin\left(x\right)\right) \over ...
25
votes
1answer
325 views

Are elementary and generalized hypergeometric functions sufficient to express all algebraic numbers?

Are (integers) plus (elementary functions) plus (generalized hypergeometric functions) sufficient to represent any algebraic number? For example, the real algebraic number $\alpha\in(-1,0)$ ...
23
votes
7answers
2k views

Prove: $\binom{n}{k}^{-1}=(n+1)\int_{0}^{1}x^{k}(1-x)^{n-k}dx$ for $0 \leq k \leq n$

I would like your help with proving that for every $0 \leq k \leq n$, $$\binom{n}{k}^{-1}=(n+1)\int_{0}^{1}x^{k}(1-x)^{n-k}dx . $$ I tried to integration by parts and to get a pattern or to ...
23
votes
1answer
478 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
4answers
1k views

Proving a known zero of the Riemann Zeta has real part exactly 1/2

Much effort has been expended on a famous unsolved problem about the Riemann Zeta function $\zeta(s)$. Not surprisingly, it's called the Riemann hypothesis, which asserts: $$ \zeta(s) = 0 ...
22
votes
1answer
482 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 ...
21
votes
3answers
379 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 ...
20
votes
4answers
820 views

Evaluation of $\sum\limits_{n=0}^\infty \left(\operatorname{Si}(n)-\frac{\pi}{2}\right)$?

I would like to evaluate the sum $$ \sum\limits_{n=0}^\infty \left(\operatorname{Si}(n)-\frac{\pi}{2}\right) $$ Where $\operatorname{Si}$ is the sine integral, defined as: $$\operatorname{Si}(x) := ...
20
votes
2answers
1k views

Possibility to simplify $\sum\limits_{k = - \infty }^\infty {\frac{{{{\left( { - 1} \right)}^k}}}{{a + k}} = \frac{\pi }{{\sin \pi a}}} $

Is there any way to show that $$\sum\limits_{k = - \infty }^\infty {\frac{{{{\left( { - 1} \right)}^k}}}{{a + k}} = \frac{1}{a} + \sum\limits_{k = 1}^\infty {{{\left( { - 1} \right)}^k}\left( ...
20
votes
1answer
322 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...$$ ...
20
votes
1answer
508 views

Feeding real or even complex numbers to the integer partition function $p(n)$?

Like most people, when I first encountered $n!$ in grade school, I graphed it, then connected the dots with a smooth curve and reasoned that there must be some meaning to $\left(\frac43\right)!$ — ...
20
votes
1answer
506 views

Upper bound on differences of consecutive zeta zeros

The average gap $\delta_n=|\gamma_{n+1}-\gamma_n|$ between consecutive zeros $(\beta_n+\gamma_n i,\beta_{n+1}+\gamma_{n+1}i)$ of Riemann's zeta function is $\frac{2\pi}{\log\gamma_n}.$ There are many ...
20
votes
1answer
440 views

Evaluating $\sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} $

Wolfram MathWorld states that $$ \sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} = \frac{ \pi \sqrt{3}}{18} \Big[ \psi_{1} \left(\frac{1}{3} \right) - \psi_{1} \left(\frac{2}{3} \right) \Big]- ...
19
votes
2answers
385 views

An integral $\int_0^\infty P_s(x-1)\,e^{-x}\,dx$ involving Legendre functions

Let $P_s(x)$ denote the Legendre functions of the $1^{st}$ kind, i.e. the Legendre polynomial generalized to an arbitrary (not necessarily integer) order $s$. It can be expressed using the ...
19
votes
2answers
322 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? ...
19
votes
1answer
235 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) ...
19
votes
1answer
356 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 ...
19
votes
1answer
539 views

Intuition why the volume and surface area of the unit sphere eventually decrease

The volume formula for a unit sphere, $$\frac{\pi^{n/2}}{\Gamma{(1 + n/2)}},$$ and the surface area formula, $$\frac{2\pi^{n/2}}{\Gamma{(n/2)}},$$ both attain maximum values for finite $n$. We can ...
18
votes
3answers
376 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.$
18
votes
4answers
505 views

Fractional Calculus: Motivation and Foundations.

If this is too broad, I apologise; let's keep it focused on the basics if necessary. What's the motivation and the rigorous foundations behind fractional calculus? It seems very weird & ...
18
votes
2answers
335 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 ...
18
votes
1answer
255 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 ...
18
votes
3answers
675 views

Why isn't the gamma function defined so that $\Gamma(n) = n! $?

As a physics student, I have occasionally run across the gamma function $$\Gamma(n) \equiv \int_0^{\infty}t^{n-1}e^{-t} \textrm{d}t = (n-1)!$$ when we want to generalize the concept of a factorial. ...
18
votes
1answer
439 views

Does $\left(n^2 \sin n\right)$ have a convergent subsequence?

I'm wrestling with the following: Question: For what values of $\alpha > 0$ does the sequence $\left(n^\alpha \sin n\right)$ have a convergent subsequence? (The special case $\alpha = 2$ in ...
18
votes
1answer
328 views

Fourier transform of $\operatorname{erfc}^3\left|x\right|$

(this is a follow-up on my another question) Could you please help me to find the Fourier transform of $$f(x)=\operatorname{erfc}^3\left|x\right|,$$ where $\operatorname{erfc}z$ denotes the the ...
18
votes
1answer
625 views

Integral $\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}dx $

Hi I am trying to evaluate the integral $$ \mathcal{I}(\omega)=\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}dx $$ analytically. We can also write $$ \mathcal{I}(\omega)=\mathcal{FT}\big(J^3_0(x)\big) ...
18
votes
1answer
223 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.
17
votes
2answers
272 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: ...
17
votes
3answers
379 views

Local maxima of Legendre polynomials

When I plotted the (normalized) Legendre polynoials, I couldn't help noticing that all the local maxima lay on a really nice curve: What is the equation of the curve (and how can we arrive to that ...
17
votes
2answers
730 views

doubly periodic functions as tessellations (other than parallelograms)

I think of a snapshot of a single period of a doubly periodic function as one parallelogram-shaped tile in a tessellation, could a function have a period that repeats like honeycomb or some other not ...