Questions tagged [hypergeometric-functions]
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 many parts of mathematics.
32
questions
7
votes
1
answer
2k
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)\...
5
votes
1
answer
872
views
Series solution of the trinomial equation
The roots of trinomial equations $x^p+x-q=0$ ($p\in\mathbb{N}$) can be expressed in terms of the hypergeometric functions. I am wondering if at least one real root, for instance given by the following ...
45
votes
5
answers
5k
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
$$
u_n=\frac{(30n)!n!}{(15n)!(10n)!(6n)...
42
votes
5
answers
4k
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 ...
5
votes
1
answer
507
views
Closed form for $\int_0^T e^{-x}\frac{I_n(\alpha x)}{x}dx$
EDIT: Some additional details and corrections, I would appreciate any information about the highlighted expression.
I try to solve $\int_0^T e^{-x}\frac{I_n(\alpha x)}{x}dx$ where $I_n(x)$ is the ...
3
votes
4
answers
820
views
Compute the two-fold partial integral, where the three-fold full integral is known
I have the following trivariate ($\rho_{11}, \rho_{22}, \mu$) function
\begin{equation}
4 \mu ^{3 \beta +1} \rho_{11}^{3 \beta +1} \left(-\rho_{11}-\rho_{22}+1\right){}^{3 \beta +1}
\rho_{22}^{3 \...
0
votes
1
answer
155
views
"Find a representation [using Mellin transform] of 𝑓(𝜇,𝛽) as Gauss hypergeometric function in variable 𝜇"
This is a follow-up to the first comment (by Nemo) to the posting Compute the two-fold partial integral, where the three-fold full integral is known . (I also just asked this as a comment to that ...
47
votes
6
answers
7k
views
Are hypergeometric series not taught often at universities nowadays, and if so, why?
Recently, I've become more and more interested in hypergeometric series. One of the things that struck me was how it provides a unified framework for many simpler functions. For instance, we have
$$ \...
43
votes
6
answers
7k
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 ...
40
votes
1
answer
2k
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} \...
18
votes
2
answers
3k
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 ...
17
votes
1
answer
859
views
Proof of certain $q$-identity for $q$-Catalan numbers
Let us use the standard notation for $q$-integers, $q$-binomials,
and the $q$-analog
$$
\operatorname{Cat}_q(n) := \frac{1}{[n+1]_q} \left[\matrix{2n \\ n}\right]_q.
$$
I want to prove that for all ...
12
votes
3
answers
982
views
Identity with binomial coefficients and k^k
In process of doing some computations on Hilbert schemes, I stumbled across the following identity, for $k \ge 2$:
$$
k^{k-3} = \frac{1}{2} \sum_{i=1}^{k-1} \binom{k-2}{i-1} i^{i-2} (k-i)^{k-i-2}
$$
...
9
votes
4
answers
1k
views
Special values of the modular J invariant
A special value:
$$
J\big(i\sqrt{6}\;\big) = \frac{(14+9\sqrt{2}\;)^3\;(2-\sqrt{2}\;)}{4}
\tag{1}$$
I wrote $J(\tau) = j(\tau)/1728$.
How up-to-date is the Wikipedia listing of known special values ...
9
votes
0
answers
318
views
When exactly is the principal AGM equal to the optimal AGM?
Definitions
Following the terminology of SageMath, let the principal arithmetic-geometric mean, $\operatorname{AGP}$, of $(a,b)\in\mathbb{C}^2$ for $a\ne 0$, $b\ne 0$, $a\ne\pm b$ be defined as ...
8
votes
0
answers
316
views
A hypergeometric series for $\sqrt3\pi$ with converging rate $1/9$
Recently, I found a (conjectural) new series for $\sqrt3\pi$:
$$\sum_{k=1}^\infty\frac{(8k-3)\binom{4k}{2k}}{k(4k-1)9^k\binom{2k}k^2}=\frac{\sqrt3\pi}{18}.\label{1}\tag{1}$$
The series converges fast ...
7
votes
3
answers
436
views
A hypergeometric identity related to Bessel functions
The identity in my recent answer can be stated in a particularly neat form:
$${}_2F_0\left({-n, n+1\atop{}};\frac{x}{2}\right) ~\cdot~ {}_2F_0\left({-n, n+1\atop{}};-\frac{x}{2}\right) ~=~ {}_3F_0\...
7
votes
1
answer
647
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 ...
6
votes
2
answers
278
views
Signs of Kravchuk matrix asymptotically produce a large circular region with hyperbolic sinks. Why?
The Kravchuk matrix of dimension $n+1$ is such that its entries satisfy $$K_{i,j}^{(n+1)}=[x^i](1+x)^{n-j}(1-x)^j\quad\forall0\le i,j\le n.$$ It enjoys properties such as involution and has various ...
6
votes
0
answers
254
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 ...
6
votes
0
answers
500
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 ...
5
votes
1
answer
950
views
Integral involving Laguerre, Gaussian and modified Bessel function
I am trying to prove that the integral
\begin{align}
\int_{0}^{\infty } e^{-\frac{r^2}{2B}} r^{l-n}
L_n^{l-n}\left(\frac{r^2}{C}\right) I_{l-n}\left(\rho r \right) r dr
\end{align}
has ...
5
votes
0
answers
149
views
Characterization of the hypergeometric function
One of the definition of the hypergeometric function $_2 F_1$ rely only on its global properties around the singularities (and not on a differential equation or a serie expansion)
In modern language (...
4
votes
1
answer
207
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 ...
4
votes
1
answer
456
views
How to calculate this summation $\sum_{k=0}^m a^k b^{m-k} {n_1\choose k} {n_2\choose m-k} $?
Question: How to calculate this summation $S=\sum_{k=0}^m a^k b^{m-k} {n_1\choose k} {n_2\choose m-k} $? Where $m<n_1,m<n_2$
Remark1: When $a=b$, I know the above summation $S=a^m\sum_{k=0}^m {...
4
votes
1
answer
201
views
Perform an integration over the unit interval of a two-parameter expression involving a Gauss hypergeometric function
In a quantum-information-theoretic context, I've encountered the problem
of integrating over $r \in [0,1]$, the function
\begin{equation}
r^{2 d-1} \, _2F_1\left(-\frac{d}{2},\frac{d}{2};\frac{d+2}{2}...
3
votes
1
answer
220
views
integral involving hypergeometric function of matrix argument
This conjecture comes from an observation on simulations of the matrix variate noncentral Beta distribution (similar to this observation, but I open a new question because yet I'm not sure it is ...
3
votes
0
answers
154
views
Hilbert's 13th Problem and series solutions for the reduced sextic, septic, and octic?
I. Reduced equations
One can eliminate 3 terms from the general quintic, sextic, septic, and octic using a Bring-Jerrard transformation to get the reduced forms in radicals,
$$x^5+(x+p) = 0$$
$$x^6+(x+...
3
votes
1
answer
261
views
Periodic Gauss hypergeometric function
I stumbled upon the following identity, which I have not tried to prove, but seems true:
the function $$f(t):={}_2F_1(1/2,2t;1-t;4)$$
is periodic of period 1, and more precisely
$$f(t)=\dfrac{1+2e^{-2\...
2
votes
2
answers
230
views
Integral expressions for Bessel-like power series
I'm interested in power series of form $$f(z)=\sum_{k=0}^\infty \frac{z^k}{(k!)^\alpha}.$$ When $\alpha=1$, this becomes $\exp(z)$. For $\alpha=2$ this is a Bessel function and for larger integer $\...
1
vote
0
answers
195
views
Euclidean volumes under the matrix norm of one-parameter subsets of unit balls of $2 \times 2$ matrices
Prove that the Hilbert-Schmidt volume (normalized to equal 1 at $\varepsilon=1$) of the subset of the unit ball in operator norm (http://mathworld.wolfram.com/OperatorNorm.html) of the $2\times 2$ ...
1
vote
2
answers
556
views
Power series of ratio of Gamma functions
Let $a>1$ and define $G_a(x)=\sum\limits_{n=0}^{+\infty} \frac{\Gamma(\frac{2n+1}{a})}{\Gamma(2n+1)\Gamma(\frac{1}{a})}x^n$ where $\Gamma$ is the Gamma function. This series is convergent on $\...