Hypergeometric functions are the analytic functions defined by Taylor expansions of the shape $\sum_{n \geq 0} a_n x^n$, where $a_{n+1}/a_n$ is a rational function of $n$. This general family of functions encompasses many classical functions. The hypergeometric functions play an important role in ...

learn more… | top users | synonyms

5
votes
1answer
55 views

Exponential approximation for 3F2 hypergeometric function with repeated indices

In my research I have run across the hypergeometric function $${}_3F_2(d,d,d;d+1,d+1;z)$$ where d is a positive integer and 0≤z≤1. When I plot this as a function of d on a semilog plot, it appears to ...
5
votes
0answers
143 views

a variational problem related to weighted logarithmic capacity

Consider the following multiple contour integral: $$ \Phi_\lambda := \oint \ldots \oint \prod_{1 \le j < k \le n} (z_j^{-1} - z_k^{-1}) \prod_{j=1}^n \prod_{k=1}^n (1 - z_j x_k)^{-1} \prod_{j=1}^n ...
5
votes
1answer
168 views

Can you get the following asymptotic expression for an hypergeometric function?

I conjecture that the following statement holds for large values of $N$ $$ {}_3F_1\left(-N+1,1,1;2;-\frac{1}{N}\right)\to\frac{1}{2}\bigg({}_2F_1(1,1;2;1-\frac{1}{N})+\log 2+\gamma\bigg) $$ where $\...
1
vote
0answers
43 views

The integral of $\Gamma\left(\zeta\right) \, W_{-\zeta,\mu}(z) $

Someone has a reference that addresses an integral of the followns type $$I_{a,b,x} = \int_{0}^{+\infty} \zeta^{-a} \, \Gamma\left(\zeta+b\right) \, W_{-\zeta-b,\tfrac{-1}{2}}(x) \, d\zeta$$ where ...
0
votes
0answers
37 views
1
vote
1answer
160 views

Fourier transform of tanh [closed]

tanh is not absolutely integrable, so a direct fourier transform does not exist. But even for the signum function, which is not absolutely intrgrable, we can get the fourier transform by applying some ...
2
votes
1answer
294 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 ...
0
votes
0answers
45 views

hypergeometric representation of Hermite $H_n(x)$

