On Caputo fractional derivatives via exponential $(s,m)$-convex functions

1. Introduction

Convexity plays an important role in many features of mathematical programming including, for example, sufficient optimality conditions and duality theorems. The topic of convex functions has been treated extensively in the classical book by Hardy, Littlewood and Polya [1]. The study of fractional order derivatives and integrals is called fractional calculus. Fractional calculus have important applications in all fields of applied sciences. Fractional integration and fractional differentiation appear as basic part in the subject of partial differential equations [2, 3]. Many types of fractional integral as well as differential operators have been defined in literature. Classical Caputo-fractional derivatives were introduced by Michele Caputo in [4] in 1967. Toader [5] defined the $m$-convexity as follows:

Definition 1. The function $\mathrm{\Psi }:[u,v]\to \mathbb{R},$ is said to be convex, if we have% $$\mathrm{\Psi }(\tau z_1+(1-\tau )z_2)\le \tau \mathrm{\Psi }(z_1)+(1-\tau )\mathrm{\Psi }(z_2)$$ for all $z_1,z_2\in [u,v]$ and $\tau \in [0,1].$

Definition 2.(see[6]) The function $\mathrm{\Psi }:I\subseteq \mathrm{\Re }$ is exponential-convex, if $$\mathrm{\Psi }(\tau z_1+(1-\tau )z_2)\le \tau e^{-\alpha z_1}\mathrm{\Psi }(z_1)+(1-\tau )e^{-\alpha z_2}\mathrm{\Psi }(z_2)$$ for all$\tau \in [0,1]$and $z_1,z_2\in I$ and $\alpha \in \mathrm{\Re }$.

Definition 3.(see[7]) The function $\mathrm{\Psi }:I\subset [0,\mathrm{\infty })⟶\mathrm{\Re }$ is $s$-convex in second sense with $s\in [0,1],$ if $$\mathrm{\Psi }(\tau z_1+(1-\tau )z_2)\le {\tau }^s\mathrm{\Psi }(z_1)+(1-\tau {)}^s\mathrm{\Psi }(z_2)$$ for all$\tau \in [0,1)$and $z_1,z_2\in I$ and $\alpha \in \mathrm{\Re }.$

Definition 4.(see[8]) The function $\mathrm{\Psi }:I\subset [0,\mathrm{\infty })⟶\mathrm{\Re }$ is exponential $s$-convex in second sense with $s\in [0,1],$ if $$\mathrm{\Psi }(\tau z_1+(1-\tau )z_2)\le {\tau }^s{e}^{-\beta z_1}\mathrm{\Psi }(z_1)+(1-\tau {)}^s{e}^{-\beta z_2}\mathrm{\Psi }(z_2)$$ for\ all$\tau \in [0,1]$and\ $z_1,z_2\in I$ and $\beta \in \mathrm{\Re }.$

Definition 5.(see[9]) The function $\mathrm{\Psi }:K\to \mathrm{\Re }$ is $(s,m)$-convex in second sense with $s\in [0,1],$ and $K\subseteq [0,\mathrm{\infty }]$ be an interval, if $$\mathrm{\Psi }(\tau z_1+(1-\tau )z_2)\le {\tau }^s\mathrm{\Psi }(z_1)+(1-\tau {)}^{s}m\mathrm{\Psi }(z_2)$$ for all$\tau \in [0,1]$and $z_1,z_2\in [0,\mathrm{\infty }]$.

Definition 6. The function $\mathrm{\Psi }:K\to \mathrm{\Re }$ is exponential $(s,m)$-convex in second sense with $s\in [0,1],$ and $K\subseteq [0,\mathrm{\infty }]$ be an interval, if $$\mathrm{\Psi }(\tau z_1+(1-\tau )z_2)\le {\tau }^s{e}^{-\beta z_1}\mathrm{\Psi }(z_1)+(1-\tau {)}^s{e}^{-\beta z_2}m\mathrm{\Psi }(z_2)$$ for all$\tau \in [0,1]$and\ $z_1,z_2\in [0,\mathrm{\infty }]$ and $\beta \in \mathrm{\Re }.$

The previous era of fractional calculus is as old as the history of differential calculus. They generalize the differential operators and ordinary integral. However, the fractional derivatives have some basic properties than the corresponding classical ones. On the other hand, besides the smooth requirement, Caputo derivative does not coincide with the classical derivative [10]. We give the following definition of Caputo fractional derivatives, see [2, 11, 12, 13].

