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

1
vote
0answers
110 views

an infinite series expansion in terms of the polylogarithm function

we have the complex valued function : $$f(z)=\sum_{n=0}^{\infty}a_{n}Li_{-n}(z)$$ we wish to recover the coefficients $a_{n}$ . the only thing i though would work is to try and come up with a function ...
0
votes
2answers
166 views

Series representation of ratio of two Meijer G-functions

Let me use the notation from Maple http://www.maplesoft.com/support/help/Maple/view.aspx?path=MeijerG for the Meijer G-function. Then let me define, $f_+(x) = MeijerG( [[+1/2],[]], [[0,0],[]], x )$ ...
0
votes
0answers
223 views

Lambert W-function

I asked this question MSE, but didn't get any answers. Maybe here someone can help. I need to solve $$ \theta \rho^{\theta}+r \theta>v $$ where $\theta \in \mathbb{R}^{+}, -1 < r,v<1, \ ...
4
votes
0answers
297 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) ...
14
votes
2answers
1k views

The function $\sum_{0}^{\infty} x^n/n^n$

The function $F(x) = \sum_{0}^{\infty} x^n/n^n$ may be familiar to many readers as an example sometimes used when teaching tests for absolute convergence of entire functions defined by power series. I ...
2
votes
2answers
360 views

Dilogarithm, tetrahedrons, and hyperbolic space

The Bloch-Wigner function $D(z)$, gives the volume of a ideal tetrahedron in hyperbolic space $\mathbb H3$, where z is the cross-ratio (z1,z2,z3,z4) parametrizing the tetrahedron in $\mathbb CP1$. ...
10
votes
2answers
700 views

The complete list of continued fractions like the Rogers-Ramanujan?

I have two questions about q-continued fractions, but a little intro first. Given Ramanujan's theta function, $$f(a,b) = \sum_{n=-\infty}^{\infty}a^{n(n+1)/2}b^{n(n-1)/2}$$ then the following, ...
23
votes
2answers
833 views

A 14th and 26th-power Dedekind eta function identity?

Given the Dedekind eta function $\eta(\tau)$. Let p be a prime and define $m = (p-1)/2$. Let p be a prime of form $p = 12v+5$. Then for $n = 2,4,8,14$: $$\sum_{k=0}^{p-1} \Big(e^{\pi i m k/12} ...
3
votes
1answer
464 views

Pochhammer symbol of a differential, and hypergeometric polynomials

I have a minor result which I'm sure has come up somewhere before but I can't seem to find it. Consider a confluent hypergeometric function of the form $$\newcommand{\ff}{{}_1F_1} ...
27
votes
7answers
2k views

How should an analytic number theorist look at Bessel functions?

(And a related question: Where should an analytic number theorist learn about Bessel functions?) Bessel functions occur quite frequently in analytic number theory. One example, Corollary 4.7 of ...
0
votes
1answer
131 views

Convolution operators defined by compactly supported distribtion

Let $\mu_{n}$ be the unit measure over $S^{n-1}$,and consider the convolution operator$$Tf=\mu_{n}\ast f,\quad f\in \mathcal{S}$$ then,it's well-known that T can be extend to a bounded operator on ...
0
votes
1answer
204 views

Inequality with even powers of trigonometric functions

For $m>0$, $0 < n\leqslant m+1$ ($m,n\in \mathbb{Z} $) , and $0 < a < 1$ , prove that $$2^{n}\cdot \left( a^{n}\cos ^{2m}\dfrac {\pi a} {2}+\left( 1-a\right) ^{n}\sin ^{2m}\dfrac {\pi ...
2
votes
2answers
2k views

Numerical Computation of arcsin and arctan for real numbers [closed]

I'm coding some numerical methods and I do not know what the correct analysis would be for choosing the implementation for $arcsin$ and $arctan$ for real numbers. Here's what I know: Both functions ...
0
votes
1answer
398 views

The zeros of the digamma function

I wonder what work have been done on the zeros of the digamma function and on the values of the gamma function at such points (on the negative real axis). Any help please :)
1
vote
1answer
292 views

Product of densities of a wrapped normal distribution

The density of a wrapped normal distribution is given by $$\frac{1}{\sigma \sqrt{2\pi} }\sum _{k=-\infty }^{\infty }\text{Exp}\left[\frac{-(\theta -\mu -2\pi k)^2}{2\sigma^2}\right]$$ Considering two ...
5
votes
3answers
559 views

Proof of a combinatorial identity (possibly using trigonometric identities)

For integers $n \geq k \geq 0$, can anyone provide a proof for the following identity? $$\sum_{j=0}^k\left(\begin{array}{c}2n+1\\\ 2j\end{array}\right)\left(\begin{array}{c}n-j\\\ ...
3
votes
2answers
232 views

cyclic polygons & trigonometry

I posted this question to stackexchange, where it's generated some comments but no progress toward answering it. I'm going to say somewhat more here than I did there. At one vertex of a pentagon ...
5
votes
1answer
750 views

Request for the proof of a result from Ramanujan's letter to Hardy.

Srinivasa Ramanujan in his first letter to G.H. Hardy stated many results for which he didn't give proofs. Among them the result taken from this link seems interesting : If ...
9
votes
6answers
1k views

A good reference to grok hypergeometric functions?

When I was introduced during my degree to special functions, I made friends with a number of nice functions - Laguerre, Legendre, Hermite, Bessel, and whatnot - but I made only a passing acquaintance ...
3
votes
0answers
160 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$?
1
vote
0answers
175 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}; ...
1
vote
0answers
313 views

P-Adic poly Bernoulli numbers

we can define p-adic Bernoulli polynomials by using q-integral on $Z_p$ and T.Kim's method, But how can we define p-adic poly-Bernoulli numbers and polynomials by using integral on $Z_p$ ?
2
votes
2answers
386 views

Resources for special functions, integral identities

In the past weeks, I have struggled with finding suitable tables for integral indentities for Beta functions, Chebyshev polynomials and their like. I would like to ask for online/offline resources ...
4
votes
0answers
232 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}} = ...
10
votes
1answer
363 views

