We prove a summation formula for a bilateral series whose terms are products of two basic hypergeometric functions. In special cases, series of this type arise as matrix elements of quantum group representations.

A three-complex-parameter class of orthogonal Laurent polynomials on the unit circle associated with basic hypergeometric or q-hypergeometric functions is considered. To be precise, we consider the orthogonality properties of the sequence of polynomials { 2Φ1(q−n, qb+1; q−c+b−n; q, qz)}n=0, where 0 < q < 1 and the complex parameters b, c and d are such that b = −1,−2, . . ., c− b+ 1 = −1,−2, . ...

In this paper the possibility of applying the Trefftz-method to thick and thin shells is discussed. A mixed variational formulation is used in which the assumed strain and stress functions are derived from the three-dimensional solution representation for the displacement field. For the construction of the linearly independent Trefftz trial functions both the Neuber/Papkovich solution represent...

this paper deals with the basic notions of k-tautimmersions . these notions come from two special cases; that is, tight and taut immersions. tight and taut based on high and distance functions respectively and their basic notions are normal bundle, endpoint map, focal point, critical normal. we generalize hight and distance functions to cylindrical function and define basic notions of k-taut im...

An approach to analyzing structures by using beam elements is developed with adaptive displacement interpolation functions. First, the element stiffness matrix and equivalent nodal loads are derived on the basis of the equilibrium between nodal forces and section forces rather than the compatibility between nodal deformations and section deformations, which avoids discretization errors caused b...

In this paper x, r are real numbers. Let A be a set. We say that A is symmetrical if and only if: (Def. 1) For every complex number x such that x ∈ A holds −x ∈ A. Let us note that there exists a subset of C which is symmetrical. Let us observe that there exists a subset of R which is symmetrical. In the sequel A denotes a symmetrical subset of C. Let R be a binary relation. We say that R has s...

The allowed patterns of a map on a one-dimensional interval are those permutations that are realized by the relative order of the elements in its orbits. The set of allowed patterns is completely determined by the minimal patterns that are not allowed. These are called basic forbidden patterns. In this paper we study basic forbidden patterns of several functions. We show that the logistic map L...

It is shown that all the provably total functions of Basic Arithmetic , a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind of primitive recursive realizability to which is sound, is introduced. This realizability is similar to Kleene’s recursive realizability, except that recursive functions are restricted to primitive recurs...