**0**

votes

**0**answers

194 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

**1**answer

598 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)=
...

**7**

votes

**0**answers

321 views

### Polynomials with presumably positive coefficients

The $q$-Pochhammer symbol
$(q) _ 0:=1$ and $(q) _ n:=\prod _ {j=1}^n (1-q^j)$ for $n > 0$ is clearly a polynomial in $q$ which has both positive and negative coefficients when $n>0$.
The ...

**2**

votes

**1**answer

253 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 ...

**1**

vote

**1**answer

612 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.

**3**

votes

**2**answers

545 views

### Logarithm of a hypergeometric series

I am sorry if the answer to my question is well-known. I am quite new in this topic, so it will be also nice to have a reference, if it exists.
I was wondered if there exists a nice closed formula ...

**4**

votes

**3**answers

618 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 ...

**2**

votes

**0**answers

251 views

### Upper bounds on hypergeometric function 3F2

Are there any existing bounds on the hypergeometric function 3F2(-m,-n,1/2;1,1;4) where m,n>=1? Or any thoughts how one can be obtained?
Most of the inequalities I've seen apply to the cases whose ...

**6**

votes

**2**answers

743 views

### Closed form or/and asymptotics of a hypergeometric sum

Dear mathematicians,
I am a computer scientist wandering in the deep sea of combinatorics and asymptotics to pursue a recent interest in average case analysis of algorithms. In doing so, I designed ...

**2**

votes

**4**answers

1k views

### Closed-form for modified formal power series

This question have been driving me crazy for months now. This comes from work on multiple integrals and convolutions but is phrased in terms of formal power series.
We start with a formal power ...

**6**

votes

**1**answer

898 views

### A 2F1 Hypergeometric identity from a Feynman integral

Using two different approaches to evaluating the dimensionally regularized ($d=4-2\epsilon$ dimensional Euclidean space), equal mass ($x=m^2$), 2-loop vacuum Feynman diagram
$$
\begin{align}
I(x) ...

**1**

vote

**0**answers

575 views

### Limit of two hypergeometric functions (2F1)

Hi,
Does anyone know whether there is a known function/distribution that corresponds to the limit:
$\lim_{\epsilon\rightarrow0^+} \mathfrak{Re}\left[f(x+i\epsilon) - f(x-i\epsilon)\right]$
when ...

**24**

votes

**6**answers

3k 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 ...

**33**

votes

**5**answers

3k 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 ...

**2**

votes

**1**answer

264 views

### hypergeometric closed form for z=1/4,-1/3

There exist the linear identities for the 2f1 hypergeometric function where z is either -1, 1, or 1/2
using the quadratic transdormations it is easy to derive new identities in terms of gamma ...

**4**

votes

**2**answers

383 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 ...

**6**

votes

**0**answers

404 views

### Relation between two hypergeometric series

EDIT: Context for this investigation can be found in one of my other MO posts, "Pythagorean Theorem for Right-Corner Hyperbolic Simplices?"
--
I'm investigating a function that has led me to this ...

**30**

votes

**0**answers

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

**3**answers

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 ...

**11**

votes

**2**answers

768 views

### Positivity of sequences via generating series

There are different ways of showing that a given sequence $a_0,a_1,a_2,\dots$
of integers, say, is nonnegative. For example, one can show that $a_n$ count
something, or express $a_n$ as a (multiple) ...

**4**

votes

**1**answer

815 views

### Is there a closed form for this hypergeometric expression?

I am trying to compute the number of distinct ways a $4n$ $\times$ $4n$ chessboard can be colored black and white, with exactly half the squares black and half the squares white. By distinct, I mean ...

**4**

votes

**1**answer

960 views

### A (known?) hypergeometric identity

Incidentally I've obtained a hypergeometric identity that I've not seen before:
$${}_3F_2(-m,-n,m+n; 1, 1; 1) = \frac{m^2+n^2+mn}{(m+n)^2} {\binom{m+n}{m}}^2$$
So, I wonder if it is well-known and ...

**2**

votes

**1**answer

407 views

### “Closed” form for Motzkin and related numbers

I wonder whether it is impossible to write the nth Motzkin number as a sum of a fixed number of, say, hypergeometric terms. To illustrate what I mean: $n!+(2n)!$ is not a hypergeometric term, but it ...

**33**

votes

**4**answers

3k views

### Integer-valued factorial ratios

This historical question recalls
Pafnuty Chebyshev's estimates for the prime distribution function. In his derivation
Chebyshev used the factorial ratio sequence
$$
...

**14**

votes

**2**answers

2k views

### Binomial supercongruences: is there any reason for them?

One of the recent questions, in fact
the answer
to it, reminded me about the binomial sequence
$$
a_n=\sum_{k=0}^n{\binom{n}{k}}^2{\binom{n+k}{k}}^2,
\qquad n=0,1,2,\dots,
$$
of the Apéry ...

**19**

votes

**4**answers

1k views

### Are the q-Catalan numbers q-holonomic?

The generating function $f(z)$ of the Catalan numbers which is characterized by $f(z)=1+zf(z)^2$ is D-finite, or holonomic, i.e. it satisfies a linear differential equation with polynomial ...

**17**

votes

**3**answers

2k views

### Recursions which define polynomials

There are many examples (Somos sequences, special polynomials related to rational solutions of the Painleve equations) when a recurrence relation, which a priori produces a sequence of rational ...