Skip to Main Content
Purpose

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.

Design/methodology/approach

The methods adopted in establishing the results are theoretical in nature.

Findings

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.

Originality/value

The results obtained in this paper are new and have the potential of inspiring further research on the subject.

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

(1)

for s > 0 and z  (−, ) whilst the lower incomplete gamma function is defined as

(2)

for z > 0.

The classical exponential integral function is defined by any of the following equivalent definitions [1, p. 228]

(3)
(4)
(5)
(6)

for z > 0 where the function Ei(z) is defined as

(7)

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].

(8)
(9)
(10)

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

(11)

where λ > 0 and R(z)>0. 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.

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.

Definition 2.1.

For λ > 0, the author defines the upper incomplete degenerate gamma function as

(12)
where s > 0 and z  (−, ) and the lower incomplete degenerate gamma function as
(13)
where z > 0. Clearly,
(14)
for z > 0 and as λ → 0, (12) and (13) respectively return to (1) and (2).
Definition 2.2.

The generalized degenerate exponential integral function is defined as

(15)
(16)
(17)
(18)
for z > 0, λ > 0 and k  (−, ), and satisfies the commutative diagram

By this definition, the following identities are easily deduced.

(19)
(20)

It follows from (15) that

(21)

Also, differentiating (15) for r number of times gives

(22)
(23)

and in particular,

(24)

Additionally, it is deduced from (15) that

(25)

and for k = 0, we obtain

(26)

Moreover, it follows from (22) that Eλ,k(z) is completely monotonic [17] and hence log-convex and decreasing.

Theorem 2.3.

The following identities are satisfied forz > 0,λ > 0 andk > 0.

(27)
(28)
Proof.

The author employs the integration by parts technique. Let u=(λ+1)ztλ such that du=zln(λ+1)λ(λ+1)ztλdt and dv = tk−1 such that v=tkk. Then

which gives (27). The identity (28) follows directly from (27) by applying (24). □
Theorem 2.4.

The double inequality

(29)
holds forz > 0,λ > 0 andk ≥ 1.
Proof.

By using (25) and (27), the author obtains

which simplifies to give the left-hand side of (29). Likewise, (25) and (27), respectively imply that
(30)
and
(31)

Now (30) and (31) imply that

which simplifies to give the right-hand side of (29).□
Theorem 2.5.

The inequality

(32)
holds forz > 0,λ > 0 andk ≥ 1.
Proof.

By using (27) and (30), the author obtains

which yields the desired result.□
Theorem 2.6.

Letr > 0,s > 0,a1 > 1 and1a1+1a2=1. Then the inequality

(33)
holds forx > 0,z > 0 andλ > 0.
Proof.

By using Holder’s integral inequality, the author obtains

which completes the proof.□
Remark 2.7.

Let a1 = a2 = 2, x = z, r = k + 1 and s = k − 1. Then inequality (33) reduces to the Turan-type inequality

(34)

If a1 = a2 = 2 and x = z, then (33) reduces to

(35)
Theorem 2.8.

Fork > 0 andλ > 0, the function

(36)
is increasing on (0, ).
Proof.

Let z  (0, ). Then by using the (24) and (34), the author obtains

which completes the proof.□

The following Lemma 2.9 is a generalization of Lemma 2.1 of [9].

Lemma 2.9.

Fork ≥ 1 andλ > 0, the functionP(z)=zEλ,k(z)Eλ,k2(z)is strictly decreasing on (0, ).

Proof.

By using (18) along with the decreasing property of Eλ,k(z), we have

which shows that
(37)

Then

and by differentiating and making use of (24), (25) and (37), we obtain

Thus, P(z)<0 which completes the proof.□

Theorem 2.10.

Forz > 0,k ≥ 1 andλ > 0, the inequality

(38)
holds, and with equality ifz = 1.
Proof.

The case for z = 1 is easy to see. So let Q(z)=2Eλ,k(z)Eλ,k(1/z)Eλ,k(z)+Eλ,k(1/z) for z  (0, 1) ∪ (1, ). Then direct computations results to

which implies that
and this further implies that

Taking into account of Lemma 2.9, the author concludes that K(z)>0 if z  (0, 1) and K(z)<0 if z  (1, ). Accordingly, Q(z) is increasing on (0, 1) and decreasing on (1, ). Therefore, for each of the cases, we have

yielding the desired result.□

Remark 2.11.

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.

Remark 2.12.

The following identities hold.

(39)
(40)
(41)
(42)
(43)

Theorem 2.13 and Theorem 2.14 below, respectively generalizes Lemma 1 and Lemma 2 of [8].

Theorem 2.13.

Forz > 0 andλ > 0, the inequality

(44)
holds, with equality whenz = 1.
Proof.

