Some new estimates of well known inequalities for $(h_1, h_2)$-Godunova-Levin functions by means of center-radius order relation

1.   Introduction

The field of interval analysis is a subfield of set-valued analysis, which focuses on sets in mathematics and topology. Historically, Archimede's method included calculating the circumference of a circle, which is an example of interval enclosure. By focusing on interval variables instead of point variables, and expressing computation results as intervals, this method eliminates errors that cause misleading conclusions. An initial objective of the interval-valued analysis was to estimate error estimates for numerical solutions to finite state machines. In 1966, Moore ^[2], published the first book on interval analysis, which is credited with being the first to use intervals in computer mathematics in order to improve calculation results. There are many situations where the interval analysis can be used to solve uncertain problems because it can be expressed in terms of uncertain variables. In spite of this, interval analysis remains one of the best approaches to solving interval uncertain structural systems and has been used for over fifty years in mathematical modeling such as computer graphics ^[3], decision-making analysis ^[4], multi-objective optimization, ^[5], error analysis ^[40]. In summary, interval analysis research has yielded numerous excellent results, and readers can consult Refs. ^[7,8,9], for additional information.

Convexity has been recognized for many years as a significant factor in such fields as probability theory, economics, optimal control theory, and fuzzy analysis. On the other hand, generalized convexity of mappings is a powerful tool for solving numerous nonlinear analysis and applied analysis problems, including a wide range of mathematical physics problems. A number of rigorous generalizations of convex functions have recently been investigated, see Refs. ^{[10,11,12,13]}. An interesting topic in mathematical analysis is integral inequalities. Convexity plays a significant role in inequality theory. During the last few decades, generalized convexity has played a prominent role in many disciplines and applications of $\mathcal{IVFS}$, see Refs. ^{[14,15,16,17,18,19]}. Several recent applications have addressed these inequalities, see Refs. ^[20,21,22]. First, Breckner describes the idea of continuity for $\mathcal{IVFS}$, see Ref. ^[23]. Using the generalized Hukuhara derivative, Chalco-Cano et al. ^[24], and Costa et al. ^[25], derived some Ostrowski and Opial type inequality for $\mathcal{IVFS}$, respectively. Bai et al. ^[26], formulated an interval-based Jensen inequality. First, Zhao ^[27], and co-authors established ($\mathcal{H.H}$) and Jensen inequality using h-convexity for $\mathcal{IVFS}$. In general, the traditional ($\mathcal{H.H}$) inequality has the following definition:

Because of the nature of its definition, it is the first geometrical interpretation of convex mappings in elementary mathematics, and has attracted a large amount of attention. Several generalizations of this inequality are presented here, see Refs. ^{[28,29,30,31]}. Initially, Awan et al. explored $(h_1, h_2)$-convex functions and proved the following inequality ^[32]. Several authors have developed $\mathcal{H.H}$ and Jensen-type inequalities utilizing $(h_1, h_2)$-convexity. Ruonan Liu ^[33] developed $\mathcal{H.H}$ inequalities for harmonically $(h_1, h_2)$-convex functions. Wengui Yang ^[34] developed $\mathcal{H.H}$ inequalities on the coordinates for $(p_1, h_1)$-$(p_2, h_2)$-convex functions. Shi et al. ^[35] developed $\mathcal{H.H}$ inequalities for $(m, h_1, h_2)$-convex functions via Riemann Liouville fractional integrals. Sahoo et al. ^[36] established $\mathcal{H.H}$ and Jensen-type inequalities for harmonically $(h_1, h_2)$-Godunova-Levin functions. Afzal et al. ^[37] developed these inequalities for a generalized class of Godunova-Levin functions using inclusion relation. An et al. ^[38] developed $\mathcal{H.H}$ type inequalities for interval-valued $(h_1, h_2)$-convex functions. Results are now influenced by less accurate inclusion relation and interval LU-order relation. For some recent developments using the inclusion relation for the generalized class of Godunova-Levin functions, see Refs. ^[39,40,44]. It is clear from comparing the examples presented in this literature that the inequalities obtained using these old partial order relations are not as precise as those obtained by using CR-order relation. As a result, it is critically important that we are able to study inequalities and convexity by using a total order relation. Therefore, we use Bhunia's ^[41], CR-order, which is total interval order relation. The notions of CR-convexity and CR-order relation were used by several authors in 2022, in an attempt to prove a number of recent developments in these inequalities, see Refs. ^[42,43]. Afzal et al. using the notion of the h-GL function, proves the following result ^[45].

