# RETRACTED ARTICLE: Fuzzy fractional Ostrowski inequality with Caputo differentiability

## Abstract

### Abstract

The use of fractional inequalities in mathematical models is increasingly widespread in recent years. In this manuscript, we firstly propose the right Caputo derivative of fuzzy-valued functions about fractional order ν ($0<\nu <1$). To this end, we consider two types of differentiability (similar to the non-fractional case). Then we derive the equivalent integral forms of original fuzzy fractional differential equations. Finally, we prove the fuzzy Ostrowski inequality involving three functions under Caputo’s differentiability. In this regard, we state some new results.

## 1 Introduction

In 1938, Ostrowski proved the following important inequality :

Theorem 1.1 Let $f:\left[a,b\right]\to \mathbb{R}$ be continuous on $\left[a,b\right]$ and differentiable on $\left(a,b\right)$ whose derivative ${f}^{\prime }:\left(a,b\right)\to \mathbb{R}$ is bounded on $\left(a,b\right)$, i.e., ${\parallel {f}^{\prime }\parallel }_{\mathrm{\infty }}={sup}_{t\in \left(a,b\right)}|{f}^{\prime }\left(t\right)|<\mathrm{\infty }$. Then

$|\frac{1}{b-a}{\int }_{a}^{b}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt-f\left(x\right)|\le \left[\frac{1}{4}+\frac{{\left(x-\frac{a+b}{2}\right)}^{2}}{{\left(b-a\right)}^{2}}\right]\left(b-a\right){\parallel {f}^{\prime }\parallel }_{\mathrm{\infty }}$

for any $x\in \left[a,b\right]$.

The constant $\frac{1}{4}$ is best possible in the sense that it cannot be replaced by a smaller one. This inequality gives an upper bound for the approximation of the integral average $\frac{1}{b-a}{\int }_{a}^{b}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt$ by the value f at a point $x\in \left(a,b\right)$. We notice that the first generalization of Ostrowski’s inequality was given by Milovanovic and Pecaric in .

In recent years, these inequalities have been studied by many researchers, and numerous generalizations, extensions and variants of them have been considered in a number of papers (see Refs.  and the references therein). In this way, some new types of inequalities such as inequalities of Ostrowski-Gruss type, inequalities of Ostrowski-Chebyshev type, etc. were formed. The first inequality of Ostrowski-Gruss type was given by Dragomir and Wang in , and it was generalized and improved by Matic, Pecaric and Ujevic in . Also, Cheng gave a sharp version of the mentioned inequality in .

In [3, 14] Pachpatte has proved the Ostrowski inequality in three independent variables. In the past few years, many authors have obtained various generalizations of this type of inequality and many researchers worked on a fractional form of it as well as on time scale calculus (see, for example, Refs.  and the references therein).

We mention that these inequalities were applied for Euler’s beta mapping and special means such as the arithmetic mean, the geometric mean, the harmonic mean and so on (for more details, see Ref.  and the references therein). In  the authors have applied this inequality for the error bounds of general Riemman’s quadrature formulae in terms of ${\parallel {f}^{\mathrm{\prime }}\parallel }_{1}$.

The main purpose of this manuscript is to establish Ostrowski-type inequality involving Caputo differentiability. So, we propose the right fuzzy Caputo derivative and the fuzzy right fractional Taylor formula in order to prove Ostrowski’s inequality. Then we use these concepts to prove this inequality involving three functions. Some more details about fuzzy differential equations and their applications can be found in Refs.  and the references therein.

This manuscript is organized as follows. In Section 2, we recall some basic concepts. In Section 3, we firstly propose the right Caputo derivative in the sense of $\left[\left(i\right)-\nu \right]$-differentiability and $\left[\left(ii\right)-\nu \right]$-differentiability, then the equivalent integral form of the original fuzzy fractional differential equation is obtained. After that, we prove the fuzzy Ostrowski inequality involving three functions.

## 2 Basic concepts

We denote the set of all real numbers by , and the set of all fuzzy numbers on is indicated by ${R}_{F}$. A fuzzy number is a mapping $u:\mathbb{R}\to \left[0,1\right]$ with the following properties:

