Professional Documents
Culture Documents
Math 08 08 989
Math 08 08 989
DOI: 10.3934/math.2023989
Received: 03 March 2023
Revised: 16 May 2023
Accepted: 21 May 2023
http://www.aimspress.com/journal/Math Published: 08 June 2023
Research article
New inequalities via Caputo-Fabrizio integral operator with applications
Abstract: Fractional integral inequalities have become one of the most useful and expansive tools
for the development of many fields of pure and applied mathematics over the past few years. Many
authors have just recently introduced various generalized inequalities that involved the fractional
integral operators. The main goal of the present study is to incorporate the concept of strongly (s, m)-
convex functions and Hermite-Hadamard inequality with Caputo-Fabrizio integral operator. Also, we
consider a new identity for twice differentiable mapping in the context of Caputo-Fabrizio fractional
integral operator. Then, considering this identity as an auxiliary result, new mid-point version using
well known inequalities like Hölder, power-mean, Young are presented. Moreover, some graphs of
obtained inequalities are given for better understanding by the reader. Finally, we discussed some
applications to matrix inequalities and spacial means.
Keywords: Hermite-Hadamard inequality; convex function; Caputo-Fabrizio fractional integral
operator; Jensen inequality; Hölder inequality
Mathematics Subject Classification: 26A33, 26D10, 26D15, 34K38
1. Introduction
Fractional calculus rapidly developed because of its numerous applications, including mathematics
and many other areas such as image processing, physics, machine learning and networking. Fractional
calculus is a new field in applied mathematics that developed from the open problems of how to solve
some differential equations with fractional order derivatives. The solution to these problems have led
many scholars to search for new subjects that many mathematicians have been interested in recent
years. The fractional derivative has received rapid attention among experts from different branches of
science. Most of the applied problems cannot be modeled by classical derivations. Fractional integral
19392
and derivative operators propose solutions that are extremely appropriate for real world problems and
establish the connections between mathematics and other fields in terms of application areas. We
refer to the readers [1–13] and the references therein. Fractional calculus plays a very significant role
in the development of inequality theory. To study convex functions, Hermite-Hadamard inequality
is particularly important in many areas of mathematics and its applications and its orignal version is
defined as follows [14]:
ξ + ξ Z ξ2
1 2 1 f (ξ1 ) + f (ξ2 )
f ≤ f (x) dx ≤ . (1.1)
2 ξ2 − ξ1 ξ1 2
Many fractional operators are used to generalized Hermite-Hadamard inequality. Here, we will
restrict ourselves to Caputo-Fabrizio fractional derivative. The features that make the operators
different from each other comprise singularity and locality, while kernel expression of the operator is
presented with functions such as the power law, the exponential function, or a Mittag-Leffler function.
The unique feature of the Caputo-Fabrizio operator is that it has a nonsingular kernel. The main
feature of the Caputo-Fabrizio operator can be described as a real power turned in to the integer by
means of the Laplace transformation, and consequently, the exact solution can be easily found for
several problems. In 1993, V. Mihesan et al. [15] established the class of (s, m)-convex functions.
Hudzik et al. [16] considered the class of s-convex functions in the second sense. N. Eftekhari [17]
discussed the class of (s, m)-convex function in the second sense by involving the concept of
s-convexity in the second sense with m-convexity in 2014. Xiaobin wang et al. [18] discussed the
Hermite-Hadmard type inequality for modified h-convex functions utilizing Caputo-Fabrizio integral
operator. Butt et al. [19] obtained various inequalities for s and (s, m)-convex functions exponentially
utilizing Caputo fractional integrals and derivatives. Moreover, Kemali et al. [20] obtained
Hermite-Hadamard type inequality for s-convex functions in the second sense utilizing
Caputo-Fabrizio integral operator. Abbasi et al. [21] proved new variants of Hermite-Hadamard type
inequalities for s-convex functions using the Caputo-Fabrizio integral operator. Li et al. [22] gave
analogous inequalities for strongly convex functions.
Motivated by ongoing studies in past years on generalizations of Hermite-Hadamard type
inequalities for different convexities involving certain fractional integral operators, we developed
novel fractional version left-hand side of the Hermite-Hadamard type inequalities for functions whose
absolute value of the second derivative is convex utilizing Caputo-Fabrizio integral operator. The
organization of the paper is as follows: First, in Section 1, we have discussed some well known
definitions and results regarding the Caputo-Fabrizio fractional integral, which are used in the
consequent sections to present our main results. In Section 2, new Hermite-Hadamard type
inequalities are presented regarding the fractional operator. In Section 3, some interesting applications
related to matrix and spacial means are discussed. Furthermore, in Section 4 conclusion and some
future extensions are presented.
where
Z ξ2 ! 12
L (ξ1 , ξ2 ) = < .
2
2
g (z) : g (z) dz ∞
ξ1
Let f ∈ H 1 (ξ1 , ξ2 ), ξ1 < ξ2 , α ∈ [0, 1], then the notion of left derivative in the sense of Caputo-Fabrizio
is defined as:
B (α) x ′
Z
−α(x−ϱ)α
CFD α
ξ1 D f (x) = f (ϱ) e 1−α dϱ, x > α,
1 − α ξ1
and the associated integral operator is
1−α α x
Z
CF α
ξ1 I f (x) = f (x) + f (ϱ) dϱ,
B (α) B (α) ξ1
where B (α) > 0 is the normalization function satisfying B(0) = B(1) = 1. For α = 0 and α = 1, the
left derivative is defined as follows;
CFD 0
ξ1 D f (x) = f ′
(x) and CFD 1
ξ1 D f (x) = f (x) − f (ξ1 ) .
Sarikaya et al. [28] proved the following form of fractional Hermite-Hadamard inequality.
Theorem 1.2. Let f : [ξ1 , ξ2 ] → R be a positive mapping with 0 ≤ ξ1 ≤ ξ2 , f ′ ∈ L ξ1 , ξ2 and Iξα+ f
1
and Iξα− f be a fractional operator. Then, the following inequality for fractional integral holds if f is a
2
convex function:
ξ + ξ Γ(α + 1) α f (ξ ) + f (ξ )
1 2 α 1 2
f ≤ I + f (ξ ) + I f (ξ ) ≤ . (1.2)
2 (ξ2 − ξ1 )α ξ1 ξ2
2 − 1
2 2
Dragomir [29] demonstrated the following fractional form of Hermite-Hadamard inequality.
Theorem 1.3. [29] Let f : [ξ1 , ξ2 ] → R be a positive function with ξ1 < ξ2 and f ′ ∈ L1 [ξ1 , ξ2 ]. If f is
a convex function on [ξ1 , ξ2 ], then the following inequality for fractional integral holds:
ξ + ξ 2α−1 Γ (α + 1) ξ + ξ ξ + ξ f (ξ ) + f (ξ )
1 2 α 1 2 α 1 2 1 2
f ≤ α Jξ+ f + Jξ− f ≤ .
2 (ξ2 − ξ1 ) 1 2 2 2 2
Abbasi established the fractional version of the Hermite-Hadamard inequality for differentiable
s-convex functions as follows.
Theorem 1.4. [21] Let I be a real interval such that ξ1 , ξ2 ∈ I o , the interior of I with ξ1 < ξ2 . Let f : I
⊆ R → R be a differentiable function on I o , ξ1 , ξ2 ∈ I with ξ1 < ξ2 . If f ′ ∈ L ξ1 , ξ2 and 0 ≤ ξ2 ≤ 1, the
following inequality holds:
2 (1 − α)
Z 1
1
(1 − 2ϱ) f ′ (ϱξ1 + (1 − ϱ) ξ2 ) dϱ − f (k)
ξ2 − ξ1 0 α (ξ2 − ξ1 )
f (ξ1 ) + f (ξ2 ) B (α) CF α
CF α
= − I f (k) + Iξ f (k) ,
2 α (ξ2 − ξ1 ) ξ1 2
Theorem 1.5. [21] Let I be a real interval such that ξ1 , ξ2 ∈ I o , the interior of I, with ξ1 < ξ2 . Let
f : I ⊆ R → R be s-convex on ξ1 , ξ2 for s ∈ (0, 1) and f ′ ∈ L ξ1 , ξ2 . If 0 ≤ ξ2 ≤ 1, then we have the
following double inequality holds:
ξ + ξ B (α) CF α f (ξ1 ) + f (ξ2 )
CF α
1 2
s−1
2 f ≤ I f (k) + Iξ2 f (k) ≤ .
2 α (ξ2 − ξ1 ) ξ1 2
Sahoo obtained the generalized midpoint-type Hermite-Hadamard inequality associated with the
Caputo-Fabrizio fractional operator:
B (α)
! !! ξ + ξ
α CF α 1 2
CF
I f (ξ1 ) + I ξ1 +ξ+ f (ξ2 ) − f
α (ξ2 − ξ1 ) ξ1 +ξ−
2
2
2
2 2
(ξ2 − ξ1 ) | f (ξ1 )| + | f (ξ2 )|
′ ′
(1 − α)
!
≤ + ( f (ξ1 ) + f (ξ2 )) .
4 2 α (ξ2 − ξ1 )
2. Main results
The following lemma is the main motivation behind the study, that establishes Hermite-Hadamard
type inequalities for Caputo-Fabrizio integral operator.
Lemma 2.1. Suppose a mapping f : I ⊂ R → R is differentiable on I o (the interior of I) such
that ξ1 , ξ2 ∈ I with ξ1 < ξ2 . If f ′′ ∈ L ξ1 , ξ2 and α ∈ [0, 1], then the following equality holds:
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α CF α
α CF α
− I f (k) + I f (k) + CF
I f (k) + Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
′′ 1i + iϱ 1i + iϱ
Z 1 " ! !#
1i − iϱ ′′ 1i − iϱ
I = 2
(1i − iϱ) f ξ1 i + i ξ2 i + i f ξ1 i + i ξ2 dϱ
0 2 2 2 2
2 ′′ 1i + iϱ 1i + iϱ
Z 1 ! Z 1 !
1i − iϱ 2 ′′ 1i − iϱ
= (1i − iϱ) f ξ1 i + i ξ2 dϱi + i (1i − iϱ) f ξ1 i + i ξ2 dϱ
0 2 2 0 2 2
= I1 + I2 .
1
1+ϱ 1−ϱ
Z !
I1 = (1 − ϱ) f 2 ′′
ξ1 + ξ2 dϱ
0 2 2
Z 1 f ′ 1+ϱ ξ i + i 1−ϱ ξ
f ′ 1i+iϱ
2
ξ1 + 1−ϱ
2
ξ2 1 2 1 2 2
= −2 (1 − ϱ)2 −2 2 (1 − ϱ) (−1) dϱ
ξ1 − ξ2 0 0 ξ1 − ξ2
′ ξ1 i + iξ2 ′ 1i + iϱ
Z 1 !
2 4 1i − iϱ
= f − f ξ1 i + i ξ2 (1 − ϱ) dϱ
ξ2 − ξ1 2 ξ2 − ξ1 0 2 2
2 ξ i + iξ 8 ξ i + iξ
1 2 1 2
= f′ + f
ξ2 − ξ1 2 (ξ2 − ξ1 ) 2 2
Z
k Z ξ1 +ξ 2
16 2
+ f (u) dui + i f (u) du . (2.1)
(ξ2 − ξ1 )3 ξ1 k
1i + iϱ
Z 1 !
2 ′′ 1i − iϱ
I2 = (1 − ϱ) f ξ1 + ξ2 dϱ
0 2 2
Z 1 f ′ 1−ϱ ξ i + i 1+ϱ ξ
f ′ 1−ϱ 2
ξ1 + 1+ϱ 2
ξ2 1 2 1 2 2
= 2 (1 − ϱ)2 −2 2 (1 − ϱ) (−1) dϱ
ξ1 i − iξ2 0 0 ξ1 − ξ2
′ ξ1 i + iξ2 ′ 1−ϱ 1+ϱ
Z 1 !
−2 4
= f + f ξ1 i + i ξ2 (1 − ϱ) dϱ
ξ2 i − iξ1 2 ξ2 − ξ1 0 2 2
−2 ξ i + iξ 8 ξ i + iξ
1 2 1 2
= f′ + f
ξ2 i − iξ1 2 (ξ2 i − iξ1 ) 2 2
Z k Z ξ2
16
+ f (u) du + f (u) du .
3 ξ1 +ξ2
(2.3)
(ξ2 i − iξ1 ) 2 k
(ξ2 − ξ1 ) 1 1i + iϱ 2 (1 − α)
Z !
2 ′′ 1i − iϱ
(1 − ϱ) f ξ1 + ξ2 dϱ − f (k)
16 0 2 2 B (α)
1 ′ ξ1 + ξ2 1 ξ + ξ
1 2
= − f + f
8 2 2 (ξ2 − ξ1 ) 2
B (α)
α
CF α
ξ1 +ξ2 I f (k) + Iξ2 f (k) .
CF
− (2.4)
α (ξ2 − ξ1 )2 2
We get the result by adding the inequalities (2.2) and (2.4) and.then.multiplying.both.sides.by (ξ2 − ξ1 ).
This completes.the proof.
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
(ξ2 − ξ1 )2 24+s − 14 − s (7 + s) ′′ 1 ′′ ξ1 ′′ ξ2
" ! !
′′
≤ | f (ξ1 ) | + | f (ξ2 ) | + m |f | + |f |
24+s (s + 1) (s + 2) (s + 3) s+3 m m
ξ2 2 ξ1 2
!#
3µ
+ ξ1 − + ξ2 − .
10 m m
′′
Proof. UsingitheiLemma 1 andithe strongly (s, m)-convexityiof | f |, we have
ξ + ξ 4 (1i − iα)
1 2
f + f (k)
2 α (ξ2 i − iξ1 )
B (α)
CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + Iξ2 f (k)
α (ξ2 i − iξ1 ) ξ1
ξ +ξ
1 2 ξ +ξ
1 2
2 2
Note that,
1
24+s − 14 − s (7 + s)
Z
(1i − iϱ) (1i + iϱ) dϱ =
2 s
,
0 (s + 1) (si + i2) (si + i3)
Z 1
1
(1 − ϱ)2 (1 − ϱ) s dϱ = .
0 s+3
(ξ2 − ξ1 )2 24+s − 14 − s (7 + s) ′′ 1 ′′ ξ1 ′′ ξ2
" ! ! #
′′
≤ | f (ξ1 ) | + | f (ξ2 ) | + m |f | + |f | .
24+s (s + 1) (s + 2) (s + 3) s+3 m m
Corollary 2.2. If we choose µ = 0 and m = 1 in Theorem 8, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + I ξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
(ξ2 − ξ1 )2 24+s − 14 − s (7 + s) ′′
" ! ! #
′′
1 ′′ ′′
≤ | f (ξ1 ) | + | f (ξ2 ) | + | f (ξ1 ) | + | f (ξ2 ) | .
24+s (s + 1) (s + 2) (s + 3) s+3
Corollary 2.3. If we choose µ = 0 and s = 1 in Theorem 8, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
′′
(ξ2 − ξ1 )2 5 | f (ξ1 ) | + | f (ξ2 ) |
′′
ξ
′′ ξ2
′′ 1
≤ + m |f | + |f | .
128 3 m m
Corollary 2.4. If we choose s = 0 and m = 1 in Theorem 8, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
(ξ2 − ξ1 )2 1 ′′
" 1 ′′ 3µ #
′′ ′′
≤ | f (ξ1 ) | + | f (ξ2 ) | + | f (ξ1 ) | + | f (ξ2 ) | + (ξ1 − ξ2 ) + (ξ2 − ξ1 )
2 2
24 3 3 10
(ξ2 − ξ1 )2 1 ′′ ′′
3µ !
≤ | f (ξ1 ) | + | f (ξ2 ) | + (ξ1 − ξ2 ) + (ξ2 − ξ1 ) .
2 2
24 3 10
Corollary 2.5. If we choose s = 1 and m = 1 in Theorem 8, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
(ξ2 − ξ1 )2 5 ′′
" 1 ′′ 3µ #
′′ ′′
≤ | f (ξ1 ) | + | f (ξ2 ) | + | f (ξ1 ) | + | f (ξ2 ) | + (ξ1 − ξ2 ) + (ξ2 − ξ1 ) .
2 2
25 12 4 10
Remark 2.1. It is observed that, our result Theorem 8 presents the generalization of the
inequality (Proposition 1 [32]) obtained by Sarikaya et.al in classical sense. This is indeed true since
if we choose α = s = m = 1, µ = 0, and B (0) = B (1) = 1, in Theorem 8, we have the following
inequality Z ξ2
ξ + ξ 1 (ξ2 − ξ1 )2 ′′ ′′
1 2
f − f (x) dx ≤ | f (ξ1 ) | + | f (ξ2 ) | .
2 ξ2 − ξ1 ξ1 48
Theorem 2.2. Let f : [ξ1 , ξ2 ] → R be a twice differentiable function on (ξ1 , ξ2 ) such that f ′′ ∈ L[ξ1 , ξ2 ],
for ξ1 < ξ2 . If | f ′′ |q is strongly (s, m)-convex with modulus µ ≥ 0, for (s, m) ∈ (0, 1] × (0, 1] and q > 1,
then the following inequality for fractional integral operator:
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
! 1p "
(ξ2 − ξ1 )2 ′′ ξ1 + ξ2
! !
1 1 ′′ ′′
1
≤ | f (ξ1 ) | + | f (ξ2 ) | + m
q q
|f |q
2 4 2p + 1 s+1 s+1 2m
1
µ ξ1 + ξ2 2 ξ1 + ξ2 2 q
!#
− ξ1 − + ξ2 − .
6 2m 2m
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) i + i I f (k) + CF
I f (k) i + i Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ +ξ
1 2 ξ +ξ
1 2
2 2
(ξ2 i − iξ1 )2
Z 1 ξ + ξ ξ + ξ
′′ 1 2 ′′ 1 2
≤ (1 − ϱ)2 f ϱξ1 i + i(1 − ϱ) + f ϱξ2 + (1 − ϱ)
24 0 2 2
Z ! 1p Z 1 ξ i + iξ q ! 1q
(ξ2 i − iξ1 ) 1
2
′′
1 2
≤ (1 − ϱ) dϱ 2p
f ϱξ1 + (1 − ϱ) dϱ +
24 0 0 2
Z 1 ! 1p Z 1 ξ i + iξ q ! 1q
′′ 1 2
(1 − ϱ) dϱ 2p
f ϱξ2 + (1 − ϱ) dϱ
0 0 2
1
(ξ2 − ξ1 )2 s ′′ ξ2 + ξ1 q
Z 1 ! p "Z 1
s ′′
≤ (1i − iϱ) 2p
dϱ ϱ | f (ξ 1 ) | q
i + im (1 − ϱ) | f | − µϱ (1 − ϱ)
24 0 0 2m
! # 1q
ξ1 + ξ2 2 s ′′ ξ1 + ξ2 q ξ1 i + iξ2 2
! Z 1
s ′′
ξ1 − dϱ + ϱ | f (ξ2 ) | + m (1 − ϱ) | f
q
| − µϱ (1 − ϱ) ξ2 − dϱ
2m 0 2m 2m
! 1p "
(ξ2 − ξ1 )2 ′′ ξ2 + ξ1 µ ξ1 + ξ2 2
! !
1 1 ′′ q 1
≤ f (ξ1 ) + m |f | − ξ1 −
q
24 2p + 1 s+1 s+1 2m 6 2m
1
′′ ξ1 + ξ2 µ ξ1 + ξ2 2 q
! ! #
1 ′′ q 1
+ f (ξ2 ) + m |f |q − ξ2 −
s+1 s+1 2m 6 2m
1 "
(ξ2 − ξ1 )2 ′′ ξ1 + ξ2
! ! !
1 p
1 ′′ ′′
1
≤ | f (ξ 1 ) |q
i + i| f (ξ 2 ) |q
+ m | f |q
24 2pi + i1 si + i1 s+1 2m
1
µ ξ1 + ξ2 2 ξ1 + ξ2 2 q
!#
− ξ1 − + ξ2 − .
6 2m 2m
R1 R1
Note that, 0 (1 − ϱ) s dϱ = 0 (ϱ) s dϱ = 1
s+1
. Thisicompletesithe proof.
Corollary 2.7. If we choose µ = 0 and m = 1 in Theorem 9, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + I ξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
! 1p " # 1q
(ξ2 − ξ1 )2 ′′ ξ1 + ξ2
! !
1 1 ′′ ′′
1
≤ | f (ξ1 ) | + | f (ξ2 ) | +
q q
|f |q .
24 2p + 1 s+1 s+1 2
Corollary 2.8. If we choose µ = 0 and s = 1 in Theorem 9, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
! 1p " 1
(ξ2 − ξ1 )2 1 1 ′′ ′′
m ′′ ξ1 + ξ2 # q
≤ | f (ξ1 ) | + | f (ξ2 ) | + | f
q q
| .
q
24 2p + 1 2 2 2m
Corollary 2.9. If we choose s = 0 and m = 1 in Theorem 9, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
! 1p
(ξ2 − ξ1 )2 1 ′′ ′′
′′ ξ1 + ξ2
≤ | f (ξ1 ) | + | f (ξ2 ) | + | f
q q
|q −
24 2p + 1 2
!# 1
µ ξ1 + ξ2 2 ξ1 + ξ2 2 q
ξ1 − + ξ2 − .
6 2 2
Corollary 2.10. If we choose s = 1 and m = 1 in Theorem 9, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ +ξ
1 2 ξ +ξ
1 2
2 2
! 1p "
(ξ2 − ξ1 )2 1 1 ′′ ′′
1 ′′ ξ1 + ξ2
≤ | f (ξ 1 ) |q
+ | f (ξ 2 ) |q
+ |f |q
24 2p + 1 2 2 2
!# 1
µ ξ1 + ξ2 2 ξ1 + ξ2 2 q
− ξ1 − + ξ2 − .
6 2 2
Theorem 2.3. Let f : [ξ1 , ξ2 ] → R be a twice differentiable function on (ξ1 , ξ2 ) such that f ∈ L[ξ1 , ξ2 ],
′′
for ξ1 < ξ2 . If | f |q , q ≥ 1, is strongly (s, m)-convex with modulus µ ≥ 0, for (s, m) ∈ (0, 1] × (0, 1], then
′′
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + I ξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
!1− 1 "
(ξ2 − ξ1 )2 1 q 2 ′′ ′′
m ′′ ξ1 + ξ2
≤ | f (ξ 1 ) |q
+ | f (ξ 2 ) |q
+ |f |q
24 3 6 + 11s + 6s2 + s3 s+3 2m
!# 1
µ ξ1 + ξ2 2 ξ1 + ξ2 2 q
− ξ1 − + ξ2 − .
20 2m 2m
Proof. UsingiLemma 1, theipower-mean inequalityiand the strongly (s, m)-convexityiof | f |q , we have
′′
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) i+i I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f
CF
(k) i+i Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
(ξ2 − ξ1 )2 1 ξ i + iξ (ξ i − iξ )2 Z 1 ξ + ξ
Z
′′ 1 2 2 1 ′′ 1 2
≤ 4
(1 − ϱ) f ϱξ1 + (1 − ϱ)
2
+ 4
(1 − ϱ) f ϱξ2 + (1 − ϱ)
2
2 0 2 2 0 2
Z 1 Z 1
1−
(ξ2 − ξ1 )2 1 1 ξ + ξ q
! q ! q
′′ 1 2
≤ (1i − iϱ) 2
dϱ (1 − ϱ) 2
f ϱξ 1 i + i(1 − ϱ) dϱ +
24
0 0 2
Z 1 !1− q1 Z 1 ξ i + iξ q ! 1q
′′ 1 2
(1 − ϱ)2 dϱ (1i − iϱ)2 f ϱξ2 + (1 − ϱ) dϱ
0 0 2
1
!1− q "Z 1
(ξ2 − ξ1 )2 s ′′ ξ1 i + iξ2 q
Z 1 Z 1
2 s ′′
≤ (1 − ϱ) dϱ 2
(1 − ϱ) ϱ | f (ξ1 ) | i + im q
(1 − ϱ) (1 − ϱ) | f
2
|
24 0 0 0 2m
ξ1 i + iξ2 2
Z 1 Z 1
′′
−µ (1 − ϱ) ϱ (1 − ϱ) ξ1 −
2
+ (1 − ϱ)2 ϱ s | f (ξ2 ) |q +
0 2m 0
ξ + ξ q #1
ξ1 + ξ2 2 q
Z 1 Z 1
′′ 1 2
m (1 − ϱ) (1 − ϱ) f
2 s
−µ (1 − ϱ) ϱ (1 − ϱ) ξ2 −
2
0 2m 0 2m
1 "
1−
(ξ2 − ξ1 )2 1 q ′′ ξ1 + ξ2 µ ξ1 + ξ2 2
! !
2 ′′ 1
≤ | f (ξ1 ) | + m
q
|f | +
q
ξ1 −
24 3 6 + 11s + 6s2 + s3 s+3 2m 20 2m
′′ ξ1 + ξ2 µ ξ1 + ξ2 2
! #
2 ′′ 1
+ | f (ξ2 ) | + m
q
|f | +
q
ξ2 − .
6 + 11s + 6s2 + s3 s+3 2m 20 2m
R1 R1
Note that, 0
(1i − iϱ)2 ϱ s dϱ = 2
6+11s+6s2 +s3
and 0
(1i − iϱ)2 (1 − ϱ) s dϱ = 1
s+3
. Thisicompletesithe
proof.
Corollary 2.11. If we choose µ = 0 in Theorem 10, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f
CF
(k) + Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
!1− 1 " 1
(ξ2 − ξ1 )2 1 q 2 ′′ ′′
m ′′ ξ1 + ξ2 # q
≤ | f (ξ1 ) | + | f (ξ2 ) | +
q q
|f | .
q
24 3 6 + 11s + 6s2 + s3 s+3 2m
Corollary 2.12. If we choose µ = 0 and m = 1 in Theorem 10, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
!1− 1 " # q1
(ξ2 − ξ1 )2 1 q ′′ ξ1 + ξ2
!
2 ′′ ′′
1
≤ | f (ξ1 ) | + | f (ξ2 ) | +
q q
|f |q .
24 3 6 + 11s + 6s2 + s3 s+3 2
Corollary 2.13. If we choose µ = 0 and s = 1 in Theorem 10, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
!1− 1 " 1
(ξ2 − ξ1 )2 1 q 2 ′′ ′′
m ′′ ξ1 + ξ2 # q
≤ | f (ξ1 ) |q + | f (ξ2 ) |q + |f |q .
24 3 24 4 2m
Corollary 2.14. If we choose s = 0 and m = 1 in Theorem 10, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
!1− 1 "
(ξ2 − ξ1 )2 1 q 2 ′′ ′′
1 ′′ ξ1 + ξ2
≤ 4
| f (ξ 1 ) |q
+ | f (ξ 2 ) |q
+ |f |q
2 3 6 3 2
1
µ ξ1 + ξ2 2 ξ1 + ξ2 2 q
!#
− ξ1 − + ξ2 − .
20 2 2
Corollary 2.15. If we choose s = 1 and m = 1 in Theorem 10, then we have the following inequality
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
!1− 1 "
(ξ2 − ξ1 )2 1 q 2 ′′ 1 ′′ ξ1 + ξ2 q
!
′′
≤ | f (ξ1 ) | + | f (ξ2 ) | +
q q
|f |
24 3 24 4 2
!# 1
µ ξ1 + ξ2 2 ξ1 + ξ2 2 q
− ξ1 − + ξ2 − .
20 2 2
Theorem 2.4. Let f : ξ1 , ξ2 → R be twice differentiable function on (ξ1 , ξ2 ) with ξ1 < ξ2 . If f ′′ ∈ L
ξ1 , ξ2 and | f ′′ |q is s-convex on ξ1 , ξ2 , for some fixed s ∈ (0, 1] and q > 1, then the following inequality
for fractional integral operator holds:
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I f (k) + CF
I f (k) + Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1
ξ1 +ξ2 ξ1 +ξ2
2 2
′′ 1i + iϱ 1+ϱ
"Z 1 Z 1
(ξ2 i − iξ1 )2
! ! #
1i − iϱ ′′ 1i − iϱ
≤ 2
(1i − iϱ) f ξ1 i + i ξ2 dϱ + 2
(1i − iϱ) f ξ1 + ξ2 dϱ .
16 0 2 2 0 2 2
By using the Young, s inequality as
1 1
ξ1 ξ2 i ≤ i ξ1p i + i ξ2q .
p q
ξ i + iξ 4 (1i − iα)
1 2
f i+i f (k)
2 α (ξ2 i − iξ1 )
B (α)
CF α
CF α
α
CF α
i−i I f (k) i + i I ξ1 i+iξ2 f (k) i + i ξ1 i+iξ2 I f (k) i + i
CF
Iξ2 f (k)
α (ξ2 i − iξ1 ) ξ1 2 2
! q
(ξ2 i − iξ1 )2 1 1 1 1 ′′ 1i + iϱ
" Z ! Z
1i − iϱ
≤ (1i − iϱ) dϱ i + i
2p
f ξ1 i + i ξ2 dϱ
16 p 0 q 0 2 2
! q#
1 1 1 1 ′′ 1i − iϱ 1i + iϱ
Z ! Z
i+i (1i − iϱ) dϱ i + i
2p
f ξ1 i + i ξ2 dϱ
p 0 q 0 2 2
ξ + ξ 4 (1 − α)
1 2
f + f (k)
2 α (ξ2 − ξ1 )
B (α) CF α
CF α
α
CF α
− I f (k) + I ξ1 +ξ2 f (k) + ξ1 +ξ2 I f (k) +
CF
Iξ2 f (k)
α (ξ2 − ξ1 ) ξ1 2 2
!q ! q # 1q
(ξ2 − ξ1 ) 2 ′′ 5ξ1 + 3ξ2 ′′ 3ξ1 + 5ξ2
"
≤ × f + f .
48 8 8
2 ′′ 1i + iϱ 1i + iϱ
"Z 1 Z 1
(ξ2 i − iξ1 )2
! ! #
1i − iϱ 2 ′′ 1i − iϱ
≤ (1i − iϱ) f ξ1 i + i ξ2 dϱ + (1i − iϱ) f ξ1 i + i ξ2 dϱ
16 0 2 2 0 2 2
R 1
(1i − iϱ)2 1i+iϱ ξ1 i + i 1i−iϱ ξ2
Z
(ξ2 i − iξ1 ) 2 1
!
0 2 2
≤ (1i − iϱ)2 f ′′ R1
dϱ
16 0
(1i − iϱ) 2
0
R 1
Z 1 (1i − iϱ)2 1i−iϱ ξ1 i + i 1i+iϱ ξ2
0 2 2
+ (1i − iϱ)2 f ′′ R1
dϱ
2
0 (1i − iϱ)
!0
(ξ2 i − iξ1 ) 2 ′′ 5ξ1 i + i3ξ2 ′′ 3ξ1 i + i5ξ2
( !)
≤ × f i+i f .
48 8 8
ξ i + iξ 4 (1i − iα)
1 2
f i+i f (k)
2 α (ξ2 i − iξ1 )
B (α)
CF α
CF α
α
CF α
i−i I f (k) i + i I f (k) i + i CF
I f (k) i + i Iξ2 f (k)
α (ξ2 i − iξ1 ) ξ1
ξ1 i+iξ2 ξ1 i+iξ2
2 2
′′ 1i + iϱ
Z 1
(ξ2 i − iξ1 )2
! !
1i − iϱ
≤ (1i − iϱ) f 2
ξ1 i + i ξ2 dϱ
16 0 2 2
1i + iϱ
Z 1
(ξ2 i − iξ1 )2
! !
′′ 1i − iϱ
+ (1i − iϱ) f 2
ξ1 i + i ξ2 dϱ
16 0 2 2
Z !1− 1q
(ξ2 i − iξ1 )2 1 1i + iϱ
!
1 1i − iϱ
≤ (1i − iϱ) 2
× (1i − iϱ) 2 q
f ′′
ξ1 i + i ξ2 dϱ
16 0 2 2
!1− 1q !
+
Z 1 q1 1i − iϱ 1i iϱ
i+i (1i − iϱ)2 × (1i − iϱ)2 f ′′ ξ1 i + i ξ2 dϱ
0 2 2
Z ! qi−i1 ! q ! 1q
(ξ2 i − iξ1 )2 1 ′′ 1i + iϱ
q
Z 1
1i − iϱ
≤ (1i − iϱ) dϱ 2
(1i − iϱ) f 2
ξ1 i + i ξ2 dϱ
16 0 0 2 2
! qi−i1 ! q ! 1q
+
Z 1 q
Z 1
1i iϱ 1i − iϱ
i+i ξ1 i + i ξ2 dϱ
(1i − iϱ)2 dϱ (1i − iϱ)2 f ′′
0 0 2 2
! qi−i1 1i+iϱ q
ξ + ξ
Z 1i−iϱ
(ξ2 i − iξ1 )2
Z 1 q 1
2 1 i i 2 2 dϱ
(1i − iϱ)2 2 ′′
≤ (1i − iϱ) f
R1
16 0
0
(1i − iϱ) 2
0
1i−iϱ q 1q
Z 1
2
ξ 1 i + i 1i+iϱ
2
ξ 2 dϱ
+ (1i − iϱ)2 f ′′ R1
2
0 (1i − iϱ)
0
!q ! q # 1q
(ξ2 i − iξ1 ) 2 ′′ 5ξ1 i + i3ξ2 ′′ 3ξ1 i + i5ξ2
"
≤ × f i+i f .
48 8 8
Remark 2.2. It is observed that, our result Theorem 12 presents the generalization of the
inequality (Proposition 5 [32]) obtained by Sarikaya et al. in classical sense. This is indeed true since
if we choose B (0) = B (1) = 1, α = 1 in Theorem 12, we have the following inequality:
Z ξ2 ξ + ξ
1 1 2
f (x) dx − f
ξ2 − ξ1 ξ1 2
3 | f ′′ (ξ1 )|q + 5 | f ′′ (ξ2 )|q 1/q
!1/q
(ξ2 − ξ1 ) 2
5 | f ′′ (ξ1 )|q + 3 | f ′′ (ξ2 )|q
!
+ .
≤
48 8 8
3. Applications
ξ1 , x = 0
(
f (x) =
ξ2 x s + c, x > 1.
If ξ1 ≥ 0 and 0 ≤ c ≤ ξ1 , then f ∈ k2s in (see [16] for proof). Thus, for ξ1 = c = 0, and ξ2 = 1, we have
f (x) = x s and f : ξ1 , ξ2 → R, with f ∈ k2s . Suppose f : I1 → R+ be a non- decreasing and s-convex
function on I1 and f : J → I2 ⊆ I1 is a non-negative convex function on J, then f ◦ ψ is s-convex on I1 .
Corollary 3.1. Suppose ψ : I → I1 ⊆ [0, ∞) is a non- negative convex function on I, then ψ s (x) is
s-convex on [0, ∞) , 0 < s < 1.
Example 3.1. We denote the set of all n × n complex matrices by C n , and we denote Mn to be the
algebra of all n ×D n complex matrices, and by Mn+ we mean the strictly positive matrices in Mn . That
is, A ∈ Mn+ if Aξ1 , ξ1 > 0 for all nonzero ξ1 ∈ C n . In [31] Sababheh proved that the function
E
ψ (θ) = Aθ XB1−θ + A1−θ XBθ , A, B ∈ Mn+ , X ∈ Mn is convex for all θ ∈ [0, 1], s ∈ (0, 1) . Then by
using Corollary 2, we have
ξ1 +ξ2 ξ1 +ξ2 ξ1 +ξ2 ξ1 +ξ2 B (α) hnCF α k 1−k
A 2 XB1− 2 + A1− 2 XB 2 ≤ ξ1 I A XB + A1−k XBk +
α (ξ2 − ξ1 )
CF α
I ξ1 +ξ2 A XB + A XB + CF I αξ1 +ξ2 Ak XB1−k + A1−k XBk +
k 1−k 1−k k
2 2
o 4 (1 − α) #
CF α
Iξ2 A XB + A XB −
k 1−k 1−k k
A XB + A XB
k 1−k 1−k k
α (ξ2 − ξ1 )
(ξ2 − ξ1 )2 24+s − 14 − s (s + 7) n ξ1 1−ξ1
" !
≤ A XB + A1−ξ1 XBξ1 +
24+s (s + 1) (s + 2) (s + 3)
!
ξ2 ξ2 1 n ξ1 1−ξ1
+ A1−ξ1 XBξ1
o
A XB 1−ξ2
+ A XB
1−ξ2
+ A XB
s+3
+ Aξ2 XB1−ξ2 + A1−ξ2 XBξ2 .
oi
2ξ1 ξ2
H = H (ξ1 , ξ2 ) := , ξ1 , ξ2 > 0.
ξ1 + ξ2
ξ2 − ξ1
L (ξ1 , ξ2 ) := ξ1 , ξ2 > 0, ξ1 , ξ2 .
ln ξ2 − ln ξ1
n (n − 1) (ξ2 − ξ1 )2 h n−2 i
|A (ξ1 , ξ2 ) − L (ξ1 , ξ2 )| ≤
n
|ξ1 | + |ξ2 |n−2 .
48
Proof. The.assertion.directly.follows.from .Theorem 8 applying.for f (x) i = ixn and αi = s = m = i1,
and µ = 0, B (0) = B (1) = 1. For a graphical depiction of this see Figure 1.
Figure 1. Graphical description of error bound for Proposition 3.1, where the left side
inequality of Proposition is shown in blue color and the right side of that inequality is shown
in red color.
(ξ2 − ξ1 )2 h −3 i
A−1 (ξ1 , ξ2 ) − L−1 (ξ1 , ξ2 ) ≤ |ξ1 | + |ξ2 |−3 .
24
Proof. The.assertion.directly.follows.from .Theorem 8 applying.for f (x) i = ix−1 and αi = s = m = i1,
and µ = 0, B (0) = B (1) = 1. For a graphical depiction of this see Figure 2.
Figure 2. Graphical description of error bound for Proposition 3.2, where the left side
inequality of Proposition is shown in blue color and the right side of that inequality is shown
in red color.
n (n − 1) (ξ2 − ξ1 )2
A−1 (ξ1 , ξ2 ) − L−1 (ξ1 , ξ2 ) ≤
48
3ξ1 + 5ξ2 ! 1q ! 1q
5ξ 1 + 3ξ 2
+ .
×
8 8
Proof. The assertion follows from Theorem 12 applying for f (x) = 1x , x ∈ ξ1 , ξ2 α = 1 and B (0) =
B (1) = 1.
4. Conclusions
Fractional calculus is an interesting subject with many applications in the modelling of natural
phenomena. We are always in need to enhance and improve our ability to generalize the results
directly related to the topic of fractional calculus. Many mathematicians have generalized a variety of
fractional integral operators using the techniques and operators of fractional calculus. In this paper,
we have established several inequalities accomplished for the functions whose second derivatives are
strongly (s, m)-convex functions via Caputo fractional derivatives. The main results show a
generalization of Hermite-Hadamard-type inequalities for the strongly (s, m)-convex function via
Caputo-Fabrizio integral operator. Lemmas 1 is established to get novel inequalities regarding
Caputo-Fabrizio integral operator, which are applied to obtain some special means inequalities and an
inequality involving the matrix function. The Lemma 1 is also appropriate to get new bounds and
error estimates for midpoint inequalities. Moreover, the novel study of this article that are discussed in
Theorem 5 and Theorem 9 are generalization of the inequalities proved in ( Proposition 1 and
Proposition 5 [32]). Similar types of inequalities can be obtained with the different classes of convex
functions. In the future, scholars may explore inequalities of the Ostrowski type, Jensen-Mercer type,
and Hermite-Hadamard-Mercer type with modified Caputo-Fabrizio fractional operators and modified
A-B fractional operators.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
Acknowledgments
This work is supported by the Research Project of Optimization of Plant Cell Automation
Production Model (H2139) from Ansebo (Chongqing) Biotechnology Co., Ltd.
Conflict of interest
References
26. T. Abdeljawad, D. Baleanu, On fractional derivatives with exponential kernel and their discrete
versions, Rep. Math. Phys., 80 (2017), 11–27. https://doi.org/10.1016/S0034-4877(17)30059-9
27. S. S. Dragomir, R. Agarwal, Two inequalities for differentiable mappings and applications to
special means of real numbers and to trapezoidal formula, Appl. Math. Lett., 11 (1998), 91–95.
https://doi.org/10.1016/S0893-9659(98)00086-X
28. M. Z. Sarikaya, H. Yildirim, On Hermite-Hadamard type inequalities for Riemann-
Liouville fractional integrals, Miskolc Math. Notes, 17 (2016), 1049–1059.
https://doi.org/10.18514/mmn.2017.1197
29. S. S. Dragomir, Some inequalities of Hermite-Hadamard type for convex functions and Riemann-
Liouville fractional integrals, RGMIA Res. Rep. Coll, preprint.
30. S. K. Sahoo, P. O. Mohammed, B. Kodamasingh, M. Tariq, Y. S. Hamed, New fractional integral
inequalities for convex functions pertaining to Caputo-Fabrizio Operator, Fractal Fract., 6 (2022),
171. https://doi.org/10.3390/fractalfract6030171
31. M. Sababheh, Convexity and matrix means, Linear Algebra Appl., 506 (2016), 588–602.
https://doi.org/10.1016/j.laa.2016.06.027
32. M. Z. Sarikaya, N. Aktan, On the generalization of some integral inequalities and their applications,
Math. Comput. Model., 54 (2011), 2175–2182. https://doi.org/10.1016/j.mcm.2011.05.026