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

1
vote
0answers
42 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
32 views

Inverse Mellin transform of ratio of gamma functions

Any pointers on how to solve the inverse Mellin transform below:
1
vote
1answer
94 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 ...
0
votes
0answers
39 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)$$ ...
2
votes
0answers
81 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
49 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
95 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
100 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 ...
5
votes
1answer
336 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
80 views

a variational problem related to weighted logarithmic capacity

Consider the following multiple contour integral: $$ \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^{-\lambda_j + j - n ...
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
49 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
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 ...
2
votes
1answer
119 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 ...
3
votes
4answers
471 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 ...
5
votes
4answers
209 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/, ...
2
votes
1answer
190 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 ...
1
vote
0answers
123 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 ...
6
votes
1answer
136 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) ...
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 ...
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
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. ...
3
votes
0answers
100 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
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
165 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 ...
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 ...
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 ...
15
votes
2answers
332 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 ...
4
votes
2answers
267 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 ...
0
votes
0answers
177 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
392 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
757 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 ...
3
votes
1answer
152 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; ...
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 ...
3
votes
1answer
120 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 ...
2
votes
1answer
406 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 ...
5
votes
4answers
289 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} ...
2
votes
3answers
300 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 ...
2
votes
0answers
108 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
628 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}} ...
1
vote
1answer
96 views

Fast numerical approximation of Lauricella series of the fourth kind for real variables and real parameters

I'm looking for a method to efficiently compute a numerical approximation of $$F^n_D(x_1,\ldots,x_n) = \sum_{m=0}^{\infty} \sum_{i_1 +\ldots+i_n=m}\frac{(a)_{m}(b_1)_{i_1}\ldots ...
5
votes
1answer
231 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
123 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
270 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
182 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 ...
11
votes
1answer
255 views

An elementary expression for $_3F_2(1,1,9/4;2,2;-1)$

Consider the following series: $$S=\sum_{n=1}^\infty\frac{(-1)^n\ \Gamma\left(\frac{5}{4}+n\right)}{n^2\ \Gamma(n)}.$$ It can be expressed in terms of a hypergeometric function: ...
0
votes
1answer
147 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} ...
2
votes
2answers
252 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!} ...
5
votes
0answers
100 views

Is there a way to express hypergeometric identities in terms of D-modules?

A hypergeometric function is a solution to (*) w'' + p(z) w' + q(z) w = 0 where q has at most simple poles and q has at most double poles at 0,1,infty. That differential equation is equivalent ...
1
vote
1answer
333 views

principal specialization of projective Schur functions

Is there a nice/known formula for the (some) principal specialization of a projective (P or Q) Schur polynomial? That is, I am talking about a projective analogue of Stanley's hook content formula ...