1. (a)

u is upper semi-continuous,

2. (b)

u is fuzzy convex, i.e., $u\left(\lambda x+\left(1-\lambda \right)y\right)\ge min\left\{u\left(x\right),u\left(y\right)\right\}$ for all $x,y\in \mathbb{R}$, $\lambda \in \left[0,1\right]$,

3. (c)

u is normal, i.e., $\mathrm{\exists }{x}_{0}\in \mathbb{R}$ for which $u\left({x}_{0}\right)=1$,

4. (d)

$suppu=\left\{x\in \mathbb{R}|u\left(x\right)>0\right\}$ is the support of the u, and its closure $cl\left(suppu\right)$ is compact.

For $u,v\in {R}_{F}$ and $\lambda \in \mathbb{R}$, we define uniquely the sum $u\oplus v$ and the product $\lambda \odot u$ by

${\left[u\oplus v\right]}^{r}={\left[u\right]}^{r}+{\left[v\right]}^{r},\phantom{\rule{2em}{0ex}}{\left[\lambda \odot u\right]}^{r}=\lambda {\left[u\right]}^{r},\phantom{\rule{1em}{0ex}}\mathrm{\forall }r\in \left[0,1\right],$

where ${\left[u\right]}^{r}+{\left[v\right]}^{r}$ means the usual addition of two integrals (as subsets of ) and $\lambda {\left[u\right]}^{r}$ means the usual product between a scalar and a subset of .

Define $D:{R}_{F}×{R}_{F}⟶{\mathbb{R}}_{+}$ by

$D\left(u,v\right):=\underset{r\in \left[0,1\right]}{sup}max\left\{|{u}_{-}\left(r\right)-{v}_{-}\left(r\right)|,|{u}_{+}\left(r\right)-{v}_{+}\left(r\right)|\right\},$
(1)

where

${\left[v\right]}^{r}=\left[{v}_{-}\left(r\right),{v}_{+}\left(r\right)\right],\phantom{\rule{1em}{0ex}}u,v\in {R}_{F}.$
(2)

We have that D is a metric on ${R}_{F}$. Then $\left({R}_{F},D\right)$ is a complete metric space with the following properties:

$D\left(u\oplus w,v\oplus w\right)=D\left(u,v\right)$, $\mathrm{\forall }u,v,w\in {R}_{F}$,

$D\left(k\odot u,k\odot v\right)=|k|D\left(u,v\right)$, $\mathrm{\forall }u,v\in {R}_{F}$, $\mathrm{\forall }k\in \mathbb{R}$,

$D\left(u\oplus v,w\oplus e\right)=D\left(u,w\right)+D\left(v,e\right)$, $\mathrm{\forall }u,v,w,e\in {R}_{F}$.

Let us consider $x,y\in {R}_{F}$. If there exists $z\in {R}_{F}:x=y\oplus z$, then we call z the H-difference on x and y, denoted by $x\ominus y$.

Let us consider $f:\left[a,b\right]\to {R}_{F}$. We say that f is fuzzy Riemann integrable to $I\in {R}_{F}$ if for any $ϵ>0$, there exists $\delta >0$ such that for any division $P=\left\{\left[u,v\right];\xi \right\}$ of $\left[a,b\right]$ with the norms $\mathrm{\Delta }\left(P\right)<\delta$, we have

$D\left(\sum _{P}^{\ast }\left(v-u\right)\odot f\left(\xi \right),I\right)<ϵ,$
(3)

and we write

$I:=\left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx.$
(4)

Let $f:\left[a,b\right]\to {R}_{F}$ be fuzzy continuous. Then $\left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx$ exists and belongs to ${R}_{F}$; furthermore, it holds ${\left[\left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right]}^{r}=\left[{\int }_{a}^{b}{\left(f\right)}_{-}\left(r\right)\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,{\left(f\right)}_{+}\left(r\right)\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right]$, $\mathrm{\forall }r\in \left[0,1\right]$.

