$(m, n)$-Harmonically polynomial convex functions and some Hadamard type inequalities on the co-ordinates

1.   Introduction

The Hermite-Hadamard inequality, which is one of the basic inequalities of inequality theory, has many applications in statistics and optimization theory, as well as providing estimates about the mean value of convex functions.

Assume that $f:I\subseteq \mathbb{R} \rightarrow \mathbb{R}$ is a convex mapping defined on the interval $I$ of $\mathbb{R}$ where $a < b.$ The following statement;

holds and known as Hermite-Hadamard inequality. Both inequalities hold in the reversed direction if $f$ is concave.

The concept of convex function, which is used in many classical and analytical inequalities, especially the Hermite-Hadamard inequality, has attracted the attention of many researchers see ^[4,7,8,9], and has expanded its application area with the construction of new convex function classes. The introduction of this useful class of functions for functions of two variables gave a new direction to convex analysis. In this sense, in ^[6], Dragomir mentioned about an expansion of the concept of convex function, which is used in many inequalities in theory and has applications in different fields of applied sciences and convex programming.

Definition 1.1. Let us consider the bidimensional interval $\Delta = [a, b]\times \lbrack c, d]$ in $\mathbb{R} ^{2}$ with $a < b, \; c < d.$ A function $f:\Delta \rightarrow \mathbb{R}$ will be called convex on the co-ordinates if the partial mappings $f_{y}:[a, b]\rightarrow \mathbb{R}, \; f_{y}(u) = f(u, y)$ and $f_{x}:[c, d]\rightarrow \mathbb{R}, \; f_{x}(v) = f(x, v)$ are convex where defined for all $y\in \lbrack c, d]$ and $x\in \lbrack a, b].$ Recall that the mapping $f:\Delta \rightarrow \mathbb{R}$ is convex on $\Delta$ if the following inequality holds,

for all $(x, y), (z, w)\in \Delta$ and $\lambda \in \lbrack 0, 1].$

Transferring the concept of convex function to coordinates inspired the presentation of Hermite-Hadamard inequality in coordinates and Dragomir proved this inequality as follows.

Theorem 1.1. (See ^[6]) Suppose that $f:\Delta = [a, b]\times \lbrack c, d]\rightarrow \mathbb{R}$ is convex on the co-ordinates on $\Delta$. Then one has the inequalities;

The above inequalities are sharp.

To provide further information about convexity and inequalities that have been established on the coordinates, see the papers ^{[1,2,5,10,11,12,13,14,15]}).

One of the trending problems of recent times is to present different types of convex functions and to derive new inequalities for these function classes. Now we will continue by remembering the concept of $n$-polynomial convex function.

Definition 1.2. (See ^[16]) Let $n\in \mathbb{N}.$ A non-negative function $f:I\subset \mathbb{R} \rightarrow \mathbb{R}$ is called $n$-polynomial convex function if for every $x, y\in I$ and $t\in \lbrack 0, 1],$

We will denote by $POLC(I)$ the class of all $n$-polynomial convex functions on interval $I$.

In the same paper, the authors have proved some new Hadamard type inequalities, we will mention the following one:

Theorem 1.2. (See ^[16]) Let $f:[a, b]\rightarrow \mathbb{R}$ be an $n$-polynomial convex function. If $a < b$ and $f\in L[a, b]$, then the following Hermite-Hadaamrd type inequalities hold:

Since some of the convex function classes can be described on the basis of means, averages have an important place in convex function theory. In ^[3], Awan et al. gave the harmonic version on the $n$-polynomial convexity described on the basis of the arithmetic mean as follows. They have also proved several new integral inequalities of Hadamard type.

Definition 1.3. (See ^[3]) Let $n\in \mathbb{N}$ and $H\subseteq (0, \infty)$ be an interval. Then a nonnegative real-valued function $f:H\rightarrow \lbrack 0, \infty)$ is said to be an $n$-polynomial harmonically convex function if

for all $x, y\in H$ and $t\in \lbrack 0, 1]$.

Theorem 1.3. (See ^[3]) Let $f:[a, b]\subseteq (0, \infty)\rightarrow \lbrack 0, \infty)$ be an $n$-polynomial harmonically convex function. Then one has

