Next Article in Journal
Quantifying Differences among Ten Fingers in Force Control Capabilities by a Modified Meyer Model
Next Article in Special Issue
A New Stability Theory for Grünwald–Letnikov Inverse Model Control in the Multivariable LTI Fractional-Order Framework
Previous Article in Journal
Type and Cotype Constants and the Linear Stability of Wigner’s Symmetry Theorem
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Hermite–Hadamard Type Inequalities Involving Non-Conformable Integral Operators

by
Juan E. Nápoles Valdés
1,
José M. Rodríguez
2,* and
José M. Sigarreta
3,4
1
Facultad de Ciencias Exactas y Naturales y Agrimensura, Universidad Nacional del Nordeste, Corrientes Capital 3400, Argentinar
2
Departamento de Matemáticas, Universidad Carlos III de Madrid, Avenida de la Universidad 30, Leganés, 28911 Madrid, Spain
3
Instituto de Física, Benemérita Universidad Autónoma de Puebla, Apartado Postal J-48, Puebla 72570, Mexico
4
Facultad de Matemáticas, Universidad Autónoma de Guerrero, Carlos E. Adame No.54 Col. Garita, Acalpulco Gro. 39650, Mexico
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(9), 1108; https://doi.org/10.3390/sym11091108
Submission received: 17 July 2019 / Revised: 19 August 2019 / Accepted: 28 August 2019 / Published: 3 September 2019
(This article belongs to the Special Issue Recent Advances in Discrete and Fractional Mathematics)

Abstract

:
At present, inequalities have reached an outstanding theoretical and applied development and they are the methodological base of many mathematical processes. In particular, Hermite– Hadamard inequality has received considerable attention. In this paper, we prove some new results related to Hermite–Hadamard inequality via symmetric non-conformable integral operators.

1. Introduction

