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

learn more… | top users | synonyms

47
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 ...
30
votes
0answers
616 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( ...
14
votes
0answers
357 views

On Shanks' quartic approximation $\pi \approx \frac{6}{\sqrt{3502}}\ln(2u)$

In Mathworld's "Pi Approximations", (line 58), Weisstein mentions one by the mathematician Daniel Shanks that differs by a mere $10^{-82}$, $$\pi \approx ...
13
votes
0answers
228 views

Non-trivial values of error function $\operatorname{erf}(x)$?

The so called error function $\operatorname{erf}(x)$ is defined as $$\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_0^x e^{-t^2}dt,$$ and it is well known that $\operatorname{erf}(\infty)=1$. Are ...
11
votes
0answers
321 views

Divergence of the Derivative of the Prime Counting Function

On the one hand, the Prime Counting Function $\pi_0(x)$ maybe be written $$ \pi_0(x) = \operatorname{R}(x^1) - \sum_{\rho}\operatorname{R}(x^{\rho}) \tag{1} $$ with $ \operatorname{R}(z) = ...
10
votes
0answers
123 views
9
votes
0answers
335 views

Integral involving Complete Elliptic Integral of the First Kind K(k)

I have run into an integral involving the complete elliptic integral, which can be put into the following form after changing integration variables to the modulus: ...
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. ...
8
votes
0answers
136 views

Is there a closed form for this sum?

While generalizing the previous result, I conjectured that the series expansion of \begin{align*} \int_{0}^{\frac{\pi}{2}} \arctan \left( \frac{2x \sin\theta}{1-x^{2}} \right) \arctan \left( \frac{2y ...
8
votes
0answers
339 views

An infinite series expansion in terms of the polylogarithm function

We have the complex valued function: $$f(z)=\sum_{n=0}^{\infty}a_{n}\text{Li}_{-n}(z)\;\;\;\;\;\;\;(\left | z\right |<1)$$ We wish to recover the coefficients $a_{n}$. The only thing I though would ...
8
votes
0answers
172 views

Different notions of q-numbers

It seems that most of the literature dealing with q-analogs defines q-numbers according to $$[n]_q\equiv \frac{q^n-1}{q-1}.$$ Even Mathematica uses this definition: with the built-in function QGamma ...
8
votes
0answers
287 views

Mixed Bessel Function integral $\int_{0}^{\infty} e^{- \lambda \left(\sqrt{(z+a)^2+b^2}+\sqrt{(z+c)^2+d^2}~\right)}\mathrm{d}z$

A tricky integral I have been working on, and probably doesn't have a solution in terms of known functions, is: $$\int_{0}^{\infty} e^{- \lambda ...
7
votes
0answers
224 views

Contour integral representation of Confluent Hypergeometric Function

My brain is spinning around in circles trying to reconcile three distinct contour-integral representation of the confluent hypergeometric function $_1F_1(a,b,z)$ for $b \in \mathbb{Z}_+$: From ...
7
votes
0answers
546 views

How to compute this integral of Bessel functions?

I have $\alpha_\max$ a real number between $0$ and $\frac\pi2$. Furthermore $\zeta$ and $\xi$ are positive real numbers. Now I would like compute the integral $$\int_0^{\alpha_\max} \mathrm{e}^{i ...
7
votes
0answers
261 views

New generalization of Riemann Zeta?

I am interested in the following generalization of the Riemann Zeta function: $$ \zeta_M(s,c) = \sum_{n=1}^\infty \left(\frac{n^2}{c^2} + \frac{c^2}{n^2}\right)^{-s} $$ This is most closely related ...
6
votes
0answers
226 views

Integral $\int_0^1 dx \frac{\ln x \ln^2(1-x)\ln(1+x)}{x}$

Hi I am trying to calculate $$ I:=\int_0^1 dx \frac{\ln x \ln^2(1-x)\ln(1+x)}{x}$$ Note, the closed form is beautiful (yes Beautiful) and is given by $$ I=−\frac{3}{8}\zeta_2\zeta_3 ...
6
votes
0answers
177 views

Hints/Help studying an Abel Differential Equation

I want to know more than qualitative information about the Abel differential equation $\frac{dy}{dx}+y^3+x=0$. $\qquad ... \;(1)$ Since I don´t know how to solve this and as far as could see, this ...
6
votes
0answers
143 views

Evaluting $ \int_0^{\infty}\frac{v}{\sqrt{v + c}}e^{-\frac{y^2}{2(v + c)} - \frac{(u-v)^2}{u^2v}}dv$

While working on mixture (variance) of normal distribution and keep running into these two integrals $$ \int_0^{\infty}\dfrac{v}{\sqrt{v + c}}e^{-\dfrac{y^2}{2(v + c)} - \dfrac{(u-v)^2}{u^2v}}dv,$$ ...
5
votes
0answers
45 views

What is $f_\alpha(x) = \sum_{n\in \mathbb{N}} \frac{n^\alpha}{n!}x^n$?

I want to understand the function $$f_\alpha(x) = \sum_{n\in \mathbb{N}} \frac{n^\alpha}{n!}x^n, \ \ \ \forall x\in\mathbb{R},$$ for any possible real $\alpha\geq0$. I know that for $\alpha$ integer, ...
5
votes
0answers
139 views

Riemann zeta function and Bernoulli function

I encountered the following problem: Show that $$\zeta(2n+1)=\frac{(-1)^{n+1}(2\pi)^{2n+1}}{2(2n+1)!}\int_0^{1}B_{2n+1}(x)\cot({\pi}x)dx$$ where $B_{2n+1}(x)$ is the Bernoulli polynomial. This ...
5
votes
0answers
206 views

Inequality between incomplete beta and gamma functions

Let the regularized incomplete beta and gamma functions be defined as usual: \begin{equation} I_p(z,w) = \frac a {B(z,w)} \int_0^p t^{z-1} (1-t)^{w-1} \,\mathrm dt, \end{equation} \begin{equation} ...
5
votes
0answers
80 views

Weierstrass product expression for Klein's j-invariant

The first sentence of @ccorn's answer to a previous question of mine was: “Because of the modular symmetries of $j(\tau)$, the zeros of $j(\tau)$ are precisely the ...
5
votes
0answers
197 views

Identity involving $\zeta(3)$

This is related to this question and my partial answer to it. I've found that the proof of the 2nd identity reduces to showing that ...
5
votes
0answers
133 views

Has the $\Gamma$-like function $f_p(n) = 1^{\ln(1)^p} \cdot 2^{\ln(2)^p} \cdot \ldots \cdot n^{\ln(n)^p} $ been discussed anywhere?

In an older fiddling with the gamma-function (expanding on the idea of sums of consecutive like-powers of logarithms, similarly as the bernoulli-polynomials for the sums of like powers of consecutive ...
5
votes
0answers
110 views

relationship between solution of quintic in terms of $_{4}F_{3}$ hypergeometric function and theta functions

There is one approach (Bring radical/method of differential resolvents) to the general solution to the quintic that gives the solution for a particular root $v\in\{v_{1},v_{2},v_{3},v_{4},v_{5}\}$ in ...
5
votes
0answers
137 views

Are there asymptotic expressions for multiple zetas $\small \zeta(s),\zeta(s,s),\zeta(s,s,s),\ldots$ where $\small s=1+\delta, \delta\to 0$?

Playing around with elementary symmetric functions I tried to generalize that to infinite series and arrived at the well known concept of MZV ("multiple zeta values"). At the moment I'm only ...
5
votes
0answers
147 views

Bounding function involving Beta functions

Given $\frac{a}{x-1} \leq \frac{b}{y-1} \leq \frac{c}{z-1}$ with $a,b,c > 0$ and $x,y,z > 1$, I want to show that $$\frac{(\frac{a}{a+b})^{x-1}(\frac{b}{a+b})^{y-1}}{B(x,y)\cdot (x+y-1)} + ...
4
votes
0answers
167 views

Integral $=\int_0^\infty x^{\alpha -1}Li_n (-\sigma x) Li_m(-\omega x^r)dx$.

I am trying to calculate an integral that can be expressed in terms of infinite hypergeometric series by using transforms and Residue method, the integral is $$ ...
4
votes
0answers
132 views

Integral involving the confluent and the Gauss Hypergeometric functions with exponential functions

I am trying to compute the following integral: $$ \int _0^\infty x\exp[-\pi b x^2]{_1F_1}[n,1,\frac{-\pi b x^2}{2}]{_2F_1}[1,\frac{2}{aq},1+\frac{2}{aq},\frac{-sx^{-a}}{2}]dx$$ Is there any general ...
4
votes
0answers
69 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, ...
4
votes
0answers
80 views

Possible error in Wood's report on polylogarithms

I'm studying the article by Wood, D.C. "The Computation of Polylogarithms. Technical Report 15-92*" PS (it is remarkably poorly translated from latex to ps). It is listed in the literature section on ...
4
votes
0answers
95 views

The Tribonacci constant and the Dragon

Let $x = \frac{\ln T}{\ln 2} = 0.879146\dots$ where $T$ is the tribonacci constant, then x solves the transcendental equation, $$4^x(2^x-1)=(2^x+1)$$ Let $x = \frac{\ln y}{\ln 2} = 1.523627\dots$ ...
4
votes
0answers
277 views

How to find the inverse Fourier Transform of the product of two bessel functions of the first kind and a complex exponential function?

I am attempting to find a closed form or symbolic expression of the inverse Fourier transform of the product of two Bessel functions of the first kind and a complex exponential, e.g. $P(t) = IFT_w \{ ...
4
votes
0answers
238 views

Solving inhomogenous bessel equation

I have the following differential equation to be solved $\dfrac{d^2\psi}{dr^2}+\dfrac{d\psi}{rdr}+4\left(\omega^2-k_0^2-\dfrac{n^2}{r^2}\right)\psi=AJ_n^2(kr)+\dfrac{k}{r}J_n(kr)J_{n+1}(kr)-\omega ...
4
votes
0answers
138 views

Weierstrass $\wp$-Function Addition Property

Consider the function $$ \det\left( \begin{array}{ccccc} &1 &\wp(z) &\wp'(z) \\ &1 &\wp(w) &\wp'(w) \\ &1 &\wp(-z-w) &\wp'(-z-w) \end{array} \right)=f(z) $$ I'm ...
4
votes
0answers
93 views

analytic evaluation of $\int_{0}^{\infty} \frac{dx}{\mathrm{Bi}(x)}$

So, just out of random curiosity, I'm trying to find an analytic expression for the following definite integral: $$\int_{0}^{\infty} \frac{dx}{\mathrm{Bi}(x)}$$. Where $\mathrm{Bi}(x)$ is the Airy ...
4
votes
0answers
198 views

How do I express $\int_0^t \frac{{\rm e}^{-a^2 z}}{\sqrt{z} (z+v)} \,dz$ in terms of named functions?

Recently I derived an expression for a particular probability density function. The expression contains the integral $$ f(t,v,a) = \int_0^t \frac{{\rm e}^{-a^2 z}}{\sqrt{z} (z+v)} \,dz = 2a ...
4
votes
0answers
203 views

please help with the a gamma function since i don't even have the idea?

How to prove: $$\frac{1}{2\pi i}\int_{-i\infty}^{i\infty} \frac{\Gamma(\alpha_1+x)}{\beta_1^{\alpha_1+x}}\, \frac{\Gamma(\alpha_2-x)}{\beta_2^{\alpha_2-x}}\, ...
4
votes
0answers
178 views

Beta integral and Chu-Vandermonde identity

Chu vandermonde identity states that ${s+t \choose n}=\sum_{k=0}^n {s \choose k}{t \choose n-k} $ Now how to prove that this identity is a discrete form of beta integral? i see as a starting ...
4
votes
0answers
135 views

Tricky integral $\int_{a}^{b}\frac{\gamma d \gamma}{\gamma + \phi_{1}(\mu)-e^{-\frac{\phi_{2}(\mu)}{\gamma}}}$

in this integral $a=\psi_{1}(\mu), \ b=\psi_{2} (\mu)$. I expanded the function in Taylor series (3 terms) around ($\gamma= \frac{b}{2}$), numerically (for varioud values of $\mu$, and other constants ...
3
votes
0answers
28 views

Hypergeometric function with negative $b$ and $a>c>0$

Recall the definition of the hypergeometric function $$_2F_1(a,b,c;z)=\sum_{n=0}^{\infty}\frac{(a)_n(b)_n}{n!(c )_n}x^n$$ where $(a)_n$ is defined to be $a(a+1)\cdots(a+n-1)$. We suppose that none ...
3
votes
0answers
47 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
30 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
71 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( ...
3
votes
0answers
51 views

Bessel J function problem

Let $\xi_{0k}$ be the k-th positive zero of $J_{0}$ Bessel function. Determine the coefficients $c_k$, so that $1 = \sum^{\infty}_{k=1} c_kJ_0(\frac{x \xi_{0k}}{2})$. I don't see what to do, is ...
3
votes
0answers
76 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 ...
3
votes
0answers
73 views

Regularity of Daubechies wavelet

I am reading the book Wavelets: Theory and applications by A. K. Louis, D. Maass, A. Rieder ...
3
votes
0answers
40 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
0answers
65 views

Two properties about Bessel function

Let $J_\nu(x)$ be the Bessel function of the first kind. $\int_0^\infty J_\nu(x)dx=1 , (Re(\nu)>-1)$. $\lim_{\nu\to+\infty}J_\nu(x)=0$ for any fixed $x$. I think the above two properties of ...
3
votes
0answers
41 views

Choosing an appropriate complete orthogonal basis

I have a function $f(x)$ which I want to represent as the sum over some complete orthogonal basis $\phi_i$ such that: $$ f(x) = \sum_{i} c_i \phi_i(x) $$ Where the $\phi_i$ are orthogonal with ...