On solutions of holonomic divided-difference equations on nonuniform lattices (Q402328): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The authors study polynomials orthogonal on nonuniform lattices \[ x(s)=c_1q^s+c_2q^{-s}+c_3 \text{ if }q\not= 1\text{ and } x(s)=c_4s^2+c_5s+c_6 \text{ if }q=1. \] In order to complete the existing characterization of the classical orthogonal polynomials on this type of lattices, they introduce two new monomial bases for the expansion \[ P_n(x(s)=\sum_{k=0}^n\,a_k x(s)^k, \] and their formal Stieltjes function \[ \int_a^b\,{\text{d}\mu(x(s))\over x(z)-x(s)}=\sum_{n=0}^{\infty}\,{\mu_n\over x(s)^{n+1}};\;\mu_n=\int_a^b\,x(s)^n \text{d}\mu(x(s)),\;x(z)\not\in (a,b). \] As indicated in the introduction, the first basis \(\{F_n\}_n\) is chosen to provide nice operational properties: The basis \(\{F_n(x(s))\}_n\) of polynomials of degree \(n\) in \(x(s)\) satisfy \[ \mathbf{D}_xF_n(x(s))=a_nnF_{n-1}(x(s)),\;\text\textbf{D}_x{1\over F_n(x(s))}={b_n\over F_{n+1}(x(s))}, \] \quad and \[ \mathbf{S}_xF_n(x(s))=c_nF_n(x)s))+d_nF_{n-1}(x(s)),\;\text\textbf{S}_x{1\over F_n(x(s))}={e_n\over F_{n}(x(s))} + {f_n\over F_{n+1}(x(s))}, \] \quad with given constants \(a_n,b_n,c_n,d_n,e_n\) and \(f_n\); the \textbf{companion operators} are given by \[ \mathbf{D}_x f(x(s))={f(x(s+{1\over 2}))-f(x(s-{1\over 2}))\over x(s+{1\over 2})-x(s-{1\over 2})},\;\text\textbf{S}_x f(x(s))={f(x(s+{1\over 2}))-f(x(s-{1\over 2}))\over 2}. \] \quad (these operators transform polynomials of degree \(n\) in \(x(s)\) into degree \(n-1\) resp. \(n\) polynomials) \vskip0.3cm To achieve solutions of arbitrary linear divided-difference equations with polynomial coefficients involving products of \(\mathbf{D}_x\text{ and \textbf{S}}_x\) only (more suitable for general Askey-Wilson polynomials), the second basis \(\{B_n\}_n\) is introduced on the general \(q\)-quadratic lattice \[ x(s)=uq^s+vq^{-s} \] by \[ B_n(a,s)=(2 a u q^s,q)_n(2a v q^{-s},q)_n,\;n\geq 1;\;B_0(x,s)=1. \] (the notation \((\cdots; q)_n\) indicates the customary \(q\)-Pochhammer symbol) The elements of this basis satisfy a host of properties and lead to quite a number of explicit series solutions to the divided difference equations studied. The connection between the two bases is given in the paper in Proposition 16: \[ F_n(x(s))=\sum_{j=0}^n\,r_{n,j}B_j(a,s),\;B_n(a,s)=\sum_{j=0}^n\,s_{n,j}F_j(x(s)), \] with explicit expressions for the connection coefficients \(r_{n,j}\) and \(s_{n,j}\). The layout of the paper is as follows: 1. Introduction 2. A new basis compatible with the companion operators 3. Algorithmic series solutions of divided-difference equations 4. Applications and illustrations 5. Conclusions and perspectives References (35 items) | |||
Property / review text: The authors study polynomials orthogonal on nonuniform lattices \[ x(s)=c_1q^s+c_2q^{-s}+c_3 \text{ if }q\not= 1\text{ and } x(s)=c_4s^2+c_5s+c_6 \text{ if }q=1. \] In order to complete the existing characterization of the classical orthogonal polynomials on this type of lattices, they introduce two new monomial bases for the expansion \[ P_n(x(s)=\sum_{k=0}^n\,a_k x(s)^k, \] and their formal Stieltjes function \[ \int_a^b\,{\text{d}\mu(x(s))\over x(z)-x(s)}=\sum_{n=0}^{\infty}\,{\mu_n\over x(s)^{n+1}};\;\mu_n=\int_a^b\,x(s)^n \text{d}\mu(x(s)),\;x(z)\not\in (a,b). \] As indicated in the introduction, the first basis \(\{F_n\}_n\) is chosen to provide nice operational properties: The basis \(\{F_n(x(s))\}_n\) of polynomials of degree \(n\) in \(x(s)\) satisfy \[ \mathbf{D}_xF_n(x(s))=a_nnF_{n-1}(x(s)),\;\text\textbf{D}_x{1\over F_n(x(s))}={b_n\over F_{n+1}(x(s))}, \] \quad and \[ \mathbf{S}_xF_n(x(s))=c_nF_n(x)s))+d_nF_{n-1}(x(s)),\;\text\textbf{S}_x{1\over F_n(x(s))}={e_n\over F_{n}(x(s))} + {f_n\over F_{n+1}(x(s))}, \] \quad with given constants \(a_n,b_n,c_n,d_n,e_n\) and \(f_n\); the \textbf{companion operators} are given by \[ \mathbf{D}_x f(x(s))={f(x(s+{1\over 2}))-f(x(s-{1\over 2}))\over x(s+{1\over 2})-x(s-{1\over 2})},\;\text\textbf{S}_x f(x(s))={f(x(s+{1\over 2}))-f(x(s-{1\over 2}))\over 2}. \] \quad (these operators transform polynomials of degree \(n\) in \(x(s)\) into degree \(n-1\) resp. \(n\) polynomials) \vskip0.3cm To achieve solutions of arbitrary linear divided-difference equations with polynomial coefficients involving products of \(\mathbf{D}_x\text{ and \textbf{S}}_x\) only (more suitable for general Askey-Wilson polynomials), the second basis \(\{B_n\}_n\) is introduced on the general \(q\)-quadratic lattice \[ x(s)=uq^s+vq^{-s} \] by \[ B_n(a,s)=(2 a u q^s,q)_n(2a v q^{-s},q)_n,\;n\geq 1;\;B_0(x,s)=1. \] (the notation \((\cdots; q)_n\) indicates the customary \(q\)-Pochhammer symbol) The elements of this basis satisfy a host of properties and lead to quite a number of explicit series solutions to the divided difference equations studied. The connection between the two bases is given in the paper in Proposition 16: \[ F_n(x(s))=\sum_{j=0}^n\,r_{n,j}B_j(a,s),\;B_n(a,s)=\sum_{j=0}^n\,s_{n,j}F_j(x(s)), \] with explicit expressions for the connection coefficients \(r_{n,j}\) and \(s_{n,j}\). The layout of the paper is as follows: 1. Introduction 2. A new basis compatible with the companion operators 3. Algorithmic series solutions of divided-difference equations 4. Applications and illustrations 5. Conclusions and perspectives References (35 items) / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Marcel G. de Bruin / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 33D45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 39A13 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6335062 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Askey-Wilson polynomials | |||
Property / zbMATH Keywords: Askey-Wilson polynomials / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nonuniform lattices | |||
Property / zbMATH Keywords: nonuniform lattices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
difference equations | |||
Property / zbMATH Keywords: difference equations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
divided-difference equations | |||
Property / zbMATH Keywords: divided-difference equations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Stieltjes function | |||
Property / zbMATH Keywords: Stieltjes function / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3390/axioms2030404 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2156584144 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Continued Fraction Related to Some Partition Formulas of Euler / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical orthogonal polynomials: A functional approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A distributional study of discrete classical orthogonal polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypergeometric Orthogonal Polynomials and Their q-Analogues / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(Q\)-classical orthogonal polynomials: A very classical approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the \(q\)-polynomials: A distributional study / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On classical orthogonal polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The theory of difference analogues of special functions of hypergeometric type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On difference equations for orthogonal polynomials on nonuniform lattices<sup>1</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(q\)-classical orthogonal polynomials: A general difference calculus approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5703969 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Special nonuniform lattice (snul) orthogonal polynomials on discrete dense sets of points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Applications of \(q\)-Taylor theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \( m\)-fold hypergeometric solutions of linear recurrence equations revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithmic determination of \(q\)-power series for \(q\)-holonomic functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to basic Fourier series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(q\)-hypergeometric solutions of \(q\)-difference equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithms for \(q\)-hypergeometric summation in computer algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterization theorem for classical orthogonal polynomials on non-uniform lattices: the functional approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connection and linearization coefficients of the Askey-Wilson polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über Differentialgleichungen für Orthogonalpolynome / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:33, 8 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On solutions of holonomic divided-difference equations on nonuniform lattices |
scientific article |
Statements
On solutions of holonomic divided-difference equations on nonuniform lattices (English)
0 references
28 August 2014
0 references
The authors study polynomials orthogonal on nonuniform lattices \[ x(s)=c_1q^s+c_2q^{-s}+c_3 \text{ if }q\not= 1\text{ and } x(s)=c_4s^2+c_5s+c_6 \text{ if }q=1. \] In order to complete the existing characterization of the classical orthogonal polynomials on this type of lattices, they introduce two new monomial bases for the expansion \[ P_n(x(s)=\sum_{k=0}^n\,a_k x(s)^k, \] and their formal Stieltjes function \[ \int_a^b\,{\text{d}\mu(x(s))\over x(z)-x(s)}=\sum_{n=0}^{\infty}\,{\mu_n\over x(s)^{n+1}};\;\mu_n=\int_a^b\,x(s)^n \text{d}\mu(x(s)),\;x(z)\not\in (a,b). \] As indicated in the introduction, the first basis \(\{F_n\}_n\) is chosen to provide nice operational properties: The basis \(\{F_n(x(s))\}_n\) of polynomials of degree \(n\) in \(x(s)\) satisfy \[ \mathbf{D}_xF_n(x(s))=a_nnF_{n-1}(x(s)),\;\text\textbf{D}_x{1\over F_n(x(s))}={b_n\over F_{n+1}(x(s))}, \] \quad and \[ \mathbf{S}_xF_n(x(s))=c_nF_n(x)s))+d_nF_{n-1}(x(s)),\;\text\textbf{S}_x{1\over F_n(x(s))}={e_n\over F_{n}(x(s))} + {f_n\over F_{n+1}(x(s))}, \] \quad with given constants \(a_n,b_n,c_n,d_n,e_n\) and \(f_n\); the \textbf{companion operators} are given by \[ \mathbf{D}_x f(x(s))={f(x(s+{1\over 2}))-f(x(s-{1\over 2}))\over x(s+{1\over 2})-x(s-{1\over 2})},\;\text\textbf{S}_x f(x(s))={f(x(s+{1\over 2}))-f(x(s-{1\over 2}))\over 2}. \] \quad (these operators transform polynomials of degree \(n\) in \(x(s)\) into degree \(n-1\) resp. \(n\) polynomials) \vskip0.3cm To achieve solutions of arbitrary linear divided-difference equations with polynomial coefficients involving products of \(\mathbf{D}_x\text{ and \textbf{S}}_x\) only (more suitable for general Askey-Wilson polynomials), the second basis \(\{B_n\}_n\) is introduced on the general \(q\)-quadratic lattice \[ x(s)=uq^s+vq^{-s} \] by \[ B_n(a,s)=(2 a u q^s,q)_n(2a v q^{-s},q)_n,\;n\geq 1;\;B_0(x,s)=1. \] (the notation \((\cdots; q)_n\) indicates the customary \(q\)-Pochhammer symbol) The elements of this basis satisfy a host of properties and lead to quite a number of explicit series solutions to the divided difference equations studied. The connection between the two bases is given in the paper in Proposition 16: \[ F_n(x(s))=\sum_{j=0}^n\,r_{n,j}B_j(a,s),\;B_n(a,s)=\sum_{j=0}^n\,s_{n,j}F_j(x(s)), \] with explicit expressions for the connection coefficients \(r_{n,j}\) and \(s_{n,j}\). The layout of the paper is as follows: 1. Introduction 2. A new basis compatible with the companion operators 3. Algorithmic series solutions of divided-difference equations 4. Applications and illustrations 5. Conclusions and perspectives References (35 items)
0 references
Askey-Wilson polynomials
0 references
nonuniform lattices
0 references
difference equations
0 references
divided-difference equations
0 references
Stieltjes function
0 references
0 references
0 references