We consider $f\in {C}_{F}\left(\left[a,b\right]\right)$ and $c\in \left[a,b\right]$. Then $\left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx=\left(FR\right){\int }_{a}^{c}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx+\left(FR\right){\int }_{c}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx$.

Let $f,g\in {C}_{F}\left(\left[a,b\right]\right)$ and ${c}_{1},{c}_{2}\in \left[a,b\right]$. Then $\left(FR\right){\int }_{a}^{b}\left({c}_{1}f\left(x\right)+{c}_{2}g\left(x\right)\right)\phantom{\rule{0.2em}{0ex}}dx={c}_{1}\left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx+{c}_{2}\left(FR\right){\int }_{a}^{b}g\left(x\right)\phantom{\rule{0.2em}{0ex}}dx$. Also, if $f,g:\left[a,b\right]\subseteq R\to {R}_{F}$ are fuzzy continuous functions, then the function $F:\left[a,b\right]\to {\mathbb{R}}_{+}$ defined by $F\left(x\right):=D\left(f\left(x\right),g\left(x\right)\right)$ is continuous on $\left[a,b\right]$, and

$D\left(\left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,\left(FR\right){\int }_{a}^{b}g\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right)$
(5)
$\phantom{\rule{1em}{0ex}}\le {\int }_{a}^{b}D\left(f\left(x\right),g\left(x\right)\right)\phantom{\rule{0.2em}{0ex}}dx.$
(6)

Let $f\in {C}_{F}\left(\left[a,b\right]\right)$, $0<\nu <1$. Then we define the fuzzy fractional left Riemann-Liouville operator as

