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

26
votes
0answers
1k views

Curious $q$-analogues

Consider the Fibonacci polynomials $$F_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} \right\rfloor }\binom{n-j}{j} x^{n - 2j} $$ and the Lucas polynomials $$L_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} ...
19
votes
0answers
1k views

Trigonometry related to Rogers--Ramanujan identities

For integers $n\ge2$ and $k\ge2$, fix the notation $$ [m]=\sin\frac{\pi m}{nk+1} \quad\text{and}\quad [m]!=[1][2]\dots[m], \qquad m\in\mathbb Z_{>0}. $$ Consider the following trigonometric ...
10
votes
0answers
426 views

Connection between Infinite continued fractions and AGM

It is known that at $x=1$, the following continued fraction represents $\frac{4}{\pi}$ and can be approximated rapidly using Gauss' Arithmetic Geometric mean. $$C(x) = x + \frac{1^{2}}{2x + ...
9
votes
0answers
327 views

Linear eta product identities - how many are there?

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)$. With this notation, a blog entry of Michael ...
7
votes
0answers
340 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 ...
7
votes
0answers
614 views

On Stark's conjecture for imaginary quadratic fields

In the famous paper "L-Functions at s = 1. IV. First Derivatives at s = 0" of Stark from 1980, it is shown that in the case of an imaginary quadratic field $K$ certain numbers of the form ...
6
votes
0answers
150 views

Asymptotic behavior of a sequence of functions

For $n\in\mathbb{N}$ and $q\in(0,1)$, define $$f_{n}(q):=\sum_{i_{1},i_{2},\dots,i_{n}=1}^{\infty}\frac{q^{i_1+i_2+\dots+i_n}}{(1-q^{i_1+i_2})(1-q^{i_2+i_3})\dots(1-q^{i_{n-1}+i_n})(1-q^{i_n+i_1})}.$$ ...
6
votes
0answers
317 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} ...
6
votes
0answers
225 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 ...
6
votes
0answers
141 views

Evaluating an infinite product of q-exponentials

For the $q$-exponential $$e_q(u) = \sum_{n=0}^{\infty} \frac{u^n}{[n]_q!}$$ with $[k]_q=\frac{1-q^k}{1-q}$ and $[n]_q! = [n]_q [n-1]_q \cdots [1]_q$, we don't have the property $e_q(u) e_q(v) = e_q ...
5
votes
0answers
115 views

Elementary function relative to erf

The modified Bessel function of the 1st kind $I_0$ is defined by $$ I_0(z)=\frac1\pi\int_0^{2\pi}e^{z\cos\theta}\,d\theta $$ and arises, among other places, in the probability density function of a ...
5
votes
0answers
199 views

Legendre polynomials and formal groups

Let $P_n(x)$ be Legendre polynomials: $$\frac{1}{\sqrt{1-2tx+t^2}}=\sum\limits_{n=0}^{\infty}P_n(x)t^n.$$ Usual arguments from the theory of formal groups allow to prove that for any $n$ ...
5
votes
0answers
120 views

Are these identities Newton series?

Newton series is the following expansion of a function: $$f(x)=\sum_{k=0}^\infty \binom{x}k \Delta^k [f]\left (0\right)=\sum_{n=0}^{\infty} {x\choose n} \sum_{k=0}^n{n\choose k}(-1)^{k-n}f(k)$$ Now ...
5
votes
0answers
447 views

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

I think, here, I found $$ P_x(s)=\sum_{p < x} \frac{1}{p^s} =\sum_{n=1}^{\infty}\frac{ \mu (n)}{n} \sum_{z\in\{1,\rho\}}(-1)^{1-\delta_{1z}} \left[ {\rm li}(t^{\frac zn-s}) \right]^{x}_2 \tag{7} ...
5
votes
0answers
431 views

Parabolic cylinder functions - explicit estimates?

I need estimates for the parabolic cylinder functions $U(a,z)$ (first studied by Whittaker). Most work in the literature focuses on $a$ real. As it happens, I am interested in $U(a,z)$ on a strip in ...
4
votes
0answers
64 views

