Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0721.33009
Heckman, G.J.
An elementary approach to the hypergeometric shift operators of Opdam. (English)
[J] Invent. Math. 103, No.2, 341-350 (1991). ISSN 0020-9910; ISSN 1432-1297/e

This article is an important development in analysis on root systems. The author and {\it E. M. Opdam} [Compos. Math. 64, 329-352, 353-373 (1987; Zbl 0656.17006 and Zbl 0656.17007); ibid. 67, 21-49, 191-209 (1988; Zbl 0669.33007 and Zbl 0669.33008)] have constructed generalized hypergeometric functions and Jacobi polynomials associated to root systems of Weyl groups. Special cases of these functions are related to classical orthogonal polynomials and spherical functions on Riemannian symmetric spaces. The basic objects of concern are Weyl group invariant differential operators and functions on Euclidean space which are periodic modulo the root lattice. The first constructions for the operators were technically difficult and frequently required case-by-case analysis. In this paper, Heckman constructs an algebra of differential- difference operators for any root system, which very naturally lead to the desired differential operators. The reviewer [Trans. Am. Math. Soc. 331, No.1, 167-183 (1989; Zbl 0652.33004)] first introduced differential- difference oprators in the analysis of orthogonality structures with a Coxeter group invariance for functions on the sphere. \par Suppose R is a root system on an Euclidean space E (with $R\sb+$ denoting the positive roots). For $\alpha\in R$ let $\alpha\sp x:=2\alpha /<\alpha,\alpha >$ and denote the associated reflection $r\sb{\alpha}$, where $r\sb{\alpha}(\lambda):= \lambda-<\alpha\sp x,\lambda>\alpha$, $\lambda\in E$. By hypothesis, for each $\alpha,\beta\in R$, $<\alpha,\beta>\in {\bbfZ}$ and $r\sb{\alpha}(\beta)\in R$. Further $W=W(R)$ is a group generated by $\{r\sb{\alpha}:\alpha\in R\}$ and ${\bbfR}[P]$ is the group algebra of the free abelian group (the weight lattice) $P=\{\lambda \in E:$ $<\lambda,\alpha\sp x>\in {\bbfZ}$ for all $\alpha\in R\}$. Denote the basis elements of ${\bbfR}[P]$ by $e\sp{\lambda}$ so that $e\sp 0=1$, $(e\sp{\lambda})\sp{-1}=e\sp{- \lambda}$, ($\lambda\in P)$, and define $w(e\sp{\lambda})=e\sp{w(\lambda)}$ for $w\in W$. Then ${\bbfR}[P]\sp W$ denotes the algebra of W-invariants in ${\bbfR}[P]$. The main problem is to describe orthogonality structures on ${\bbfR}[P]\sp W$ and produce explicit orthogonal bases, (this includes group characters, spherical functions, and Jack polynomials). These structures are parametrized by ``multiplicity functions'' $k=\{k\sb{\alpha}:\alpha\in R\}$ $(k\sb{\alpha}$ is a positive integer with possibly some extra restrictions) where $k\sb{\alpha}=k\sb{\beta}$ when $\alpha$ and $\beta$ are roots with the same length. \par The differential-difference operators are generated by $\{D\sb{\xi}:\xi\in E\}$ where $$ D\sb{\xi}(e\sp{\lambda}):= <\xi,\lambda>e\sp{\lambda}+ \sum\sb{\alpha \in R\sb+}k\sb{\alpha}<\xi,\alpha> $$ $((1-e\sp{-\alpha})/(1-e\sp{- \alpha}))(e\sp{\lambda}-e\sp{r\sb{\alpha}(\lambda)})$, for $\lambda\in P$, extended by linearity to ${\bbfR}[P]$. Heckman shows that each $D\sb{\xi}$ is selfadjoint for the inner product $$ (f,g)\sb k=CT(f\bar g\prod\sb{\alpha \in R}(e\sp{\alpha /2}-e\sp{-\alpha /2})\sp{k\sb{\alpha}}),\quad f,g\in {\bbfR}[P], $$ where (constant term) $CT(\sum\sb{\lambda}a\sb{\lambda}e\sp{\lambda})=a\sb 0$, and $\bar g:= \sum\sb{\lambda}g\sb{\lambda}e\sp{-\lambda}$ when $g=\sum\sb{\lambda}g\sb{\lambda}e\sp{\lambda}$. For $d=1,2,3,..$. $\xi\in E$, the operator $D\sb{\xi,d}:=\sum\sb{\eta \in W\sb{\xi}}D\sp d\sb{\eta}$ is W-invariant and reduce to a differential operator when restricted to ${\bbfR}[P]\sp W$. These operators now allow a neat proof for the orthogonality of the Jacobi polynomials. Further they considerably simplify the construction of {\it E. M. Opdam}'s shift operators [Invent. Math. 98, 1-18 (1989; Zbl 0696.33006)], with which he proved Macdonald's constant-term $(q=1)$ conjectures and also determined the $L\sp 2$-norms of the Jacobi polynomials.
[Ch.F.Dunkl (Charlottesville)]

MSC 2000:: *33C80 Connections of theory of special functions with groups and algebras
17B20 Simple and semisimple Lie algebras
22E30 Analysis on real and complex Lie groups

Keywords: root systems

Citations: Zbl 0656.17006; Zbl 0656.17007; Zbl 0669.33007; Zbl 0669.33008; Zbl 0652.33004; Zbl 0696.33006

Cited in: Zbl 0984.33001 Zbl 0862.33012

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]