Askey-Wilson relations and Leonard pairs

It is known that if (A,A^*) is a Leonard pair, then the linear transformations A, A^* satisfy the Askey-Wilson relations

     

Normalized Leonard pairs and Askey-Wilson relations

Let V denote a vector space with finite positive dimension, and let (A, A^∗) denote a Leonard pair on V. As is known, the linear transformations A, A^∗ satisfy the Askey-Wilson relations

     

Some trace formulae involving the split sequences of a Leonard pair

Let K denote a field, and let V denote a vector space over K with finite positive dimension. We consider a pair of linear transformations A : V → V and A^∗ : V → V that satisfy (i) and (ii) below:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

We call such a pair a Leonard pair on V. Let diag(θ₀, θ₁, … , θ_d) denote the diagonal matrix referred to in (ii) above and let denote the diagonal matrix referred to in (i) above. It is known that there exists a basis u₀, u₁, … , u_d for V and there exist scalars ?₁, ?₂, … , ?_d in K such that Au_i = θ_iu_i + u_i+1 (0 ? i ? d − 1), Au_d = θ_du_d, , . The sequence ?₁, ?₂, … , ?_d is called the first split sequence of the Leonard pair. It is known that there exists a basis v₀, v₁, … , v_d for V and there exist scalars ?₁, ?₂, … , ?_d in K such that Av_i = θ_d−iv_i + v_i+1 (0 ? i ? d − 1),Av_d = θ₀v_d, , . The sequence ?₁, ?₂, … , ?_d is called the second split sequence of the Leonard pair. We display some attractive formulae for the first and second split sequence that involve the trace function.     

The structure of a tridiagonal pair

Let K denote a field and let V denote a vector space over K with finite positive dimension.We consider a pair of K-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W,A^∗W⊆W,W≠0,W≠V.We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide.In this paper we show that the following (i)-(iv) hold provided that K is algebraically closed: (i) Each of has dimension 1.(ii) There exists a nondegenerate symmetric bilinear form 〈,〉 on V such that 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.(iii) There exists a unique anti-automorphism of End(V) that fixes each of A,A^∗.(iv) The pair A,A^∗ is determined up to isomorphism by the data , where θ_i (resp.) is the eigenvalue of A (resp.A^∗) on V_i (resp.), and is the split sequence of A,A^∗ corresponding to and .     

Linear transformations that are tridiagonal with respect to both eigenbases of a Leonard pair

Let V denote a vector space with finite positive dimension. We consider a pair of linear transformations A : V → V and A^∗ : V → V that satisfy (i) and (ii) below:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

We call such a pair a Leonard pair on V. Let X denote the set of linear transformations X : V → V such that the matrix representing X with respect to the basis (i) is tridiagonal and the matrix representing X with respect to the basis (ii) is tridiagonal. We show that X is spanned by

     

The switching element for a Leonard pair

Let V denote a vector space with finite positive dimension. We consider a pair of linear transformations A:V→V and A^∗:V→V that satisfy (i) and (ii) below:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

We call such a pair a Leonard pair on V. Let (resp. ) denote a basis for V referred to in (i) (resp. (ii)). We show that there exists a unique linear transformation S:V→V that sends v₀ to a scalar multiple of v_d, fixes w₀, and sends w_i to a scalar multiple of w_i for 1?i?d. We call S the switching element. We describe S from many points of view.     

Balanced Leonard pairs

Let K denote a field, and let V denote a vector space over K with finite positive dimension. By a Leonard pair on V we mean an ordered pair of linear transformations A : V → V and A^∗ : V → V that satisfy the following two conditions:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

Let (respectively v₀, v₁, … , v_d) denote a basis for V that satisfies (i) (respectively (ii)). For 0 ? i ? d, let a_i denote the coefficient of , when we write as a linear combination of , and let denote the coefficient of v_i, when we write A^∗v_i as a linear combination of v₀, v₁, … , v_d.In this paper we show a₀ = a_d if and only if . Moreover we show that for d ? 1 the following are equivalent; (i) a₀ = a_d and a₁ = a_d−1; (ii) and ; (iii) a_i = a_d−i and for 0 ? i ? d. These give a proof of a conjecture by the second author. We say A, A^∗ is balanced whenever a_i = a_d−i and for 0 ? i ? d. We say A,A^∗ is essentially bipartite (respectively essentially dual bipartite) whenever a_i (respectively ) is independent of i for 0 ? i ? d. Observe that if A, A^∗ is essentially bipartite or dual bipartite, then A, A^∗ is balanced. For d ≠ 2, we show that if A, A^∗ is balanced then A, A^∗ is essentially bipartite or dual bipartite.     

Determinantal formulas for zonal spherical functions on hyperboloids

Abstract. We construct determinantal expressions for the zonal spherical functions on the hyperboloids with p,q odd (and larger than 1). This gives rise to explicit evaluation formulas for hypergeometric series representing half-integer parameter families of Jacobi functions and (via specialization) Jacobi polynomials. Received November 18, 1999 / Published online October 30, 2000     

