Hypergeometric4F3

Notations

Traditional name

Traditional notation

Mathematica StandardForm notation

Primary definition

Specific values

Values at z==0

Values at z==1

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4]), (Subscript[b, 1]), (Subscript[b, 2]), (Subscript[b, 3])

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4]), (Subscript[b, 2]), (Subscript[b, 3])

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4])

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3])

For fixed (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4])

For fixed (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[b, 1])

For fixed (Subscript[a, 3]), (Subscript[a, 4]), (Subscript[b, 1])

For fixed (Subscript[a, 1]), (Subscript[a, 2])

For fixed (Subscript[a, 2]), (Subscript[a, 3])

For fixed (Subscript[a, 3]), (Subscript[a, 4])

For fixed (Subscript[a, 2]), (Subscript[b, 2])

For fixed (Subscript[a, 3]), (Subscript[b, 2])

For fixed (Subscript[a, 4]), (Subscript[b, 1])

For fixed (Subscript[a, 4]), (Subscript[b, 2])

For fixed (Subscript[a, 1])

For fixed (Subscript[a, 2])

For fixed (Subscript[a, 3])

Values at z==-1

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4])

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3])

For fixed (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4])

For fixed (Subscript[a, 1]), (Subscript[a, 2])

For fixed (Subscript[a, 2]), (Subscript[a, 3])

For fixed (Subscript[a, 3]), (Subscript[a, 4])

For fixed (Subscript[a, 2])

For fixed (Subscript[a, 3])

Specialized values

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4]), (Subscript[b, 1]), (Subscript[b, 2]), z

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4]), (Subscript[b, 1]), z

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4]), (Subscript[b, 3]), z

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4]), z

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), z

For fixed (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[b, 2]), z

For fixed (Subscript[a, 1]), (Subscript[a, 2]), z

For fixed (Subscript[a, 1]), (Subscript[b, 1]), z

For fixed (Subscript[a, 2]), (Subscript[b, 2]), z

For fixed (Subscript[a, 1]), z

For fixed z and integer parameters

For fixed z and all parameters rational

Magnus Herberthson

For fixed z

Brychkov Yu.A. (2006)

Values at fixed points

For z==1 and integer parameters

Values at z==1

For z==-1 and integer parameters

Values at z==-1

Values at z==(1/2)

Values at z==((3-(Sqrt[5]))/2)

For z==-27 and integer parameters

General characteristics

Some abbreviations

Domain and analyticity

(Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) is an analytical function of (Subscript[a, 1]), (Subscript[a, 2]), (Subscript[a, 3]), (Subscript[a, 4]), (Subscript[b, 1]), (Subscript[b, 2]), (Subscript[b, 3]) and z which is defined in (ℂ^8). If parameters (Subscript[a, k])include negative integers, the function (Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) degenerates to a polynomial in z.

Symmetries and periodicities

Mirror symmetry

Permutation symmetry

Periodicity

No periodicity

Poles and essential singularities

With respect to z

With respect to (Subscript[a, l])

The function (Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) as a function of  (Subscript[a, l]),1≤l≤4, has only one singular point at (Subscript[a, l])= (OverTilde[∞]).  It is an essential singular point.

With respect to (Subscript[b, j])

The function (Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) as a function of  (Subscript[b, j]),1≤j≤3, has an infinite set of singular points:
a) (Subscript[b, j])==- k/;k∈ℕ, are the simple poles with residues (((((-1))^k) )/(k!))(Subscript[, 4])(Subscript[(OverTilde[F]), 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),…,(Subscript[b, j-1]),-k,(Subscript[b, j+1]),…,(Subscript[b, 3]);z);
b) (Subscript[b, j])==(OverTilde[∞]) is the point of convergence of poles,  which is an essential singular point.

Branch points

With respect to z

With respect to (Subscript[a, l])

The function (Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) as a function of  (Subscript[a, l]),1≤l≤4, does not have branch points.

With respect to (Subscript[b, j])

The function (Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) as a function of  (Subscript[b, j]),1≤j≤3, does not have branch points.

Branch cuts

With respect to z

With respect to (Subscript[a, l])

The function (Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) as a function of  (Subscript[a, l]),1≤l≤4, does not have branch cuts.

With respect to (Subscript[b, j])

The function (Subscript[, 4])(Subscript[F, 3])((Subscript[a, 1]),(Subscript[a, 2]),(Subscript[a, 3]),(Subscript[a, 4]);(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3]);z) as a function of  (Subscript[b, j]),1≤j≤3, does not have branch cuts.

Limit representations

Continued fraction representations

Differential equations

Ordinary linear differential equations and wronskians

For the direct function itself

Transformations

Products, sums, and powers of the direct function

Products of the direct function

Identities

Recurrence identities

Consecutive neighbors

Distant neighbors with respect to q

Functional identities

Relations between contiguous functions

Relations of special kind

Division on even and odd parts and generalization

Major general cases

Functional identities for z==1

Differentiation

Low-order differentiation

With respect to (Subscript[a, 1])

With respect to (Subscript[a, 2])

With respect to (Subscript[a, 3])

With respect to (Subscript[a, 4])

With respect to (Subscript[b, 1])

With respect to (Subscript[b, 2])

With respect to (Subscript[b, 3])

With respect to element of parameters |||  With respect to element of parameters

With respect to z

Symbolic differentiation

With respect to (Subscript[a, 1])

With respect to (Subscript[a, 2])

With respect to (Subscript[a, 3])

With respect to (Subscript[a, 4])

With respect to (Subscript[b, 1])

With respect to (Subscript[b, 2])

With respect to (Subscript[b, 3])

With respect to element of parameters |||  With respect to element of parameters

With respect to z

Fractional integro-differentiation

With respect to z

Integration

Indefinite integration

Involving only one direct function

Involving one direct function and elementary functions

Definite integration

For the direct function itself

Involving the direct function

Integral transforms

Laplace transforms

Summation

Infinite summation

Operations

Limit operation

Representations through more general functions

Through hypergeometric functions

Involving HypergeometricPFQRegularized

Involving HypergeometricPFQ

Through Meijer G

Classical cases for the direct function itself

Copyright