Definition 7. let $\mathrm{\Psi }\in A{C}^n[u,v]$ be a space of functions having $nth$ derivatives absolutely continuous with $\lambda >0$ and $\lambda \notin \{1,2,3,...\}$, $n=[\lambda ]+1$. The right sided Caputo fractional derivative is as follows:

The left sided caputo fractional derivative is as follows: The Caputo fractional derivative $({}^C{D}_{u+}^n\mathrm{\Psi })(z)$ coincides with ${\mathrm{\Psi }}^{(n)}(z)$ whereas $({}^C{D}_{v-}^n\mathrm{\Psi })(z)$ coincides with ${\mathrm{\Psi }}^{(n)}(z)$ with exactness to a constant multiplier $(-1{)}^n$, if $\mathrm{\Lambda }=n\in \{1,2,3,...\}$ and usual derivative ${\mathrm{\Psi }}^{(n)}(z)$ of order $n$ exists. In particular. we have where $n=1$ and $\lambda =0$.

In this paper, we establish several new integral inequalities including Caputo fractional derivatives for exponential $(s,m)$-convex functions. By using convexity for exponential $(s,m)$-convex functions of any positive integer order differentiable function some novel results are given. The purpose of this paper is to introduce some fractional inequalities for the Caputo-fractional derivatives via $(s,m)$-convex functions which have derivatives of any integer order.

2. Main Results

First we give the following estimate of the sum of left and right handed Caputo fractional derivatives.

Theorem 1. Let $f:I⟶\mathbb{R}$ be a real valued $n$-time differentiable function where $n$ is a positive integer. If $f^{(n)}$ is a positive $(s,m)$-convex function, then for $u,v\in I;u<v$ and ${\lambda }_1,{\lambda }_2\ge 1$, the following inequality for Caputo fractional derivatives holds:

Proof. Let us consider the function $f$ on the interval $[u,z],z\in [u,v]$ and $n$ is a positive integer. For $\tau \in [u,z]$ and $n>\alpha$, the following inequality holds:

Since $f^{(n)}$ is exponential $(s,m)$-convex therefore for $\tau \in [u,z]$, we have Multiplying inequalities (5) and (6), then integrating with respect to $\tau$ over $[u,z]$, we have $${\int }_u^z(z-\tau {)}^{n-{\lambda }_1}{f}^{(n)}(\tau )d\tau \le {\displaystyle \frac{(z-u{)}^{n-{\lambda }_1}}{(z-u{)}^s}}[e^{-\beta u}{f}^{(n)}(u){\int }_u^z(z-\tau {)}^{s}d\tau +m{e}^{-\beta z}{f}^{(n)}(z){\int }_u^z(\tau -u{)}^{s}d\tau ].$$ Now we consider function $f$ on the interval $[z,v],z\in [u,v]$. For $\tau \in [z,v]$, the following inequality holds: Since $f^{(n)}$ is exponential $(s,m)$-convex on $[u,v]$, therefore for $\tau \in [z,v]$, we have Multiplying inequalities (8) and (9), then integrating with respect to $\tau$ over $[z,v]$, we have $${\int }_z^v(\tau -z{)}^{n-{\lambda }_2}{f}^{(n)}(\tau )d\tau \le {\displaystyle \frac{(v-z{)}^{n-{\lambda }_2}}{(v-z{)}^s}}[e^{-\beta v}{f}^{(n)}(v){\int }_z^v(\tau -z{)}^{s}d\tau +m{e}^{-\beta z}{f}^{(n)}(z){\int }_z^v(v-\tau {)}^{s}d\tau ]$$ Adding (7) and (10) we get the required inequality in (4).

Corollary 1. By setting ${\lambda }_1={\lambda }_2$ in (4) we get the following fractional integral inequality:

Remark 1. By setting $s=1$ the inequality will be of the form:

Remark 2. By setting ${\lambda }_1={\lambda }_2$, $\beta =0$, $s=1$ and $m=1$, we will get Corollary 2.1 of [14].

Now, we give the next result stated in the following theorem.

Theorem 2. Let $f:I⟶\mathbb{R}$ be a real valued $n$-time differentiable function where $n$ is a positive integer. If $|f^{(n+1)}|$ is exponential (s,m)-convex function, then for $u,v\in I;u0$, the following inequality for Caputo fractional derivatives holds

Proof. Since $|f^{(n+1)}|$ is exponential $(s,m)$-convex function and $n$ is a positive integer, therefore for $\tau \in [u,z]$ and $n>\alpha$, we have $$|f^{(n+1)}(\tau )|\le {\left({\displaystyle \frac{z-\tau }{z-u}}\right)}^s{e}^{-\beta u}|f^{(n+1)}(u)|+m{\left({\displaystyle \frac{\tau -u}{z-u}}\right)}^s{e}^{-\beta z}|f^{(n+1)}(z)|$$ from which we can write

