2
$\begingroup$

Is this special case of hypergeometric function expressible in terms of more elementary functions :

$$_2F_1\left[\frac{1}{2},n+\frac{1}{2};n+1;z\right]$$

It will also be helpful for me to know, if this function appears in any well studied discrete probability functions.

$\textbf{Note :}$ $n \in \mathbb{Z}_{}^{+}$ and $z \in \mathbb{R}$ with $0\leq z \leq 1$.

$\endgroup$
  • 1
    $\begingroup$ I guess $n$ is an integer? Positive? $\endgroup$ – Fabian Dec 15 '18 at 21:00
  • $\begingroup$ @Fabian Yes, I forgot to mention. $\endgroup$ – Sunyam Dec 15 '18 at 21:01
1
$\begingroup$

Maple relates this to the associated Legendre polynomials/functions: $$_2F_1\left(\frac{1}{2},n+\frac{1}{2};n+1;z\right) = {z}^{-n/2}P^{-n}_{-1/2}\left(-{\frac {z+1}{z-1}}\right) \frac{\Gamma(n+1)}{\sqrt{1-z}}$$

See also Abramowitz/Stegun 15.4.15 with $a=1/2, b=n+1/2$

$\endgroup$
  • $\begingroup$ Thank you. Mathematica was not able to simplify. Does this hold for complex $z$. $\endgroup$ – Sunyam Dec 15 '18 at 21:52
  • 1
    $\begingroup$ Yes, for complex $z$ (with some restrictions) this is 15.4.14 on the same A/S page. $\endgroup$ – gammatester Dec 15 '18 at 22:09
  • 1
    $\begingroup$ The first few of these (and I assume all of them) have the form $$\frac{A(z)}{\pi}\;K(\sqrt{z})+\frac{B(z)}{\pi}\;F(\sqrt{z})$$where $A(z), B(z)$ are rational functions and $F,K$ are the complete elliptic integrals. (I used Maple, perhaps as usual the $\sqrt{z}$ would be $z$ in Mathematica notation.) $\endgroup$ – GEdgar Dec 15 '18 at 22:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.