if $f\in L[a, b]$.

The main motivation in this study is to give a new modification of $\left(m, n\right)$-harmonically polynomial convex functions on the coordinates and to obtain Hadamard type inequalities via double integrals and by using Hö lder inequality along with a few properties of this new class of functions.

2.   Main results

In this section, we will give a new classes of convexity that will be called $\left(m, n\right)$-polynomial convex function as following.

Definition 2.1. Let $m, n\in \mathbb{N}$ and $\Delta = \left[ a, b\right] \times \left[ c, d\right]$ be a bidimensional interval. Then a non-negative real-valued function $f:\Delta \rightarrow \mathbb{R}$ is said to be $\left(m, n\right)$-harmonically polynomial convex function on $\Delta$ on the co-ordinates if the following inequality holds:

where $\left(x, y\right), \left(x, w\right), \left(z, y\right), \left(z, w\right) \in \Delta$ and $t, s\in \left[ 0, 1\right].$

Remark 2.1. If one choose $m = n = 1,$ it is easy to see that the definition of $\left(m, n\right)$-harmonically polynomial convex functions reduces to the class of the harmonically convex functions.

Remark 2.2. The $(2, 2)$-harmonically polynomial convex functions satisfy the following inequality;

where $\left(x, y\right), \left(x, w\right), \left(z, y\right), \left(z, w\right) \in \Delta$ and $t, s\in \left[ 0, 1\right].$

Theorem 2.1. Assume that $b > a > 0, d > c > 0, \; f_{\alpha }:\left[ a, b\right] \times \left[ c, d \right] \rightarrow \lbrack 0, \infty)$ be a family of the $\left(m, n\right)$-harmonically polynomial convex functions on $\Delta$ and $f(u, v) = \sup \; f_{\alpha }(u, v).$ Then, $f$ is $\left(m, n\right)$- harmonically polynomial convex function on the coordinates if $K = \left\{ x, y\in \left[ a, b\right] \times \left[ c, d\right] :f(x, y) < \infty \right\}$ is an interval.

Proof. For $t, s\in \left[ 0, 1\right]$ and $\left(x, y\right), \left(x, w\right), \left(z, y\right), \left(z, w\right) \in \Delta,$ we can write

which completes the proof.

Lemma 2.1. Every $\left(m, n\right)$-harmonically polynomial convex function on $\Delta$ is $\left(m, n\right)$-harmonically polynomial convex function on the co-ordinates.

Proof. Consider the function $f:\Delta \rightarrow \mathbb{R}$ is $\left(m, n\right)$-harmonically polynomial convex function on $\Delta.$ Then, the partial mapping $f_{x}:\left[ c, d\right] \rightarrow \mathbb{R}, f_{x}\left(v\right) = f\left(x, v\right)$ is valid. We can write

for all $t\in \left[ 0, 1\right]$ and $v, w\in \left[ c, d\right].$ This shows the $\left(m, n\right)$-harmonically polynomial convexity of $f_{x}.$ By a similar argument, one can see the $\left(m, n\right)$-harmonically polynomial convexity of $f_{y}.$

Remark 2.3. Every $\left(m, n\right)$-harmonically polynomial convex function on the co-ordinates may not be $\left(m, n\right)$-harmonically polynomial convex function on $\Delta$.

A simple verification of the remark can be seen in the following example.

Example 2.1. Let us consider $f:\left[ 1, 3\right] \times \left[ 2, 3\right] \rightarrow \lbrack 0, \infty),$ given by $f\left(x, y\right) = \left(x-1\right) \left(y-2\right).$ It is clear that $f$ is harmonically polynomial convex on the coordinates but is not harmonically polynomial convex on $\left[ 1, 3\right] \times \left[ 2, 3\right],$ because if we choose $\left(1, 3\right), \left(2, 3\right) \in \left[ 1, 3\right] \times \left[ 2, 3\right]$ and $t\in \left[ 0, 1\right],$ we have

Then, it is easy to see that

This shows that $f$ is not harmonically polynomial convex on $\left[ 1, 3 \right] \times \left[ 2, 3\right].$