Schur functors generalization to “Jack”, “Hall-Littlewood”, “Macdonald” functors ?

Schur functors are functors from the category of vector spaces to itself. If we take an operator $M: V->V$ and apply a Schur functor to it and then calculate trace $Tr(M^{\Lambda})$ we will get ...
3
votes
0answers
413 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 ...
0
votes
0answers
701 views

An inverse Laplace transform involving Error function

Dear MOs, I need to calculate the inverse Laplace transform of the following function $$ g_a(z) = \frac{e^{a z}\: \text{erfc}(\sqrt{a z})}{\sqrt{z}-2},\quad a>0. $$ I have checked, among many ...
0
votes
1answer
171 views

A certain sum with q by the power of binomial (n 2)

Is there a closed form to the following sum: $\sum_{n=0}^{\infty}a^nq^{n(n-1)/2}$ for all $a>0$ and $0\lt q\lt 1$ ?
3
votes
1answer
563 views

Fourier and Bessel

Oliver Heaviside, on page 387 of Electrical Papers, Vol. I, Macmillan and Co., 1892, available here, writes $$v = 1 - \frac{n^2r^2}{2^2} + \frac{n^4r^4}{2^2 4^2} - \frac{n^6r^6}{2^24^26^2} + \ldots ...
23
votes
0answers
745 views

Optimization problem arising from the study of zeta zeros

Motivation: The following problem arose in [1] while studying the vertical distribution of the zeros of the Riemann zeta-function. At the time, my collaborators and I were unable to solve it and I ...
7
votes
4answers
438 views

Trig functions based on convex curves

Pardon my naivety, but I wonder if much use has been found for trigonometric functions defined in terms of a centrally symmetric convex curve $K$ replacing the circle $C$. For example, here is the ...
4
votes
1answer
558 views

q-Pochhammer Symbol Identity