The significant role of inequalities in the development and evolution of Mathematics is well known. Some basic notions related to them were already in use by the ancient Greeks, such as triangle and isoperimetric inequalities. However, inequalities were not employed either in arithmetic or any other kind of number manipulation [1]. The formalization of the Mathematical Theory of Inequalities essentially begins in the 18th century with the studies carried out by Gauss. It was continued by Cauchy, and Chebyshov, who had the idea to apply some inequalities to Mathematical Analysis. Later, the Russian mathematician Bunyakovsky, proved in 1859 the well-known Cauchy–Schwarz inequality for the case of infinite dimensions.
Likewise, the research conducted by Hardy on this subject should be recognized as particularly significant, since it went beyond particular inequalities. Hardy succeeded in gathering together the best mathematicians of the moment to solve problems related to inequalities. Furthermore, he founded the Journal of the London Mathematical Society, a magazine especially suitable to publish papers on inequalities. Together with renowned mathematicians such as Littlewood and Polya, he developed the famous volume entitled “Inequalities” [2], which was the first monograph on this subject.
The book became a milestone in the field of inequalities, and it achieved the goal of giving structure, systematization and formalization to an apparently isolated set of results, and, by doing so, it changed them into a theory. At present, inequalities have reached an outstanding theoretical and applied development and they are the methodological base of processes of approximation, estimation, boundedness, interpolation, etc. In general, they are fundamental in every modeling problem.
As usual, a function f : I R R is said to be convex on the interval I , if the inequality
f t x + ( 1 t ) y t f ( x ) + ( 1 t ) f ( y )
holds for all x , y I and t [ 0 , 1 ] . We say that f is concave if f is convex. It is well known that every convex function is continuous and thus integrable on any compact interval.
Among many important inequalities involving convex functions, we will focus here on the following ones. If f : I R is a convex function on the interval I, then
f a + b 2 1 b a a b f ( t ) d t f ( a ) + f ( b ) 2
for every a , b I with a < b .
The converse inequalities hold if the function f is concave on the interval I. This seminal result was proved in [3] and it is known as Hermite–Hadamard inequality (see [4,5] for more details). Since its discovery, this inequality has received considerable attention.
In recent years, this inequality has been generalized to conformable integrals in [6,7,8,9,10,11,12,13,14]. In addition, there are many works generalizing other classical inequalities from the fractional calculus viewpoint (see, e.g., [15,16]). The aim of this paper is to show some new results related to Hermite–Hadamard inequalities via non-conformable integrals.
The authors in [17] introduced a useful conformable derivative; in addition, a non-conformable derivative is introduced in [18]. These derivatives are interesting from a theoretical viewpoint and useful in many applications [19,20,21].
Next, we give the definition of the non-conformable derivative related to our results.
Definition 1.
Given an interval I [ 0 , ) , a function f : I R , α ( 0 , 1 ) and t I , the non-conformable derivative of f of order α at tis defined by
N 3 α ( f ) ( t ) = lim ε 0 f t + ε t α f ( t ) ε .
We say that f is α-differentiable at t if there exists N 3 α ( f ) ( t ) and it is finite.
Note that if f is differentiable at t, then
N 3 α ( f ) ( t ) = t α f ( t ) ,
where f ( t ) denotes the usual derivative.
Following the ideas in [18], we can easily prove the next result.
Theorem 1.
Let α ( 0 , 1 ) , t > 0 and f , g α-differentiable functions at t. Then:
( 1 ) N 3 α ( a f + b g ) ( t ) = a N 3 α ( f ) ( t ) + b N 3 α ( g ) ( t ) for all a , b R ,
( 2 ) N 3 α ( f g ) ( t ) = g ( t ) N 3 α ( f ) ( t ) + f ( t ) N 3 α ( g ) ( t ) ,
( 3 ) N 3 α f g ( t ) = g ( t ) N 3 α ( f ) ( t ) f ( t ) N 3 α ( g ) ( t ) g ( t ) 2 ,
( 4 ) N 3 α ( c ) = 0 for every constant function c R ,
( 5 ) N 3 α 1 1 α t 1 α = 1 .
Definition 2.
Let α R and a < b . We define the following linear spaces:
L α , 0 [ a , b ] = f : [ a , b ] R | | t u | α f ( t ) L 1 [ a , b ] for every u [ a , b ] , L α [ a , b ] = f : [ a , b ] R | ( t a ) α f ( t ) , ( b t ) α f ( t ) L 1 [ a , b ] .
Note that, if α 0 , then L α [ a , b ] = L 1 [ a , b ] .
Motivated by this non-conformable derivative, we define the non-conformable integrals that appear in the inequalities of this paper.
Definition 3.
Let α R and 0 < a < b . For each function f L 1 [ a , b ] , we define
N 3 J u α f ( x ) = u x t α f ( t ) d t
for every x , u [ a , b ] .
Definition 4.
Let α R and a < b . For each function f L α , 0 [ a , b ] , let us define the fractional integrals
N 3 J a + α f ( x ) = a x ( x t ) α f ( t ) d t , N 3 J b α f ( x ) = x b ( t x ) α f ( t ) d t ,
for every x [ a , b ] .
The symmetry of these non-conformable integral operators will allow for obtaining new results related to Hermite–Hadamard inequality.

2. Main Results