The case for z = 1 is easy to see. So let U(s)=Eλ(z)+Eλ(1/z) 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 U(z) is decreasing on (0, 1) and increasing on (1, ). For each of the cases, the author has

which completes the proof.□

Theorem 2.14.

Forz > 0 andλ > 0, the inequality

(45)
holds, with equality whenz = 1.
Proof.

The case for z = 1 is easy to see. Hence let W(s)=Eλ(z)Eλ(1/z) for z  (0, 1) ∪ (1, ). Then

which implies that

Let g(z)=(λ+1)zλEλ(z). 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, W(z) is increasing on (0, 1) and decreasing on (1, ). For each of the cases, the author has

which completes the proof.□

Theorem 2.15.

Letλ > 0,u > 0,v > 0 such thatuv. Then

(46)
holds.
Proof.

With no loss of generality, let u < v. Then by the classical mean value theorem, there exist μ  (u, v) such that

Since Eλ(y) is increasing for y > 0, it follows that

and by using (39), the author obtains the inequality (46).□

Remark 2.16.

Upon letting u = z and v = z + 1 in (46), the author obtains

(47)

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.

1.
Abramowitz
M
,
Stegun
AI
.
Handbook of mathematical functions with formulas, graphic and mathematical tables
.
New York
:
Dover Publications
;
1965
.
2.
Olver
FWJ
,
Lozier
DW
,
Boisvert
RF
,
Clark
CW
(Eds).
NIST handbook of mathematical functions
.
London
:
Cambridge University Press
;
2010
.
3
Barry
DA
,
Parlange
J-Y
,
Li
L
.
Approximation for the exponential integral (Theis well function)
.
J Hydrol
.
2000
;
227
:
287
-
291
.
4.
Bhandari
PK
,
Bissu
SK
.
On some inequalities involving Turan-type inequalities
.
Cogent Math
.
2016
;
3
(
1
): 1130678.
5
Chiccoli
C
,
Lorenzutta
S
,
Maino
G
.
Recent results for generalized exponential integrals
.
Computers Math Applic
.
1990
;
19
(
5
):
21
-
29
.
6
Conway
JT
.
Indefinite integrals involving the exponential integral function
.
Integral Transforms Spec Funct
.
2022
;
33
(
1
):
1
-
15
. doi: .
7
Lin
S-D
,
Chao
Y-S
,
Srivastava
HM
.
Some expansions of the exponential integral in series of the incomplete Gamma function
.
Appl Math Lett
.
2005
;
18
:
513
-
520
.
8
Nantomah
K
.
A harmonic mean inequality for the exponential integral function
.
Int J Appl Math
.
2021
;
34
(
4
):
647
-
652
.
9
Nantomah
K
.
A harmonic mean inequality concerning the generalized exponential integral function
.
Adv Math Sci J
.
2021
;
10
(
9
):
3227
-
3231
.
10
Nantomah
K
,
Merovci
F
,
Nasiru
S
.
A generalization of the exponential integral and some associated inequalities
.
Honam Math J
.
2017
;
39
(
1
):
49
-
59
.
11
Salem
A
.
A q-analogue of the exponential integral
.
Afr Mat
.
2013
;
24
:
117
-
125
.
12
Sroysang
B
.
On the n-th derivative of the exponential integral functions
.
Commun Math Appl
.
2013
;
4
(
2
):
141
-
144
.
13
Sulaiman
WT
.
Turan inequalities for the exponential integral functions
.
Commun Optim Theory
.
2012
;
1
(
1
):
35
-
41
.
14
Yakubu
A
,
Nantomah
K
,
Iddrisu
MM
.
A p-analogue of the exponential integral function and some properties
.
Adv Inequal Appl
.
2020
;
2020
:
1
-
9
.
15
Zenku
T
,
Jolevska-Tuneska
B
,
Tuneski
N
.
Results on the exponential integral
.
Sarajevo J Math
.
2017
;
13
(
1
):
71
-
80
.
16.
Kim
Y
,
Kim
BM
,
Jang
L-C
,
Kwon
J
.
A note on modified degenerate gamma and laplace transformation
.
Symmetry
.
2018
;
10
(
471
):
1
-
8
.
17
Miller
KS
,
Samko
SG
.
Completely monotonic functions
.
Integr Transf and Spec Funct
.
2001
;
12
(
4
):
1
-
15
.
Published in the Arab Journal of Mathematical Sciences. Published by Emerald Publishing Limited. This article is published under the Creative Commons Attribution (CC BY 4.0) license. Anyone may reproduce, distribute, translate and create derivative works of this article (for both commercial and non-commercial purposes), subject to full attribution to the original publication and authors. The full terms of this license may be seen at http://creativecommons.org/licences/by/4.0/legalcode

or Create an Account

Close Modal
Close Modal