The structure relation for Askey–Wilson polynomials

An explicit structure relation for Askey–Wilson polynomials is given. This involves a divided q-difference operator which is skew symmetric with respect to the Askey–Wilson inner product and which sends polynomials of degree n   to polynomials of degree n+1$n+1$. By specialization of parameters and by taking limits, similar structure relations, as well as lowering and raising relations, can be obtained for other families in the q-Askey scheme and the Askey scheme. This is explicitly discussed for Jacobi polynomials, continuous q-Jacobi polynomials, continuous q-ultraspherical polynomials, and for big q-Jacobi polynomials. An already known structure relation for this last family can be obtained from the new structure relation by using the three-term recurrence relation and the second order q-difference formula. The results are also put in the framework of a more general theory. Their relationship with earlier work by Zhedanov and Bangerezako is discussed. There is also a connection with the string equation in discrete matrix models and with the Sklyanin algebra.     

Two-sided inequalities for the Struve and Lommel functions

Abstract

Mathematical inequalities and other results involving such widely- and extensively-studied special functions of mathematical physics and applied mathematics as (for example) the Bessel, Struve and Lommel functions as well as the associated hypergeometric functions are potentially useful in many seemingly diverse areas of applications, especially in situations in which these functions are involved in solutions of mathematical, physical and engineering problems which can be modeled by ordinary and partial di?erential equations. With this objective in view, our present investigation is motivated by some open problems involving inequalities for a number of particular forms of the hypergeometric function ₁F₂(a; b, c; z). Here, in this paper, we apply a novel approach to such problems and obtain presumably new two-sided inequalities for the Struve function, the associated Struve function and the modified Struve function by first investigating inequalities for the general hypergeometric function ₁F₂(a; b, c; z). We also briefly discuss the analogous new inequalities for the Lommel function under some conditions and constraints. Finally, as special cases of our main results, we deduce several inequalities for the modified Lommel function and the normalized Lommel function.     

The Solow model improved through the logistic manpower growth law

In this paper the neo-classical economic Solow-Swan model (1956) has been improved replacing its Malthusian manpower law with the Verhulst (logistic) one. The relevant ordinary differential equation for the ratio capital/work has been then integrated in closed form via the Hypergeometric function₂ F ₁. The logistic growth injection for the manpower is detected to induce a more slow dynamics onto the Solow-Swan system, which keeps its stability. Increasing developments are displayed as the technologic progress rises. Further sceneries are tested and the congruence of the new solution with the classical one is shown switching to zero the selflimitation coefficent in the logistic law. Research supported by MURST grant:Metodi matematici in economia     

Polynomial identities and maximal subgroups of skew linear groups

Suppose that D is a division ring with center F and N is a non-central normal subgroup of GL _n (D). In this paper we generalize some known results about maximal subgroups of GL _n (D) to maximal subgroups of N. More precisely, we prove that if M is a maximal subgroup of N such that F[M] satisfies a polynomial identity and contains an algebraic element over F or and either n ≥ 2 or n = 1 and M is not abelian, then [D : F] < ∞. This research was partially supported by a grant from IPM (No. 85160047).     

Certain summation and transformation formulas for generalized hypergeometric series

We derive summation formulas for generalized hypergeometric series of unit argument, one of which upon specialization reduces to Minton’s summation theorem. As an application we deduce a reduction formula for a certain Kampé de Fériet function that in turn provides a Kummer-type transformation formula for the generalized hypergeometric function _pF_p(x).     

Sobolev inner products and orthogonal polynomials of Sobolev type

