Skip to main content

Theory and Modern Applications

Opial-type inequalities for convex functions and associated results in fractional calculus

Abstract

This paper is dedicated to Opial-type inequalities for arbitrary kernels using convex functions. These inequalities are further applied to a power function. Applications of the presented results are studied in fractional calculus via fractional integral operators by associating special kernels.

1 Introduction and preliminary results

Opial obtained the following integral inequality in 1960 [25].

Theorem 1.1

Let \(g\in C^{1}[0, h]\) be such that \(g(0)=g(h)=0\) and \(g(t)>0\) for \(t \in (0, h)\). Then

$$ \int _{0}^{h} \bigl\vert g(t)g^{\prime }(t) \bigr\vert \,dt \le \frac{h}{4} \int _{0}^{h}\bigl(g'(t) \bigr)^{2}\,dt. $$

Here \(\frac{h}{4}\) is a best possible constant.

This inequality has been studied by several mathematicians, and several related inequalities have been investigated. For example its generalizations were published by Beesack in 1962 and 1971 [3, 5], Hua in 1965 [17], Redheffer in 1966 [30], Calvert in 1967 [8], Godunova and Levin in 1967 [13], Maroni in 1967 [22], Boyd and Wong in 1967 [7], Beesack and Das in 1968 [4], Boyd in 1969 [6], Rozanova in 1972 [31], Vrǎnceanu in 1973 [35], Shum in 1974 and 1975 [32, 33], Hou in 1979 [16], G. Milovanovic and I. Milovanovic in 1980 [23], Lee in 1980 [20], He and Wang in 1981 [14], Yang in 1966 and 1983 [37, 38], Hong, Yang, and Du in 1982 [15], Lin and Yang in 1985 [21], Qi in 1985 [29], Fagbohun and Imoru in 1985 and 1986 [9, 10], Pachpatte in 1986 and 1993 [26, 27], Mitrinović and Pečarić in 1988 [24], Hwang and Yang in 1990 [18], and Sinnamon in 1991 [34].

The aim of this paper is to establish some new Opial-type inequalities for convex functions. Therefore, in the subsequent convex function, its properties, characterization, and Opial-type inequalities for convex functions have been summarized as motivation behind the recent work.

Definition 1

Let I be an interval in \(\mathbb{R}\). Then \(f : I \to \mathbb{R}\) is said to be convex if, for all \(x, y \in I\) and all \(\alpha \in [0, 1]\),

$$ f\bigl(\alpha x +(1 - \alpha )y\bigr) \le \alpha f(x) + (1-\alpha )f(y) $$
(1)

holds.

A characterization of convex function is stated in the following lemma.

Lemma 1.2

([36])

Let f be a differentiable function on \((a, b)\). Then f is convex if and only if \(f^{\prime }\) is an increasing function.

The convexity of composition of two functions can be obtained under the conditions stated in the following lemma.

Lemma 1.3

([36])

Let \(f : I \to \mathbb{R}\) and \(g : J \to \mathbb{R}\), where \(\operatorname{range}(f) \subseteq J\). If f and g are convex and g is increasing, then the composite function \(g \circ f\) is convex on I.

In [24] generalized Opial-type inequalities for convex functions have been proved by Mitrinović and Pečarić. Let \(U_{1}(v, k)\) denote the class of functions \(u : [a, b]\to \mathbb{R}\) having representation

$$ u(x)= \int _{a}^{x}k(x, t)v(t)\,dt, $$

where v is a continuous function and k is an arbitrary nonnegative kernel such that \(k(x, t)=0\) for \(t>x\), and \(v(x) > 0\) implies \(u(x) > 0\) for every \(x \in [a, b]\).

Let \(U_{2}(v, k)\) denote the class of all the functions \(u : [a, b] \to \mathbb{R}\) having representation

$$ u(x)= \int _{x}^{b}k(x, t)v(t)\,dt, $$

where v is a continuous function and k is an arbitrary nonnegative kernel such that \(k(x, t)=0\) for \(t< x\), and \(v(x) > 0\) implies \(u(x) > 0\) for every \(x \in [a, b]\).

Theorem 1.4

([28])

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable function such that, for \(q > 1\), the function \(\phi (x^{1/q})\) is convex and \(\phi (0) = 0\). Let \(u \in U_{1}(v, k)\) where \(( \int _{a} ^{x}(k(x, t))^{p}\,dt )^{1/p} \leq K\) and \(\frac{1}{p} + \frac{1}{q} = 1\). Then

$$ \int _{a}^{b} \bigl\vert u(x) \bigr\vert ^{1-q}\phi ^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert v(x) \bigr\vert ^{q}\,dx \le \frac{q}{K ^{q}}\phi \biggl( K \biggl( \int _{a}^{b} \bigl\vert v(x) \bigr\vert ^{q}\,dx \biggr)^{1/q} \biggr). $$

If the function \(\phi (x^{1/q})\) is concave, then the reverse inequality holds.

A similar result was obtained for class \(U_{2}(v, k)\).

Theorem 1.5

([28])

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable function such that, for \(q > 1\), the function \(\phi (x^{1/q})\) is convex and \(\phi (0) = 0\). Let \(u \in U_{2}(v, k)\) where \(( \int _{x} ^{b}(k(x, t))^{p}\,dt )^{1/p} \leq K\) and \(\frac{1}{p} + \frac{1}{q} = 1\). Then

$$ \int _{a}^{b} \bigl\vert u(x) \bigr\vert ^{1-q}\phi ^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert v(x) \bigr\vert ^{q}\,dx \le \frac{q}{K ^{q}}\phi \biggl( K \biggl( \int _{a}^{b} \bigl\vert v(x) \bigr\vert ^{q}\,dx \biggr)^{1/q} \biggr). $$

If the function \(\phi (x^{1/q})\) is concave, then the reverse inequality holds.

In [1] Andrić et al. further extended these results stating the following.

Theorem 1.6

([1])

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable function such that, for \(q > 1\), the function \(\phi (x^{1/q})\) is convex and \(\phi (0) = 0\). Let \(u \in U_{1}(v, k)\) where \(( \int _{a} ^{x}(k(x, t))^{p}\,dt )^{1/p} \leq K\) and \(\frac{1}{p} + \frac{1}{q} = 1\). Then

$$\begin{aligned} \int _{a}^{b} \bigl\vert u(x) \bigr\vert ^{1-q}\phi ^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert v(x) \bigr\vert ^{q}\,dx &\le \frac{q}{K ^{q}}\phi \biggl( K \biggl( \int _{a}^{b} \bigl\vert v(x) \bigr\vert ^{q}\,dx \biggr)^{1/q} \biggr) \\ & \le \frac{q}{K^{q}(b-a)} \int _{a}^{b}\phi \bigl((b-a)^{1/q}K \bigl\vert v(x) \bigr\vert \bigr)\,dx. \end{aligned}$$

If the function \(\phi (x^{1/q})\) is concave, then the reverse inequality holds.

A similar result for class \(U_{2}(v, k)\) is stated in the following theorem.

Theorem 1.7

([1])

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable function such that, for \(q > 1\), the function \(\phi (x^{1/q})\) is convex and \(\phi (0) = 0\). Let \(u \in U_{2}(v, k)\) where \(( \int _{x} ^{b}(k(x, t))^{p}\,dt )^{1/p} \leq K\) and \(\frac{1}{p} + \frac{1}{q} = 1\). Then

$$\begin{aligned} \int _{a}^{b} \bigl\vert u(x) \bigr\vert ^{1-q}\phi ^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert v(x) \bigr\vert ^{q}\,dx &\le \frac{q}{K ^{q}}\phi \biggl( K \biggl( \int _{a}^{b} \bigl\vert v(x) \bigr\vert ^{q}\,dx \biggr)^{1/q} \biggr) \\ & \le \frac{q}{K^{q}(b-a)} \int _{a}^{b}\phi \bigl((b-a)^{1/q}K \bigl\vert v(x) \bigr\vert \bigr)\,dx. \end{aligned}$$

If the function \(\phi (x^{1/q})\) is concave, then the reverse inequality holds.

In [11, 12] Farid and Pečarić studied these inequalities in a fractional point of view. They considered several fractional integral operators via particular kernels to obtain Riemann–Liouville, Caputo, and Canavati fractional Opial-type inequalities. Extensions of these Opial-type fractional inequalities have been proved in [1] by Andrić et al., Basci and Dumitru in [2] considered some new aspects of these inequalities.

Next we present the Riemann–Liouville fractional integral, Caputo, and Canavati fractional derivatives [19].

Definition 2

Let \(f \in L_{1}[a, b]\). Then the left-sided and right-sided Riemann–Liouville fractional integrals of order \(\alpha > 0\) with \(a \ge 0\) are defined as follows:

$$ I^{\alpha }_{a+}f(x) = \frac{1}{\varGamma (\alpha )} \int _{a}^{x}(x-t)^{ \alpha -1}f(t)\,dt, \quad x > a, $$

and

$$ I^{\alpha }_{b-}f(x) = \frac{1}{\varGamma (\alpha )} \int _{x}^{b}(t-x)^{ \alpha -1}f(t)\,dt, \quad x < b, $$

where \(\varGamma (\cdot)\) is the gamma function.

Definition 3

Let \(\alpha >0\) and \(\alpha \notin \{1, 2, 3, \ldots \}\), \(n = [\alpha ]+1\), \(f \in AC^{n}[a,b]\). Then the left-sided and right-sided Caputo fractional derivatives of order α are defined as follows:

$$\begin{aligned} & \bigl( {^{C}}D^{\alpha }_{a+}f \bigr) (x)= \frac{1}{\varGamma (n- \alpha )} \int ^{x}_{a}\frac{f^{(n)} {(t)}}{(x-t)^{{\alpha }-n+1}}\,dt ,\quad x>a, \end{aligned}$$
(2)

and

$$\begin{aligned} & \bigl( {^{C}}D^{\alpha }_{b-}f \bigr) (x)= \frac{(-1)^{n}}{\varGamma (n- \alpha )} \int ^{b}_{x}\frac{f^{(n)} {(t)}}{(t-x)^{{\alpha }-n+1}}\,dt ,\quad x< b. \end{aligned}$$
(3)

In [1] composition identities for the Caputo fractional derivatives are given, they are stated in the following lemmas.

Lemma 1.8

Let \(\beta > \alpha \ge 0\), \(m = [\beta ]+1\), and \(n = [\alpha ]+1\) for \(\alpha , \beta \notin \mathbb{N}_{0}\); \(n = [\alpha ]\) and \(m = [\beta ]\) for \(\alpha , \beta \in \mathbb{N}_{0}\). Let \(f \in AC^{m} [a, b]\) be such that \(f^{(i)}(a) = 0\) for \(i = n, n+1, \ldots , m-1\). Let \({}^{C}D^{\beta }_{a+}f, ^{C}D^{\alpha }_{a+}f \in {L_{1}[a, b]}\). Then

$$ ^{C}D^{\alpha }_{a+}f(x) = \frac{1}{\varGamma (\beta - \alpha )} \int _{a} ^{x}(x-t)^{\beta -\alpha -1} {} ^{C}D^{\beta }_{a+}f(t)\,dt, \quad x \in [a, b]. $$

Lemma 1.9

Let \(\beta > \alpha \ge 0\), \(m = [\beta ]+1\), and \(n = [\alpha ]+1\) for \(\alpha , \beta \notin \mathbb{N}_{0}\); \(n = [\alpha ]\) and \(m = [\beta ]\) for \(\alpha , \beta \in \mathbb{N}_{0}\). Let \(f \in AC^{m} [a, b]\) be such that \(f^{(i)}(b) = 0\) for \(i = n, n+1, \ldots , m-1\). Let \({}^{C}D^{\alpha }_{b-}f, ^{C}D^{\beta }_{b-}f \in {L_{1}[a, b]}\). Then

$$ ^{C}D^{\alpha }_{b-}f(x) = \frac{1}{\varGamma (\beta - \alpha )} \int _{x} ^{b}(t-x)^{\beta -\alpha -1} {} ^{C}D^{\beta }_{b-}f(t)\,dt, \quad x \in [a, b]. $$

Next consider a subspace \(C^{\alpha }_{a+}[a, b]\) defined by

$$ C^{\alpha }_{a+}[a, b] = \bigl\{ f \in C^{n-1}[a, b] : I^{n-\alpha }_{a+}f ^{(n-1)} \in C^{1}[a, b]\bigr\} . $$

Definition 4

Let \(f \in C^{\alpha }_{a+}[a, b]\). Then the left-sided Canavati fractional derivative is defined by

$$ ^{\tilde{C}}D^{\alpha }_{a+}f(x) = \frac{1}{\varGamma (n-\alpha )} \frac{d}{dx} \int _{a}^{x}(x-t)^{n-\alpha -1}f^{(n-1)}(t) \,dt = \frac{d}{dx}I^{n-\alpha }_{a+}f^{(n-1)}(x). $$

Composition identity for the left-sided Canavati fractional derivative is given in the following lemma.

Lemma 1.10

([1])

Let \(\beta > \alpha > 0\), \(m = [\beta ]+1\), \(n = [\alpha ]+1\). Let \(f \in C^{\beta }_{a+}[a, b]\) be such that \(f^{i}(a) = 0\) for \(i = n-1, n,\ldots, m-2\). Then \(f \in C^{\alpha }_{a+}[a, b]\) and

$$ {}^{\tilde{C}}D^{\alpha } _{a+}f(x)=\frac{1}{\varGamma (\beta -\alpha )} \int _{a}^{x}(x-t)^{\beta -\alpha -1} {}^{\tilde{C}}D^{\beta }_{a+}f(t)\,dt,\quad x \in [a, b]. $$

Definition 5

Let \(f\in L_{1}[a, b]\). Then the left-sided Riemann–Liouville fractional derivative of order α is defined by

$$ D^{\alpha }_{a+}f(x) = \frac{1}{\varGamma (n-\alpha )}\frac{d^{n}}{dx ^{n}} \int _{a}^{x}(x-t)^{n-\alpha -1}f(t)\,dt = \frac{d^{n}}{dx^{n}}I ^{n-\alpha }_{a+}f(x). $$
(4)

The following lemma summarizes conditions in the composition identity for the left-sided Riemann–Liouville fractional derivative.

Lemma 1.11

([1])

Let \(\beta > \alpha \ge 0\), \(m = [\beta ]+1\), \(n = [ \alpha ]+1\). The composition identity

$$ D^{\alpha }_{a+}f(x) = \frac{1}{\varGamma (\beta -\alpha )} \int _{a}^{x}(x-t)^{ \beta -\alpha -1}D^{\beta }_{a+}f(t) \,dt, \quad x \in [a, b] $$
(5)

is valid if one of the following conditions holds:

  1. (i)

    \(f\in I^{\beta }_{a+}(L_{1}[a, b]) = \{f : f = I^{\beta }_{a+}\varphi ,\varphi \in L_{1}[a, b] \}\).

  2. (ii)

    \(I^{m-\beta }_{a+}f \in AC^{m}[a, b]\) and \(D^{\beta -k}_{a+}f(a) = 0\) for \(k=1,\ldots,m\).

  3. (iii)

    \(D^{\beta -1}_{a+}f \in AC[a, b]\), \(D^{\beta -k}_{a+}f \in C[a, b]\) and \(D^{\beta -k}_{a+}f(a) = 0\) for \(k = 1,\ldots,m\).

  4. (iv)

    \(f \in AC^{m}[a, b]\), \(D^{\beta }_{a+}f, D^{\alpha }_{a+}f \in L_{1}[a, b]\), \(\beta -\alpha \notin \mathbb{N}, D^{\beta -k}_{a+}f(a) = 0\) for \(k =1,\ldots,m\) and \(D^{\alpha -k}_{a+}f(a) = 0\) for \(k = 1,\ldots,n\).

  5. (v)

    \(f \in AC^{m}[a, b]\), \(D^{\beta }_{a+}f, D^{\alpha }_{a+}f \in L_{1}[a, b]\), \(\beta -\alpha = l \in \mathbb{N}\), \(D^{\beta -k}_{a+}f(a) = 0\) for \(k =1,\ldots,l\).

  6. (vi)

    \(f \in AC^{m}[a, b]\), \(D^{\beta }_{a+}f, D^{\alpha }_{a+}f \in L_{1}[a, b]\) and \(f^{k}(a) = 0\) for \(k =0,\ldots,m-2\).

  7. (vii)

    \(f \in AC^{m}[a, b]\), \(D^{\beta }_{a+}f, D^{\alpha }_{a+}f \in L_{1}[a, b]\), \(\beta \notin \mathbb{N}\) and \(D^{\beta -1}_{a+}f\) is bounded in a neighborhood of a.

In the following paragraph, the spaces of functions which have been used in definitions and results are summarized.

The space of all continuous functions whose nth time continuous derivative exists on \([a, b]\) is denoted by \(C^{n}[a, b]\), the space of all absolutely continuous functions on \([a, b]\) is denoted by \(AC[a, b]\). While \(AC^{n}[a, b]\) denotes the space of all the functions \(f \in C^{n-1}[a, b]\) with \(f^{(n-1)} \in AC[a, b]\) and \(L_{p}[a, b]\), \(1 \leq p < \infty \), denotes the space of all Lebesgue measurable functions f for which \(\vert f \vert ^{p}\) is Lebesgue integrable on \([a, b]\).

The paper is organized as follows.

In Sect. 2, new Opial-type inequalities for convex functions are established by applying an arbitrary kernel. Moreover, these inequalities are studied for a power function. Furthermore, in Sect. 3 results of Sect. 2 are analyzed for particular kernels, and fractional integral inequalities of Opial-type are produced by using the definitions and composition identities of Riemann–Liouville fractional integral, Caputo fractional derivative, Canavati fractional derivative. The results for fractional inequalities are obtained by using different forms of the weighted functions and kernels.

2 Opial-type inequalities for convex functions

In this section some new generalized Opial-type inequalities for convex functions are obtained.

Theorem 2.1

Let \(\phi , g : [0, \infty )\to \mathbb{R}\) be differentiable convex and increasing functions with \(\phi (g(0)) = 0\). Also, let \(u \in U_{1}(g \circ v, k)\) and \(\vert k(x, t) \vert \le K\), where K is a constant. Then the following inequalities hold:

$$\begin{aligned} \int _{a}^{b}\phi ^{\prime }\bigl(g\bigl( \bigl\vert u(x) \bigr\vert \bigr)\bigr)g^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert g\circ v(x) \bigr\vert \,dx & \le \frac{1}{K}\phi \biggl( g \biggl( K \int _{a}^{b} \bigl\vert g\circ v(t) \bigr\vert \,dt \biggr) \biggr) \\ &\le \frac{1}{K(b-a)} \int _{a}^{b}\phi \bigl(g\bigl(K(b-a) \bigl\vert g \circ v(t) \bigr\vert \bigr)\bigr)\,dt. \end{aligned}$$
(6)

Proof

As \(u \in U_{1}(g\circ v, k)\), therefore, it has the representation \(u(x)= \int _{a}^{x}k(x, t)g(v(t))\,dt\). By using \(\vert k(x, t) \vert \le K\), we find that

$$\begin{aligned} \bigl\vert u(x) \bigr\vert \le K \int _{a}^{x} \bigl\vert g\circ v(t) \bigr\vert \,dt. \end{aligned}$$
(7)

By applying the function g on both sides and using its monotonicity, we get

$$ g\bigl( \bigl\vert u(x) \bigr\vert \bigr)\le g \biggl( K \int _{a}^{x} \bigl\vert g\circ v(t) \bigr\vert \,dt \biggr) . $$

If we set \(p(x): = \int _{a}^{x}|g\circ v(t)|\,dt\), then \(p^{\prime }(x)=|g \circ v(x)|\), therefore the last inequality gives \(g(|u(x)|) \le g(K(p(x)))\). As ϕ is a differentiable convex function, so by Lemma 1.2, \(\phi ^{\prime }\) is increasing, therefore we get

$$ \phi ^{\prime }\bigl(g\bigl( \bigl\vert u(x) \bigr\vert \bigr)\bigr) \le \phi ^{\prime }\bigl(g\bigl(Kp(x)\bigr)\bigr). $$
(8)

As g is a differentiable convex function, by Lemma 1.2, \(g^{\prime }\) is increasing. Using (7), we get

$$ g^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr)\le g^{\prime } \bigl(K p(x) \bigr). $$
(9)

