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
166 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 $\...
3
votes
0answers
111 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 - z_k) \prod_{j=1}^n \prod_{k=1}^n (1 - z_j x_k)^{-1} \prod_{j=1}^n z_j^{-\...
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
35 views
1
vote
1answer
132 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
41 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
342 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
52 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
101 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
106 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
183 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
199 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
59 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
101 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
723 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
334 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
477 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
137 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
211 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
124 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
153 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
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 ...
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
167 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
281 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
233 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 ...
24
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
179 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
393 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
759 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
310 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
413 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} \...
1
vote
0answers
599 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 $f(...