Abstract
In this paper, our aim is to consider the new class of log-convex fuzzy-interval-valued function known as log-s-convex fuzzy-interval-valued functions (log-s-convex fuzzy-IVFs). By this concept, we have introduced Hermite–Hadamard inequalities (HH-inequalities) by means of fuzzy order relation. This fuzzy order relation is defined level-wise through Kulisch–Miranker order relation defined on interval space. Moreover, some new Hermite–Hadamard–Fejér inequalities (HH–Fejér-inequalities) and Jensen’s inequalities via log-s-convex fuzzy-IVFs are also established and verified with the support of useful examples. Some special cases are also discussed which can be viewed as applications of fuzzy-interval HH-inequalities. The concepts and approaches of this paper may be the starting point for further research in this area.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In last few decades much attention has been given in studying and distinguishing diverse directions of classical idea of convexity. Recently, many extensions and generalizations of convex functions have been established. For more useful details, see [1,2,3] and the references are therein. In classical approach, a real valued function \({{\mathcal{F}}}:K \to {\mathbb{R}}\) is called convex if
for all \(x,y \in K,\tau \in \left[ {0, 1} \right].\)
The concept of convexity with integral problem is an interesting area for research. Therefore, many inequalities have been introduced as applications of convex functions. Among those, the Hermite–Hadamard inequality (\({\mathrm{HH}}\)-inequality) is an interesting outcome in convex analysis. The HH-inequality [4, 5] for convex function \({{\mathcal{F}}}:K \to {\mathbb{R}}^{ + }\) on an interval \(K = \left[ {u, \vartheta } \right]\)
for all \( u, \vartheta \in K.\)
It is well known that log-convex functions have serious importance in convex theory because using these functions we can derive more accurate inequalities as compared to convex functions. Recently, some of the authors discussed different classes of log-convex and log-nonconvex functions, for example \({{h}}\)-convexity [6], s-logarithmically convexity [7], and log-preinvexity [8]. Specifically, an important special class of convex functions is the log-convex functions proposed by Pečarić et al. [9]. A step forward, Noor et al. [10] also presented the class of log-\({{h}}\)-convex functions and constructed the following HH-inequality for log-\({{h}}\)-convex functions:
Let \({{\mathcal{F}}}:K \to {\mathbb{R}}^{ + }\) be a log-\({{h}}\)-convex function on a \({{h}}\) convex set \(K\) with \({{h}}\)\(:\left[ {0, 1} \right] \subseteq K \to {\mathbb{R}}^{ + }\) such that \(\not\equiv 0\) and \(u, \vartheta \in K\) with \(u \le \vartheta \). Then,
If \({\mathcal{T}}\) is concave then, inequality (3) is reversed. If \({{h}}\left(\tau \right)={\tau }^{s}\) with \(s\in (0, 1)\) then, inequality (3) reduces for log-\(s\)-With the assistance of inequality (3), some classical inequalities can be obtained through special log-convex function. In addition, these inequalities have a very significant role for log-convex functions in both pure and applied mathematics.
Jensen’s inequality [11] is one of these inequalities for convex functions, which can be stated as follows.
Let \(\omega_{j} \in \left[ {0, 1} \right]\), \(u_{j} \in \left[ {u,\vartheta } \right],\) \(\left( {j = 1,2,3, \ldots k,k \ge 2} \right)\) and \({{\mathcal{T}}}\) be a convex function then,
with \(\sum_{j = 1}^{k} {\omega_{j} } = 1.\) If \({{\mathcal{T}}}\) is concave then, inequality (4) is reversed.
Moreover, with the help of this concept, some Jensen’s and HH-inequalities are defined [12,13,14,15,16].
On the other hand, the concept of interval analysis was proposed and investigated by Moore [17] and Kulish and Miranker [18]. It is a discipline in which an uncertain variable is represented by an interval of real numbers. Inspired by the above literature, in 2018, Guo et al. [19] introduced log-\({{h}}\)-convex interval-valued functions (in short, log-\({{h}}\)-convex-IVF) and prove the HH-inequality for log-\({{h}}\)-convex IVFs as follows:
Let \({\mathcal{F}}:\left[{u},\vartheta \right]\subset {\mathbb{R}}\to {{\mathcal{K}}_{C}}^{+}\) be a log-\({{h}}\)-convex-IVF given by \({\mathcal{F}}\left(x\right)=\left[{{\mathcal{F}}}_{*}\left(x\right), {{\mathcal{F}}}^{*}\left(x\right)\right]\) for all \(x\in \left[{u},\vartheta \right]\), where \({{\mathcal{F}}}_{*}\left(x\right)\) is a log-\({{h}}\)-convex function and \({{\mathcal{F}}}^{*}\left(x\right)\) is a log-\({{h}}\)-concave function. If \({\mathcal{F}}\) is Riemann integrable, then
We urge readers to make further analysis on literature about applications and properties of generalized convex functions and HH-integral inequalities [20,21,22,23,24,25] and the references therein.
In [26], the enormous research work fuzzy set and system has been dedicated on development of different fields and it plays an important role in the study of a wide class problems arising in pure mathematics and applied sciences including operation research, computer science, managements sciences, artificial intelligence, control engineering and decision sciences. Similarly, the notions of convexity and non-convexity play a vital role in optimization under fuzzy domain because during characterization of the optimality condition of convexity, we obtain fuzzy variational inequalities so variational inequality theory and fuzzy complementary problem theory established powerful mechanism of the mathematical problems and they have a friendly relationship. Many authors contributed to this fascinating and interesting field. Besides, Nanda and Kar [27], and Chang [28] discussed the idea of convex fuzzy mapping and find its optimality condition with the support of fuzzy variational inequality. Generalization and extension of fuzzy convexity play a vital and significant implementation in diverse directions. So let’s note that, one of the most considered classes of nonconvex fuzzy mapping is preinvex fuzzy mapping. Noor [29] introduced this idea and proved some results that distinguish the fuzzy optimality condition of differentiable fuzzy preinvex mappings by fuzzy variational-like inequality. We refer to the readers for further analysis of literature on the applications and properties of variational-like inequalities and generalized convex fuzzy mappings [30,31,32,33,34,35] and the references therein. The fuzzy mappings are fuzzy-interval valued functions (fuzzy-IVFs, in short). There are some integrals to deal with fuzzy-IVFs, where the integrands are fuzzy-IVFs. For instance, Osuna-Gómez et al. [36], and Costa [37] constructed Jensen’s integral inequality for fuzzy-IVF. Using the same approach Costa and Floures presented Minkowski and Beckenbach’s inequalities, where the integrands are fuzzy-IVFs. Motivated by [19, 37,38,39] and especially by Costa and Roman-Flores [40] because they established the relation between elements of fuzzy-interval space and interval space, and introducing level-wise fuzzy order relation on fuzzy-interval space through Kulisch–Miranker order relation defined on interval space. Using this concept on fuzzy-interval space, we generalize integral inequalities (3), (4) and (5) by constructing fuzzy-interval integral inequality for convex fuzzy-IVF, where the integrands are convex fuzzy-IVF.
Inspired by the ongoing research work, we have considered the class of generalized log-convex fuzzy-IVFs is known as log-\(s\)-convex fuzzy-IVFs. Using this class, we obtain fuzzy-interval HH-inequalities and verify these inequalities with the support of examples. Moreover, some Jensen’s inequalities are also introduced via log-\(s\)-convex fuzzy-IVFs.
Preliminaries
Let \({\mathcal{K}}_{{C}}\) be the collection of all closed and bounded intervals of \({\mathbb{R}}\) that is \({\mathcal{K}}_{{{C}}} = \left\{ {\left[ {\omega_{*} , \omega^{*} } \right]:\omega_{*} , \omega^{*} \in {\mathbb{R}}{\text{ and }}\omega_{*} \le \omega^{*} } \right\}.\) If \(\omega_{*} \ge 0\), then \(\left[ {\omega_{*} , \omega^{*} } \right]\) is called positive interval. The set of all positive interval is denoted by \({\mathcal{K}}_{{{C}}}^{ + }\) and defined as \({\mathcal{K}}_{{{C}}}^{ + } = \left\{ {\left[ {\omega_{*} , \omega^{*} } \right]:\left[ {\omega_{*} , \omega^{*} } \right] \in {\mathcal{K}}_{{{C}}} {\text{ and }}\omega_{*} \ge 0} \right\}.\)
We now discuss some properties of intervals under the arithmetic operations addition, multiplication and scalar multiplication. If \(\left[ {\mu_{*} , \mu^{*} } \right], \left[ {\omega_{*} , \omega^{*} } \right] \in {\mathcal{K}}_{{{C}}}\) and \(\rho \in {\mathbb{R}}\), then arithmetic operations are defined by
For \(\left[ {\mu_{*} , \mu^{*} } \right], \left[ {\omega_{*} , \omega^{*} } \right] \in {\mathcal{K}}_{{{C}}} ,\) the inclusion “\(\subseteq\)” is defined by
Remark 2.1
The relation “\(\le_{I}\)” defined on \({\mathcal{K}}_{{{C}}}\) by
for all \(\left[ {\mu_{*} , \mu^{*} } \right], \left[ {\omega_{*} , \omega^{*} } \right] \in {\mathcal{K}}_{{{C}}} ,\) it is an order relation, see [17]. For given \(\left[ {\mu_{*} , \mu^{*} } \right], \left[ {\omega_{*} , \omega^{*} } \right] \in {\mathcal{K}}_{{{C}}} ,\) we say that \(\left[ {\mu_{*} , \mu^{*} } \right] \le_{I} \left[ {\omega_{*} , \omega^{*} } \right]\) if and only if \(\mu_{*} \le \omega_{*} , \mu^{*} \le \omega^{*}\) or \(\mu_{*} \le \omega_{*} , \mu^{*} < \omega^{*}\).
The concept of Riemann integral for IVF first introduced by Moore [16] is defined as follow:
Theorem 2.2
[16] If \({{\mathcal{F}}}:\left[ {c,d} \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{{{C}}}\) is an IVF on such that \(\left[ {{{\mathcal{F}}}_{*} , {{\mathcal{F}}}^{*} } \right].\) Then \({{\mathcal{F}}}\) is Riemann integrable over\(:\left[ {c,d} \right]\) if and only if, \({{\mathcal{F}}}_{*}\) and \({{\mathcal{F}}}^{*}\) both are Riemann integrable over\(:\left[ {c,d} \right]\) such that
The collection of all Riemann integrable real valued functions and Riemann integrable IVFs is denoted by \({\mathcal{R}}_{{\left[ {c, d} \right]}}\) and \({\mathcal{I}\mathcal{R}}_{{\left[ {c, d} \right]}} ,\) respectively.
Let \({\mathbb{R}}\) be the set of real numbers. A fuzzy subset set \({\mathcal{A}}\) of \({\mathbb{R}}\) is distinguished by a function \(\varphi :{\mathbb{R}} \to \left[ {0,1} \right]\) called the membership function. In this study this depiction is approved. Moreover, the collection of all fuzzy subsets of \({\mathbb{R}}\) is denoted by \({\mathbb{F}}\left( {\mathbb{R}} \right).\)
A real fuzzy-interval \(\varphi\) is a fuzzy set in \({\mathbb{R}}\) with the following properties:
-
(1)
\(\varphi\) is normal i.e. there exists \(x \in {\mathbb{R}}\) such that \(\varphi \left( x \right) = 1;\)
-
(2)
\(\varphi\) is upper semi continuous i.e., for given \(x \in {\mathbb{R}},\) for every \(x \in {\mathbb{R}}\) there exist \(\varepsilon > 0\) there exist \(\delta > 0\) such that \(\varphi \left( x \right) - \varphi \left( y \right) < \varepsilon\) for all \(y \in {\mathbb{R}}\) with \(\left| {x - y} \right| < \delta .\)
-
(3)
\(\varphi\) is fuzzy convex i.e., \(\varphi \left( {\left( {1 - \tau } \right)x + \tau y} \right) \ge \min \left( {\varphi \left( x \right), \varphi \left( y \right)} \right),\) \(\forall\)\(x,y \in {\mathbb{R}}\) and \(\tau \in \left[ {0, 1} \right]\);
-
(4)
\(\varphi\) is compactly supported i.e., \(cl\left\{ {x \in {\mathbb{R}}\left| { \varphi \left( x \right)} \right\rangle 0} \right\}\) is compact.
The collection of all real fuzzy-intervals is denoted by \({\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\).
Since \({\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) denotes the set of all real fuzzy-intervals and let \(\varphi \in \user2{ }{\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) be real fuzzy-interval, if and only if, \(\alpha\)-levels \(\left[ \varphi \right]^{\alpha }\) is a nonempty compact convex set of \( {\mathbb{R}}\). This is represented by
from these definitions, we have
where
Thus a real fuzzy-interval \(\varphi\) can be identified by parameterized triples
This leads the following characterization of a real fuzzy-interval in terms of the two end point functions \(\varphi_{*} \left( \alpha \right)\) and \(\varphi^{*} \left( \alpha \right).\)
Theorem 2.3
[31, 38] Suppose that \(\varphi_{*} \left( \alpha \right):\left[ {0,1} \right] \to {\mathbb{R}}\) and \(\varphi^{*} \left( \alpha \right):\left[ {0,1} \right] \to {\mathbb{R}}\) satisfy the following conditions:
-
(1)
\(\varphi_{*} \left( \alpha \right)\) is a non-decreasing function.
-
(2)
\(\varphi^{*} \left( \alpha \right)\) is a non-increasing function.
-
(3)
\(\varphi_{*} \left( 1 \right) \le \varphi^{*} \left( 1 \right).\)
-
(4)
\(\varphi_{*} \left( \alpha \right)\) and \(\varphi^{*} \left( \alpha \right)\) are bounded and left continuous on \(\left( {0, 1} \right]\) and right continuous at \(\alpha = 0.\)
Moreover, if \(\varphi :{\mathbb{R}} \to \left[ {0,1} \right]\) is a real fuzzy-interval given by \(\left[ {\varphi_{*} \left( \alpha \right), \varphi^{*} \left( \alpha \right)} \right],\) then function \(\varphi_{*} \left( \alpha \right)\) and \(\varphi^{*} \left( \alpha \right)\) find the conditions (1)–(4).
Proposition 2.4
[40] Let \(\varphi ,\phi \in {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\). Then relation “\({ \preccurlyeq }\)” given on \({\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) by
it is partial order relation.
We now discuss some properties of real fuzzy-intervals under addition, scalar multiplication, multiplication and division. If \(\varphi ,\phi \in {\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) and \(\rho \in {\mathbb{R}}\), then arithmetic operations are defined by
For \(\psi \in {\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) such that \(\varphi = \phi \tilde{ + }\psi ,\) then by this result we have existence of Hukuhara difference of \(\varphi\) and \(\phi\), and we say that \(\psi\) is the H-difference of \(\varphi\) and \(\phi ,\) and denoted by \(\varphi \tilde{ - }\phi\). If H-difference exists, then
Remark 2.5
Obviously, \({\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) is closed under addition and nonnegative scaler multiplication and above defined properties on \({\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) are equivalent to those derived from the usual extension principle. Furthermore, for each scalar number \(\rho \in {\mathbb{R}},\)
Definition 2.6
[3] A fuzzy-interval-valued map \( {{\mathcal{F}}}:K \subset {\mathbb{R}} \to {\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) is called fuzzy-IVF. For each \(\alpha \in \left[ {0, 1} \right],\) whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{F}}}_{\alpha } :K \subset {\mathbb{R}} \to {\mathcal{K}}_{{{C}}}\) are given by \({{\mathcal{F}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{F}}}_{*} \left( {x,\alpha } \right), {{\mathcal{F}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in K.\) Here, for each \(\alpha \in \left[ {0, 1} \right],\) the end point real functions \({{\mathcal{F}}}_{*} \left( {.,\alpha } \right), {{\mathcal{F}}}^{*} \left( {.,\alpha } \right):K \to {\mathbb{R}}\) are called lower and upper functions of \({{\mathcal{F}}}\).
Remark 2.7
Let \({{\mathcal{F}}}:K \subset {\mathbb{R}} \to {\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) be a fuzzy-IVF. Then \({{\mathcal{F}}}\left( x \right)\) is said to be continuous at \(x \in K,\) if for each \(\alpha \in \left[ {0, 1} \right],\) both end point functions \({{\mathcal{F}}}_{*} \left( {x,\alpha } \right)\) and \({{\mathcal{F}}}^{*} \left( {x,\alpha } \right)\) are continuous at \(x \in K.\)
From above literature review, following results can be concluded, see [3, 16, 38, 40]:
Definition 2.8
Let \({{\mathcal{F}}}:\left[ {c, d} \right] \subset {\mathbb{R}} \to {\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right)\) is called fuzzy-IVF. The fuzzy integral of \({{\mathcal{F}}}\) over \(\left[ {c, d} \right],\) denoted by \(\left( {FR} \right)\int_{c}^{d} {{{\mathcal{F}}}\left( x \right){\text{d}}x}\), it is defined level-wise by
for all \(\alpha \in \left[ {0, 1} \right],\) where \({\mathcal{R}}_{{\left[ {c, d} \right]}}\) is the collection of end point functions of IVFs. \({{\mathcal{F}}}\) is \(\left( {FR} \right)\)-integrable over \(\left[ {c, d} \right]\) if \(\left( {FR} \right)\int_{c}^{d} {{{\mathcal{F}}}\left( x \right){\text{d}}x \in {\mathbb{F}}_{{{C}}} \left( {\mathbb{R}} \right).}\) Note that, if both end point functions are Lebesgue-integrable, then \({{\mathcal{F}}}\) is fuzzy Aumann-integrable, see [3].
Theorem 2.9
Let \({{\mathcal{F}}}:\left[ {c, d} \right] \subset {\mathbb{R}} \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a fuzzy-IVF, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{F}}}_{\alpha } :\left[ {c, d} \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}\) are given by \({{\mathcal{F}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{F}}}_{*} \left( {x,\alpha } \right), {{\mathcal{F}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {c, d} \right]\) and for all \(\alpha \in \left[ {0, 1} \right].\) Then \({{\mathcal{F}}}\) is \(\left( {FR} \right)\)-integrable over \(\left[ {c, d} \right]\) if and only if, \({{\mathcal{F}}}_{*} \left( {x,\alpha } \right)\) and \({{\mathcal{F}}}^{*} \left( {x,\alpha } \right)\) both are \(R\)-integrable over \(\left[ {c, d} \right]\). Moreover, if \({{\mathcal{F}}}\) is \(\left( {FR} \right)\)-integrable over \(\left[ {c, d} \right],\) then
for all \(\alpha \in \left[ {0, 1} \right].\)
The family of all \(\left( {FR} \right)\)-integrable fuzzy-IVFs and \(R\)-integrable functions over \(\left[ {c, d} \right]\) are denoted by \({ {\mathcal{F}}\mathcal{R}}_{{\left( {\left[ {c, d} \right], \alpha } \right)}}\) and \({ \mathcal{R}}_{{\left( {\left[ {c, d} \right], \alpha } \right)}} ,\) for all \(\alpha \in \left[ {0, 1} \right].\)
Definition 2.10
[7] A function \({{\mathcal{T}}}:K \to {\mathbb{R}}\) is said to be log-\(s\)-convex function in the second sense if
where \({{\mathcal{T}}}\left( x \right) \ge 0, s \in \left[ {0, 1} \right]. \) If (13) is reversed then, \({{\mathcal{T}}}\) is called log-\(s\)-concave in the second sense.
Definition 2.11
[9] A function \({{\mathcal{T}}}:K \to {\mathbb{R}}\) is said to be log-convex function if
where \({{\mathcal{T}}}\left( x \right) \ge 0.\) If (14) is reversed then, \({{\mathcal{T}}}\) is called log-concave.
Definition 2.12
[10] A function \({{\mathcal{T}}}:K \to {\mathbb{R}}\) is said to be log-\(P\)-convex function if
where \({{\mathcal{T}}}\left( x \right) \ge 0.\) If (15) is reversed then, \({{\mathcal{T}}}\) is called log-\(P\)-concave.
Now we define the new class, log-\(s\)-convex fuzzy-IVF in the second by means of fuzzy order relation.
Definition 2.13
Let \(K\) be a convex set. Then fuzzy-IVF \({{\mathcal{T}}}:K \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) is said to be:
-
log-\(s\)-convex fuzzy-IVF in the second sense on \( K\) if
$$ {{\mathcal{T}}}\left( {\tau x + \left( {1 - \tau } \right)y } \right){ \preccurlyeq {\mathcal{T}}}\left( x \right)^{{\tau^{s} }} \tilde{ \times }{{\mathcal{T}}}\left( y \right)^{{\left( {1 - \tau } \right)^{s} }} ,{ } $$(16)for all \( x, y \in K, \tau \in \left[ {0, 1} \right],\) where \({{\mathcal{T}}}\left( x \right){ \succcurlyeq }\tilde{0}, s \in \left[ {0, 1} \right].\)
-
log-\(s\)-concave fuzzy-IVF in the second sense on \(K\) if inequality (16) is reversed.
-
Affine log-\(s\)-convex fuzzy-IVF in the second sense on \( K\) if
$$ {{\mathcal{T}}}\left( {\tau x + \left( {1 - \tau } \right)y } \right) = {{\mathcal{T}}}\left( x \right)^{{\tau^{s} }} \tilde{ \times }{{\mathcal{T}}}\left( y \right)^{{\left( {1 - \tau } \right)^{s} }} , $$(17)for all \( x, y \in K, \tau \in \left[ {0, 1} \right],\) where \({{\mathcal{T}}}\left( x \right){ \succcurlyeq }\tilde{0}, s \in \left[ {0, 1} \right].\)
The following remark discusses the classical log-convex functions as a special cases of log-\(s\)-convex fuzzy-IVF in the second sense.
Remark 2.14
-
(i)
If \(s = 1,\) then log-\(s\)-convex fuzzy-IVF in the second sense becomes log-convex fuzzy-IVF in the second sense, see [27], that is
$$ {{\mathcal{T}}}\left( {\tau x + \left( {1 - \tau } \right)y} \right){ \preccurlyeq {\mathcal{T}}}\left( x \right)^{\tau } \tilde{ \times }{{\mathcal{T}}}\left( y \right)^{1 - \tau } ,\quad \forall x, y \in K, \tau \in \left[ {0, 1} \right]. $$(18) -
(ii)
If \(s \equiv 0,\) then log-\(s\)-convex fuzzy-IVF in the second sense becomes log-\(P\)-convex fuzzy-IVF, that is
$$ {{\mathcal{T}}}\left( {\tau x + \left( {1 - \tau } \right)y} \right){ \preccurlyeq {\mathcal{T}}}\left( x \right)\tilde{ \times }{{\mathcal{T}}}\left( y \right),\quad \forall x, y \in K, \tau \in \left[ {0, 1} \right]. $$(19)
Theorem 2.15
Let \(K\) be a convex set let \({{\mathcal{T}}}:K \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a fuzzy-IVF with \({{\mathcal{T}}}\left( x \right){ \succcurlyeq }\tilde{0}\), whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :K \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + } \subset {\mathcal{K}}_{C}\) are given by
for all \(x \in K\) and for all \(\alpha \in \left( {0, 1} \right]\). Then \({{\mathcal{T}}}\) is log-\(s\)-convex in the second sense on \(K,\) if and only if, for all \(\alpha \in \left( {0, 1} \right],\) \({{\mathcal{T}}}_{*} \left( {x, \alpha } \right)\) and \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right)\) both are log-\(s\)-convex in the second sense\(.\)
Proof
Let \({{\mathcal{T}}}\) is log-\(s\)-convex fuzzy-IVF in the second sense on \(K.\) Then for all \(x,y \in K\) and \(\tau \in \left[ {0, 1} \right],\) we have
Therefore, from inequality (20) and Proposition 2.4, we have
It follows that
and
for each \(\alpha \in \left( {0, 1} \right].\) This shows that \({{\mathcal{T}}}_{*} \left( {x, \alpha } \right)\) and \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right)\) both are log-\(s\)-convex functions in the second sense.
Conversely, suppose that \({{\mathcal{T}}}_{*} \left( {x, \alpha } \right)\) and \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right)\) both are log-\(s\)-convex functions in the second sense. Then from definition and inequality (21), it follows that \({{\mathcal{T}}}\left( x \right)\) is log-\(s\)-convex fuzzy-IVF in the second sense.
Example 2.16
We consider the fuzzy-IVF \({{\mathcal{T}}}:\left[ {1, 4} \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) defined by,
Then, for each \(\alpha \in \left( {0, 1} \right],\) we have \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {\alpha \frac{1}{x}, \left( {2 - \alpha } \right)\frac{1}{x}} \right]\). Since end point functions \({{\mathcal{T}}}_{*} \left( {x,\alpha } \right),\) \({{\mathcal{T}}}^{*} \left( {x,\alpha } \right)\) are log-\(s\)-convex functions in the second sense for each \(\alpha \in \left( {0, 1} \right]\) then, by Theorem 2.15\({{\mathcal{T}}}\left( x \right)\) is log-\(s\)-convex fuzzy-IVF in the second sense.
Corollary 2.17
Let \(K\) be a convex set let \({{\mathcal{T}}}:K \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a fuzzy-IVF with \({{\mathcal{T}}}\left( x \right){ \succcurlyeq }\tilde{0}\), whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :K \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + } \subset {\mathcal{K}}_{C}\) are given by
for all \(x \in K\) and for all \(\alpha \in \left( {0, 1} \right]\). Then \({{\mathcal{T}}}\) is log-convex in the second sense on \(K,\) if and only if, for all \(\alpha \in \left( {0, 1} \right],\) \({{\mathcal{T}}}_{*} \left( {x, \alpha } \right)\) and \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right)\) both are log-convex in the second sense.
Corollary 2.18
Let \(K\) be a convex set let \({{\mathcal{T}}}:K \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a fuzzy-IVF with \({{\mathcal{T}}}\left( x \right){ \succcurlyeq }\tilde{0}\), whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :K \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + } \subset {\mathcal{K}}_{C}\) are given by
for all \(x \in K\) and for all \(\alpha \in \left( {0, 1} \right]\). Then \({{\mathcal{T}}}\) is log-\(P\)-convex on \(K,\) if and only if, for all \(\alpha \in \left( {0, 1} \right],\) \({{\mathcal{T}}}_{*} \left( {x, \alpha } \right)\) and \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right)\) both are log-\(P\)-convex.
Remark 2.19
-
(i)
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\) then log-\(s\)-convex fuzzy-IVF in the second sense becomes log-\(s\)-convex function in the second sense, see [7].
-
(ii)
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\) and \(s = 1\) then log-\(s\)-convex function becomes log-convex function, see [9].
-
(iii)
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\) and \(s = 0\) then log-\(s\)-convex function reduces to the log-\(P\)-convex function, see [10].
Theorem 2.20
Let \(K\) be convex set and \({{\mathcal{T}}}:K \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a fuzzy-IVF, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :K \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + } \subset {\mathcal{K}}_{C}\) are given by
for all \(x \in K\) and for all \(\alpha \in \left( {0, 1} \right]\). Then \({{\mathcal{T}}}\) is log-\(s\)-concave in the second sense on \(K,\) if and only if, for all \(\alpha \in \left( {0, 1} \right],\) \({{\mathcal{T}}}_{*} \left( {x, \alpha } \right)\) and \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right)\) are log-\(s\)-concave functions in the second sense.
Proof
Proof is similar to the proof of Theorem 2.15.
Example 2.21
We consider the fuzzy IVFs \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] = \left[ {0, 8} \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) defined by,
Then, for each \(\alpha \in \left( {0, 1} \right],\) we have
Since end point functions \({{\mathcal{T}}}_{*} \left( {x,\alpha } \right) = \alpha x\), \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right) = \left( {2 - \alpha } \right)x\) are log-\(s\)-concave functions in the second sense, for each \(\alpha \in \left( {0, 1} \right]\) then, by Theorem 2.20\({ {\mathcal{T}}}\left( x \right)\) is log-\(s\)-concave fuzzy-IVF in the second sense.
Main results
This section presents Hermite–Hadamard, Hermite–Hadamard–Fejér and Jensen’s inequalities for log-\(s\)-convex fuzzy-interval-valued functions in the second sense, and verify with the help of useful examples. First of all, we prove Hermite–Hadamard inequalities for log-\(s\)-convex fuzzy-interval-valued functions.
Theorem 3.1
Let \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-\(s\)-convex fuzzy-IVF in the second sense, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). If \({{\mathcal{T}}} \in {{\mathcal{F}}\mathcal{R}}_{{\left( {\left[ {u, \vartheta } \right], \alpha } \right)}}\), then
Proof
Let \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right),\) log-\(s\)-convex fuzzy-IVF in the second sense. Then, by hypothesis, we have
Therefore, for every \(\alpha \in \left( {0, 1} \right]\), we have
Taking logarithms on both sides of (25), then we obtain
Then,
It follows that
which implies that
That is
Thus,
In a similar way as above, we have
Combining (26) and (27), we have
the required result.
Now we discuss some special cases of Theorem 3.1.
Note that the demonstration of proof of Corollary 3.2 is similar to proof of Corollary 3.3. If \(s=1\) then, from Theorem 3.1, we obtain the following result.
Corollary 3.2
Let \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-convex fuzzy-IVF in the second sense, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {{u},\vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {{u},\vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). If \({{\mathcal{T}}} \in { {\mathcal{F}}\mathcal{R}}_{{\left( {\left[ {{u},\vartheta } \right], \alpha } \right)}}\), then
If \(s = 0\) then, from Theorem 3.1, we obtain the following result for log-\(P\)-convex fuzzy-IVF.
Corollary 3.3
Let \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-\(P\)-convex fuzzy-IVF, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). If \({{\mathcal{T}}} \in {{\mathcal{F}}\mathcal{R}}_{{\left( {\left[ {u, \vartheta } \right], \alpha } \right)}}\), then
Proof
Let \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right),\) log-P-convex fuzzy-IVF. Then, by hypothesis, we have
Therefore, for every \(\alpha \in \left( {0, 1} \right]\), we have
Taking logarithms on both sides of (29), then we obtain
Then,
It follows that
which implies that
that is
Thus,
In a similar way as above, we have
Combining (30) and (31), we have
the required result.
Remark 3.4
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\), then Theorem 3.1 reduces to the result for log-\(s\)-convex fuzzy-IVF in the second sense, see [10]:
If \({{\mathcal{T}}}_{*} \left( {u, \alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\) and \(s = 1\), then Theorem 3.1 reduces to the result for log-convex function see [23]:
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\) and \(s = 0\) then Theorem 3.1 reduces to the result for log-\(P\)-convex function, see [10]:
Example 3.5
We consider the fuzzy-IVF \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] = \left[ {1, 4} \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) defined by, \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {\alpha {\rm e}^{{x^{2} }} , \left( {2 - \alpha } \right){\rm e}^{{x^{2} }} } \right]\), then \({{\mathcal{T}}}\left( x \right)\) is log-\(s\)-convex fuzzy-IVF in the second sense. Since, \({{\mathcal{T}}}_{*} \left( {x, \alpha } \right) = \alpha {\rm e}^{{x^{2} }}\) and \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right) = \left( {2 - \alpha } \right){\rm e}^{{x^{2} }}\) then, we have
for all \(\alpha \in \left( {0, 1} \right].\) That means
Similarly, it can be easily show that
for all \(\alpha \in \left( {0, 1} \right],\) such that
From which, it follows that
that is
Hence,
As we know that HH–Fejér inequality is generalized HH–Fejér inequality and with the help of this inequality, we can derive some special inequalities like HH-inequality. Firstly, we obtain the second HH–Fejér inequality for log-s-convex fuzzy-IVF in the second sense.
Theorem 3.6
Let \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-\(s\)-convex fuzzy-IVF in the second sense with \(u < \vartheta\), whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). If \({{\mathcal{T}}} \in { {\mathcal{F}}\mathcal{R}}_{{\left( {\left[ {{u},\vartheta } \right], \alpha } \right)}}\) and \(\Omega :\left[ {{u},\vartheta } \right] \to {\mathbb{R}},\Omega \left( x \right) \ge 0,\) symmetric with respect to \(\frac{u + \vartheta }{2},\) then
Proof
Let \({\mathcal{T}}\) be a log-\(s\)-convex fuzzy-IVF in the second sense. Then, for each \(\alpha \in (0, 1],\) we have
And
After adding (33) and (34), and integrating over \(\left[ {0, 1} \right],\) we get
Since \(\Omega\) is symmetric, then
Since
From (35) and (36), we have
that is
hence
This concludes the proof.
Next, we construct first HH–Fejér inequality for log-\(s\)-convex fuzzy-IVF in the second sense, which generalizes first HH–Fejér inequality for log-\(s\)-convex function in the second sense.
Theorem 3.7
Let \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-\(s\)-convex fuzzy-IVF in the second sense with \(u < \vartheta\), whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). If \({{\mathcal{T}}} \in { {\mathcal{F}}\mathcal{R}}_{{\left( {\left[ {{u},\vartheta } \right], \alpha } \right)}}\) and \(\Omega :\left[ {u, \vartheta } \right] \to {\mathbb{R}}, \Omega \left( x \right) \ge 0,\) symmetric with respect to \(\frac{u + \vartheta }{2},\) and \(\int _{u}^{\vartheta } \Omega \left( x \right){\text{d}}x > 0\), then
Proof
Since \({{\mathcal{T}}}\) is a log-\(s\)-convex in the second sense, then for \(\alpha \in \left( {0, 1} \right]\) we have
By multiplying (38) by \(\Omega \left( {\left( {1 - \tau } \right){u} + \tau \vartheta } \right) = \Omega \left( {\tau {u} + \left( {1 - \tau } \right)\vartheta } \right)\) and integrate it by \(\tau\) over \(\left[ {0, 1} \right],\) we obtain
Since
From which, we have
that is
Then we complete the proof.
Remark 3.8
-
(i)
If \(s = 1\) then inequalities in Theorems 3.6 and 3.7 reduces for log-convex fuzzy-IVFs.
-
(ii)
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {{u},\alpha } \right)\) with \(\alpha = 1\), then Theorems 3.6 and 3.7 reduces to classical first and second HH–Fejér inequality for log-s-convex function in the second sense, see [19].
-
(iii)
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {{u},\alpha } \right)\) with \(\alpha = 1\) and \(s = 1\) then Theorems 3.6 and 3.7 reduces to classical first and second HH–Fejér inequality for log-convex function, see [19].
Example 3.9
We consider \(s = 1\) for \(\tau \in \left[ {0, 1} \right]\) and the fuzzy IVFs \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] = \left[ {\frac{\pi }{4}, \frac{\pi }{2}} \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) defined by,
Then, for each \(\alpha \in \left( {0, 1} \right],\) we have
Since end point functions \({{\mathcal{T}}}_{*} \left( {x,\alpha } \right) = \alpha {\rm e}^{\sin x}\), \({{\mathcal{T}}}^{*} \left( {x, \alpha } \right) = \left( {2 - \alpha } \right){\rm e}^{\sin x}\) are log-\(1\)-convex functions in the second sense, for each \(\alpha \in \left( {0, 1} \right]\) then, by Theorem 2.15, \({{\mathcal{T}}}\left( x \right)\) is log-\(s\)-convex fuzzy-IVF in the second sense. If
then, we have
and
for all \(\alpha \in \left( {0, 1} \right].\) Hence, Theorem 3.6 is verified.
For Theorem 3.7, we have
Hence, Theorem 3.7 is verified.
Now, we prove the Jensen’s inequality for log-\(s\)-convex fuzzy-IVF in the second sense.
Theorem 3.10
Let \(\omega_{j} \in {\mathbb{R}}^{ + }\), \(x_{j} \in \left[ {u, \vartheta } \right],\) \(\left( {j = 1, 2, 3, \ldots k, k \ge 2} \right)\) and \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-\(s\)-convex fuzzy-IVF in the second sense, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). Then,
where \(W_{k} = \mathop \sum _{j = 1}^{k} \omega_{j} .\) If \({{\mathcal{T}}}\) is log-\(s\)-concave in the second sense then, inequality (45) is reversed.
Proof
When \(k = 2\) inequality (45) is true. Consider inequality (16) is true for \(k = n - 1,\) then
Now, let us prove that inequality (45) holds for \(k = n\):
Therefore, for every \(\alpha \in \left( {0, 1} \right]\), we have
From which, we have
that is,
and the result follows.
If \(\omega_{1} = \omega_{2} = \omega_{3} = \cdots = \omega_{k} = 1,\) then Theorem 3.10 reduces to the following result:
Corollary 3.11
Let \(x_{j} \in \left[ {u, \vartheta } \right],\) \(\left( {j = 1, 2, 3, \ldots k, k \ge 2} \right)\) and \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-\(s\)-convex fuzzy-IVF in the second sense, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). Then,
If \({{\mathcal{T}}}\) is a log-\(s\)-concave in the second sense then, inequality (46) is reversed.
To obtain a refinement of Jensen’s inequality for log-s-convex-IVFs firstly, we prove the following the result:
Theorem 3.12
Let \(s \in \left( {0, 1} \right)\) and \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a fuzzy-IVF, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). If \(\left( {L, U} \right) \subseteq \left[ {u,\vartheta } \right] \) and \({{\mathcal{T}}}\) be a log-\(s\)-convex fuzzy-IVF in the second sense then, for \(x_{1} , x_{2} , x_{3} \in \left[ {u, \vartheta } \right]\), \(x_{1} < x_{2} < x_{3}\) such that \(x_{3} - x_{1}\), \(x_{3} - x_{2} ,\) \(x_{2} - x_{1} \in \left[ {0, 1} \right]\), we have
Proof
Let \(x_{1} , x_{2} , x_{3} \in \left[ {u, \vartheta } \right]\) and \(\left( {x_{3} - x_{2} } \right)^{s} > 0.\) Then by hypothesis, we have
Consider \( \lambda = \frac{{x_{3} - x_{2} }}{{x_{3} - x_{1} }}\), then \(x_{2} = \lambda x_{1} + \left( {1 - \lambda } \right)x_{3} .\) Since \({{\mathcal{T}}}\) is a log-\(s\)-convex fuzzy-IVF then, by hypothesis, we have
Taking log on both sides of (49), we have
that is
Hence
Now we obtain a refinement of Jensen’s inequality for log-s-convex-IVF which is given in the following results.
Theorem 3.13
Let \(\omega_{j} \in {\mathbb{R}}^{ + }\), \(x_{j} \in \left[ {u, \vartheta } \right],\) \(\left( {j = 1, 2, 3, \ldots k, k \ge 2} \right)\) and \({{\mathcal{T}}}:\left[ {u, \vartheta } \right] \to {\mathbb{F}}_{C} \left( {\mathbb{R}} \right)\) be a log-\(s\)-convex fuzzy-IVF in the second sense, whose \(\alpha\)-levels define the family of IVFs \({{\mathcal{T}}}_{\alpha } :\left[ {u, \vartheta } \right] \subset {\mathbb{R}} \to {\mathcal{K}}_{C}^{ + }\) are given by \({{\mathcal{T}}}_{\alpha } \left( x \right) = \left[ {{{\mathcal{T}}}_{*} \left( {x,\alpha } \right), {{\mathcal{T}}}^{*} \left( {x,\alpha } \right)} \right]\) for all \(x \in \left[ {u, \vartheta } \right]\) and for all \(\alpha \in \left( {0, 1} \right]\). If \(\left( {L, U} \right) \subseteq \left[ {u,\vartheta } \right] \) then,
where \(W_{k} = \mathop \sum _{j = 1}^{k} \omega_{j} .\) If \({{\mathcal{T}}}\) is log-\(s\)-concave in the second sense then, inequality (50) is reversed.
Proof
Consider \(= x_{1} , x_{j} = x_{2} ,\) \(\left( {j = 1, 2, 3, \ldots k} \right)\), \(U = x_{3}\) in inequality (50). Then, for each \(\alpha \in \left( {0, 1} \right]\), then
Above inequality can be written as,
Taking multiplication of all inequalities (51) for \(j=1, 2, 3, \dots k,\) we have
that is
Thus,
this completes the proof.
Remark 3.14
-
(i)
If \(s = 1,\) then Theorems 3.12 and 3.13 reduces to the result for log convex fuzzy-IVF.
-
(ii)
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\), then Theorems 3.12 and 3.13 reduce to the result for log-\(s\)-convex function in the second sense, see [6].
-
(iii)
If \({{\mathcal{T}}}_{*} \left( {{u},\alpha } \right) = {{\mathcal{T}}}^{*} \left( {\vartheta , \alpha } \right)\) with \(\alpha = 1\) and \(s = 1\), then Theorems 3.12 and 3.13 reduce to the result for log-convex function, see [13].
Results and discussion
We derive some Jensen, Schur and HH-Inequalities for log-\(s\)-convex fuzzy-IVFs in the second sense by means of fuzzy order relation. Our results generalize most of the results which are proved for classical log-convex functions. We would like to mention that due to the lack of “fuzzy interval derivatives” with some good properties, we have not discussed those inequalities involving fuzzy interval derivatives.
Conclusion
HH-Inequalities are true for this concept of log-\(s\)-convex fuzzy-IVFs in the second sense. As a future research, we try to explore this concept for generalized of log-\(s\)-convex fuzzy-IVFs in the second sense and some applications in fuzzy-interval nonlinear programing. We hope that this concept will be helpful for other authors to pay their roles in different fields of sciences.
Data availability
No data were used to support this study.
References
Alomari M, Darus M, Dragomir SS, Cerone P (2010) Ostrowski type inequalities for functions whose derivatives are s-convex in the second sense. Appl Math Lett 23:1071–1076
Cerone P, Dragomir SS (2004) Ostrowski type inequalities for functions whose derivatives satisfy certain convexity assumptions. Demonstr Math 37(2):299–308
Kaleva O (1987) Fuzzy differential equations. Fuzzy Sets Syst 24:301–317
Hadamard J (1893) Étude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. Journal de mathématiques pures et appliquées 7:171–215
Hermite C (1883) Sur deux limites d’une intégrale définie. Mathesis 3:82–97
Varošanec S (2007) On h-convexity. J Math Anal Appl 326(1):303–311
Xi BY, Qi F (2015) Some integral inequalities of Hermite–Hadamard type for s-logarithmically convex functions. Acta Math Sci Ser A (Chin Ed) 35(3):515–524
Noor MA (2007) Hermite–Hadamard integral inequalities for log-preinvex functions. J Math Anal Approx Theory 2(2):126–131
Pečarić JE, Proschan F, Tong YL (1991) Convex functions, partial orderingsand statistical applications. Academic Press
Noor MA, Qi F, Awan MU (2013) Some Hermite–Hadamard type inequalities for log-h-convex functions. Analysis 33(4):367–375
Adil Khan M, Pečarić J, Chu Y-M (2020) Refinements of Jensen’s and McShane’s inequalities with applications. AIMS Math 5(5):4931–4945
Dragomir SS (2001) Refinements of the Hermite–Hadamard integral inequality for log-convex functions. Aust Math Soc Gaz 28(3):129–134
Dragomir SS (2011) A survey of Jensen type inequalities for log-convex functions of selfadjoint operators in Hilbert spaces. Commun Math Anal 10(1):82–104
Dragomir SS, Mond B (1998) Integral inequalities of Hadamard type for log convexfunctions. Demonstr Math 31(2):354–364
Dragomir SS (2017) New inequalities of Hermite–Hadamard type for log convex functions. Khayyam J Math 3(2):98–115
Niculescu CP (2012) The Hermite–Hadamard inequality for log convex functions. Nonlinear Anal 75(2):662–669
Moore RE (1966) Interval analysis. Prentice Hall, Englewood Cliffs
Kulish UW, Miranker W (1981) Computer arithmetic in theory and practice. Academic Press, New York
Guo Y, Ye G, Zhao D, Liu W (2019) Some integral inequalities for log-h-convex interval-valued functions. IEEE Access 7:86739–86745
Chalco-Cano Y, Flores-Franulič A, Román-Flores H (2012) Ostrowski type inequalities for interval-valued functions using generalized Hukuhara derivative. Comput Appl Math 31(3):457–472
Chalco-Cano Y, Lodwick WA, Condori-Equice W (2015) Ostrowski type inequalities and applications in numerical integration for interval-valued functions. Soft Comput 19:3293–3300
Costa TM, Román-Flores H, Chalco-Cano Y (2019) Opial-type inequalities for interval-valued functions. Fuzzy Sets Syst 358:48–63
Dragomir SS, Pearce CEM (2000) Selected topics on Hermite–Hadamard inequalities and applications. RGMIA Monographs Victoria University
Román-Flores H, Chalco-Cano Y, Lodwick WA (2018) Some integral inequalities for interval-valued functions. Comput Appl Math 37(2):1306–1318
Zhao DF, An TQ, Ye GJ, Liu W (2018) New Jensen and Hermite–Hadamard type inequalities for h-convex interval-valued functions. J Inequal Appl 2018:1–14
Zadeh LA (1965) Fuzzy sets. Inf Control 8(3):338–353
Nanda S, Kar K (1992) Convex fuzzy mappings. Fuzzy Sets Syst 48:129–132
Chang SS (1991) Variational inequality and complementarity problems theory and applications. Shanghai Scientific and Technological Literature Publishing House, Shanghai
Noor MA (1994) Fuzzy preinvex functions. Fuzzy Sets Syst 64(1):95–104
Bede B, Gal SG (2005) Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations. Fuzzy Sets Syst 151(3):581–599
Bede B (2013) Mathematics of fuzzy sets and fuzzy logic. In: Studies in fuzziness and soft computing, vol. 295. Springer
Cervelati J, Jiménez-Gamero MD, Vilca-Labra F, Rojas-Medar MA (2004) Continuity for s-convex fuzzy processes. In: Soft methodology and random information systems, vol 7, pp 653–660
Chalco-Cano Y, Rojas-Medar MA, Román-Flores H (2000) M-convex fuzzy mappings and fuzzy integral mean. Comput Math Appl 40(10–11):1117–1126
Khan MB, Noor MA, Noor KI, Chu Y-M (2021) New Hermite–Hadamard type inequalities for (h1, h2)-convex fuzzy-interval-valued functions. Adv Differ Equ 2021:6–20
Puri ML, Ralescu DA (1986) Fuzzy random variables. In: Readings in fuzzy sets for intelligent systems, vol 114, pp 409–422
Osuna-Gómez R, Jiménez-Gamero MD, Chalco-Cano Y, Rojas-Medar MA (2004) Hadamard and Jensen inequalities for s-convex fuzzy processes. In: Soft methodology and random information systems. Advances in soft computing, vol l26. Springer, Berlin, pp 1–15
Costa TM (2017) Jensen’s inequality type integral for fuzzy-interval-valued functions. Fuzzy Sets Syst 327:1–47
Goetschel R Jr, Voxman W (1986) Elementary fuzzy calculus. Fuzzy Sets Syst 18:31–43
Diamond P, Kloeden PE (1994) Metric spaces of fuzzy sets: theory and applications. World Scientific
Costa TM, Roman-Flores H (2017) Some integral inequalities for fuzzy-interval-valued functions. Inf Sci 420:110–125
Acknowledgements
The authors would like to thank the Rector, COMSATS University Islamabad, Islamabad, Pakistan, for providing excellent research and academic environments.
Funding
This study was funded by National Natural Science Foundation of China (no. 71771140).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Liu, P., Khan, M.B., Noor, M.A. et al. New Hermite–Hadamard and Jensen inequalities for log-\(s\)-convex fuzzy-interval-valued functions in the second sense. Complex Intell. Syst. 8, 413–427 (2022). https://doi.org/10.1007/s40747-021-00379-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40747-021-00379-w
Keywords
- Fuzzy-interval-valued functions
- Log-s-convex fuzzy-interval-valued function
- Hermite–Hadamard inequality
- Hermite–Hadamard–Fejér inequality
- Jensen’s inequality