Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Journal of Inequalities and Applications
Erschienen in: Journal of Inequalities and Applications 1/2013

Open Access 01.12.2013 | Research

Riemann-Liouville fractional Hermite-Hadamard inequalities. Part II: for twice differentiable geometric-arithmetically s-convex functions

verfasst von: YuMei Liao, JianHua Deng, JinRong Wang

Erschienen in: Journal of Inequalities and Applications | Ausgabe 1/2013

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
insite
INHALT
download
DOWNLOAD
print
DRUCKEN
insite
SUCHEN
loading …

Abstract

Motivated by the definition of geometric-arithmetically s-convex functions in (Shuang et al. in Analysis 33:197-208, 2013) and second-order fractional integral identities in (Zhang and Wang in J. Inequal. Appl. 2013:220, 2013; Wang et al. in Appl. Anal. 2012, doi:10.1080/00036811.2012.727986), we establish some interesting Riemann-Liouville fractional Hermite-Hadamard inequalities for twice differentiable geometric-arithmetically s-convex functions via beta function and incomplete beta function.
MSC:26A33, 26A51, 26D15.

1 Introduction

Fractional calculus, which is a generalization of classical differentiation and integration to arbitrary order, was born in 1695. In the past three hundred years, fractional calculus developed not only in pure theoretical field but also in diverse fields ranging from physical sciences and engineering to biological sciences and economics [1‐8].
The classical Hermite-Hadamard inequalities have attracted many researchers since 1893. Researchers investigated Hermite-Hadamard inequalities involving fractional integrals according to the associated fractional integral equalities and different types of convex functions. For instance, one can refer to [9‐11] for convex functions and to [12] for nondecreasing functions, to [13‐15] for m-convex functions and to [16] for ( s , m ) -convex functions, to [17] for functions satisfying s-e-condition, to [18] for ( α , m ) -logarithmically convex functions and see the references therein.
In [19], Shuang et al. introduced a new concept of geometric-arithmetically s-convex functions and presented interesting Hermite-Hadamard type inequalities for integer integrals of such functions. In [20], the authors used the definition of geometric-arithmetically s-convex functions in [19] and applied first-order fractional integral identities in [9, 10, 14] to establish some interesting Riemann-Liouville fractional Hermite-Hadamard inequalities for once differentiable geometric-arithmetically s-convex functions.
However, fractional Hermite-Hadamard inequalities for twice geometric-arithmetically s-convex functions have not been reported. In this work, we continue the development in [20]. Note that Wang et al. [13, 16] presented some elementary fractional integral equalities for twice differential functions. Motivated by [13, 16, 19], we study Riemann-Liouville fractional Hermite-Hadamard type inequalities for geometric-arithmetically s-convex functions by means of first-order fractional integral equalities.

2 Preliminaries