We start with an equality that will be useful.
Lemma 1.
Let α < 1 , a < b and f : [ a , b ] R be a differentiable function. If f L α 1 [ a , b ] , then
α 1 ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) + f ( b ) + f ( a ) b a = I 0 ,
with
I 0 = 0 1 ( 1 t ) 1 α t 1 α f a t + ( 1 t ) b d t .
Proof. 
First of all, note that Hardy’s inequalities
a b ( t a ) α | f ( t ) | d t K a b ( t a ) 1 α | f ( t ) | d t , a b ( b t ) α | f ( t ) | d t K a b ( b t ) 1 α | f ( t ) | d t
give that f L α [ a , b ] since f L α 1 [ a , b ] and α < 1 .
We can write I 0 as follows:
I 0 = 0 1 ( 1 t ) 1 α f a t + ( 1 t ) b d t 0 1 t 1 α f a t + ( 1 t ) b d t .
Integration by parts gives that the first integral is equal to
0 1 ( 1 t ) 1 α f a t + ( 1 t ) b d t = 1 b a f ( b ) 1 α b a 0 1 ( 1 t ) α f a t + ( 1 t ) b d t = 1 b a f ( b ) 1 α b a a b x a b a α f ( x ) b a d x = 1 b a f ( b ) + α 1 ( b a ) 2 α N 3 J b α f ( a ) .
We obtain, in a similar way,
0 1 t 1 α f a t + ( 1 t ) b d t = 1 b a f ( a ) α 1 ( b a ) 2 α N 3 J a + α f ( b ) .
These equalities give the desired result. □
Lemma 1 allows for proving several inequalities.
Proposition 1.
Let α < 1 , a < b and f : [ a , b ] R be a differentiable function. If f L α 1 [ a , b ] and f ( s ) f ( a + b s ) for every s [ ( a + b ) / 2 , b ] , then
1 α ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) f ( b ) + f ( a ) b a .
Proof. 
We have
I 0 = 0 1 / 2 ( 1 t ) 1 α t 1 α f a t + ( 1 t ) b d t + 1 / 2 1 ( 1 s ) 1 α s 1 α f a s + ( 1 s ) b d s = 0 1 / 2 ( 1 t ) 1 α t 1 α f a t + ( 1 t ) b d t + 0 1 / 2 t 1 α ( 1 t ) 1 α f a ( 1 t ) + b t d t = 0 1 / 2 ( 1 t ) 1 α t 1 α f a t + ( 1 t ) b f a + b a t ( 1 t ) b d t 0 ,
since the integrand is the product of two non-negative functions. Thus, Lemma 1 gives the inequality. □
Corollary 1.
Let α < 1 , a < b and f : [ a , b ] R be a differentiable function. If f L α 1 [ a , b ] , and f is decreasing on [ a , ( a + b ) / 2 ] and increasing on [ ( a + b ) / 2 , b ] , then
1 α ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) f ( b ) + f ( a ) b a .
Proof. 
Since f is decreasing on [ a , ( a + b ) / 2 ] and increasing on [ ( a + b ) / 2 , b ] , we have f ( s ) 0 f ( a + b s ) for every s [ ( a + b ) / 2 , b ] , and Proposition 1 gives the inequality. □
Theorem 2.
Let α ( 0 , 1 ) , a < b and f : [ a , b ] R be a differentiable function. If f L α 1 a , b and f is a convex function, then
1 α ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) f ( a ) + f ( b ) b a ( 1 α ) 2 α 2 ( 2 α ) ( 3 α ) + 5 24 f ( a ) + ( 5 α ) 2 α 2 ( 2 α ) ( 3 α ) + 1 24 f ( b ) .
Proof. 
Since α ( 0 , 1 ) , the function u ( x ) = x 1 α is concave, and thus u ( x ) u ( x 0 ) + u ( x 0 ) ( x x 0 ) for every x 0 and x 0 > 0 . Hence, ( 1 t ) 1 α t 1 α ( 1 α ) ( 1 2 t ) t α for every t ( 0 , 1 ] , and thus | ( 1 t ) 1 α t 1 α | ( 1 α ) ( 1 2 t ) t α for every t ( 0 , 1 / 2 ] , since ( 1 t ) 1 α t 1 α 0 on ( 0 , 1 / 2 ] .
If we define g ( t ) = t 1 α ( 1 t ) 1 α , then
g ( t ) = α ( 1 α ) ( 1 t ) α 1 t α 1 0
for every t [ 1 / 2 , 1 ) , and, thus, since h ( t ) = 2 t 1 satisfies h ( 1 / 2 ) = 0 = g ( 1 / 2 ) and h ( 1 ) = 1 = g ( 1 ) , we conclude t 1 α ( 1 t ) 1 α 2 t 1 for every t [ 1 / 2 , 1 ] . Therefore, | ( 1 t ) 1 α t 1 α | 2 t 1 for every t [ 1 / 2 , 1 ] .
Then, we have
I 0 = 0 1 ( 1 t ) 1 α t 1 α f a t + ( 1 t ) b d t | I 0 | 0 1 / 2 ( 1 α ) ( 1 2 t ) t α | f a t + ( 1 t ) b | d t + 1 / 2 1 ( 2 t 1 ) | f a t + ( 1 t ) b | d t .
Since f is a convex function, we obtain
0 1 / 2 ( 1 2 t ) t α | f a t + ( 1 t ) b | d t 0 1 / 2 ( 1 2 t ) t α t | f ( a ) | d t + 0 1 / 2 ( 1 2 t ) t α ( 1 t ) | f ( b ) | d t = | f ( a ) | t 2 α 2 α 2 t 3 α 3 α 0 1 / 2 + | f ( b ) | t 1 α 1 α 3 t 2 α 2 α + 2 t 3 α 3 α 0 1 / 2 = 2 α 2 ( 2 α ) ( 3 α ) f ( a ) + ( 5 α ) 2 α 2 ( 1 α ) ( 2 α ) ( 3 α ) f ( b ) ,
and
1 / 2 1 ( 2 t 1 ) | f a t + ( 1 t ) b | d t 1 / 2 1 ( 2 t 1 ) t | f ( a ) | d t + 1 / 2 1 ( 2 t 1 ) ( 1 t ) | f ( b ) | d t = | f ( a ) | 2 t 3 3 t 2 2 1 / 2 1 + | f ( b ) | 2 t 3 3 + 3 t 2 2 t 1 / 2 1 = 5 24 f ( a ) + 1 24 f ( b ) .
Hence,
| I 0 | ( 1 α ) 2 α 2 ( 2 α ) ( 3 α ) + 5 24 f ( a ) + ( 5 α ) 2 α 2 ( 2 α ) ( 3 α ) + 1 24 f ( b ) ,
and Lemma 1 gives the inequality. □
The argument in the proof of Theorem 2 also allows for dealing with the case α 0 .
Theorem 3.
Let α < 0 , a < b and f : [ a , b ] R be a differentiable function. Assume that f L α 1 a , b and f is a convex function.
( 1 ) If α ( 1 , 0 ) , then
1 α ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) f ( a ) + f ( b ) b a ( 1 α ) 2 α 2 + 1 α ( 2 α ) ( 3 α ) + 2 + α 24 f ( a ) + ( 5 α ) 2 α 2 1 α ( 2 α ) ( 3 α ) + 7 + 2 α 24 f ( b ) .
( 2 ) If α 1 , then
1 α ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) f ( a ) + f ( b ) b a ( 1 α ) 2 α 2 + 1 α ( 2 α ) ( 3 α ) + 1 24 f ( a ) + ( 5 α ) 2 α 2 1 α ( 2 α ) ( 3 α ) + 5 24 f ( b ) .
Proof. 
Since α < 0 , the function u ( x ) = x 1 α is convex, and thus u ( x ) u ( x 0 ) + u ( x 0 ) ( x x 0 ) for every x , x 0 0 . Hence, ( 1 t ) 1 α t 1 α ( 1 α ) ( 1 2 t ) t α for every t [ 0 , 1 ] , and thus | ( 1 t ) 1 α t 1 α | ( 1 α ) ( 2 t 1 ) t α for every t [ 1 / 2 , 1 ] , since ( 1 t ) 1 α t 1 α 0 on [ 1 / 2 , 1 ] .
If we define G ( t ) = ( 1 t ) 1 α t 1 α , then G ( t ) 0 for every t [ 0 , 1 / 2 ] and
G ( t ) = α ( 1 α ) ( 1 t ) α 1 t α 1 .
If α 1 , then G ( t ) 0 for every t ( 0 , 1 / 2 ] , and, thus, since H ( t ) = 1 2 t satisfies H ( 0 ) = 1 = G ( 0 ) and H ( 1 / 2 ) = 0 = G ( 1 / 2 ) , we conclude ( 1 t ) 1 α t 1 α 1 2 t for every t [ 0 , 1 / 2 ] . Therefore, | ( 1 t ) 1 α t 1 α | 1 2 t for every t [ 0 , 1 / 2 ] . Note that this inequality also holds for α = 0 .
If α ( 1 , 0 ) , then G ( t ) 0 for every t ( 0 , 1 / 2 ] , and so, G ( t ) G ( 0 ) + G ( 0 ) t = 1 + ( α 1 ) t for every t [ 0 , 1 / 2 ] . Therefore, | ( 1 t ) 1 α t 1 α | 1 ( 1 α ) t for every t [ 0 , 1 / 2 ] .
Hence, we have
| I 0 | 0 1 / 2 | ( 1 t ) 1 α t 1 α | | f a t + ( 1 t ) b | d t + 1 / 2 1 ( 1 α ) ( 2 t 1 ) t α | f a t + ( 1 t ) b | d t .
Since f is a convex function, we obtain
1 / 2 1 ( 2 t 1 ) t α | f a t + ( 1 t ) b | d t 1 / 2 1 ( 2 t 1 ) t α t | f ( a ) | d t + 1 / 2 1 ( 2 t 1 ) t α ( 1 t ) | f ( b ) | d t = | f ( a ) | t 2 α 2 α + 2 t 3 α 3 α 1 / 2 1 + | f ( b ) | t 1 α 1 α + 3 t 2 α 2 α 2 t 3 α 3 α 1 / 2 1 = 2 α 2 + 1 α ( 2 α ) ( 3 α ) f ( a ) + ( 5 α ) 2 α 2 1 α ( 1 α ) ( 2 α ) ( 3 α ) f ( b ) .
If α ( 1 , 0 ) , then
0 1 / 2 | ( 1 t ) 1 α t 1 α | | f a t + ( 1 t ) b | d t 0 1 / 2 1 ( 1 α ) t t | f ( a ) | d t + 0 1 / 2 1 ( 1 α ) t ( 1 t ) | f ( b ) | d t = | f ( a ) | t 2 2 ( 1 α ) t 3 3 0 1 / 2 + | f ( b ) | t ( 2 α ) t 2 2 + ( 1 α ) t 3 3 0 1 / 2 = 2 + α 24 f ( a ) + 7 + 2 α 24 f ( b ) .
If α 1 , then
0 1 / 2 | ( 1 t ) 1 α t 1 α | | f a t + ( 1 t ) b | d t 0 1 / 2 ( 1 2 t ) t | f ( a ) | d t + 0 1 / 2 ( 1 2 t ) ( 1 t ) | f ( b ) | d t = 1 24 f ( a ) + 5 24 f ( b ) .
Hence,
| I 0 | ( 1 α ) 2 α 2 + 1 α ( 2 α ) ( 3 α ) + 2 α 24 f ( a ) + ( 5 α ) 2 α 2 1 α ( 2 α ) ( 3 α ) + 7 + 2 α 24 f ( b ) ,
if α ( 1 , 0 ) , and
| I 0 | ( 1 α ) 2 α 2 + 1 α ( 2 α ) ( 3 α ) + 1 8 f ( a ) + ( 5 α ) 2 α 2 1 α ( 2 α ) ( 3 α ) + 5 24 f ( b ) ,
if α 1 . Thus, Lemma 1 gives the inequalities. □
We deal now with the case α = 0 .
Proposition 2.
Let a < b and f : [ a , b ] R be a differentiable function. If f L 1 a , b and f is a convex function, then
1 b a a b f ( t ) d t f ( a ) + f ( b ) 2 b a 8 f ( a ) + f ( b ) .
Proof. 
Let us define α = 0 .
First of all, note that L α 1 [ a , b ] = L 1 [ a , b ] = L 1 [ a , b ] .
In addition, we have | ( 1 t ) 1 α t 1 α | = | 1 2 t | for every t [ 0 , 1 ] . Thus, the argument in the proof of Theorem 3 allows for concluding
1 ( b a ) 2 2 a b f ( t ) d t f ( a ) + f ( b ) b a 1 4 f ( a ) + f ( b ) ,
since
N 3 J b 0 f ( a ) = N 3 J a + 0 f ( b ) = a b f ( t ) d t .
 □
