-
On the basic representation of the double affine Hecke algebra at critical level
Authors:
J. F. van Diejen,
E. Emsiz,
I. N. Zurrián
Abstract:
We construct the basic representation of the double affine Hecke algebra at critical level $q=1$ associated to an irreducible reduced affine root system $R$ with a reduced gradient root system. For $R$ of untwisted type such a representation was studied by Oblomkov [O04] and further detailed by Gehles [G06] in the presence of minuscule weights.
We construct the basic representation of the double affine Hecke algebra at critical level $q=1$ associated to an irreducible reduced affine root system $R$ with a reduced gradient root system. For $R$ of untwisted type such a representation was studied by Oblomkov [O04] and further detailed by Gehles [G06] in the presence of minuscule weights.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
The Pascal Matrix, Commuting Tridiagonal Operators and Fourier Algebras
Authors:
W. Riley Casper,
Ignacio Zurrian
Abstract:
We consider the (symmetric) Pascal matrix, in its finite and infinite versions, and prove the existence of symmetric tridiagonal matrices commuting with it by giving explicit expressions for these commuting matrices. This is achieved by studying the associated Fourier algebra, which as a byproduct, allows us to show that all the linear relations of a certain general form for the entries of the Pas…
▽ More
We consider the (symmetric) Pascal matrix, in its finite and infinite versions, and prove the existence of symmetric tridiagonal matrices commuting with it by giving explicit expressions for these commuting matrices. This is achieved by studying the associated Fourier algebra, which as a byproduct, allows us to show that all the linear relations of a certain general form for the entries of the Pascal matrix arise from only three basic relations. We also show that pairs of eigenvectors of the tridiagonal matrix define a natural eigenbasis for the binomial transform. Lastly, we show that the commuting tridiagonal matrices provide a numerically stable means of diagonalizing the Pascal matrix.
△ Less
Submitted 11 September, 2024; v1 submitted 31 July, 2024;
originally announced July 2024.
-
Darboux equivalence for matrix-valued orthogonal polynomials
Authors:
Ignacio Bono Parisi,
Inés Pacharoni,
Ignacio Zurrián
Abstract:
In this work, we give some criteria that allow us to decide when two sequences of matrix-valued orthogonal polynomials are related via a Darboux transformation and to build explicitly such transformation. In particular, they allow us to see when and how any given sequence of polynomials is Darboux related to a diagonal matrix of classic orthogonal polynomials. We also explore the notion of Darboux…
▽ More
In this work, we give some criteria that allow us to decide when two sequences of matrix-valued orthogonal polynomials are related via a Darboux transformation and to build explicitly such transformation. In particular, they allow us to see when and how any given sequence of polynomials is Darboux related to a diagonal matrix of classic orthogonal polynomials. We also explore the notion of Darboux-irreducibility and study some sequences that are not a Darboux transformation of classical orthogonal polynomials.
△ Less
Submitted 30 July, 2024;
originally announced July 2024.
-
Time and band limiting for exceptional polynomials
Authors:
M. M. Castro,
F. A. Grünbaum,
I. Zurrián
Abstract:
The "time-and-band limiting" commutative property was found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory. The property in question is the existence of local operators with simple spectrum that commute with naturally appearing global ones.
Here we give a general result that…
▽ More
The "time-and-band limiting" commutative property was found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory. The property in question is the existence of local operators with simple spectrum that commute with naturally appearing global ones.
Here we give a general result that insures the existence of a commuting differential operator for a given family of exceptional orthogonal polynomials satisfying the "bispectral property". As a main tool we go beyond bispectrality and make use of the notion of Fourier Algebras associated to the given sequence of exceptional polynomials.
We illustrate this result with two examples, of Hermite and Laguerre type, exhibiting also a nice Perline's form for the commuting differential operator.
△ Less
Submitted 12 February, 2024;
originally announced June 2024.
-
Affine Pieri rule for periodic Macdonald spherical functions and fusion rings
Authors:
Jan Felipe van Diejen,
Erdal Emsiz,
Ignacio N. Zurrián
Abstract:
Let $\hat{\mathfrak{g}}$ be an untwisted affine Lie algebra or the twisted counterpart thereof (which excludes the affine Lie algebras of type $\widehat{BC}_n=A^{(2)}_{2n}$). We present an affine Pieri rule for a basis of periodic Macdonald spherical functions associated with $\hat{\mathfrak{g}}$. In type $\hat{A}_{n-1}=A^{(1)}_{n-1}$ the formula in question reproduces an affine Pieri rule for cyl…
▽ More
Let $\hat{\mathfrak{g}}$ be an untwisted affine Lie algebra or the twisted counterpart thereof (which excludes the affine Lie algebras of type $\widehat{BC}_n=A^{(2)}_{2n}$). We present an affine Pieri rule for a basis of periodic Macdonald spherical functions associated with $\hat{\mathfrak{g}}$. In type $\hat{A}_{n-1}=A^{(1)}_{n-1}$ the formula in question reproduces an affine Pieri rule for cylindric Hall-Littlewood polynomials due to Korff, which at $t=0$ specializes in turn to a well-known Pieri formula in the fusion ring of genus zero $\widehat{\mathfrak{sl}}(n)_c$-Wess-Zumino-Witten conformal field theories.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Bispectrality for Matrix Laguerre-Sobolev polynomials
Authors:
Francisco Marcellán,
Ignacio Zurrián
Abstract:
In this contribution we deal with sequences of polynomials orthogonal with respect to a Sobolev type inner product. A banded symmetric operator is associated with such a sequence of polynomials according to the higher order difference equation they satisfy. Taking into account the Darboux transformation of the corresponding matrix we deduce the connection with a sequence of orthogonal polynomials…
▽ More
In this contribution we deal with sequences of polynomials orthogonal with respect to a Sobolev type inner product. A banded symmetric operator is associated with such a sequence of polynomials according to the higher order difference equation they satisfy. Taking into account the Darboux transformation of the corresponding matrix we deduce the connection with a sequence of orthogonal polynomials associated with a Christoffel perturbation of the measure involved in the standard part of the Sobolev inner product. A connection with matrix orthogonal polynomials is stated. The Laguerre-Sobolev type case is studied as an illustrative example. Finally, the bispectrality of such matrix orthogonal polynomials is pointed out.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Matrix valued discrete-continuous functions with the prolate spheroidal property and bispectrality
Authors:
W. Riley Casper,
F. Alberto Grunbaum,
Milen Yakimov,
Ignacio Zurrian
Abstract:
Classical prolate spheroidal functions play an important role in the study of time-band limiting, scaling limits of random matrices, and the distribution of the zeros of the Riemann zeta function. We establish an intrinsic relationship between discrete-continuous bispectral functions and the prolate spheroidal phenomenon. The former functions form a vast class, parametrized by an infinite dimensio…
▽ More
Classical prolate spheroidal functions play an important role in the study of time-band limiting, scaling limits of random matrices, and the distribution of the zeros of the Riemann zeta function. We establish an intrinsic relationship between discrete-continuous bispectral functions and the prolate spheroidal phenomenon. The former functions form a vast class, parametrized by an infinite dimensional manifold, and are constructed by Darboux transformations from classical bispectral functions associated to orthogonal polynomials. Special cases include spherical functions. We prove that all such Darboux transformations which are self-adjoint in a certain sense give rise to integral operators possessing commuting differential operators and to discrete integral operators possessing commuting shift operators. One particularly striking implication of this is the correspondence between discrete and continuous pairs of commuting operators. Moreover, all results are proved in the setting of matrix valued functions, which provides further advantages for applications. Our methods rely on the use of noncommutative matrix valued Fourier algebras associated to discrete-continuous bispectral functions. We produce the commuting differential and shift operators in a constructive way with explicit upper bounds on their orders and bandwidths, which is illustrated with many concrete examples.
△ Less
Submitted 14 February, 2024; v1 submitted 11 February, 2023;
originally announced February 2023.
-
Algebras of commuting differential operators for integral kernels of Airy type
Authors:
W. Riley Casper,
F. Alberto Grunbaum,
Milen Yakimov,
Ignacio Zurrian
Abstract:
Differential operators commuting with integral operators were discovered in the work of C. Tracy and H. Widom [37, 38] and used to derive asymptotic expansions of the Fredholm determinants of integral operators arising in random matrix theory. Very recently, it has been proved that all rational, symmetric Darboux transformations of the Bessel, Airy, and exponential bispectral functions give rise t…
▽ More
Differential operators commuting with integral operators were discovered in the work of C. Tracy and H. Widom [37, 38] and used to derive asymptotic expansions of the Fredholm determinants of integral operators arising in random matrix theory. Very recently, it has been proved that all rational, symmetric Darboux transformations of the Bessel, Airy, and exponential bispectral functions give rise to commuting integral and differential operators [6, 7, 8], vastly generalizing the known examples in the literature. In this paper, we give a classification of the the rational symmetric Darboux transformations of the Airy function in terms of the fixed point submanifold of a differential Galois group acting on the Lagrangian locus of the (infinite dimensional) Airy Adelic Grassmannian and initiate the study of the full algebra of differential operators commuting with each of the integral operators in question. We leverage the general theory of [8] to obtain explicit formulas for the two differential operators of lowest orders that commute with each of the level one and two integral operators obtained in the Darboux process. Moreover, we prove that each pair of differential operators commute with each other. The commuting operators in the level one case are shown to satisfy an algebraic relation defining an elliptic curve.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Reflective prolate-spheroidal operators and the adelic Grassmannian
Authors:
W. Riley Casper,
F. Alberto Grünbaum,
Milen Yakimov,
Ignacio Zurrián
Abstract:
Beginning with the work of Landau, Pollak and Slepian in the 1960s on time-band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory and integrable systems. Previously, such pairs were constructed by ad hoc methods, which worked because a commuting operator of low order could be found by a direct calculation. We describe…
▽ More
Beginning with the work of Landau, Pollak and Slepian in the 1960s on time-band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory and integrable systems. Previously, such pairs were constructed by ad hoc methods, which worked because a commuting operator of low order could be found by a direct calculation. We describe a general approach to these problems that proves that every point $W$ of Wilson's infinite dimensional adelic Grassmannian $\mathrm Gr^ad$ gives rise to an integral operator $T_W$, acting on $L^2(Γ)$ for a contour $Γ\subset\mathbb C$, which reflects a differential operator $R(z,\partial_z)$ in the sense that $R(-z,-\partial_z)\circ T_W=T_W\circ R(w,\partial_w)$ on a dense subset of $L^2(Γ)$. By using analytic methods and methods from integrable systems, we show that the reflected differential operator can be constructed from the Fourier algebra of the associated bispectral function $ψ_W(x,z)$. The size of this algebra with respect to a bifiltration is in turn determined using algebro-geometric methods. Intrinsic properties of four involutions of the adelic Grassmannian naturally lead us to consider the reflecting property in place of plain commutativity. Furthermore, we prove that the time-band limited operators of the generalized Laplace transforms with kernels given by all rank one bispectral functions $ψ_W(x,-z)$ reflect a differential operator. A $90^\circ$ rotation argument is used to prove that the time-band limited operators of the generalized Fourier transforms with kernels $ψ_W(x,iz)$ admit a commuting differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, associated to the wave functions of all rational solutions of the KP hierarchy vanishing at infinity, introduced by Krichever in the late 1970s.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Reflective prolate-spheroidal operators and the KP/KdV equations
Authors:
W. Riley Casper,
F. Alberto Grunbaum,
Milen Yakimov,
Ignacio Zurrian
Abstract:
Commuting integral and differential operators connect the topics of Signal Processing, Random Matrix Theory, and Integrable Systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the KdV equation. We prove a general theorem that the inte…
▽ More
Commuting integral and differential operators connect the topics of Signal Processing, Random Matrix Theory, and Integrable Systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the KdV equation. We prove a general theorem that the integral operator associated to every wave function in the infinite dimensional Adelic Grassmannian Gr ad of Wilson always reflects a differential operator (in the sense of Definition 1 below). This intrinsic property is shown to follow from the symmetries of Grassmannians of KP wave functions, where the direct commutativity property holds for operators associated to wave functions fixed by Wilson's sign involution but is violated in general.
Based on this result, we prove a second main theorem that the integral operators in the computation of the singular values of the truncated generalized Laplace transforms associated to all bispectral wave functions of rank 1 reflect a differential operator. A 90$°$ rotation argument is used to prove a third main theorem that the integral operators in the computation of the singular values of the truncated generalized Fourier transforms associated to all such KP wave functions commute with a differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, including as special cases the integral operators associated to all rational solutions of the KdV and KP hierarchies considered by Airault-McKean-Moser and Krichever, respectively, in the late 70's. Many novel examples are presented.
△ Less
Submitted 3 September, 2019;
originally announced September 2019.
-
$2\times2$ Hypergeometric operators with diagonal eigenvalues
Authors:
C. Calderón,
Y. González,
I. Pacharoni,
S. Simondi,
I. Zurrián
Abstract:
In this work we classify all the order-two Hypergeometric operators $D$, symmetric with respect to some $2\times 2$ irreducible matrix-weight $W$ such that $DP_n=P_n\left(\begin{smallmatrix} λ_n&0\\0&μ_n \end{smallmatrix} \right)$ with no repetition among the eigenvalues $\{λ_n,μ_n\}_{n\in\mathbb N_0}$, where $\{P_n\}_{n\in\mathbb N_0}$ is the (unique) sequence of monic orthogonal polynomials with…
▽ More
In this work we classify all the order-two Hypergeometric operators $D$, symmetric with respect to some $2\times 2$ irreducible matrix-weight $W$ such that $DP_n=P_n\left(\begin{smallmatrix} λ_n&0\\0&μ_n \end{smallmatrix} \right)$ with no repetition among the eigenvalues $\{λ_n,μ_n\}_{n\in\mathbb N_0}$, where $\{P_n\}_{n\in\mathbb N_0}$ is the (unique) sequence of monic orthogonal polynomials with respect to $W$.
We obtain, in a very explicit way, a three parameter family of such operators and weights. We also give the corresponding monic orthongonal polynomials, their three term recurrence relation and their squared matrix-norms.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Bispectrality and Time-Band-Limiting: Matrix valued polynomials
Authors:
F. Alberto Grünbaum,
Inés Pacharoni,
Ignacio N. Zurrián
Abstract:
The subject of time-band-limiting, originating in signal processing, is dominated by the miracle that a naturally appearing integral operator admits a commuting differential one allowing for a numerically efficient way to compute its eigenfunctions. Bispectrality is an effort to dig into the reasons behind this miracle and goes back to joint work with H. Duistermaat. This search has revealed unexp…
▽ More
The subject of time-band-limiting, originating in signal processing, is dominated by the miracle that a naturally appearing integral operator admits a commuting differential one allowing for a numerically efficient way to compute its eigenfunctions. Bispectrality is an effort to dig into the reasons behind this miracle and goes back to joint work with H. Duistermaat. This search has revealed unexpected connections with several parts of mathematics, including integrable systems.
Here we consider a matrix valued version of bispectrality and give a general condition under which we can display a constructive and simple way to obtain the commuting differential operator.
Furthermore, we build an operator that commutes with both the time-limiting operator and the band-limiting operators.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
A further look at time-and-band limiting for matrix orthogonal polynomials
Authors:
M. Castro,
F. A. Grünbaum,
I. Pacharoni,
I. Zurrián
Abstract:
We extend to a situation involving matrix valued orthogonal polynomials a scalar result that originates in work of Claude Shannon and a ground-breaking series of papers by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's. While these papers feature integral and differential operators acting on scalar valued functions, we are dealing here with integral and differential operators actin…
▽ More
We extend to a situation involving matrix valued orthogonal polynomials a scalar result that originates in work of Claude Shannon and a ground-breaking series of papers by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's. While these papers feature integral and differential operators acting on scalar valued functions, we are dealing here with integral and differential operators acting on matrix valued functions.
△ Less
Submitted 23 March, 2017; v1 submitted 20 March, 2017;
originally announced March 2017.
-
Completeness of the Bethe Ansatz for an open $q$-boson system with integrable boundary interactions
Authors:
J. F. van Diejen,
E. Emsiz,
I. N. Zurrián
Abstract:
We employ a discrete integral-reflection representation of the double affine Hecke algebra of type $C^\vee C$ at the critical level q=1, to endow the open finite $q$-boson system with integrable boundary interactions at the lattice ends. It is shown that the Bethe Ansatz entails a complete basis of eigenfunctions for the commuting quantum integrals in terms of Macdonald's three-parameter hyperocta…
▽ More
We employ a discrete integral-reflection representation of the double affine Hecke algebra of type $C^\vee C$ at the critical level q=1, to endow the open finite $q$-boson system with integrable boundary interactions at the lattice ends. It is shown that the Bethe Ansatz entails a complete basis of eigenfunctions for the commuting quantum integrals in terms of Macdonald's three-parameter hyperoctahedral Hall-Littlewood polynomials.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
Time and band limiting for matrix valued functions: an integral and a commuting differential operator
Authors:
F. Alberto Grünbaum,
Inés Pacharoni,
Ignacio Nahuel Zurrián
Abstract:
The problem of recovering a signal of finite duration from a piece of its Fourier transform was solved at Bell Labs in the $1960$'s, by exploiting a "miracle": a certain naturally appearing integral operator commutes with an explicit differential one. Here we show that this same miracle holds in a matrix valued version of the same problem.
The problem of recovering a signal of finite duration from a piece of its Fourier transform was solved at Bell Labs in the $1960$'s, by exploiting a "miracle": a certain naturally appearing integral operator commutes with an explicit differential one. Here we show that this same miracle holds in a matrix valued version of the same problem.
△ Less
Submitted 18 January, 2017; v1 submitted 21 April, 2016;
originally announced April 2016.
-
The Algebra of Differential Operators for a Gegenbauer Weight Matrix
Authors:
Ignacio Zurrián
Abstract:
In this paper we study in detail algebraic properties of the algebra $\mathcal D(W)$ of differential operators associated to a matrix weight of Gegenbauer type. We prove that two second order operators generate the algebra, indeed $\mathcal D(W)$ is isomorphic to the free algebra generated by two elements subject to certain relations. Also, the center is isomorphic to the affine algebra of a sin…
▽ More
In this paper we study in detail algebraic properties of the algebra $\mathcal D(W)$ of differential operators associated to a matrix weight of Gegenbauer type. We prove that two second order operators generate the algebra, indeed $\mathcal D(W)$ is isomorphic to the free algebra generated by two elements subject to certain relations. Also, the center is isomorphic to the affine algebra of a singular rational curve. The algebra $\mathcal D(W)$ is a finitely-generated torsion-free module over its center, but it is not flat and therefore it is not projective.
This is the second detailed study of an algebra $\mathcal D(W)$ and the first one coming from spherical functions and group representations. We prove that the algebras for different Gegenbauer weights and the algebras studied previously, related to Hermite weights, are isomorphic to each other. We give some general results that allow us to regard the algebra $\mathcal D(W)$ as the centralizer of its center in the Weyl algebra. We do believe that this should hold for any irreducible weight and the case considered in this paper represents a good step in this direction.
△ Less
Submitted 30 December, 2015; v1 submitted 11 May, 2015;
originally announced May 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.
-
Time and Band Limiting for Matrix Valued Functions, an Example
Authors:
F. Alberto Grünbaum,
Inés Pacharoni,
Ignacio Nahuel Zurrián
Abstract:
The main purpose of this paper is to extend to a situation involving matrix valued orthogonal polynomials and spherical functions, a result that traces its origin and its importance to work of Claude Shannon in laying the mathematical foundations of information theory and to a remarkable series of papers by D. Slepian, H. Landau and H. Pollak. To our knowledge, this is the first example showing in…
▽ More
The main purpose of this paper is to extend to a situation involving matrix valued orthogonal polynomials and spherical functions, a result that traces its origin and its importance to work of Claude Shannon in laying the mathematical foundations of information theory and to a remarkable series of papers by D. Slepian, H. Landau and H. Pollak. To our knowledge, this is the first example showing in a non-commutative setup that a bispectral property implies that the corresponding global operator of "time and band limiting" admits a commuting local operator. This is a noncommutative analog of the famous prolate spheroidal wave operator.
△ Less
Submitted 12 June, 2015; v1 submitted 5 October, 2014;
originally announced October 2014.
-
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.
-
Matrix Gegenbauer Polynomials: the $2\times 2$ Fundamental Cases
Authors:
Inés Pacharoni,
Ignacio Zurrián
Abstract:
In this paper, we exhibit explicitly a sequence of $2\times2$ matrix valued orthogonal polynomials with respect to a weight $W_{p,n}$, for any pair of real numbers $p$ and $n$ such that $0<p<n$.
The entries of these polynomiales are expressed in terms of the Gegenbauer polynomials $C_k^λ$. Also the corresponding three-term recursion relations are given and we make some studies of the algebra of…
▽ More
In this paper, we exhibit explicitly a sequence of $2\times2$ matrix valued orthogonal polynomials with respect to a weight $W_{p,n}$, for any pair of real numbers $p$ and $n$ such that $0<p<n$.
The entries of these polynomiales are expressed in terms of the Gegenbauer polynomials $C_k^λ$. Also the corresponding three-term recursion relations are given and we make some studies of the algebra of differential operators associated with the weight $W_{p,n}$.
△ Less
Submitted 21 April, 2016; v1 submitted 24 September, 2013;
originally announced September 2013.
-
Funciones Esféricas Matriciales Asociadas a las Esferas y a los Espacios Proyectivos Reales
Authors:
Ignacio N. Zurrián
Abstract:
In this work we start by determining all irreducible spherical functions $Φ$ of any $K $-type associated to the pair $(G,K)=(\SO(4),\SO(3))$. 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 prove that…
▽ More
In this work we start by determining all irreducible spherical functions $Φ$ of any $K $-type associated to the pair $(G,K)=(\SO(4),\SO(3))$. 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 prove 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 show that $W$ admits a second order symmetric hypergeometric operator $\widetilde D$ and a first order symmetric differential operator $\widetilde E$.
Later, we establish a direct 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)$. Concluding that to find all the spherical functions of one of these pairs is equivalent to do the same it with the other.
Finally, we study the spherical functions of certain types of the $n$-dimensional sphere $S^{n}\simeq \SO(n+1)/\SO(n)$, for any $n$. More precisely, we give explicitly all the spherical functions whose associated functions $H$ are scalar valued, including those of trivial type, and then we study the irreducible spherical functions of fundamental type, describing them in terms of matrix valued hypergeometric functions $_2!F_1$. Thereafter, for every fundamental type we build a sequence of ortogonal matrix valued polynomials with respect to a weight $W$, which are associated to the spherical functions. We also prove that, for any $n$, $W$ admits a second order symmetric differential operator.
△ Less
Submitted 27 June, 2013;
originally announced June 2013.
-
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.
