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

learn more… | top users | synonyms

3
votes
0answers
24 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
67 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
42 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
72 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
44 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
25 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
46 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
35 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
37 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
55 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
97 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
78 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
46 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
77 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
45 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
78 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
550 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
274 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
78 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
107 views

Infinite series of Hypergeometric function

Any ideas how to find a closed form for the sum given by: $$ \sum^\infty_{n=0} \frac{1}{n!} \frac{a^n b^{n+m}}{(m+n)^2 \Gamma(m+n)} {}_2F_2 \left(m+n,m+n;m+n+1,m+n+1;-b\right) $$ Given that both $a$ ...
3
votes
0answers
114 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
370 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
159 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
237 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
228 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
167 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
157 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
105 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
137 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
121 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
246 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
130 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
202 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
167 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
22 views

Why does the tribonacci constant have a trilogarithm ladder?

When I came across the dilogarithm ladders of Coxeter and Landen, namely, $$\text{Li}_2(\alpha^6)= 4\text{Li}_2(\alpha^3)+3\text{Li}_2(\alpha^2)-6\text{Li}_2(\alpha)+\tfrac{7}{5}\zeta(2)\tag1$$ ...
2
votes
0answers
39 views

improper integrals in q-calculus

In quantum calculus is this equality possible for improper integrals? $\lim_{x\to\infty}\int_0^xf(t)d_qt=\int_0^\infty f(x)d_qx$
2
votes
0answers
24 views

Simplified expression of $ _2F_1((K-1)a,K,Ka,x) $

Is there any simplified expression of this Hypergeometric function $ _2F_1((K-1)a,K,Ka,x) $ Thanks!
2
votes
0answers
42 views

A list of numbers and

I have a real life problem that math may be able to solve. I am no mathematician so if you have any insight please use the simplified version. This problem is way beyond me. My gut tells me there is ...
2
votes
0answers
24 views

Identifying a function that involves combinations of terms

I need to know if a function exists that partitions terms in such a way as seen below $$ \frac{d^n}{dx^n}[\frac{(x)_c}{n!}] $$ Note that $(x)_c$ is the falling factorial of x and $c \geq n$, This in ...
2
votes
0answers
31 views

Asymptotics of inverse Laplace transform of a function with an essential singularity?

Let $h$ be the function $$ h(x) = \sum_{k\geq0} \frac{(ix)^k}{k!}\zeta(2k), $$ with the Laplace transform $$ \tilde h(s) = -\frac{\pi}{2s}\sqrt{i/s}\cot\left(\pi\sqrt{i/s}\right), $$ which has an ...
2
votes
0answers
22 views

Do the incomplete gamma functions have reflection formulas?

Euler gave this reflection formula for the gamma function: $$\Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin(\pi z)}$$ My question - do the lower incomplete gamma function $\gamma(s,x)$ and the upper ...
2
votes
0answers
109 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$ ...
2
votes
0answers
28 views

Estimates of certain exponential series

I am interested in series of the form $$S(k)=\sum_{n=k}^\infty e^{-an^\alpha},$$ where $a>0$ and $0<\alpha\leq1$ are fixed parameters. Clearly, this series converges, i.e. $S(k)\to 0$ for ...
2
votes
0answers
25 views

What is the closed form of certain sum in Mathematical Epidemiology?

The following sum appears in Mathematical Epidemiology in the context of the schistosomiasis: $$\sum _{p=0}^{\infty } \left( \sum _{q=0}^{\infty }{\frac {\min \{ p,q \} {\lambda}^{p+2+q}}{ \left( p+2 ...
2
votes
0answers
39 views

Digamma equation identification

I was messing around with the digamma function the other day, and I discovered this identity: $$\psi\left(\frac ...
2
votes
0answers
29 views

Why do so many identities for the Logarithmic Integral begin with the terms $\log \log n + \gamma +…$?

Several identities for the log integral lead with the terms $\log \log n + \gamma$, where $\gamma$ is the Euler–Mascheroni constant. So, for example, there's the well-known $$\text{li}(n) = \log ...
2
votes
0answers
38 views

Solution of $\Pi(y(x)+1)+\sin(x)=y(x)+y'(x)$

How do we solve $$\Pi(y(x)+1)+\sin(x)=y(x)+y'(x)$$ I suspect it will be a function of many cases. The solution of $$\Pi(x+1)+\sin(x)=y(x)+y'(x)$$ is hard only at the evaluation of the last integral ...
2
votes
0answers
45 views

Simple Integral Involving the Square of the Elliptic Integral

I have, $$ \int uE^{2}\left(u\right)du $$ where $E$ is the complete elliptic integral of the second kind: $$ E\left(k\right)=\int_{0}^{\frac{\pi}{2}}d\theta\sqrt{1-k^{2}\sin^{2}\left(\theta\right)} ...
2
votes
0answers
39 views

Tractable indefinite integral of the exponentiation of some function

Consider the function $z(s)\in\mathbb{C}$ defined as $z(s)=\int_0^s \exp\left[i(q u+\lambda(u))\right]du$ for some $q\in\mathbb{Q}-\mathbb{Z}$ and $\lambda(s)$ a $2\pi$-periodic real differentiable ...