An identity of complicated combinations of gamma functions (related to hypergeometric functions)

Can somebody help me in proving the following equation? \begin{align*}&\textstyle \sum _{d=0} ^{n} \frac{1}{d!(n-d)!} \frac{\Gamma (b+d) \Gamma (b+n-d) \Gamma (c-n+d) \Gamma (c-b+1-n + 2d) ...
4
votes
0answers
257 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 ...
4
votes
0answers
318 views

The Riemann Zeta Function summing over the Gamma Function

Has anyone studied a function of the form $$\eta(s) = \sum_{n=1}^{\infty} \frac{1}{\Gamma(n)^{s}} = \sum_{n=0}^{\infty}\frac{1}{k!^s}$$ This series is appearing in my research on the volumetric ...
4
votes
0answers
498 views

hypergeometric function $_2F_1(-n;-r;1;2)$

The hypergeometric function $_2F_1(-n;-r;1;2)$ appears in many different situations. For instance, it counts the number of integer points within a sphere in the $l_1$ norm, i.e., $$_2F_1(-n;-r;1;2) ...
4
votes
0answers
254 views

A coincidence concerning Fermat primes, binomial sums, and eta quotients?

Let $w_k$ be a primitive k th root of unity, where k is a power of 2. In response to a question, Robert Israel gave the solution, $$\sum_{n=0}^\infty \frac{(-1)^n}{\binom{kn}{kn/2}} = ...
3
votes
0answers
154 views

Analysing functions on zero-length intervals and super-small values

Suppose a function that has a pole in $x=0$: Here we see the graphic of the real part of the Gamma function. As we can see on it, there is a vertical line at $x=0$ that comes from $-\infty$ to ...
3
votes
0answers
137 views

System of linear ODEs with hypergeometric coefficients

For quite some time I have been trying to solve the following system of differential equations for the two functions $G$ and $H$ defined on the interval $[0,1]$: $$ \begin{align}x ...
3
votes
0answers
42 views

Boersma and Glasser formula

In http://iopscience.iop.org/0305-4470/38/8/005 (A differentiation formula for spherical Bessel functions) Boersma and Glasser proved the following interesting formula ...
3
votes
0answers
187 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 + ...
3
votes
0answers
149 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
0answers
139 views

Are numbers $h_{r,s} = \sum_{k} P(r;s;k) \frac{1}{n^{2k}} \bigg(1-\frac{1}{n}\bigg)^{n-2k}$ irrational?

I asked this question on MSE and Mike Spivey gave an insightful answer. I decided to put it here nevertheless in case someone else gets interested. If this violates rules on MO, please let me know, ...
3
votes
0answers
120 views

Error Function limes

How can i calculate $\prod_{n=1}^{\infty}{erf(n)} $ with $erf(z) = \frac{2}{\sqrt{\pi}}\int_0^z e^{-z^{2}} \mathrm{d}z$? I know it's something like 0,84. And i see that only the first terms are ...
3
votes
0answers
176 views

Can Bernoulli polynomials be extended to fractional orders without losing elementarity?

Can Bernoulli polynomials $B_s(x)$ be extended to fractional $s$ in such a way so that for any given $s$ the function $B_s(x)$ still could be expressed in elementary functions of $x$?
3
votes
0answers
597 views

Can one represent a generalized hypergeometric function 1F2 as a product of two confluent hypergeometric functions?

I am trying to somewhat simplify a series, whose coefficients feature generalised hypergeometric functions ${}_1F_2(1;a,a+1;z)$. I was unable to find useful functional relations for this specific ...
3
votes
0answers
481 views

Mathematica package for obtaining hypergeometric function

In my current research in electromagnetics I am encountering integrals of the form $$ \int_0^\infty dt J_0( r t) \frac{\exp(-h \sqrt{t^2 - a^2})}{\sqrt{t^2 - b^2}} t . $$ $a$ and $b$ are complex ...
3
votes
0answers
323 views

Why is Mellin-inverse of Gamma periodic?

Specific Case The periodicity is obvious from computation: $$\cal{M}^{-1}\{\Gamma\}(x) := \frac{1}{2\pi i}\int_{c}\Gamma(s)x^{-s}d s=e^{-x}$$ However, is there a way to see directly from the integral ...
2
votes
0answers
79 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 ...
2
votes
0answers
70 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 ...
2
votes
0answers
93 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 ...
2
votes
0answers
135 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 ...
2
votes
0answers
64 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}})} = ...
2
votes
0answers
123 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 = ...
2
votes
0answers
205 views

