Search Results for ""

A generalization of the polylogarithm function defined by S_(n,p)(z)=((-1)^(n+p-1))/((n-1)!p!)int_0^1((lnt)^(n-1)[ln(1-zt)]^p)/tdt. The function reduces to the usual ...

A set A of integers is productive if there exists a partial recursive function f such that, for any x, the following holds: If the domain of phi_x is a subset of A, then f(x) ...

An interpretation of first-order logic consists of a non-empty domain D and mappings for function and predicate symbols. Every n-place function symbol is mapped to a function ...

The generalized hypergeometric function F(x)=_pF_q[alpha_1,alpha_2,...,alpha_p; beta_1,beta_2,...,beta_q;x] satisfies the equation where theta=x(partial/partialx) is the ...

An analytic function approaches any given value arbitrarily closely in any epsilon-neighborhood of an essential singularity.

A q-analog of the Chu-Vandermonde identity given by where _2phi_1(a,b;c;q,z) is the q-hypergeometric function. The identity can also be written as ...

A q-analog of the Saalschütz theorem due to Jackson is given by where _3phi_2 is the q-hypergeometric function (Koepf 1998, p. 40; Schilling and Warnaar 1999).

If a function phi:(0,infty)->(0,infty) satisfies 1. ln[phi(x)] is convex, 2. phi(x+1)=xphi(x) for all x>0, and 3. phi(1)=1, then phi(x) is the gamma function Gamma(x). ...

The Gudermannian function is the odd function denoted either gamma(x) or gd(x) which arises in the inverse equations for the Mercator projection. phi(y)=gd(y) expresses the ...

The principal branch of an analytic multivalued function, also called a principal sheet, is a single-valued "slice" (i.e., branch) of the function chosen that is for ...