Theorem 1.1. (See ^[45]) Consider $\Theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}.$ Define ${h}:(0, 1)\rightarrow \mathcal{ R^{+}}$ and $h\left(\frac{1}{2}\right)\neq0.$ If $\Theta\in SX($CR-h$, [g, h], \mathcal{{R_I}^{+}})$ and $\Theta\in\ \mathcal{IR}_{[g, h]}$, then

Also, by using the notion of the h-GL function Jensen-type inequality was also developed.

Theorem 1.2. (See ^[45]) Let $u_i\in\mathcal{ {R}^{+}}$, $j_i \in [g, h]$. If ${h}$ is non-negative super multiplicative function and $\Theta\in SX($CR-h$, [g, h], \mathcal{{R_I}^{+}})$, then this holds :

In addition, it introduces a new concept of interval-valued GL-functions pertaining to a total order relation, the Center-Radius order, which is unique as far as the literature goes. With the example presented in this article, we are able to show how CR-$\mathcal{IVFS}$ can be used to analyze various integral inequalities. In contrast to classical interval-valued analysis, CR-order interval-valued analysis differs from it. Using the concept of Centre and Radius, we calculate intervals as follows: $\mathcal{M}_C = \frac{\underline{\mathcal{M}}+\overline{\mathcal{M}}}{2}$ and $\mathcal{M}_R = \frac{\overline{\mathcal{M}}-\underline{\mathcal{M}}}{2}$, respectively, where $\mathcal{M} = [\underline{\mathcal{M}}, \bar{\mathcal{M}}].$ Inspired by the concepts of interval valued analysis and the strong literature that has been discussed above with particular articles, see e.g., Zhang et al. ^[39], Bhunia and Samanta ^[41], Shi et al. ^[42], Liu et al. ^[43] and Afzal et al. ^[44,45], we introduced the idea of $CR$-$(h_1, h_2)$-GL function. By using this new concept we developed $\mathcal{H.H}$ and Jensen-type inequalities. The study also includes useful examples to back up its findings.

Finally, the article is designed as follows: In Section 2, preliminary is provided. The main problems and applications are provided in Section 3 and 4. Finally, Section 5 provides the conclusion.

2.   Preliminaries

As for the notions used in this paper but not defined, see Refs. ^[42,43,45]. It is a good idea to familiarize yourself with some basic arithmetic related to interval analysis in this section since it will prove very helpful throughout the paper.

where $\eta \in \mathcal{R}$.

Let $\mathcal{R}_I \ \text{and}\ \mathcal{R}^+_I$ be the set of all closed and all positive compact intervals of $\mathcal{R}$, respectively. Several algebraic properties of interval arithmetic will now be discussed.

Consider $\mathcal{M} = [\underline{\mathcal{M}}, \bar{\mathcal{M}}] \in \mathcal{R}_{I}$, then $\mathcal{M}_{c} = \frac{\overline{\mathcal{M}}+\underline{\mathcal{M}}}{2}$ and $\mathcal{M}_{r} = \frac{\overline{\mathcal{M}}-\underline{\mathcal{M}}}{2}$ are the center and radius of interval $\mathcal{M}$ respectively. The CR form of interval $\mathcal{M}$ can be defined as:

Following are the order relations for the center and radius of intervals:

Definition 2.1. The CR-order relation for $\mathcal{M} = [\underline{\mathcal{M}}, \overline{\mathcal{M}}] = \langle \mathcal{M}_{c}, \mathcal{M}_{r} \rangle$, $\mathcal{N} = [\underline{\mathcal{N}}, \overline{\mathcal{N}}] = \langle \mathcal{N}_{c}, \mathcal{N}_{r} \rangle \in \mathcal{R}_{I}$ represented as:

Note: For arbitrary two intervals $\mathcal{M}, \mathcal{N}\in\mathcal{R}_{I}$, we have either $\mathcal{M}\preceq_{cr}\mathcal{N}$ or $\mathcal{N}\preceq_{cr}\mathcal{M}$.

Riemann integral operators for $\mathcal{IVFS}$ are presented here.

Definition 2.2 (See ^[45]) Let $\mathcal{D}:[{g}, {h}]$ be an $\mathcal{IVF}$ such that $\mathcal{D} = [\underline{\mathcal{D}}, \overline{\mathcal{D}}]$. Then $\mathcal{D}$ is Riemann integrable ($\mathcal{IR}$) on $[{g}, {h}]$ if $\underline{\mathcal{D}} \ and \ \overline{\mathcal{D}}$ are $\mathcal{IR}$ on $[{g}, {h}],$ that is$,$