${I}_{a+}^{\nu }f\left(x\right)=\frac{1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{a}^{x}{\left(x-t\right)}^{\nu -1}\odot f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,\phantom{\rule{1em}{0ex}}x\in \left[a,b\right].$
(7)

Also, we define the fuzzy fractional right Riemann-Liouville operator by

${I}_{b-}^{\nu }f\left(x\right)=\frac{1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,\phantom{\rule{1em}{0ex}}x\in \left[a,b\right].$
(8)

Above, Γ denotes the gamma function

$\mathrm{\Gamma }\left(\nu \right)={\int }_{0}^{\mathrm{\infty }}{e}^{-t}{t}^{\nu -1}\phantom{\rule{0.2em}{0ex}}dt.$
(9)

## 3 Main results

In this section, we state some definitions and results about the right fuzzy Caputo derivative and the fuzzy right fractional Taylor formula in order to prove the Ostrowski inequality involving three functions.

Definition 3.1 Let $f\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$, ${f}^{\mathrm{\prime }}$ be integrable. Then the right fuzzy Caputo derivative of f for $0<\nu <1$ and $x\in \left[a,b\right]$ is denoted by ${D}_{{b}^{-}}^{\nu }f\left(x\right)\in {R}_{F}$ and defined by

${D}_{{b}^{-}}^{\nu }f\left(x\right)=\frac{\left(-1\right)}{\mathrm{\Gamma }\left(1-\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{-\nu }\odot {f}^{\prime }\left(t\right)\phantom{\rule{0.2em}{0ex}}dt.$
(10)

Now, we state an efficient result.

Theorem 3.1 Let $f\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$, $0<\nu <1$, $a\le x\le b$.

1. (i)

Let f be $\left(ii\right)$-differentiable, then we have $\left[\left(i\right)-\nu \right]$-differentiable right fuzzy Caputo derivative and

$\left({D}_{{b}^{-}}^{\nu }f\right)\left(x,r\right)=\left[\left({D}_{{b}^{-}}^{\nu }{f}_{-}\right)\left(x,r\right),\left({D}_{{b}^{-}}^{\nu }{f}_{+}\right)\left(x,r\right)\right],\phantom{\rule{1em}{0ex}}0\le r\le 1.$
(11)
2. (ii)

Let f be $\left(i\right)$-differentiable, then we have $\left[\left(ii\right)-\nu \right]$-differentiable right fuzzy Caputo derivative and

$\left({D}_{{b}^{-}}^{\nu }f\right)\left(x,r\right)=\left[\left({D}_{{b}^{-}}^{\nu }{f}_{+}\right)\left(x,r\right),\left({D}_{{b}^{-}}^{\nu }{f}_{-}\right)\left(x,r\right)\right],\phantom{\rule{1em}{0ex}}0\le r\le 1.$
(12)

Proof It is straightforward. □

Theorem 3.2 Let $f\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$, $0<\nu <1$, $a\le x\le b$. If ${D}_{{b}^{-}}^{\nu }f\left(x\right)$ exists and it is Lebesgue integrable, then we state the equivalent integral form of the original fuzzy fractional differential equation ${D}_{{b}^{-}}^{\nu }f\left(x\right)=g\left(x,f\left(x\right)\right)$ with the initial condition ${f}_{0}=f\left(b\right)$ as follows:

1. (i)

if f is a $\left[\left(i\right)-\nu \right]$-differentiable fuzzy-valued function, then

$f\left(x\right)=f\left(b\right)\oplus \frac{1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt.$
(13)
2. (ii)

if f is a $\left[\left(ii\right)-\nu \right]$-differentiable fuzzy-valued function, then

$f\left(x\right)=f\left(b\right)\ominus \frac{-1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt.$
(14)

Proof . □

Now, we state the following result which will be used later.

Theorem 3.3 Let $f\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$ and $0<\nu <1$. Then

$D\left(\frac{1}{b-a}\odot \left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,f\left(b\right)\right)\le \frac{{\left(b-a\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +2\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right).$

Proof We observe that

$\begin{array}{r}D\left(\frac{1}{b-a}\odot \left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,f\left(b\right)\right)\\ \phantom{\rule{1em}{0ex}}=D\left(\frac{1}{b-a}\odot \left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,\frac{f\left(b\right)}{b-a}{\int }_{a}^{b}dx\right)\\ \phantom{\rule{1em}{0ex}}=D\left(\frac{1}{b-a}\odot \left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,\frac{1}{b-a}\odot \left(FR\right){\int }_{a}^{b}f\left(b\right)\phantom{\rule{0.2em}{0ex}}dx\right)\\ \phantom{\rule{1em}{0ex}}=\frac{1}{b-a}D\left(\left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,\left(FR\right){\int }_{a}^{b}f\left(b\right)\phantom{\rule{0.2em}{0ex}}dx\right)\\ \phantom{\rule{1em}{0ex}}\le \frac{1}{b-a}{\int }_{a}^{b}D\left(f\left(x\right),f\left(b\right)\right)\phantom{\rule{0.2em}{0ex}}dx\end{array}$

for the case $\left[\left(i\right)-\nu \right]$-differentiable. We notice that $f\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$ and $0<\nu <1$,

$f\left(x\right)=f\left(b\right)\oplus \frac{1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt.$

For $a\le x\le b$, we have

$\begin{array}{rl}D\left(f\left(x\right),f\left(b\right)\right)& =D\left(f\left(b\right)\oplus \frac{1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,f\left(b\right)\right)\\ =D\left(\frac{1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,\stackrel{˜}{0}\right)\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}D\left({\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,\stackrel{˜}{0}\right)\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}D\left({\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,{\int }_{x}^{b}\stackrel{˜}{0}\phantom{\rule{0.2em}{0ex}}dt\right)\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}{\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)\phantom{\rule{0.2em}{0ex}}dt\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}\frac{{\left(b-x\right)}^{\nu }}{\nu }\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right).\end{array}$

As a result, we prove that

$D\left(f\left(x\right),f\left(b\right)\right)\le \frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right),\phantom{\rule{1em}{0ex}}a\le x\le b.$

Thus, we obtain

${\int }_{a}^{c}D\left(f\left(x\right),f\left(b\right)\right)\phantom{\rule{0.2em}{0ex}}dx\le \frac{{\left(b-a\right)}^{\nu +1}}{\mathrm{\Gamma }\left(\nu +2\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right).$

In the case $\left[\left(i\right)-\nu \right]$-differentiable, we have

$\begin{array}{rl}D\left(\frac{1}{b-a}\odot \left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,f\left(b\right)\right)& \le \frac{1}{b-a}{\int }_{a}^{b}D\left(f\left(x\right),f\left(b\right)\right)\phantom{\rule{0.2em}{0ex}}dx\\ \le \frac{{\left(b-a\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +2\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)\end{array}$

for the case $\left[\left(ii\right)-\nu \right]$-differentiable. We notice that $f\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$ and $0<\nu <1$, also

$f\left(x\right)=f\left(b\right)\ominus \frac{-1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt.$

Thus, for all $a\le x\le b$, we have

$\begin{array}{rl}D\left(f\left(x\right),f\left(b\right)\right)& =D\left(f\left(b\right)\ominus \frac{-1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,f\left(b\right)\right)\\ =D\left(\frac{1}{\mathrm{\Gamma }\left(\nu \right)}\odot {\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,\stackrel{˜}{0}\right)\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}D\left({\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,\stackrel{˜}{0}\right)\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}D\left({\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}\odot \left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right)\phantom{\rule{0.2em}{0ex}}dt,{\int }_{x}^{b}\stackrel{˜}{0}\phantom{\rule{0.2em}{0ex}}dt\right)\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}{\int }_{x}^{b}{\left(t-x\right)}^{\nu -1}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)\phantom{\rule{0.2em}{0ex}}dt\\ \le \frac{1}{\mathrm{\Gamma }\left(\nu \right)}\frac{{\left(b-x\right)}^{\nu }}{\nu }\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right).\end{array}$

So, we prove that

$D\left(f\left(x\right),f\left(b\right)\right)\le \frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right),\phantom{\rule{1em}{0ex}}a\le x\le b.$

Thus, we obtain

${\int }_{a}^{c}D\left(f\left(x\right),f\left(b\right)\right)\phantom{\rule{0.2em}{0ex}}dx\le \frac{{\left(b-a\right)}^{\nu +1}}{\mathrm{\Gamma }\left(\nu +2\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right).$

When $\left[\left(ii\right)-\nu \right]$-differentiable, we have

$\begin{array}{rl}D\left(\frac{1}{b-a}\odot \left(FR\right){\int }_{a}^{b}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,f\left(b\right)\right)& \le \frac{1}{b-a}{\int }_{a}^{b}D\left(f\left(x\right),f\left(b\right)\right)\phantom{\rule{0.2em}{0ex}}dx\\ \le \frac{{\left(b-a\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +2\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right).\end{array}$

This completes the proof. □

Now, we state the main result as given below.

Theorem 3.4 Let $f,g,h\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$ and $0<\nu <1$. Then

$\begin{array}{r}D\left(3{\int }_{a}^{b}f\left(x\right)g\left(x\right)h\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,{\int }_{a}^{b}\left[f\left(b\right)g\left(x\right)h\left(x\right)+f\left(x\right)g\left(b\right)h\left(x\right)+f\left(x\right)g\left(x\right)h\left(b\right)\right]\phantom{\rule{0.2em}{0ex}}dx\right)\\ \phantom{\rule{1em}{0ex}}\le {I}_{a+}^{\nu +1}\left(h\left(b\right)g\left(b\right)\right)\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)\\ \phantom{\rule{2em}{0ex}}+{I}_{a+}^{\nu +1}\left(f\left(b\right)h\left(b\right)\right)\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }g\right)\left(t\right),\stackrel{˜}{0}\right)\\ \phantom{\rule{2em}{0ex}}+{I}_{a+}^{\nu +1}\left(f\left(b\right)g\left(b\right)\right)\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }h\right)\left(t\right),\stackrel{˜}{0}\right).\end{array}$

Proof For $f,g,h\in {C}_{F}\left[a,b\right]\cap {L}_{F}\left[a,b\right]$ we have

$\begin{array}{r}D\left(3{\int }_{a}^{b}f\left(x\right)g\left(x\right)h\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,{\int }_{a}^{b}\left[f\left(b\right)g\left(x\right)h\left(x\right)+f\left(x\right)g\left(b\right)h\left(x\right)+f\left(x\right)g\left(x\right)h\left(b\right)\right]\phantom{\rule{0.2em}{0ex}}dx\right)\\ \phantom{\rule{1em}{0ex}}={\int }_{a}^{b}\left(D\left(3f\left(x\right)g\left(x\right)h\left(x\right),\left[f\left(b\right)g\left(x\right)h\left(x\right)+f\left(x\right)g\left(b\right)h\left(x\right)+f\left(x\right)g\left(x\right)h\left(b\right)\right]\right)\right)\phantom{\rule{0.2em}{0ex}}dx.\end{array}$

So we have the following:

$\begin{array}{r}{\int }_{a}^{b}\left(D\left(3f\left(x\right)g\left(x\right)h\left(x\right),\left[f\left(b\right)g\left(x\right)h\left(x\right)+f\left(x\right)g\left(b\right)h\left(x\right)+f\left(x\right)g\left(x\right)h\left(b\right)\right]\right)\right)\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{1em}{0ex}}={\int }_{a}^{b}\left[D\left(f\left(x\right)g\left(x\right)h\left(x\right)+f\left(x\right)g\left(x\right)h\left(x\right)+f\left(x\right)g\left(x\right)h\left(x\right),\\ \phantom{\rule{2em}{0ex}}\left[f\left(b\right)g\left(x\right)h\left(x\right)+f\left(x\right)g\left(b\right)h\left(x\right)+f\left(x\right)g\left(x\right)h\left(b\right)\right]\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{1em}{0ex}}={\int }_{a}^{b}\left[D\left(f\left(x\right)g\left(x\right)h\left(x\right),f\left(b\right)g\left(x\right)h\left(x\right)\right)+D\left(f\left(x\right)g\left(x\right)h\left(x\right),f\left(x\right)g\left(b\right)h\left(x\right)\right)\\ \phantom{\rule{2em}{0ex}}+D\left(f\left(x\right)g\left(x\right)h\left(x\right),f\left(x\right)g\left(x\right)h\left(b\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{1em}{0ex}}={\int }_{a}^{b}\left[g\left(x\right)h\left(x\right)D\left(f\left(x\right),f\left(b\right)\right)+f\left(x\right)h\left(x\right)D\left(g\left(x\right),g\left(b\right)\right)+f\left(x\right)g\left(x\right)D\left(h\left(x\right),h\left(b\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{1em}{0ex}}={\int }_{a}^{b}\left[g\left(x\right)h\left(x\right)\left(\frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)\right)\\ \phantom{\rule{2em}{0ex}}+f\left(x\right)h\left(x\right)\left(\frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }g\right)\left(t\right),\stackrel{˜}{0}\right)\right)\\ \phantom{\rule{2em}{0ex}}+f\left(x\right)g\left(x\right)\left(\frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }h\right)\left(t\right),\stackrel{˜}{0}\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{1em}{0ex}}\le {\int }_{a}^{b}\left[g\left(x\right)h\left(x\right)\left(\frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{2em}{0ex}}+{\int }_{a}^{b}\left[f\left(x\right)h\left(x\right)\left(\frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }g\right)\left(t\right),\stackrel{˜}{0}\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{2em}{0ex}}+{\int }_{a}^{b}\left[f\left(x\right)g\left(x\right)\left(\frac{{\left(b-x\right)}^{\nu }}{\mathrm{\Gamma }\left(\nu +1\right)}\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }h\right)\left(t\right),\stackrel{˜}{0}\right)\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \phantom{\rule{1em}{0ex}}\le \underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)\left(\frac{1}{\mathrm{\Gamma }\left(\nu +1\right)}{\int }_{a}^{b}\left[g\left(x\right)h\left(x\right){\left(b-x\right)}^{\nu }\right]\phantom{\rule{0.2em}{0ex}}dx\right)\\ \phantom{\rule{2em}{0ex}}+\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }g\right)\left(t\right),\stackrel{˜}{0}\right)\left(\frac{1}{\mathrm{\Gamma }\left(\nu +1\right)}{\int }_{a}^{b}\left[f\left(x\right)h\left(x\right){\left(b-x\right)}^{\nu }\right]\phantom{\rule{0.2em}{0ex}}dx\right)\\ \phantom{\rule{2em}{0ex}}+\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }h\right)\left(t\right),\stackrel{˜}{0}\right)\left(\frac{1}{\mathrm{\Gamma }\left(\nu +1\right)}{\int }_{a}^{b}\left[f\left(x\right)g\left(x\right){\left(b-x\right)}^{\nu }\right]\phantom{\rule{0.2em}{0ex}}dx\right)\\ \phantom{\rule{1em}{0ex}}={I}_{a+}^{\nu +1}\left(h\left(b\right)g\left(b\right)\right)\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }f\right)\left(t\right),\stackrel{˜}{0}\right)+{I}_{a+}^{\nu +1}\left(f\left(b\right)h\left(b\right)\right)\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }g\right)\left(t\right),\stackrel{˜}{0}\right)\\ \phantom{\rule{2em}{0ex}}+{I}_{a+}^{\nu +1}\left(f\left(b\right)g\left(b\right)\right)\underset{t\in \left[a,b\right]}{sup}D\left(\left({D}_{{b}^{-}}^{\nu }h\right)\left(t\right),\stackrel{˜}{0}\right).\end{array}$