Theorem 4.
Let α < 1 , a < b and f : [ a , b ] R be a differentiable function. If f L α 1 [ a , b ] and f is convex on [ a , b ] , then
1 α ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) f ( a ) + f ( b ) b a 1 2 α 1 2 α f ( a ) + f ( b ) .
Proof. 
By Lemma 1, we have
α 1 ( b a ) 2 α N 3 J b α f ( a ) + N 3 J a + α f ( b ) + f ( a ) + f ( b ) b a = I 0 .
Since f is convex on [ a , b ] , we have | I 0 | J 1 + J 2 , with
J 1 = 0 1 / 2 ( 1 t ) 1 α t 1 α t f ( a ) + ( 1 t ) f ( b ) d t , J 2 = 1 / 2 1 t 1 α ( 1 t ) 1 α t f ( a ) + ( 1 t ) f ( b ) d t .
A simple computation gives
J 1 = f ( a ) 1 ( 3 α ) 2 α 2 ( 2 α ) ( 3 α ) + f ( b ) 1 3 α 2 α 2 2 α , J 2 = f ( a ) 1 3 α 2 α 2 2 α + f ( b ) 1 ( 3 α ) 2 α 2 ( 2 α ) ( 3 α )
and we obtain the inequality by adding these expressions of J 1 and J 2 . □
Let us state a result relating the three integral operators.
Proposition 3.
Let α > 0 , 0 < a < b and f : [ a , b ] [ 0 , ) be a convex function. Then,
N 3 J a α f ( b ) min b a a α N 3 J a + α f ( b ) , b a b α N 3 J b α f ( a ) .
Proof. 
Since
1 t α = t a t α 1 t a α , 1 t α = b t t α 1 b t α ,
for every t ( a , b ) , we obtain
t α b a b α ( t a ) α ,
t α b a a α ( b t ) α ,
for every t ( a , b ) .
Since f 0 , Equation (2) gives
a b f ( t ) t α d t b a b α a b f ( t ) ( t a ) α d t , N 3 J a α f ( b ) b a b α N 3 J b α f ( a ) .
By using Equation (3), we obtain
N 3 J a α f ( b ) b a a α N 3 J a + α f ( b ) .
 □
