Integral inequalities under beta function and preinvex type functions

Abstract

In the present paper, the notion of P-preinvex function is introduced and new integral inequalities for this kind of function along with beta function are establised. The work extends the results appeared in the literature.

Background

Convexity plays an important role in economics, management science, engineering, finanace and optimization theory. Many interesting generalizations and extensions of classical convexity have been used in optimization and mathematical inequalities. Hanson (1981) introduced the concept of invexity. These functions were named invex by Craven (1981) and $\mathit{\eta }$-convex by Kaul and Kaur (1980). Weir and Mond (1988) introduced the concept of preinvex function. Later, Mohan and Neogy (1995) presented few properties of preinvex functions. Some refinements of the mathematical inequalities on convex and generalized convex functions have been investigated in Barani et al. (2012), Chalco-Cano et al. (2012), Dragomir (2001), Dragomir and Agarwal (1998), Fok and Vong (2015), Matloka (2014), Muddassar and Bhatti (2013) and Pachpatte (2004).

Let S be a nonempty subset of $R^n$ and let $\mathit{\eta }:S\times S\to R^n.$

Definition 1

The set $S\subseteq R^n$ is said to be invex with respect to $\mathit{\eta }(u,v)$ if for every $u,v\in S$ and $t\in [0,1],$

$$\begin{array}{c}\hfill v+t\mathit{\eta }(u,v)\in S.\end{array}$$

It is obvious that every convex set is invex with respect to $\mathit{\eta }(u,v)=u-v,$ but there exist invex sets which are not convex (see Mohan and Neogy 1995).

Definition 2

(Weir and Mond 1988) The function $f:S\to R$ is said to be preinvex on S with respect to $\mathit{\eta }(u,v)$, if

$$\begin{array}{c}\hfill f(v+t\mathit{\eta }(u,v))\le (1-t)f(v)+tf(u)\end{array}$$

for every $u,v\in S$ and $t\in [0,1],$

The Gauss–Jacobi type quadrature formula has the following

$$\begin{array}{c}\hfill {\int }_a^b{(x-a)}^p{(b-x)}^{q}f(x)dx=\sum _{k=0}^{\infty }{B}_{m,k}f({\mathit{\gamma }}_k)+R_m^{\star }|f|,\end{array}$$ 1

for certain $B_{m,k},{\mathit{\gamma }}_k$ and rest $R_m^{\star }|f|$ (see Stancu et al. 2002).

Recently, Liu (2014) obtained several integral inequalities for the left hand side of (1) under the following P-convexity:

The function $f:I\to R$, where $I\subseteq R$ is said to be P-convex on a convex set, if

$$\begin{array}{c}\hfill f(tu+(1-t)v)\le f(u)+f(v).\end{array}$$

for every $u,v\in I$ and $t\in [0,1].$ For the applications of P-convex function and its generalizations, we refer Akdemir and Ozdemir (2010), Barani and Barani (2012), Liu (2013, 2014), Tunc (2013) and Varosanec (2007).

The main purpose of this paper is to introduce the class of P-preinvex function and derive new inequalities for the left hand side of (1) under these assumptions. The presented results generalize the results of Liu (2014) and references cited therein.

New integral inequalities

Definition 3

The function $f:S\to R$ is said to be P-preinvex on S with respect to $\mathit{\eta }(u,v)$, if

$$\begin{array}{c}\hfill f(v+t\mathit{\eta }(u,v))\le f(u)+f(v).\end{array}$$

for every $u,v\in S$ and $t\in [0,1],$

Note that every P-convex function (Liu 2014) is a P-preinvex function with respect to $\mathit{\eta }(u,v)=u-v$ for any $t\in [0,1].$

Lemma 1

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$(the interior ofS)with$a<a+\mathit{\eta }(b,a).$Iffis P-preinvex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$,