The collection of all ($\mathcal{IR}$) $\mathcal{IVFS}$ on $[{g}, {h}]$ is represented by $\mathcal{IR}_{([{g}, {h}])}$.

Shi et al. ^[42] proved that the based on CR-order relations, the integral preserves order.

Theorem 2.1. Let $\mathcal{D}, \mathcal{F}:[{g}, {h}]$ be $\mathcal{IVFS}$ given by $\mathcal{D} = [\underline{\mathcal{D}}, \overline{\mathcal{D}}]$ and $\mathcal{F} = [\underline{\mathcal{F}}, \overline{\mathcal{F}}]$. If $\mathcal{D}(\mathrm{s})\preceq_{CR}\mathcal{F}(\mathrm{s})$, $\forall$ $i\in [{g}, {h}]$, then

We'll now provide an illustration to support the aforementioned Theorem.

Example 2.1. Let $\mathcal{D} = [\mathrm{s}, 2\mathrm{s}]$ and $\mathcal{F} = [\mathrm{s}^{2}, \mathrm{s}^{2}+2]$, then for $\mathrm{s}\in[0, 1].$

From Definition 2.1, we have $\mathcal{D}(\mathrm{s})\preceq_{{CR}}\mathcal{F}(\mathrm{s})$, $\mathrm{s}\in[0, 1]$.

Since,

and

Also, from above Theorem 2.1, we have

Definition 2.3. (See ^[42]) Define $h_1, h_2:[0, 1]\rightarrow \mathcal{{R}^{+}}.$ We say that ${\Theta}: [g, h] \rightarrow \mathcal{{R}^{+}}$ is called $(h_1, h_2)$-convex function, or that $\Theta \in SX((h_1, h_2), [g, h], \mathcal{{R}^{+}})$, if $\forall$ $g_1, h_1\in [g, h]$ and $\gamma\in [0, 1],$ we have

If in (2.1) "$\leq$" replaced with "$\geq$" it is called $(h_1, h_2)$-concave function or ${\Theta}\in SV((h_1, h_2), [g, h], \mathcal{{R}^{+}}).$

Definition 2.4. (See ^[42]) Define $h_1, h_2:(0, 1)\rightarrow \mathcal{{R}^{+}}.$ We say that ${\Theta}: [g, h] \rightarrow \mathcal{{R}^{+}}$ is called $(h_1, h_2)$-GL convex function, or that $\Theta \in SGX((h_1, h_2), [g, h], \mathcal{{R}^{+}})$, if $\forall$ $g_1, h_1\in [g, h]$ and $\gamma\in [0, 1],$ we have

If in (2.2) "$\leq$" replaced with "$\geq$" it is called $(h_1, h_2)$-GL concave function or ${\Theta}\in SGV((h_1, h_2), [g, h], \mathcal{{R}^{+}}).$

Now let's introduce the concept for CR-order form of convexity.

Definition 2.5. (See ^[42]) Define $h_1, h_2:[0, 1]\rightarrow \mathcal{{R}^{+}}.$ We say that ${\Theta}: [g, h] \rightarrow \mathcal{{R}^{+}}$ is called $CR-(h_1, h_2)$-convex function, or that $\Theta \in SX(CR$-$(h_1, h_2), [g, h], \mathcal{{R}^{+}})$, if $\forall$ $g_1, h_1\in [g, h]$ and $\gamma\in [0, 1],$ we have

If in (2.3) "$\preceq_{CR}$" replaced with "$\succeq_{CR}$" it is called $CR$-$(h_1, h_2)$-concave function or ${\Theta}\in SV(CR$-$(h_1, h_2), [g, h], \mathcal{{R}^{+}}).$

Definition 2.6. (See ^[42]) Define $h_1, h_2:(0, 1)\rightarrow \mathcal{{R}^{+}}.$ We say that ${\Theta}: [g, h] \rightarrow \mathcal{{R}^{+}}$ is called CR-$(h_1, h_2)$-GL convex function, or that $\Theta \in SGX(CR$-$(h_1, h_2), [g, h], \mathcal{{R}^{+}})$, if $\forall$ $g_1, h_1\in [g, h]$ and $\gamma\in [0, 1],$ we have

If in (2.4) "$\preceq_{CR}$" replaced with "$\succeq_{CR}$" it is called $CR$-$(h_1, h_2)$-GL concave function or ${\Theta}\in SGV(CR$-$(h_1, h_2), [g, h], \mathcal{{R}^{+}}).$

Remark 2.1. ● If $h_1 = h_2 = 1$, Definition 2.6 becomes a CR-P-function ^[45].