From inequalities (8) and (9), the following inequality can be obtained:

$$ \phi ^{\prime }\bigl(g\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigr)g^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert g \circ v(x) \bigr\vert \le \phi ^{\prime }\bigl(g\bigl(K\bigl(p(x)\bigr) \bigr)\bigr)g^{\prime }\bigl(Kp(x)\bigr)p^{\prime }(x). $$
(10)

Integrating we have

$$\begin{aligned} \int _{a}^{b}\phi ^{\prime }\bigl(g\bigl( \bigl\vert u(x) \bigr\vert \bigr)\bigr)g^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert \operatorname{gov}(x) \bigr\vert \,dx \leq \int _{a}^{b}\phi ^{\prime }\bigl(g\bigl(K \bigl(p(x)\bigr)\bigr)\bigr)g^{\prime }\bigl(Kp(x)\bigr)p^{\prime }(x) \,dx. \end{aligned}$$
(11)

The right-hand side is computed as follows:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime }\bigl(g\bigl(Kp(x) \bigr)\bigr)g^{\prime }\bigl(Kp(x)\bigr)p^{\prime }(x)\,dx \\ &\quad = \frac{1}{K} \int _{a}^{b}\phi ^{\prime }\bigl(g\bigl(Kp(x) \bigr)\bigr)d\bigl(g\bigl(Kp(x)\bigr)\bigr) \\ &\quad =\frac{1}{K} \phi \bigl(g \bigl(Kp(b)\bigr)\bigr) \\ &\quad =\frac{1}{K}\phi \biggl( g \biggl( K \int _{a}^{b} \bigl\vert g \circ v(t) \bigr\vert \,dt \biggr) \biggr) . \end{aligned}$$