In this section, we introduce notations, definitions, and preliminary facts.
Definition 2.1 (see [3])
Let f ∈ L [ a , b ] . The symbols J a + α f and J b − α f denote the left-sided and right-sided Riemann-Liouville fractional integrals of the order α ∈ R + and are defined by
( J a + α f ) ( x ) = 1 Γ ( α ) ∫ a x ( x − t ) α − 1 f ( t ) d t ( 0 ≤ a < x ≤ b )
and
( J b − α f ) ( x ) = 1 Γ ( α ) ∫ x b ( t − x ) α − 1 f ( t ) d t ( 0 ≤ a ≤ x < b ) ,
respectively, here Γ ( ⋅ ) is the gamma function.
Definition 2.2 (see [19])
Let f : I ⊆ R + → R + and s ∈ ( 0 , 1 ] . A function f ( x ) is said to be geometric-arithmetically s-convex on I if for every x , y ∈ I and t ∈ [ 0 , 1 ] , we have
f ( x t y 1 − t ) ≤ t s ( f ( x ) ) + ( 1 − t ) s f ( y ) .
Definition 2.3 (see [21])
The incomplete beta function is defined as follows:
B x ( a , b ) = ∫ 0 x t a − 1 ( 1 − t ) b − 1 d t ,
where x ∈ [ 0 , 1 ] , a , b > 0 .
The following inequality will be used in the sequel.
Lemma 2.4 (see [18])
For t ∈ [ 0 , 1 ] , we have
( 1 − t ) n ≤ 2 1 − n − t n for n ∈ [ 0 , 1 ] , ( 1 − t ) n ≥ 2 1 − n − t n for n ∈ [ 1 , ∞ ) .
The following elementally inequality was used in the proof directly in [19]. Here, we revisit this inequality from the point of our view and give a proof in [20].
Lemma 2.5 (see [20])
For t ∈ [ 0 , 1 ] , x , y > 0 , we have
t x + ( 1 − t ) y ≥ y 1 − t x t .
We introduce the following integral identities.
Lemma 2.6 (see [16])
Let f : [ a , b ] → R be a twice differentiable mapping on ( a , b ) with a < b . If f ″ ∈ L [ a , b ] , then the following equality for fractional integrals holds:
f ( a ) + f ( b ) 2 − Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] = ( b − a ) 2 2 ∫ 0 1 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 f ″ ( t a + ( 1 − t ) b ) d t .
Lemma 2.7 (see [13])
Let f : [ a , b ] → R be a twice differentiable mapping on ( a , b ) with a < b . If f ″ ∈ L [ a , b ] , then
Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] − f ( a + b 2 ) = ( b − a ) 2 2 ∫ 0 1 m ( t ) f ″ ( t a + ( 1 − t ) b ) d t ,
where
m ( t ) = { t − 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 , t ∈ [ 0 , 1 2 ) , 1 − t − 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 , t ∈ [ 1 2 , 1 ) .
Lemma 2.8 (see [13])
Let f : [ a , b ] → R be a twice differentiable mapping on ( a , b ) with a < b . If f ″ ∈ L [ a , b ] , r > 0 , then
f ( a ) + f ( b ) r ( r + 1 ) + 2 r + 1 f ( a + b 2 ) − Γ ( α + 1 ) r ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] = ( b − a ) 2 ∫ 0 1 k ( t ) f ″ ( t a + ( 1 − t ) b ) d t ,
where
k ( t ) = { 1 − ( 1 − t ) α + 1 − t α + 1 r ( α + 1 ) − t r + 1 , t ∈ [ 0 , 1 2 ) , 1 − ( 1 − t ) α + 1 − t α + 1 r ( α + 1 ) − 1 − t r + 1 , t ∈ [ 1 2 , 1 ) .

3 The first main results

By using Lemma 2.6, we can obtain the main results in this section.
Theorem 3.1 Let f : [ 0 , b ] → R be a differentiable mapping. If | f ″ | is measurable and | f ″ | is decreasing and geometric-arithmetically s-convex on [ 0 , b ] for some fixed α ∈ ( 0 , ∞ ) , s ∈ ( 0 , 1 ] , 0 ≤ a < b , then the following inequality for fractional integrals holds:
| f ( a ) + f ( b ) 2 − Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 ( | f ″ ( a ) | + | f ″ ( b ) | ) 2 ( α + 1 ) ( 1 s + 1 − 1 α + s + 2 ) .
Proof By using Definition 2.2, Lemma 2.5 and Lemma 2.6, we have
| f ( a ) + f ( b ) 2 − Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 2 ∫ 0 1 | 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 | | f ″ ( t a + ( 1 − t ) b ) | d t ≤ ( b − a ) 2 2 ( α + 1 ) ∫ 0 1 ( 1 − ( 1 − t ) α + 1 − t α + 1 ) | f ″ ( t a + ( 1 − t ) b ) | d t ≤ ( b − a ) 2 2 ( α + 1 ) ∫ 0 1 ( 1 − ( 1 − t ) α + 1 − t α + 1 ) | f ″ ( a t b 1 − t ) | d t ≤ ( b − a ) 2 2 ( α + 1 ) ∫ 0 1 ( 1 − ( 1 − t ) α + 1 − t α + 1 ) [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ − ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) ∫ 0 1 t α + s + 1 d t + ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) ∫ 0 1 t s d t − ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) ∫ 0 1 t s ( 1 − t ) α + 1 d t − ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) ∫ 0 1 ( 1 − t ) α + s + 1 d t − ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) ∫ 0 1 t α + 1 ( 1 − t ) s d t + ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) ∫ 0 1 ( 1 − t ) s d t ≤ − ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) 1 α + s + 2 + ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) 1 s + 1 − ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) B ( s + 1 , α + 2 ) − ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) 1 α + s + 2 + ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) 1 s + 1 − ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) B ( s + 1 , α + 2 ) ≤ ( b − a ) 2 ( | f ″ ( a ) | + | f ″ ( b ) | ) 2 ( α + 1 ) ( 1 s + 1 − 1 α + s + 2 ) .
The proof is done. □
Theorem 3.2 Let f : [ 0 , b ] → R be a differentiable mapping and 1 < q < ∞ . If | f ″ | q is measurable and | f ″ | q is decreasing and geometric-arithmetically s-convex on [ 0 , b ] for some fixed α ∈ ( 0 , ∞ ) , s ∈ ( 0 , 1 ] , 0 ≤ a < b , then the following inequality for fractional integrals holds:
| f ( a ) + f ( b ) 2 − Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 max { 1 − 2 1 − α , 2 1 − α − 1 } 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q .
Proof To achieve our aim, we divide our proof into two cases.
Case 1: α ∈ ( 0 , 1 ) . By using Definition 2.2, Lemma 2.4, Lemma 2.5, Hölder’s inequality and Lemma 2.6, we have
| f ( a ) + f ( b ) 2 − Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 2 ∫ 0 1 | 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 | | f ″ ( t a + ( 1 − t ) b ) | d t ≤ ( b − a ) 2 2 ( α + 1 ) ( ∫ 0 1 | 1 − ( 1 − t ) α − t α | p d t ) 1 p ( ∫ 0 1 | f ″ ( t a + ( 1 − t ) b ) | q d t ) 1 q ≤ ( b − a ) 2 2 ( α + 1 ) ( ∫ 0 1 | 1 − ( 1 − t ) α − t α | p d t ) 1 p ( ∫ 0 1 | f ″ ( a t b 1 − t ) | q d t ) 1 q ≤ ( b − a ) 2 2 ( α + 1 ) ( ∫ 0 1 | 1 − ( 1 − t ) α − t α | p d t ) 1 p ( ∫ 0 1 [ t s | f ″ ( a ) | q + ( 1 − t ) s | f ″ ( b ) | q ] d t ) 1 q ≤ ( b − a ) 2 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 [ ( 1 − t ) α + t α − 1 ] p d t ) 1 p ≤ ( b − a ) 2 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 [ 2 1 − α − 1 ] p d t ) 1 p ≤ ( b − a ) 2 ( 2 1 − α − 1 ) 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ,
where 1 p + 1 q = 1 .
Case 2: α ∈ [ 1 , ∞ ) . By using Definition 2.2, Lemma 2.4, Lemma 2.5, Hölder’s inequality and Lemma 2.6, we have
| f ( a ) + f ( b ) 2 − Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 [ 1 − ( 1 − t ) α − t α ] p d t ) 1 p ≤ ( b − a ) 2 ( 1 − 2 1 − α ) 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q .
The proof is done. □