● If $h_1(\gamma) = \frac{1}{h_1(\gamma)}$, $h_2 = 1$ Definition 2.6 becomes a CR-h-convex function ^[45].

● If $h_1(\gamma) = {h_1(\gamma)}$, $h_2 = 1$ Definition 2.6 becomes a CR-h-GL function ^[45].

● If $h_1(\gamma) = \frac{1}{{\gamma}^{s}}$, $h_2 = 1$ Definition 2.6 becomes a CR-s-convex function ^[45].

● If $h(\gamma) = {{\gamma}^{s}}$, Definition 2.6 becomes a CR-s-GL function ^[45].

3.   Main results

Proposition 3.1. Consider $\Theta:[g, h]\rightarrow \mathcal{{R}_{I}}$ given by $[\underline{\Theta}, \overline{\Theta}] = \left(\Theta_C, \Theta_R\right).$ If $\Theta_C$ and $\Theta_R$ are $(h_1, h_2)$-GL over $[g, h]$, then $\Theta$ is called CR-$(h_1, h_2)$-GL function over $[g, h].$

Proof. Since $\Theta_C$ and $\Theta_R$ are $(h_1, h_2)$-GL over $[g, h]$, then for each $\gamma \in (0, 1)$ and for all $g_1, h_1\in [g, h]$, we have

and

Now, if

then for each $\gamma \in (0, 1)$ and for all $g_1, h_1\in [g, h]$,

Accordingly,

Otherwise, for each $\gamma \in (0, 1)$ and for all $g_1, h_1\in [g, h]$,

Taking all of the above into account, and Definition 2.6 this can be written as

for each $\gamma \in (0, 1)$ and for all $g_1, h_1\in [g, h].$

This completes the proof.

The next step is to establish the $\mathcal{H.H}$ inequality for the CR-$(h_1, h_2)$-GL function.

Theorem 3.1. Define ${h_1, h_2}:(0, 1)\rightarrow \mathcal{R^{+}}$ and $h_1\left(\frac{1}{2}\right)h_2\left(\frac{1}{2}\right)\neq0.$ Let $\Theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}$, if $\Theta\in SGX(CR$-$(h_1, h_2), [t, u], {R_I}^{+})$ and $\Theta\in\ IR_{[t, u]}$, we have

Proof. Since $\Theta\in SGX(CR$-$(h_1.h_2), [g, h], \mathcal{{R_I}^{+}})$, we have

Integration over (0, 1), we have

By Definition 2.6, we have

Integration over (0, 1), we have

Accordingly,

Now combining (3.1) and (3.2), we get required result

Remark 3.1. ● If $h_1(x) = h_2(x) = 1$, Theorem 3.1 becomes result for CR- P-function:

● If $h_1(x) = {h(x)}$, $h_2(x) = 1$ Theorem 3.1 becomes result for CR-h-GL-function:

● If $h_1(x) = \frac{1}{h(x)}$, $h_2(x) = 1$ Theorem 3.1 becomes result for CR-h-convex function:

● If $h_1(x) = \frac{1}{h_1(x)}$, $h_2(x) = \frac{1}{h_2(x)}$ Theorem 3.1 becomes result for CR-$(h_1, h_2)$-convex function:

Example 3.1. Consider $[t, u] = [0, 1]$, ${h_1}(x) = \frac{1}{x}$, $h_2(x) = 1$, $\forall$ $x\in\ (0, 1).$ $\Theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}$ is defined as

where

As a result,

This proves the above theorem.

Theorem 3.2. Define ${h_1, h_2}:(0, 1)\rightarrow \mathcal{R^{+}}$ and $h_1\left(\frac{1}{2}\right)h_2\left(\frac{1}{2}\right)\neq0.$ Let $\Theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}$, if $\Theta\in SGX(CR$-$(h_1, h_2), [t, u], {R_I}^{+})$ and $\Theta\in\ IR_{[g, h]}$, we have

where

Proof. Take $[g, \frac{g+h}{2}]$, we have

Integration over (0, 1), we have

Accordingly,

Similarly for interval $[\frac{g+h}{2}, h]$, we have

Adding inequalities (3.3) and (3.4), we get

Now

Example 3.2. Thanks to Example 3.1, we have

Thus we obtain

This proves the above theorem.

Theorem 3.3. Let $\Theta, \theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}, h_1, h_2:(0, 1)\rightarrow \mathcal{R^{+}}$ such that $h_1, h_2\neq 0$. If $\Theta\in SGX(CR$-$h_1, [g, h], {R_I}^{+})$, $\theta\in SGX(CR$-$h_2, [g, h], \mathcal{{R_I}^{+}})$ and $\Theta, \theta\in\ IR_{[g, h]}$ then, we have