Therefore (11) takes the form as follows:

$$\begin{aligned} \int _{a}^{b}\phi ^{\prime }\bigl(g\bigl( \bigl\vert u(x) \bigr\vert \bigr)\bigr)g^{\prime }\bigl( \bigl\vert u(x) \bigr\vert \bigr) \bigl\vert \operatorname{gov}(x) \bigr\vert \,dx \leq \frac{1}{K}\phi \biggl(g \biggl(K \int _{a}^{b} \bigl\vert g\circ v(t) \bigr\vert \,dt \biggr) \biggr). \end{aligned}$$
(12)

As ϕ and g are convex functions and ϕ is an increasing function, so by Lemma 1.3, \(\phi \circ g\) is convex and the following Jensen’s inequality holds:

$$ \phi \biggl( g \biggl( K \int _{a}^{b} \bigl\vert g\circ v(t) \bigr\vert \,dt \biggr) \biggr) \le \frac{1}{b-a} \int _{a}^{b}\phi \bigl(g\bigl(K(b-a) \bigl\vert g \circ v(t) \bigr\vert \bigr)\bigr)\,dt. $$
(13)

Inequalities (12) and (13) provide the required result. □

For power function \(g(x)=x^{q}\), \(q \ge 1\), the following Opial-type inequality holds.