4 The second main results

By using Lemma 2.7, we can obtain the main results in this section.
Theorem 4.1 Let f : [ 0 , b ] → R be a differentiable mapping. If | f ″ | is measurable and | f ″ | is decreasing geometric-arithmetically s-convex functions on [ 0 , b ] for some fixed α ∈ ( 0 , ∞ ) , s ∈ ( 0 , 1 ] , 0 ≤ a < b , then the following inequality for fractional integrals holds:
| Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] − f ( a + b 2 ) | ≤ ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) [ α − α 2 − s − 1 − 2 − s − 1 1 + s − α + 1 2 + s + 2 B ( s + 1 , α + 2 ) + 1 α + s + 2 ] + ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) [ α 2 − s − 1 + 2 − s − 1 − 1 1 + s + 1 α + s + 2 + 2 B ( α + 2 , s + 1 ) ] ,
where
∫ 0 1 t s ( 1 − t ) α + 1 d t = B ( s + 1 , α + 2 ) .
Proof By using Definition 2.2, Lemma 2.5 and Lemma 2.7, we have
| Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] − f ( a + b 2 ) | ≤ ( b − a ) 2 2 ∫ 0 1 | m ( t ) | | f ″ ( t a + ( 1 − t ) b ) | d t ≤ ( b − a ) 2 2 ∫ 0 1 | m ( t ) | | f ″ ( a t b 1 − t ) | d t ≤ ( b − a ) 2 2 ∫ 0 1 | m ( t ) | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ ( b − a ) 2 2 ∫ 1 2 1 | 1 − t − 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t + ( b − a ) 2 2 ∫ 0 1 2 | t − 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ ( b − a ) 2 2 ( α + 1 ) ∫ 1 2 1 | α − t α − t + ( 1 − t ) α + 1 + t α + 1 | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t + ( b − a ) 2 2 ( α + 1 ) ∫ 0 1 2 | t α + t − 1 + ( 1 − t ) α + 1 + t α + 1 | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ ( b − a ) 2 2 ( α + 1 ) | f ″ ( a ) | ∫ 1 2 1 [ α t s − ( α + 1 ) t s + 1 + t s ( 1 − t ) α + 1 + t α + s + 1 ] d t + ( b − a ) 2 2 ( α + 1 ) | f ″ ( b ) | ∫ 1 2 1 [ α ( 1 − t ) s − ( α + 1 ) t ( 1 − t ) s + ( 1 − t ) α + s + 1 + t α + 1 ( 1 − t ) s ] d t + ( b − a ) 2 2 ( α + 1 ) | f ″ ( a ) | ∫ 0 1 2 [ − t s + ( α + 1 ) t s + 1 + t s ( 1 − t ) α + 1 + t α + s + 1 ] d t + ( b − a ) 2 2 ( α + 1 ) | f ″ ( b ) | ∫ 0 1 2 [ − ( 1 − t ) s + ( α + 1 ) t ( 1 − t ) s + ( 1 − t ) α + s + 1 + t α + 1 ( 1 − t ) s ] d t ≤ ( b − a ) 2 2 ( α + 1 ) | f ″ ( a ) | [ α 1 − 2 − s − 1 1 + s − ( α + 1 ) 1 − 2 − s − 2 2 + s + B ( s + 1 , α + 2 ) + 1 − 2 − α − s − 2 α + s + 2 ] + ( b − a ) 2 2 ( α + 1 ) | f ″ ( b ) | [ α 2 − s − 1 s + 1 − ( α + 1 ) B ( 2 , s + 1 ) + 2 − α − s − 2 α + s + 2 + B ( α + 2 , s + 1 ) ] + ( b − a ) 2 2 ( α + 1 ) | f ″ ( a ) | [ − 2 − s − 1 s + 1 + ( α + 1 ) 2 − s − 2 s + 2 + B ( α + 2 , s + 1 ) + 2 − α − s − 2 α + s + 2 ] + ( b − a ) 2 2 ( α + 1 ) | f ″ ( b ) | [ − 1 − 2 − s − 1 1 + s + ( α + 1 ) B ( 2 , s + 1 ) + 1 − 2 − α − s − 2 α + s + 2 + B ( α + 2 , s + 1 ) ] ≤ ( b − a ) 2 | f ″ ( a ) | 2 ( α + 1 ) [ α − α 2 − s − 1 − 2 − s − 1 1 + s − α + 1 2 + s + 2 B ( s + 1 , α + 2 ) + 1 α + s + 2 ] + ( b − a ) 2 | f ″ ( b ) | 2 ( α + 1 ) [ α 2 − s − 1 + 2 − s − 1 − 1 1 + s + 1 α + s + 2 + 2 B ( α + 2 , s + 1 ) ] .
The proof is done. □
Theorem 4.2 Let f : [ 0 , b ] → R be a differentiable mapping. | f ″ | is measurable and 1 < q < ∞ . If | f ″ | q is decreasing and geometric-arithmetically s-convex on [ 0 , b ] for some fixed α ∈ ( 0 , ∞ ) , s ∈ ( 0 , 1 ] , 0 ≤ a < b , then the following inequality for fractional integrals holds:
Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] − f ( a + b 2 ) ≤ ( b − a ) 2 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ( α + 1 ) 2 − p − 1 + ( α + 0.5 ) p + 1 − α p + 1 p + 1 ) 1 p ,
where 1 p + 1 q = 1 .
Proof By using Definition 2.2, Lemma 2.5, Hölder’s inequality and Lemma 2.7, we have
| Γ ( α + 1 ) 2 ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] − f ( a + b 2 ) | ≤ ( b − a ) 2 2 ∫ 0 1 | m ( t ) | | f ″ ( t a + ( 1 − t ) b ) | d t ≤ ( b − a ) 2 2 ( ∫ 0 1 | m ( t ) | p d t ) 1 p ( ∫ 0 1 | f ″ ( t a + ( 1 − t ) b ) | q d t ) 1 q ≤ ( b − a ) 2 2 ( ∫ 0 1 | m ( t ) | p d t ) 1 p ( ∫ 0 1 | f ″ ( a t b 1 − t ) | q d t ) 1 q ≤ ( b − a ) 2 2 ( ∫ 0 1 | m ( t ) | p d t ) 1 p ( ∫ 0 1 [ t s | f ″ ( a ) | q + ( 1 − t ) s | f ″ ( b ) | q ] d t ) 1 q ≤ ( b − a ) 2 2 ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 | m ( t ) | p d t ) 1 p ≤ ( b − a ) 2 2 ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 2 | t − 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 | p d t + ∫ 1 2 1 | 1 − t − 1 − ( 1 − t ) α + 1 − t α + 1 α + 1 | p d t ) 1 p ≤ ( b − a ) 2 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 2 | α t + t − 1 + ( 1 − t ) α + 1 + t α + 1 | p d t + ∫ 1 2 1 | α − t + ( 1 − t ) α + 1 + t α + 1 | p d t ) 1 p ≤ ( b − a ) 2 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ( α + 1 ) ∫ 0 1 2 t p d t + ∫ 1 2 1 ( α − t + 1 ) p d t ) 1 p ≤ ( b − a ) 2 2 ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ( α + 1 ) 2 − p − 1 + ( α + 0.5 ) p + 1 − α p + 1 p + 1 ) 1 p .
The proof is done. □

