In this paper, the author introduces a degenerate exponential integral function and further studies some of its analytical properties. The new function is a generalization of the classical exponential integral function and the properties established are analogous to those satisfied by the classical function.
The methods adopted in establishing the results are theoretical in nature.
A degenerate exponential integral function which is a generalization of the classical exponential integral function has been introduced and its properties investigated. Upon taking some limits, the established results reduce to results involving the classical exponential integral function.
The results obtained in this paper are new and have the potential of inspiring further research on the subject.
1. Introduction
The gamma function, also known as the Euler’s integral of second kind, is one of the most studied special functions. This is partly because of its numerous applications and its connection with other special functions. It is usually defined as
for z > 0. The upper incomplete gamma function is defined as
for s > 0 and z (−∞, ∞) whilst the lower incomplete gamma function is defined as
for z > 0.
The classical exponential integral function is defined by any of the following equivalent definitions [1, p. 228]
for z > 0 where the function Ei(z) is defined as
for z ≠ 0. For z > 0, Ei(z) is interpreted as the Cauchy’s principal value of the integral (7) due to the singularity at zero. In some texts, Ei(z) is what is referred to as the exponential integral function. A generalized form of the function is defined as [2].
for z > 0 and k (−∞, ∞). In some texts, the function E1(z) is referred to as the Theis' well function [3]. The exponential integral function has many applications in areas such as transient groundwater flow, hydrological problems, mathematical physics, engineering, quantum mechanics and applied mathematics. Due to its practical importance, it has been studied in diverse ways and some generalizations given. For example see Refs. [3–15].
Among other things, Kim et al. [16] defined the modified degenerate gamma function as
where λ > 0 and . Motivated by this definition, the goal of this paper is to introduce a degenerate exponetial integral function and further study some of its analytical properties. This new function, which is a generalization of the classical exponential integral function may also be called, λ-analogue of the exponential integral function.
2. Generalized degenerate exponential integral function
In this section, the author defines the degenerate exponential function and further studies some of its properties. The author begins with the following auxiliary definition.
For λ > 0, the author defines the upper incomplete degenerate gamma function as
The generalized degenerate exponential integral function is defined as
By this definition, the following identities are easily deduced.
It follows from (15) that
Also, differentiating (15) for r number of times gives
and in particular,
Additionally, it is deduced from (15) that
and for k = 0, we obtain
Moreover, it follows from (22) that Eλ,k(z) is completely monotonic [17] and hence log-convex and decreasing.
The following identities are satisfied for z > 0, λ > 0 and k > 0.
The double inequality
By using (25) and (27), the author obtains
Now (30) and (31) imply that
The inequality
Let r > 0, s > 0, a1 > 1 and . Then the inequality
By using Holder’s integral inequality, the author obtains
For k > 0 and λ > 0, the function
For k ≥ 1 and λ > 0, the function is strictly decreasing on (0, ∞).
By using (18) along with the decreasing property of Eλ,k(z), we have
Then
Thus, which completes the proof.□
For z > 0, k ≥ 1 and λ > 0, the inequality
The case for z = 1 is easy to see. So let for z (0, 1) ∪ (1, ∞). Then direct computations results to
Taking into account of Lemma 2.9, the author concludes that if z (0, 1) and if z (1, ∞). Accordingly, is increasing on (0, 1) and decreasing on (1, ∞). Therefore, for each of the cases, we have
yielding the desired result.□
Theorem 2.10 provides a far-reaching generalization of the results of the papers [8, 9].
In what follows, the author provides some results for the particular case where k = 1.
The following identities hold.
Theorem 2.13 and Theorem 2.14 below, respectively generalizes Lemma 1 and Lemma 2 of [8].
For z > 0 and λ > 0, the inequality
The case for z = 1 is easy to see. So let for z (0, 1) ∪ (1, ∞). Then by differentiating and applying (39), the author obtains
If z (0, 1) then f(z) < 0 and if z (1, ∞) then f(z) > 0. It follows that is decreasing on (0, 1) and increasing on (1, ∞). For each of the cases, the author has
which completes the proof.□
For z > 0 and λ > 0, the inequality
The case for z = 1 is easy to see. Hence let for z (0, 1) ∪ (1, ∞). Then
Let . Then by using (26), the authors arrives at
which implies that g(z) is decreasing on (0, ∞). If z (0, 1) then β(z) > 0 and if z (1, ∞) then β(z) < 0. It then follows that, is increasing on (0, 1) and decreasing on (1, ∞). For each of the cases, the author has
which completes the proof.□
Let λ > 0, u > 0, v > 0 such that u ≠ v. Then
With no loss of generality, let u < v. Then by the classical mean value theorem, there exist μ (u, v) such that
Since is increasing for y > 0, it follows that
The author wishes to thank the anonymous reviewers for carefully reading the paper and for their comments and suggestions, which helped to improve the quality of this paper.