The DLMF has a hypergeometric representation for the Hermite polynomial $H_n(x)$ for real $x$, apparently. $$H_n(x)=(2x)^n{}_2F_0\left(\frac{-\tfrac12n;-\tfrac12n+\tfrac12}{};-\frac{1}{x^2}\right)$$ (...
5
votes
1answer
347 views

Relations between some works by Deligne-Mostow and Thurston

Happy new year 2016! A coworker and I are interested in the relations between the works of Deligne and Mostow ([DM] and [M]) on the monodromy of Appell-Lauricella hypergeometric functions (Publ. ...
2
votes
0answers
82 views

Hypergeometric function

Suppose that $V$ follows the mean reverting process $$dV=η( ̅V-V)Vdt+σVdz$$ I want to find the optimal investment rule, and using Itos's lemma I get that the differential equation that $F(V)$ must ...
1
vote
0answers
63 views

Solving the sextic equation using univariate analytic functions and arithmetic operations

Inspired by the top answer to this MO question, I would like to push the limit of the Hermite-Brioschi-Kronecker theorem. Suppose we only allow solutions to be expressed in terms of basic arithmetic ...
2
votes
0answers
105 views

Hypergeometric function asymptotics

I came across the following hypergeometric function recently: $$ _2F_1(1-n,p-2n+1;p-n+1;x) $$ where $p > 0$ is a non-integer constant, $n$ some large positive integer, and $x > 0$ a small ...
2
votes
1answer
107 views

First proof of the integral representation of the hypergeometric function $F(a,b,c;\cdot)$

Assuming $\lvert x\lvert<1$ and $0<a<c$, the following formula holds true $$F(a,b,c;x)=\sum_{n=0}^{+\infty} \frac{(a)_n(b)_n}{(c)_n(1)_n} x^n=\frac{\Gamma ( c )}{\Gamma(a)\Gamma(c-a)}\int_0^...
1
vote
3answers
184 views

Hypergeometric sum specific value

How to show? $${}_2F_1(1,1;\frac{1}{2}, \frac{1}{2}) = 2 + \frac{\pi}{2} $$ It numerically is very close, came up when evaluating: $$ \frac{1}{1} + \frac{1 \times 2}{1 \times 3} + \frac{1 \times 2 \...
2
votes
1answer
205 views

Asymptotic formula for Gauss hypergeometric function

My problem refers to the asymptotic formula for Gauss hypergeometric function $F(n, b; 2n; z)$, where $n$ is a fixed positive integer, $z$ is a fixed positive real number less than unity, and the ...
2
votes
1answer
42 views

Sum of difference equation involving hypergeometric functions 1F0

I'm trying to prove the sum of a sequence given by $a_{n+1} = \frac{nb-x}{(n+1)b} a_n$ with $a_1 = 1$. This gives the solution $a_n = \frac{(-x/b)_n}{n!}$. When trying to work out what this sums to, ...
1
vote
0answers
68 views

Integration involving modified bessel function, exponential and power

I need to find the following integration. $$ \int_0^a e^{-(N-1)x}(\sqrt{4x}K_{1}(\sqrt{4x}))^N $$ where $$ a>0, \quad N \geq 1 $$ Any help will be much appreciated. BR Frank
3
votes
0answers
104 views

Does there exist duality/symmetry between Fuchsian differential equations, like in the case of confluent hypergeometric?

My question is about whether certain dualities or symmetries hold between pairs of Fuchsian differential equations, but I need to give a bit of background to explain what I want to ask. Thank you for ...
4
votes
1answer
730 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} \ff(b+k;b;z)\...
0
votes
0answers
23 views

How to prove ${}_2\phi_1(q^{-n},b;c;q,q)=\frac{(c/b;q)_n}{(c;q)_n}b^n.$

Firstly, we have already known the one of $q$-analogues of Vandermonde's formula, which is $${}_2\phi_1(q^{-n},b;c;q,cq^n/b)=\frac{(c/b;q)_n}{(c;q)_n}.$$ And there is a hint, when we change the order ...
15
votes
2answers
337 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 {2923235}{2924207}}\...
1
vote
0answers
62 views

Equivalent of Lauricella $F_D$ on an elliptic curve?

Lauricella's hypergeometric function $F_D$ is related to (weighted) configurations of points on $\mathbb{P}^1$. I am looking for generalizations to weighted point configurations on an elliptic curve. ...
2
votes
1answer
121 views

Looking for Schmickler-Hirzebruch' monograph on elliptic surfaces

I wonder if it is possible to find (and if yes, where?) an electronic copy of the following monograph: Author: Schmickler-Hirzebruch, Ulrike Title: Elliptische Flächen über $\mathbb P^1(\mathbb C)$...
3
votes
4answers
481 views

Solution of second order differential equation with singularities at 0,1, and ∞

I am trying to solve the following equation; $$ U''+\left( \frac{1}{t}+\frac{3}{t-1}\right)U'+\left(\frac{1}{t}+C\right)\frac{U}{t(t-1)}=0 $$ where U is a function of t and C is constant. The above ...
6
votes
1answer
139 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) \...
5
votes
4answers
213 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
vote
0answers
127 views

Four kinds of generalized hypergeometric formulas for $\pi$

Given, $$\begin{array}{|c|c|c|c|} \hline n&a_n&b_n&c_n\\ \hline 1 & 6541681608 & 163096908 & -640320^3\\ \hline 2 & 85840 & 4492 & -14112^2\\ \hline 3 & 28302 &...
1
vote
1answer
118 views

Approximation of $ _2F_1((b-1)a,b;ba;x) $

Is there any (simple) approximation of this Hypergeometric function: $ _2F_1((b-1)a,b;ba;x) $, where $0<x<1$ and $b>a>1$. Thanks!
1
vote
1answer
154 views

How to prove that $(1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$) for $x\ll 1$ in this specific case

After multiple plots I noticed that function $h(x)= (1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$), for $x\ll 1$ (specifically $0<x<0.1$) and $a=(K-1)d$,...
3
votes
1answer
155 views

Limit of a hypergeometric integral