Finally, by using the following property:

${I}_{a+}^{\nu +1}\left(h\left(b\right)g\left(b\right)\right)=\frac{1}{\mathrm{\Gamma }\left(\nu +1\right)}{\int }_{a}^{b}\left[g\left(x\right)h\left(x\right){\left(b-x\right)}^{\nu }\right]\phantom{\rule{0.2em}{0ex}}dx,$

we complete the proof. □

## 4 Conclusion

Recently, the application of fractional differential equations under uncertainty received a considerable interest both in mathematics and in applications. In this manuscript, the fuzzy Caputo differentiability has been stated; then we made inquiries about the fuzzy fractional Ostrowski inequality involving three functions in the right Caputo fractional derivative. In this way, we have obtained some basic results in the fuzzy framework. To the best of our knowledge, this is the first time in the literature that such inequality has been considered under uncertainty. For future work, we will consider the mentioned fuzzy inequality possessing higher fractional order with different types of differentiability.

## References

1. Ostrowski A: Über die absolutabweichung einer differentiebaren funktion von ihrem intetegralmittelwert. Comment. Math. Helv. 1938, 10: 226–227.

2. Milovanovif GV, Pecaric JE: On generalization of the inequality of A. Ostrowski and some related applications. Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz. 1976, 44: 155–158.