5 The third main results

By using Lemma 2.8, we can obtain the main results in this section.
Theorem 5.1 Let f : [ 0 , b ] → R be a differentiable mapping. If | f ″ | is measurable and | f ″ | is decreasing and geometric-arithmetically s-convex on [ 0 , b ] for some fixed α ∈ ( 0 , ∞ ) , s ∈ ( 0 , 1 ] , 0 ≤ a < b , then the following inequality for fractional integrals holds:
| f ( a ) + f ( b ) r ( r + 1 ) + 2 r + 1 f ( a + b 2 ) − Γ ( α + 1 ) r ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 r ( r + 1 ) ( α + 1 ) max { [ r + 1 − ( r + 1 ) 2 − α ] [ 2 − s − 1 | f ″ ( a ) | s + 1 + ( 1 − 2 − s − 1 ) | f ″ ( b ) | s + 1 ] − r ( α + 1 ) [ 2 − s − 2 | f ″ ( a ) | s + 2 + B 0.5 ( 2 , s + 1 ) | f ″ ( b ) | ] , r ( α + 1 ) [ 2 − s − 2 | f ″ ( a ) | s + 2 + B 0.5 ( 2 , s + 1 ) | f ″ ( b ) | ] } + ( b − a ) 2 r ( r + 1 ) ( α + 1 ) max { [ r + 1 − ( r + 1 ) 2 − α − r ( α + 1 ) ] × [ ( 1 − 2 − s − 1 ) | f ″ ( a ) | s + 1 − 2 − s − 1 | f ″ ( b ) | s + 1 ] + r ( α + 1 ) [ ( 1 − 2 − s − 2 ) | f ″ ( a ) | s + 2 + B 0.5 ( s + 1 , 2 ) | f ″ ( b ) | ] , r ( α + 1 ) [ ( 1 − 2 − s − 1 ) | f ″ ( a ) | − 2 − s − 1 | f ″ ( b ) | s + 1 − ( 1 − 2 − s − 2 ) | f ″ ( a ) | s + 2 − B 0.5 ( s + 1 , 2 ) | f ″ ( b ) | ] } .
Proof By using Definition 2.2, Definition 2.3, Lemma 2.5 and Lemma 2.8, we have
| f ( a ) + f ( b ) r ( r + 1 ) + 2 r + 1 f ( a + b 2 ) − Γ ( α + 1 ) r ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 ∫ 0 1 | k ( t ) | | f ″ ( t a + ( 1 − t ) b ) | d t ≤ ( b − a ) 2 ∫ 0 1 | k ( t ) | | f ″ ( a t b 1 − t ) | d t ≤ ( b − a ) 2 ∫ 0 1 | k ( t ) | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ ( b − a ) 2 ∫ 0 1 2 | 1 − ( 1 − t ) α + 1 − t α + 1 r ( α + 1 ) − t r + 1 | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t + ( b − a ) 2 ∫ 1 2 1 | 1 − ( 1 − t ) α + 1 − t α + 1 r ( α + 1 ) − 1 − t r + 1 | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ ( b − a ) 2 r ( r + 1 ) ( α + 1 ) ∫ 0 1 2 | r + 1 − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − tr ( α + 1 ) | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t + ( b − a ) 2 r ( r + 1 ) ( α + 1 ) ∫ 1 2 1 | r + 1 + tr ( α + 1 ) − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − r ( α + 1 ) | [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ ( b − a ) 2 r ( r + 1 ) ( α + 1 ) max { [ r + 1 − ( r + 1 ) 2 − α ] [ 2 − s − 1 | f ″ ( a ) | s + 1 + ( 1 − 2 − s − 1 ) | f ″ ( b ) | s + 1 ] − r ( α + 1 ) [ 2 − s − 2 | f ″ ( a ) | s + 2 + B 0.5 ( 2 , s + 1 ) | f ″ ( b ) | ] , r ( α + 1 ) [ 2 − s − 2 | f ″ ( a ) | s + 2 + B 0.5 ( 2 , s + 1 ) | f ″ ( b ) | ] } + ( b − a ) 2 r ( r + 1 ) ( α + 1 ) max { [ r + 1 − ( r + 1 ) 2 − α − r ( α + 1 ) ] × [ ( 1 − 2 − s − 1 ) | f ″ ( a ) | s + 1 − 2 − s − 1 | f ″ ( b ) | s + 1 ] + r ( α + 1 ) [ ( 1 − 2 − s − 2 ) | f ″ ( a ) | s + 2 + B 0.5 ( s + 1 , 2 ) | f ″ ( b ) | ] , r ( α + 1 ) [ ( 1 − 2 − s − 1 ) | f ″ ( a ) | − 2 − s − 1 | f ″ ( b ) | s + 1 − ( 1 − 2 − s − 2 ) | f ″ ( a ) | s + 2 − B 0.5 ( s + 1 , 2 ) | f ″ ( b ) | ] } ,
where we have used the following inequalities:
∫ 0 1 2 [ r + 1 − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − tr ( α + 1 ) ] [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ [ r + 1 − ( r + 1 ) 2 − α ] ∫ 0 1 2 [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t − r ( α + 1 ) ∫ 0 1 2 [ t s + 1 | f ″ ( a ) | + t ( 1 − t ) s | f ″ ( b ) | ] d t ≤ [ r + 1 − ( r + 1 ) 2 − α ] [ 2 − s − 1 | f ″ ( a ) | s + 1 + ( 1 − 2 − s − 1 ) | f ″ ( b ) | s + 1 ] − r ( α + 1 ) [ 2 − s − 2 | f ″ ( a ) | s + 2 + B 0.5 ( 2 , s + 1 ) | f ″ ( b ) | ] ,
and
∫ 0 1 2 [ − r − 1 + ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) + tr ( α + 1 ) ] [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ [ − r − 1 + ( r + 1 ) ] ∫ 0 1 2 [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t + r ( α + 1 ) ∫ 0 1 2 [ t s + 1 | f ″ ( a ) | + t ( 1 − t ) s | f ″ ( b ) | ] d t ≤ r ( α + 1 ) [ 2 − s − 2 | f ″ ( a ) | s + 2 + B 0.5 ( 2 , s + 1 ) | f ″ ( b ) | ] ,
and
∫ 1 2 1 [ r + 1 + tr ( α + 1 ) − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − r ( α + 1 ) ] [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ [ r + 1 − ( r + 1 ) 2 − α − r ( α + 1 ) ] ∫ 1 2 1 [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t + r ( α + 1 ) ∫ 1 2 1 [ t s + 1 | f ″ ( a ) | + t ( 1 − t ) s | f ″ ( b ) | ] d t ≤ [ r + 1 − ( r + 1 ) 2 − α − r ( α + 1 ) ] [ ( 1 − 2 − s − 1 ) | f ″ ( a ) | s + 1 − 2 − s − 1 | f ″ ( b ) | s + 1 ] + r ( α + 1 ) [ ( 1 − 2 − s − 2 ) | f ″ ( a ) | s + 2 + B 0.5 ( s + 1 , 2 ) | f ″ ( b ) | ] ,
and
∫ 1 2 1 [ − r − 1 − tr ( α + 1 ) + ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) + r ( α + 1 ) ] [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t ≤ [ − r − 1 + ( r + 1 ) + r ( α + 1 ) ] ∫ 1 2 1 [ t s | f ″ ( a ) | + ( 1 − t ) s | f ″ ( b ) | ] d t − r ( α + 1 ) ∫ 1 2 1 [ t s + 1 | f ″ ( a ) | + t ( 1 − t ) s | f ″ ( b ) | ] d t ≤ r ( α + 1 ) [ ( 1 − 2 − s − 1 ) | f ″ ( a ) | s + 1 − 2 − s − 1 | f ″ ( b ) | s + 1 ] − r ( α + 1 ) [ ( 1 − 2 − s − 2 ) | f ″ ( a ) | s + 2 + B 0.5 ( s + 1 , 2 ) | f ″ ( b ) | ] ≤ r ( α + 1 ) [ ( 1 − 2 − s − 1 ) | f ″ ( a ) | − 2 − s − 1 | f ″ ( b ) | s + 1 − ( 1 − 2 − s − 2 ) | f ″ ( a ) | s + 2 − B 0.5 ( s + 1 , 2 ) | f ″ ( b ) | ] .
The proof is done. □
Theorem 5.2 Let f : [ 0 , b ] → R be a differentiable mapping. | f ″ | is measurable and 1 < q < ∞ . If | f ″ | q is decreasing and geometric-arithmetically s-convex on [ 0 , b ] for some fixed α ∈ ( 0 , ∞ ) , s ∈ ( 0 , 1 ] , 0 ≤ a < b , then the following inequality for fractional integrals holds:
| f ( a ) + f ( b ) r ( r + 1 ) + 2 r + 1 f ( a + b 2 ) − Γ ( α + 1 ) r ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 [ r ( r + 1 ) ( α + 1 ) ] 1 + p − 1 ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q × ( max { [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) − ( 1 + r ) 2 − α ] p + 1 , [ r ( α + 1 ) ] p + 1 2 − p − 1 } + max { [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) + ( 1 + r ) 2 − α ] p + 1 , [ 0.5 r ( α + 1 ) ] p + 1 } ) 1 p ,
where 1 p + 1 q = 1 .
Proof By using Definition 2.2, Lemma 2.5, Hölder’s inequality and Lemma 2.8, we have
| f ( a ) + f ( b ) r ( r + 1 ) + 2 r + 1 f ( a + b 2 ) − Γ ( α + 1 ) r ( b − a ) α [ J a + α f ( b ) + J b − α f ( a ) ] | ≤ ( b − a ) 2 ∫ 0 1 | k ( t ) | | f ″ ( t a + ( 1 − t ) b ) | d t ≤ ( b − a ) 2 ( ∫ 0 1 | k ( t ) | p d t ) 1 p ( ∫ 0 1 | f ″ ( t a + ( 1 − t ) b ) | q d t ) 1 q ≤ ( b − a ) 2 ( ∫ 0 1 | k ( t ) | p d t ) 1 p ( ∫ 0 1 | f ″ ( a t b 1 − t ) | q d t ) 1 q ≤ ( b − a ) 2 ( ∫ 0 1 | k ( t ) | p d t ) 1 p ( ∫ 0 1 [ t s | f ″ ( a ) | q + ( 1 − t ) s | f ″ ( b ) | q ] d t ) 1 q ≤ ( b − a ) 2 ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 | k ( t ) | p d t ) 1 p ≤ ( b − a ) 2 ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 2 | 1 − ( 1 − t ) α + 1 − t α + 1 r ( α + 1 ) − t r + 1 | p d t + ∫ 1 2 1 | 1 − ( 1 − t ) α + 1 − t α + 1 r ( α + 1 ) − 1 − t r + 1 | p d t ) 1 p ≤ ( b − a ) 2 r ( r + 1 ) ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q ( ∫ 0 1 2 | r + 1 − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − tr ( α + 1 ) | p d t + ∫ 1 2 1 | r + 1 + tr ( α + 1 ) − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − r ( α + 1 ) | p d t ) 1 p ≤ ( b − a ) 2 r ( r + 1 ) ( α + 1 ) ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q × ( max { [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) − ( 1 + r ) 2 − α ] p + 1 r ( α + 1 ) ( p + 1 ) , [ r ( α + 1 ) ] p + 1 2 − p − 1 r ( α + 1 ) ( p + 1 ) } + max { [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) + ( 1 + r ) 2 − α ] p + 1 r ( α + 1 ) ( p + 1 ) , [ 0.5 r ( α + 1 ) ] p + 1 r ( α + 1 ) ( p + 1 ) } ) 1 p ≤ ( b − a ) 2 [ r ( r + 1 ) ( α + 1 ) ] 1 + p − 1 ( | f ″ ( a ) | q + | f ″ ( b ) | q s + 1 ) 1 q × ( max { [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) − ( 1 + r ) 2 − α ] p + 1 , [ r ( α + 1 ) ] p + 1 2 − p − 1 } + max { [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) + ( 1 + r ) 2 − α ] p + 1 , [ 0.5 r ( α + 1 ) ] p + 1 } ) 1 p ,
where we have used the following inequalities:
∫ 0 1 2 [ r + 1 − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − tr ( α + 1 ) ] p d t ≤ [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) − ( 1 + r ) 2 − α ] p + 1 r ( α + 1 ) ( p + 1 ) ,
and
∫ 0 1 2 [ − r − 1 + ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) + tr ( α + 1 ) ] p d t ≤ [ r ( α + 1 ) ] p + 1 2 − p − 1 r ( α + 1 ) ( p + 1 ) ,
and
∫ 1 2 1 [ r + 1 + tr ( α + 1 ) − ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) − r ( α + 1 ) ] p d t ≤ [ r + 1 − ( r + 1 ) 2 − α ] p + 1 − [ 1 + 0.5 r ( 1 − α ) + ( 1 + r ) 2 − α ] p + 1 r ( α + 1 ) ( p + 1 ) ,
and
∫ 1 2 1 [ − r − 1 − tr ( α + 1 ) + ( r + 1 ) ( t α + 1 + ( 1 − t ) α + 1 ) + r ( α + 1 ) ] p d t ≤ [ 0.5 r ( α + 1 ) ] p + 1 r ( α + 1 ) ( p + 1 ) .
The proof is done. □