Theorem 2.2

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable convex and increasing function with \(\phi (0)=0\). Also let \(u \in U_{1}(g\circ v, k)\) and \(\vert k(x, t) \vert \le K\), where K is a constant. Then, for \(q \ge 1\), the following inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime }\bigl(\bigl( \bigl\vert u(x) \bigr\vert \bigr)^{q}\bigr) \bigl( \bigl\vert u(x) \bigr\vert \bigr)^{q-1} \bigl\vert \bigl(v(x)\bigr)^{q} \bigr\vert \,dx \\ &\quad \le \frac{1}{qK}\phi \biggl( \biggl( K \int _{a}^{b} \bigl\vert v(t) \bigr\vert ^{q}\,dt \biggr) ^{q} \biggr) \\ &\quad \le \frac{1}{qK(b-a)} \int _{a}^{b}\phi \bigl( \bigl( K(b-a) \bigl\vert v(t) \bigr\vert ^{q} \bigr)^{q} \bigr)\,dt. \end{aligned}$$
(14)

Proof

Let \(g(x) = x^{q}\). Then g is convex and increasing for \(q \ge 1\). Therefore applying Theorem 2.1 for the function g, inequalities in (6) provide inequalities in (14). □

Remark 2.1

Inequalities of Opial-type which are proved in Theorems 2.1 and 2.2 hold too for the class of functions denoted by \(U_{2}(g \circ v, k)\). Furthermore, these results for fractional calculus are interesting to see in Theorems 3.2 and 3.4 for right-sided Riemann–Liouville fractional integrals. For Caputo and Canavati derivatives, these results have been comprised in Theorems 3.6 and 3.8.

3 Fractional Opial-type inequalities

Here we utilize Riemann–Liouville fractional integrals, Caputo fractional derivatives, composition identities for Caputo fractional derivatives, and composition identities for Canavati fractional derivatives to obtain corresponding fractional Opial-type integral inequalities.

Theorem 3.1