This survey paper deals with polynomials which are orthogonal with respect to scalar products of the form _R F ^T[A]G withF ^T=[f(x), f(Ⅎ(x),...f ^(y)(x)], [A] A _ji =A _ji =A _ij =d _ji (I _ji ) where d _ji is a measure of supportI _ij and [A] is positive semi-definite. Basic properties are indicated or proved in particular cases.     

On the Fourier transform of SO(d)-finite measures on the unit sphere

The paper presents a simple new approach to the problem of computing Fourier transforms of SO(d)-finite measures on the unit sphere in the euclidean space. Representing such measures as restrictions of homogeneous polynomials we use the canonical decomposition of homogeneous polynomials together with the plane wave expansion to derive a formula expressing such transforms under two forms, one of which was established previously by F. J. Gonzalez Vieli. We showthat equivalence of these two forms is related to a certain multi-step recurrence relation for Bessel functions, which encompasses several classical identities satisfied by Bessel functions. We show it leads further to a certain periodicity relation for the Hankel transform, related to the Bochner- Coifman periodicity relation for the Fourier transform. The purported novelty of this approach rests on the systematic use of the detailed form of the canonical decomposition of homogeneous polynomials, which replaces the more traditional approach based on integral identities related to the Funk-Hecke theorem. In fact, in the companion paper the present authors were able to deduce this way a fairly general expansion theorem for zonal functions, which includes the plane wave expansion used here as a special case.Received: 7 May 2004; revised: 11 October 2004     

On the diameters of commuting graphs

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all non-central elements of R and two distinct vertices x and y are adjacent if and only if xy = yx. Let D be a division ring and n ? 3. In this paper we investigate the diameters of Γ(M_n(D)) and determine the diameters of some induced subgraphs of Γ(M_n(D)), such as the induced subgraphs on the set of all non-scalar non-invertible, nilpotent, idempotent, and involution matrices in M_n(D). For every field F, it is shown that if Γ(M_n(F)) is a connected graph, then diam Γ(M_n(F)) ? 6. We conjecture that if Γ(M_n(F)) is a connected graph, then diam Γ(M_n(F)) ? 5. We show that if F is an algebraically closed field or n is a prime number and Γ(M_n(F)) is a connected graph, then diam Γ(M_n(F)) = 4. Finally, we present some applications to the structure of pairs of idempotents which may prove of independent interest.     

On special types of nonholonomic contact elements

Our starting point has been a recent clarification of the role of semiholonomic contact elements in the theory of submanifolds of Cartan geometries, Kolá? and Vitolo (2010) [5]. We deduce some further properties of the iterated contact elements by using the general concept of contact (n,F)-element for a regular subcategory F of the category of nonholonomic r-jets. Special attention is paid to the incidence relation of contact F-elements of different dimensions.     

Exploring multivariate Padé approximants for multiple hypergeometric series

We investigate the approximation of some hypergeometric functions of two variables, namely the Appell functions F _i , i = 1,...,4, by multivariate Padé approximants. Section 1 reviews the results that exist for the projection of the F _i onto ϰ=0 or y=0, namely, the Gauss function ₂ F ₁(a, b; c; z), since a great deal is known about Padé approximants for this hypergeometric series. Section 2 summarizes the definitions of both homogeneous and general multivariate Padé approximants. In section 3 we prove that the table of homogeneous multivariate Padé approximants is normal under similar conditions to those that hold in the univariate case. In contrast, in section 4, theorems are given which indicate that, already for the special case F ₁(a, b, b′; c; x; y) with a = b = b′ = 1 and c = 2, there is a high degree of degeneracy in the table of general multivariate Padé approximants. Section 5 presents some concluding remarks, highlighting the difference between the two types of multivariate Padé approximants in this context and discussing directions for future work. This revised version was published online in June 2006 with corrections to the Cover Date.     

Intersecting sperner families and their convex hulls

Let ℱ be a family of subsets of a finite set ofn elements. The vector (f ₀, ...,f _n ) is called the profile of ℱ wheref _i denotes the number ofi-element subsets in ℱ. Take the set of profiles of all families ℱ satisfyingF ₁⊄F ₂ andF ₁∩F ₂≠0 for allF ₁,F ₂teℱ. It is proved that the extreme points of this set inR ⁿ⁺¹ have at most two non-zero components. Dedicated to Paul Erdős on his seventieth birthday     

Weighted Polynomials on Discrete Sets

 For a real interval I of positive length, we prove a necessary and sufficient condition which ensures that the continuous L _p (0 < p ⩽ ∞) norm of a weighted polynomial, P _n w ⁿ , deg P _n  ⩽ n, n ⩾ 1 is in an nth root sense, controlled by its corresponding discrete H?lder norm on a very general class of discrete subsets of I. As a by product of our main result, we establish inequalities and theorems dealing with zero distribution, zero location and sup and L _p infinite–finite range inequalities. Received April 4, 2001; in final form June 21, 2002     

An algebra of differential operators and generating functions on the set of univalent functions

With a method close to that of Kirillov [4], we define sequences of vector fields on the set of univalent functions and we construct systems of partial differential equations which have the sequence of the Faber polynomials (F_n) as a solution. Through the Faber polynomials and Grunsky coefficients, we obtain the generating functions for some of the sequences of vector fields.     

Extended Deligne–Lusztig varieties for general and special linear groups

We give a generalisation of Deligne–Lusztig varieties for general and special linear groups over finite quotients of the ring of integers in a non-archimedean local field. Previously, a generalisation was given by Lusztig by attaching certain varieties to unramified maximal tori inside Borel subgroups. In this paper we associate a family of so-called extended Deligne–Lusztig varieties to all tamely ramified maximal tori of the group.Moreover, we analyse the structure of various generalised Deligne–Lusztig varieties, and show that the “unramified” varieties, including a certain natural generalisation, do not produce all the irreducible representations in general. On the other hand, we prove results which together with some computations of Lusztig show that for SL₂(Fq???/(?²)), with odd q, the extended Deligne–Lusztig varieties do indeed afford all the irreducible representations.     

Askey–Wilson type integrals associated with root systems

A new formula for an Askey–Wilson type integral associated with the root system F ₄ is studied. A simple proof of the evaluation formula for the original Askey–Wilson integral is also stated. 2000 Mathematics Subject Classification Primary—33D67, 33D60 This work was supported in part by Grant-in-Aid for Scientific Research (C) No. 15540045 from the Ministry of Education, Culture, Sports, Science and Technology (Japan).     

A Regularization Newton Method for Solving Nonlinear Complementarity Problems

In this paper we construct a regularization Newton method for solving the nonlinear complementarity problem (NCP(F )) and analyze its convergence properties under the assumption that F is a P ₀ -function. We prove that every accumulation point of the sequence of iterates is a solution of NCP(F ) and that the sequence of iterates is bounded if the solution set of NCP(F ) is nonempty and bounded. Moreover, if F is a monotone and Lipschitz continuous function, we prove that the sequence of iterates is bounded if and only if the solution set of NCP(F ) is nonempty by setting , where is a parameter. If NCP(F) has a locally unique solution and satisfies a nonsingularity condition, then the convergence rate is superlinear (quadratic) without strict complementarity conditions. At each step, we only solve a linear system of equations. Numerical results are provided and further applications to other problems are discussed. Accepted 25 March 1998     

Universal bases and greedy algorithms for anisotropic function classes

We suggest a three-step strategy to find a good basis (dictionary) for non-linear m-term approximation. The first step consists of solving an optimization problem of finding a near best basis for a given function class F, when we optimize over a collection D of bases (dictionaries). The second step is devoted to finding a universal basis (dictionary) D _u ∈ D for a given pair (F, D) of collections: F of function classes and D of bases (dictionaries). This means that D_u provides near optimal approximation for each class F from a collection F. The third step deals with constructing a theoretical algorithm that realizes near best m-term approximation with regard to D _u for function classes from F. In this paper we work this strategy out in the model case of anisotropic function classes and the set of orthogonal bases. The results are positive. We construct a natural tensor-product-wavelet-type basis and prove that it is universal. Moreover, we prove that a greedy algorithm realizes near best m-term approximation with regard to this basis for all anisotropic function classes.     

Multiple Orthogonal Polynomials Associated with the Modified Bessel Functions of the First Kind

   Abstract. We consider polynomials which are orthogonal with respect to weight functions, which are defined in terms of the modified Bessel function I _ν and which are related to the noncentral χ ² -distribution. It turns out that it is the most convenient to use two weight functions with indices ν and ν+1 and to study orthogonality with respect to these two weights simultaneously. We show that the corresponding multiple orthogonal polynomials of type I and type II exist and give several properties of these polynomials (differential properties, Rodrigues formula, explicit formulas, recurrence relation, differential equation, and generating functions).     

F-Polynomials in Quantum Cluster Algebras

F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A_n\mbox{A}_{n} quantum cluster algebras.