We consider the second inequality of inequality (14) Now for ${\lambda }_1>0$, we have The product of last two inequalities give $$(z-\tau {)}^{n-{\lambda }_1}{f}^{(n+1)}(\tau )\le (z-u{)}^{n-{\lambda }_1-s}((z-\tau {)}^s{e}^{-\beta u}|f^{(n+1)}(u)|+m(\tau -u{)}^s{e}^{-\beta z}|f^{(n+1)}(z)|).$$ Integrating with respect to $\tau$ over $[u,z]$, we have and $$\begin{array}{rl}{\int }_u^z(z-\tau {)}^{n-{\lambda }_1}{f}^{(n+1)}(\tau )d\tau & =f^{(n)}(\tau )(z-\tau {)}^{n-{\lambda }_1}{|}_u^z+(n-{\lambda }_1){\int }_u^z(z-\tau {)}^{n-{\lambda }_1-1}{f}^{(n)}(\tau )d\tau \\ & =-f^{(n)}(u)(z-u{)}^{n-{\lambda }_1}+\mathrm{\Gamma }(n-{\lambda }_1+1)({}^C{D}_{u+}^{{\lambda }_1}f)(z).\end{array}$$ Therefore (17) takes the form: If one consider from (14) the first inequality and proceed as we did for the second inequality, then following inequality can be obtained: From (18) and (19), we get On the other hand, for $\tau \in [z,v]$, using convexity of $|f^{(n+1)}|$ as a exponential $(s,m)$-convex function, we have Also for $\tau \in [z,v]$ and $\beta >0$, we have By adopting the same treatment as we have done for (14) and (16) one can obtain from (21) and (22) the following inequality: By combining the inequalities (20) and (23) via triangular inequality we get the required inequality.

It is interesting to see the following inequalities as a special case.

Corollary 2. By setting ${\lambda }_1={\lambda }_2$ in (13), we get the following fractional integral inequality: $$\begin{array}{rl}& |\mathrm{\Gamma }(n-{\lambda }_1+1)[({}^C{D}_{u+}^{{\lambda }_1}f)(z)+({}^C{D}_{v-}^{{\lambda }_1}f)(z)]-((z-u{)}^{n-{\lambda }_1}{f}^{(n)}(u)+(v-z{)}^{n-{\lambda }_1}{f}^{(n)}(v))|\\ & \le \frac{(z-u{)}^{n-{\lambda }_1+1}{e}^{-\beta u}|f^{(n+1)}(u)|+(v-z{)}^{n-{\lambda }_1+1}{e}^{-\beta v}|f^{(n+1)}(v)|}{s+1}\\ & +m\frac{e^{-\beta z}|f^{(n+1)}(z)|[(z-u{)}^{n-{\lambda }_1+1}+(v-z{)}^{n-{\lambda }_1+1}]}{s+1}.\end{array}$$

Remark 3. By setting $s=1$ the inequality will be of the form, $$\begin{array}{rl}& |\mathrm{\Gamma }(n-{\lambda }_1+1)[({}^C{D}_{u+}^{{\lambda }_1}f)(z)+({}^C{D}_{v-}^{{\lambda }_1}f)(z)]-((z-u{)}^{n-{\lambda }_1}{f}^{(n)}(u)+(v-z{)}^{n-{\lambda }_1}{f}^{(n)}(v))|\\ & \le \frac{(z-u{)}^{n-{\lambda }_1+1}{e}^{-\beta u}|f^{(n+1)}(u)|+(v-z{)}^{n-{\lambda }_1+1}{e}^{-\beta v}|f^{(n+1)}(v)|}{2}\\ & +m\frac{e^{-\beta z}|f^{(n+1)}(z)|[(z-u{)}^{n-{\lambda }_1+1}+(v-z{)}^{n-{\lambda }_1+1}]}{2}.\end{array}$$

Remark 4. By setting ${\lambda }_1={\lambda }_2$, $\beta =0$, $s=1$ and $m=1$, we will get Corollary 2.2 of [14].

Before going to the next theorem we observe the following result.

Lemma 1. Let $f:[u,v]⟶\mathbb{R}$, be a exponential (s,m)-convex function. If $f$ is exponentially symmetric about $\frac{u+v}{2}$, then the following inequality holds

