Many special functions appear as solutions of differential equations or integrals of elementary functions. Most special functions have relationships with representation theory of Lie groups.

learn more… | top users | synonyms

3
votes
2answers
198 views

Recognize this sum

I have strong feeling that the above function $$f_\alpha (x) = \sum_{n=0}^\infty \frac{x^n}{n!\Gamma(1+n\alpha)}$$ is a known special function but I can't seem to recognize it. Here $\Gamma(x)$ ...
6
votes
1answer
157 views
+100

On the convexity of certain integrals involving Bessel functions

Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation ...
3
votes
1answer
120 views

Homeomorphisms that admit a decomposition

Let $I^n:=[0,1]^n$ and $T$ be a homeomorphism on $I^n$. If $T$ admits a decomposition of $I^n=A\cup B\cup C$ with $A,B,C$ Lebesgue measurable and mutually disjoint such that $$T(A)=B, T(B)=A \ ...
1
vote
2answers
111 views

Under what conditions does the Mittag-Leffler function ${E_{\alpha ,1}}(z),(0 < \alpha < 1)$ has no real zero?

I want to know under what conditions does the Mittag-Leffler function ${E_{\alpha ,1}}(z),(0 < \alpha < 1)$ has no real zero, where ${E_{\alpha ,1}}(z) = \sum\limits_{k = 0}^\infty ...
1
vote
2answers
191 views

Looking for a limit related to the series in a previous post

Can any one show that the following limit? $$ \lim_{z\rightarrow \infty} \sqrt{z} \: e^{-z}\sum_{k=1}^\infty \frac{z^k}{k! \sqrt{k}} \quad \stackrel{?}{=} \quad\sqrt{2}-1. $$ If one uses the ...
1
vote
0answers
26 views

Inversion of incomplete elliptic integral of third kind?

I would like to know whether there is any solution available on the inversion of elliptic integrals of the third kind (incomplete)? That means given $\Pi(n,u,m) = f(x)$, I would like to obtain $u$ as ...
0
votes
0answers
65 views

An example of a homeomorphism on $[0,1]^2$ with constant Jacobian determinant $\pm1$ [migrated]

Let $T(x,y):=(t_1(x,y),t_2(x,y))$ be a continuous bijection, namely a homeomorphism on $[0,1]^2$. I am trying to find a $T$ such that $\det(J_T)=1$. (*) The trivial cases are $T(x,y)=(x,y)$, ...
2
votes
0answers
41 views

Jacobi triple product for multidimensional lattices

The Jacobi triple product identity gives as a special case a product formula for the theta function of a 1-dimensional lattice. Is there a more general product formula for the theta function of an ...
7
votes
1answer
488 views

Has anyone seen this series?

I come across the following infinite series. $$ \sum_{n=1}^{\infty} \frac{t^n}{n!\: n^{a}}, \quad\text{for $t>0$ and $a>0$}. $$ In particular, I am interested in the case where $a=1/4$. ...
6
votes
1answer
127 views

Inequality for Laguerre polynomials