Let \(\phi , g : [0, \infty )\to \mathbb{R}\) be differentiable convex and increasing functions with \(\phi (g(0)) = 0\). Also let \(v \in {L[a, b]}\). Then, for \(\alpha \geq 1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( g \bigl( \bigl\vert I^{\alpha }_{a+}v(x) \bigr\vert \bigr) \bigr) g^{\prime } \bigl( \bigl\vert I ^{\alpha }_{a+}v(x) \bigr\vert \bigr) \bigl\vert g\circ v(x) \bigr\vert \,dx \\ &\quad \le \frac{ \varGamma (\alpha )}{(b-a)^{\alpha -1}}\phi \biggl( g \biggl( \frac{(b-a)^{\alpha -1}}{ \varGamma (\alpha )} \int _{a}^{b} \bigl\vert g\circ v(t) \bigr\vert \,dt \biggr) \biggr) \\ &\quad \le \frac{ \varGamma (\alpha )}{(b-a)^{\alpha }} \int _{a}^{b}\phi \biggl( g \biggl( \frac{(b-a)^{\alpha }}{ \varGamma (\alpha )} \bigl\vert g\circ v(t) \bigr\vert \biggr) \biggr)\,dt. \end{aligned}$$
(15)

Proof

Let us define for \(x \in [a, b]\) the kernel \(k(x,t)\) as follows:

$$ k(x, t)= \textstyle\begin{cases} \frac{1}{\varGamma (\alpha )}(x-t)^{\alpha -1}, & a\leq t\leq x, \\ 0, & x< t\leq b. \end{cases} $$

Also, if u is defined by

$$ u(x)=I^{\alpha }_{a+}v(x)=\frac{1}{\varGamma (\alpha )} \int _{a}^{x}(x-t)^{ \alpha -1}v(t)\,dt, $$
(16)

then we have \(\vert k(x, t) \vert \leq \frac{(x-a)^{\alpha -1}}{ \varGamma (\alpha )}\). Further \((x-a)^{\alpha }, \alpha \geq 0\), is increasing on \([a, b]\), therefore we have \(\vert k(x, t) \vert \leq \frac{(b-a)^{\alpha -1}}{\varGamma (\alpha )}\) for \(\alpha \geq 1\). Applying Theorem 2.1 for this particular kernel, we get inequalities in (15). □

A similar result can be obtained for the class of functions denoted by \(U_{2}(g\circ v, k)\) for the right-sided Riemann–Liouville fractional integral which is stated as follows.

Theorem 3.2

Let \(\phi , g : [0, \infty )\to \mathbb{R}\) be differentiable convex and increasing functions with \(\phi (g(0)) = 0\). Also let \(v \in {L[a, b]}\). Then, for \(\alpha \geq 1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( g \bigl( \bigl\vert I^{\alpha }_{b-}v(x) \bigr\vert \bigr) \bigr) g^{\prime } \bigl( \bigl\vert I ^{\alpha }_{b-}v(x) \bigr\vert \bigr) \bigl\vert g\circ v(x) \bigr\vert \,dx \\ &\quad \le \frac{ \varGamma (\alpha )}{(b-a)^{\alpha -1}}\phi \biggl( g \biggl( \frac{(b-a)^{\alpha -1}}{ \varGamma (\alpha )} \int _{a}^{b} \bigl\vert g\circ v(t) \bigr\vert \,dt \biggr) \biggr) \\ &\quad \le \frac{ \varGamma (\alpha )}{(b-a)^{\alpha }} \int _{a}^{b}\phi \biggl( g \biggl( \frac{(b-a)^{\alpha }}{ \varGamma (\alpha )} \bigl\vert g\circ v(t) \bigr\vert \biggr) \biggr)\,dt. \end{aligned}$$
(17)

Proof

The proof is similar to the proof of Theorem 3.1. □

Theorem 3.3

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable convex and increasing function with \(\phi (0) = 0\). Also let \(v \in {L[a, b]}\). Then, for \(\alpha ,q \ge 1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( \bigl\vert I^{\alpha }_{a+}v(x) \bigr\vert ^{q} \bigr) \bigl\vert I^{\alpha }_{a+}v(x) \bigr\vert ^{q-1} \bigl\vert v(x) \bigr\vert ^{q}\,dx \\ &\quad \le \frac{ \varGamma (\alpha )}{q(b-a)^{\alpha -1}} \phi \biggl( \biggl( \frac{(b-a)^{\alpha -1}}{ \varGamma (\alpha )} \int _{a}^{b} \bigl\vert v(t) \bigr\vert ^{q}\,dt \biggr) ^{q} \biggr) \\ &\quad \le \frac{ \varGamma (\alpha )}{q(b-a)^{\alpha }} \int _{a}^{b}\phi \biggl( \biggl( \frac{(b-a)^{\alpha }}{ \varGamma (\alpha )} \bigl\vert v(t) \bigr\vert ^{q} \biggr)^{q} \biggr) \,dt. \end{aligned}$$
(18)

Proof

Let \(g(x) = x^{q}\). Then g is convex and increasing for \(q \ge 1\). Therefore, using this power function g in inequalities (15), we get inequalities in (18). □

A similar result for right-sided Riemann–Liouville fractional integrals holds.

Theorem 3.4

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable convex and increasing function with \(\phi (0) =0 \). Also let \(v \in {L[a, b]}\). Then, for \(\alpha ,q \ge 1\), the following inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( \bigl\vert I^{\alpha }_{b-}v(x) \bigr\vert ^{q} \bigr) \bigl\vert I^{\alpha }_{b-}v(x) \bigr\vert ^{q-1} \bigl\vert v(x) \bigr\vert ^{q}\,dx \\ &\quad \le \frac{ \varGamma (\alpha )}{q(b-a)^{\alpha -1}}\phi \biggl( \biggl( \frac{(b-a)^{\alpha -1}}{ \varGamma (\alpha )} \int _{a}^{b} \bigl\vert v(t) \bigr\vert ^{q}\,dt \biggr) ^{q} \biggr) \\ &\quad \le \frac{\varGamma (\alpha )}{q(b-a)^{\alpha }} \int _{a}^{b}\phi \biggl( \biggl( \frac{(b-a)^{\alpha }}{ \varGamma (\alpha )} \bigl\vert v(t) \bigr\vert ^{q} \biggr) ^{q} \biggr) \,dt. \end{aligned}$$
(19)

Proof

The proof is similar to the proof of Theorem 3.3. □

For composition identity of left-sided Caputo fractional derivative given in Lemma 1.8, the following result holds.

Theorem 3.5

Let \(\phi , g : [0, \infty ) \to \mathbb{R}\) be differentiable convex and increasing functions with \(\phi (g(0)) = 0\). Also let \(m = [ \beta ]+1\) and \(n = [\alpha ]+1\) for \(\alpha , \beta \notin \mathbb{N}_{0}\); \(n = [\alpha ]\) and \(m = [\beta ]\) for \(\alpha , \beta \in \mathbb{N}_{0}\) and \(v \in AC^{m} [a, b]\) such that \(f^{(i)}(a) = 0\) for \(i = n, n+1, \ldots, m-1\). Let \({}^{C}D^{\beta }_{a+}v \in L_{q}[a, b]\) and \({}^{C}D^{\alpha }_{a+}v \in L_{1}[a, b]\). Then, for \(\alpha <\beta -1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b} \phi ^{\prime } \bigl( g \bigl( \big\vert {} ^{C}D^{\alpha }_{a+}v(x) \big\vert \bigr) \bigr) g^{\prime } \bigl( \big\vert {}^{C}D^{\alpha }_{a+}v(x) \big\vert \bigr) \bigl\vert g\circ {}^{C}D^{ \beta }_{a+}v(x) \bigr\vert \,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{(b-a)^{\beta -\alpha -1}}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta - \alpha )} \int _{a}^{b} \bigl\vert g\circ {}^{C}D^{\beta }_{a+}v(t) \bigr\vert \,dt \biggr) \biggr) \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{(b-a)^{\beta -\alpha }} \int _{a} ^{b}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \bigl\vert g\circ {}^{C}D^{\beta }_{a+}v(t) \bigr\vert \biggr) \biggr)\,dt. \end{aligned}$$
(20)

Proof

Let us define the kernel \(k(x,t)\) for \(x \in [a, b]\) as follows:

$$ k(x, t)= \textstyle\begin{cases} \frac{1}{\varGamma (\beta -\alpha )}(x-t)^{\beta -\alpha -1}, & a\leq t \leq x, \\ 0, & x\le t\leq b. \end{cases} $$

Also let us define the function u by

