-
Pre-sequences of matrix orthogonal polynomials
Authors:
Juan Tirao
Abstract:
We introduce the notion of a pre-sequence of matrix orthogonal polynomials to mean a sequence {F_n} of matrix orthogonal functions with respect to a weight function W, satisfying a three term recursion relation and such that det(F_0) is not zero almost everywhere. By now there is a uniform construction of such sequences from irreducible spherical functions of some fixed K-types associated to compa…
▽ More
We introduce the notion of a pre-sequence of matrix orthogonal polynomials to mean a sequence {F_n} of matrix orthogonal functions with respect to a weight function W, satisfying a three term recursion relation and such that det(F_0) is not zero almost everywhere. By now there is a uniform construction of such sequences from irreducible spherical functions of some fixed K-types associated to compact symmetric pairs (G,K) of rank one. Our main result is that {Q_n=F_nF_0^{-1}} is a sequence of matrix orthogonal polynomials with respect to the weight function F_0WF_0*, see Theorem 2.1.
△ Less
Submitted 16 March, 2015;
originally announced March 2015.
-
Reducibility of Matrix Weights
Authors:
Juan Tirao,
Ignacio Zurrián
Abstract:
In this paper we discuss the notion of reducibility for matrix weights and introduce a real vector space $\mathcal C_\mathbb{R}$ which encodes all information about the reducibility of $W$. In particular a weight $W$ reduces if and only if there is a non-scalar matrix $T$ such that $TW=WT^*$. Also, we prove that reducibility can be studied by looking at the commutant of the monic orthogonal polyno…
▽ More
In this paper we discuss the notion of reducibility for matrix weights and introduce a real vector space $\mathcal C_\mathbb{R}$ which encodes all information about the reducibility of $W$. In particular a weight $W$ reduces if and only if there is a non-scalar matrix $T$ such that $TW=WT^*$. Also, we prove that reducibility can be studied by looking at the commutant of the monic orthogonal polynomials or by looking at the coefficients of the corresponding three term recursion relation. A matrix weight may not be expressible as direct sum of irreducible weights, but it is always equivalent to a direct sum of irreducible weights. We also establish that the decompositions of two equivalent weights as sums of irreducible weights have the same number of terms and that, up to a permutation, they are equivalent.
We consider the algebra of right-hand-side matrix differential operators $\mathcal D(W)$ of a reducible weight $W$, giving its general structure. Finally, we make a change of emphasis by considering reducibility of polynomials, instead of reducibility of matrix weights.
△ Less
Submitted 25 July, 2016; v1 submitted 14 January, 2015;
originally announced January 2015.
-
Spherical Functions of Fundamental $K$-Types Associated with the $n$-Dimensional Sphere
Authors:
Juan Alfredo Tirao,
Ignacio Nahuel Zurrián
Abstract:
In this paper, we describe the irreducible spherical functions of fundamental $K$-types associated with the pair $(G,K)=({\mathrm{SO}}(n+1),{\mathrm{SO}}(n))$ in terms of matrix hypergeometric functions. The output of this description is that the irreducible spherical functions of the same $K$-fundamental type are encoded in new examples of classical sequences of matrix-valued orthogonal polynomia…
▽ More
In this paper, we describe the irreducible spherical functions of fundamental $K$-types associated with the pair $(G,K)=({\mathrm{SO}}(n+1),{\mathrm{SO}}(n))$ in terms of matrix hypergeometric functions. The output of this description is that the irreducible spherical functions of the same $K$-fundamental type are encoded in new examples of classical sequences of matrix-valued orthogonal polynomials, of size $2$ and $3$, with respect to a matrix-weight $W$ supported on $[0,1]$. Moreover, we show that $W$ has a second order symmetric hypergeometric operator $D$.
△ Less
Submitted 7 July, 2014; v1 submitted 3 December, 2013;
originally announced December 2013.
-
DJKM algebras and non-classical orthogonal polynomials
Authors:
Ben Cox,
Vyacheslav Futorny,
Juan A. Tirao
Abstract:
We describe families of polynomials arising in the study of the universal central extensions of Lie algebras introduced by Date, Jimbo, Kashiwara, and Miwa in their work on the Landau-Lifshitz equations. Two of the families of polynomials we show satisfy certain forth order linear differential equations, are orthogonal and are not of classical type.
We describe families of polynomials arising in the study of the universal central extensions of Lie algebras introduced by Date, Jimbo, Kashiwara, and Miwa in their work on the Landau-Lifshitz equations. Two of the families of polynomials we show satisfy certain forth order linear differential equations, are orthogonal and are not of classical type.
△ Less
Submitted 7 September, 2014; v1 submitted 7 October, 2012;
originally announced October 2012.
-
One-step spherical functions of the pair (SU(n+1),U(n))
Authors:
Ines Pacharoni,
Juan A. Tirao
Abstract:
The aim of this paper is to determine all irreducible spherical functions of the pair (G,K)=(SU(n+1),U(n)), where the highest weight of their K-types are of the form (m+l,...,m+l,m,...,m). Instead of looking at a spherical function Φof type πwe look at a matrix-valued function H defined on a section of the K-orbits in an affine subvariety of P_n(C). The function H diagonalizes, hence it can be ide…
▽ More
The aim of this paper is to determine all irreducible spherical functions of the pair (G,K)=(SU(n+1),U(n)), where the highest weight of their K-types are of the form (m+l,...,m+l,m,...,m). Instead of looking at a spherical function Φof type πwe look at a matrix-valued function H defined on a section of the K-orbits in an affine subvariety of P_n(C). The function H diagonalizes, hence it can be identified with a column vector-valued function. The irreducible spherical functions of type πturn out to be parameterized by S={(w,r)\in Z x Z : 0\leq w, 0 \leq r \leq l, 0\leq m+w+r}. A key result to characterize the associated function H_{w,r} is the existence of a matrix-valued polynomial function Ψof degree l such that F_{w,r}(t)=Ψ(t)^{-1}H_{w,r}(t) becomes an eigenfunction of a matrix hypergeometric operator with eigenvalue λ(w,r), explicitly given. In the last section we assume that m\ge 0 and define the matrix polynomial P_w as the (l+1) x (l+1) matrix whose r-row is the polynomial F_{w,r}. This leads to interesting families of matrix-valued orthogonal Jacobi polynomials P_w^{α,β} for α,β>-1.
△ Less
Submitted 20 September, 2012;
originally announced September 2012.
-
Spherical Functions: The Spheres Vs. The Projective Spaces
Authors:
Juan Alfredo Tirao,
Ignacio Nahuel Zurrián
Abstract:
In this paper we establish a close relationship between the spherical functions of the $n$-dimensional sphere $S^n\simeq\SO(n+1)/\SO(n)$ and the spherical functions of the $n$-dimensional real projective space $P^n(\mathbb{R})\simeq\SO(n+1)/\mathrm{O}(n)$. In fact, for $n$ odd a function on $\SO(n+1)$ is an irreducible spherical function of some type $π\in\hat\SO(n)$ if and only if it is an irredu…
▽ More
In this paper we establish a close relationship between the spherical functions of the $n$-dimensional sphere $S^n\simeq\SO(n+1)/\SO(n)$ and the spherical functions of the $n$-dimensional real projective space $P^n(\mathbb{R})\simeq\SO(n+1)/\mathrm{O}(n)$. In fact, for $n$ odd a function on $\SO(n+1)$ is an irreducible spherical function of some type $π\in\hat\SO(n)$ if and only if it is an irreducible spherical function of some type $γ\in\hat {\mathrm{O}}(n)$. When $n$ is even this is also true for certain types, and in the other cases we exhibit a clear correspondence between the irreducible spherical functions of both pairs $(\SO(n+1),\SO(n))$ and $(\SO(n+1),\mathrm{O}(n))$. Summarizing, to find all spherical functions of one pair is equivalent to do so for the other pair.
△ Less
Submitted 29 June, 2012;
originally announced July 2012.
-
Spherical Functions Associated With the Three Dimensional Sphere
Authors:
Inés Pacharoni,
Juan Tirao,
Ignacio Zurrián
Abstract:
In this paper, we determine all irreducible spherical functions Φof any K -type associated to the pair (G,K)=(\SO(4),\SO(3)). This is accomplished by associating to Φa vector valued function H=H(u) of a real variable u, which is analytic at u=0 and whose components are solutions of two coupled systems of ordinary differential equations. By an appropriate conjugation involving Hahn polynomials we u…
▽ More
In this paper, we determine all irreducible spherical functions Φof any K -type associated to the pair (G,K)=(\SO(4),\SO(3)). This is accomplished by associating to Φa vector valued function H=H(u) of a real variable u, which is analytic at u=0 and whose components are solutions of two coupled systems of ordinary differential equations. By an appropriate conjugation involving Hahn polynomials we uncouple one of the systems. Then this is taken to an uncoupled system of hypergeometric equations, leading to a vector valued solution P=P(u) whose entries are Gegenbauer's polynomials. Afterward, we identify those simultaneous solutions and use the representation theory of \SO(4) to characterize all irreducible spherical functions. The functions P=P(u) corresponding to the irreducible spherical functions of a fixed K-type π_\ell are appropriately packaged into a sequence of matrix valued polynomials (P_w)_{w\ge0} of size (\ell+1)\times(\ell+1). Finally we proved that \widetilde P_w={P_0}^{-1}P_w is a sequence of matrix orthogonal polynomials with respect to a weight matrix W. Moreover we showed that W admits a second order symmetric hypergeometric operator \widetilde D and a first order symmetric differential operator \widetilde E.
△ Less
Submitted 27 June, 2013; v1 submitted 19 March, 2012;
originally announced March 2012.
-
The image of the Lepowsky homomorphism for the group $F_4$
Authors:
Alfredo Brega,
Leandro Cagliero,
Juan Tirao
Abstract:
Let $G_o$ be a semisimple Lie group, let $K_o$ be a maximal compact subgroup of $G_o$ and let $\mathfrak{k}\subset\mathfrak{g}$ denote the complexification of their Lie algebras. Let $G$ be the adjoint group of $\mathfrak{g}$ and let $K$ be the connected Lie subgroup of $G$ with Lie algebra $ad(\mathfrak{k})$. If $U(\mathfrak{g})$ is the universal enveloping algebra of $\mathfrak{g}$ then…
▽ More
Let $G_o$ be a semisimple Lie group, let $K_o$ be a maximal compact subgroup of $G_o$ and let $\mathfrak{k}\subset\mathfrak{g}$ denote the complexification of their Lie algebras. Let $G$ be the adjoint group of $\mathfrak{g}$ and let $K$ be the connected Lie subgroup of $G$ with Lie algebra $ad(\mathfrak{k})$. If $U(\mathfrak{g})$ is the universal enveloping algebra of $\mathfrak{g}$ then $U(\mathfrak{g})^K$ will denote the centralizer of $K$ in $U(\mathfrak{g})$. Also let $P:U(\mathfrak{g})\longrightarrow U(\mathfrak{k})\otimes U(\mathfrak{a})$ be the projection map corresponding to the direct sum $U(\mathfrak{g})=\bigl(U(\mathfrak{k})\otimes U(\mathfrak{a})\bigr)\oplus U(\mathfrak{g})\mathfrak{n}$ associated to an Iwasawa decomposition of $G_o$ adapted to $K_o$. In this paper we give a characterization of the image of $U(\mathfrak{g})^K$ under the injective antihomorphism $P:U(\mathfrak{g})^K\longrightarrow U(\mathfrak{k})^M\otimes U(\mathfrak{a})$, considered by Lepowsky, when $G_o$ is locally isomorphic to F$_4$.
△ Less
Submitted 4 July, 2011;
originally announced July 2011.
-
Two Stochastic Models Of a Random Walk In The U(n)-Spherical Duals Of U(n + 1)
Authors:
F. A. Grünbaum I. Pacharoni,
J. Tirao
Abstract:
The random walk to be considered takes place in the d- spherical dual of the group U(n + 1), for a fixed finite dimensional irreducible representation d of U(n). The transition matrix comes from the three term recursion relation satisfied by a sequence of matrix valued orthogonal polynomials built up from the irreducible spherical functions of type d of SU(n + 1). One of the stochastic models is a…
▽ More
The random walk to be considered takes place in the d- spherical dual of the group U(n + 1), for a fixed finite dimensional irreducible representation d of U(n). The transition matrix comes from the three term recursion relation satisfied by a sequence of matrix valued orthogonal polynomials built up from the irreducible spherical functions of type d of SU(n + 1). One of the stochastic models is an urn model and the other is a Young diagram model.
△ Less
Submitted 4 October, 2010;
originally announced October 2010.
-
Matrix Valued Spherical Functions Associated to the Three Dimensional Hyperbolic Space
Authors:
F. A. Grunbaum,
I. Pacharoni,
J. Tirao
Abstract:
The main purpose of this paper is to compute all irreducible spherical functions on $G={SL}(2,{\mathbb C})$ of arbitrary type $δ\in \hat K$, where $K={SU}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the three dimensional hyperbolic space ${\mathbb H}=G/K$. The entries of $H$ are solutions of two coupled systems of ordinary different…
▽ More
The main purpose of this paper is to compute all irreducible spherical functions on $G={SL}(2,{\mathbb C})$ of arbitrary type $δ\in \hat K$, where $K={SU}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the three dimensional hyperbolic space ${\mathbb H}=G/K$. The entries of $H$ are solutions of two coupled systems of ordinary differential equations. By an appropriate twisting involving Hahn polynomials we uncouple one of the systems and express the entries of $H$ in terms of Gauss' functions ${}_2F_1$. Just as in the compact instance treated in [GPT] there is a useful role for a special class of generalized hypergeometric functions ${}_{p+1}F_p$.
△ Less
Submitted 20 March, 2002;
originally announced March 2002.
-
An Invitation to Matrix Valued Spherical Functions: Linearization of Products in the Case of the Complex Projective Space $P_2({\mathbb C})$
Authors:
F. A. Grunbaum,
I. Pacharoni,
J. Tirao
Abstract:
We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.
We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.
△ Less
Submitted 13 October, 2002; v1 submitted 28 February, 2002;
originally announced February 2002.
-
Matrix Valued Spherical Functions Associated to the Complex Projective Plane
Authors:
F. A. Grunbaum,
I. Pacharoni,
J. Tirao
Abstract:
The main purpose of this paper is to compute all irreducible spherical functions on $G=\SU(3)$ of arbitrary type $δ\in \hat K$, where $K={\mathrm{S}}(\mathrm{U}(2)\times\mathrm{U}(1))\simeq\mathrm{U}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the complex projective plane $P_2(\mathbb{C})=G/K$. It is well known that there is a fruit…
▽ More
The main purpose of this paper is to compute all irreducible spherical functions on $G=\SU(3)$ of arbitrary type $δ\in \hat K$, where $K={\mathrm{S}}(\mathrm{U}(2)\times\mathrm{U}(1))\simeq\mathrm{U}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the complex projective plane $P_2(\mathbb{C})=G/K$. It is well known that there is a fruitful connection between the hypergeometric function of Euler and Gauss and the spherical functions of trivial type associated to a rank one symmetric pair $(G,K)$. But the relation of spherical functions of types of dimension bigger than one with classical analysis, has not been worked out even in the case of an example of a rank one pair. The entries of $H$ are solutions of two systems of ordinary differential equations. There is no ready made approach to such a pair of systems, or even to a single system of this kind. In our case the situation is very favorable and the solution to this pair of systems can be exhibited explicitely in terms of a special class of generalized hypergeometric functions ${}_{p+1}F_p$.
△ Less
Submitted 28 August, 2001; v1 submitted 6 August, 2001;
originally announced August 2001.
