The q-umbral calculus and semigroups. The Nørlund calculus of finite differences

  • Thomas Ernst

Abstract

In this chapter we focus on formal power series. In the important Section 4.1, which contains the algebraic rules for the two q-additions and the infinite alphabet, we introduce the q-umbral calculus in the spirit of Rota. We present tables of the important Ward numbers, which will later occur in matrix computations. We continue with a q-analogue of Nørlund’s and Jordan’s finite difference calculus. In Section 4.3, we systematically analyse q-Appell polynomials in the spirit of Milne-Thomson, and it’s special cases q-Bernoulli and q-Euler polynomials. We show the unification of finite differences and differential calculus in the shape of q-Appell polynomials. Because of the complementary argument theorem, we define two dual types of q-Bernoulli and q-Euler polynomials, NWA and JHC. This is a characteristic phenomenon, which we will often encounter in further computations. We present tables of q-Bernoulli and q-Euler numbers and show simple symmetry relations for these, corresponding to the classical case q=1. As suggested by Ward, we introduce q-Lucas and G polynomials and show their corresponding expansions. These q-Appell polynomials will occur in many further publications. Chapter 4, except for the first section, is not necessary for the rest of the book.

References

  1. 9.
    Aigner, M.: Combinatorial Theory. Grundlehren der Mathematischen Wissenschaften, vol. 234. Springer, Berlin (1979) MATHCrossRefGoogle Scholar
  2. 12.
    Al-Salam, W.A.: q-Bernoulli numbers and polynomials. Math. Nachr. 17, 239–260 (1959) MathSciNetMATHCrossRefGoogle Scholar
  3. 15.
    Al-Salam, W.A.: q-Appell polynomials. Ann. Mat. Pura Appl. (4) 77, 31–45 (1967) MathSciNetMATHCrossRefGoogle Scholar
  4. 33.
    Andrews, G.E., Foata, D.: Congruences for the q-secant numbers. Eur. J. Comb. 1(4), 283–287 (1980) MathSciNetMATHGoogle Scholar
  5. 40.
    Appell, P.: Sur une classe de polynômes. Ann. Sci. Éc. Norm. Super. (2) 9, 119–144 (1880) MathSciNetMATHGoogle Scholar
  6. 42.
    Arbogast, L.: Du Calcul des Dérivation. Strasbourg (1800) Google Scholar
  7. 75.
    Blissard, J.: Theory of generic equations. Q. J. Math. 4, 279–305 (1861) Google Scholar
  8. 79.
    Boole, G.: A Treatise on the Calculus of Finite Differences. 1st edn. 1860, 2nd edn. 1872 Google Scholar
  9. 97.
    Carlitz, L.: q-Bernoulli numbers and polynomials. Duke Math. J. 15, 987–1000 (1948) MathSciNetMATHCrossRefGoogle Scholar
  10. 98.
    Carlitz, L.: Bernoulli and Euler numbers and orthogonal polynomials. Duke Math. J. 26, 1–16 (1959) MathSciNetMATHCrossRefGoogle Scholar
  11. 132.
    Chung, K.S., Chung, W.S., Nam, S.T., Kang, H.J.: New q-derivative and q-logarithm. Int. J. Theor. Phys. 33(10), 2019–2029 (1994) MathSciNetMATHCrossRefGoogle Scholar
  12. 133.
    Cigler, J.: Operatormethoden für q-Identitäten. Monatshefte Math. 88, 87–105 (1979) MathSciNetMATHCrossRefGoogle Scholar
  13. 135.
    Cigler, J.: Elementare q-Identitäten. Publications Institut de Recherche Mathématique Avancée, pp. 23–57 (1982) Google Scholar
  14. 138.
    Cigler, J.: Finite Differences (Differenzenrechnung). Vienna (2001) (German) Google Scholar
  15. 141.
    Comtet, L.: Advanced Combinatorics. Reidel, Dordrecht (1974) MATHCrossRefGoogle Scholar
  16. 146.
    Curry, H.B.: Abstract differential operators and interpolation formulas. Port. Math. 10, 135–162 (1951) MathSciNetMATHGoogle Scholar
  17. 161.
    Edwards, A.W.F.: Pascal’s Arithmetical Triangle. Charles Griffin & Co., Ltd., London; The Clarendon Press, Oxford University Press, New York (1987) MATHGoogle Scholar
  18. 182.
    Ernst, T.: An umbral approach for q-Bernoulli and q-Euler matrices and its connection to the polynomial matrix approach (submitted) Google Scholar
  19. 183.
    Ernst, T.: The correspondence between two mathematicians: Niels Erik Nørlund and Gösta Mittag-Leffler (2010, submitted) Google Scholar
  20. 185.
    Ernst, T.: Introduction to q-complex analysis, together with the q-complex numbers \(\mathbb{C}_{\oplus_{q}}\) (2011, submitted) Google Scholar
  21. 229.
    Glaisher, J.W.L.: General summation-formulae in finite differences. Q. J. Math. 29, 303–328 (1898) Google Scholar
  22. 232.
    Goldman, J., Rota, G.C.: On the foundations of combinatorial theory. IV. Finite vector spaces and Eulerian generating functions. Stud. Appl. Math. 49, 239–258 (1970) MathSciNetMATHGoogle Scholar
  23. 233.
    Goldstine, H.H.: A History of Numerical Analysis from the 16th Through the 19th Century. Studies in the History of Mathematics and Physical Sciences, vol. 2. Springer, New York (1977) MATHCrossRefGoogle Scholar
  24. 239.
    Gould, H.W.: Evaluation of sums of convolved powers using Stirling and Eulerian numbers. Fibonacci Q. 16(6), 488–497 (1978) Google Scholar
  25. 242.
    Goulden, I.P., Jackson, D.M.: An inversion model for q-identities. Eur. J. Comb. 4(3), 225–230 (1983) MathSciNetMATHGoogle Scholar
  26. 244.
    Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics. A Foundation for Computer Science, 2nd edn. Addison-Wesley, Reading (1994) MATHGoogle Scholar
  27. 247.
    Grigoriew, E.: Bernoullische Zahlen höherer Ordnungen. Kasan Ges. (2) 71, 146–202 (1898) (Russian) Google Scholar
  28. 276.
    Herschel, J.: On the development of exponential functions. Philos. Trans. R. Soc. Lond. 25–45 (1816) Google Scholar
  29. 277.
    Herschel, J.: A Collection of Examples of the Applications of Calculus of Finite Differences. J. Smith, Cambridge (1820) Google Scholar
  30. 282.
    Hofbauer, J.: Beiträge zu Rota’s Theorie der Folgen von Binomialtyp. Österreich. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II 187(8–10), 437–489 (1978) MathSciNetMATHGoogle Scholar
  31. 301.
    Jackson, F.H.: A q-form of Taylor’s theorem. Messenger 38, 62–64 (1909) Google Scholar
  32. 307.
    Jackson, F.H.: On basic double hypergeometric functions. Q. J. Math. 13, 69–82 (1942) MATHCrossRefGoogle Scholar
  33. 320.
    Jordan, Ch.: Calculus of Finite Differences, 3rd edn. Chelsea Publishing Co., New York (1950) MATHGoogle Scholar
  34. 356.
    Lehmer, D.H.: Lacunary recurrence formulas for the numbers of Bernoulli and Euler. Ann. Math. (2) 36(3), 637–649 (1935) MathSciNetCrossRefGoogle Scholar
  35. 362.
    Lucas, E.: On the development of \(( \frac{z}{1-e^{-z}} )^{\alpha}\) in a series. Messenger (2) VII, 82–84 (1878) Google Scholar
  36. 363.
    Lucas, E.: Théorie des Nombres, vol. 1. Gauthier-Villars, Paris (1891) MATHGoogle Scholar
  37. 364.
    Luke, Y.L.: The Special Functions and Their Approximations, vol. I. Mathematics in Science and Engineering, vol. 53. Academic Press, New York (1969) MATHGoogle Scholar
  38. 384.
    Milne-Thomson, L.M.: Two classes of generalized polynomials. Proc. Lond. Math. Soc. (2) 35, 514–522 (1933) MathSciNetCrossRefGoogle Scholar
  39. 385.
    Milne-Thomson, L.M.: The Calculus of Finite Differences. Macmillan and Co., Ltd., London (1951) Google Scholar
  40. 391.
    Nalli, P.: Sopra un procedimento di calcolo analogo all integrazione. Palermo Rend. 47, 337–374 (1923) MATHCrossRefGoogle Scholar
  41. 394.
    Netto, E.: Lehrbuch der Kombinatorik. Chelsea, New York (1958) Google Scholar
  42. 398.
    Nielsen, N.: Sur les fonctions de Bernoulli et des sommes de puissances numériques. Nieuw Arch. (2) 10, 396–415 (1913) Google Scholar
  43. 401.
    Niven, I.: Formal power series. Am. Math. Mon. 76, 871–889 (1969) MathSciNetMATHCrossRefGoogle Scholar
  44. 402.
    Nørlund, N.E.: Mémoire sur les polynômes de Bernoulli. Acta Math. 43, 121–196 (1920) CrossRefGoogle Scholar
  45. 403.
    Nørlund, N.E.: Vorlesungen über Differenzenrechnung. Springer, Berlin (1924) Google Scholar
  46. 411.
    Pearson, J.: The Elements of the Calculus of Finite Differences. Cambridge (1850) Google Scholar
  47. 418.
    Prabhakar, T.R., Reva, An.: Appell cross-sequence suggested by the Bernoulli and Euler polynomials of general order. Indian J. Pure Appl. Math. 10(10), 1216–1227 (1979) MathSciNetMATHGoogle Scholar
  48. 423.
    Raabe, J.L.: Zurückführung einiger Summen und bestimmten Integrale auf die Jacob Bernoullischen Function. Crelle J. 42, 348–376 (1851) MATHCrossRefGoogle Scholar
  49. 425.
    Rainville, E.D.: Special Functions. Chelsea Publishing Co., Bronx (1971). Reprint of 1960 first edition MATHGoogle Scholar
  50. 433.
    Riordan, J.: Combinatorial Identities. Robert E. Krieger Publishing Co., Huntington (1979). Reprint of the 1968 original Google Scholar
  51. 434.
    Rogers, L.J.: On a three-fold symmetry in the elements of Heine’s series. Proc. Lond. Math. Soc. 24, 171–179 (1893) MATHCrossRefGoogle Scholar
  52. 437.
    Roman, S.: The Umbral Calculus. Pure and Applied Mathematics, vol. 111. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York (1984) MATHGoogle Scholar
  53. 439.
    Rota, G.-C., Taylor, B.D.: The classical umbral calculus. SIAM J. Math. Anal. 25(2), 694–711 (1994) MathSciNetMATHCrossRefGoogle Scholar
  54. 440.
    Rota, G.-C., Doubilet, P., Greene, C., Kahaner, D., Odlyzko, A., Stanley, R. (eds.): Finite Operator Calculus. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York (1975) MATHGoogle Scholar
  55. 447.
    Salié, H.: Eulersche Zahlen. Sammelband zu Ehren des 250. In: Geburtstages Leonhard Eulers, pp. 293–310. Akademie-Verlag, Berlin (1959) Google Scholar
  56. 450.
    Schendel, L.: Zur Theorie der Functionen (x). J. Reine Angew. Math. LXXXIV, 80–84 (1877) Google Scholar
  57. 458.
    Schweins, F.: Theorie der Differenzen und Differentiale. Heidelberg (1825) Google Scholar
  58. 463.
    Sharma, A., Chak, A.M.: The basic analogue of a class of polynomials. Riv. Mat. Univ. Parma 5, 325–337 (1954) MathSciNetMATHGoogle Scholar
  59. 485.
    Srivastava, H.M., Pintér, A.: Remarks on some relationships between the Bernoulli and Euler polynomials. Appl. Math. Lett. 17(4), 375–380 (2004) MathSciNetMATHCrossRefGoogle Scholar
  60. 488.
    Steffensen, J.F.: Interpolation. Chelsea, New York (1950) MATHGoogle Scholar
  61. 493.
    Szegö, G.: Review of Nørlund N.E., Mémoire sur les polynômes de Bernoulli. Acta Math. 43, 121–196 (1920). [402], JFM Google Scholar
  62. 494.
    Szegö, G.: Ein Beitrag zur Theorie der Thetafunktionen. Sitz.ber Preuss. Akad. Wiss., Phys.-Math. Kl., 242–252 (1926) Google Scholar
  63. 504.
    Toscano, L.: Sulla iterazione dell’operatore xD. Rend. Mat. Appl. (V) 8, 337–350 (1949) MathSciNetMATHGoogle Scholar
  64. 517.
    Vandiver, H.S.: Simple explicit expressions for generalized Bernoulli numbers of the first order. Duke Math. J. 8, 575–584 (1941) MathSciNetCrossRefGoogle Scholar
  65. 529.
    Wallisser, R.: Über ganze Funktionen, die in einer geometrischen Folge ganze Werte annehmen. Monatshefte Math. 100, 329–335 (1985) MathSciNetMATHCrossRefGoogle Scholar
  66. 531.
    Ward, M.: A calculus of sequences. Am. J. Math. 58, 255–266 (1936) CrossRefGoogle Scholar

Copyright information

© Springer Basel 2012

Authors and Affiliations

  • Thomas Ernst
    • 1
  1. 1.Department of MathematicsUppsala UniversityUppsalaSweden

Personalised recommendations