Abstract
Integral Mittag-Leffler, Whittaker and Wright functions with integrands similar to those which already exist in mathematical literature are introduced for the first time. For particular values of parameters, they can be presented in closed-form. In most reported cases, these new integral functions are expressed as generalized hypergeometric functions but also in terms of elementary and special functions. The behavior of some of the new integral functions is presented in graphical form. By using the MATHEMATICA program to obtain infinite sums that define the Mittag-Leffler, Whittaker, and Wright functions and also their corresponding integral functions, these functions and many new Laplace transforms of them are also reported in the Appendices for integral and fractional values of parameters.
1. Introduction
The appearance of special functions of mathematical physics was associated with solutions of particular ordinary differential equations, while the integral special functions arrived much later in mathematical literature after properties of these functions were investigated. Integral special functions were introduced as new special functions, which can be applied in many circumstances, especially in operational calculus, where they are frequently serving as direct and inverse integral transforms. The form of an integrand is identical for all integral functions, but limits of integration are different in order to assure the convergence of defined integrals. There are two types of integral special functions: those with elementary functions in their integrands and those with special functions. To the first group belong the exponential integral , the sine and cosine integrals, , , and , and the corresponding integrals of hyperbolic trigonometric functions, and . These functions are defined in the following way [1,2,3,4,5]
where is the Euler–Mascheroni constant. As can be observed in (1), the integral special functions have integrands in the form, , and the intervals of integrations are or . Few direct and inverse integral transforms are presented below to illustrate their applications, for example, in the Laplace transformation [6,7,8],
we have
Integrands in the second group of integral special functions include special functions, the most well-known and applied of which are the integral Bessel functions (see, e.g., [3,7,9,10,11,12,13])
Already in 1929, van der Pol [9] showed that it is possible to express the differentiation with respect to the order of the Bessel function of the first kind as a convolution integral, which includes the integral Bessel function of the zero-order:
The integral Bessel functions of the zero-order are inverse transforms of the following Laplace transforms [7]
In analogy to the integral Bessel functions and with the possibility of extension to other special functions, this work introduces three new integral functions. Furthermore, these integral functions guide us toward the establishment of integrals and series. Section 2 explores the integral Mittag-Leffler functions. Section 3 and Section 4 discuss the integral Whittaker and Wright functions, respectively. Section 5 contains concluding remarks.
In order to preserve the applied form of notation, the following two integral functions are introduced:
and
To ensure convergence of integrals in (7) or in (8), which depends on the behavior of integrands at the origin and at infinity, the forms of integral functions or are chosen. Since the explicit expressions for functions are sometimes given in the form of where the corresponding change of integration variables for these equations is desired.
In the case of Mittag-Leffler, Whittaker and Wright functions, for some values of parameters, by using the MATHEMATICA program, it was possible to obtain these integral functions in a closed-form. Derived integral functions are tabulated and also in some cases graphically presented (see [3]).
2. The Integral Mittag-Leffler Functions
The classical one-parameter and the two-parameter Mittag-Leffler functions are defined by [14]:
In this investigation, they are only considered for positive real values of the argument, i.e., . In the particular case of positive rational with and p and q positive coprimes, Mittag-Leffler functions are given as a finite sum of generalized hypergeometric functions (see (A3) in Appendix A).
The Laplace transforms of the Mittag-Leffler functions are derived directly from (2) and (9), and we have:
For particular values of parameters and , the explicit form of the Mittag-Leffler functions can be obtained by applying the MATHEMATICA program to sums of infinite series in (9), and these results are presented in Appendix A. Using Equation (10), many new Laplace transforms of the Mittag-Leffler functions were evaluated, and they are also reported in Appendix A. Similarly as in the case when is positive rational, the Laplace transforms of the Mittag-Leffler functions can be expressed by the finite sum of products of generalized hypergeometric functions (see (A4) in Appendix A).
The integral Mittag-Leffler functions are introduced by considering their exponential behavior as a function of real, positive variable x (see Appendix A).
For several values of parameters and , it is possible to derive the integral Mittag-Leffler functions in a closed-form by applying the MATHEMATICA program to the sums of infinite series in (12). These functions are presented in Table 1 and Table 2. As it is observable, most of these integral functions are expressed as generalized hypergeometric series. Typical behavior of one-parameter and two-parameter integral Mittag-Leffler functions is illustrated in Figure 1 and Figure 2.
Table 1.
The integral Mittag-Leffler functions derived for some values of parameters and by using (12).
Table 2.
The integral Mittag-Leffler functions derived for some values of parameters and by using (12).
Figure 1.
The integral one-parameter Mittag-Leffler function as a function of variable x and parameters .
Figure 2.
The integral two-parameter Mittag-Leffler function as a function of variable x and parameters .
Evidently, also direct integration, by using (11), leads to the integral Mittag-Leffler functions. For example, for , according to (1), we have
and as expected, this result is identical to that derived from (12) (see Table 1 and Table 2).
Applying the formulas (A1) and (A2) given in Appendix A, the integral Mittag-Leffler function for positive rational values of parameter with and positive coprimes is
where
In addition, using the sums in (12), it is possible to derive the Laplace transforms of the integral Mittag-Leffler functions:
The evaluated Laplace transforms of the integral Mittag-Leffler functions are presented in Table 3 and Table 4.
Table 3.
The Laplace transforms of the integral Mittag-Leffler functions derived for some values of parameters and by using (15).
Table 4.
The Laplace transforms of the integral Mittag-Leffler functions derived for some values of parameters and by using (15).
The Laplace transforms of the integral Mittag-Leffler functions with positive rational parameter with and positive coprimes can be evaluated from:
where
Furthermore, the following relation is satisfied:
3. The Integral Whittaker Functions
In 1903, Whittaker [15] showed that it is possible to express some special functions such as Bessel functions, parabolic cylinder functions, error functions, incomplete gamma functions, and logarithm and cosine integrals in terms of a new function suggested by him, i.e., the Whittaker function. Two Whittaker functions are applied today, and they are defined by using the Kummer confluent hypergeometric function [3,4]:
This permits us to introduce four integral Whittaker functions:
and
The integral Whittaker functions with particular values of parameters and can be expressed in terms of elementary and special functions. These cases, derived using the MATHEMATICA program, are presented in Table 5, Table 6, Table 7, Table 8 and Table 9. Several integral Whittaker functions , , and as a function of variable x at fixed values of parameters and are plotted in Figure 3, Figure 4, Figure 5 and Figure 6. Similarly, a long list of the Whittaker functions and with integer and fractional parameters was prepared (see Appendix B). In some cases, it was possible to obtain for them their Laplace transforms, and they are also reported in Appendix B.
Figure 3.
The integral Whittaker functions as a function of variable x at fixed values of parameters and .
Figure 4.
The integral Whittaker functions as a function of variable x at fixed values of parameters and .
Figure 5.
The integral Whittaker functions as a function of variable x at fixed values of parameters and .
Figure 6.
The integral Whittaker functions as a function of variable x at fixed values of parameters and .
There is a number of recurrence relations between the Whittaker functions, for example [3,4]
and this leads to integrals that are expressed in terms of the integral Whittaker functions
Using the following representation of the Whittaker functions [5]
it is possible to obtain the integral Whittaker functions in terms of a rapidly convergent alternating series as follows:
There is a number of particular cases where the integral Whittaker functions can be written in a closed-form, for example, from [5]
we have
but [5]
and therefore
Furthermore, from [5]
follows that
Similary from
we have
and in a general case
For , it is possible to obtain
where we have set
Since [16]
and
by introducing and , after some steps, it leads to
4. The Integral Wright Functions
In 1933 [17] and in 1940 [18], Wright introduced new special functions that were considered as a kind of generalization of the Bessel functions. However, today they play a significant independent role in mathematics and in solutions of physical problems by modeling space diffusion, stochastic processes, probability distributions and other diverse natural phenomena [19,20]. The Wright functions are defined by the following series
If the parameter is a positive real number, they are called the Wright functions of the first kind, and when , the Wright functions of the second kind.
Furthermore, consider the following functions:
These functions with negative arguments x and with particular values of parameters are frequently named as the Mainardi functions and are denoted as and [19,20].
Their explicit form is
For positive rational , where are positive coprimes, we have obtained reduction formulas for and in Appendix C. Furthermore, by applying the MATHEMATICA program to sums of infinite series in (39), it is possible to obtain the Wright functions of the first and second kinds for particular values of parameters and in an explicit form (Appendix C). The Laplace transforms of these functions are expressed in terms of the Mittag-Leffler functions, so they are omitted here [19,20,21].
The two-parameter Mittag-Leffler functions defined in (9) differ only by the absence of factorials from the Wright functions and, therefore, the form of series in (39) leads to the integral Wright function, which is similar to that introduced in (11) and (12).
Unfortunately, the notation is the same as the integral Whittaker functions. In an explicit form from (39), we have
In the case of the Mainardi functions, we have
where
In Table 10 and Table 11, the integral Wright functions derived with the help of MATHEMATICA program for some values of parameters and are derived. There are many other expressions for these functions, which are available using this program, but being long and complex, they were omitted. The integral Mainardi fuctions and for , are presented in Table 12 and Table 13. As can be expected, most of these integral functions are expressed in terms of generalized hypergeometric functions.
Table 10.
The integral Wright functions derived for some values of parameters and by using (43).
Table 11.
The integral Wright functions derived for some values of parameters and by using (43).
Table 12.
The integral Mainardi function derived for some values of parameter by using (45).
Table 13.
The integral Mainardi function derived for some values of parameter by using (45).
5. Conclusions
For the first time, three new special functions are presented in this investigation: the integral Mittag-Leffler functions, the integral Whittaker functions, and the integral Wright functions. These functions are defined in the mathematical literature in the same manner as other elementary and special integral functions. It is feasible to generate these functions in an explicit form for certain parameters values using the MATHEMATICA application. These integral functions are often represented in terms of generalized hypergeometric functions. The behavior of some of them is shown graphically. In the Appendices, a large number of Mittag-Leffler, Whittaker, and Wright functions with integral and fractional parameters, as well as their Laplace transforms, are presented in tabular form.
Author Contributions
Conceptualization, A.A. and J.L.G.-S.; Methodology, A.A. and J.L.G.-S.; Resources, A.A.; Writing—original draft, A.A. and J.L.G.-S.; Writing—review & editing, A.A. and J.L.G.-S. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Acknowledgments
We are grateful to Armando Consiglio from Institut für Theoretische Physik und Astrophysik of University of Würzburg, Germany, who performed numerical evaluations of the integral functions presented in Figure 1 and Figure 2, and to Francesco Mainardi from the Department of Physics and Astronomy, University of Bologna, Bologna, Italy, for his kind encouragement and interest in our work.
Conflicts of Interest
The authors declare no conflict of interest.
Appendix A. Representations of the One- and Two-Parameter Mittag-Leffler Functions and Their Laplace Transforms
The Mittag-Leffler functions are defined by the sums of infinite series presented in (9) and their Laplace transforms in (10). For positive variable x and some values of parameters and , these sums can be expressed in terms of elementary and special functions, especially in terms of generalized hypergeometric functions. They were derived by using the MATHEMATICA program and presented in Table A1 and Table A2 for the Mittag-Leffler functions, as well as Table A3 and Table A4 for the Laplace transforms. These results, given in terms of infinite series, are mostly new, and only they are only partly known in the mathematical literature. Knowing that any infinite sum can be split as
and applying the multiplication formula of the gamma function ([5] (Eqn. 5.5.6)), for
it is possible to express from (9) the Mittag-Leffler function in the case of positive rational with p and q positive coprimes,
where
The corresponding Laplace transforms are
where
Table A1.
The Mittag-Leffler functions derived for some values of parameters and by using (9).
Table A1.
The Mittag-Leffler functions derived for some values of parameters and by using (9).
| 1 | ||
| 2 | ||
| 3 | ||
| 4 | ||
| 1 | ||
| 1 | 1 | |
| 1 | ||
| 1 | 2 | |
| 1 | ||
| 2 | ||
| 2 | ||
| 2 | 1 | |
| 2 | 2 | |
| 2 | 3 | |
| 2 | 4 | |
| 2 |
Table A2.
The Mittag-Leffler functions derived for some values of parameters and by using (9).
Table A2.
The Mittag-Leffler functions derived for some values of parameters and by using (9).
| 3 | 1 | |
| 3 | 2 | |
| 3 | 3 | |
| 3 | ||
| 4 | 1 | |
| 4 | 2 | |
| 4 | 3 | |
| 4 | 4 | |
| 4 | ||
| 5 | 1 | |
| 5 | 2 | |
| 5 | 3 | |
| 5 | 4 | |
| 5 | 5 | |
| 5 |
Table A3.
The Laplace transforms Mittag-Leffler functions derived for some values of parameters and by using (10).
Table A3.
The Laplace transforms Mittag-Leffler functions derived for some values of parameters and by using (10).
| 1 | ||
| 1 | ||
| 1 | ||
| 1 | 2 | |
| 1 | ||
| 1 | ||
| 2 | ||
| 2 | ||
| 2 | 1 | |
| 2 | 2 | |
| 2 | 3 | |
| 2 | 4 | |
| 2 |
Table A4.
The Laplace transforms Mittag-Leffler functions derived for some values of parameters and by using (10).
Table A4.
The Laplace transforms Mittag-Leffler functions derived for some values of parameters and by using (10).
| 3 | 1 | |
| 3 | 2 | |
| 3 | 3 | |
| 3 | ||
| 4 | 1 | |
| 4 | 2 | |
| 4 | 3 | |
| 4 | 4 | |
| 4 | ||
| 5 | 1 | |
| 5 | 2 | |
| 5 | 3 | |
| 5 | 4 | |
| 5 | 5 | |
| 5 |
Appendix B. Representations of the Whittaker Functions and Their Laplace Transforms
The Whittaker functions and defined in (18) were derived by using the MATHEMATICA program, and they are presented in Table A5, Table A6, Table A10 and Table A11. The corresponding Laplace transforms are in Table A7, Table A8, Table A9 and Table A12. Most of the reported results in these tables are unknown in the mathematical reference literature.
Table A5.
The Whittaker functions derived for some values of parameters and by using (18).
Table A5.
The Whittaker functions derived for some values of parameters and by using (18).
| 0 | ||
| 0 | ||
| 1 | ||
| 2 | ||
| 3 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 1 | ||
| 2 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 0 |
Table A6.
The Whittaker functions derived for some values of parameters and by using (18).
Table A6.
The Whittaker functions derived for some values of parameters and by using (18).
| 0 | ||
| 0 | 1 | |
| 0 | ||
| 0 | 2 | |
| 0 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 1 | ||
| 1 | 0 | |
| 1 | ||
| 1 | 1 | |
| 0 | ||
| 1 | ||
| 2 | 0 | |
| 2 | ||
| 2 | 1 | |
| 2 | ||
| 2 | 2 | |
| 0 | ||
| 1 | ||
| 2 | ||
| 3 | ||
| 3 | 1 | |
| 3 | ||
| 3 | ||
| 0 | ||
| 4 | ||
| 4 |
Table A7.
The Laplace transforms of the Whittaker function derived for some values of parameters and .
Table A7.
The Laplace transforms of the Whittaker function derived for some values of parameters and .
| 0 | ||
| 0 | ||
| 1 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 1 | ||
| 0 | 1 | |
| 0 | 2 | |
| 0 |
Table A8.
The Laplace transforms of the Whittaker functions derived for some values of parameters and .
Table A8.
The Laplace transforms of the Whittaker functions derived for some values of parameters and .
| 0 | ||
| 0 | ||
| 0 | ||
| 1 | ||
| 1 | 0 | |
| 1 | ||
| 1 | 1 | |
| 0 | ||
| 1 | ||
| 2 | 0 | |
| 2 | ||
| 2 | 1 | |
| 2 |
Table A9.
The Laplace transforms of the Whittaker functions derived for some values of parameters and .
Table A9.
The Laplace transforms of the Whittaker functions derived for some values of parameters and .
| 1 | ||
| 2 | ||
| 3 | ||
| 3 | ||
| 3 | ||
| 0 | ||
| 4 | ||
| 4 |
Table A10.
The Whittaker functions derived for some values of parameters and by using (18).
Table A10.
The Whittaker functions derived for some values of parameters and by using (18).
| 0 | ||
| 0 | ||
| 1 | ||
| 0 | ||
| 1 | ||
| 2 | ||
| 3 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 0 | ||
| 1 | ||
Table A11.
The Whittaker functions derived for some values of parameters and by using (18).
Table A11.
The Whittaker functions derived for some values of parameters and by using (18).
| 1 | ||
| 0 | ||
| 1 | ||
| 2 | ||
| 2 | ||
| 2 | ||
| 2 | ||
| 0 | ||
| 1 | ||
| 2 | ||
| 3 | ||
| 3 | ||
| 3 | ||
| 3 | ||
| 0 | ||
| 4 | ||
| 4 |
Table A12.
The Laplace transforms of the Whittaker function derived for some values of parameters and .
Table A12.
The Laplace transforms of the Whittaker function derived for some values of parameters and .
| 0 | ||
| 1 | ||
| 0 | ||
| 0 | 1 | |
| 0 | ||
| 1 | ||
| 0 | ||
| 1 | ||
| 2 | ||
| 2 | ||
| 0 | ||
| 1 | ||
| 2 | ||
| 3 | ||
| 3 | ||
| 3 | ||
| 0 | ||
| 4 | ||
| 4 |
Appendix C. Representations of the Wright Functions
The Wright functions , defined in (39), and presented in Table A13 and Table A14, as well as the Mainardi functions and , defined in (40), and presented in Table A15 and Table A16, were derived by using the MATHEMATICA program. Only a small part of these Wright functions is known in the mathematical reference literature.
In the case of positive rational with p and q positive coprimes, applying (A1) and (A2), it is possible to express the Wright function by
where
and the set of numbers .
For the Mainardi functions, we have the following reduction formulas for positive rational with p and q positive coprimes:
and
where
and the set of numbers .
Table A13.
The Wright functions derived for some values of parameters and by using (39).
Table A13.
The Wright functions derived for some values of parameters and by using (39).
| 0 | ||
| 1 | ||
| 0 | ||
| 0 | ||
| 0 | 1 | |
| 0 | ||
| 1 | ||
| 1 | ||
| 1 | ||
| 1 | 0 | |
| 1 | ||
| 1 | 1 | |
| 1 | ||
| 1 |
Table A14.
The Wright functions derived for some values of parameters and by using (39).
Table A14.
The Wright functions derived for some values of parameters and by using (39).
| 2 | ||
| 3 | ||
| 4 | ||
| 5 |
Table A15.
The Mainardi function derived for some values of parameter by using (A7).
Table A15.
The Mainardi function derived for some values of parameter by using (A7).
Table A16.
The Mainardi function derived for some values of parameter by using (A8).
Table A16.
The Mainardi function derived for some values of parameter by using (A8).
References
- Erdélyi, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F. Higher Transcendental Functions; McGraw-Hill: New York, NY, USA, 1953; Volume 1. [Google Scholar]
- Erdélyi, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F. Tables of Integral Transforms; McGraw-Hill: New York, NY, USA, 1954. [Google Scholar]
- Abramowitz, M.; Stegun, I. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables; U.S. National Bureau of Standards: Washington, DC, USA, 1964; Volume 55.
- Magnus, W.; Oberhettinger, F.; Soni, R. Formulas and Theorems for the Special Functions of Mathematical Physics, 3rd ed.; Springer: Berlin, Germany, 1966. [Google Scholar]
- Olver, F.; Lozier, D.; Boisvert, R.; Clark, C. NIST Handbook of Mathematical Functions; Cambridge University Press: Cambridge, UK, 2010. [Google Scholar]
- Roberts, G.; Kaufman, H. Table of Laplace Transforms; WB Saunders Co.: Philadelphia, PA, USA, 1966. [Google Scholar]
- Oberhettinger, F.; Badii, L. Tables of Laplace Transforms; Springer: Berlin, Germany, 1970. [Google Scholar]
- Apelblat, A. Laplace Transforms and Their Applications; Nova Science Publishers Inc.: New York, NY, USA, 2012. [Google Scholar]
- Van der Pol, B. On the operational solution of linear differential equations and an investigation of the properties of these solutions. Lond. Edinb. Dublin Philos. Mag. J. Sci. 1929, 8, 861–898. [Google Scholar] [CrossRef]
- Van der Pol, B.; Bremmer, H. Operational Calculus: Based on the Two-Sided Laplace Integral; Taylor & Francis: Abingdon, UK, 1987; Volume 327. [Google Scholar]
- Humbert, P. Bessel-integral functions. Proc. Edinb. Math. Soc. 1933, 3, 276–285. [Google Scholar] [CrossRef][Green Version]
- Apelblat, A.; Kravitsky, N. Integral representations of derivatives and integrals with respect to the order of the Bessel functions Jν(t), Iν(t), the Anger function Jν(t) and the integral Bessel function Jiν(t). IMA J. Appl. Math. 1985, 34, 187–210. [Google Scholar] [CrossRef]
- Apelblat, A. Bessel and Related Functions. Mathematical Operations with Respect to the Order; Theoretical Aspects; Walter de Gruyter GmbH: Berlin, Germany, 2020; Volume 1. [Google Scholar]
- Gorenflo, R.; Kilbas, A.; Mainardi, F.; Rogosin, S. Mittag-Leffler Functions, Related Topics and Applications; Springer: Berlin, Germany, 2014; Volume 2. [Google Scholar]
- Whittaker, E. An expression of certain known functions as generalized hypergeometric functions. Bull. Am. Math. Soc. 1903, 10, 125–134. [Google Scholar] [CrossRef]
- Prudnikov, A.; Brychkov, Y.; Marichev, O. Integrals and Series: More Specific Function; CRC Press: Boca Raton, FL, USA, 1986; Volume 3. [Google Scholar]
- Wright, E. On the coefficients of power series having exponential singularities. J. Lond. Math. Soc. 1933, 1, 71–79. [Google Scholar] [CrossRef]
- Wright, E. The generalized Bessel function of order greater than one. Q. J. Math. 1940, 1, 36–48. [Google Scholar] [CrossRef]
- Gorenflo, R.; Luchko, Y.; Mainardi, F. Analytical properties and applications of the Wright function. Fract. Calc. Appl. Anal. 1999, 2, 383–414. [Google Scholar]
- Mainardi, F. Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models; World Scientific: Singapore, 2010. [Google Scholar]
- Apelblat, A. Differentiation of the Mittag-Leffler functions with respect to parameters in the Laplace transform approach. Mathematics 2020, 8, 657. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2021 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 (https://creativecommons.org/licenses/by/4.0/).