Theorem 5.
Let α < 1 , a < b and f : [ a , b ] R be a convex function. Then,
N 3 J a + α f ( b ) ( b a ) 1 α f ( b ) ( 1 α ) ( 2 α ) + f ( a ) 2 α , N 3 J b α f ( a ) ( b a ) 1 α f ( a ) ( 1 α ) ( 2 α ) + f ( b ) 2 α .
Proof. 
By using the convexity of f, we obtain
N 3 J b α f ( a ) = a b f ( t ) ( t a ) α d t = ( b a ) 1 α a b f ( t ) t a b a α d t b a = ( b a ) 1 α 0 1 f s b + ( 1 s ) a s α d s ( b a ) 1 α 0 1 s f ( b ) + ( 1 s ) f ( a ) s α d s = ( b a ) 1 α f ( a ) ( 1 α ) ( 2 α ) + f ( b ) 2 α .
The other inequality follows from a similar argument. □
Theorem 6.
Let α > 0 , 0 < a < b and f : [ a , b ] R be a convex function. Then,
1 b α f a + b 2 1 b a N 3 J a α f ( b ) 1 a α f ( b ) + f ( a ) 2 .
Furthermore, if 0 < α < 1 and f 0 , then
1 b α f a + b 2 1 b a N 3 J a α f ( b ) min 1 a α f ( b ) + f ( a ) 2 , 1 b α f ( a ) ( 1 α ) ( 2 α ) + f ( b ) 2 α .
Proof. 
Since b α t α a α , the classical Hermite–Hadamard inequality gives
1 b α f a + b 2 1 b a N 3 J a α f ( b ) 1 a α f ( b ) + f ( a ) 2 .
If 0 < α < 1 and f 0 , then Proposition 3 and Theorem 5 give
1 b a N 3 J a α f ( b ) min 1 a α f ( b ) ( 1 α ) ( 2 α ) + f ( a ) 2 α , 1 b α f ( a ) ( 1 α ) ( 2 α ) + f ( b ) 2 α .
Since 0 < ( 1 α ) ( 2 α ) < ( 2 α ) < 2 , we obtain
1 a α f ( b ) + f ( a ) 2 < 1 a α f ( b ) ( 1 α ) ( 2 α ) + f ( a ) 2 α ,
and thus we have
1 b a N 3 J a α f ( b ) min 1 a α f ( b ) + f ( a ) 2 , 1 b α f ( a ) ( 1 α ) ( 2 α ) + f ( b ) 2 α .
 □
