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

28
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
441 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
336 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 ...
8
votes
0answers
634 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 ...
7
votes
0answers
376 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 ...
6
votes
0answers
173 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
334 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
233 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
142 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
122 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
201 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
121 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
322 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 ...
5
votes
0answers
460 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
433 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 ...
5
votes
0answers
554 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
198 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 + ...
4
votes
0answers
262 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
258 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}} = ...
4
votes
0answers
328 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 ...
3
votes
0answers
155 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
145 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
44 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
156 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
125 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 = ...
3
votes
0answers
140 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
123 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
178 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
637 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
817 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 ...
3
votes
0answers
503 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 ...
2
votes
0answers
43 views

Resource needed on Lerch's transcendent

I am looking for resources in english which discuss basic properties of the Lerch's transcendent function. The Lerch Transcendant is defined by: ...
2
votes
0answers
56 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} ...
2
votes
0answers
87 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
75 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
98 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
150 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
68 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
208 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
243 views

solving a sum of Hypergeometric function 2F3

I am trying to find a closed form solution for the two sums given by $$\sum^n_{k=0}\frac{y^k}{k!}(-a+n)_k \left(\frac{2}{z} \right)^k {}_2F_3\left({-\frac{k}{2}, \frac{1 - k}{2}}; {-k, -a+n,1+a-k-n}; ...
2
votes
0answers
320 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
728 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
871 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
494 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
55 views

Representing trigonometric functions in a form of rational functions

Here I introduced a non-Archimedean numerical system in which the real numbers are extended by elements $\omega_-$, $\tau=\omega_-+1/2$, $\omega_+=\omega_-+1$ in such a way that standard parts of ...
1
vote
0answers
33 views

Proving injectivity of a multivariable function

Let $I$ denote the interval $(0,\infty)$, we define the function $f:I^2\to I^2$ by, $$f(x,y)=\left({\Gamma(4x+y)\Gamma(y)\over {\Gamma(2x+y)}^2},{\Gamma(4x+y)\Gamma(2x+y)\over ...
1
vote
0answers
28 views

Rearrangement of summation expression

Referring to the spherical harmonics expansion in this article: Méléard, P., Pott, T., Bouvrais, H., & Ipsen, J. H. (2011). Advantages of statistical analysis of giant vesicle flickering for ...
1
vote
0answers
54 views

Rearrangement of a spherical harmonics expansion

Referring to this article: http://i.stack.imgur.com/sfQ1C.png and http://i.stack.imgur.com/LelKb.png How is it that they get from equation 2 to equation 3? Whenever I do it, I get only cosine ...
1
vote
0answers
139 views

Conway's box function iterated to produce a hierarchy of nested sets of real numbers

Conway's box function is the inverse of Minkowski's question mark function. It maps the dyadic rationals on the unit interval to the rationals using the Stern-Brocot tree (Farey sequence). When the ...