No Arabic abstract
The paper contains a generalization of known properties of Chebyshev polynomials of the second kind in one variable to polynomials of $n$ variables based on the root lattices of compact simple Lie groups $G$ of any type and of rank $n$. The results, inspired by work of H. Li and Y. Xu where they derived cubature formulae from $A$-type lattices, yield Gaussian cubature formulae for each simple Lie group $G$ based on interpolation points that arise from regular elements of finite order in $G$. The polynomials arise from the irreducible characters of $G$ and the interpolation points as common zeros of certain finite subsets of these characters. The consistent use of Lie theoretical methods reveals the central ideas clearly and allows for a simple uniform development of the subject. Furthermore it points to genuine and perhaps far reaching Lie theoretical connections.
Recursive algebraic construction of two infinite families of polynomials in $n$ variables is proposed as a uniform method applicable to every semisimple Lie group of rank $n$. Its result recognizes Chebyshev polynomials of the first and second kind as the special case of the simple group of type $A_1$. The obtained not Laurent-type polynomials are proved to be equivalent to the partial cases of the Macdonald symmetric polynomials. Basic relation between the polynomials and their properties follow from the corresponding properties of the orbit functions, namely the orthogonality and discretization. Recurrence relations are shown for the Lie groups of types $A_1$, $A_2$, $A_3$, $C_2$, $C_3$, $G_2$, and $B_3$ together with lowest polynomials.
Polynomials in this paper are defined starting from a compact semisimple Lie group. A known classification of maximal, semisimple subgroups of simple Lie groups is used to select the cases to be considered here. A general method is presented and all the cases of rank not greater then 3 are explicitly studied. We derive the polynomials of simple Lie groups B_3 and C_3 as they are not available elsewhere. The results point to far reaching Lie theoretical connections to the theory of multivariable orthogonal polynomials.
Lie groups with two different root lengths allow two mixed sign homomorphisms on their corresponding Weyl groups, which in turn give rise to two families of hybrid Weyl group orbit functions and characters. In this paper we extend the ideas leading to the Gaussian cubature formulas for families of polynomials arising from the characters of irreducible representations of any simple Lie group, to new cubature formulas based on the corresponding hybrid characters. These formulas are new forms of Gaussian cubature in the short root length case and new forms of Radau cubature in the long root case. The nodes for the cubature arise quite naturally from the (computationally efficient) elements of finite order of the Lie group.
Three types of numerical data are provided for simple Lie groups of any type and rank. This data is indispensable for Fourier-like expansions of multidimensional digital data into finite series of $C-$ or $S-$functions on the fundamental domain $F$ of the underlying Lie group $G$. Firstly, we consider the number $|F_M|$ of points in $F$ from the lattice $P^{vee}_M$, which is the refinement of the dual weight lattice $P^{vee}$ of $G$ by a positive integer $M$. Secondly, we find the lowest set $Lambda_M$ of dominant weights, specifying the maximal set of $C-$ and $S-$functions that are pairwise orthogonal on the point set $F_M$. Finally, we describe an efficient algorithm for finding, on the maximal torus of $G$, the number of conjugate points to every point of $F_M$. Discrete $C-$ and $S-$transforms, together with their continuous interpolations, are presented in full generality.
The discrete orthogonality of special function families, called $C$- and $S$-functions, which are derived from the characters of compact simple Lie groups, is described in Hrivnak and Patera (2009 J. Phys. A: Math. Theor. 42 385208). Here, the results of Hrivnak and Patera are extended to two additional recently discovered families of special functions, called $S^s-$ and $S^l-$functions. The main result is an explicit description of their pairwise discrete orthogonality within each family, when the functions are sampled on finite fragments $F^s_M$ and $F^l_M$ of a lattice in any dimension $ngeq2$ and of any density controlled by $M$, and of the symmetry of the weight lattice of any compact simple Lie group with two different lengths of roots.