Open Access This article is
- freely available
Axioms 2018, 7(3), 62; doi:10.3390/axioms7030062
Umbral Methods and Harmonic Numbers
ENEA—Frascati Research Center, Via Enrico Fermi 45, 00044 Rome, Italy
Department of Methods and Mathematic Models for Applied Sciences, University of Rome, La Sapienza, Via A. Scarpa, 14, 00161 Rome, Italy
Correspondence: [email protected]; Tel.: +39-392-509-6741
These authors contributed equally to this work.
Received: 4 June 2018 / Accepted: 24 August 2018 / Published: 1 September 2018
The theory of harmonic-based functions is discussed here within the framework of umbral operational methods. We derive a number of results based on elementary notions relying on the properties of Gaussian integrals.
Keywords:harmonic numbers 11K99; operators 44A99, 47B99; umbral methods 05A40; special functions 33C52, 33C65, 33C99, 33B10, 33B15; Hermite polynomials 33C45
Methods employing the concepts and the formalism of umbral calculus have been exploited in  to guess the existence of generating functions involving harmonic numbers . The conjectures put forward in  have been proven in [3,4] and further elaborated in , and these were extended to hyper-harmonic numbers in .
In this note, we use the same point of view as , by discussing the possibility of exploiting the formalism developed therein in a wider context.
The umbral methods we are going to describe have certain advantages with respect to the ordinary techniques. The key idea is that of exploiting the harmonic number index as a power exponent; such a “promotion” allows the possibility of reducing the associated computational technicalities to elementary algebraic manipulations. Series involving harmonic numbers can, e.g., be treated as formal series of known functions (exponential, Gaussian, rational, etc.), and the relevant properties can be exploited to carry out computations, which are significantly more cumbersome and involved when conventional methods are employed.
2. Harmonic Numbers and Generating Functions
The harmonic numbers are defined by means of the following partial sum :
The integral representation for this family of numbers can be derived using a standard procedure, tracing back to Euler, which is sketched below.
, by applying the Laplace transform, the theorem of uniform convergence and the sum of a geometric series, we obtain:and by applying the change of variables , we eventually end up with:☐
According to , from this point onwards, the definition in Equation (3) can be so extended to any real value of n, and therefore, it can be exploited as an alternative definition holding for n a positive real.
The function:is called the harmonic number umbral vacuum, or simply the vacuum.
, we get:
The proof is a fairly direct consequence of the realization given in Equation (5).
We call the Harmonic-Based Exponential Function (HBEF) the series:
This function, as already discussed in , has quite remarkable properties.
The relevant derivatives can accordingly be expressed as (see the concluding part of the paper for further comments):and according to Equation (9), we also find that:
By expanding the umbral function on the r.h.s. of Equation (11), we obtain:
By using the Taylor expansion and Equation (7), for , we have:☐
This is an expected conclusion, achievable by direct integration, underscored here to stress the consistency of the procedure.
A further interesting example comes from the following “Gaussian” integral.
The last term in Equation (13) has been obtained by treating as an ordinary algebraic quantity and then by applying the standard rules of the Gaussian integration.
We notice that, using Equation (9), we obtain:
Let us now consider the following slightly more elaborate example, involving the integration of two “Gaussians”, namely the ordinary case and its analogous HBEF.
This last result, obtained after applying elementary rules, can be worded as follows: the integral in Equation (15) depends on the operator function on its r.h.s., for which we should provide a computational meaning. The use of the Newton binomial yields:
The correctness of this conclusion has been confirmed by the numerical check, as well.
It is evident that the examples we have provided show that the use of concepts borrowed from umbral theory offers a fairly powerful tool to deal with the “harmonic-based” functions.
3. Harmonic-Based Functions and Differential Equations
In the following, we will further push the formalism to stress the associated flexibility.
We note indeed that the function:defines, , an HBEF through the following Gauss transform:
On the other side, Equation (17) can be expressed in terms of the HBEF, , using appropriate integral transform methods .
If:is the Levy distribution of order , then :is the associated Levy integral transform.
The possibility of defining will be discussed elsewhere.
The function satisfies the first order non-homogeneous differential equation:
The solution of Equation (22) yields for the HBEF the explicit expression in terms of ordinary special functions :where γ is the Euler–Mascheroni–constant.
The previous expression is the generating function of harmonic numbers originally derived by Gosper (see [2,13]).
By iterating the previous procedure, we find the following general recurrence.
The binomial expansion:specifies the harmonic polynomials.
They are easily shown to be linked to the HBEF by means of the generating function as follows.
It is readily checked that:☐
According to Equation (28), are recognized as Appél polynomials and satisfy the following recurrences.
The properties below hold:
The identity:follows from the Equation (30) after setting .
The further relationship:is a consequence of the fact that .
The recurrences identity of the umbral Hermite polynomials:are a by-product of the previous identities and a consequence of the monomiality principle discussed in .
The umbral Hermite satisfies the second order non-homogeneous ODE:
4. Truncated Exponential Numbers and Final Comments
Before closing the paper, we want to stress the possibility of extending the present procedure to the truncated exponential numbers, namely:
The relevant integral representation is written :which holds for , as well. For example, we find:
Example 2.with being the lower incomplete Gamma function.
According to the previous discussion and to Equation (38), setting , we also find that:
This last identity is a further proof that the implications offered by the topics treated in this paper are fairly interesting and deserve further and more detailed investigation, which will be more accurately treated elsewhere.
G.D., B.G., S.L. and M.R.M. contributed to the realization of the article, as well as provided topics and obtained results.
This research received no external funding.
Conflicts of Interest
The authors declare no conflict of interest.
- Dattoli, G.; Srivastava, H.M. A Note on Harmonic Numbers, Umbral Calculus and Generating Functions. Appl. Math. Lett. 2008, 21, 686–693. [Google Scholar] [CrossRef]
- Weisstein, E.W. CRC Concise Encyclopedia of Mathematics; Chapman and Hall/CRC: Boca Raton, FL, USA, 2003; p. 3115. ISBN 1-58488-347-2. [Google Scholar]
- Coffey, M.W. Expressions for Harmonic Number Generating Functions. In Contemporary Mathematics, 517, Gems in Experimental Mathematics; Amdeberhan, T., Medina, L.A., Moll, V.H., Eds.; AMS Special Session, Experimental Mathematics: Washington, DC, USA, 2009. [Google Scholar]
- Cvijović, D. The Dattoli-Srivastava Conjectures Concerning Generating Functions Involving the Harmonic Numbers. Appl. Math. Comput. 2010, 215, 4040–4043. [Google Scholar] [CrossRef]
- Mezo, I. Exponential Generating Function of Hyper-Harmonic Numbers Indexed by Arithmetic Progressions. Cent. Eur. J. Math. 2013, 11, 931–939. [Google Scholar]
- Conway, J.H.; Guy, R.K. The Book of Numbers; Springer: New York, NY, USA, 1996. [Google Scholar]
- Rochowicz, J.A., Jr. Harmonic Numbers: Insights, Approximations and Applications. Spreadsheets Educ. eJSiE 2015, 8, 4. [Google Scholar]
- Lagarias, J.C. Euler’s Constant: Euler’s Work and Modern Developments. Bulletin (New Series) of the American Mathematical Society. S 0273-0979(2013)01423-X. pp. 527–628. Available online: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.363.9527&rep=rep1&type=pdf (accessed on 19 July 2013).
- Cartier, P. Mathemagics (A Tribute to L. Euler and R. Feynman). In Noise, Oscillators and Algebraic Randomness. Lecture Notes in Physics; Planat, M., Ed.; Springer: Berlin, Heidelberg, 2000; Volume 550. [Google Scholar]
- Licciardi, S. Umbral Calculus, A Different Mathematical Language. Ph.D. Thesis, Department of Mathematics and Computer Sciences, XXIX Cycle, University of Catania, Catania, Italy, 2018. [Google Scholar]
- Roman, S.M.; Rota, G.-C. The umbral calculus. Adv. Math 1978, 27, 95–188. [Google Scholar] [CrossRef]
- Doetsch, G. Handbuch der Laplace Transformation; Birkhnauser: Basel, Switzerland, 1950. [Google Scholar]
- Mező, I.; Dil, A. Euler-Seidel method for certain combinatorial numbers and a new characterization of Fibonacci sequence. Cent. Eur. J. Math. 2009, 7, 310–321. [Google Scholar] [CrossRef]
- Zhukovsky, K.; Dattoli, G. Umbral Methods, Combinatorial Identities And Harmonic Numbers. Appl. Math. 2011, 1, 46. [Google Scholar] [CrossRef]
- Dattoli, G. Generalized Polynomials, Operational Identities and their Applications. J. Comput. Appl. Math 2000, 118, 111–123. [Google Scholar] [CrossRef]
- Dattoli, G.; Ricci, P.E.; Marinelli, L. Generalized Truncated Exponential Polynomials and Applications. In An International Journal of Mathematics; Rendiconti dell’Istituto di Matematica dell’Universitá di Trieste: Trieste, Italy, 2002; Volume 34, pp. 9–18. [Google Scholar]
© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).