Now, we will establish associated Hadamard inequality for $\left(m, n\right)$-harmonically polynomial convex functions on the co-ordinates.

Theorem 2.2. Suppose that $f:\Delta \rightarrow \mathbb{R}$ is $\left(m, n\right)$-harmonically polynomial convex on the coordinates on $\Delta.$ Then, the following inequalities hold:

Proof. Since $f$ is $\left(m, n\right)$-harmonically polynomial convex function on the co-ordinates, it follows that the mapping $h_{x}$ and $h_{y}$ are $\left(m, n\right)$-harmonically polynomial convex functions. Therefore, by using the inequality $\left(1.3\right)$ for the partial mappings, we can write

namely

Dividing both sides of $\left(2.2\right)$ by $\frac{\left(b-a\right) }{ab}$ and by integrating the resulting inequality over $\left[ a, b\right],$ we have

By a similar argument for $\left(2.3\right),$ but now for dividing both sides by $\frac{(d-c)}{cd}$ and integrating over $\left[ c, d\right]$ and by using the mapping $h_{y}$ is $\left(m, n\right)$-harmonically polynomial convex function$,$ we get

By summing the inequalities $\left(2.4\right)$ and $\left(2.5 \right)$ side by side, we obtain the second and third inequalities of $\left(2.1\right).$ By the inequality $\left(1.3\right),$ we also have:

and

which give by addition the first inequality of $\left(2.1\right)$. Finally, by using the inequality $\left(1.3\right),$ we obtain

and

which give by addition the last inequality of $\left(2.1\right).$

In order to prove our main findings, we need the following identity.

Lemma 2.2. Assume that $f:\Delta = \left[ a, b\right] \times \left[ c, d\right] \subset (0, \infty)\times (0, \infty)\rightarrow \mathbb{R}$ be a partial differentiable mapping on $\Delta$ and $\frac{\partial ^{2}f }{\partial t\partial s}\in L\left(\Delta \right).$ Then, one has the following equality:

where $A_{t} = tb+(1-t)a, B_{s} = sd+(1-s)c.$

Theorem 2.3. Let $f:\Delta = \left[ a, b\right] \times \left[ c, d\right] \subset (0, \infty)\times (0, \infty)\rightarrow \mathbb{R}$ be a partial differentiable mapping on $\Delta$ and $\frac{\partial ^{2}f }{\partial t\partial s}\in L\left(\Delta \right).$ If $\left\vert \frac{ \partial ^{2}f}{\partial t\partial s}\right\vert ^{q}$ is $(m, n)$-harmonically polynomial convex function on $\Delta,$ then one has the following inequality:

where

and $A_{t} = tb+(1-t)a, B_{s} = sd+(1-s)c$ for fixed $t, s\in \lbrack 0, 1], p, q > 1$ and $p^{-1}+q^{-1} = 1$.

Proof. By using the identity that is given in Lemma 2.2, we can write

By using the well known Hölder inequality for double integrals and by taking into account the definition of $(m, n)$-harmonically polynomial convex functions, we get

By computing the above integrals, we can easily see the followings

and

where $_{2}F_{1}$ is Hypergeometric function defined by

for $c > b > 0, \left\vert z\right\vert < 1$ and Beta function is defind as $B(x, y) = \int\limits_{0}^{1}t^{x-1}(1-t)^{y-1}dt, \; x, y > 0.$ This completes the proof.

Corollary 2.1. If we set $m = n = 1$ in $\left(2.6\right),$ we have the following new inequality.

where

Corollary 2.2. Suppose that all the conditions of Theorem 2.3 hold. If we set $\left\vert \frac{\partial ^{2}f\left(t, s\right) }{\partial t\partial s} \right\vert ^{q}$ is bounded, i.e.,

we get

where $c_{1}, c_{2}, c_{3}, c_{4}$ as in Theorem 2.3.

3.   Acknowledgements

N. Mlaiki and T. Abdeljawad would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.

S. Butt would like to thank H. E. C. Pakistan (project 7906) for their support.

Conflict of interest

The authors declare that no conflicts of interest in this paper.