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
0answers
135 views

A generalization of Rogers-Ramanujan identity

The generalized Rogers-Ramanujan identity has the following form $$\sum_{k_1\geq\cdots\geq k_r\geq 0}\frac{x^{k_1^2+\cdots +k_r^2+k_i+\cdots +k_r}}{(x)_{k_1-k_2}\cdots ...
0
votes
0answers
19 views

The derivatives of Riemann xi function [migrated]

What are the first few values of derivatives of Riemann xi function at zero? Is there any general formula for calculating the nth derivative of the riemann zeta function at zero? What happens to the ...
3
votes
1answer
38 views

Inverse Laplace transform of a hypergeometric function

This is a repost from Math Stack-exchange where I did not manage to get an answer. http://math.stackexchange.com/questions/1491027/inverse-laplace-transform-of-a-hypergeometric-function I managed to ...
9
votes
3answers
404 views

Complex proof of $B(a,b)=\Gamma(a)\Gamma(b)/\Gamma(a+b)$

It is a question in spirit of this one. Is there a way to prove Euler's formula $$ \int_0^1 x^{a-1}(1-x)^{b-1}dx=\frac{\Gamma(a)\Gamma(b)}{\Gamma(a+b)} $$ using contour integration (and maybe ...
3
votes
0answers
81 views

A connection between basic hypergeometric series and number theory

I am studying functions given by the power series: $$f(z)=1+\sum_{n=1}^{\infty}\frac{z^n}{(1-q)(1-q^2)\cdots(1-q^{n})}.$$ The parameter $q$ is usually assumed to be such that $|q|<1$. Then it is ...
0
votes
0answers
12 views

affecting the final result of function depending on external factor

Suppose I have a function f(x) = x / (x+y) whose range is in the interval [0,1] and there is an external factor say a, such that a is in the interval [0,1], moreover, a predefined threshold t: when ...
5
votes
2answers
174 views

Alternating binomial Dirichlet series

I have come across the following deceptively simple expression: $$ H_n^s=\sum_{j=1}^n(-1)^{j-1}\left(\begin{array}{c}n\\j\end{array}\right)j^{-s} $$ We have (using eg mathematica, though probably ...
1
vote
2answers
322 views

Investigation of $\sum \limits_{k=-\infty}^\infty \frac{x^{k+n}}{ \Gamma(k+n+1)}$ where $n \in C$? [closed]

$$e^x=\sum \limits_{k=0}^\infty \frac{x^k}{k!}$$ We can rewrite the equation as $$e^x=\sum \limits_{k=0}^\infty \frac{x^k}{ \Gamma(k+1)} \tag{1}$$ because $x!=\Gamma(x+1)$ where $x$ is ...
2
votes
1answer
117 views

An extreme of Jacobi elliptic function on an interval

Consider the Jacobi elliptic function $sn(\cdot,k)$ restricted to the interval $(0,2K)$, where $K=K(k)$ is complete elliptic integral of the first kind. If $0<k<1$, then it is well known the ...
5
votes
2answers
612 views

Generalized trigonometric functions $Cos(n) v$ and $Sin(n) v$.

I just discovered a paper from 1948, Eine Verallgemeinerung der Kreis-und Hyperbelfunktionen by R. Grammel which introduces functions he calls Cos(n) and Sin(n), representing a parameterization of the ...
3
votes
0answers
39 views

numerical stability of root identification via Newton-Raphson iteration of Stieltjes residue sums

I have asked several questions on math.SE in order to compute numerically the poles of high-degree Padé approximations for $e^{-x}$, because a computation directly from the polynomial ...
4
votes
1answer
674 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} ...
1
vote
1answer
65 views

Inverse error function in Hardy space?

Let $\mathrm{erf}(x) := \frac{2}{\sqrt{\pi}} \int_{-\infty}^x \exp(-t^2) \, dt$ be the error function $\mathrm{erf}: \mathbb{R} \to (-1,1)$. It is monotonously increasing and therefore has an inverse ...
5
votes
0answers
217 views

Recurrence Formula for Zernike polynomials

I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...
5
votes
2answers
187 views

Integrals involving trigonometric functions and polynomials

Can one describe all the real polynomials $P(x)$ such that the following integrals converge: $$ \int_0^{\infty} \sin(P(x))dx, \int_0^{\infty} \cos(P(x))dx ? $$ Among special cases are such ...
5
votes
1answer
105 views

A special function solution of a fourth-order ODE

I want to consider the solutions of the following fourth-order ODE: $$ f^{(4)}(t)+a tf^{(1)}(t)+b f(t)=0, \tag{$\ast$}$$ where $a,b$ are complex parameters. It turns out that with a Fourier ...
2
votes
0answers
27 views

Asymptotic expansion of Mellin transform of products of modified Bessel function K

Let $n\ge 1$ be an integer, let $$F(x,y)=\int_0^\infty u^{n(x+y)} (K_{x-y}(u))^n du$$ for $x,y\ge 0$. When $n=1$, this is just Mellin transform of the Bessel K function. When $n=2$, $F(x,y)$ has ...
5
votes
1answer
123 views

On a Sum of Gamma Functions

I am working on a problem where the following sum appears: $$F(s, t)=\frac{1}{\Gamma(1+2\alpha)}\sum_{n=0}^{\infty}{\frac{s^{n} ...
6
votes
2answers
677 views

Bounds on remainder term of power series of elementary functions

This is mainly a question about the remainder term of power series for elementary functions. I'm very interested in aspects of calculating or computing elementary operations and functions, by which I ...
5
votes
4answers
714 views

An identity for the cosine function

Let $x = \pi/(2k+1)$, for $k>0$. Prove that $$ \cos(x)\cos(2x)\cos(3x)\dots\cos(kx) = \frac{1}{2^k} $$ I've confirmed this numerically for $n$ from $1$ to $30$. I'm finding it surprisingly ...
11
votes
0answers
248 views

Inverse Mellin of the exponential of the digamma function

I'm looking for a function $f_p(x)$ with real parameter $p>0$ satisfying $$ \int_0^\infty f_p(x)x^{s-1}dx=e^{-p\psi(s)} $$ where $\psi(s)$ is the usual digamma function. The inverse Mellin formula ...
15
votes
2answers
329 views

A hypergeometric puzzle

$$ 143\,\sqrt {3}\;{\mbox{$_2$F$_1$}\left(\frac{1}{2},\frac{1}{2};\,1;\,{\frac {3087}{8000}}\right)}= 40\,\sqrt {5}\; {\mbox{$_2$F$_1$}\left(\frac{1}{3},\frac{2}{3};\,1;\,{\frac ...
1
vote
0answers
122 views

What is the connection between the Riemann Xi-function and n-sphere? [closed]

Riemann's Xi-function is defined as $$\xi(s) = \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)$$ At the same time we have the following formulas for n-sphere's area and volume: ...
14
votes
1answer
319 views

Why does $\sum_{p=1}^n \exp\left(\frac{i\pi p l}{2m}\right)/\prod_{k=1,k\neq p}^n\sin\left(\frac{\pi (k-p)}{2m}\right)$ vanish?

While trying to prove some identities for generating functions, I ended up needing to show that $$\sum_{p=1}^n \exp\left(\frac{i\pi p l}{2m}\right)\prod_{\substack{k=1\\k\neq ...
2
votes
0answers
54 views

Challenging problems concerning Jacobian elliptic functions with complex modulus

I study some qualitative properties of Jacobian elliptic functions. Consider, for example, function $sn(u,k)$. In most applications, modulus $k\in(0,1)$ and then everything is very clear, since ...
14
votes
2answers
446 views

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
420 views

p-adic poly-Bernoulli numbers

We can define p-adic Bernoulli polynomials by using q-integral on $\mathbb{Z}_p$ and Taekyun Kim's method. But how can we define p-adic poly-Bernoulli numbers and polynomials by using integral on ...
10
votes
1answer
469 views

A question on Ramanujan's $1/\pi$ formulas

It is known that Ramanujan discovered a number of formulas for $1/\pi$. All of these formulas are of the form $$\frac{1}{\pi}=\sum_{n=0}^{\infty}\frac{(1/2)_n(s)_n(1-s)_n}{(1)_n^3}(a+bn)z^n,$$where ...
3
votes
1answer
248 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$: $$ ...
25
votes
2answers
1k views

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

Given the Dedekind eta function $\eta(\tau)$. Define $m = (p-1)/2$ and a $24$th root of unity $\zeta = e^{2\pi i/24}$. Let p be a prime of form $p = 12v+5$. Then for $n = 2,4,8,14$: ...
6
votes
1answer
120 views

Asymptotic behaviour of an integral

For $k\in\mathbb{N}_{0}$ and $x\in\mathbb{R}$, define $$I_{k}(x):=\int_{0}^{\pi/2}\cos(xg(\theta))\sin^{2k}\theta\,\mathrm{d}\theta$$ where ...
3
votes
0answers
39 views

Root Polylogarithm Dominance Questions

Motivation: I am trying to work on a problem related to computing the roots of a certain family of polynomials related to integer partition theory. In particular, I have been trying to ``Bridge the ...
4
votes
0answers
46 views

Jacobi elliptic functions with modulus on the unit circle

I am gathering some available informations on Jacobi elliptic functions $sn(z,k)$, $cn(z,k)$, $dn(z,k)$ with $k\in\mathbb{C}$, $|k|=1$. I can not find much on them in standard references ...
4
votes
0answers
65 views

Is there a nice way to invert this expression?

Let us first define the Euler polynomials to be the polynomials $P_n(q)$ that satisfy $$ \frac{qP_n(q)}{(1 - q)^{n+1}} = \Big(q\frac{d}{dq}\Big)^n\frac{q}{1 - q}. $$ For example, $P_0(q) = P_1(q) = ...
6
votes
1answer
76 views

Modern comprehensive account of the Barnes G-Function

I previously put this forward on the math.stackexchange community with little luck: I am looking for a comprehensive account of the properties and applications of the Barnes G-Function. Everything ...
3
votes
0answers
68 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: ...
35
votes
1answer
2k 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 ...
1
vote
0answers
93 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 ...
3
votes
1answer
130 views

Closed Form Expression for Nested Series Summation?

Just wandering if there are any criteria that can decide whether a finite series summation has closed form or not. for example, In the following nested summation, $n$ is some even integer that will be ...
7
votes
1answer
964 views

Geometric meaning of trigonometric relations

According to a paper by Zhiqin Lu in the Mathematical Gazette (the British publication, not the Boston-area newsletter, if that still exists (or even if it doesn't)) in 2007(?), if $u+v+w=\pi$ and ...
4
votes
1answer
437 views

Roots of characteristic function of “reciprocal gamma measure”

Let us call a measure $\mu$ on the Borel $\sigma$-algebra $\mathfrak{B}_{(0,\infty)}$ of subsets of $(0,\infty)$ a reciprocal gamma measure if it is absolutely continuous with respect to the Lebesgue ...
2
votes
0answers
39 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
62 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
175 views

system with solutions $\{x-a:0\leqslant a\leqslant z-1\}$ [closed]

What must be $F$ there where $0=F(1,x,0)=F(x-0,x,z)=F(x-1,x,z)=F(x-2,x,z)=F(x-3,x,z)=$ $\dots$ $=f(x-z-1,x,z)=0$? Define $F$ in the domain where a continuous function exists that behaves so for ...
6
votes
1answer
124 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) ...
3
votes
0answers
825 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 ...
5
votes
4answers
196 views

Integrals involving the Tricomi hypergeometric function

I am looking for a reference for the two following equalities involving the Tricomi function $U$ and the Meijer function $G$. I have found these formulas on the website http://functions.wolfram.com/, ...
-1
votes
2answers
330 views

What conditions imply that a function over $\mathbb{Z}$ is a polynomial? [closed]

How would one prove that a function is a polynomial? I can't seem to find anything about this on the internet. I would like to know if there are any unique properties that only polynomials can ...
2
votes
0answers
163 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 ...
11
votes
1answer
2k views

Geometric meaning of a trigonometric identity

It follows from the law of cosines that if $a,b,c$ are the lengths of the sides of a triangle with respective opposite angles $\alpha,\beta,\gamma$, then $$ a^2+b^2+c^2 = 2ab\cos\gamma + 2ac\cos\beta ...