In mathematics, the Gaussian or ordinary hypergeometric function ${}_2F_1(a,b;c;z)$ is a special function represented by the hypergeometric series, that includes many other special functions as specific or limiting cases. It is a solution of a second-order linear ordinary differential equation ...

learn more… | top users | synonyms

0
votes
0answers
31 views

Asymptotics of Hypergeometric series

Suppose we have a $_pF_q$ hypergeometric series that terminates for all $r>t$ for some positive integer $t$, and consider the expression \begin{multline*}\lim_{n\to\infty} ...
1
vote
0answers
13 views

Simplified expression of $ _2F_1((K-1)a,K,Ka,x) $

Is there any simplified expression of this Hypergeometric function $ _2F_1((K-1)a,K,Ka,x) $ Thanks!
1
vote
1answer
31 views

Simple explanation for Hypergeometric distribution probability

I am following through the Hypergeometric distribution: The probability that we select a sample of size $n$ containing $r$ defective items from a population of $N$ items known to contain $M$ ...
1
vote
2answers
89 views

Hypergeometric function integral representation

How to prove the following relation? $$ \, _2{F}_1(K,K;K+1;1-m) = \frac{\Gamma (K+1)}{\Gamma (K)} \int_0^{\infty } \frac{1}{(1+x) (m+x)^K} \, dx $$ where $_2{F}_1(.,.;.;.)$ is the hypergeometric ...
2
votes
1answer
81 views

how to integrate $\mathrm{arcsin}\left(x^{15}\right)$?

Integral by parts: $$ I = x\sin^{-1}\left(x^{15}\right) - \int\frac{15x^{15}}{\sqrt{1-x^{30}}}dx $$ then what? The answer by wolfram gives an answer contains hypergeometric ${}_2F_1$ function,because ...
3
votes
0answers
65 views

Proving that $\sum_{k=0}^\infty\frac{2^{-5k}(6k+1)((2k-1)!!)^3}{4(k!)^3} = {1\over\pi}$

