Mathematics – Classical Analysis and ODEs
Scientific paper
2008-10-02
Mathematics
Classical Analysis and ODEs
30 pages, AMSTeX
Scientific paper
We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $\mu_1,\mu_2,\mu_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(\mu_1\vec{x})$, $K(\mu_2\vec{x})$, and $K(\mu_3\vec{x})$, provided no two of the $\mu_j$'s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$. The set of $({|M_K|/|G_K|\atop 3})=({32\atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(\mu_1,\mu_2,\mu_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $\mu_j$'s, which in turn is defined in terms of the expression of the $\mu_j$'s as words in the Coxeter group generators. Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.
Formichella Marc
Green Richard M.
Stade Eric
No associations
LandOfFree
Coxeter group actions on 4F3(1) hypergeometric series does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Coxeter group actions on 4F3(1) hypergeometric series, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coxeter group actions on 4F3(1) hypergeometric series will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-493273