$$\begin{array}{c}\hfill {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx=\mathit{\eta }{(b,a)}^{p+q+1}{\int }_0^1{t}^p{(1-t)}^{q}f(a+t\mathit{\eta }(b,a))dt.\end{array}$$

Proof

It is easy to observe that

$$\begin{array}{cc}\hfill {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx& ={\int }_0^1{(a+t\mathit{\eta }(b,a)-a)}^p{(a+\mathit{\eta }(b,a)-a-t\mathit{\eta }(b,a))}^q\hfill \\ \hfill & \times f(a+t\mathit{\eta }(b,a))dt\hfill \\ \hfill & =\mathit{\eta }{(b,a)}^{p+q+1}{\int }_0^1{t}^p{(1-t)}^{q}f(a+t\mathit{\eta }(b,a))dt\hfill \end{array}$$

$\square$

The following definition will be used in the sequel.

Definition 4

The beta function is defined for $x,y>0$ as

$$\begin{array}{c}\hfill \mathit{\beta }(x,y)={\int }_0^1{t}^{x-1}{(1-t)}^{y-1}dt.\end{array}$$

Theorem 1

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$ (the interior ofS) with$a<a+\mathit{\eta }(b,a).$If$|f|$is P-preinvex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$,

$$\begin{array}{c}\hfill {\int }_a^{a+\mathit{\theta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\le \mathit{\eta }{(b,a)}^{p+q+1}\mathit{\beta }(p+1,q+1)(|f(a)|+|f(b)|).\end{array}$$

Proof

Since $|f|$ is P-preinvex function on $[a,a+\mathit{\eta }(b,a)]$, we have

$$\begin{array}{c}\hfill |f(a+t\mathit{\eta }(b,a))|\le |f(a)|+|f(b)|\end{array}$$

for all $t\in [0,1].$ By Theorem 1 and P-preinvexity of $|f|$, we get

$$\begin{array}{cc}\hfill {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx& =\mathit{\eta }{(b,a)}^{p+q+1}{\int }_0^1{t}^p{(1-t)}^q|f(a+t\mathit{\eta }(b,a))|dt\hfill \\ \hfill & \le \mathit{\eta }{(b,a)}^{p+q+1}{\int }_0^1{t}^p{(1-t)}^q(|f(a)|+|f(b)|)dt\hfill \\ \hfill & =\mathit{\eta }{(b,a)}^{p+q+1}\mathit{\beta }(p+1,q+1)(|f(a)|+|f(b)|)\hfill \\ \hfill & (bythedefinition4).\hfill \end{array}$$

Theorem 2

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$ (the interior ofS) with$a<a+\mathit{\eta }(b,a).$If${|f|}^{\frac{k}{k-1}}$is P-preinvex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$,

$$\begin{array}{cc}& {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\hfill \\ \hfill & \le \mathit{\eta }{(b,a)}^{p+q+1}{[\mathit{\beta }(kp+1,kq+1)]}^{\frac{1}{k}}{\left({|f(a)|}^{\frac{k}{k-1}}+{|f(b)|}^{\frac{k}{k-1}}\right)}^{\frac{k-1}{k}}.\hfill \end{array}$$

Proof

The P-preinvexity of ${|f|}^{\frac{k}{k-1}}$ on $[a,a+\mathit{\eta }(b,a)]$ along with Lemma 1, Definition 4 and H$\ddot{o}$lder inequality imply that

$$\begin{array}{cc}& {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\hfill \\ \hfill & \le \mathit{\eta }{(b,a)}^{p+q+1}{\left[{\int }_0^1{t}^{kp}{(1-t)}^{kq}\right]}^{\frac{1}{k}}{\left[{\int }_0^1{|f(a+t\mathit{\eta }(b,a))|}^{\frac{k}{k-1}}dt\right]}^{\frac{k-1}{k}}\hfill \\ \hfill & \le \mathit{\eta }{(b,a)}^{p+q+1}{[\mathit{\beta }(kp+1,kq+1)]}^{\frac{1}{k}}{\left[{\int }_0^1\left({|f(a)|}^{\frac{k}{k-1}}+{|f(b)|}^{\frac{k}{k-1}}\right)dt\right]}^{\frac{k-1}{k}}\hfill \\ \hfill & =\mathit{\eta }{(b,a)}^{p+q+1}{[\mathit{\beta }(kp+1,kq+1)]}^{\frac{1}{k}}{\left({|f(a)|}^{\frac{k}{k-1}}+{|f(b)|}^{\frac{k}{k-1}}\right)}^{\frac{k-1}{k}}.\hfill \\ \hfill \end{array}$$

This completes the proof. $\square$

Theorem 3

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$ (the interior ofS) with$a<a+\mathit{\eta }(b,a).$If${|f|}^l$is P-preinvex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$,

$$\begin{array}{c}\hfill {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\le \mathit{\eta }{(b,a)}^{p+q+1}\mathit{\beta }(p+1,q+1)\left({|f(a)|}^l+{|f(b)|}^l\right).\end{array}$$

Proof

The P-preinvexity of ${|f|}^l$ on $[a,a+\mathit{\eta }(b,a)]$ along with Lemma 1, Definition 4 and H$\ddot{o}$lder inequality give

$$\begin{array}{cc}& {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\hfill \\ \hfill & =\mathit{\eta }{(b,a)}^{p+q+1}{\int }_0^1{\left[t^p{(1-t)}^q\right]}^{\frac{l-1}{l}}{\left[t^p{(1-t)}^q\right]}^{\frac{l}{l}}f(a+t\mathit{\eta }(b,a))dt\hfill \\ \hfill & \le \mathit{\eta }{(b,a)}^{p+q+1}{\left[{\int }_0^1{t}^p{(1-t)}^{q}dt\right]}^{\frac{l-1}{l}}{\left[{\int }_0^1{t}^p{(1-t)}^q|f(a+t\mathit{\eta }(b,a))|dt\right]}^{\frac{1}{l}}\hfill \\ \hfill & \le \mathit{\eta }{(b,a)}^{p+q+1}{[\mathit{\beta }(p+1,q+1)]}^{\frac{1-l}{l}}{\left[\left({|f(a)|}^l+{|f(b)|}^l\right)\mathit{\beta }(p+1,q+1)\right]}^{\frac{1}{l}}\hfill \\ \hfill & =\mathit{\eta }{(b,a)}^{p+q+1}\mathit{\beta }(p+1,q+1){\left({|f(a)|}^l+{|f(b)|}^l\right)}^{\frac{1}{l}}.\hfill \end{array}$$

This completes the proof. $\square$

Intergal inequalities involving prequasi-invex

I state the following theorems as the proof follow on the same lines of the theorems of “New integral inequalities” section.

Definition 5

(Pinni 1991) The function $f:S\to R$ is said to be prequasi-invex on S with respect to $\mathit{\eta }(u,v)$, if

$$\begin{array}{c}\hfill f(tu+(1-t)v)\le max(f(u),f(v))\end{array}$$

for every $u,v\in S$ and $t\in [0,1].$

Theorem 4

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$ (the interior ofS) with$a<a+\mathit{\eta }(b,a).$Iffis prequasi-invex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$

$$\begin{array}{c}\hfill {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\le \mathit{\eta }{(b,a)}^{p+q+1}\mathit{\beta }(p+1,q+1)\max (f(a),f(b)).\end{array}$$

Theorem 5

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$ (the interior ofS) with$a<a+\mathit{\eta }(b,a).$If$|f|$is prequasi-invex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$,

$$\begin{array}{c}\hfill {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\le \mathit{\eta }{(b,a)}^{p+q+1}\mathit{\beta }(p+1,q+1)max(|f(a)|,|f(b)|).\end{array}$$

Theorem 6

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$ (the interior ofS) with$a<a+\mathit{\eta }(b,a).$If${|f|}^{\frac{k}{k-1}}$is prequasi-invex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$,

$$\begin{array}{cc}& {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\hfill \\ \hfill & \le \mathit{\eta }{(b,a)}^{p+q+1}{[\mathit{\beta }(kp+1,kq+1)]}^{\frac{1}{k}}max{\left({|f(a)|}^{\frac{k}{k-1}},{|f(b)|}^{\frac{k}{k-1}}\right)}^{\frac{k-1}{k}}.\hfill \end{array}$$

Theorem 7

Let$f:S=[a,a+\mathit{\eta }(b,a)]\to R$be a continous function on the interval of real numbers$S^0$ (the interior ofS) with$a<a+\mathit{\eta }(b,a).$If${|f|}^l$is prequasi-invex function on$[a,a+\mathit{\eta }(b,a)]$, then for some fixed$p,q>0$,

$$\begin{array}{c}\hfill {\int }_a^{a+\mathit{\eta }(b,a)}{(x-a)}^p{(a+\mathit{\eta }(b,a)-x)}^{q}f(x)dx\le \mathit{\eta }{(b,a)}^{p+q+1}\mathit{\beta }(p+1,q+1)max\left({|f(a)|}^l,{|f(b)|}^l\right).\end{array}$$

Remark 1

If $\mathit{\eta }(b,a)=b-a$ in the theorems of “Intergal inequalities involving prequasi-invex” section, then we get the Theorems appeared in Liu (2013).

Conclusion

In this paper, I have introduced the P-preinvex function and used it along with beta function to establish the new integral type inequalities. I also stated the other integral type inequalities under prequasi-invex function. The presented results may be futher generalized under weaker convexity assumptions.