While trying to prove that $$(1)\qquad x\sum_{k=0}^\infty\frac{2^{-5k}(6k+1)((2k-1)!!)^3}{4(k!)^3} = 1 \implies x=\pi$$ I got to a point, using W|A, where I have to prove that $$\color{red}{(2)\qquad ...
6
votes
1answer
139 views

Prove this closed-form of sum of ${_4F_3}$ hypergeometric functions

I think the following identity is true. How could we prove it? $${_4F_3}\left(\begin{array}c 1,1,1,1 \\\tfrac54,2,2\end{array}\middle|\,1\right) + ...
16
votes
1answer
207 views
2
votes
0answers
125 views

What more can i do to this infinite sum?

This question sprung out from another post of mine that was in part by Semiclassical, he Proved the Following: $$ \sum_{n=0}^{\infty} {}_2F_1(\frac{1}{2},\frac{1-n}{2};\frac{3}{2};1)/n! = 2\pi ...
5
votes
2answers
127 views

Evaluating a series of hypergeometric functions

I would like to prove (or disprove) the following statement: $$ \sum_{n=0}^\infty \left[\frac{{}_2{\rm F}_1\left(\frac{1}{2},\frac{1-n}{2};\frac{3}{2};1\right)}{n!}\right] = \frac{\pi}{2} \left[ ...
3
votes
2answers
91 views

Closed-form of the sequence ${_2F_1}\left(\begin{array}c\tfrac12,-n\\\tfrac32\end{array}\middle|\,\frac{1}{2}\right)$

Is there a closed-form of the following sequence? $$a_n={_2F_1}\left(\begin{array}c\tfrac12,-n\\\tfrac32\end{array}\middle|\,\frac{1}{2}\right),$$ where $_2F_1$ is the hypergeometric function and $n ...
1
vote
1answer
28 views

Multiplying the results of a hypergeometric distribution to get a total probability

For a (trading) card game I would like to determine the probability of a specific hand from a deck of cards. I can determine the probability of a single card occurring any number of times in an ...
1
vote
1answer
45 views

Integral of a function which yields a hyper-geometric function

Note that $n$ is an arbitrary constant. $$ \int(\sin^n(x))dx $$ I start by using the obvious integrating by parts and get: $$ \frac{d}{dx}[x\sin^n(x)] = \sin^n(x) + nx\sin^{n-1}(x)\cos(x) $$ $$ ...
7
votes
2answers
149 views

A Sine integral: problem I

Is it possible to demonstrate a solution for the integral \begin{align} \int_{0}^{\infty} x^{n} \, \sin\left( a x^{2} + \frac{b}{x^{2}} \right) \, dx \end{align}
6
votes
1answer
211 views

Prove ${_2F_1}\left(\begin{array}c\tfrac16,\tfrac23\\\tfrac56\end{array}\middle|\,\frac{80}{81}\right)=\frac 35 \cdot 5^{1/6} \cdot 3^{2/3}$

I've found the following hypergeometric function value by numerical observation. The identity matches at least for $100$ digits. ...
1
vote
2answers
59 views

What is the closed form of a certain sum

The following sum appears in a problem of Mathematical Epidemiology: $$P(m)=\sum _{p=0}^{\infty } \left( \sum _{q=0}^{\infty }2\,{\frac {\min \{ p,q \} {{\rm e}^{-m}} \left( \frac{m}{2} \right) ...
2
votes
1answer
25 views

Expression of the Runge function's derivative

I am trying to get the nth derivative of the Runge function i.e. i want : $$\dfrac{d^n}{dx^n} \dfrac{1}{1+25x^2}.$$ Mathematica gives me the answer : $$\dfrac{d^n}{dx^n} \dfrac{1}{1+25x^2}=\dfrac{n! ...
5
votes
1answer
35 views

Integral versus hypergeometric series: how to solve this?

How can I resolve the following indefinite integral using hypergeometric series? $$ \int (x^3 + 1)^\frac{1}{3} \,dx $$ Wolfram Alpha indicates that the series of Appell are used, but how to get to ...
0
votes
0answers
16 views

Monotonicity of Gauss Hypergeometry function

I have had some Gauss Hypergeometry functions (2F1(a,b;c;x)) involved in my work. For intuition, I wish to know the monotonicity (how does it change with x) of these functions. Specifically, is ...
0
votes
1answer
30 views

Show that this Markov chain is recurrent

So I have a Markov chain on the nonnegative integers such that, starting from $x$, the chain goes to $x+1$ with probability $p$, $0<p<1$, and goes to state $0$ with probability $1-p$. I'm ...
2
votes
0answers
48 views

Moment Generating Function of a Beta random variable.

After getting some excellent help on this problem in the statistics SE, I am reformuluating my question. Let me know if I should just delete it and ask a new one. Let $V$ be a $Beta(\alpha,1)$ ...
12
votes
2answers
312 views

The closed form of $\lim_{x\to\frac{4}{3}}\frac{\partial}{\partial x}\left[\,_2{\rm{F}}_1\left(\frac{1}{3},1;x;-1\right)\right]$

Do you think the following limit might have a closed form? Some hints or clues? $$\lim_{x\to\frac{4}{3}}\frac{\partial}{\partial x}\left[\,_2{\rm{F}}_1\left(\frac{1}{3},1;x;-1\right)\right]$$
0
votes
0answers
16 views

Integral of Hypergeometric Function with polynomial, power, exponential and logarithm function

I am trying to work out this integral. If there is no closed form, can you think of any approximations to it?
1
vote
0answers
34 views

A generalization of Clausen's formula

Clausen's formula, $${}_{2}F_{1}(a, b; c; x)^2 = {}_{3}F_{2}(2a, 2b, a + b; 2a + 2b, c; x), \quad c = a + b + \frac{1}{2},$$ is well known. Does anyone know if this formula has been generalized for an ...
1
vote
0answers
17 views

Evaluation of hypergeometric function when the argument is sum of two matrices

If $_pF_q\left(a_1,\cdots,a_p;b_1,\cdots,b_q;A+B\right)$ is a hypergeometric function whose third argument is a sum of two positive definite symmetric matrices, $A$ and $B$, then is there any way to ...
26
votes
4answers
868 views

Closed form for ${\large\int}_0^1\frac{\ln^2x}{\sqrt{1-x+x^2}}dx$

I want to find a closed form for this integral: $$I=\int_0^1\frac{\ln^2x}{\sqrt{x^2-x+1}}dx\tag1$$ Mathematica and Maple cannot evaluate it directly, and I was not able to find it in tables. A numeric ...
0
votes
0answers
24 views

Representing a binomial expansion as a hypergeometric series

I just started learning about hypergeometric series and to start off with an example problem, I wanted to try to express the binomial expansion as a hypergeometric series. In specific, I wanted to ...
0
votes
1answer
48 views

MLE of Urn Without Replacement Problem

An urn has W white balls where W is unknown. Suppose that R=5 Red balls are added to the urn and then a random sample of N=10 balls is selected. But this time, Suppose that we continue to draw balls ...
1
vote
1answer
20 views

Hypergeometric Distrbution issue

So I am trying to figure out some probabilities using hypergeometric distribution, and I am a little confused on one part I am trying to figure out. I know how to figure out what the probability is ...
0
votes
0answers
19 views

How to express a hypergeometric confluent function in the pFq form?

I would like to implement the following function due to Erdeliy and need it as $_pF_q^{(\alpha)}(a,b;c,d)$ $\Phi_3=\Sigma_{m} \Sigma_{n} \frac{(\beta)_m}{(\gamma)_{m+n}m!n!}x^{m}y^{n}$, where the ...
6
votes
1answer
107 views

Simpler closed form for $\sum_{n=1}^\infty\frac{\Gamma\left(n+\frac{1}{2}\right)}{(2n+1)^4\,4^n\,n!}$

I'm trying to find a closed form of this sum: $$S=\sum_{n=1}^\infty\frac{\Gamma\left(n+\frac{1}{2}\right)}{(2n+1)^4\,4^n\,n!}.\tag{1}$$ WolframAlpha gives a large expressions containing multiple ...
3
votes
0answers
57 views

Relations between the Eisenstein series and the hypergeometric series

It is known that $$E_4(\tau) = {}_{2}F_{1}\left(\frac{1}{12}, \frac{5}{12}; 1; \frac{1}{J(\tau)}\right)^4$$ and $$E_6(\tau) = {}_{2}F_{1}\left(\frac{1}{12}, \frac{7}{12}; 1; \frac{1}{1 - ...
4
votes
2answers
119 views

Prove: $\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3$

I'd like to evaluate the following definite integral: $$\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3.$$ ...
0
votes
0answers
19 views

Approximate $_2F_1(a,b;c;x)$ for large (maybe negative) values of $a, b, c$?

I need asymptotic approximations of the Hypergeometric function $_2F_1(a,b;c;x)$ for large positive values of $a, b, c$. Specifically, I need approximations for all the possible regimes, in which one ...
5
votes
0answers
73 views

Integral's Closed-form expression in terms of hypergeometric function

I want to solve the following integral: $$I = 2\left[\int_{0}^{1}\dfrac{y^m}{(1 - ay)^{m + 1}\sqrt{1 - y^2}}\mathrm{d}y+\int_{0}^{1}\dfrac{y^m}{(1 + ay)^{m + 1}\sqrt{1 - y^2}}\mathrm{d}y\right]$$ ...
3
votes
1answer
139 views

How to evaluate the integral $\int_{1}^{\infty} x^{-5/3} \cos\left((x-1) \tau\right) dx$

I would like to evaluate the following integral: $$\int_{1}^{\infty} x^{-5/3} \cos\left((x-1) \tau\right) dx$$ I get the Integral by Maple and it gives the Lommel function. After that, I will search ...
2
votes
0answers
48 views

Continued Fraction Expansion

While reading "Gauss, Landen, Ramanujan, the Arithmetic-Geometric Mean, Ellipses, π, and the Ladies Diary " [p.602] from $F\left( -\dfrac {1}{2},-\dfrac {1}{2};1;\lambda^{2}\right)=1+\dfrac {\lambda ...
2
votes
0answers
71 views

Hypergeometric function ratios: $\frac{_{2}F_{1}(a+1,b;c;x)}{_{2}F_{1}(a,b;c;x)}$?

I need a numerically stable way to compute the following ratio: $$\frac{_{2}F_{1}(a+1,b;c;x)}{_{2}F_{1}(a,b;c;x)},$$ All the parameters are real numbers, with $a< 0$,$\ $ $b,c > 0$ and ...
13
votes
2answers
376 views
8
votes
1answer
101 views

Prove $_2F_1\!\left(\frac76,\frac12;\,\frac13;\,-\phi^2\right)=0$

Please help me to prove the identity $$_2F_1\!\left(\frac76,\frac12;\,\frac13;\,-\phi^2\right)=0,$$ where $\phi=\frac{1+\sqrt5}2$ is the golden ratio.
0
votes
1answer
59 views

Symbolic Integration involving hypergeometric functions

What's the best way to symbolically evaluate this integral? $$\frac{1}{\hbar}\int_{-\infty}^\infty e^{iux/\hbar}\Psi^{*}_n(p-u/2)\Psi_n(p+u/2)\,du$$ where: $$\Psi_n(p)=\frac{1}{(1+\alpha ...
20
votes
2answers
513 views
21
votes
2answers
419 views

Prove $_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47$

I discovered the following conjecture numerically, but have not been able to prove it yet: $$_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47.\tag1$$ The equality holds ...
17
votes
1answer
315 views

Prove ${\large\int}_0^\infty\left({_2F_1}\left(\frac16,\frac12;\frac13;-x\right)\right)^{12}dx\stackrel{\color{#808080}?}=\frac{80663}{153090}$

I discovered the following conjectured identity numerically (it holds with at least $1000$ digits of precision). How can I prove it? ...
1
vote
0answers
29 views

a question on sum of q_binomials

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 ...
23
votes
1answer
403 views

Prove ${\large\int}_0^\infty\frac{\ln x}{\sqrt{x}\ \sqrt{x+1}\ \sqrt{2x+1}}dx\stackrel?=\frac{\pi^{3/2}\,\ln2}{2^{3/2}\Gamma^2\left(\tfrac34\right)}$

I discovered the following conjecture by evaluating the integral numerically and then using some inverse symbolic calculation methods to find a possible closed form: $$\int_0^\infty\frac{\ln ...
8
votes
1answer
106 views

Derivative of a generalized hypergeometric function

Let $$f(a)={_2F_3}\left(\begin{array}c1,\ 1\\\tfrac32,\ 1-a,\ 2+a\end{array}\middle|-\pi^2\right).$$ How to find $f'(0)$ in a closed form?
2
votes
2answers
56 views

Evaluation of Indefinite Integral resulting in Hypergeometric Function

I am attempting to derive the result: $$ \int \left(1+x^n\right)^{-1/m}dx= x\,_2F_1\left(\frac 1m,\frac 1n;1+\frac 1n;-x^n\right)$$ First, I start off with the binomial expansion of the integrand to ...
3
votes
1answer
77 views

Does $\int { y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$ have a closed form

I am trying to solve the following indefinite integral $$F_Y(y) = \int {y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$$ Where $J_0$ is the Bessel function of the first kind. I tried ...
0
votes
1answer
63 views

Hypergeometric function representation

Is it possible to express the following sum in terms of the hypergeometric function $_2F_1$: $$ f(x) = \sum_{n=0}^\infty\frac{(-ax)^n}{n!~\Gamma(b-n)} $$ with $a$ and $b$ constant values ($x>0$ ...