Let $L_n$ be the $n$-th Laguerre polynomial defined by $\quad L_n (x)=\frac{e^x}{n!}\frac{d^n}{dx^n}(x^n e^{-x}).\quad $ I want to prove that $$ \forall n\in \mathbb N,\forall x\ge 0,\quad \sum_{0\le ...
1
vote
2answers
181 views

Is there a class of functions closed against differentiation besides elementary? [closed]

Is there a finite set $P$ of non-elementary functions $f_n$ such that the derivative of any function $f$ from that set is not elementary, but expressible with functions from the same set $P$ plus ...
1
vote
1answer
46 views

The asymptotic behavior of hypergeometric function around -1

Recently, in studing some specific orthogonal polynomials on unit circle, I was lead to study the asymptotic behavior of the following hypergeometric function at the neighberhood of $-1$: $$ ...
4
votes
1answer
713 views

Goin' with the flow with Kummer and Pascal: Combinatorics and geometry underlying the logarithm of the derivative operator

In a MO-Q111165 and associated MSE-Q125343, I present a pair of raising / lowering (creation / annihilation) operators $R_x = log(D)$ and $L_x = -x·D$ with $D=d/dx$ (for a sequence of functions ...
3
votes
1answer
107 views

Asymptotic expansion of modified Bessel function $K_\alpha$

An integral representation for the Bessel function $K_\alpha$ for real $x>0$ is given by $$K_\alpha(x)=\frac{1}{2}\int_{-\infty}^{\infty}e^{\alpha h(t)}dt$$ where ...
7
votes
4answers
188 views

Is there an oscillating analog of the Gaussian distribution?

It frequently happens that, in some famillies of polynomials with positive coefficients, the coefficients of large polynomials look like a bell curve and tend to the distribution function of the ...
4
votes
2answers
468 views

What is known about this power series?

In the course of some calculations, I came across the following powers series. For fixed $C>1$ let $$ f_C(u)=\sum_{k=0}^\infty\frac{u^k}{C^{k^2}}. $$ This series converges for all $u\in\mathbb C$, ...
6
votes
1answer
161 views

Under which constraints are there only finite numbers of irreducible eta product identities?

For the Dedekind eta function, defined as usual by $\eta(q) = q^{\frac1{24}} \prod\limits_{n=1}^{\infty} (1-q^{n})$, let for brevity $e_k:=\eta(q^k)$. An eta product identity (or eta identity for ...
10
votes
1answer
315 views

Is there a known solution to $f(x) = (1-x)f(x^2)$?

The functional equation $f(x) = (1-x)f(x^2)$ (with $f(0)=1$) has a simple solution that can be expressed as a rapidly converging infinite product $$f(x) = \prod_{n=0}^\infty (1 - x^{2^n}) = ...
0
votes
0answers
58 views

What function is “$U_{\nu}(\cdot, \cdot)$”?

I was searching in the Prudnikov (vol. 2) how to solve an integral and I finally found it. However, I didn't recognized a function that appears in the answer. Integral 1.8.2.4: $$ \int_0^x x^{\nu+1} ...
1
vote
2answers
120 views

Quantifying simplicity, in the case of trigonometric and exponential functions

The pair of identities the sine and cosine of a sum of two terms as functions of the sines and cosines of the terms separately is not as simple as the identity that expresses the exponential of a sum ...
0
votes
0answers
30 views

Inverse Barnes G(n) function?

It is known that Barnes $G$-function is an analytic continuation of the $G$-function defined in the construction of the Glaisher-Kinkelin constant. http://mathworld.wolfram.com/BarnesG-Function.html ...
3
votes
0answers
139 views

Solvable parametric $7$th and $13$th degree equations using $\eta(q)/\eta(q^p)$?

Q: Why is that some polynomial relations between eta quotients have a solvable Galois group, even if the deg is $n>4$? For example, we have the well-known modular equation, $$u^6 - v^6 + ...
34
votes
1answer
1k views

There's something strange about $\sqrt{d\big(j(\tau)-1728\big)}$

Given the j-function $j(\tau)$, I was looking at, $$F(\tau) = \sqrt{d\big(j(\tau)-1728\big)}$$ which appears in Ramanujan-type pi formulas. Let $C_d$ be the prime factors of the constant term of the ...
3
votes
1answer
121 views

On Continuous Replicative Functions

I asked this question on math.stackexchange here, but it did not receive much attention. Thus, I was suggested to post it here. Knuth, in The Art of Computer Programming Vol. 1, defines a replicative ...
2
votes
0answers
43 views

Associated Legendre/Gegenbauer functions with complex degree at larger order

I am interested in approximating the associated Legendre function (also known as conical function) \begin{equation} P_{-1/2 + i p}^{\frac{2-N}{2}}(x) \end{equation} when $N \to \infty$. The real ...
1
vote
2answers
115 views

A definite integral of hypergeometric function 2F1

I am wondering whether there exists a closed form for the definite integral $$F(x)=\int_0^1t^{-a}(1-t)^{N}(1-xt)^{-a}{}_2F_1(-a,k-a-1/2,k-a;4xt(1-xt))dt,$$ where $a\in(0,1)$ and $N,k$ are positive ...
1
vote
1answer
102 views

Accurate bounds for derivatives of Legendre polynomials

Let $P_n(x)$ denote the $n$th Legendre polynomial. What bounds can one give for $d_{n,m}(x) = |\frac{d^m}{dt^m}P_n(t)|_{t=x}$ assuming that $|x| \le 1$? Clearly $$d_{n,m}(x) \le d_{n,m}(1) = ...
1
vote
0answers
66 views

Quadratic transformation of hypergeometric function 2F1

I want to know whether there is some transformation between $_2F_1(a,b;c;x)$ and $_2F_1(a',b';c';x(1-x))$. Here is an example called the Kummer quadratic transformation, which may be known to most of ...
2
votes
0answers
59 views

From Selberg integral to Dyson integral

My question is from the drivation from Slberg integral to Dyson integral in this paper: Selberg integral : $$ S_n(\alpha,\beta,\gamma) = \int_0 ^1 \cdots \int_0 ^1 \prod_{i=1}^n ...
3
votes
0answers
125 views

Generalization of Frobenius formula involving Macdonald polynomials

Given a vector $\vec k=(k_1,k_2,\cdots)$ with $k_i$ are non-negative integers, the Newton polynomial $p_{\vec k}(x)$ is defined as \begin{equation} p_{\vec k}(x)=\prod_{j=1}^n p_j^{k_j}(x)~, ...
3
votes
1answer
188 views

Integral of a product of Laguerre polynomials

In order to estimate the non linear term in a particular PDE, I have to decompose $L_k^\alpha(x)^3\cdot x^{-\delta}$ (with $0<\delta<\alpha+1$) into a basis consisting of Laguerre polynomials ...
2
votes
1answer
132 views

About large z behavior of hypergeometric function $_2F_1(1/2,1/2,1;z)$

The hypergeometric function $_2F_1(\large \frac{1}{2},\frac{1}{2},1;\frac{1-\frac{u}{\Lambda^2}} {2} \large)$ at large $\mid u\mid$ can be approximated by $$ -\frac{\Lambda}{\pi} \sqrt{\frac{2}{u}} ...
1
vote
0answers
80 views

Simplify this expression with modified Bessel functions of the second kind

I'm interested in the function $$\frac{K^{(0,2)}(0,x)}{K(0,x)}$$ where the numerator is the modified Bessel function of the second kind twice differentiated with respect to $\alpha$ and taken at ...
1
vote
0answers
50 views

Sufficient conditions for sums of Laguerre polynomials to be non-negative

I am interested in sufficient conditions on non-negative sequences of coefficients $\{c_{2n}\}_{n\ge 0}$ guaranteeing that $$%\begin{equation}\label{cond} \sum_{n=0}^\infty c_{2n} L_{2n}^{(1)}(x)\ge ...
3
votes
2answers
145 views

Identifying a special function from its power series

Here is a power series, which looks a bit like a Hypergeometric function series, but I don't think that it is. Has anyone any idea what it is? Here $n,p,r$ are integers with $n\ge 0$ and $p\ge r\ge ...
2
votes
0answers
108 views

A generalization of Macdonald functions?

I am interested in finding a set of functions $f(z_1,\cdots ,z_k;q,\,t)$, conjecturally polynomials, which depend on two parameters $(q,t)$ and an integer $k$, and are orthogonal under the following ...
5
votes
0answers
174 views

Why does the Rogers-Ramanujan continued fraction $R(q)$ appear in Emma Lehmer's quintic?

Define the Ramanujan theta function $f(a,b)$ as, $$f(a,b) = \sum_{n=-\infty}^{\infty} a^{n(n+1)/2}\,b^{n(n-1)/2}$$ and the Dedekind eta function, $$\eta(\tau) = q^{1/24}\prod_{n=1}^{\infty} ...
3
votes
0answers
56 views

Closed form for a simple hypergeometric q series

I've run across an interesting hypergeometric q-series that I feel must have been found before: $\sum_{n=0}^{\infty}(-1)^n$$\frac{e^{n b y}}{\prod_{k=1}^{n}(e^{\pi k b^2}-e^{\pi k b^{-2}})} = ...
7
votes
0answers
227 views

Inequality between incomplete beta and gamma functions; or when is binomial distribution function above/below its limiting Poisson

Please note: this question was posted first (September 4) in math.stackeschange.com and then (September 16) in stats.stackeschange.com. It got no answers in neither of those sites. Let the ...
2
votes
1answer
108 views

Estimate of a ratio of two incomplete gamma functions

I would like to bound from above the expression $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)} $$ for $x>y>0$. By plotting the above expression I have found that ...
4
votes
1answer
74 views

Logarithm of the hypergeometric function

For $F(x)={}_2F_1 (a,b;c;x)$, with $c=a+b$, $a>0$, $b>0$, it has been proved in [1] that $\log F(x)$ is convex on $(0,1)$. I numerically checked that with a variety of $a,\ b$ values, $\log ...
1
vote
0answers
150 views

complex contour integral calculation after Möbius transformation

Good day to everyone. In my scientific research I've got stuck with a contour integration problem. I would like to evaluate the following integral: $$I=\int_0^{\infty } \frac{e^{\frac{\alpha -\mathrm ...
1
vote
1answer
97 views

$q$-differential equation for the Rodgers polynomials?

The Rodgers polynomials $C_{\alpha,q}$ are a particular family of well-known $q$-hypergeometric function. For example, a description can be found here on Wikipedia. For the special case of $q=1$, we ...
4
votes
0answers
211 views

Why does the plastic constant appear in the snub icosidodecadodecahedron?

The golden ratio, $$\phi =\frac{1+\sqrt{5}}{2}$$ appears (among other polyhedra) in the Platonic solids icosahedron and dodecahedron, and it's quite easy to see the significance of the discriminant ...
2
votes
0answers
88 views

A second polylogarithm ladder for the tribonacci and n-nacci constants

In "A seventeenth-order polylogarithm ladder", on page 6 (eq 25), Bailey et al give a dilogarithmic ladder that begins with, $$0 = ...
5
votes
0answers
184 views

Identification of a curious function

The following question was asked on math.stackexchange, but there were no replies. During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k ...
4
votes
1answer
149 views

Conjectured bound on Kummer's function (confluent hypergeometric function)

I believe the following bound to be correct: ${}_1F_1(-a;1+a;-z) a z^{-a} \gamma(a,z) \leq 1$ for real-valued a > 0 and z $\geq 0$. $\gamma(a,z)$ is the lower incomplete gamma function. Apart from ...
2
votes
1answer
132 views

A definite integral related to hypergeometric function

I obtained the following integral when looking for a probability density function: $$\int_0^1 x^{\alpha-1} \,(1-x) ^{-A}\, {}_2F_1 (1-A, \alpha -1-A, \alpha -A, x) \,dx$$ Can anyone please give me ...
2
votes
1answer
157 views

Limit involving regularlized gamma function and its inverse

Let $$L(x)=Q\left(\frac{x}{2},\frac{a}{a+f(x)/\sqrt{x}}Q^{-1}\left(\frac{x}{2},1-b^{1/g(x)}\right)\right)$$ where $Q(s,x)=\frac{\Gamma(s,x)}{\Gamma(s)}$ is the upper incomplete gamma function ...
1
vote
0answers
277 views

Inequality for complex Hankel function

Let $x>1$ and $0<\varphi<\frac{\pi}{2}$ be fixed. I would like to show that for any $s>0$, the following inequality holds: $$ \left| H_{\frac{is}{e^{i\varphi } \cos \varphi}}^{\left( 1 ...