Proof. Since $f$ is exponential (s,m)-convex we have

Since $f$ is symmetric about $\frac{a+b}{2}$, therefore we get $f(u+v-z)=f(v\tau +(1-\tau )u)$. By substituting $z=(u\tau +(1-\tau )v)$ where $z\in [u,v]$, we get $$\begin{array}{rl}& f\left(\frac{u+v}{2}\right)\le \frac{1}{2^s}(e^{-\beta z}f(z)+m{e}^{-\beta (u+v-z)}f(u+v-z)).\end{array}$$ Also $f$ is exponentially symmetric about $\frac{u+v}{2}$, therefore we have $f(u+v-z)=f(z)$ and inequality in (24) holds.

Theorem 2. Let $f:I⟶\mathbb{R}$ be a real valued $n$-time differentiable function where $n$ is a positive integer. If $f^{(n)}$ is a positive exponential (s,m)- convex and symmetric about $\frac{u+v}{2}$, then for $u,v\in I;u<v$ and ${\lambda }_1,{\lambda }_2\ge 1$, the following inequality for Caputo fractional derivatives holds

where $h(\beta )=e^{\beta v}$ for $\beta <0$ and $h(\beta )=e^{\beta u}$ for $\beta \ge 0$.

Proof. For $z\in [u,v]$, we have

Also $f$ is exponential $(s,m)$-convex function, we have Multiplying (28) and (29) and then integrating with respect to $z$ over $[u,v]$, we have $${\int }_u^v(z-u{)}^{n-{\lambda }_2}{f}^{(n)}(z)dz\le \frac{(v-u{)}^{n-{\lambda }_2}}{(v-u{)}^s}({\int }_u^v{e}^{-\beta v}(f^{(n)}(v)(z-u{)}^s+e^{-\beta u}m{f}^{(n)}(u)(v-z{)}^s)dz).$$ From which we have On the other hand for $z\in [u,v]$ we have Multiplying (29) and (31) and then integrating with respect to $z$ over $[u,v]$, we get $${\int }_u^v(v-z{)}^{n-{\lambda }_1}{f}^{(n)}(z)dz\le (v-u{)}^{n-{\lambda }_1+1}\frac{e^{-\beta u}m{f}^{(n)}(u)+e^{-\beta v}{f}^{(n)}(v)}{s+1}.$$ From which we have Adding (30) and (32) we get the second inequality. $$\frac{\mathrm{\Gamma }(n-{\lambda }_2+1)({}^C{D}_{v-}^{{\lambda }_2-1}f)(u)}{2(v-u{)}^{n-{\lambda }_2+1}}+\frac{\mathrm{\Gamma }(n-{\lambda }_1+1)({}^C{D}_{u+}^{{\lambda }_1-1}f)(v)}{2(v-u{)}^{n-{\lambda }_1+1}}\le \frac{e^{-\beta u}m{f}^{(n)}(u)+e^{-\beta v}{f}^{(n)}(v)}{s+1}.$$ Since $f^{(n)}$ is exponential s-convex and symmetric about $\frac{u+v}{2}$ using Lemma $\text{???}$, we have Multiplying with $(z-u{)}^{n-{\lambda }_2}$ on both sides and then integrating over $[u,v]$, we have By definition of Caputo fractional derivatives for exponential $(s,m)$-convex function, one can have Multiplying (33) with $(v-z{)}^{n-{\lambda }_1}$, then integrating over $[u,v]$, one can get Adding (35) and (36), we get the first inequality.

Corollary 3. If we put ${\lambda }_1={\lambda }_2$ in (27), then we get $$\frac{h(\beta )2^s}{(1+m)}{f}^{(n)}\left(\frac{u+v}{2}\right)\frac{1}{(n-{\lambda }_1+1)}\le \frac{\mathrm{\Gamma }(n-{\lambda }_1+1)}{(2)(v-u{)}^{{\lambda }_1+1}}[({}^C{D}_{v-}^{{\lambda }_1+1}f)(u)+({}^C{D}_{u+}^{{\lambda }_1+1}f)(v)]\le \frac{e^{-\beta u}{f}^{(n)}(u)+e^{-\beta v}{f}^{(n)}(v)}{s+1}$$ \noindent where $h(\beta )=e^{\beta v}$ for $\beta <0$ and $h(\beta )=e^{\beta u}$ for $\beta \ge 0$.

Remark By setting $\gamma =0$, $s=1$ and $s=1$ in Theorem 3 we will get Theorem 2.3 of [14].

Autho Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflict of Interests

The authors declare no conflict of interest.