Abstract
In this paper, by using the confluent hypergeometric function of the first kind, we propose a further extension of the Voigt function and obtain its useful properties as (for example) explicit representation and partly bilateral and partly unilateral representation. By means of the present representations, we derive several (presumably new) generating functions which are partly bilateral and partly unilateral. Some interesting recurrence relations of the Voigt function introduced here are also indicated.
Similar content being viewed by others
1 Introduction and preliminaries
The familiar Voigt functions \(K(x,y)\) and \(L(x,y)\) were introduced and investigated by Voigt in 1899. Mainly due to their applications in diverse research areas, such as astrophysical spectroscopy, neutrons physics, statistical communication theory, and plasma physics, the Voigt functions and their various generations have been intensively and extensively investigated by many authors. For a review of the (unification) generalizations of Voigt functions introduced from time to time, see Srivastava and Miller [17], Klusch [6], Srivastava and Chen [15], Gupta et al. [4], Pathan and Shahwan [10], Goyal and Mukherjee [2], Pathan et al. [9], Srivastava et al. [18], Pathan et al. [8], Gupta and Gupta [3], Khan et al. [5], etc.
We recall here the generalized Voigt function defined by Srivastava et al. [18, p. 53, Eq. (1.27)] needed for the present investigation:
where \(J_{\nu,\lambda }^{\mu }(z)\) is the well-known Bessel–Maitland function defined as follows (see [7]):
Note that on setting \(z=\frac{1}{4}\) in equation (1), the generalized Voigt function defined by Srivastava and Chen [15] can be retrieved. If we set \(\lambda =0\) and \(\mu =1\) in equation (1), then it reduces to the generalized Voigt function given by Klusch [6], which, on taking \(z=\frac{1}{4}\), further reduces to the Voigt function introduced by Srivastava and Miller [17].
The paper aims at presenting a new extension of the Voigt function defined by equation (1) in a slightly modified form by involving the confluent hypergeometric function as follows:
where \({}_{1}F_{1}(a;b;z)\) is the confluent hypergeometric function defined as follows (see [16, p. 36, Eq. (3)]):
If we set \(a=b\), then equation (4) reduces to
For \(\alpha =\beta \), our extended Voigt function defined by equation (3) reduces to the Voigt function defined by Srivastava et al. [18, p. 53, Eq. (2.7)].
2 A series representation
In order to derive the explicit representation of our extended Voigt function in terms of the familiar special functions of the mathematical physics, we make use of the series representation of the confluent hypergeometric function and Bessel–Maitland function defined by equation (4) and equation (2), respectively. Reversing the order of summation and integration (under the given conditions), we get
Applying the following integral, which is easily deducible from the familiar Euler gamma function,
to the integral in equation (6), we obtain
On splitting the n-series into even and odd terms, we obtain
For \(\alpha =\beta \), equation (9) reduces to the explicit representation of Voigt function defined by Srivastava et al. [18, p. 55, Eq. (2.4)].
On using the definition of Kampé de Fériet function \(F_{s:t;u}^{p:q;r}\) (see [16, p. 63]) in equation (9), we arrive at the following explicit representation of our extended Voigt function \(\varLambda _{\eta,\nu,\lambda }^{\mu,\alpha,\beta }\):
where \(P=\frac{\eta +\nu +2\lambda +1}{2}\) and \(\Delta (m;a)\) abbreviates the array of m parameters \(\frac{a}{m},\frac{a+1}{m},\ldots,\frac{a+m+1}{m}\), \(m\geq 1\).
For the case \(\beta =\alpha \), equation (10) reduces to the representation defined by Srivastava et al. [18] in a slightly modified form (i.e., in terms of the parameters μ and λ):
On setting \(y=0\) in equation (10) and equation (11), respectively, we get the following (presumably new) interesting result:
where \({}_{p}F_{q}\) is the generalized hypergeometric function (see [12, p. 73]).
Thus, we obtain
where \(\varOmega _{\eta,\nu,\lambda }^{\mu }\) corresponds to the generalized Voigt function given in equation (1) (see, for details, [18]).
3 Partly bilateral and partly unilateral representation of \(\varLambda _{\eta,\nu,\lambda }^{\mu,\alpha,\beta }\)
We begin by recalling here the following known result (see [14, p. 8, Eq. (1.3)]):
where \({}_{1}F_{1}\) is the confluent hypergeometric function defined by equation (4).
The replacement of s, t, and x by \(s\xi ^{2}\), \(t\xi ^{2}\), and \(x\xi ^{2}\), respectively, and further multiplying both sides of the resulting identity by \(\xi ^{\eta }e^{-z\xi ^{2}}{}_{1}F_{1}(\alpha;\beta;-w\xi )J_{\nu, \lambda }^{\mu }(q\xi )\) and integrating both sides of the last resulting identity with respect to ξ from 0 to ∞, and interchanging the summations and integration gives
On comparing equation (15) and equation (3), we get
Expanding the confluent hypergeometric function \({}_{1}F_{1}(\alpha;\beta;-w\xi )\) and Bessel–Maitland function \(J_{\nu,\lambda }^{\mu }(q\xi )\) in equation (16) in their defining series, interchanging the integration and summations, and finally integrating the involved integral with the help of the following known integral formula (see [1, p. 337, Eq. (9)]):
we obtain
where \(P=\frac{\eta +\nu +2\lambda +1}{2}\). For \(\alpha =\beta \), equation (18) reduces to the known result of Srivastava et al. [18, p. 59, Eq. (3.5)].
Now expanding the hypergeometric function \({}_{2}F_{1}\) in its defining series, separation of i-series into its even and odd terms, and a little simplification leads us to
where \(F_{e:f;g;h}^{a:b;c;d}\) is the well-known Srivastava and Daoust function [16, p. 64].
On setting \(\alpha =\beta \) in equation (19), and after some simplification, we get the representation (partly bilateral and partly unilateral) of the Voigt function given in [18, p. 59, Eq. (3.6)].
4 Generating functions
In this section, we give a set of (presumably) new generating functions which are partly bilateral and partly unilateral.
A generating relation between the Kampé de Fériet function and Srivastava and Daoust function can be obtained by expanding the L.H.S. of equation (19) with the help of equation (10). We have indeed
where \(Z=z-s-t+\frac{xt}{s}\) and \(P=(\frac{\eta +\nu +2\lambda +1}{2})\).
If we set \(\beta =\alpha \), \(\lambda =0\), and \(\mu =1\) in equation (20), then it reduces to the know result given in [18, p. 62, Eq. (4.1)].
On setting \(q=0\) in equation (20), we obtain a (presumably) new relation between the generalized hypergeometric function and Kampé de Fériet function given by
For \(\beta =\alpha \), \(\lambda =0\), and \(\mu =1\), equation (20) and equation (21) reduce to the known results (4.1) and (4.2), respectively, of Srivastava et al. [18, p. 62].
Further, on setting \(w=0\) and replacing P by c in equation (21), we get
Now, by using the definition of Jacobi polynomials \(P_{n}^{(\alpha,\beta )}(x)\) (see [12, p. 254])
equation (22) reduces to the following known result of Pathan and Yasmeen [11, p. 242, Eq. (2.2)]:
If we set \(w=0\) in equation (20), then we obtain the following new generating relation between the generalized hypergeometric function and Kampé de Fériet function:
For \(\lambda =0\) and \(\mu =1\), equation (25) reduces to the result (4.5) in [18, p. 63].
On setting \(x=0\) in equation (25), we get the following generating function for the generalized hypergeometric function:
where \(P=\frac{\eta +\nu +\lambda +1}{2}\) and \(Z_{1}=z-s-t\).
On putting \(\lambda =0\) and \(\mu =1\) in equation (26), we arrive at the following new generating function for the confluent hypergeometric function \({}_{1}F_{1}\):
where \(P_{1}=\frac{\eta +\nu +1}{2}\) and \(Z_{1}=z-s-t\).
Further, on setting \(\lambda =0\), \(\mu =1\), \(\eta =0\) and replacing ν by 2ν in equation (26), we get
Now, using the following known result in equation (28) (see [16, p. 39, Eq. (21)]):
(where \(I_{\nu }(x)\) is the modified Bessel function [16]), after a little simplification, we arrive at the following interesting result for the modified Bessel function:
Further, using the following known result in equation (28) (see [16, p. 39, Eq. (20)]):
(where \(i=\sqrt{-}1\) and \(J_{\nu }(x)\) is the Bessel function of the first kind [16]), we obtain a new result for Bessel function of the first kind:
If we expand \({}_{1}F_{1}\) in its defining series in equation (30) and equation (32), respectively, and arrange the resulting expressions into Kampé de Fériet function, then we get the following interesting relations between Bessel’s functions of the first kind and Kampé de Fériet function:
and
On setting \(\lambda =0\), \(\mu =1\), replacing η by 2η and ν by 2ν in equation (26), we get
Now, by using the under mentioned definition of Whittaker function \(M_{k,\mu }(x)\) (see [16, p. 39, Eq. (23)]) in equation (35)
we arrive at the following (presumably) new result for the Whittaker function of the first kind:
Further, on setting \(\lambda =0\), \(\mu =1\), \(\nu =\frac{1}{2}\), and \(\eta =\frac{1}{2}\) in equation (26), and then by using the definition of error function
we arrive at
In equation (39), on expanding \({}_{1}F_{1}\) in a series form and arranging the resulting expression into Kampé de Fériet function, we get
5 Recurrence relations
In this section, we present the following recurrence relations for our introduced extended Voigt function \(\varLambda _{\eta,\nu,\lambda }^{\mu,\alpha,\beta }\):
Here, we omit the variables.
Proof
We have the following recurrence relation of the confluent hypergeometric function \({}_{1}F_{1}\) (see [13, p. 19]):
By using the above relation, we can easily arrive at
Note here, on applying definition (3) in the above expression yields the first recurrence relation (41).
A similar argument can establish the other formulas given in equations (42)–(46), respectively, by using the following recurrence relations of \({}_{1}F_{1}\) (see [13, p. 19]):
□
6 Some recurrence type connection formulas
Here, we present some recurrence type connection formulas for our extended Voigt function \(\varLambda _{\eta,\nu,\lambda }^{\mu,\alpha,\beta }\) and the Voigt function \(\varOmega _{\eta,\nu,\lambda }^{\mu }\) defined by Srivastava et al. [18] as follows:
Here, we omit the variables.
Proof
On taking \(\beta =\alpha \) in equation (48) and then using the definition of Voigt functions given by equation (1) and equation (3), respectively, we get our first formula (54). The other formulas can be established (in a similar way) by taking \(\beta =\alpha \) in the integral representation of relations (42), (43), (44), (45), and (46), respectively. □
References
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Table of Integral Transforms. Vol. I. MaGraw-Hill, New York (1954)
Goyal, S.P., Mukherjee, R.: Generalizations of the Voigt functions through generalized Lauricella function. Ganita Sandesh 13(1), 31–41 (1999)
Gupta, K., Gupta, A.: On the study of unified representations of the generalized Voigt functions. Palestine J. Math. 2(1), 32–37 (2013)
Gupta, K.C., Goyal, S.P., Mukherjee, R.: Some results on generalized Voigt functions. ANZIAM J. 44, 299–303 (2002)
Khan, N.U., Kamarujjama, M., Ghayasuddin, M.: A generalization of Voigt function involving generalized Whittaker and Bessel functions. Palestine J. Math. 4(2), 313–318 (2015)
Klusch, D.: Astrophysical spectroscopy and neutron reactions, integral transforms and Voigt functions. Astrophys. Space Sci. 175, 229–240 (1991)
Pathak, R.S.: Certain convergence theorems and asymptotic properties of a generalization of Lommel and Maitland transform. Proc. Natl. Acad. Sci. India Sect. A 36, 81–86 (1996)
Pathan, M.A., Garg, M., Mittal, S.: On unified presentations of the multivariable Voigt functions. East-West J. Math. 8(1), 49–59 (2006)
Pathan, M.A., Gupta, K., Agrawal, V.: Summation formulae involving Voigt functions and generalized hypergeometric functions. Scientia, Ser. A, Math. Sci. 19, 37–44 (2010)
Pathan, M.A., Shahwan, M.J.S.: New representation of the Voigt functions. Demonstr. Math. 39, 1–4 (2006)
Pathan, M.A., Yasmeen: On partly bilateral and partly unilateral generating functions. J. Aust. Math. Soc. Ser. B 28, 240–245 (1986)
Rainville, E.D.: Special Functions. Macmillan Co., New York (1960)
Slater, L.J.: Confluent Hypergeometric Functions. Cambridge University Press, Cambridge (1960)
Srivastava, H.M., Bin-Saad, M.G., Pathan, M.A.: A new theorem on multidimensional generating relations and its applications. Proc. Jangjeon Math. Soc. 10(1), 7–22 (2007)
Srivastava, H.M., Chen, M.-P.: Some unified presentations of the Voigt functions. Astrophys. Space Sci. 192, 63–74 (1992)
Srivastava, H.M., Manocha, H.L.: A Treatise on Generating Functions. Halsted Press, New York (1984)
Srivastava, H.M., Miller, E.A.: A unified presentation of the Voigt functions. Astrophys. Space Sci. 135, 111–118 (1987)
Srivastava, H.M., Pathan, M.A., Kamarujjama, M.: Some unified presentations of the generalized Voigt functions. Commun. Appl. Anal. 2, 49–64 (1998)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
The author T.A. would like to thank Prince Sultan University for the support through the research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Khan, N., Ghayasuddin, M., Khan, W.A. et al. Further extension of Voigt function and its properties. Adv Differ Equ 2020, 229 (2020). https://doi.org/10.1186/s13662-020-02663-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02663-4