Theorem 7.
Let α 1 , 2 , 0 < a < b and f : [ a , b ] R be a convex function. Then,
N 3 J a α f ( b ) f ( b ) b 1 α 1 α b 2 α a 2 α ( b a ) ( 1 α ) ( 2 α ) + f ( a ) b 2 α a 2 α ( b a ) ( 1 α ) ( 2 α ) a 1 α 1 α .
Proof. 
The change of variables t = b s + a ( 1 s ) and the convexity of f give
1 b a N 3 J a α f ( b ) = 1 b a a b f ( t ) t α d t = 0 1 f b s + a ( 1 s ) b s + a ( 1 s ) α d s f ( b ) 0 1 s b s + a ( 1 s ) α d s + f ( a ) 0 1 ( 1 s ) b s + a ( 1 s ) α d s .
Integration by parts gives
0 1 s b s + a ( 1 s ) α d s = b 1 α ( b a ) ( 1 α ) b 2 α a 2 α ( b a ) 2 ( 1 α ) ( 2 α ) , 0 1 ( 1 s ) b s + a ( 1 s ) α d s = a 1 α ( b a ) ( 1 α ) + b 2 α a 2 α ( b a ) 2 ( 1 α ) ( 2 α )
and this finishes the proof. □

Author Contributions

The authors contributed equally to this work.