$$ u(x)= {}^{C}D^{\alpha }_{a+}v(x)= \frac{1}{\varGamma (\beta -\alpha )} \int _{a}^{x}(x-t)^{\beta -\alpha -1} {}^{C}D^{\beta }_{a+}v(t)\,dt, $$
(21)

then we have \(\vert k(x, t) \vert \leq \frac{(x-a)^{\beta -\alpha -1}}{\varGamma (\beta -\alpha )}\) for \(\alpha <\beta -1\). Also, for \(\alpha <\beta -1\), \((x-a)^{\beta -\alpha }\) is an increasing function on \([a, b]\), therefore

$$ \biggl\vert \int _{a}^{x}k(x, t)\,dt \biggr\vert \leq \frac{(b-a)^{\beta -\alpha }}{\varGamma (\beta -\alpha )}=K. $$

Hence, by applying Theorem 2.1, inequalities in (20) can be obtained. □

A similar result can be obtained from composition identity for right-sided Caputo fractional derivative given in Lemma 1.9, for the class of functions denoted by \(U_{2}(g\circ v, k)\).

Theorem 3.6

Let \(\phi , g : [0, \infty ) \to \mathbb{R}\) be differentiable convex and increasing functions with \(\phi (g(0)) = 0\). Also let \(m = [ \beta ]+1\) and \(n = [\alpha ]+1\) for \(\alpha , \beta \notin \mathbb{N}_{0}\); \(n = [\alpha ]\) and \(m = [\beta ]\) for \(\alpha , \beta \in \mathbb{N}_{0}\) and \(v \in AC^{m} [a, b]\) such that \(f^{(i)}(b) = 0\) for \(i = n, n+1, \ldots, m-1\). Let \({}^{C}D^{\beta }_{b-}v \in L_{q}[a, b]\) and \({}^{C}D^{\alpha }_{b-}v \in L_{1}[a, b]\). Then, for \(\alpha <\beta -1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( g \bigl( \big\vert {} ^{C}D^{\alpha }_{b-}v(x) \big\vert \bigr) \bigr) g^{\prime } \bigl( \big\vert {}^{C}D^{\alpha }_{b-}v(x) \big\vert \bigr) \bigl\vert g\circ {}^{C}D^{ \beta }_{b-}v(x) \bigr\vert \,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{(b-a)^{\beta -\alpha -1}}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta - \alpha )} \int _{a}^{b} \bigl\vert g\circ {}^{C}D^{\beta }_{b-}v(t) \bigr\vert \,dt \biggr) \biggr) \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{(b-a)^{\beta -\alpha }} \int _{a} ^{b}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \bigl\vert g\circ {}^{C}D^{\beta }_{b-}v(t) \bigr\vert \biggr) \biggr)\,dt. \end{aligned}$$
(22)

Proof

The proof is similar to the proof of Theorem 3.5. □

Theorem 3.7

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable convex and increasing function with \(\phi (0) = 0\). Also let \(m = [\beta ]+1\) and \(n = [\alpha ]+1\) for \(\alpha , \beta \notin \mathbb{N}_{0}\); \(n = [\alpha ]\) and \(m = [\beta ]\) for \(\alpha , \beta \in \mathbb{N} _{0}\) and \(v \in AC^{m} [a, b]\) such that \(f^{(i)}(a) = 0\) for \(i = n, n+1, \ldots, m-1\). Let \({}^{C}D^{\beta }_{a+}v \in L_{q}[a, b]\) and \({}^{C}D^{\alpha }_{a+}v \in L_{1}[a, b]\). Then, for \(\alpha <\beta -1\) and \(q \ge 1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( \big\vert {}^{C}D^{\alpha }_{a+}v(x) \big\vert ^{q} \bigr) \big\vert {}^{C}D^{\alpha }_{a+}v(x) \big\vert ^{q-1} \big\vert {}^{C}D^{\beta }_{a+}v(x) \big\vert ^{q}\,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha -1}}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta -\alpha )} \int _{a}^{b} \bigl\vert ^{C}D^{\beta }_{a+}v(t) \bigr\vert ^{q}\,dt \biggr) ^{q} \biggr) \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha }} \int _{a}^{b}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \big\vert {}^{C}D^{\beta }_{a+}v(t) \big\vert ^{q} \biggr) ^{q} \biggr)\,dt. \end{aligned}$$
(23)

Proof

Let \(g(x) = x^{q}\). Then g is convex and increasing for \(q \ge 1\). Therefore, using this power function g in inequalities (20), we get inequalities in (23). □

A similar result can be obtained for the class of functions denoted by \(U_{2}(g\circ v, k)\).

Theorem 3.8

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable convex and increasing function with \(\phi (0) = 0\). Also let \(m = [\beta ]+1\) and \(n = [\alpha ]+1\) for \(\alpha , \beta \notin \mathbb{N}_{0}\); \(n = [\alpha ]\) and \(m = [\beta ]\) for \(\alpha , \beta \in \mathbb{N} _{0}\) and \(v \in AC^{m} [a, b]\) such that \(f^{(i)}(b) = 0\) for \(i = n, n+1, \ldots, m-1\). Let \({}^{C}D^{\beta }_{b-}v \in L_{q}[a, b]\) and \({}^{C}D^{\alpha }_{b-}v \in L_{1}[a, b]\). Then, for \(\alpha <\beta -1\) and \(q \ge 1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( \big\vert {}^{C}D^{\alpha }_{b-}v(x) \big\vert ^{q} \bigr) \big\vert {}^{C}D^{\alpha }_{b-}v(x) \big\vert ^{q-1} \big\vert {}^{C}D^{\beta }_{b-}v(x) \big\vert ^{q}\,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha -1}}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta -\alpha )} \int _{a}^{b} \bigl\vert ^{C}D^{\beta }_{b-}v(t) \bigr\vert ^{q}\,dt \biggr) ^{q} \biggr) \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha }} \int _{a}^{b}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \big\vert {}^{C}D^{\beta }_{b-}v(t) \big\vert ^{q} \biggr) ^{q} \biggr)\,dt. \end{aligned}$$
(24)

Proof

The proof is similar to the proof of Theorem 3.7. □

Next result includes the Canavati fractional derivatives using composition identity given in Lemma 1.10.

Theorem 3.9