Group gradings on the superalgebras M(m,n), A(m,n) and P(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie superalgebras $P(n)$, $n\ge 2$, and on the simple associative superalgebras $M(m,n)$, $m,n\ge 1$, over an algebraically closed field: fine gradings up to equivalence and G-gradings, for a fixed group G, up to isomorphism. As a corollary, we also classify up to isomorphism the G-gradings on the classical Lie superalgebra $A(m,n)$ that are induced from G-gradings on $M(m+1,n+1)$. In the case of Lie superalgebras, the characteristic is assumed to be 0.     

Representations of lie groups and multidimensional special functions

This work is devoted to the construction and investigation of two new classes of special functions, related to representations of groups of motions in the spaces of constant curvature as well as the unitary group of large ranks. These are special functions with matrix indices and some types of orthogonal polynomials in several continuous and discrete variables. The functions introduced generalize a number of classical scalar special functions in one variable.     

Dirichlet inhomogeneous boundary value problem for the n+1 complex Ginzburg-Landau equation

We study the following complex Ginzburg-Landau equation with cubic nonlinearity on for under initial and Dirichlet boundary conditions u(x,0)=h(x) for x∈Ω, u(x,t)=Q(x,t) on ∂Ω where h,Q are given smooth functions. Under suitable conditions, we prove the existence of a global solution in H¹. Further, this solution approaches to the solution of the NLS limit under identical initial and boundary data as a,b→0⁺.     

On spherical expansions of zonal functions on Euclidean spheres

This paper describes a new approach to the problem of computing spherical expansions of zonal functions on Euclidean spheres. We derive an explicit formula for the coefficients of the expansion expressing them in terms of the Taylor coefficients of the profile function rather than (as done usually) in terms of its integrals against Gegenbauer polynomials. Our proof of this result is based on a polynomial identity equivalent to the canonical decomposition of homogeneous polynomials and uses only basic properties of this decomposition together with simple facts concerning zonal harmonic polynomials. As corollaries, we obtain direct and apparently new derivations of the so-called plane wave expansion and of the expansion of the Poisson kernel for the unit ball. Received: 26 January 2007     

General recurrence and ladder relations of hypergeometric-type functions

A method for the explicit construction of general linear sum rules involving hypergeometric-type functions and their derivatives of any order is developed. This method only requires the knowledge of the coefficients of the differential equation that they satisfy, namely the hypergeometric-type differential equation. Special attention is paid to the differential-recurrence or ladder relations and to the fundamental three-term recurrence formulas. Most recurrence and ladder relations published in the literature for numerous special functions including the classical orthogonal polynomials, are instances of these sum rules. Moreover, an extension of the method to the generalized hypergeometric-type functions is also described, allowing us to obtain explicit ladder operators for the radial wave functions of multidimensional hydrogen-like atoms, where the varying parameter is the dimensionality.     

Polynomial algorithms for m × (m + 1) integer programs and m × (m + k) diophantine systems

Recent results of Kannan and Bachem (on computing the Smith Normal Form of a matrix) and Lenstra (on solving integer inequality systems) are used with classical results by Smith to obtain polynomial-time algorithms for solving m × (m + 1) equality constrained integer programs and m × (m + k) systems of diophantine equations for fixed k.     

Zeros of entire functions and a problem of Ramanujan

We derive representations for certain entire q-functions and apply our technique to the Ramanujan entire function (or q-Airy function) and q-Bessel functions. This is used to show that the asymptotic series of the large zeros of the Ramanujan entire function and similar functions are also convergent series. The idea is to show that the zeros of the functions under consideration satisfy a nonlinear integral equation.     

Convexity of the zeros of some orthogonal polynomials and related functions

We study convexity properties of the zeros of some special functions that follow from the convexity theorem of Sturm. We prove results on the intervals of convexity for the zeros of Laguerre, Jacobi and ultraspherical polynomials, as well as functions related to them, using transformations under which the zeros remain unchanged. We give upper as well as lower bounds for the distance between consecutive zeros in several cases.     

Askey-Wilson polynomials and the quantum SU(2) group: Survey and applications

Generalised matrix elements of the irreducible representations of the quantum SU(2) group are defined using certain orthonormal bases of the representation space. The generalised matrix elements are relatively infinitesimal invariant with respect to Lie algebra like elements of the quantised universal enveloping algebra of sl(2). A full proof of the theorem announced by Noumi and Mimachi [Proc. Japan Acad. Sci. Ser. A 66 (1990), 146–149] describing the generalised matrix elements in terms of the full four-parameter family of Askey-Wilson polynomials is given. Various known and new applications of this interpretation are presented.Supported by a NATO-Science Fellowship of the Netherlands Organization for Scientific Research (NWO).     

p-Harmonic functions with boundary data having jump discontinuities and Baernstein's problem

For p-harmonic functions on unweighted R², with 1<p<∞, we show that if the boundary values f has a jump at an (asymptotic) corner point z₀, then the Perron solution Pf is asymptotically a+barg(z−z₀)+o(|z−z₀|). We use this to obtain a positive answer to Baernstein's problem on the equality of the p-harmonic measure of a union G of open arcs on the boundary of the unit disc, and the p-harmonic measure of . We also obtain various invariance results for functions with jumps and perturbations on small sets. For p>2 these results are new also for continuous functions. Finally we look at generalizations to Rn and metric spaces.