3. Pachpatte BG: On an inequality of Ostrowski type in three independent variables. J. Math. Anal. Appl. 2000, 249: 583–591. 10.1006/jmaa.2000.6913

4. Pachpatte BG: On a new Ostrowski type inequality in two independent variables. Tamkang J. Math. 2001, 32: 45–49.

5. Rafiq A, Mir NA, Ahmad F: Weighted Chebyshev-Ostrowski type inequalities. Appl. Math. Mech. 2007, 28: 901–906. 10.1007/s10483-007-0707-z

6. Sarikaya MZ: On the Ostrowski type integral inequality. Acta Math. Univ. Comen. 2010, 1: 129–134.

7. Ujevic N: Sharp inequalities of Simpson type and Ostrowski type. Comput. Math. Appl. 2004, 48: 145–151. 10.1016/j.camwa.2003.09.026

8. Zhongxue L: On sharp inequalities of Simpson type and Ostrowski type in two independent variables. Comput. Math. Appl. 2008, 56: 2043–2047. 10.1016/j.camwa.2008.03.032

9. Alomari, M, Darus, M: Some Ostrowski type inequalities for convex functions with applications. RGMIA 13 (2010, preprint)

10. Alomari M, Darus M, Dragomir S, Cerone P: Ostrowski type inequalities for functions whose derivatives are s -convex in the second sense. Appl. Math. Lett. 2010, 23: 1071–1076. 10.1016/j.aml.2010.04.038