Is this identity or an equivalent one already referenced in the litterature? In particular, is it even true? ${\frac{\left ( -1 ; e^{-4\pi} \right) ^2_{\infty}}{\left ( e^{-2\pi} ; e^{-2\pi} \right) ...
3
votes
1answer
314 views

Monotonicity of a combination of Bessel functions

Prove that the following function is decreasing (as a function of a) for a > 0 when 0 < r < 1: $${K_2(ar)I_2(a)-I_2(ar)K_2(a)\over I_2(a)}I_2(ar).$$ The problem arose in the analysis of a model ...
1
vote
1answer
211 views

A uniqueness proposition involving Erf, the error function

This is a generalization of a previous MO question, "Reducing system of equations involving Erf, Error Function". Consider the system of equations: $$1/2 + {\rm Erf}(x) - \alpha {\rm ...
0
votes
1answer
348 views

Sum over Hypergeometric function 2F1 (generating function)

Dear mathematicians, in my current research project I came accross this very bothersome sum over a rather simple hypergeometric function, or formulated differently: a sum over squared binomial ...
3
votes
2answers
561 views

Reducing system of equations involving Erf, Error Function

I have a system of equations: $$1/2 + {\rm Erf}(x) - {\rm Erf}(\frac{x+y}{2})=0$$ $$-1/2 + {\rm Erf}(y) - {\rm Erf}(\frac{x+y}{2})=0,$$ Where $x \le y$ and ${\rm Erf}$ is the Error Function. By ...
5
votes
2answers
749 views

Is there a known formula for fractional derivative of cot x?

I wonder if there any established formula for fractional derivative of a function $\pi \cot (\pi x)$. I derived the following expression: $(\pi \cot (\pi ...
2
votes
1answer
226 views

Infinite Series of 2F1

I will be grateful for any ideas to solve the series $$\sum^\infty_{k=0}\frac{x^k z^k}{k!} \frac{\Gamma(1+a+2k)}{\Gamma(2+k)}{}_2F_1(1,1+a+2k;2+k;z)$$ $a$ is a nonegative integer, $z$ and $x$ are ...
1
vote
0answers
707 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 ...
7
votes
2answers
1k views

Duality of eta product identities: a new idea?

Looking at the collection of Eta Function Product Identities by Michael Somos, it seems like generally those identities come in pairs: let's call two eta product identities $\sum\limits_{i=1}^r ...
2
votes
2answers
286 views

Elliptic function with constant real part on the unit square diagonals?

Consider the following even meromorphic doubly periodic function with poles at the gaussian integer lattice. $H(z) = \prod_{n \in \mathbb{Z}} {1 \over{ 1 - {1 ...
9
votes
0answers
282 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 ...
0
votes
1answer
226 views

derivative of a special function in integral form

What is the derivative of $Q_m\left(\frac{\alpha}{x^a},\frac{\beta}{x^b}\right)$ with respect to $x$, i.e, $$\frac{\partial}{\partial x}Q_m\left(\frac{\alpha}{x^a},\frac{\beta}{x^b}\right), \quad ...
2
votes
0answers
248 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 ...
3
votes
1answer
244 views

The relationship between Stirling number of the second kind and the polylogarithm

It is shown here on Mathworld's page on Stirling number of the second kind that $$ \sum_{k=1}^n S(n,k) (k-1)! z^k = (-1)^n \text{Li}_{1-n}(1+\frac{1}{z}) $$ where $S(n,k)$ is Stirling number of the ...
0
votes
0answers
175 views

Convert 2F1 to polynomial

Is there any transformation to convert each of the following versions of ${}_2F_1$ to a polynomial? The first one is $${}_2F_1\left(\frac{1-a}{2}, -\frac{a}{2}; b;\frac{4z}{(1+z)^2} \right), \quad ...
5
votes
1answer
421 views

Contour Integral with Gamma functions and 2F1

Given the following contour integral $$\frac{1}{2\pi j}\int^{c+j\infty}_{c-j\infty} \frac{\Gamma(-1+a+s)\Gamma(b+s)}{\Gamma(3+a-s)}\cos(-1+a+s)\, {}_2F_1\Big(-1-a+s,-1+a+s;\frac{1}{2};z\Big) y^s\: ...
2
votes
1answer
385 views

Quadratic Transformation of the Hypergeometric Function 2F1

The function ${}_2F_1\Big(\frac{a-b}{2},\frac{a+b-1}{2};c;y\Big)$ can be transformed (as reported by A. Erdélyi) by the following formula ${}_2F_1\Big(\frac{a-b}{2},\frac{a+b-1}{2};c;y\Big)= ...
1
vote
1answer
175 views

About one series. Are there some related special functions?

Hello, I have the following series: $$ \sum_{n=2}^\infty \frac{t^n}{\Gamma(a n)} = ?,\qquad t\ge 0, $$ where the parameter $a\in (0,1]$, $\Gamma$ is the Gamma function. When $a=1$, the above sum ...
4
votes
1answer
805 views

minimal polynomials of trig functions of ($k \pi/p$) and divisibility of coefficients by p

Take an odd prime $p$ and put $x_0:=\sum\limits_{j=0}^{p-1}\left(a_{j}\sqrt{p}\cos\dfrac{j\pi}p+b_{j}\sin\dfrac{j\pi}p +c_{j}\tan\dfrac{j\pi}p\right)$, where the $a_{ij}$ are integers. If $f$ denotes ...