Funding

This paper was supported in part by two grants from the Ministerio de Economía y Competititvidad, Agencia Estatal de Investigación (AEI) and the Fondo Europeo de Desarrollo Regional (FEDER) (MTM2016-78227- C2-1-P and MTM2017-90584-REDT), Spain.

Acknowledgments

We would like to thank the referees for their careful reading of the manuscript and for some helpful suggestions that have improved the paper.

Conflicts of Interest

The authors declare no conflict of interest. The founding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results.

References

  1. Fink, A.M. An Essay on the History of Inequalities. J. Math. Anal. Appl. 2000, 249, 118–134. [Google Scholar] [CrossRef] [Green Version]
  2. Hardy, G.H.; Littlewood, J.E.; Pólya, G. Inequalities; Cambridge University Press: Cambridge, UK, 1934. [Google Scholar]
  3. Hadamard, J. Etude sur les proprietes des fonctions entieres et en particulier d’une fonction consideree par Riemann. J. Math. Pures Appl. 1893, 58, 171–215. [Google Scholar]
  4. Dragomir, S.S.; Pearce, C.E.M. Selected Topics on Hermite–Hadamard Inequalities and Applications; RGMIA Monographs, Victoria University: Footscray, Australia, 2000. [Google Scholar]
  5. Kórus, P. An extension of the Hermite–Hadamard inequality for convex and s-convex functions. Aequat. Math. 2019. [Google Scholar] [CrossRef]
  6. Huang, C.-J.; Rahman, G.; Nisar, K.S.; Ghaffar, A.; Qi, F. Some inequalities of the Hermite–Hadamard type for k-fractional conformable integrals. Aust. J. Math. Anal. Appl. 2019, 16, 1–9. [Google Scholar]
  7. Khan, M.A.; Chu, Y.-M.; Kashuri, A.; Liko, R.; Ali, G. Conformable Fractional Integrals Versions of Hermite–Hadamard Inequalities and Their Generalizations. J. Funct. Spaces 2019, 2018, 9. [Google Scholar]
  8. Li, M.; Wang, J.-R.; O’Regan, D. Existence and Ulam’s Stability for Conformable Fractional Differential Equations with Constant Coefficients. Bull. Malays. Math. Sci. Soc. 2017. [Google Scholar] [CrossRef]
  9. Mohammed, P.O.; Hamasalh, F.K. New Conformable Fractional Integral Inequalities of Hermite–Hadamard Type for Convex Functions. Symmetry 2019, 11, 263. [Google Scholar] [CrossRef]
  10. Portilla, A.; Tourís, E. A characterization of Gromov hyperbolicity of surfaces with variable negative curvature. Publ. Mat. 2009, 53, 83–110. [Google Scholar] [CrossRef] [Green Version]
  11. Qi, F.; Habib, S.; Mubeen, S.; Naeem, M.N. Generalized k-fractional conformable integrals and related inequalities. AIMS Math. 2019, 4, 343–358. [Google Scholar] [CrossRef]
  12. Sarikaya, M.Z.; Yildirim, H. On Hermite–Hadamard type inequalities for Riemann–Liouville fractional integrals. Miskolc Math. Notes 2017, 17, 1049–1059. [Google Scholar] [CrossRef]
  13. Wang, J.R.; Li, X.; Feckan, M.; Zhou, Y. Hermite–Hadamard-type inequalities for Riemann–Liouville fractional integrals via two kinds of convexity. Appl. Anal. 2013, 92, 1–13. [Google Scholar] [CrossRef]
  14. Zhu, C.; Feckan, M.; Wang, J. Fractional integral inequalities for differentiable convex mappings and applications to special means and a midpoint formula. J. Appl. Math. Stat. Inform. 2012, 8, 21–28. [Google Scholar] [CrossRef]
  15. Basci, Y.; Baleanu, D. New aspects of Opial-type integral inequalities. Adv. Diff. Equ. 2018, 452, 1–11. [Google Scholar]
  16. Basci, Y.; Baleanu, D. Hardy-type inequalities within fractional derivatives without singular kernel. J. Ineq. Appl. 2018, 304, 1–11. [Google Scholar]
  17. Khalil, R.; Horani, M.A.; Yousef, A.; Sababheh, M. A new definition of fractional derivative. J. Comput. Appl. Math. 2014, 264, 65–70. [Google Scholar] [CrossRef]
  18. Nápoles Valdés, J.E.; Guzman, P.M.; Lugo, L.M. Some New Results on Nonconformable Fractional Calculus. Adv. Dyn. Syst. Appl. 2018, 13, 167–175. [Google Scholar]
  19. Gómez-Aguilar, J.F. Novel analytical solutions of the fractional Drude model. Optik 2018, 168, 728–740. [Google Scholar] [CrossRef]
  20. Gómez-Aguilar, J.F. Analytical and Numerical solutions of a nonlinear alcoholism model via variable-order fractional differential equations. Phys. A Stat. Mech. Appl. 2018, 494, 52–75. [Google Scholar] [CrossRef]
  21. Ilie, M.; Biazar, J.; Ayati, Z. Analytical study of exact traveling wave solutions for time-fractional nonlinear Schrödinger equations. Opt. Quantum Electron. 2018, 50, 1–15. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Nápoles Valdés, J.E.; Rodríguez, J.M.; Sigarreta, J.M. New Hermite–Hadamard Type Inequalities Involving Non-Conformable Integral Operators. Symmetry 2019, 11, 1108. https://doi.org/10.3390/sym11091108

AMA Style

Nápoles Valdés JE, Rodríguez JM, Sigarreta JM. New Hermite–Hadamard Type Inequalities Involving Non-Conformable Integral Operators. Symmetry. 2019; 11(9):1108. https://doi.org/10.3390/sym11091108

Chicago/Turabian Style

Nápoles Valdés, Juan E., José M. Rodríguez, and José M. Sigarreta. 2019. "New Hermite–Hadamard Type Inequalities Involving Non-Conformable Integral Operators" Symmetry 11, no. 9: 1108. https://doi.org/10.3390/sym11091108

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop