Search Results for ""

Let A and B be two algebras over the same signature Sigma, with carriers A and B, respectively (cf. universal algebra). B is a subalgebra of A if B subset= A and every ...

A generalization of the confluent hypergeometric differential equation given by (1) The solutions are given by y_1 = x^(-A)e^(-f(x))_1F_1(a;b;h(x)) (2) y_2 = ...

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). ...