1
vote
3answers
165 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
0answers
73 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
1answer
164 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}} ...
5
votes
1answer
112 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
1answer
104 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 ...
6
votes
1answer
184 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
136 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 ...
0
votes
1answer
124 views

Find a generalized hypergeometric-based function yielding certain ratios of fifth-degree polynomials

Find a (presumably, generalized hypergeometric-based function $f(n,a,k)$), yielding for $n=1, a=\frac{1}{2}$,the rational function (ratio of fifth-degree polynomials) \begin{equation} ...
1
vote
2answers
194 views

Hypergeometric identities

Let $m,k$ be positive integers with $k\le m$. Does anyone know some hypergeometric identities that imply $$\sum_{j=0}^k\frac{(-1/2)_{k-j}(m+1)_j(-m)_j}{(1/2)_j(k-j)!j!} ...
0
votes
2answers
178 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 )$ ...
4
votes
0answers
349 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) ...
3
votes
1answer
486 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} ...
0
votes
1answer
421 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 :)
9
votes
7answers
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 ...
1
vote
0answers
186 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}; ...
3
votes
0answers
449 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
177 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 ...
2
votes
1answer
411 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)= ...
2
votes
1answer
226 views

is this bound on a kummer function known?

Is it already known that ${}_1F_1(a;b;x) \leq \Gamma(b)(1+|x|)^{-a}$ when $a$ is an integer, $a <0,$ and $b>0?$ If it is, what is a reference? my proof: Since the Kummer function can be ...
0
votes
1answer
503 views

infinite series with Hypergeometric functions

Can we get a closed form for the series $\sum^\infty_{k=0} \frac{ t^k}{k!} \Gamma(k+a)\Gamma(k+\frac{1}{2}){}_2F_1(k+a,k+\frac{1}{2};n+1,x)$ any hints or clues are welcomed.
4
votes
3answers
529 views

Asymptotic bounds for a confluent hypergeometric function $F_{1}[;1;x]$

I know that for infinite series and $|z|<1$ there exists a confluent hypergeometric expression $ \sum_{k=0}^{\infty} \frac{z^k}{k!k!} = F_{1}[;1;z] $ This is not very helpful though, and I 'd ...
13
votes
5answers
2k views

Why are hypergeometric series important and do they have a geometric or heuristic motivation?

Apart from telling that the hypergeometric functions (or series) are the solutions to the (essentially unique?) fuchsian equation on the Riemann sphere with 3 "regular singular points", the wikipedia ...
29
votes
4answers
2k views

Groups, quantum groups and (fill in the blank)

In the study of special functions there are three levels of objects, classical, basic and elliptic. These correspond to classical hypergeometric functions, basic (q-) hypergeometric functions, and ...
4
votes
2answers
368 views

Analytic continuation of $_4F_3(1)$

The Gauss theorem $${_2F_1}(a,b;c;1)=\frac{\Gamma(c-a)\Gamma(c-b)}{\Gamma(c)\Gamma(c-a-b)}$$ allows to compute the analytic continuation of ${_2F_1}(a,b;c;1)$ for $a+b>c$ when the series ...
25
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} ...
7
votes
3answers
1k views

Recent work on hypergeometric functions

Does anyone know of a monograph/survey on the modern history of (basic or elliptic) hypergeometric functions and their applications? I haven't had much time to search the literature, and because it ...