hypergeom - Maple Help

hypergeom

generalized hypergeometric function

 Calling Sequence hypergeom([n1, n2, ... ], [d1, d2, ... ], z) Hypergeom([n1, n2, ... ], [d1, d2, ... ], z)

Parameters

 [n1, n2, ...] - list of upper parameters (may be empty) [d1, d2, ...] - list of lower parameters (may be empty) z - expression

Description

 • Let $n=[\mathrm{n1},\mathrm{n2},...]$, $p=\mathrm{nops}\left(n\right)$, $d=[\mathrm{d1},\mathrm{d2},...]$ and $q=\mathrm{nops}\left(d\right)$. The hypergeom(n, d, z) calling sequence is the generalized hypergeometric function $F\left(n,d,z\right)$. This function is frequently denoted by $\mathrm{pFq}\left(n,d,z\right)$.
 • Formally, $F\left(n,d,z\right)$ is defined by the series

$\sum _{k=0}^{\mathrm{\infty }}\frac{{z}^{k}\prod _{i=1}^{p}\mathrm{pochhammer}\left({n}_{i},k\right)}{k!\prod _{j=1}^{q}\mathrm{pochhammer}\left({d}_{j},k\right)}$

 For the definition of the $\mathrm{pochhammer}$ symbol, see pochhammer.
 • If some ${n}_{i}$ is a non-positive integer, the series is finite (that is, $F\left(n,d,z\right)$ is a polynomial in $z$).
 If some ${d}_{j}$ is a non-positive integer, the function is undefined for all non-zero $z$, unless there is also a negative upper parameter of smaller or equal absolute value, in which case the previous rule applies.
 • For the remainder of this description, assume no ${n}_{i}$ or ${d}_{j}$ is a non-positive integer.
 • When $p\le q$, this series converges for all complex $z$, and hence defines $F\left(n,d,z\right)$ everywhere.
 • When $p=q+1$, the series converges for $|z|<1$. $F\left(n,d,z\right)$ is then defined for $|z|>=1$ by analytic continuation.  The point $z=1$ is a branch point, and the interval (1,infinity) is the branch cut.
 • When $q+1 the hypergeometric series diverges for all $z\ne 0$ unless it is a polynomial (i.e. the function has nonpositive integers in the first list of parameters). In this case, the hypergeometric function can be defined as the analytic continuation of the (customarily undefined) hypergeometric series through a contour integral (see DLMF (16.5.1)). In this event, the formal hypergeometric series is the asymptotic expansion of the contour integral when z goes to 0 in a restricted sector of the complex plane. The positive real axis is the branch cut. This is analogous to perform the summation with the sum command and the option formal for resummation of divergent series (see sum, details). To compute with the customary behavior where the hypergeometric series and the hypergeometric function are considered divergent when $q+1, assign the variable _EnvFormal to false (see example at the end).
 • %hypergeom is the inert form of hypergeom (that is, it returns unevaluated because it is the inert form of this function). Use value to evaluate a call to Hypergeom, or evalf to compute a floating-point approximate value.  See also simplify and convert/StandardFunctions.

Examples

 > $\mathrm{hypergeom}\left(\left[\right],\left[\right],z\right)$
 ${\mathrm{hypergeom}}{}\left(\left[\right]{,}\left[\right]{,}{z}\right)$ (1)
 > $\mathrm{hypergeom}\left(\left[\right],\left[\right],\mathrm{\pi }\right)$
 ${\mathrm{hypergeom}}{}\left(\left[\right]{,}\left[\right]{,}{\mathrm{\pi }}\right)$ (2)
 > $\mathrm{hypergeom}\left(\left[a\right],\left[\right],z\right)$
 ${\mathrm{hypergeom}}{}\left(\left[{a}\right]{,}\left[\right]{,}{z}\right)$ (3)
 > $\mathrm{hypergeom}\left(\left[1,2\right],\left[2,3\right],z\right)$
 ${\mathrm{hypergeom}}{}\left(\left[{1}\right]{,}\left[{3}\right]{,}{z}\right)$ (4)

