Generalizations of Orthogonal Polynomials in Askey Schemes

Total Page:16

File Type:pdf, Size:1020Kb

Generalizations of Orthogonal Polynomials in Askey Schemes Generalizations of Orthogonal polynomials in Askey Schemes Howard S. Cohl? ?Applied and Computational Mathematics Division, National Institute of Standards and Technology, Gaithersburg, Maryland Department of Mathematics and Statistics Colloqium Department of Mathematics and Statistics American University Washington, D.C. April 15, 2014 Howard Cohl (NIST) Generalized expansions April 15, 2014 1 / 56 Acknowedgements (co-authors) Generalized hypergeometric orthogonal polynomials Hans Volkmer, University of Wisconsin-Milwaukee Michael A. Baeder, student Harvey Mudd College Basic hypergeometric orthogonal polynomials Roberto Costas-Santos, Universidad de Alcalá, Spain Philbert Hwang, student at Poolesville High School Howard Cohl (NIST) Generalized expansions April 15, 2014 2 / 56 Askey scheme Orthogonal polynomials Gabor Szeg®, Orthogonal Polynomials (1959) A polynomial is an expression of nite length constructed from variables and constants, i.e., 2 4 n pn(z) = c0 + c1z + c2z + c3z + ··· + cnz An orthogonal (orthonormal) set of polynomials fpn(x)g is dened by the relations Z b pm(x)pn(x)w(x)dx = δm;n: a Askey scheme a way of organizing orthogonal polynomials of hypergeometric type into a hierarchy Howard Cohl (NIST) Generalized expansions April 15, 2014 3 / 56 Askey scheme Howard Cohl (NIST) Generalized expansions April 15, 2014 4 / 56 Askey scheme Classical continuous orthogonal polynomials Orthog. polynomial Symbol w(x) (a; b) ˛ ˛2 Wilson ˛ Γ(a+ix)Γ(b+ix)Γ(c+ix)Γ(d+ix) ˛ Wn ˛ Γ(2ix) ˛ (0; 1) 2 Cts. dual Hahn S Γ(a+ix)Γ(b+ix)Γ(c+ix) (0; 1) n Γ(2ix) 2 Continuous Hahn pn jΓ(a + ix)Γ(b + ix)j (−∞; 1) (λ) (2φ−π)x 2 Meixner-Pollaczek Pn e jΓ(λ + ix)j (−∞; 1) (α,β) α β Jacobi Pn (1 − x) (1 + x) (−1; 1) −x α Laguerre Ln e x (0; 1) −x2 Hermite Hn e (−∞; 1) Howard Cohl (NIST) Generalized expansions April 15, 2014 5 / 56 Askey scheme Factorials and generalized hypergeometric series Euler's gamma function and factorial for non-negative integers Z 1 π Γ(z) := tz−1e−tdt; Re z > 0; Γ(z)Γ(1 − z) = 0 sin(πz) Γ(n) = (n − 1)!; n 2 N0 = 0; 1; 2;::: Pochhammer symbol: the rising factorial in the complex plane (a)n := (a)(a + 1) ::: (a + n − 1); (a)0 := 1; a 2 C Γ(a + n) (a) = ; a 62 −N = 0; −1; −2;::: n Γ(a) 0 Generalized hypergeometric series 1 n a1; : : : ; ar X (a1)n ::: (ar)n z F ; z := r s b ; : : : ; b (b ) ::: (b ) n! 1 s n=0 1 n s n Howard Cohl (NIST) Generalized expansions April 15, 2014 6 / 56 Askey scheme Example: Denition of the (continuous) Wilson polynomials No symmetry in the parameters 2 Wn(x ; a; b; c; d) −n; n + a + b + c + d − 1; a + ix; a − ix = (a + b) (a + c) (a + d) F ; 1 n n n 4 3 a + b; a + c; a + d Symmetry in the parameters 2 (a − ix)n(b − ix)n(c − ix)n(d − ix)n Wn(x ; a; b; c; d) = (−2ix)n 1 ! −n; 2ix − n; ix − 2 n + 1; a + ix; b + ix; c + ix; d + ix × 7F6 1 ; 1 ix − 2 n; 1 − n − a + ix; 1 − n − b + ix; 1 − n − c + ix; 1 − n − d + ix Howard Cohl (NIST) Generalized expansions April 15, 2014 7 / 56 q-Askey scheme Howard Cohl (NIST) Generalized expansions April 15, 2014 8 / 56 q-Askey scheme q-calculus q-Pochhammer symbol n−1 (a; q)n := (1 − a)(1 − aq) ::: (1 − aq ); (a; q)0 := 1 Notation (a1; : : : ; ar; q)n := (a1; q)n ::: (ar; q)n Basic hypergeometric series 1 1+s−r a1; : : : ; ar X (a1; : : : ; ar; q)n n n n φ ; q; z := (−1) q(2) z r s b ; : : : ; b (b ; : : : ; b ; q; q) 1 s n=0 1 s n 1 n a1; : : : ; as+1 X (a1; : : : ; as+1; q)n z φ ; q; z := s+1 s b ; : : : ; b (b ; : : : ; b ; q) (q; q) 1 s n=0 1 s n n Howard Cohl (NIST) Generalized expansions April 15, 2014 9 / 56 Connection relations and generating functions Connection relations and coecients n (α) X (β) Pn (x) = cn;k(α; β)Pk (x) k=0 What are the cn;k? This is a problem in orthogonal polynomials. In general, one can compute connection relations by using orthogonality Z b (α) (α) Pk (x)Pk0 (x)w(x)dx = dk(α)δk;k0 : a Therefore Z b 1 (α) (β) cn;k(α; β) = Pn (x)Pk (x)w(x)dx: dk(β) a Howard Cohl (NIST) Generalized expansions April 15, 2014 10 / 56 Connection relations and generating functions Generating functions 1 X n (α) f(x; ρ; α) = cn(α)ρ Pn (x) n=0 Examples: Hermite polynomials 1 X 1 exp(2xρ − ρ2) = ρnH (x) n! n n=0 Gegenbauer polynomials 1 1 X = ρnCν(x) (1 + ρ2 − 2ρx)ν n n=0 Jacobi polynomials 1 α+β −1 −α −β X n (α,β) 2 R (1 − ρ + R) (1 + ρ + R) = ρ Pn (x); n=0 where R = p1 + ρ2 − 2ρx. Howard Cohl (NIST) Generalized expansions April 15, 2014 11 / 56 Connection relations and generating functions Ex: Laguerre polynomial connection rel. via generating fn. Denition (orthogonal, monic): n k X (n + α)n−k (−x) L(α)(x) = n (n − k)! k! k=0 Generating function 1 xρ X (1 − ρ)−α−1 exp = ρnL(α)(x) ρ − 1 n n=0 1 (1 − ρ)−α−1 xρ X (1 − ρ)−β−1 exp = (1 − ρ)β−α ρnL(β)(x) (1 − ρ)−β−1 ρ − 1 n n=0 1 1 X (r)k X (α − β)j (1 − ρ)−r = xr−kyk =) (1 − ρ)β−α = ρj k! j! k=0 j=0 Howard Cohl (NIST) Generalized expansions April 15, 2014 12 / 56 Connection relations and generating functions Example: Laguerre polynomial (cont.) 1 1 1 X (α − β)j X (β) X ρj ρkL (x) = ρnL(α)(x) j! k n j=0 k=0 n=0 j + k = n =) j = n − k 1 ( n ) X X (α − β)n−k (β) Lα(x) − L (x) = 0 n (n − k)! k n=0 k=0 Connection relation (1 free parameter) n (α) X (β) Ln (x) = cn;k(α; β) Lk (x); k=0 where (α − β) c (α; β) = n−k n;k (n − k)! Howard Cohl (NIST) Generalized expansions April 15, 2014 13 / 56 Generalized expansions Generalizations of generating function families Generalized hypergeometric orthogonal polynomials Laguerre polynomials Jacobi, Gegenbauer, Chebyshev and Legendre polynomials Wilson polynomials Continuous Hahn polynomials Continuous dual Hahn polynomials Meixner-Pollaczek polynomials Basic hypergeometric orthogonal polynomials q-ultraspherical Al-Salam-Carlitz II /Rogers polynomials big/little q-Jacobi polynomials (ongoing) q-Laguerre polynomials Stieltjes-Wigert polynomials (ongoing) big q-Laguerre Askey-Wilson (ongoing) Howard Cohl (NIST) Generalized expansions April 15, 2014 14 / 56 Generalized expansions Example: Al-Salam-Carlitz II generating function Denition (orthogonal, monic): −n n (α) n − n q ; x q V (x; q) = (−α) q (2) φ ; q; ; α < 0 n 2 0 − α Connection relation (1 free parameter) n (α) X (β) Vn (x; q) = cn;k(α; β) Vk (x; q): k=0 where n−k k(k−n) k−n+1 n−k+1 β q (q α/β; q)n−k(q ; q)k cn;k(α; β) := (q; q)k Generating function: 1 x X qn(n−1)ρn (αρ; q) φ ; q; ρ = V (α)(x; q) 1 1 1 αρ (q; q) n n=0 n Howard Cohl (NIST) Generalized expansions April 15, 2014 15 / 56 Generalized expansions Example: Al-Salam-Carlitz II (cont.) Therefore: 1 x X qn(n−1)ρn (αρ; q) φ ; q; ρ = 1 1 1 αρ (q; q) n=0 n n n−k k(k−n) k−n+1 n−k+1 X β q (q α/β; q)n−k(q ; q)k (β) × Vk (x) (q; q)k k=0 Reverse the order of summation and let n 7! n + k 1 k (β) x X ρ Vk (x; q) (αρ; q)1 1φ1 ; q; ρ = αρ (q; q)k k=0 1 n −nk 1−n n+1 (n+k)(n+k−1) n X β q (αq /β; q)n(q ; q)kq ρ × (q; q) n=0 n+k Howard Cohl (NIST) Generalized expansions April 15, 2014 16 / 56 Generalized expansions Example: Al-Salam-Carlitz II (cont.) Using the properties of q-Pochhammer symbols: n (a; q)n+k = (a; q)n(aq ; q)k; −n n −n−(n) (aq ; q)n = (q=a; q)n(−a) q 2 ; a 6= 0; one obtains after cancellation 1 (β) 1 n β k k(k−1) (2) k n x X ρ q Vk (x; q) X q ( α ; q)n(−αρq ) (αρ; q)1 1φ1 ; q; ρ = αρ (q; q)k (q; q)n k=0 n=0 therefore with α; β < 0, one has 1 n n(n−1) (β) x X ρ q Vn (x; q) β/α (αρ; q) φ ; q; ρ = φ ; q; αρqn 1 1 1 αρ (q; q) 1 1 0 n=0 n Howard Cohl (NIST) Generalized expansions April 15, 2014 17 / 56 Generalized expansions Classical expansions for orthogonal polynomials Gegenbauer generating function (1874) 1 1 X = ρnCν(x) (1 + ρ2 − 2ρx)ν n n=0 Legendre generating function (1783) 1 1 X n = ρ Pn(x) p 2 1 + ρ − 2ρx n=0 Heine's reciprocal square root identity (1881) p 1 1 2 X 1 if n = 0; p = Q (z)T (x); := z − x π n n−1=2 n n 2 if n = 1; 2; 3;::: n=0 1 1 1 X 1 + ρ2 = p nQ Tn(x) p 2 π ρ n−1=2 2ρ 1 + ρ − 2ρx n=0 Howard Cohl (NIST) Generalized expansions April 15, 2014 18 / 56 Generalized expansions Classical Gauss hypergeometric orthogonal polynomials (α,β) Jacobi polynomials, α; β > −1;Pn : C ! C; dened as −n; n + α + β + 1 ! (α,β) (α + 1)n 1 − z Pn (z) := 2F1 ; n! α + 1 2 Z 1 (α,β) (α,β) α β Pm (x)Pn (x)(1 − x) (1 + x) dx −1 2α+β+1Γ(α + n + 1)Γ(β + n + 1) = δ (2n + α + β + 1)Γ(α + β + n + 1)n! m;n Gegenbauer polynomials, 1 µ dened µ 2 (− 2 ; 1) n f0g;Cn : C ! C; as −n; n + 2µ ! µ (2µ)n 1 − z (2µ)n (µ−1=2,µ−1=2) C (z) := 2F1 ; = P n n! 1 2 (µ + 1 ) n µ + 2 2 n Howard Cohl (NIST) Generalized expansions April 15, 2014 19 / 56 Generalized expansions Classical Gauss hypergeometric orthogonal polynomials Legendre polynomials: 1=2 Pn(z) = Cn (z) Chebyshev polynomials of the 1st kind: Tn(cos θ) = cos(nθ) 1 n + µ µ Tn(z) = lim Cn (z) n µ!0 µ Chebyshev polynomials of the 2nd kind: 1 Un(z) = Cn(z) Howard Cohl (NIST) Generalized expansions April 15, 2014 20 / 56 Generalized expansions Special functions: associated Legendre functions µ Ferrers function of the rst kind: Pν :(−1; 1) ! C (associated Legendre function of the rst kind on the cut) 1 1 + xµ/2 1 − x Pµ(x) := F −ν; ν + 1; 1 − µ; ν Γ(1 − µ) 1 − x 2 1 2 µ Legendre function of the rst kind: Pν : C n (−∞; 1] ! C 1 z + 1µ/2 1 − z P µ(z) := F −ν; ν + 1; 1 − µ; ν Γ(1 − µ) z − 1 2 1 2 µ Legendre function of the second kind, Qν : C n (−∞; 1] ! C p πeiπµΓ(ν + µ + 1)(z2 − 1)µ/2 Qµ(z) := ν ν+1 3 ν+µ+1 2 Γ(ν + 2 )z ν + µ + 2 ν + µ + 1 3 1 × F ; ; ν + ; 2 1 2 2 2 z2 Howard Cohl (NIST) Generalized expansions April 15, 2014 21 / 56 Generalized expansions p The alg.
Recommended publications
  • Journal of Computational and Applied Mathematics Extensions of Discrete
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Computational and Applied Mathematics 225 (2009) 440–451 Contents lists available at ScienceDirect Journal of Computational and Applied Mathematics journal homepage: www.elsevier.com/locate/cam Extensions of discrete classical orthogonal polynomials beyond the orthogonality R.S. Costas-Santos a,∗, J.F. Sánchez-Lara b a Department of Mathematics, University of California, South Hall, Room 6607 Santa Barbara, CA 93106, USA b Universidad Politécnica de Madrid, Escuela Técnica Superior de Arquitectura, Departamento de Matemática Aplicada, Avda Juan de Herrera, 4. 28040 Madrid, Spain article info a b s t r a c t α,β Article history: It is well-known that the family of Hahn polynomials fhn .xI N/gn≥0 is orthogonal with Received 5 November 2007 respect to a certain weight function up to degree N. In this paper we prove, by using the three-term recurrence relation which this family satisfies, that the Hahn polynomials can MSC: be characterized by a ∆-Sobolev orthogonality for every n and present a factorization for 33C45 Hahn polynomials for a degree higher than N. 42C05 We also present analogous results for dual Hahn, Krawtchouk, and Racah polynomials 34B24 and give the limit relations among them for all n 2 N0. Furthermore, in order to get Keywords: these results for the Krawtchouk polynomials we will obtain a more general property of Classical orthogonal polynomials orthogonality for Meixner polynomials. Inner product involving difference ' 2008 Elsevier B.V. All rights reserved.
    [Show full text]
  • The Askey-Scheme of Hypergeometric Orthogonal Polynomials and Its Q-Analogue
    The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue Roelof Koekoek Ren´eF. Swarttouw Abstract We list the so-called Askey-scheme of hypergeometric orthogonal polynomials and we give a q- analogue of this scheme containing basic hypergeometric orthogonal polynomials. In chapter 1 we give the definition, the orthogonality relation, the three term recurrence rela- tion, the second order differential or difference equation, the forward and backward shift operator, the Rodrigues-type formula and generating functions of all classes of orthogonal polynomials in this scheme. In chapter 2 we give the limit relations between different classes of orthogonal polynomials listed in the Askey-scheme. In chapter 3 we list the q-analogues of the polynomials in the Askey-scheme. We give their definition, orthogonality relation, three term recurrence relation, second order difference equation, forward and backward shift operator, Rodrigues-type formula and generating functions. In chapter 4 we give the limit relations between those basic hypergeometric orthogonal poly- nomials. Finally, in chapter 5 we point out how the ‘classical’ hypergeometric orthogonal polynomials of the Askey-scheme can be obtained from their q-analogues. Acknowledgement We would like to thank Professor Tom H. Koornwinder who suggested us to write a report like this. He also helped us solving many problems we encountered during the research and provided us with several references. Contents Preface 5 Definitions and miscellaneous formulas 7 0.1 Introduction . 7 0.2 The q-shifted factorials . 8 0.3 The q-gamma function and the q-binomial coefficient . 10 0.4 Hypergeometric and basic hypergeometric functions .
    [Show full text]
  • Doubling (Dual) Hahn Polynomials: Classification and Applications
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 12 (2016), 003, 27 pages Doubling (Dual) Hahn Polynomials: Classification and Applications Roy OSTE and Joris VAN DER JEUGT Department of Applied Mathematics, Computer Science and Statistics, Ghent University, Krijgslaan 281-S9, B-9000 Gent, Belgium E-mail: [email protected], [email protected] Received July 13, 2015, in final form January 04, 2016; Published online January 07, 2016 http://dx.doi.org/10.3842/SIGMA.2016.003 Abstract. We classify all pairs of recurrence relations in which two Hahn or dual Hahn polynomials with different parameters appear. Such couples are referred to as (dual) Hahn doubles. The idea and interest comes from an example appearing in a finite oscillator model [Jafarov E.I., Stoilova N.I., Van der Jeugt J., J. Phys. A: Math. Theor. 44 (2011), 265203, 15 pages, arXiv:1101.5310]. Our classification shows there exist three dual Hahn doubles and four Hahn doubles. The same technique is then applied to Racah polynomials, yielding also four doubles. Each dual Hahn (Hahn, Racah) double gives rise to an explicit new set of symmetric orthogonal polynomials related to the Christoffel and Geronimus trans- formations. For each case, we also have an interesting class of two-diagonal matrices with closed form expressions for the eigenvalues. This extends the class of Sylvester{Kac matrices by remarkable new test matrices. We examine also the algebraic relations underlying the dual Hahn doubles, and discuss their usefulness for the construction of new finite oscillator models. Key words: Hahn polynomial; Racah polynomial; Christoffel pair; symmetric orthogonal polynomials; tridiagonal matrix; matrix eigenvalues; finite oscillator model 2010 Mathematics Subject Classification: 33C45; 33C80; 81R05; 81Q65 1 Introduction The tridiagonal (N + 1) × (N + 1) matrix of the following form 0 0 1 1 BN 0 2 C B C B N − 1 0 3 C C = B C (1.1) N+1 B .
    [Show full text]
  • Spectral Transformations and Generalized Pollaczek Polynomials*
    METHODS AND APPLICATIONS OF ANALYSIS. © 1999 International Press Vol. 6, No. 3, pp. 261-280, September 1999 001 SPECTRAL TRANSFORMATIONS AND GENERALIZED POLLACZEK POLYNOMIALS* OKSANA YERMOLAYEVAt AND ALEXEI ZHEDANOV* To Richard Askey on his 65th birthday Abstract. The Christoffel and the Geronimus transformations of the classical orthogonal poly- nomials of a discrete variable are exploited to construct new families of the generalized Pollaczek polynomials. The recurrence coefficients wn, bn of these polynomials are rational functions of the argument n. The (positive) weight function is known explicitly. These polynomials are shown to belong to a subclass of the semi-classical orthogonal polynomials of a discrete variable. We illustrate the method by constructing a family of the modified Charlier polynomials which are orthogonal with respect to a perturbed Poisson distribution. The generating function of these polynomials provides a nontrivial extension of the class of the Meixner-Sheffer generating functions. 1. Introduction. The formal orthogonal polynomials Pn(x) are defined through the three-term recurrence relation ([8]) (1.1) iVfiOc) + unPn-i(x) + bnPn(x) = xPn(x) with the initial conditions (1.2) Po(x) = l, Pi(x)=x-bo. n n_1 The polynomials Pn(x) are monic (i.e. Pn{x) = x 4- 0(a; )). It can be shown that for arbitrary complex coefficients bn and (non-zero) un there exists a linear functional C such that k (1.3) £{Pn(x)x } = hn5nk, k<n, where (1.4) hn - u1U2"'Un ^ 0 are normalization constants. The functional £ is defined on the space of polynomials by its moments n (1.5) cn = £{x }, n = 0,l,---.
    [Show full text]
  • Orthogonal Polynomials and Classical Orthogonal Polynomials
    International Journal of Mechanical Engineering and Technology (IJMET) Volume 9, Issue 10, October 2018, pp. 1613–1630, Article ID: IJMET_09_10_164 Available online at http://iaeme.com/Home/issue/IJMET?Volume=9&Issue=10 ISSN Print: 0976-6340 and ISSN Online: 0976-6359 © IAEME Publication Scopus Indexed ORTHOGONAL POLYNOMIALS AND CLASSICAL ORTHOGONAL POLYNOMIALS DUNIA ALAWAI JARWAN Education for Girls College, Al-Anbar University, Ministry of Higher Education and Scientific Research, Iraq ABSTRACT The focus of this project is to clarify the concept of orthogonal polynomials in the case of continuous internal and discrete points on R and the Gram – Schmidt orthogonalization process of conversion to many orthogonal limits and the characteristics of this method. We have highlighted the classical orthogonal polynomials as an example of orthogonal polynomials because of they are great importance in physical practical applications. In this project, we present 3 types (Hermite – Laguerre – Jacobi) of classical orthogonal polynomials by clarifying the different formulas of each type and how to reach some formulas, especially the form of the orthogonality relation of each. Keywords: Polynomials, Classical Orthogonal, Monic Polynomial, Gram – Schmidt Cite this Article Dunia Alawai Jarwan, Orthogonal Polynomials and Classical Orthogonal Polynomials, International Journal of Mechanical Engineering and Technology, 9(10), 2018, pp. 1613–1630. http://iaeme.com/Home/issue/IJMET?Volume=9&Issue=10 1. INTRODUCTION The mathematics is the branch where the lots of concepts are included. An orthogonality is the one of the concept among them. Here we focuse on the orthogonal polynomial sequence. The orthogonal polynomial are divided in two classes i.e. classical orthogonal polynomials, Discrete orthogonal polynomials and Sieved orthogonal polynomials .There are different types of classical orthogonal polynomials such that Jacobi polynomials, Associated Laguerre polynomials and Hermite polynomials.
    [Show full text]
  • Moments of Orthogonal Polynomials and Exponential Generating
    MOMENTS OF ORTHOGONAL POLYNOMIALS AND EXPONENTIAL GENERATING FUNCTIONS IRA M. GESSEL AND JIANG ZENG Dedicated to the memory of Richard Askey Abstract. Starting from the moment sequences of classical orthogonal polynomials we derive the orthogonality purely algebraically. We consider also the moments of (q = 1) classical orthogonal polynomials, and study those cases in which the expo- nential generating function has a nice form. In the opposite direction, we show that the generalized Dumont-Foata polynomials with six parameters are the moments of rescaled continuous dual Hahn polynomials. 1. Introduction Many of the most important sequences in enumerative combinatorics—the factorials, derangement numbers, Bell numbers, Stirling polynomials, secant numbers, tangent numbers, Eulerian polynomials, Bernoulli numbers, and Catalan numbers—arise as moments of well-known orthogonal polynomials. With the exception of the Bernoulli and Catalan numbers, these orthogonal polynomials are all Sheffer type, see [39, 42]. One characteristic of these sequences is that their ordinary generating functions have simple continued fractions. For some recent work on the moments of classical orthog- onal polynomials we refer the reader to [9, 14, 32, 10, 11, 23]. There is another sequence which appears in a number of enumerative applications, and which also has a simple continued fraction. The Genocchi numbers may be defined by arXiv:2107.00255v2 [math.CA] 9 Jul 2021 ∞ xn ∞ x2n+2 x G = G = x tan . n n! 2n+2 (2n + 2)! 2 n=0 n=0 X X So Gn = 0 when n is odd or n = 0, G2 = 1, G4 = 1, G6 = 3, G8 = 17, G10 = 155, and G12 = 2073.
    [Show full text]
  • Moments of Classical Orthogonal Polynomials
    Moments of Classical Orthogonal Polynomials zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr.rer.nat) im Fachbereich Mathematik der Universität Kassel By Patrick Njionou Sadjang ????? Ph.D thesis co-supervised by: Prof. Dr. Wolfram Koepf University of Kassel, Germany and Prof. Dr. Mama Foupouagnigni University of Yaounde I, Cameroon October 2013 Tag der mündlichen Prüfung 21. Oktober 2013 Erstgutachter Prof. Dr. Wolfram Koepf Universität Kassel Zweitgutachter Prof. Dr. Mama Foupouagnigni University of Yaounde I Abstract The aim of this work is to find simple formulas for the moments mn for all families of classical orthogonal polynomials listed in the book by Koekoek, Lesky and Swarttouw [30]. The generating functions or exponential generating functions for those moments are given. To my dear parents Acknowledgments Foremost, I would like to express my sincere gratitude to my advisors Prof. Dr. Wolfram Koepf and Prof. Dr. Mama Foupouagnigni for the continuous support of my Ph.D study and research, for their patience, motivation, enthusiasm, and immense knowledge. Their guidance helped me in all the time of research and writing of this thesis. I could not have imagined having better advisors and mentors for my Ph.D study. I am grateful to Prof. Dr. Mama Foupouagnigni for enlightening me the first glance of re- search. My sincere thanks also go to Prof. Dr. Wolfram Koepf for offering me the opportunity to visit the University of Kassel where part of this work has been written. I acknowledge the financial supports of the DAAD via the STIBET fellowship which en- abled me to visit the Institute of Mathematics of the University of Kassel.
    [Show full text]
  • Hypergeometric Orthogonal Polynomials and Their Q-Analogues
    Springer Monographs in Mathematics Hypergeometric Orthogonal Polynomials and Their q-Analogues Bearbeitet von Roelof Koekoek, Peter A Lesky, René F Swarttouw, Tom H Koornwinder 1. Auflage 2010. Buch. xix, 578 S. Hardcover ISBN 978 3 642 05013 8 Format (B x L): 15,5 x 23,5 cm Gewicht: 2230 g Weitere Fachgebiete > Mathematik > Mathematische Analysis Zu Leseprobe schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. Contents Foreword .......................................................... v Preface ............................................................ xi 1 Definitions and Miscellaneous Formulas ........................... 1 1.1 Orthogonal Polynomials . 1 1.2 The Gamma and Beta Function . 3 1.3 The Shifted Factorial and Binomial Coefficients . 4 1.4 Hypergeometric Functions . 5 1.5 The Binomial Theorem and Other Summation Formulas . 7 1.6 SomeIntegrals............................................. 8 1.7 TransformationFormulas.................................... 10 1.8 The q-ShiftedFactorial...................................... 11 1.9 The q-Gamma Function and q-Binomial Coefficients . 13 1.10 Basic Hypergeometric Functions . 15 1.11 The q-Binomial Theorem and Other Summation Formulas
    [Show full text]
  • Q−Classical Orthogonal Polynomials: a Very Classical Approach∗
    Electronic Transactions on Numerical Analysis. ETNA Volume 9, 1999, pp. 112-127. Kent State University Copyright 1999, Kent State University. [email protected] ISSN 1068-9613. Q−CLASSICAL ORTHOGONAL POLYNOMIALS: A VERY CLASSICAL APPROACH∗ † ‡ F. MARCELLAN´ AND J.C. MEDEM Abstract. The q−classical orthogonal polynomials defined by Hahn satisfy a Sturm-Liouville type equation in geometric differences. Working with this, we classify the q−classical polynomials in twelve families according to the zeros of the polynomial coefficients of the equation and the behavior concerning to q−1 . We determine a q−analogue of the weight function for the twelve families, and we give a representation of its orthogonality relation and its q−integral. We describe this representation in some normal and special cases (indeterminate moment problem and finite orthogonal sequences). Finally, the Sturm-Liouville type equation allows us to establish the correspondence between this classification and the Askey Scheme. Key words. orthogonal q−polynomials, classical polynomials. AMS subject classifications. 33D25. 1. Hahn’s generalization of the classical orthogonal polynomials. The q− classical orthogonal polynomials were introduced by Wolfgang Hahn in connection with the q−deri- vative [7]: a) They are orthogonal in widespread sense, that is, in the three-term recurrence relation (TTRR) for the monic polynomials (1.1) xPn = Pn+1 + αnPn + βnPn−1 ,n≥0 ,P−1=0,P0=1, it is required that βn =06 ,n≥1or, equivalently, in terms of the corresponding functional, it must be regular, that is, the principal submatrices of the Hankel matrix for the moment sequence are nonsingular. b) Since the classical polynomials are characterized as the only ones whose sequence of derivatives is also orthogonal, Hahn considers the L−derivative and studies the orthogonal polynomials (OPS) whose sequence of L−derivatives is also orthogonal.
    [Show full text]
  • The Askey-Scheme of Hypergeometric Orthogonal Polynomials And
    The Askeyscheme of hyp ergeometric orthogonal p olynomials and its q analogue Ro elof Ko eko ek Rene F Swarttouw February Abstract We list the socalled Askeyscheme of hyp ergeometric orthogonal p olynomials In chapter we give the denition the orthogonality relation the three term recurrence relation and generating functions of all classes of orthogonal p olynomials in this scheme In chapter we give all limit relations b etween dierent classes of orthogonal p olynomials listed in the Askeyscheme In chapter we list the q analogues of the p olynomials in the Askeyscheme We give their denition orthogonality relation three term recurrence relation and generating functions In chapter we give the limit relations b etween those basic hyp ergeometric orthogonal p olynomials Finally in chapter we p oint out how the classical hyp ergeometric orthogonal p olynomials of the Askeyscheme can b e obtained from their q analogues Acknowledgement We would like to thank Professor Tom H Ko ornwinder who suggested us to write a rep ort like this He also help ed us solving many problems we encountered during the research and provided us with several references Contents Preface Denitions and miscellaneous formulas Intro duction The q shifted factorials The q gamma function and the q binomial co ecient Hyp ergeometric and basic hyp ergeometric functions The q binomial theorem and other summation formulas Transformation
    [Show full text]
  • A Multidimensional Generalization of the Barnes Integral and the Continuous Hahn Polynomial
    CORE Metadata, citation and similar papers at core.ac.uk ProvidedJournal by Elsevierof Mathematical - Publisher Connector Analysis and Applications 234, 67-76 (1999) Article ID jmaa.1999.6323, available online at http:/www.idealibrary.com on IBEkL@ A Multidimensional Generalization of the Barnes Integral and the Continuous Hahn Polynomial Katsuhisa Mimachi Department of Mathematics, Kyushu University 33, Hakozaki, Fukuoka 812-8581, Japan Submitted by Daniel Wateman Received October 20, 1998 Employing a multidimensional generalization of the beta integral of Barnes, we derive an expression of the continuous Hahn polynomials. Motivation of the present work is to study such integrals from the viewpoint of a finite-difference version of the de Rham theory. o 1999 Academic Press Key Words: continuous Hahn polynomials; multidimensional generalizations of Barnes’ beta integral 1. INTRODUCTION Recently, multidimensional generalizations of Barnes’ integral have been treated in the framework of a finite-difference version of the de Rham theory developed by Tarasov and Varchenko [221. These integrals appear to express the form factors arising in the integrable quantum field theory [13, 213 and the correlation functions of the integrable lattice models [ll]. On the other hand, the original Barnes integral is used to give the orthogonality relation for the continuous Hahn polynomials. Henceforce, recalling that the continuous Hahn polynomials are the generalization of the Jacobi polynomials [41 and that the Jacobi polynomial has an integral representation of the Selberg type [l, 181, it is natural to expect that the continuous Hahn polynomial could be expressed in terms of a multidimen- sional generalization of the Barnes integral; the present work is devoted to showing that such an expression can be found.
    [Show full text]
  • Dual -1 Hahn Polynomials: “Classical”
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 141, Number 3, March 2013, Pages 959–970 S 0002-9939(2012)11469-8 Article electronically published on July 26, 2012 DUAL −1 HAHN POLYNOMIALS: “CLASSICAL” POLYNOMIALS BEYOND THE LEONARD DUALITY SATOSHI TSUJIMOTO, LUC VINET, AND ALEXEI ZHEDANOV (Communicated by Sergei K. Suslov) Abstract. We introduce the −1 dual Hahn polynomials through an appro- priate q →−1 limit of the dual q-Hahn polynomials. These polynomials are orthogonal on a finite set of discrete points on the real axis, but in contrast to the classical orthogonal polynomials of the Askey scheme, the −1 dual Hahn polynomials do not exhibit the Leonard duality property. Instead, these poly- nomials satisfy a 4th-order difference eigenvalue equation and thus possess a bispectrality property. The corresponding generalized Leonard pair consists of two matrices A, B each of size N +1× N + 1. In the eigenbasis where the matrix A is diagonal, the matrix B is 3-diagonal; but in the eigenbasis where the matrix B is diagonal, the matrix A is 5-diagonal. 1. Introduction Recently new explicit families of “classical” orthogonal polynomials Pn(x)were introduced [12], [13], [14]. These polynomials satisfy an eigenvalue equation of the form (1.1) LPn(x)=λnPn(x). The operator L is of first-order in the derivative operator ∂x and contains moreover the reflection operator R defined by Rf(x)=f(−x); it can be identified as a first-order operator of Dunkl type written as (1.2) L = F (x)(I − R)+G(x)∂xR with some real rational functions F (x),G(x).
    [Show full text]