Abstract
Firstly, a basic question to find the Laplace transform using the classical representation of gamma function makes no sense because the singularity at the origin nurtures so rapidly that cannot be integrated over positive real numbers. Secondly, Dirac delta function is a linear functional under which every function is mapped to . This article combines both functions to solve the problems that have remained unsolved for many years. For instance, it has been demonstrated that the power law feature is ubiquitous in theory but challenging to observe in practice. Since the fractional derivatives of the delta function are proportional to the power law, we express the gamma function as a complex series of fractional derivatives of the delta function. Therefore, a unified approach is used to obtain a large class of ordinary, fractional derivatives and integral transforms. All kinds of q-derivatives of these transforms are also computed. The most general form of the fractional kinetic integrodifferential equation available in the literature is solved using this particular representation. We extend the models that were valid only for a class of locally integrable functions to a class of singular (generalized) functions. Furthermore, we solve a singular fractional integral equation whose coefficients have infinite number of singularities, being the poles of gamma function. It is interesting to note that new solutions were obtained using generalized functions with complex coefficients.
Keywords:
fractional Taylor series; H-function; singular integral equation; q-fractional derivatives MSC:
33B15; 44A20; 33CXX
1. Introduction and Motivation
Gelfand and Shilov remarked that “If the coefficients of equations have singularities, then new solutions may occur in generalized functions, while classical solutions may disappear” ([1], Vol. I, p. 42, Remark 1). Since the gamma function has an unlimited number of poles at negative integers containing 0. Therefore, it becomes more challenging to solve differential and integral equations containing the gamma function. In general, a function is typically thought of as being defined by a series, or an integral of a certain variable, or in terms of those functions that we consider to be “elementary”. But the function must be regarded as a distinct entity, and one that can be represented by a series or an integral. When considering the theory of (special) functions, this point becomes more significant. All special functions have more than one representation, such as a series integral, an asymptotic representation, etc. For example, the integral representation ([2], Equation (1.1.1)) of the gamma function is defined in the positive half of the complex plane as
and another representation ([2], Equation (1.1.4)) is as follows,
and is defined in the whole complex plane except at negative integers including 0. Additionally, there may be multiple integral or series representations of the same function, which aid in differentiating the function in the various contexts. This is necessary in order to use the function for purposes other than those for which it was formerly defined. By doing so, one can also provide proofs of several known features that are simpler. Therefore, a generalized representation of the gamma function [3] in terms of complex delta functions is given by
and was used to find its Laplace transform ([4], Equation (38)), which was not possible using its known (old) representations. A complex delta function can be represented as a Taylor series ([1], Vol. 1, p. 169, Equation (8)),
More rigorously, a complex delta function is an element of a distribution space so that for ([1], (pp. 159–160), Equation (4)) as well as ([5], p. 201, Equation (9)), we have the Taylor series expansion,
and the corresponding fractional Taylor series is [6]
For further details of these distribution spaces, we suggest that an interested reader should refer to a more recent reference [4], subsection 2.2. Moreover, for , a recently discussed definition of the fractional derivatives of delta function is given by [7]
which is basically the extension and modification of the classical works by Gelfand and Shilov [1]. Inspired by the study in [7], a non-integer-order distributional representation of the gamma function was discussed over a real domain [8]. In this article, we also extend these results over the complex domain. It is clear that the delta function’s Riemann–Liouville (R-L) and Caputo derivatives [9,10,11] are identical. For a more thorough examination of such settings, the interested bibliophile can refer to [7,8,9,10] and their related literature.
This article is divided into the following sections: After a brief discussion of necessary definitions in Section 1.1, we find a novel depiction of the gamma function over its complex domain by making the use of non-integer derivatives of the delta function in Section 2. The complex portion contributes to the coefficients of this series representation, and fractional derivatives are used for the real part. Therefore, a new representation is also applicable to a class of functions whose fractional derivatives over the complex domain do not exist. With novel applications for the theory of distributions, the convergence of a new series is demonstrated. Highly nontrivial examples leading to the solution of a most general form of the fractional integrodifferential equation are also discussed. Using the Fourier transform of the gamma function, novel identities involving the gamma function are obtained using multiple Erdélyi–Kober (E-K) fractional derivatives in Section 3.1 and their fractional integral transforms in Section 3.2. In Section 3.3, the Laplace transform (LT) of the gamma function is utilized to obtain the distributional solution of the singular fractional integral problem in conjunction with the classical solution. By doing so, we obtain a large class of integrals and derivatives in a uniform way, i.e., -fractional derivatives using the new representation are also computed in Section 3.4. Section 4 contains the conclusions of this article and lead to the future directions of this study.
1.1. Preliminaries Related to Multiple Erdélyi–Kober (E-K) Fractional Operators
The generalized fractional operators of order are defined as follows ([12], p. 8, Equation (18)),
where are arbitrary parameters, and are used as weights. Then, and the corresponding derivatives of different orders are as defined in ([12], p. 9), refer also [13,14]. These are named as multiple E–K fractional and derivative operators, respectively. One noteworthy aspect of these operators is their relationship with a few popular fractional integrals, as listed in the Table 1 below.
Table 1.
Diverse kernels of multiple Erdélyi–Kober (E-K) fractional operators and integral transforms [14].
A variety of such significant transforms can also be found in [15,16]. The above definitions involve the -function [17,18] given by
In this definition of the H-function, the singularities of and are kept separated using the contour . If then, we have the following relationship between H and G functions [17,18]:
Furthermore, for the Fox–Wright function [18] is defined as follows:
It has the following relationship with the hypergeometric function [2,19]:
The generalized Mittag–Leffler function [19,20] is given by
where are Pochhammer symbols given by
Further special cases of (13) are as follows:
Unless otherwise mentioned during this research, the conditions of the parameters shall be deemed normal as specified in Section 1.
2. Complex Generalized Representation of the Gamma Function and Its Convergence
This section presents a complex generalized Taylor series of the gamma function denoted by where is the fractional parameter as defined in Equation (6) in the form of non-integer derivatives of delta function. The major objective is to use the fractional operator to present a basic special function in the form of a generalized function. To model and solve the most general form of the fractional kinetic equation, a fractional generalization of the differential operators was necessary, which can assist to explain why this conclusion can only be accomplished by using fractional derivatives.
Proposition 1.
A subsequent complex generalized representation is computed for the gamma function.
Proof.
This is obtained by using Equation (6) in Equation (3) for the complex delta function being an element of . □
Remark 1.
The delta function is used in an infinite series in this gamma function exemplification, which is only correct when it is specified in the sense of distributions (generalized functions). A subsequent theorem implies the interesting fact that the representation (16) acts as a distribution over a specific set of functions with fractional derivatives.
Theorem 1.
Let denote a set of functions that have well-defined non-integer derivatives, then prove that the series representation (16) acts as a distribution over this set of functions.
Proof.
First, one may consider the subsequent inner product of the complex generalized representation of the gamma function (16) as well as a suitable liner combination of testing functions, and
It demonstrates that this novel representation of the gamma function behaves as a linear operator over . Next, one may consider a random sequence converging to zero and then consider the following convolution product,
and we can show that converges to zero. This implies that the complex generalized representation of the gamma function acts as a linear as well as a continuous operator over . Therefore, we consider the following equation,
where exists and is well defined, showing that converges for using the famous Abel theorem. □
One should note that, by making the use of (7) and (16) for any function we obtain the following:
The existing literature contains a wide range of non-integer-order operators, and even for the computation of very fundamental functions, a thorough comprehension of the selected operator is necessary (refer [21] and the bibliography cited therein).
Example 1.
For example, using the non-integer-order derivative in the Caputo sense [21] of , we obtain
and using the Grünwald–Letnikov derivative [21], in (20), the new identity obtained is as follows:
Next, we consider the following examples for the Riemann–Liouville (R-L) fractional derivative of the Hurwitz–Lerch zeta function [22] and the Mittag–Leffler function [23].
Example 2.
Consider , then , and denote the Hurwitz–Lerch zeta and the generalized Hurwitz–Lerch zeta functions [22]. Using (7) and (16) for these functions, we obtain the following:
Example 3.
Consider , then , where denotes the Mittag–Leffler function ([23], Equation (12)). Using (7) and (16) for this function, we obtain the following:
In the same way, more novel and innovative results can be calculated that are valuable in solving the several problems arising in fractional calculus that are also proposed in [24]. For instance, many different types of fractional-order kinetic equations have been employed recently, particularly in the modelling and analysis of several significant physics and astrophysics problems [25,26]. Such kinetic equations combined by the notion of Continuous-Time Random Walk (CTRW) has led to an apparent increase in the popularity of kinetic equations of the fractional order [27,28]. These equations are currently being utilized to decipher the diffusion in porous media, the relaxation and response in complex systems, anomalous diffusion, so on and so forth. This section is concluded considering the subsequent general non-integer kinetic integrodifferential equation discussed in [24].
If c, d, and are constants, and is a locally integrable function, then we have
with an initial condition of
Here, we apply this general form of a new fractional representation (16) to obtain the solution ([24], Equation (5.9)–(5.10)), by extending the general result from locally integrable functions to a class of singular distributions,
and from this equation, we obtain
and using (7), the required solution is
3. Fourier Transform of Gamma Function Using New Representation and Multiple Erdélyi–Kober (E-K) Fractional Operators with Application in Recently Popular Transforms
This section contains new non-integer formulae involving the gamma function by distributing it into two subsections.
Fourier transformations are significant to solve many physical problems. Here, we compute them for the new fractional representation (16) using the following equation explored in [7]
Hence, we obtain
where denotes the Mittag–Leffler function. Considering in (31), the equation obtained is as follows:
3.1. Multiple Erdélyi–Kober (E-K) Fractional Derivatives with Application in Recently Popular Transforms
The following result stated in [12], Theorem 4, is significant to simplify the complicated forms involving ratios of the gamma function:
We use it to obtain the closed form of multiple Erdélyi–Kober derivatives by the means of the complex generalized representation of the gamma function that is formulated as follows:
Further important cases of this result are listed in the following Table 2.
Table 2.
Non-integer-order derivatives containing the Fourier transformation of the gamma function.
If , then the above table yields further novel results.
3.2. Multiple Erdélyi–Kober (E-K) Fractional Integrals with Application in Recently Popular Transforms
The following action of the Erdélyi–Kober (E-K) fractional transform ([12], p. 9, Equation (27)) is significant for this research to obtain various results that are depicted in Table 3:
Table 3.
Non-integer-order integrals containing the Fourier transformation of the gamma function.
Theorem 2.
The closed form of multiple Erdélyi–Kober (E-K) fractional integral transforms involving the gamma function is given by
Proof.
Let us first consider
and then, by interchanging the summation and integration, we obtain
and then, we obtain to the following equation using (35),
which after replacing the summation index by and using Equation (11), leads to the essential compact form. □
Further important special cases are listed in the following Table 3.
If , then the above table yields further novel results. Consequently, it validates that the outcomes of the new fractional representation are consistent with the current findings. Based on this, we move forward and extract the distributional solution of the singular fractional integral equation, which is only possible because of this fractional distributional representation.
3.3. Solution of a Singular Fractional Integral Equation including the Fractional Derivatives of the Delta Function
The Laplace transformation of the fractional derivatives of the Dirac delta function is given below, as computed in [7],
and therefore, by using the above equation in (16), we obtain
Considering in (41), we obtain
The basic kinetic equation, to analyse the reaction rate X(t) in terms of production p(X) and destruction d(X) was formulated in [25] by Haubold and Mathai. Then, disregarding the variation in species and position, we obtain , where is the count of the density of species . At that point, we integrate it by dropping the subscript , to obtain Hence, the corresponding fractional kinetic equation formulated by the means of the R-L fractional integral is where a is the fixed value. It leads to the non-integer-order integral equation [25,26,27,28], i.e., involving an integrable function f(t). According to the discussion presented in [25], we obtain the subsequent non-integer singular integral equation by considering () = and in the above equation:
In the classical sense, Equation (43) is a singular integral equation containing infinitely many singularities at negative integers; (consider (2)), when the fractional parameter . Due to this distributional representation, we can use the Laplace transform, for Equation (43) to obtain the following:
It leads to the subsequent result by considering Equation (41),
where and we obtain
From the above discussion, we obtain the subsequent expression:
Case 1: Moreover, we assume that and we use to obtain the following solution:
Case 2: By considering [7], Equation (30), for we obtain
and
The following solution is then obtained by utilizing Equation (49)–(50) in Equation (47):
Case 3: Using the generalized form of [7], Equation (30), i.e., in (47), we obtain the following solution in terms of the non-integer derivatives of the delta function:
This is a generalized (distributional) solution and using Equation (7), and we obtain
This generalized solution is valid only if the non-integer derivatives exist and are well defined. This was not achievable using the classical gamma function representations. If then leads to
and, for = 1, one can obtain the following:
Remark 2.
It is worth noting that a conventional solution approach is used. X(t) is generally expressed in the form of the Mittag–Leffler function, and the similar fact is obvious in case of the above solution. Consequently, the following sum is obtained for the coefficients in Equations (48), (51), and (52):
This sum is finite and well defined. Similarly,
Furthermore, the stimulating special cases of these solutions can be computed for the non-fractional case when .
3.4. New q-Fractional Derivatives Involving Different Functions
A branch of mathematics called quantum calculus, commonly referred to as -calculus, studies calculus without the concept of limits. Results of -calculus can be linked to Euler’s research. The concepts of the definite -integrals and the -derivatives were initially introduced by Jackson. Numerous branches of mathematics, including orthogonal polynomials, hypergeometric functions, number theory, and combinatorics, as well as physics subjects including mechanics, relativity theory, and quantum theory, have found use for quantum calculus [29].
We can obtain a number of -fractional derivatives and integrals involving the Laplace and Fourier transforms of the new representation by using [29,30]
i.e., by making the use of (41) and (42), we obtain
and
and the corresponding fractional -derivatives are
as well as the corresponding fractional -integrals are
Continuing in this manner, it is reasonable to apply the results for the solution of -fractional integrodifferential equations. For example,
and the corresponding fractional -derivatives are
as well as the corresponding fractional -integrals are
4. Conclusions
We obtained a new representation of the gamma function over its complex domain in terms of the fractional derivatives of the delta function. The complex portion contributes to the coefficients of this series representation, and the fractional derivatives are used for the real part. Therefore, the new representation is also applicable to a class of functions whose fractional derivatives over the complex domain do not exist. Highly nontrivial examples, leading to the solution of the most general form of the fractional integrodifferential equation, are also discussed. Using the Fourier transform of the gamma function, novel identities containing the gamma function are obtained using multiple Erdélyi–Kober (E-K) fractional derivatives, and their fractional integral transforms are computed. Besides the conventional solution of the singular fractional integral equation, the generalized solution is also obtained using the non-integer derivatives of the delta function. By doing so, we obtain a large class of integrals and derivatives in a uniform way, i.e., -fractional derivatives using the new representation are also computed. It demonstrates how the employed approach may enhance the upcoming applications of the delta function in big data, machine learning, and artificial intelligence [31]. We conclude that this work is more fruitful over the others presented in [32] and the references provided therein, because those contain only the delta function, but here, we use the fractional derivatives of the Dirac delta function. This study sheds more light on the potential of the new representations developed in the references [32,33,34] and their related works, to achieve a broader applicability compared to other results, for example, refer [35,36,37].
Author Contributions
Each author equally contributed to writing and finalizing the article. Conceptualization, A.T. and R.S.; Methodology, A.T., R.S. and R.A.; Software, R.M.K.; Validation, R.S.; Formal analysis, R.A.; Resources, R.M.K.; Data curation, R.A.; Writing—original draft, R.A.; Writing—review & editing, A.T. and R.M.K.; Visualization, R.M.K.; Supervision, R.S.; Project administration, A.T. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no specific external funding.
Data Availability Statement
No new data were created or analyzed in this study. Data sharing is not applicable to this article.
Acknowledgments
Asifa Tassaddiq would like to thank the Deanship of Scientific Research at Majmaah University for supporting this work under Project Number No. ICR-2023-785. The authors are also thankful to the worthy reviewers and editors for their useful and valuable suggestions for improving this paper, which led to a better presentation.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Gel’fand, I.M.; Shilov, G.E. Generalized Functions: Properties and Operations; Academic Press: New York, NY, USA, 1969; Volumes I–V. [Google Scholar]
- Lebedev, N.N. Special Functions and Their Applications; Prentice Hall: Englewood Cliffs, NJ, USA, 1965. [Google Scholar]
- Chaudhry, M.A.; Qadir, A. Fourier transform and distributional representation of gamma function leading to some new identities. Int. J. Math. Math. Sci. 2004, 37, 2091–2096. [Google Scholar] [CrossRef]
- Tassaddiq, A.; Srivastava, R.; Kasmani, R.M.; Almutairi, D.K. Distributional Representation of a Special Fox–Wright Function with an Application. Mathematics 2023, 11, 3372. [Google Scholar] [CrossRef]
- Zamanian, A.H. Distribution Theory and Transform Analysis; Dover Publications: New York, NY, USA, 1987. [Google Scholar]
- Osler, T.J. Taylor’s series generalized for fractional derivatives and applications. SIAM J. Math. Anal. 1971, 2, 37–47. [Google Scholar] [CrossRef]
- Makris, N. The Fractional Derivative of the Dirac Delta Function and Additional Results on the Inverse Laplace Transform of Irrational Functions. Fractal Fract. 2021, 5, 18. [Google Scholar] [CrossRef]
- Tassaddiq, A.; Cattani, C. Fractional distributional representation of gamma function and the generalized kinetic equation. Alex. Eng. J. 2023, 82, 577–586. [Google Scholar] [CrossRef]
- Li, C.K.; Li, C.P. Remarks on fractional derivatives of distributions. Tbil. Math. J. 2017, 10, 1–18. [Google Scholar] [CrossRef]
- Li, M. Integral Representation of Fractional Derivative of Delta Function. Fractal Fract. 2020, 4, 47. [Google Scholar] [CrossRef]
- Feng, Z.; Ye, L.; Zhang, Y. On the fractional derivative of Dirac delta function and its application. Adv. Math. Phys. 2020, 7, 1842945. [Google Scholar] [CrossRef]
- Kiryakova, V. Unified Approach to Fractional Calculus Images of Special Functions—A Survey. Mathematics 2020, 8, 2260. [Google Scholar] [CrossRef]
- Tassaddiq, A.; Srivastava, R. New Results Involving Riemann Zeta Function Using Its Distributional Representation. Fractal Fract. 2022, 6, 254. [Google Scholar] [CrossRef]
- Tassaddiq, A.; Srivastava, R. New Results Involving the Generalized Krätzel Function with Application to the Fractional Kinetic Equations. Mathematics 2023, 11, 1060. [Google Scholar] [CrossRef]
- Srivastava, H.M. Some Parametric and Argument Variations of the Operators of Fractional Calculus and Related Special Functions and Integral Transformations. J. Nonlinear Convex Anal. 2021, 22, 1501–1520. [Google Scholar]
- Srivastava, H.M.; Tomovski, Ž. Fractional calculus with an integral operator containing a generalized Mittag–Leffler function in the kernel. Appl. Math. Comput. 2009, 211, 198–210. [Google Scholar] [CrossRef]
- Kilbas, A.A.; Saigo, M. H-Transforms: Theory and Applications; Chapman & Hall/CRC: Boca Raton, FL, USA; London, UK; New York, NY, USA, 2004. [Google Scholar]
- Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations, 1st ed.; Elsevier/North-Holland: Amsterdam, The Netherlands, 2006; ISBN 9780444518323. [Google Scholar]
- Srivastava, H.M. An Introductory Overview of Fractional-Calculus Operators Based Upon the Fox-Wright and Related Higher Transcendental Functions. J. Adv. Eng. Comput. 2021, 5, 135–166. [Google Scholar] [CrossRef]
- Mittag-Leffler, M.G. Sur la nouvelle fonction E(x). C. R. Acad. Sci. Paris 1903, 137, 554–558. [Google Scholar]
- Garrappa, R.; Kaslik, E.; Popolizio, M. Evaluation of Fractional Integrals and Derivatives of Elementary Functions: Overview and Tutorial. Mathematics 2019, 7, 407. [Google Scholar] [CrossRef]
- Srivastava, H.M. A Survey of Some Recent Developments on Higher Transcendental Functions of Analytic Number Theory and Applied Mathematics. Symmetry 2021, 13, 2294. [Google Scholar] [CrossRef]
- Srivastava, H.M.; Fernandez, A.; Baleanu, D. Some New Fractional-Calculus Connections between Mittag–Leffler Functions. Mathematics 2019, 7, 485. [Google Scholar] [CrossRef]
- Tomovski, Ž.; Hilfer, R.; Srivastava, H.M. Fractional and operational calculus with generalized fractional derivative operators and Mittag-Leffler type functions. Integral Transform. Spec. Funct. 2010, 21, 797–814. [Google Scholar] [CrossRef]
- Haubold, H.J.; Mathai, A.M. The fractional kinetic equation and thermonuclear functions. Astrophys. Space Sci. 2000, 273, 53–63. [Google Scholar] [CrossRef]
- Saxena, R.K.; Mathai, A.M.; Haubold, H.J. Unified fractional kinetic equations and a fractional diffusion equation. Astrophys. Space Sci. 2004, 290, 299–310. [Google Scholar] [CrossRef]
- Hilfer, R.; Anton, L. Fractional master equations and fractal time random walks. Phys. Rev. E 1995, 51, R848–R851. [Google Scholar] [CrossRef] [PubMed]
- Kumar, D.; Choi, J.; Srivastava, H.M. Solution of a general family of kinetic equations associated with the Mittag-Leffler function. Nonlinear Funct. Anal. Appl. 2018, 23, 455–471. [Google Scholar]
- Wongsantisuk, P.; Ntouyas, S.K.; Passary, D.; Tariboon, J. Hilfer Fractional Quantum Derivative and Boundary Value Problems. Mathematics 2022, 10, 878. [Google Scholar] [CrossRef]
- Srivastava, H.M. Fractional-Order Derivatives and Integrals: Introductory Overview and Recent Developments. Kyungpook Math. J. 2020, 60, 73–116. [Google Scholar]
- Niu, H.; Chen, Y.; West, B.J. Why Do Big Data and Machine Learning Entail the Fractional Dynamics? Entropy 2021, 23, 297. [Google Scholar] [CrossRef]
- Tassaddiq, A.; Qadir, A. Fourier transform and distributional representation of the generalized gamma function with some applications. Appl. Math. Comput. 2011, 218, 1084–1088. [Google Scholar] [CrossRef]
- Tassaddiq, A.; Alruban, A. On Modifications of the Gamma Function by Using Mittag-Leffler Function. J. Math. 2021, 2021, 9991762. [Google Scholar] [CrossRef]
- Al-Lail, M.H. A Fourier Transform Representation of the Generalized Hypergeometric Functions with Applications to the Confluent and Gauss Hypergeometric Functions. Ph.D. Thesis, KFUPM, Dhahran, Saudi Arabia, 2015. [Google Scholar]
- Chahma, Y.; Chen, H. Infinitely many high energy solutions for fourth-order elliptic equations with p-Laplacian in bounded domain. J. Math. Comput. SCI-JM 2023, 32, 109–121. [Google Scholar] [CrossRef]
- Abdullah, T.Q.S.; Xiao, H.; Huang, G.; Al-Sadi, W. Stability and existence results for a system of fractional differential equations via Atangana-Baleanu derivative with -Laplacian operator. J. Math. Comput. SCI-JM 2022, 27, 184–195. [Google Scholar] [CrossRef]
- Nikan, O.; Molavi-Arabshai, S.M.; Jafari, H. Numerical simulation of the nonlinear fractional regularized long-wave model arising in ion acoustic plasma waves. Discret. Contin. Dyn. Syst. S 2021, 14, 3685–3701. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 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/).