A Finite Sequences of Hahn-Type Discrete Orthogonal Polynomials

Total Page:16

File Type:pdf, Size:1020Kb

A Finite Sequences of Hahn-Type Discrete Orthogonal Polynomials Recurrence equations and their classical orthogonal polynomial solutions on a quadratic or q-quadratic lattice Daniel Duviol Tcheutia Institute of Mathematics, University of Kassel, Heinrich-Plett Str. 40, 34132 Kassel, Germany Abstract Every classical orthogonal polynomial system pn(x) satisfies a three-term recurrence relation of the type pn+1(x) = (An x + Bn)pn(x) Cn pn 1(x) (n = 0, 1, 2,..., p 1 0), − − − ≡ with CnAnAn 1 > 0. Moreover, Favard’s theorem states that the converse is true. A general − method to derive the coefficients An, Bn, Cn in terms of the polynomial coefficients of the divided- difference equations satisfied by orthogonal polynomials on a quadratic or q-quadratic lattice is recalled. The Maple implementations rec2ortho of Koorwinder and Swarttouw or retode of Koepf and Schmersau were developed to identify classical orthogonal polynomials given by their three-term recurrence relation as special functions. The two implementations rec2ortho and retode do not handle classical orthogonal polynomials on a quadratic or q-quadratic lattice. In this manuscript, the Maple implementation retode of Koepf and Schmersau is extended to cover classical orthogonal polynomials on quadratic or q-quadratic lattices and to answer as application an open problem submitted by Alhaidari during the 14th International Symposium on Orthogonal Polynomials, Special Functions and Applications. Keywords: Computer algebra, Maple, Three-term recurrence equation, Divided-difference equation. 2010 MSC: 33C45, 33D45, 33F99, 42C05 1. Introduction arXiv:1901.03672v1 [math.CA] 11 Jan 2019 Foupouagnigni showed in [4] that classical orthogonal polynomials on a quadratic or q-quadratic lattice satisfy a second-order divided difference equation of the form 2 φ(x(s))Dx pn(x(s)) + ψ(x(s))SxDx pn(x(s)) + λn pn(x(s)) = 0, (1) where φ(x) = ax2 + bx + c, ψ(x) = dx + e (d , 0), are polynomials of degree at most 2 and of degree one, respectively, the operators Dx and Sx are given by 1 1 1 1 f (x(s + 2 )) f (x(s 2 )) f (x(s + 2 )) + f (x(s 2 )) Dx f (x(s)) = − − , Sx f (x(s)) = − , x(s + 1 ) x(s 1 ) 2 2 − − 2 Email address: [email protected] (Daniel Duviol Tcheutia) Preprint submitted to January 14, 2019 and x(s) is a quadratic or q-quadratic lattice defined by [11] s s c1q + c2q− + c3 if 0 < q < 1, x(s) = 2 c1,..., c6 C. ( c4 s + c5 s + c6 if q = 1, ∈ Note that (1) is equivalent to a difference or q-difference equation of the form (see [9, chaps. 9, 14]) λ y(x(s)) = B(s)y(x(s + 1)) (B(s) + D(s))y(x(s)) + D(s)y(x(s 1)), (2) n − − with 1 1 1 φ(x(s)) = x(s + ) x(s ) (x(s + 1) x(s))B(s) + (x(s) x(s 1))D(s) , 2 2 2 − − − − − − ψ(x(s)) = (x(s) x(s + 1))B(s) + (x(s) x(s 1))D(s). − − − Following the work by Foupouagnigni [4], Njionou Sadjang et al. [13] proved that the Wilson and the continuous dual Hahn polynomials are solutions of a divided-difference equation of the form 2 φ(x)Dx pn(x) + ψ(x)SxDx pn(x) + λn pn(x) = 0, (3) where the operators Sx and the Wilson operator (see [3], [6]) Dx are defined by i i i i f x + 2 f x 2 f x + 2 + f x 2 D f (x) = − − , S f (x) = − . x 2ix x 2 Using the same approach, Tcheutia et al. [17] derived a divided–difference equation of type 2 φ(x)δxy(x) + ψ(x)Sxδxy(x) + λny(x) = 0, (4) satisfied by the continuous Hahn and the Meixner–Pollaczek polynomials, where the difference operator δx (see [15, p. 436], compare [9, p. 201 and 214], [12, 14], [18, Equation (1.15)]) is defined as follows: + i i f x 2 f x 2 δ f (x) = − − . x i (3) and (4) are equivalent to the difference equation (see [9, chap. 9]) λ y(x) = B(x)y(x + i) (B(x) + D(x))y(x) + D(x)y(x i), (5) n − − with φ(x) = x((2x + i)B(x) + (2x i)D(x)), ψ(x) = i((2x + i)B(x) (2x i)D(x)), − − − − and 1 φ(x) = (B(x) + D(x)), ψ(x) = i(B(x) D(x)), 2 − − respectively. The coefficients of the divided-difference equations given in the forms (1), (3) or (4) can be used for instance to compute the three–term recurrence relation or some structure formulae, the 2 inversion coefficients of classical orthogonal polynomials on a quadratic and q-quadratic lattice (see e. g. [5], [13], [16], [17] and references therein). Every classical orthogonal polynomial system pn(x) satisfies a three-term recurrence relation of the type pn+1(x) = (An x + Bn)pn(x) Cn pn 1(x) (n = 0, 1, 2,..., p 1 0), (6) − − − ≡ with CnAnAn 1 > 0. Moreover, Favard’s theorem states that the converse is true. In Section 2, a general method− to derive such three–term recurrence relations for classical orthogonal polynomials on a quadratic or q-quadratic lattice in terms of the given polynomials φ(x) and ψ(x) will be recalled. Alhaidari [1] submitted (as open problem during the 14th International Symposium on Orthogonal Polynomials, Special Functions and Applications) two polynomials defined by their three-term recurrence relations and initial values. He was interested by the derivation of their weight functions, generating functions, orthogonality relations, etc.. In order to solve this problem as suggested in the comments by W. Van Assche in [2], we use the computer algebra system Maple to identify the polynomials from their recurrence relations, such as in the Maple implementation rec2ortho of Koorwinder and Swarttouw [10] or retode of Koepf and Schmersau [8]. The two implementations rec2ortho and retode do not handle classical orthogonal polynomials on a quadratic or q-quadratic lattice. In Section 3, we extend the Maple implementation retode of Koepf and Schmersau [8] to cover classical orthogonal polynomials on a quadratic or q-quadratic lattice and to answer the problem by Alhaidari [1] as application. 2. Three-term recurrence equation satisfied by classical orthogonal polynomials on a quadratic or q-quadratic lattices We recall the definition of the Pochhammer symbol (or shifted factorial) given by Γ(a + m) (a) = = a(a + 1)(a + 2) (a + m 1), m = 0, 1, 2,..., m Γ(a) ··· − and the q-Pochhammer symbol m 1 − (1 aq j) if m = 1, 2, 3,... (a; q)m = j=0 − Q 1 if m = 0. We set the following polynomial basis: n 1 s s − k 2 2k B (a, x) = (aq ; q) (aq− ; q) = (1 2axq + a q ), n 1, B (a, x) 1, (7) n n n − ≥ 0 ≡ Yk=0 qs + q s where x = x(s) = cos θ = − , qs = eiθ; 2 ϑ (a, x) = (a + ix) (a ix) ; (8) n n − n 3 n 1 x x+1 − 2k+1 k ξn(γ, δ, µ(x)) = (q− ; q)n(γδq ; q)n = (1 + γδq µ(x)q ), n 1, k=0 − ≥ (9) Q ξ0(γ, δ, µ(x)) 1, ≡ x x+1 with µ(x) =q− + γδq ; n 1 χ (γ, δ, λ(x)) = ( x) (x + γ + δ + 1) = − k(γ + δ + k + 1) λ(x) , n 1, n n n (10) − k=0 − ≥ χ (γ, δ, λ(x)) 1, Q 0 ≡ for λ(x) = x(x + γ + δ + 1). From the hypergeometric and the basic hypergeometric representations (see [9, chaps. 9, 14]) of classical orthogonal polynomials on a quadratic or q-quadratic lattice, their natural bases are B (a, x) , (a + ix) , ξ (γ, δ, µ(x)) or χ (γ,δ,λ(x)) whose elements are { n } { n} { n } { n } polynomials of degree n in the variables x, x, µ(x) or λ(x), respectively, and the basis ϑn(a, x) 2 { } whose elements are polynomials of degree n in the variable x . The operator Dx is appropriate for B (a, x), ξ (γ, δ, µ(x)) and χ (γ,δ,λ(x)), δ is appropriate for (a+ix) , whereas the corresponding n n n x { n} operator for the basis ϑn(a, x) is Dx. Starting from a di{fference} equation of type (2) or (5) given in [9], we deduce the divided- difference equation of type (1), (3) or(4) satisfied by each classical orthogonal polynomial on a quadratic or q-quadratic lattice. Some of them can be found in [4], [13], [17] and we recall all of them here to make the manuscript self-contained. They will also be recovered using the algorithms implemented in this manuscript. 2.1. Polynomials expanded in the basis ϑ (α, x) { n } In this basis are expanded: 1. the Wilson polynomials n, n + a + b + c + d 1, a + ix, a ix W (x2; a, b, c, d) = (a + b) (a + c) (a + d) F − − − 1 , n n n n4 3 a + b, a + c, a + d ! with φ(x) = (x2 (cd + ab + ac + bc + bd + ad) x + abcd), − ψ(x) = (a + b + c + d)x abc abd acd bcd, λ = n(n 1 + a + b + c + d); − − − − n − − 2. the continuous dual Hahn polynomials 2 n, a + ix, a ix S n(x ; a, b, c) = (a + b)n(a + c)n3F2 − − 1 , a + b, a + c ! with φ(x) = (a + b + c) x + abc, ψ(x) = x (bc + ab + ac), λ = n. − − n − The procedure to find the coefficients of the recurrence equation (6) (with x substituted by x2) in terms of the coefficients a, b, c, d, e of φ(x) and ψ(x) is as follows (cf.
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]
  • Extensions of Discrete Classical Orthogonal Polynomials Beyond the Orthogonality
    W&M ScholarWorks Arts & Sciences Articles Arts and Sciences 2009 Extensions of discrete classical orthogonal polynomials beyond the orthogonality R. S. Costas-Santos J. F. Sanchez-Lara Follow this and additional works at: https://scholarworks.wm.edu/aspubs Recommended Citation Costas-Santos, R. S., & Sánchez-Lara, J. F. (2009). Extensions of discrete classical orthogonal polynomials beyond the orthogonality. Journal of Computational and Applied Mathematics, 225(2), 440-451. This Article is brought to you for free and open access by the Arts and Sciences at W&M ScholarWorks. It has been accepted for inclusion in Arts & Sciences Articles by an authorized administrator of W&M ScholarWorks. For more information, please contact [email protected]. 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.
    [Show full text]
  • Image Analysis by Discrete Orthogonal Dual Hahn Moments
    Pattern Recognition Letters 28 (2007) 1688–1704 www.elsevier.com/locate/patrec Image analysis by discrete orthogonal dual Hahn moments Hongqing Zhu a, Huazhong Shu a,c,*, Jian Zhou a, Limin Luo a,c, J.L. Coatrieux b,c a Laboratory of Image Science and Technology, Department of Computer Science and Engineering, Southeast University, 210096 Nanjing, People’s Republic of China b INSERM U642, Laboratoire Traitement du Signal et de l’Image, Universite´ de Rennes I, 35042 Rennes, France c Centre de Recherche en Information Biome´dicale Sino-franc¸ais (CRIBs), France Received 29 May 2005; received in revised form 26 February 2007 Available online 29 April 2007 Communicated by L. Younes Abstract In this paper, we introduce a set of discrete orthogonal functions known as dual Hahn polynomials. The Tchebichef and Krawtchouk polynomials are special cases of dual Hahn polynomials. The dual Hahn polynomials are scaled to ensure the numerical stability, thus creating a set of weighted orthonormal dual Hahn polynomials. They are allowed to define a new type of discrete orthogonal moments. The discrete orthogonality of the proposed dual Hahn moments not only ensures the minimal information redundancy, but also elim- inates the need for numerical approximations. The paper also discusses the computational aspects of dual Hahn moments, including the recurrence relation and symmetry properties. Experimental results show that the dual Hahn moments perform better than the Legendre moments, Tchebichef moments, and Krawtchouk moments in terms of image reconstruction capability in both noise-free and noisy con- ditions. The dual Hahn moment invariants are derived using a linear combination of geometric moments.
    [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]
  • Curriculum Vita
    CURRICULUM VITA NAME: Mourad E.H. Ismail AFFILIATION: University of Central Florida and King Saud University and ADDRESS: Department of Mathematics University of Central Florida 4000 Central Florida Blvd. P.O. Box 161364 Orlando, FL 32816-1364, USA. Telephones: Cell (407) 770-9959. POSITION: Research Professor at U of Central Florida PERSONAL DATA: Born April 27, 1944, in Cairo, Egypt. Male. Married. Canadian and Egyptian citizen, Permanent resident in the United States. EDUCATION: Ph.D. 1974 (Alberta), M.Sc. 1969 (Alberta), B.Sc. 1964 (Cairo). MATHEMATICAL GENEALOGY: Source: The Mathematics Genealogy Project, http://www.genealogy.ams.org • Yours truly, Ph. D. 1974, Advisor: Waleed Al-Salam. • Waleed Al-Salam, Ph. D. 1958, Advisor: Leonard Carlitz. • Leonard Carlitz, Ph. D. 1930, Advisor: Howard Mitchell. • Howard Mitchell, Ph. D. 1910, Advisor: Oswald Veblen. • Oswald Veblen, Ph. D. 1903, Advisor: Eliakim Hastings Moore. • Eliakim Hastings Moore, Ph. D. 1885, Advisor: H. A. Newton. • H. A. Newton, B. S. Yale 1850, Advisor: Michel Chasles. • Michel Chasles, Ph. D. 1814, Advisor: Simeon Poisson. • Simeon Poisson, Advisor: Joseph Lagrange. • Joseph Lagrange, Ph. D. Advisor: Leonhard Euler. 1 RESEARCH INTERESTS: Approximation theory, asymptotics, combinatorics, integral transforms and operational calculus, math- ematical physics, orthogonal polynomials and special functions. POSITIONS HELD: 2010{2012 Chair Professor, City University of Hong Kong 2003-2012 and 2013-present Professor, University of Central Florida 2008{2016 Distinguished Research
    [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 Special Functions
    Orthogonal Polynomials and Special Functions SIAM Activity Group on Orthogonal Polynomials and Special Functions ???? Newsletter ???? Published Three Times a Year October 1997 Volume 8, Number 1 Contents formatik, Mathematik und Naturwissenschaften). My new address there is: From the Editor . 1 Prof. Dr. Wolfram Koepf Message from the Chair: Charter Renewal . 2 Fachbereich IMN Reports from Meetings and Conferences . 4 HTWK Leipzig Forthcoming Meetings and Conferences . 5 Gustav-Freytag-Str. 42 A Books and Journals . 9 D-04277 Leipzig Call For Papers . 16 phone: +49-341-307 64 95 Software Announcements . 17 fax: +49-341-301 27 22 Problems and Solutions . 17 e-mail: [email protected] Miscellaneous . 19 WWW: http://www.imn.htwk-leipzig.de/~koepf How to Contribute to the Newsletter . 24 Activity Group: Addresses . 24 At least for the next few months, I will, however, be still a±liated with Konrad-Zuse-Zentrum so that you can send your messages to both places, L P O N A L Y and my old WWW homepage will still be valid. O N G O O M These changes are time-consuming, and I am H I A T L R SIAM indebted to Tom Koornwinder and Martin Mul- S O Activity Group doon who do a great job as Editors of the elec- tronic newsletter OP-SF Net. Fortunately I could S S P E Est. 1990 N borrow much material from them. Indeed, their C O I I A C T material was the main source for my collection L F U N today. I would like to announce that I will resign my From the Editor editorship at the end of the period of my appoint- ment, i.e.
    [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]
  • Bibliography
    Bibliography 1. N. ABDUL-HALIM and W.A. AL-SALAM, A characterization of the Laguerre polynomials. Rendiconti del Seminario Matematico della UniversitadiPadova` 34, 1964, 176–179. 2. M. ABRAMOWITZ and I.A. STEGUN (eds.), Handbook of mathematical functions (with for- mulas, graphs, and mathematical tables). Dover Publications, New York, 1970. 3. L.D. ABREU and J. BUSTOZ, Turan´ inequalities for symmetric Askey-Wilson polynomials. The Rocky Mountain Journal of Mathematics 30, 2000, 401–409. 4. S. AHMED,A.LAFORGIA and M.E. MULDOON, On the spacing of the zeros of some classi- cal orthogonal polynomials. Journal of the London Mathematical Society (2) 25, 1982, 246– 252. 5. S. AHMED,M.E.MULDOON and R. SPIGLER, Inequalities and numerical bounds for ze- ros of ultraspherical polynomials. SIAM Journal on Mathematical Analysis 17, 1986, 1000– 1007. 6. K. ALLADI and M.L. ROBINSON, Legendre polynomials and irrationality. Journal fur¨ die Reine und Angewandte Mathematik 318, 1980, 137–155. 7. WM.R. ALLAWAY, The representation of orthogonal polynomials in terms of a differential operator. Journal of Mathematical Analysis and Applications 56, 1976, 288–293. 8. WM.R. ALLAWAY, Some properties of the q-Hermite polynomials. Canadian Journal of Mathematics 32, 1980, 686–694. 9. WM.R. ALLAWAY, Convolution orthogonality and the Jacobi polynomials. Canadian Math- ematical Bulletin 32, 1989, 298–308. 10. WM.R. ALLAWAY, Convolution shift, c-orthogonality preserving maps, and the Laguerre polynomials. Journal of Mathematical Analysis and Applications 157, 1991, 284–299. 11. N.A. AL-SALAM, Orthogonal polynomials of hypergeometric type. Duke Mathematical Jour- nal 33, 1966, 109–121.
    [Show full text]