학술논문

Associated orthogonal polynomials of the first kind and Darboux transformations.
Document Type
Journal
Author
García-Ardila, J. C. (E-UPM-AMI) AMS Author Profile; Marcellán, F. (E-CARL-M) AMS Author Profile; Villamil-Hernández, P. H. (MEX-NAM-NM) AMS Author Profile
Source
Journal of Mathematical Analysis and Applications (J. Math. Anal. Appl.) (20220101), 508, no.~2, Paper No 125883, 26~pp. ISSN: 0022-247X (print).eISSN: 1096-0813.
Subject
15 Linear and multilinear algebra; matrix theory -- 15A Basic linear algebra
  15A23 Factorization of matrices
Language
English
Abstract
Summary: ``Let $\bold u$ be a quasi-definite linear functional defined on the linear space of polynomials $\Bbb P$ with complex coefficients. For such a functional we can define a sequence of monic orthogonal polynomials (SMOP in short) $(P_n)_{n\in\Bbb N}$, which satisfies a three term recurrence relation. If we increase the indices of the recurrence relation by one unity, then we get the sequence of associated polynomials of the first kind as solution. These polynomials will be orthogonal with respect to a linear functional denoted by $\bold u^{(1)}$. In the literature two special transformations of the functional $\bold u$ are studied, the canonical Christoffel transformation $\tilde{\bold u} = (x - c)\bold u$ and the canonical Geronimus transformation $\hat{\bold u} = (x - c)^{-1}{\bold u} + M\delta_c$, where $c$ is a fixed complex number, $M$ is a free complex parameter and $\delta_c$ is the linear functional defined on $\Bbb P$ as $\langle\delta_c, p(x) \rangle= p(c)$. For the Christoffel transformation with SMOP $(\tilde P_n)_{n\in\Bbb N}$, we are interested in analyzing the relation between the linear functionals $\bold u^{(1)}$ and $\bold u^{(1)}$. The super index denotes the linear functionals associated with the orthogonal polynomial sequences of the first kind $(P^{(1)}_n)_{n\in\Bbb N}$ and $(\tilde P^{(1)}_n )_{n\in\Bbb N}$, respectively. This problem is also studied for Geronimus transformations. Here we give close relations between their corresponding monic Jacobi matrices by using the LU and UL factorizations. To get this result, we first need to study the relation between $\bold u^{-1}$ (the inverse functional) and $\bold u^{(1)}$ which can be given from a quadratic Geronimus transformation.''