11. Dragomir SS, Wang S: An inequality of Ostrowski-Gruss type and its applications to the estimation of error bounds for some special means and for some numerical quadrature rules. Comput. Math. Appl. 1997, 33: 15–20.

12. Matic M, Plaric J, Ujveif N: Improvement and further generalization of some inequalities of Ostrowski-Griiss type. Comput. Math. Appl. 2000, 39: 161–175.

13. Cheng XL: Improvement of some Ostrowski-Gruss type inequalities. Comput. Math. Appl. 2001, 42: 109–114. 10.1016/S0898-1221(01)00135-3

14. Pachpatte BG: New Ostrowski and Gruss type inequalities. An. Ştiinţ. Univ. “Al. I. Cuza” Iaşi, Mat. 2005, LI(2):377–386.

15. Anastassiou GA: Fuzzy Ostrowski inequalities. 251. In Fuzzy Mathematics: Approximation Theory. Springer, Berlin; 2010:65–73.

16. Anastassiou GA: On right fractional calculus. Chaos Solitons Fractals 2009, 42: 365–376. 10.1016/j.chaos.2008.12.013

17. Bohner EA, Bohner M, Mattews T: Time scales Ostrowski and Gruss type inequalities involving three functions. Nonlinear Dyn. Syst. Theory 2011, 8: 651–700.