An integral with Gamma functions (Part 2)

I was wondering if there is a generalization of the integral discussed here to a case like, \begin{equation}\int \frac{d^dq}{q^{\nu_1}\vert \vec{q} \pm \vec{k}_1\vert ^{\nu_2}\vert \vec{q} \pm ...
2
votes
0answers
739 views

Proof that derivative of Hurwitz Zeta by the first argument is not expressable in terms of Hurwitz Zeta

The set of elementary functions is defined so that it to be closed against operation of differentiation. It is also evidently close against discrete differentiation. In the discrete calculus there is ...
2
votes
0answers
298 views

About a Christoffel-Darboux-type sum

Hi! I've been using the Christoffel-Darboux identity for the Hermite polynomials, $$\sum_{k=0}^n\frac{H_k(x)H_k(y)}{2^k k!}=\frac{1}{2^n n!}\frac{H_{n+1}(x)H_n(y)-H_n(x)H_{n+1}(y)}{x-y},$$ for some ...
2
votes
0answers
699 views

Cubic polynomials with “nice” roots, which can be expressed by trig functions of rational angles

Consider the cubic polynomial $x^3-ax+b$ for $a,b\in\mathbb N$. It has three real roots which, by Cardano's formula, can of course be written in closed form using thirds of angles or cube roots of ...
2
votes
0answers
833 views

Bessel functions in wave propagation and scattering

Is there a way to scale Bessel J(n,.) (Bessel of first kind) and Bessel H(n,.) (Bessel of third kind or Hankel)? I am having computer problems with higher orders (higher vlaues of n) and small ...
2
votes
0answers
482 views

Generalization of repeated error function integral

Is there a name for the following integral? $f(x, y, n) = \int_y^\infty (t - x)^n \exp(-t^2) dt$ The parameter $n$ is positive. The first priority is integer $n$, but more generally the case of ...
1
vote
0answers
42 views

how understand periodicity in a combination of power, gamma and zeta functions?

Riemann's functional equation may be written: $$ \frac{\zeta(s)}{\zeta(1-s)} = 2^s \pi^{s-1} \sin(\frac{\pi s}2) \Gamma(1-s) \tag{1} $$ and so by symmetry: $$ \frac{\zeta(1-s)}{\zeta(s)} = 2^{1-s} ...
1
vote
0answers
180 views

What is the status on questions related to Bhargava's factorial function?

In Manjul Bhargava's The Factorial Function and Generalizations he motivates a new type of factorial $n!_S$ using by generalizing a few theorems like: For $k, l \in \mathbb{Z}$, we have $k! \times ...
1
vote
0answers
68 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 ...
1
vote
0answers
103 views

Integral involving a Meijer-G function

I am having trouble with calculating the following integral: $$ \int_{0}^{\infty} \ln{(1 + \alpha x)\, G^{k,0}_{k,k}\left[e^{-x}\left|^{(a_k)}_{(b_k)} \right. \right]} \, dx, $$ where $\alpha > ...
1
vote
0answers
38 views

Request for reference about bound on zeroes of the Laguerre polynomials

Consider the sequence of polynomials given as, $p^{a}_k (x) = (1 - a \frac{d}{dx})^k x^n $ for some parameter $a>0$ and $k$ being a positive integer. For any positive integer $d$ it seems to be ...
1
vote
0answers
82 views

L2 norm of a M-Whittaker function

Let $M_{\kappa,\mu}(z)$ be the Whittaker function, as defined here http://en.wikipedia.org/wiki/Whittaker_function. Does any one know the evaluation of the following integral? ...
1
vote
0answers
90 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 ...