To compute floating point values, use evalf or include a floating point number in the function call.

 > $\mathrm{evalf}\left(\mathrm{hypergeom}\left(\left[\right],\left[\right],\mathrm{\pi }\right)\right)=\mathrm{evalf}\left(\mathrm{exp}\left(\mathrm{\pi }\right)\right)$
 ${23.14069264}{=}{23.14069264}$ (5)
 > $\mathrm{hypergeom}\left(\left[1,1\right],\left[\frac{1}{2}\right],0.6+1.I\right)$
 ${-0.7108888111}{+}{0.9936207217}{}{I}$ (6)

The simplify function is used to simplify expressions which contain hypergeometric functions.

 > $\mathrm{simplify}\left(z\mathrm{hypergeom}\left(\left[\right],\left[\frac{3}{2}\right],-\frac{{z}^{2}}{4}\right),\mathrm{hypergeom}\right)$
 ${\mathrm{sin}}{}\left({z}\right)$ (7)
 > $\mathrm{simplify}\left(\mathrm{hypergeom}\left(\left[a\right],\left[\right],z\right),\mathrm{hypergeom}\right)$
 ${\left({1}{-}{z}\right)}^{{-}{a}}$ (8)

The inert form of %hypergeom can be evaluated by the function value.

 > $\mathrm{%hypergeom}\left(\left[1,2\right],\left[2,3\right],z\right)$
 ${\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{\mathrm{%hypergeom}}{}\left(\left[{1}{,}{2}\right]{,}\left[{2}{,}{3}\right]{,}{z}\right)\right]\right)$ (9)
 > $\mathrm{value}\left(\right)$
 ${\mathrm{hypergeom}}{}\left(\left[{1}\right]{,}\left[{3}\right]{,}{z}\right)$ (10)

This following 2F0 hypergeometric function is not polynomial (no nonpositive integers in the first list of parameters).

 > $\mathrm{hypergeom}\left(\left[\frac{3}{10},\frac{3}{2}\right],\left[\right],-\frac{1}{5}\right)$
 ${\mathrm{hypergeom}}{}\left(\left[\frac{{3}}{{10}}{,}\frac{{3}}{{2}}\right]{,}\left[\right]{,}{-}\frac{{1}}{{5}}\right)$ (11)

This is the equivalent hypergeometric series,

 > $\mathrm{Sum}\left(\frac{\mathrm{pochhammer}\left(\frac{3}{10},n\right)\mathrm{pochhammer}\left(\frac{3}{2},n\right){\left(-\frac{1}{5}\right)}^{n}}{n!},n=0..\mathrm{\infty }\right)$
 ${\sum }_{{n}{=}{0}}^{{\mathrm{\infty }}}{}\frac{{\mathrm{pochhammer}}{}\left(\frac{{3}}{{10}}{,}{n}\right){}{\mathrm{pochhammer}}{}\left(\frac{{3}}{{2}}{,}{n}\right){}{\left({-}\frac{{1}}{{5}}\right)}^{{n}}}{{n}{!}}$ (12)

While in this case where $q+1 this sum is divergent, the hypergeometric function analytically extendes this series by means of a contour integral (see DLMF 16.5.1), and the sum is numerically evaluated as the asymptotic expansion of that contour integral resulting in a finite value (see sum, details, the _EnvFormal variable). So

 > $\mathrm{evalf}\left(\right)=\mathrm{evalf}\left(\right)$
 ${0.9298279399}{=}{0.9298279399}$ (13)

Assigning the variable _EnvFormal := false, and clearing the remember table of evalf, the system uses the customary definition of the hypergeometric function as divergent in the case $q+1

 > $\mathrm{forget}\left(\mathrm{evalf}\right)$
 > $\mathrm{_EnvFormal}≔\mathrm{false}$
 ${\mathrm{_EnvFormal}}{≔}{\mathrm{false}}$ (14)
 > $\mathrm{evalf}\left(\right)$
 ${Float}{}\left({\mathrm{\infty }}\right){+}{Float}{}\left({\mathrm{\infty }}\right){}{I}$ (15)