Let $n,N,T$ be positive integers, with $N=\binom{n}{2}$, and $3\leq n\leq T\leq N$. Define: $$P(z):=z^{N+1-T}\int_0^1\frac{(1-t^2)^{n-2}}{(1-(1-z)t)^{N+1}}{}_2F_1\left[-T,N+1,N+2-T; \frac{tz}{1-(1-z)...
5
votes
4answers
293 views

Exponential of a specific hypergeometric series

This is motivated by this question. Let $f$ be the hypergeometric series $ f(x) = 2 x \, _{4}F_3([1, 1, 4/3, 5/3], [2, 2, 2], 27 x) $ which is explictly given by $ f(x) = \sum_{n \geq 1} \frac{(3n-...
15
votes
2answers
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 ...
11
votes
8answers
2k 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 ...
4
votes
0answers
73 views

Identities for ${~}_3\phi_1$?

I am looking for some source of summation formulas for the $q$-hypergeometric function ${~}_3\phi_1$ in the sense of Gasper-Rahman book. For some reason, the book focuses heavily on ${~}_{r+1}\phi_r$ ...
2
votes
1answer
168 views

Are binomial coefficients $F_1$ analogs of $q$-binomial coefficients?

This is a mostly philosophical question. Is it fair to think of usual binomial coefficients and their identities as an $F_1$ case of $q$-binomial coefficients and identities? Here $F_1$ is the field ...
4
votes
2answers
293 views

Sharp upper bounds on hypergeometric function ${}_2F_1[a,b,c;z]$ when $|z|\geq1$

Generally, hypergeometric function ${}_2F_1[a,b,c;z]$ is defined using Gauss series ${}_2F_1[a,b,c;z]=\sum_{n=0}^\infty\frac{(a)_n(b)_n}{(c)_nn!}z^n$ with $|z|<1$, and there seems to be a lot of ...
34
votes
5answers
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 ...
3
votes
0answers
160 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 G''(x)=&\mathscr{...
19
votes
4answers
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 ...
5
votes
1answer
235 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 F(x)...
3
votes
1answer
118 views

hypergeometric at nearest singularity

Reference request. A prototype case: In $$ {}_2F_1\left(\frac{1}{12},\frac{5}{12};\frac{1}{2};x\right) = A\log\left(\frac{1}{1-x}\right) + B + o(1), \qquad x \to 1^- $$ what can we say about the ...
25
votes
6answers
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 ...
0
votes
0answers
180 views

a question on sum of Gaussian binomial coefficients

I was trying to calculate something and at some point I get the following sum: \begin{equation} \sum_{t=0,t \text{ even}}^{s}{s+3n \brack s-t}\sum_{i = 0}^{t/2}q^{2i^2}{t/2+2n-i \brack t/2-i}{n \...
2
votes
0answers
395 views

closed form expression for an infinite series

Is there any closed form expression for the infinite sum $\sum_{n \geq 0}q^{n(n+1)/2}(1+q)(1+q^2)\cdots(1+q^n)u^n$ where both $q$ and $n$ are variables and $n \in N \cup {0}$?
7
votes
3answers
762 views

Combinatorial identity involving the square of $\binom{2n}{n}$

Is there any closed formula for $$ \sum_{k=0}^n\frac{\binom{2k}{k}^2}{2^{4k}} $$ ? This sum of is made out of the square of terms $a_{k}:=\frac{\binom{2k}{k}}{2^{2k}}$ I have been trying to verify ...
2
votes
3answers
313 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 ...
6
votes
1answer
274 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
419 views

Asymptotic form of the Gauß Hypergeometric function 2F1 for three parameters approaching infinity

I am trying to find the leading order expression in an expansion for large $\Delta$ of ${}_2F_1\left(\frac{\Delta}{2},\frac{\Delta+1}{2},\Delta,z^{-2}\right)$, where $z\in\mathbb{C}$. The only ...
3
votes
1answer
122 views

proof that the schwarz map defined as ratios of gauss hypergeometric functions is univalent

The ratio of two linearly independent solutions of the Guass hypergeometric differential equation defines a map from the upper half plane to a Schwarz triangle. Everything I read tells me that this ...
31
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} \...