where

Proof. Conider $\Theta\in SGX(CR$-$h_1, [g, h], \mathcal{{R_I}^{+}})$, $\theta\in SGX(CR$-$h_2, [g, h], \mathcal{{R_I}^{+}})$ then, we have

Then,

Integration over (0, 1), we have

It follows that

Theorem is proved.

Example 3.3. Consider $[g, h] = [1, 2]$, ${h_1(x)} = \frac{1}{x}$, $h_2(x) = 1$ $\forall$ $x\in\ (0, 1)$. $\Theta, \theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}$ be defined as

Then,

It follows that

It follows that the theorem above is true.

Theorem 3.4. Let $\Theta, \theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}, h_1, h_2:(0, 1)\rightarrow \mathcal{R^{+}}$ such that $h_1, h_2\neq 0$. If $\Theta\in SGX(CR$-$h_1, [g, h], {R_I}^{+})$, $\theta\in SGX(CR$-$h_2, [g, h], \mathcal{{R_I}^{+}})$ and $\Theta, \theta\in\ IR_{[g, h]}$ then, we have

Proof. Since $\Theta\in SGX(CR$-$h_1, [g, h], \mathcal{{R_I}^{+}})$, $\theta\in SGX(CR$-$h_2, [g, h], {R_I}^{+})$, we have

Then,

Integration over $(0, 1)$, we have

Multiply both sides by $\frac{\left[H\left(\frac{1}{2}, \frac{1}{2}\right)\right]^{2}}{2}$ above equation, we get the required result

As a result, the proof is complete.

Example 3.4. Consider $[g, h] = [1, 2]$, ${h_1}(x) = \frac{1}{x}$, $h_2(x) = \frac{1}{4}$, $\forall$ $x\in\ (0, 1)$. $\Theta, \theta:[g, h]\rightarrow \mathcal{{R_I}^{+}}$ be defined as

Then,

It follows that

This proves the above theorem. Next, we will develop the Jensen-type inequality for CR-$(h_1, h_2)$-GL functions.

4.   Jensen type inequality

Theorem 4.1. Let $u_i\in \mathcal{{R}^{+}}$, $j_i\in [g, h]$. If ${h_1}, {h_2}$ is super multiplicative non-negative functions and if $\Theta\in SGX(CR$-$({h_1}, {h_2}), [g, h], \mathcal{{R_I}^{+}})$. Then the inequality become as :

where ${U_k} = \sum_{i = 1}^{k}u_i$

Proof. When $k = 2$, then (4.1) holds. Suppose that (4.1) is also valid for $k-1$, then

It follows from mathematical induction that the conclusion is correct.

Remark 4.1. ● If $h_1(x) = h_2(x) = 1$, Theorem 4.1 becomes result for CR- P-function:

● If $h_1(x) = \frac{1}{h_1(x)}$, $h_2(x) = \frac{1}{h_2(x)}$ Theorem 4.1 becomes result for CR-$(h_1, h_2)$-convex function:

● If $h_1(x) = \frac{1}{x}$, $h_2(x) = 1$ Theorem 4.1 becomes result for CR-convex function:

● If $h_1(x) = \frac{1}{h(x)}$, $h_2(x) = 1$ Theorem 4.1 becomes result for CR-h-convex function:

● If $h_1(x) = {h(x)}$, $h_2(x) = 1$ Theorem 4.1 becomes result for CR-h-GL-function:

● If $h_1(x) = \frac{1}{(x)^s}$, $h_2(x) = 1$ Theorem 4.1 becomes result for CR-s-convex function:

5.   Conclusions

A useful alternative for incorporating uncertainty into prediction processes is $\mathcal{IVFS}$. The present study introduces the $(h_1, h_2)$-GL concept for $\mathcal{IVFS}$ using the CR-order relation. As a result of utilizing this new concept, we observe that the inequality terms derived from this class of convexity and pertaining to Cr-order relations give much more precise results than other partial order relations. These findings are generalized from the very recent results described in ^{[37,42,43,45]}. There are many new findings in this study that extend those already known. In addition, we provide some numerical examples to demonstrate the validity of our main conclusions. Future research could include determining equivalent inequalities for different types of convexity utilizing various fractional integral operators, including Katugampola, Riemann-Liouville and generalized K-fractional operators. The fact that these are the most active areas of study for integral inequalities will encourage many mathematicians to examine how different types of interval-valued analysis can be applied. We anticipate that other researchers working in a number of scientific fields will find this idea useful.

Conflict of interest

The authors declare that there is no conflict of interest in publishing this paper.