18. Bohner M, Mattews T: Ostrowski inequalities on time scales. J. Inequal. Pure Appl. Math. 2008, 9: 6–8.

19. Tseng KL: Improvement of some inequalities of Ostrowski type and their application. Taiwan. J. Math. 2008, 12: 2427–2441.

20. Dragomir SS, Wang S:A new equality of Ostrowski’s type in ${L}_{1}$ norm and applications to some special means and to some numerical quadrature rules. Tamkang J. Math. 1997, 28: 239–244.

21. Allahviranloo T, Salahshour S: A new approach for solving first order fuzzy differential equation. Inf. Proc. Manag. Uncert. Know. Bas. Syst. Appl. 2010.

22. Allahviranloo T, Salahshour S: Euler method for solving hybrid fuzzy differential equation. Soft Comput. Fus. Found. Meth. Appl. 2010, 7: 1247–1253.

23. Allahviranloo T, Salahshour S, Abbasbandy S: Explicit solutions of fractional differential equations with uncertainty. Soft Comput. Fus. Found. Meth. Appl. 2012, 16: 297–302.

24. Salahshour S, Allahviranloo T, Abbasbandy S, Baleanu D: Existence and uniqueness results for fractional differential equations with uncertainty. Adv. Differ. Equ. 2012, 112: 1–13.

25. Allahviranloo T, Salahshour S, Avazpour L: On the fractional Ostrowski inequality with uncertainty. J. Math. Anal. Appl. 2012, 395: 191–201. 10.1016/j.jmaa.2012.05.016

## Acknowledgements

The reviewers’ comments, which have improved the quality of this paper, are greatly appreciated.

## Author information

Authors

### Corresponding author

Correspondence to Lutfi Avazpour.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors have equal contributions.

The manuscript has been retracted by the editor as a request of one of the authors (Dumitru Baleanu). He realized that the version submitted by the corresponding author was not in the final form. The authors were advised to resubmit their paper after making necessary corrections.

A retraction note to this article can be found online at http://dx.doi.org/10.1186/1029-242X-2013-417.

## Rights and permissions

Reprints and Permissions

Allahviranloo, T., Avazpour, L., Ebadi, M.J. et al. RETRACTED ARTICLE: Fuzzy fractional Ostrowski inequality with Caputo differentiability. J Inequal Appl 2013, 50 (2013). https://doi.org/10.1186/1029-242X-2013-50

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2013-50

### Keywords

• fuzzy fractional Ostrowski inequality
• fuzzy Caputo differentiability
• Hukuhara difference
• fuzzy-valued function 