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

learn more… | top users | synonyms

4
votes
0answers
97 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
211 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
185 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
140 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
58 views

About the closed form for $\lim_{y\to +\infty}\left(-\frac{2}{\pi}\log(1+y)+\int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx\right)$

Recently, when facing a baby Rudin's exercise, I proved that: $$ \int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx = \frac{2}{\pi}\log(1+y)+O(1) $$ holds by integration by parts. Now I wonder if ...
3
votes
0answers
46 views

About a sequence related with the complete elliptic integral of the second kind

When answering this related question I proved that if we define $B(\lambda)$ as: $$\begin{eqnarray*} ...
3
votes
0answers
32 views

Software to compute spherical harmonics in higher than 3 dimensions (100 or maybe 500 dimensions)?

I have been trying to find an implementation of Spherical harmonics for higher dimensional data but I couldnt find anything in Sage, Mathematica, Matlab. Does anyone have any idea of a standard/fast ...
3
votes
0answers
36 views

Can derivative of Hurwitz Zeta be expressed in Hurwitz Zeta?

Can the derivative of Hurwitz Zeta function by the first argument be expressed in terms of Hurwitz Zeta and elementary fuctions? There is a formula which expresses Hurwitz Zeta through its ...
3
votes
0answers
73 views

Special functions, Fourier series

Well known are the Fourier expansions (presented, e.g., in Abramovitz and Stegun): $$ \cos ( A \sin x) = J_0(A) + 2 \sum_{k=1}^{\infty} J_{2k}(A)~\cos(2kx)~~, $$ $$ \sin ( A \sin x) = 2 ...
3
votes
0answers
53 views

Closed form of a “harmonic” alternating dilogarithm sum

Does the following sum $$ S = \sum_{n\geq 2}(-1)^n \mathrm{Li}_2(2/n) = 1.14434\ 42096\ 91982\ 23727\ 39852\ 45805\ldots $$ have a closed form in terms of known constants? Neither the inverse ...
3
votes
0answers
78 views

How prime numbers are related to special functions?

We know that the Riemann zeta function is defined as $$\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s},$$ for all $\Re(s)>1$. Because of Euler product formula we also know that $$\zeta(s) = ...
3
votes
0answers
73 views

How can one derive Stokes lines of the Stokes phenomenon of asymptotics from a differential equation?

Is there a standard technique to calculate Stokes lines and anti-Stokes lines of the Stokes phenomenon of asymptotics for a function defined as the general solution to a differential equation without ...
3
votes
0answers
27 views

Given $n$, find $a,b$ such that $a+b=n$ and $\Omega(a)+\Omega(b)$ is maximized

Given a number $n$, find $a,b$ such that: $a,b$ non-negative integers $a+b=n$ $\Omega(a)+\Omega(b)$ is maximized $\Omega(n)$ counts the number of prime factors of n (with multiplicity). ...
3
votes
0answers
60 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 ...
3
votes
0answers
46 views

integral over product of two bessel functions at discontinuity

The Weber-Schafheitlin integral $$ \int_{0}^{\infty}\frac{J_{\mu}(a t)J_{\nu}(bt)}{ t^{\lambda}} $$ where $J_{\mu}(x)$'s are Bessel functions of the first kind, can have delta function singularities ...
3
votes
0answers
68 views

Properties and representations of the the rescaled complementary error function $\mathrm{erfcx}{z}$

Consider the rescaled complementary error function: $$ \mathrm{erfcx}(z) = {e^{z^2}} \left( {1-\mathrm{erf}(z)} \right) $$ $z \in \Bbb{C}$ which also has the following integral representation: $$ ...
3
votes
0answers
57 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
119 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
109 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 ...
3
votes
0answers
81 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
49 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
82 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
49 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 ...
3
votes
0answers
88 views

Polylogarithm ladders for the tribonacci and n-nacci constants

While reading about polylogarithms, I came across the polylogarithm ladder, $$6\operatorname{Li}_2(1/x)-3\operatorname{Li}_2(1/x^2)-4\operatorname{Li}_2(1/x^3)+\operatorname{Li}_2(1/x^6) = ...
3
votes
0answers
607 views

Proofs of trivial zeros of zeta function?