Let \(\phi , g : [0, \infty ) \to \mathbb{R}\) be differentiable convex and increasing functions with \(\phi (g(0)) = 0\). Also let \(\alpha \ge 0\), \(m = [\beta ]+1\) and \(n = [\alpha ]+1\). Let \(v \in C^{\beta } _{a+}[a, b]\) such that \(f^{(i)}(a) = 0\) for \(i = n-1, n, \ldots, m-2\). Let \({}^{\tilde{C}}D^{\beta }_{a+}v \in L_{q}[a, b]\). Then, for \(\alpha < \beta -1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( g \bigl( \big\vert {}^{\tilde{C}}D^{\alpha } _{a+}v(x) \big\vert \bigr) \bigr) g^{\prime } \bigl( \big\vert {}^{\tilde{C}}D ^{\alpha }_{a+}v(x) \big\vert \bigr) \bigl\vert g\circ {}^{\tilde{C}}D^{ \beta }_{a+}v(x) \bigr\vert \,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{(b-a)^{\beta -\alpha -1}}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta - \alpha )} \int _{a}^{b} \bigl\vert g\circ{} ^{\tilde{C}}D^{\beta }_{a+}v(t) \bigr\vert \,dt \biggr) \biggr) \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha }} \int _{a} ^{b}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \bigl\vert g\circ {}^{\tilde{C}}D^{\beta }_{a+}v(t) \bigr\vert \biggr) \biggr)\,dt. \end{aligned}$$
(25)

Theorem 3.10

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable convex and increasing function with \(\phi (0) = 0\). Also let \(\alpha \ge 0\), \(m = [\beta ]+1\), and \(n = [\alpha ]+1\). Let \(v \in C^{\beta }_{a+}[a, b]\) such that \(f^{(i)}(a) = 0\) for \(i = n-1, n, \ldots, m-2\). Let \({}^{\tilde{C}}D^{\beta }_{a+}v \in L_{q}[a, b]\). Then, for \(\alpha < \beta -1\) and \(q \ge 1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( \big\vert {} ^{\tilde{C}}D^{\alpha }_{a+}v(x) \big\vert ^{q} \bigr) \big\vert {} ^{ \tilde{C}}D^{\alpha }_{a+}v(x) \big\vert ^{q-1} \big\vert {} ^{\tilde{C}}D^{ \beta }_{a+}v(x) \big\vert ^{q}\,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha -1}}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta -\alpha )} \int _{a}^{b} \bigl\vert ^{\tilde{C}}D^{\beta }_{a+}v(t) \bigr\vert ^{q}\,dt \biggr) ^{q} \biggr) \\ & \quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha }} \int _{a}^{b}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \big\vert {}^{\tilde{C}}D^{\beta }_{a+}v(t) \big\vert ^{q} \biggr) ^{q} \biggr)\,dt. \end{aligned}$$
(26)

Next results are for Riemann–Liouville fractional derivatives using the composition identity given in Lemma 1.11.

Theorem 3.11

Let \(\phi , g : [0, \infty ) \to \mathbb{R}\) be differentiable convex and increasing functions with \(\phi (g(0))= 0\). Also let \(\alpha \ge 0\), \(m = [\beta ]+1\), and \(n = [\alpha ]+1\). Suppose that one of the following conditions (i)(vii) in Lemma 1.11 holds for \(\{\beta , \alpha , v \}\), and let \(D^{\beta }_{a+}v \in L_{q}[a, b]\). Then, for \(\alpha <\beta -1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( g \bigl( \bigl\vert D^{\alpha }_{a+}v(x) \bigr\vert \bigr) \bigr) g^{\prime } \bigl( \bigl\vert D ^{\alpha }_{a+}v(x) \bigr\vert \bigr) \bigl\vert g\circ D^{\beta }_{a+}v(x) \bigr\vert \,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha -1}}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta - \alpha )} \int _{a}^{b} \bigl\vert g\circ D^{\beta }_{a+}v(t) \bigr\vert \,dt \biggr) \biggr) \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{(b-a)^{\beta -\alpha }} \int _{a} ^{b}\phi \biggl( g \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \bigl\vert g\circ D^{\beta }_{a+}v(t) \bigr\vert \biggr) \biggr)\,dt. \end{aligned}$$
(27)

Theorem 3.12

Let \(\phi : [0, \infty ) \to \mathbb{R}\) be a differentiable convex and increasing function with \(\phi (0) = 0\). Also let \(\alpha \ge 0\), \(m = [\beta ]+1\), and \(n = [\alpha ]+1\). Suppose that one of the following conditions (i)(vii) in Lemma 1.11 hold for \(\{\beta , \alpha , v \}\), and let \(D^{\beta }_{a+}v \in L_{q}[a, b]\). Then, for \(\alpha <\beta -1\) and \(q \ge 1\), the following fractional inequalities hold:

$$\begin{aligned} & \int _{a}^{b}\phi ^{\prime } \bigl( \bigl\vert D^{\alpha }_{a+}v(x) \bigr\vert ^{q} \bigr) \bigl\vert D^{\alpha }_{a+}v(x) \bigr\vert ^{q-1} \bigl\vert D^{\beta }_{a+}v(x) \bigr\vert ^{q}\,dx \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha -1}}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha -1}}{\varGamma (\beta -\alpha )} \int _{a}^{b} \bigl\vert D^{\beta }_{a+}v(t) \bigr\vert ^{q}\,dt \biggr)^{q} \biggr) \\ &\quad \le \frac{\varGamma (\beta -\alpha )}{q(b-a)^{\beta -\alpha }} \int _{a}^{b}\phi \biggl( \biggl( \frac{(b-a)^{\beta -\alpha }}{\varGamma ( \beta -\alpha )} \bigl\vert D^{\beta }_{a+}v(t) \bigr\vert ^{q} \biggr)^{q} \biggr)\,dt. \end{aligned}$$
(28)

4 Concluding remarks

The aim of this paper is to utilize the classes of functions \(U_{i}(g \circ v, k)\), \(i = 1, 2\), in the establishment of new Opial-type inequalities in general prospect for convex functions. A power function is considered to obtain particular Opial-type inequalities. In application point of view, all these results have been discussed for fractional calculus operators of Riemann–Liouville, Caputo, and Canavati. Fractional inequalities have wide applications in the theory of fractional differential equations and boundary value problems and other modern areas of science like rheology, viscoelasticity, acoustics, optics, chemical and statistical physics, robotics, control theory, electrical and mechanical engineering, bioengineering, etc.

