On a structure formula for classical \(q\)-orthogonal polynomials
type: Item
instance of: scholarly article
title: On a structure formula for classical \(q\)-orthogonal polynomials
zbMATH Open document ID: 1004.33008
DOI: 10.1016/S0377-0427(00)00577-X
author: W. Koepf
author: Dieter Schmersau
published in: Journal of Computational and Applied Mathematics
publication date: 2003-02-03T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/9612224
reviewed by: C. Krattenthaler
Mathematics Subject Classification ID: 33D45
Mathematics Subject Classification ID: 33C45
zbMATH DE Number: 1669979
zbMATH Keywords: classical \(q\)-orthogonal polynomials
zbMATH Keywords: \(q\)-Hahn tableau
zbMATH Keywords: structure formula
zbMATH Keywords: \(q\)-Jacobi polynomials
MaRDI profile type: MaRDI publication profile
arXiv ID: math/9612224
cites work: Another Characterization of the Classical Orthogonal Polynomials
cites work: Inversion problems in the \(q\)-Hahn tableau
cites work: Q4170993
cites work: Über Orthogonalpolynome, die q‐Differenzengleichungen genügen
cites work: Recursively generated Sturm-Liouville polynomial systems
cites work: Representations of orthogonal polynomials
cites work: Q4327870
review text: A short proof is given for the fact that any solution of the \(q\)-difference equation NEWLINE\[NEWLINE\sigma(x)D_qD_{1/q}y(x)+\tau(x)D_qy(x)+\lambda_{q,n}y(x)=0,NEWLINE\]NEWLINE where \(\sigma(x)=ax^2+bx+c\), \(\tau(x)=dx+e\), for some real numbers \(a,b,c,d,e\), \(D_q\) is the usual \(q\)-difference operator defined by \(D_qf(x):=(f(qx)-f(x))/(q-1)x\), and \(\lambda_{q,n}\) is (enforcedly) equal to \(-a[n]_{1/q} [n-1]_q-d[n]_q\) with \([n]_q:=(1-q^n) /(1-q)\), satisfies the ``structure formula'' NEWLINE\[NEWLINE\sigma(x)D_{1/q}P_n(x)=\alpha_nP_{n+1}(x)+\beta_nP_n(x)+\gamma_nP_{n-1} (x),NEWLINE\]NEWLINE with explicitly known real numbers \(\alpha_n,\beta_n,\gamma_n\). The proof is based on the fact that any solution of the \(q\)-differene equation satisfies a three-term recurrence NEWLINE\[NEWLINEP_{n+1}(x)=(A_nx+B_n)P_n(x)-C_{n}P_{n-1}(x)NEWLINE\]NEWLINE (and is therefore a family of orthogonal polynomials). The authors mention that an independent proof of the same fact was given by Steffen Häcker in his Ph.D. thesis ``Polynomiale Eigenwertprobleme zweiter Ordnung mit Hahnschen \(q\)-Operatoren,'' using a different approach.
Recommended article: \(q\)-classical orthogonal polynomials: A general difference calculus approach
Recommended article: Structure relations forq-polynomials and some applications
Recommended article: A characterization of some \(q\)-orthogonal polynomials
Recommended article: Generic formulas for the values at the singular points of some special monic classical \(H_{q,\omega }\)-orthogonal polynomials
Recommended article: Characterization of basic sets of orthogonalq-polynomials via someq-difference equations
description: scientific article; zbMATH DE number 1669979