Acknowledgements

This work is supported by the National Natural Science Foundation of China (11201091), Key Projects of Science and Technology Research in the Chinese Ministry of Education (211169), Key Support Subject (Applied Mathematics) and Key project on the reforms of teaching contents and course system of Guizhou Normal College.
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://​creativecommons.​org/​licenses/​by/​2.​0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Vorheriger Artikel Solving a class of functional equations using fixed point theorems
Nächster Artikel Existence and uniqueness of a common fixed point under a limit contractive condition
insite
INHALT
download
DOWNLOAD
print
DRUCKEN
Literatur
1.
Baleanu D, Machado JAT, Luo ACJ: Fractional Dynamics and Control. Springer, New York; 2012.MATHCrossRef
2.
Diethelm K Lecture Notes in Mathematics. The Analysis of Fractional Differential Equations 2010.CrossRef
3.
Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.MATH
4.
Lakshmikantham V, Leela S, Devi JV: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge; 2009.MATH
5.
Miller KS, Ross B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York; 1993.MATH
6.
Michalski, MW: Derivatives of Noninteger Order and Their Applications. Diss. Math. CCCXXVIII. Inst. Math., Polish Acad. Sci. (1993)
7.
Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.MATH
8.
Tarasov VE: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Berlin; 2011.
9.
Sarikaya MZ, Set E, Yaldiz H, Başak N: Hermite-Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 2013, 57: 2403–2407. 10.1016/j.mcm.2011.12.048MATHCrossRef
10.
Zhu C, Fečkan M, Wang J: Fractional integral inequalities for differentiable convex mappings and applications to special means and a midpoint formula. J. Appl. Math. Statist. Inform. 2012, 8: 21–28.MATHCrossRef
11.
Latif MA, Dragomir SS, Matouk AE: New inequalities of Ostrowski type for co-ordinated convex functions via fractional integrals. J. Frac. Calc. Appl. 2012, 2: 1–15.
12.
Wang, J, Li, X, Zhu, C: Refinements of Hermite-Hadamard type inequalities involving fractional integrals. Bull. Belg. Math. Soc. Simon Stevin (2013, in press)
13.
Zhang Y, Wang J: On some new Hermite-Hadamard inequalities involving Riemann-Liouville fractional integrals. J. Inequal. Appl. 2013., 2013: Article ID 220
14.
Set E: New inequalities of Ostrowski type for mappings whose derivatives are s -convex in the second sense via fractional integrals. Comput. Math. Appl. 2012, 63: 1147–1154. 10.1016/j.camwa.2011.12.023MATHMathSciNetCrossRef
15.
Wang J, Deng J, Fečkan M: Hermite-Hadamard type inequalities for r -convex functions via Riemann-Liouville fractional integrals. Ukr. Math. J. 2013, 65: 193–211. 10.1007/s11253-013-0773-yMATHCrossRef
16.
Wang J, Li X, Fečkan M, Zhou Y: Hermite-Hadamard-type inequalities for Riemann-Liouville fractional integrals via two kinds of convexity. Appl. Anal. 2012. 10.1080/00036811.2012.727986
17.
Wang, J, Deng, J, Fečkan, M: Exploring s-e-condition and applications to some Ostrowski type inequalities via Hadamard fractional integrals. Math. Slovaca (2013, in press)
18.
Deng J, Wang J:Fractional Hermite-Hadamard inequalities for ( α , m ) -logarithmically convex functions. J. Inequal. Appl. 2013., 2013: Article ID 364 10.1186/1029-242X-2013-364
19.
Shuang Y, Yin HP, Qi F: Hermite-Hadamard type integral inequalities for geometric-arithmetically s -convex functions. Analysis 2013, 33: 197–208. 10.1524/anly.2013.1192MathSciNetCrossRef
20.
Liao Y, Deng J, Wang J: Riemann-Liouville fractional Hermite-Hadamard inequalities. Part I: for once differentiable Geometric-Arithmetically s -convex functions. J. Inequal. Appl. 2013., 2013: Article ID 443
21.
DiDonato AR, Jarnagin MP: The efficient calculation of the incomplete beta-function ratio for half-integer values of the parameters. Math. Comput. 1967, 21: 652–662.MATHMathSciNet
Metadaten
Titel
Riemann-Liouville fractional Hermite-Hadamard inequalities. Part II: for twice differentiable geometric-arithmetically s-convex functions
verfasst von
YuMei Liao
JianHua Deng
JinRong Wang
Publikationsdatum
01.12.2013
Verlag
Springer International Publishing
Erschienen in
Journal of Inequalities and Applications / Ausgabe 1/2013
Elektronische ISSN: 1029-242X
DOI
https://doi.org/10.1186/1029-242X-2013-517

Weitere Artikel der Ausgabe 1/2013

Journal of Inequalities and Applications 1/2013 Zur Ausgabe

Research

A note on G-preinvex functions

Research

A generalizations of Simpson’s type inequality for differentiable functions using -convex functions and applications

Research

General Toeplitz operators on weighted Bloch-type spaces in the unit ball of

Research

An interior approximal method for solving pseudomonotone equilibrium problems

Research

Growth estimates for modified Neumann integrals in a half-space

Research

Error estimate for minimal norm SBF interpolation