References

  1. Andrić, M., Barbir, A., Farid, G., Pečarić, J.: Opial-type inequality due to Agarwal–Pang and fractional differential inequalities. Integral Transforms Spec. Funct. 25(4), 324–335 (2013)

    Article  MathSciNet  Google Scholar 

  2. Basci, Y., Dumitru, D.: New aspects of Opial-type integral inequalities. Adv. Differ. Equ. 2018, 452 (2018). https://doi.org/10.1186/s13662-018-1912-4

    Article  MathSciNet  MATH  Google Scholar 

  3. Beesack, P.R.: Integral inequalities involving a function and its derivative. Am. Math. Mon. 78, 705–741 (1971)

    Article  MathSciNet  Google Scholar 

  4. Beesack, P.R., Das, K.M.: Extensions of Opial’s inequality. Pac. J. Math. 26, 215–232 (1968)

    Article  MathSciNet  Google Scholar 

  5. Beesack, R.P.: On and integral inequality of Z. Opial. Trans. Am. Math. Soc. 104, 470–475 (1962)

    Article  MathSciNet  Google Scholar 

  6. Boyd, D.W.: Best constants in a class of integral inequalities. Pac. J. Math. 30, 367–383 (1969)

    Article  MathSciNet  Google Scholar 

  7. Boyd, D.W., Wong, J.S.W.: An extension of Opial’s inequality. J. Math. Anal. Appl. 19, 100–102 (1967)

    Article  MathSciNet  Google Scholar 

  8. Calvert, J.: Some generalization of Opial’s inequality. Proc. Am. Math. Soc. 18, 72–75 (1967)

    MathSciNet  MATH  Google Scholar 

  9. Fagbohun, A.B., Imoru, C.O.: On an extension of Opial’s inequalities. Simon Stevin 59, 11–19 (1986)

    MATH  Google Scholar 

  10. Fagbohun, A.B., Imoru, C.O.: A new class of integro-differential inequalities. Simon Stevin 60, 301–311 (1986)

    MathSciNet  MATH  Google Scholar 

  11. Farid, G., Pečarić, J.: Opial type integral inequalities for fractional derivatives. Fract. Differ. Calc. 2(1), 31–54 (2012)

    Article  MathSciNet  Google Scholar 

  12. Farid, G., Pečarić, J.: Opial type integral inequalities for fractional derivatives II. Fract. Differ. Calc. 2(2), 139–155 (2012)

    Article  MathSciNet  Google Scholar 

  13. Godunova, E.K., Levin, V.I.: On an inequality of Maroni (Russian). Mat. Zametki 2, 221–224 (1967)

    MathSciNet  Google Scholar 

  14. He, T.X., Wang, S.C.: A note on the Opial-Hua inequality (Chinese). J. Math. Res. Exposition 1, 61–62 (1981)

    Google Scholar 

  15. Hong, Y., Yang, H., Du, D.: An inequality for convex functions. Chin. Sci. Bull. 27, 1266–1270 (1982)

    MathSciNet  MATH  Google Scholar 

  16. Hou, M.S.: An inequality of Z. Opial (Chinese). Chin. Sci. Bull. 24, 247–248 (1979)

    MATH  Google Scholar 

  17. Hua, L.K.: On an inequality of Opial. Sci. Sin. 14, 789–790 (1965)

    MathSciNet  MATH  Google Scholar 

  18. Hwang, T.S., Yang, G.S.: On integral inequalities related to Opial’s inequality. Tamkang J. Math. 21, 177–183 (1990)

    MathSciNet  MATH  Google Scholar 

  19. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, New York (2006)

    Book  Google Scholar 

  20. Lee, C.S.: On some generalization of inequalities of Opial, Yang and Shum. Can. Math. Bull. 23, 71–80 (1980)

    Article  MathSciNet  Google Scholar 

  21. Lin, C.T., Yang, G.S.: On some integro-differential inequalities. Tamkang J. Math. 16, 123–129 (1985)

    MathSciNet  MATH  Google Scholar 

  22. Maroni, P.M.: Sur I’inegalite d’Opial-Beesack. C. R. Acad. Sci. Paris, Ser. A 264, 62–64 (1967)

    MathSciNet  MATH  Google Scholar 

  23. Milovanovic, G.V., Milovanovic, I.Z.: The best constant in some integral inequalities of Opial type. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. Fiz. 678(715), 48–53 (1980)

    MathSciNet  MATH  Google Scholar 

  24. Mitrinović, D.S., Pečarić, J.E.: Generalization of two inequalities of Godunova and Levin. Bull. Pol. Acad. Sci., Math. 36, 645–648 (1988)

    MathSciNet  MATH  Google Scholar 

  25. Opial, Z.: Sur une inégalité. Ann. Pol. Math. 8, 29–32 (1960)

    Article  MathSciNet  Google Scholar 

  26. Pachpatte, B.G.: On Opial-type integral inequalities. J. Math. Anal. Appl. 120, 547–556 (1986)

    Article  MathSciNet  Google Scholar 

  27. Pachpatte, B.G.: A note on generalization Opial type inequalities. Tamkang J. Math. 24, 229–235 (1993)

    MathSciNet  MATH  Google Scholar 

  28. Pečarić, J.E., Proschan, F., Tong, Y.L.: Convex Functions, Partial Orderings, and Statistical Applications. Mathematics in Science and Engineering, vol. 187 (1992)

    MATH  Google Scholar 

  29. Qi, Z.: Further generalization of Opial’s inequality. Acta Math. Sin. New Ser. 1, 196–200 (1985)

    Article  MathSciNet  Google Scholar 

  30. Redheffer, R.: Inequalities with three functions. J. Math. Anal. Appl. 16, 219–242 (1966)

    Article  MathSciNet  Google Scholar 

  31. Rozanova, G.I.: Integral’nye neravenstva s proizvodnysi i proizvol’nymivypuklymi funkcijami. Uc. Zap. Mosk. Gos. Ped. In-ta im. Lenina 460, 58–65 (1972)

    Google Scholar 

  32. Shum, D.T.: A general and sharpened form of Opial’s inequality. Can. Math. Bull. 17, 385–389 (1974)

    Article  MathSciNet  Google Scholar 

  33. Shum, D.T.: On a class of new inequalities. Trans. Am. Math. Soc. 204, 299–341 (1975)

    Article  MathSciNet  Google Scholar 

  34. Sinnamon, G.J.: Weighted Hardy and Opial-type inequalities. J. Math. Anal. Appl. 160, 434–445 (1991)

    Article  MathSciNet  Google Scholar 

  35. Vranceanu, G.G.: On an inequality of Opial. Bull. Math. Soc. Sci. Math. R. S. Roumaine 17, 315–316 (1973)

    MathSciNet  MATH  Google Scholar 

  36. Wayne, A., Varberg, D.E.: Convex Functions. Acadamic Press, New York (1973)

    MATH  Google Scholar 

  37. Yang, G.S.: On a certain result of Z. Opial. Proc. Jpn. Acad. 42, 78–83 (1966)

    Article  MathSciNet  Google Scholar 

  38. Yang, G.S.: A note on some integro-differential inequalities. Soochow J. Math. 9, 231–236 (1983)

    MathSciNet  Google Scholar 

Download references

Acknowledgements

We thank the editor and referees for their careful reading and valuable suggestions to make the article reader friendly. The research work of Ghulam Farid is supported by the Higher Education Commission of Pakistan under NRPU 2016, Project.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

All authors have equal contributions in this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to G. Farid.

Ethics declarations

Competing interests

It is declared that authors have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Farid, G., Rehman, A.U., Ullah, S. et al. Opial-type inequalities for convex functions and associated results in fractional calculus. Adv Differ Equ 2019, 152 (2019). https://doi.org/10.1186/s13662-019-2089-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2089-1

MSC

Keywords