DOCSLIB.ORG

On Orthogonal Polynomials Obtained Via Polynomial Mappings M.N

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Orthogonal Polynomials Obtained Via Polynomial Mappings M.N Journal of Approximation Theory 162 (2010) 2243–2277 www.elsevier.com/locate/jat On orthogonal polynomials obtained via polynomial mappings M.N. de Jesusa, J. Petronilhob,∗ a Departamento de Matematica,´ Escola Superior de Tecnologia, Campus Politecnico´ de Repeses, 3504-510 Viseu, Portugal b CMUC, Department of Mathematics, University of Coimbra, 3001-454 Coimbra, Portugal Received 1 February 2010; received in revised form 12 July 2010; accepted 22 July 2010 Available online 29 July 2010 Communicated by Francisco Marcellan Abstract Let .pn/n be a given monic orthogonal polynomial sequence (OPS) and k a fixed positive integer number such that k ≥ 2. We discuss conditions under which this OPS originates from a polynomial mapping in the following sense: to find another monic OPS .qn/n and two polynomials πk and θm, with degrees k and m (resp.), with 0 ≤ m ≤ k − 1, such that pnkCm.x/ D θm.x/qn(πk.x// .n D 0; 1; 2; : : :/: In this work we establish algebraic conditions for the existence of a polynomial mapping in the above sense. Under such conditions, when .pn/n is orthogonal in the positive-definite sense, we consider the corresponding inverse problem, giving explicitly the orthogonality measure for the given OPS .pn/n in terms of the orthogonality measure for the OPS .qn/n. Some applications and examples are presented, recovering several known results in a unified way. ⃝c 2010 Elsevier Inc. All rights reserved. Keywords: Orthogonal polynomials; Polynomial mappings; Recurrence relations; Stieltjes transforms; Inverse problems; Jacobi operators 1. Introduction and preliminaries Let .pn/n be a given monic orthogonal polynomial sequence (OPS) and k a fixed positive integer number such that k ≥ 2. The purpose of this work is to analyze conditions under which ∗ Corresponding author. E-mail addresses: [email protected] (M.N. de Jesus), [email protected] (J. Petronilho). 0021-9045/$ - see front matter ⃝c 2010 Elsevier Inc. All rights reserved. doi:10.1016/j.jat.2010.07.012 2244 M.N. de Jesus, J. Petronilho / Journal of Approximation Theory 162 (2010) 2243–2277 this OPS originates from a polynomial mapping in the following sense: to find another monic OPS .qn/n and two polynomials πk and θm, with degrees k and m (resp.), with 0 ≤ m ≤ k − 1, such that pnkCm.x/ D θm.x/qn(πk.x//; n D 0; 1; 2;:::: (1.1) The study of the theoretical aspects as well as applications of the OPS’s .pn/n and .qn/n which can be related by a polynomial transformation as in (1.1) has been a subject of considerable activity in the past few decades, especially due to the interesting applications that we can find in several domains (e.g., in physics, chemistry, operator theory, potential theory, and matrix theory). Far from giving an exhaustive list, we mention here specially the works by Bessis and Moussa [8], Geronimo and Van Assche [15,14], Charris and Ismail [9], Charris et al. [10], Peherstorfer [27,26], and Totik [34]. From the algebraic point of view, the problem was first considered for .k; m/ D .3; 0/ by Barrucand and Dickinson [7], and also for the cases k D 2 and k D 3 by Marcellan´ and Petronilho [21–23]. We notice that most of the works in the literature deal with situations where m D 0 or m D k − 1, i.e., the polynomial mapping is such that θm is either a constant or a polynomial of degree k − 1. From the analytical point of view, when we have orthogonality in the positive-definite sense, one of the most important properties satisfied by OPS’s fulfilling (1.1) is that .pn/n is orthogonal with respect to a positive measure whose support is contained in a union of at most k intervals, and mass points may appear in between these intervals (as expected, according to the results in the above references). Let us recall the definition of some determinants which will play a fundamental roleinthe sequel. According to the so-called Favard theorem (also known as the spectral theorem for orthogonal polynomials), any given monic OPS, .pn/n, can be characterized by a three-term recurrence relation. Fixing an integer number k ≥ 2, this recurrence relation can be given by general blocks (with k equations) of recurrence relations of the type [9,10] . j/ . j/ .x − bn /pnkC j .x/ D pnkC jC1.x/ C an pnkC j−1.x/; j D 0; 1;:::; k − 1I n D 0; 1; 2;:::; (1.2) . j/ . j/ with an 2 C n f0g and bn 2 C for all n and j, and satisfying initial conditions p−1.x/ D 0; p0.x/ D 1: (1.3) .0/ D ≤ − Without loss of generality, we will take a0 1, and polynomials p j of degree j 1 will always be defined as the zero polynomial. Next introduce determinants ∆n.i; jI·/ as in [9,10], such that 8 j i − <0 if < 2 ∆n.i; jI x/ VD 1 if j D i − 2 (1.4) : .i−1/ x − bn if j D i − 1 and, if j ≥ i ≥ 1, .i−1/ x − bn 1 0 ::: 0 0 a.i/ x − b.i/ n n 1 ::: 0 0 C C 0 a.i 1/ x − b.i 1/ ::: 0 0 I VD n n ∆n.i; j x/ : : : : : : ; (1.5) : : : :: : : − . j−1/ 0 0 0 ::: x bn 1 . j/ . j/ 0 0 0 ::: an x − bn M.N. de Jesus, J. Petronilho / Journal of Approximation Theory 162 (2010) 2243–2277 2245 for every n D 0; 1; 2;::: . Taking into account that ∆n.i; jI·/ is a polynomial whose degree may . j/ . j/ exceed k, and since in (1.2) the an ’s and bn ’s were defined only for 0 ≤ j ≤ k − 1, we adopt the convention .kC j/ VD . j/ .kC j/ VD . j/ bn bnC1; an anC1 (1.6) for all i; j D 0; 1; 2;::: and n D 0; 1; 2;::: , and so the useful equality ∆n.k C i; k C jI·/ D ∆nC1.i; jI·/ (1.7) holds for every i; j D 0; 1; 2;::: and n D 0; 1; 2;::: . The structure of the paper is as follows. In Section 2 algebraic conditions for the existence of a polynomial mapping in the sense of (1.1) are established. Under such conditions, in Section 3 the positive-definite case is analyzed, so that we show that the orthogonality measure for the given OPS .pn/n can be explicitly obtained from the one for the OPS .qn/n. In Sections 4 and 5 some examples of application of the previous results are presented, recovering several known results in an unified way. This includes a description of the so called sieved ultraspherical polynomials of the second kind introduced by Al-Salam et al. [1], as well as a classical result of Geronimus [16,17] concerning orthogonal polynomials such that the coefficients in the corresponding three-term recurrence relation are periodic sequences of period k. In both cases .qn/n is a sequence of classical Chebyshev polynomials of the second kind (suitably shifted and rescaled). In Section 6 an example in a situation corresponding to k D 5 and m D 1 is analyzed in detail. Finally, in Section 7, we discuss a result of A. Mat´ e,´ P. Nevai, and W. Van Assche concerning the support of the measure associated with an OPS with limit-periodic recurrence coefficients and the spectrum of the related self-adjoint Jacobi operator. At this point we would like to point out that the subject “OPS’s obtained via polynomial mappings” is nowadays a classical topic in the theory of OP’s, and so it is not surprising that many of the results presented here (specially in the last sections) have been discovered previously by many authors, but we believe that the unified approach presented here may be of interest. Besides, in most cases our proofs of the known results are quite different from the original ones. 2. OPS’s obtained via polynomial mappings The following proposition gives necessary and sufficient conditions for the existence ofa polynomial mapping in the sense of (1.1). Theorem 2.1. Let .pn/n be a monic OPS characterized by the general block of recurrence relations (1.2). Fix r 2 C, k 2 N and m 2 N0, with 0 ≤ m ≤ k −1. Then, there exist polynomials πk and θm of degrees k and m (resp.) and a monic OPS .qn/n such that q1.0/ D −r and pknCm.x/ D θm.x/qn(πk.x//; n D 0; 1; 2;::: (2.1) if and only if the following four conditions hold: .m/ (i) bn is independent of n for n D 0; 1; 2;::: ; (ii) ∆n.m C 2; m C k − 1I x/ is independent of n for n D 0; 1; 2;::: ; (iii) ∆0.m C2; m Ck −1I·/ is divisible by ∆0.1; m −1I·/, i.e., there exists a polynomial ηk−1−m of degree k − 1 − m such that ∆0.m C 2; m C k − 1I x/ D ∆0.1; m − 1I x)ηk−1−m.x/I 2246 M.N. de Jesus, J. Petronilho / Journal of Approximation Theory 162 (2010) 2243–2277 (iv) rn.x/ is independent of x for all n D 1; 2;::: , where VD .mC1/ C C − I − .mC1/ C C − I rn.x/ an ∆n.m 3; m k 1 x/ a0 ∆0.m 3; m k 1 x/ C .m/ C C − I − .m/ − I an ∆n−1.m 2; m k 2 x/ a0 ∆0.1; m 2 x)ηk−1−m.x/: Under such conditions, the polynomials θm and πk are explicitly given by θm.x/ D ∆0.1; m − 1I x/ ≡ pm.x/; (2.2) D I − .mC1/ C C − I C πk.x/ ∆0.1; m x)ηk−1−m.x/ a0 ∆0.m 3; m k 1 x/ r; and the monic OPS .qn/n is generated by the three-term recurrence relation qnC1.x/ D .x − rn/qn.x/ − snqn−1.x/; n D 0; 1; 2;::: (2.3) with initial conditions q−1.x/ D 0 and q0.x/ D 1, where VD VD C VD .m/ .mC1/ .mCk−1/ r0 r; rn r rn.0/; sn an an−1 ::: an−1 (2.4) for all n D 1; 2;::: .
Load more

Recommended publications
  • Odd and Even Lidstone-Type Polynomial Sequences. Part 1: Basic Topics F.A
    Costabile et al. Advances in Difference Equations (2018)2018:299 https://doi.org/10.1186/s13662-018-1733-5 R E S E A R C H Open Access Odd and even Lidstone-type polynomial sequences. Part 1: basic topics F.A. Costabile1,M.I.Gualtieri1,A.Napoli1* and M. Altomare1 *Correspondence: [email protected] Abstract 1Department of Mathematics and Computer Science, University of Two new general classes of polynomial sequences called respectively odd and even Calabria, Rende, Italy Lidstone-type polynomials are considered. These classes include classic Lidstone polynomials of first and second kind. Some characterizations of the two classes are given, including matrix form, conjugate sequences, generating function, recurrence relations, and determinant forms. Some examples are presented and some applications are sketched. MSC: 41A58; 11B83 Keywords: Lidstone polynomials; Polynomial sequences; Infinite matrices 1 Introduction “Je m’occupe, dans ce Memoir, de certains polynômes en x formant une suite A0, A1,..., An,... dont le terme An est un polynôme de degré n et dans laquelle deux termes consécutifs dAn sont liés par la relation dx = nAn–1...”.[9] By paraphrasing Appell [9], we will consider a sequence of polynomials L0, L1,...,Lk, Lk+1,... such that two consecutive terms satisfy the differential relation d2 L (x)=c L (x), c ∈ R, k =1,2,.... (1) dx2 k k k–1 k We call this sequence Lidstone-type polynomial sequence (LPS). Really Lidstone [27] extended an Aitken’s theorem on general linear interpolation [8]to EveretttypeIandEveretttypeIIinterpolatoryformulas[32]. As an example, he considered d2 the dx2 operator and expansions of polynomials of odd and even degree involving two points, which are expressed in terms of a basis of polynomials satisfying (1).
    [Show full text]
  • New Bell–Sheffer Polynomial Sets
    axioms Article New Bell–Sheffer Polynomial Sets Pierpaolo Natalini 1,* and Paolo Emilio Ricci 2 1 Dipartimento di Matematica e Fisica, Università degli Studi Roma Tre, Largo San Leonardo Murialdo, 1, 00146 Roma, Italy 2 Sezione di Matematica, International Telematic University UniNettuno, Corso Vittorio Emanuele II, 39, 00186 Roma, Italy; [email protected] * Correspondence: [email protected] Received: 20 July 2018; Accepted: 2 October 2018; Published: 8 October 2018 Abstract: In recent papers, new sets of Sheffer and Brenke polynomials based on higher order Bell numbers, and several integer sequences related to them, have been studied. The method used in previous articles, and even in the present one, traces back to preceding results by Dattoli and Ben Cheikh on the monomiality principle, showing the possibility to derive explicitly the main properties of Sheffer polynomial families starting from the basic elements of their generating functions. The introduction of iterated exponential and logarithmic functions allows to construct new sets of Bell–Sheffer polynomials which exhibit an iterative character of the obtained shift operators and differential equations. In this context, it is possible, for every integer r, to define polynomials of higher type, which are linked to the higher order Bell-exponential and logarithmic numbers introduced in preceding papers. Connections with integer sequences appearing in Combinatorial analysis are also mentioned. Naturally, the considered technique can also be used in similar frameworks, where the iteration of exponential and logarithmic functions appear. Keywords: Sheffer polynomials; generating functions; monomiality principle; shift operators; combinatorial analysis 1. Introduction In recent articles [1,2], new sets of Sheffer [3] and Brenke [4] polynomials, based on higher order Bell numbers [2,5–7], have been studied.
    [Show full text]
  • Polynomial Sequences Generated by Linear Recurrences
    Innocent Ndikubwayo Polynomial Sequences Generated by Linear Recurrences: Location and Reality of Zeros Polynomial Sequences Generated by Linear Recurrences: Location and Reality of Zeros Linear Recurrences: Location by Sequences Generated Polynomial Innocent Ndikubwayo ISBN 978-91-7911-462-6 Department of Mathematics Doctoral Thesis in Mathematics at Stockholm University, Sweden 2021 Polynomial Sequences Generated by Linear Recurrences: Location and Reality of Zeros Innocent Ndikubwayo Academic dissertation for the Degree of Doctor of Philosophy in Mathematics at Stockholm University to be publicly defended on Friday 14 May 2021 at 15.00 in sal 14 (Gradängsalen), hus 5, Kräftriket, Roslagsvägen 101 and online via Zoom, public link is available at the department website. Abstract In this thesis, we study the problem of location of the zeros of individual polynomials in sequences of polynomials generated by linear recurrence relations. In paper I, we establish the necessary and sufficient conditions that guarantee hyperbolicity of all the polynomials generated by a three-term recurrence of length 2, whose coefficients are arbitrary real polynomials. These zeros are dense on the real intervals of an explicitly defined real semialgebraic curve. Paper II extends Paper I to three-term recurrences of length greater than 2. We prove that there always exist non- hyperbolic polynomial(s) in the generated sequence. We further show that with at most finitely many known exceptions, all the zeros of all the polynomials generated by the recurrence lie and are dense on an explicitly defined real semialgebraic curve which consists of real intervals and non-real segments. The boundary points of this curve form a subset of zero locus of the discriminant of the characteristic polynomial of the recurrence.
    [Show full text]
  • General Bivariate Appell Polynomials Via Matrix Calculus and Related Interpolation Hints
    mathematics Article General Bivariate Appell Polynomials via Matrix Calculus and Related Interpolation Hints Francesco Aldo Costabile, Maria Italia Gualtieri and Anna Napoli * Department of Mathematics and Computer Science, University of Calabria, 87036 Rende (CS), Italy; [email protected] (F.A.C.); [email protected] (M.I.G.) * Correspondence: [email protected] Abstract: An approach to general bivariate Appell polynomials based on matrix calculus is proposed. Known and new basic results are given, such as recurrence relations, determinant forms, differential equations and other properties. Some applications to linear functional and linear interpolation are sketched. New and known examples of bivariate Appell polynomial sequences are given. Keywords: Polynomial sequences; Appell polynomials; bivariate Appell sequence 1. Introduction Appell polynomials have many applications in various disciplines: probability the- ory [1–5], number theory [6], linear recurrence [7], general linear interpolation [8–12], operators approximation theory [13–17]. In [18], P. Appell introduced a class of polynomi- als by the following equivalent conditions: fAngn2IN is an Appell sequence (An being a Citation: Costabile, F.A.; polynomial of degree n) if either Gualtieri, M.I.; Napoli, A. General 8 Bivariate Appell Polynomials via d An(x) > = nA − (x), n ≥ 1, Matrix Calculus and Related > n 1 <> dx Interpolation Hints. Mathematics 2021, A (0) = a , a 6= 0, a 2 IR, n ≥ 0, 9, 964. https://doi.org/ > n n 0 n > 10.3390/math9090964 :> A0(x) = 1, Academic Editor: Clemente Cesarano or ¥ n xt t A(t)e = ∑ An(x) , Received: 13 March 2021 n=0 n! Accepted: 23 April 2021 ¥ tk Published: 25 April 2021 where A(t) = ∑ ak , a0 6= 0, ak 2 IR, k ≥ 0.
    [Show full text]
  • Arxiv:2003.00778V1 [Math.NA] 2 Mar 2020 Rpitsbitdt Elsevier to Submitted Preprint No.SR/WOS-A/PM-20/2018 File Their Vide .Introduction 1
    New wavelet method based on Shifted Lucas polynomials: A tau approach Rakesh Kumar*a, Reena Koundala, K. Srivastavaa aSchool of Mathematics, Computer & Information Sciences, Central University of Himachal Pradesh, Dharamshala, India Abstract In current work, non-familiar shifted Lucas polynomials are introduced. We have constructed a computational wavelet tech- nique for solution of initial/boundaryvalue second order differential equations. For this numerical scheme, we have developed weight function and Rodrigues’ formula for Lucas polynomials. Further, Lucas polynomials and their properties are used to propose shifted Lucas polynomials and then utilization of shifted Lucas polynomials provides us shifted Lucas wavelet. We furnished the operational matrix of differentiation and the product operational matrix of the shifted Lucas wavelets. More- over, convergence and error analysis ensure accuracy of the proposed method. Illustrative examples show that the present method is numerically fruitful, effective and convenient for solving differential equations Keywords: Shifted Lucas wavelet, operational matrices , weight function, Rodrigues’ formula, Tau approach. 1. Introduction The various properties like orthogonality, compact support, arbitrary regularity and high order vanishing moments make the theory of wavelets more powerful. With all of these properties, wavelets have attracted the consideration of every re- searcher due to their applications in wave propagation, pattern recognition, computer graphics and medical image technology [1]. The quality smoothness and better interpolation are manufacturing the wavelets technique based on orthogonal polyno- mials, more friendly to get the solutions of different kinds of differential equations. We can also say that other than numerical arXiv:2003.00778v1 [math.NA] 2 Mar 2020 methods, wavelets theory provide us a new direction for solutions of the differential equations.
    [Show full text]
  • A Crash Introduction to Orthogonal Polynomials
    A crash introduction to orthogonal polynomials Pavel Sˇˇtov´ıˇcek Department of Mathematics, Faculty of Nuclear Science, Czech Technical University in Prague, Czech Republic Introduction The roots of the theory of orthogonal polynomials go back as far as to the end of the 18th century. The field of orthogonal polynomials was developed to considerable depths in the late 19th century from a study of continued fractions by P. L. Chebyshev, T. J. Stieltjes and others. Some of the mathematicians who have worked on orthogonal polynomials include Hans Ludwig Hamburger, Rolf Herman Nevanlinna, G´abor Szeg}o,Naum Akhiezer, Arthur Erd´elyi,Wolfgang Hahn, Theodore Seio Chihara, Mourad Ismail, Waleed Al- Salam, and Richard Askey. The theory of orthogonal polynomials is connected with many other branches of mathematics. Selecting a few examples one can mention continued fractions, operator theory (Jacobi operators), moment problems, approximation theory and quadrature, stochastic processes (birth and death processes) and special functions. Some biographical data as well as various portraits of mathematicians are taken from Wikipedia, the free encyclopedia, starting from the web page • http://en.wikipedia.org/wiki/Orthogonal polynomials Most of the theoretical material has been adopted from the fundamental mono- graphs due to Akhiezer and Chihara (detailed references are given below in the text). Classical orthogonal polynomials A scheme of classical orthogonal polynomials • the Hermite polynomials • the Laguerre polynomials, the generalized (associated) Laguerre polynomials • the Jacobi polynomials, their special cases: { the Gegenbauer polynomials, particularly: ∗ the Chebyshev polynomials ∗ the Legendre polynomials 1 Some common features ~ In each case, the respective sequence of orthogonal polynomials, fPn(x); n ≥ 0g, represents an orthogonal basis in a Hilbert space of the type H = L2(I;%(x)dx) where I ⊂ R is an open interval, %(x) > 0 is a continuous function on I.
    [Show full text]
  • Two Differential Equations for the Linear Generating Function
    Applied Mathematics E-Notes, 13(2013), 60-67 c ISSN 1607-2510 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ Two Differential Equations For The Linear Generating Function Of The Charlier Polynomials Elliot J. Blackstoney, Daniel J. Galiffaz Received 16 July 2012 Abstract We provide an interesting way to obtain the linear generating function for the classical discrete Charlier orthogonal polynomials by implementing what we enti- tle the ‘Inverse Method’. This method transforms a given three-term recurrence relation into a differential equation, the solution of which is a linear generating function. To demonstrate the details of the procedure, we first apply the Inverse Method to the three-term recurrence relation that defines the Charlier polynomi- als. We then apply it to a new three-term recurrence relation, which is established via a certain connection between the Charlier polynomials and a variation of the Laguerre polynomials. The solution to each of these differential equations is the intended generating function. 1 Introduction In this paper, we ultimately construct and solve two different differential equations that both admit the linear generating function (see (4)) for the classical discrete Charlier orthogonal polynomial sequences Cn(x; a) n1=0 (refer to (1)) as their solution. The analysis leading to the second off these differentialg equations does not appear in the current literature. For other papers related to developing characterizations for linear generating functions via differential equations consider [1, 8, 10, 15]. In order to effi ciently discuss the details of this paper, we first address some pre- liminary definitions, nomenclature and concepts.
    [Show full text]
  • The Sheffer B-Type 1 Orthogonal Polynomial Sequences
    University of Central Florida STARS Electronic Theses and Dissertations, 2004-2019 2009 The Sheffer B-type 1 Orthogonal Polynomial Sequences Daniel Galiffa University of Central Florida Part of the Mathematics Commons Find similar works at: https://stars.library.ucf.edu/etd University of Central Florida Libraries http://library.ucf.edu This Doctoral Dissertation (Open Access) is brought to you for free and open access by STARS. It has been accepted for inclusion in Electronic Theses and Dissertations, 2004-2019 by an authorized administrator of STARS. For more information, please contact [email protected]. STARS Citation Galiffa, Daniel, "The Sheffer B-type 1 Orthogonal Polynomial Sequences" (2009). Electronic Theses and Dissertations, 2004-2019. 3920. https://stars.library.ucf.edu/etd/3920 THE SHEFFER B-TYPE 1 ORTHOGONAL POLYNOMIAL SEQUENCES by DANIEL JOSEPH GALIFFA B.S. Indiana University of Pennsylvania M.S. University of Central Florida A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the College of Sciences at the University of Central Florida Orlando, Florida Spring Term 2009 Major Professor: Mourad E.H. Ismail c 2009 Daniel Joseph Galiffa ii ABSTRACT In 1939, I.M. Sheffer proved that every polynomial sequence belongs to one and only one type. Sheffer extensively developed properties of the B-Type 0 polynomial sequences and determined which sets are also orthogonal. He subsequently generalized his classification method to the case of arbitrary B-Type k by constructing the generalized generating func- k+1 P∞ n i i+1 tion A(t)exp xH1(t) + ··· + x Hk(t) = n=0 Pn(x)t , with Hi(t) = hi,it + hi,i+1t + ··· , h1,1 6= 0.
    [Show full text]
  • An Infinite Dimensional Umbral Calculus
    An infinite dimensional umbral calculus Dmitri Finkelshtein Department of Mathematics, Swansea University, Singleton Park, Swansea SA2 8PP, U.K.; e-mail: [email protected] Yuri Kondratiev Fakult¨atf¨urMathematik, Universit¨atBielefeld, 33615 Bielefeld, Germany; e-mail: [email protected] Eugene Lytvynov Department of Mathematics, Swansea University, Singleton Park, Swansea SA2 8PP, U.K.; e-mail: [email protected] Maria Jo~aoOliveira Departamento de Ci^enciase Tecnologia, Universidade Aberta, 1269-001 Lisbon, Por- tugal; CMAF-CIO, University of Lisbon, 1749-016 Lisbon, Portugal; e-mail: [email protected] Abstract The aim of this paper is to develop foundations of umbral calculus on the space D0 of distri- d 0 butions on R , which leads to a general theory of Sheffer polynomial sequences on D . We define a sequence of monic polynomials on D0, a polynomial sequence of binomial type, and a Sheffer sequence. We present equivalent conditions for a sequence of monic polynomials on D0 to be of binomial type or a Sheffer sequence, respectively. We also construct a lift- ing of a sequence of monic polynomials on R of binomial type to a polynomial sequence of 0 0 binomial type on D , and a lifting of a Sheffer sequence on R to a Sheffer sequence on D . Examples of lifted polynomial sequences include the falling and rising factorials on D0, Abel, Hermite, Charlier, and Laguerre polynomials on D0. Some of these polynomials have already appeared in different branches of infinite dimensional (stochastic) analysis and played there a fundamental role. arXiv:1701.04326v2 [math.FA] 5 Mar 2018 Keywords: Generating function; polynomial sequence on D0; polynomial sequence of binomial type on D0; Sheffer sequence on D0; shift-invariance; umbral calculus on D0.
    [Show full text]
  • Moments of Orthogonal Polynomials and Combinatorics
    MOMENTS OF ORTHOGONAL POLYNOMIALS AND COMBINATORICS SYLVIE CORTEEL, JANG SOO KIM AND DENNIS STANTON Abstract. This paper is a survey on combinatorics of moments of orthogonal polynomials and linearization coefficients. This area was started by the seminal work of Flajolet followed by Viennot at the beginning of the 1980’s. Over the last 30 years, several tools were conceived to extract the combinatorics and compute these moments. A survey of these techniques is presented, with applications to polynomials in the Askey scheme. 1. Introduction In this article we will consider polynomials Pn(x) in one variable x with coefficients in a commutative ring K indexed by a non-negative integer n. In general K will be C or R. Sometimes these polynomials will depend on formal variables a, b, c, d and q. Given a sequence µn n 0 of elements of K, there exists a unique linear functional on the { } ≥ n L space of polynomials, : K[x] K such that µn = (x ). The sequence µn n 0 is called the moment sequence of thisL linear! functional. L { } ≥ Definition 1.1. Asequence Pn(x) n 0 is called an orthogonal polynomial sequence (OPS) with respect to a linear functional{ }if ≥ L (1) Pn(x) is a polynomial of degree n for each n 0, (2) (P (x)P (x)) = K δ for all n, m 0, where≥ K = 0. L n m n n,m ≥ n 6 In this case we also call Pn(x) an orthogonal polynomial. Note that if is a linear function for an OPS, then any linear functional 0 which is obtained by multiplyingL a nonzero constant to is also a linear functional for the OPS.L Conversely, if L L and 0 are linear functionals for an OPS, then = c 0 for a nonzero constant c.Thus,thereis a uniqueL linear functional for an OPS such thatL ·L(1) = 1.
    [Show full text]
  • Cumulants and Convolutions Via Abel Polynomials E
    European Journal of Combinatorics 31 (2010) 1792–1804 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Cumulants and convolutions via Abel polynomials E. Di Nardo, P. Petrullo, D. Senato Dipartimento di Matematica e Informatica, Università degli Studi della Basilicata, via dell'Ateneo Lucano 10, 85100 Potenza, Italy article info a b s t r a c t Article history: We provide a unifying polynomial expression giving moments in Received 8 August 2009 terms of cumulants, and vice versa, holding in the classical, boolean Accepted 14 December 2009 and free setting. This is done by using a symbolic treatment of Abel Available online 14 April 2010 polynomials. As a by-product, we show that in the free cumulant theory the volume polynomial of Pitman and Stanley plays the role of the complete Bell exponential polynomial in the classical theory. Moreover, via generalized Abel polynomials we construct a new class of cumulants, including the classical, boolean and free ones, and the convolutions linearized by them. Finally, via an umbral Fourier transform, we state an explicit connection between boolean and free convolution. ' 2010 Elsevier Ltd. All rights reserved. 1. Introduction Cumulants linearize the convolution of probability measures in the probability theories classical, boolean and free. The last one is a noncommutative probability theory introduced by Voiculescu [31] with a view to tackle certain problems in operator algebra. More precisely, a new kind of independence is defined by replacing tensor products with free products and this can help us to understand the von Neumann algebras of free groups.
    [Show full text]
  • Sheffer Sequences, Probability Distributions and Approximation
    She®er sequences, probability distributions and approximation operators M. Cr¸aciun a;1 and A. Di Bucchianico b;¤ a\T. Popoviciu" Institute of Numerical Analysis, 3400 Cluj{Napoca, Romania bEindhoven University of Technology, Department of Mathematics, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Abstract We present a new method to compute formulas for the action on monomials of a generalization of binomial approximation operators of Popoviciu type, or equiva- lently moments of associated discrete probability distributions with ¯nite support. These quantities are necessary to check the assumptions of the Korovkin Theorem for approximation operators, or equivalently the Feller Theorem for convergence of the probability distributions. Our method uni¯es and simpli¯es computations of well-known special cases. It only requires a few basic facts from Umbral Calculus. We illustrate our method to well-known approximation operators and probability distributions, as well as to some recent q-generalizations of the Bernstein approxi- mation operator introduced by Lewanowicz and Wo¶zny, Lupa»s,and Phillips. Key words: approximation operators of Popoviciu type, moments, Umbral Calculus, She®er sequences 1 Introduction A generalization of binomial approximation operators of Popoviciu type was studied in [1]. Many well-known linear positive approximation operators be- long to this class, like the Bernstein, Stancu and Cheney-Sharma operators. ¤ Corresponding author. Email addresses: [email protected] (M. Cr¸aciun), [email protected] (A. Di Bucchianico). URL: www.win.tue.nl/»sandro (A. Di Bucchianico). 1 Supported by grants 27418/2000, GAR 15/2003, GAR/13/2004 and visitor grants from Eindhoven University of Technology, all of which are gratefully acknowledged.
    [Show full text]