I know that the trivial zeros of zeta function are negative even integers . I have seen the wiki-proof using the functional equation of zeta function, I might have seen a proof using Bernoulli ...
3
votes
0answers
322 views

Integrating a fractional power of a rational function

I am currently working on a project where I stumbled upon the integral $$ \int \frac{\sinh \left(\frac{R}{2}\right)}{(\coth R - 6R \coth\left(\frac{R}{2}\right) + 9)^{1/4}} \,dR $$ where $R$ is a ...
3
votes
0answers
82 views

An inequality with Gamma Function

Consider the following function for any $a, b > 0$ $$ \ g\left( a,b\right) = \frac{% 3\Gamma \left( 3b+1\right) }{\Gamma \left( \frac{1}{a}+3b+1\right) }-\frac{% 5\Gamma \left( 2b+1\right) ...
3
votes
0answers
129 views

Useful approximation of the pdf

Good day to everyone. In my research work I came out with a function, which looks like this (it is the pdf of some random variable): $$f(x,\rho,\psi)=\frac{2}{\pi }+\sqrt{\frac{2}{\pi }} ...
3
votes
0answers
383 views

An Expression for $\log\zeta(ns)$ derived from the Limit of the truncated Prime $\zeta$ Function

I think, here, I found $$ P_\color{red}x(\color{blue}s)=\sum_{p<\color{red}x} \frac{1}{p^{\color{blue}s}} =\sum_{\color{green}n=1}^{\infty}\frac{ \mu (\color{green}n)}{\color{green}n} ...
3
votes
0answers
167 views

Saddle point and stationary point approximation of the Airy equation

Happy New Year to you all. Let $$\tag 1 J(N)=\int_a^b e^{Nf(x)}dx$$ where $N\in\mathbb R$ and $N>>1$ and $f(x)$ has a global maximum at $x=x_0$ with Taylor expansion $$f(x) \approx ...
3
votes
0answers
254 views

Questions about the Fourier expansion of $e^{iz\cot(x)}$

By analogy with Jacobi–Anger expansion, one expects that $e^{iz\cot(x)}$ has a Fourier expansion of the form : $$e^{iz\cot(\theta)}=\sum_{n=-\infty}^{\infty}\Lambda_{n}(z)e^{in\theta}$$ ...
3
votes
0answers
85 views

Solutions of legendre equation for $\vert x\vert \leq 1$

Why books say that is necessary in Legendre equation to have $l$ integer if you want regular solutions in $\vert x\vert \leq 1$. It seems not necessary. Thanks in advance.
3
votes
0answers
259 views

How to prove Gegenbauer's addition theorem?

How can one prove the following identity: $$ V_k(r_1, r_2) = {2k+1\over 2 r_1 r_2}\int_{|r_1 - r_2|}^{r_1+r_2} e^{-{r\over D}} P_k\left(r_1^2 - r^2 + r_2^2 \over 2 r_1 ...
3
votes
0answers
257 views

Properties of the lemniscate functions as meromorphic functions on $\mathbb{C}$

We consider the following function. $$u(x) = \int_{0}^{x} \frac{dt}{\sqrt{1 - t^4}}$$ $u(x)$ is defined on $[-1, 1]$. Since $u'(x) = \frac{1}{\sqrt{1 - x^4}} > 0$ on $(-1, 1)$, $u(x)$ is strctly ...
3
votes
0answers
177 views

Common zeros of associated Legendre functions

Suppose that $x_{0}$ is a zero of the associated Legendre function $P_{n}^{m}(x)$ (the degree $n$ is a positive integer while the order $m$ is an integer in the range from $0$ to $n$). If there exist ...
3
votes
0answers
162 views

Equivalent Definitions of the Weierstass $\wp$-Function

I've come across two equivalent definitions of the Weierstrass $\wp$-function, but don't know how to prove that they are equivalent. Definition 1 $\wp(z)=cf(z)+d$ where $f$ is the elliptic function ...
3
votes
0answers
107 views

Perrin numbers in terms of the generalized hypergeometric function?

Given the roots of $x^3=x^2+1$, we have sequence A001609, $M(n) = x_1^n+x_2^n+x_3^n = \,_3F_2\left(\frac{-n}{3}, \frac{1-n}{3}, \frac{2-n}{3};\; \frac{1-n}{2}, \frac{2-n}{2};\; ...
3
votes
0answers
144 views

Satisfying a Differential Equation and complex Laguerre

I have the following problem Show that $$L_n(x)=\frac{e^x}{2 \pi i}\oint \frac{t^n e^{-t}}{(t-x)^{n+1}}dt$$ satisfies $$x\, L_n^{\prime\prime}+(1-x)L_n^\prime+n\, L_n=0$$ where the contour is ...
3
votes
0answers
122 views

The polynomial where only the terms in the multinomial series where each variable's exponent is $>0$ are kept?

I'm wondering if there's a special polynomial with a name out there with $x_1,x_2,\ldots,x_k$ as variables that's defined like this: $$ \sum_{\substack{i_1>0,i_2>0, \ldots,i_k>0 \\ i_1 ...
3
votes
0answers
254 views

2 dimensional Fourier transform integral

I'm trying to calculate the two dimensional Fourier integral $$\iint \mathrm d\vec{R} \; (x^2 + y^2) \; e^{-2 \sqrt{ x^2 + y^2 + z^2}} \; e^{i\vec{K}\vec{R}} \;,$$ with $\vec{R}=(x,y)$. Switching to ...
3
votes
0answers
138 views

Relationship between Dixonian elliptic functions and Borwein cubic theta functions

In this paper, it says that the three Borwein cubic theta functions obey the identity $a(q)^{3}=b(q)^{3}+c(q)^{3}$, which is strongly reminiscent of the identity that Dixonian elliptic functions obey ...
3
votes
0answers
206 views

How did Bessel functions come to be denoted by $J_n$?

The $n$th Bessel function of the first kind is usually denoted $J_n(x)$. Where did the use of the letter $J$ to indicate the Bessel function come from?
3
votes
0answers
183 views

Solid angle spanned by disc/rewriting expression with elliptic integrals

The solid angle spanned by a disc of unit radius, as observed from a point $(r,z)$ at a distance $z>0$ above a point in the disc plane with at distance $r>0$ to the center, can be expressed as ...
2
votes
0answers
17 views

Barnes' double gamma function versus q-gamma function

According to wikipedia, the q-analog of the gamma function is closely related to a multiple gamma function defined by Barnes. Besides the fact that they are both generalizations of the Gamma function, ...
2
votes
0answers
21 views

I would like to find a generalization of the plane wave expansion to Hankel functions.

The plane wave expansion is \begin{equation} e^{i\vec{k}\cdot \vec{x}}=\sum_{\ell=0}^{\infty}i^\ell(2\ell+1)j_{\ell}(kx)P_{\ell}(\cos(\theta)) \end{equation} where $j_\ell$ is the spherical Bessel ...
2
votes
0answers
28 views

q-Hermite polynomials

It is well known that the q-Hermite polynomials defined by $$H_n(\theta; q)= \sum\limits_{k=0}^n \frac{(q;q)_n}{(q;q)_k(q;q)_{n-k}}e^{i(n-2k)\theta}$$ are orthogonal in $\theta \in [0, \pi]$ with ...
2
votes
0answers
39 views

Fourier transform all steps walkthrough for wave vector $k$ and $x$

Below is my walkthrough of a fourier transform. My problem is that I want to do all the similar steps for a fourier transform between position x and the wave vector k. That is working on a solution of ...
2
votes
0answers
65 views

Inverse of elliptic integral of second kind

The Wikipedia articles on elliptic integral and elliptic functions state that “elliptic functions were discovered as inverse functions of elliptic integrals.” Some elliptic functions have names and ...
2
votes
0answers
42 views

Comprehensive summary of where the function $\pi^{-\frac x\pi}$ can be encountered

I am studying the special functions, including the Riemann Xi and Zeta, and everywhere a function $\pi^{-\frac x\pi}$ pops up, usually as multiplier to the Gamma function. But yet I am not sure this ...
2
votes
0answers
19 views

How to find a $\theta$ function verifying this property?

Let $r>4$ and $n>1$ be positive integers. Intuitively, the infinite sum $$S=\sum_{m=1}^{∞}\frac{2m}{r^{m^2}}$$ is related to a $\theta$ function. However, I cannot find a way to calculate this ...