hypergeom - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Conversions : Function : hypergeom

hypergeom

generalized hypergeometric function

 

Calling Sequence

Parameters

Description

Examples

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=[n1,n2,...], p=nopsn, d=[d1,d2,...] and q=nopsd. The hypergeom(n, d, z) calling sequence is the generalized hypergeometric function Fn,d,z. This function is frequently denoted by pFqn,d,z.

• 

Formally, Fn,d,z is defined by the series

k=0zki=1ppochhammerni,kk!j=1qpochhammerdj,k

  

For the definition of the pochhammer symbol, see pochhammer.

• 

If some ni is a non-positive integer, the series is finite (that is, Fn,d,z is a polynomial in z).

  

If some dj 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 ni or dj is a non-positive integer.

• 

When pq, this series converges for all complex z, and hence defines Fn,d,z everywhere.

• 

When p=q+1, the series converges for &verbar;z&verbar;<1. Fn&comma;d&comma;z is then defined for &verbar;z&verbar;>=1 by analytic continuation.  The point z=1 is a branch point, and the interval (1,infinity) is the branch cut.

• 

When q+1<p the hypergeometric series diverges for all z0 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<p, 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

hypergeom&comma;&comma;z

hypergeom&comma;&comma;z

(1)

hypergeom&comma;&comma;Pi

hypergeom&comma;&comma;π

(2)

hypergeoma&comma;&comma;z

hypergeoma&comma;&comma;z

(3)

hypergeom1&comma;2&comma;2&comma;3&comma;z

hypergeom1&comma;3&comma;z

(4)

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

evalfhypergeom&comma;&comma;Pi&equals;evalf&ExponentialE;Pi

23.14069264=23.14069264

(5)

hypergeom1&comma;1&comma;12&comma;0.6&plus;1.I

−0.7108888111+0.9936207217I

(6)

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

simplifyzhypergeom&comma;32&comma;z24&comma;hypergeom

sinz

(7)

simplifyhypergeoma&comma;&comma;z&comma;hypergeom

1za

(8)

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

%hypergeom1&comma;2&comma;2&comma;3&comma;z

?

(9)

value

hypergeom1&comma;3&comma;z

(10)

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

hypergeom310&comma;32&comma;&comma;15

hypergeom310&comma;32&comma;&comma;15

(11)

This is the equivalent hypergeometric series,

n&equals;0&infin;pochhammer310&comma;npochhammer32&comma;n15nn&excl;

n=0pochhammer310&comma;npochhammer32&comma;n15nn!

(12)

While in this case where q+1<p 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

evalf&equals;evalf

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<p

forgetevalf

_EnvFormalfalse

_EnvFormalfalse

(14)

evalf

Float+FloatI

(15)

See Also

Appell

convert

convert/elementary

convert/StandardFunctions

evalf

Heun

initialfunctions

MeijerG

pochhammer

simplify/hypergeom

value