Next Article in Journal
A Granulation Strategy-Based Algorithm for Computing Strongly Connected Components in Parallel
Previous Article in Journal
Enhancing Real-Time Traffic Data Sharing: A Differential Privacy-Based Scheme with Spatial Correlation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Simpson- and Ostrowski-Type Integral Inequalities for Generalized Convex Functions in Multiplicative Calculus with Their Computational Analysis

1
School of Mathematics and Statistics, Hubei Normal University, Huangshi 435002, China
2
Ministry of Education Key Laboratory for NSLSCS, School of Mathematical Sciences, Nanjing Normal University, Nanjing 210023, China
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(11), 1721; https://doi.org/10.3390/math12111721
Submission received: 30 March 2024 / Revised: 11 May 2024 / Accepted: 28 May 2024 / Published: 31 May 2024
(This article belongs to the Special Issue Mathematical Inequalities and Fractional Calculus)

Abstract

:
Integral inequalities are very useful in finding the error bounds for numerical integration formulas. In this paper, we prove some multiplicative integral inequalities for first-time differentiable s-convex functions. These new inequalities help in finding the error bounds for different numerical integration formulas in multiplicative calculus. The use of s-convex function extends the results for convex functions and covers a large class of functions, which is the main motivation for using s-convexity. To prove the inequalities, we derive two different integral identities for multiplicative differentiable functions in the setting of multiplicative calculus. Then, with the help of these integral identities, we prove some integral inequalities of the Simpson and Ostrowski types for multiplicative generalized convex functions. Moreover, we provide some numerical examples and computational analysis of these newly established inequalities, to show the validity of the results for multiplicative s-convex functions. We also give some applications to quadrature formula and special means of real numbers within the framework of multiplicative calculus.

1. Introduction

Inequalities play a crucial role in establishing the bounds and properties of functions in the field of mathematical analysis. One notable class of inequalities is the Ostrowski-type inequality, which has proven to be a valuable tool in various branches of mathematics. Ostrowski introduced this useful and attractive integral inequality in 1938 (see [1], p. 468). Suppose Ϝ : J R R is a differentiable function on J o and on the interior of the given interval J, such that Ϝ L [ θ 1 , θ 2 ] ; here, θ 1 , θ 2 J with θ 2 > θ 1 . If | Ϝ ( κ ) | M for all κ [ θ 1 , θ 2 ] then the following inequality holds:
Ϝ ϰ 1 θ 2 θ 1 θ 1 θ 2 Ϝ κ d κ M θ 2 θ 1 1 4 + ϰ θ 1 + θ 2 2 2 θ 2 θ 1 2 ,
for all ϰ θ 1 , θ 2 . The constant 1 4 is the best possible. This inequality produces an upper bound that can be used for approximation of the given integral average 1 θ 2 θ 1 θ 1 θ 2 Ϝ κ d κ by the value of Ϝ κ at a point κ [ θ 1 , θ 2 ] . Many researchers have studied such inequalities in recent years, and several generalizations, extensions and variations have emerged in a number of papers, such as [2,3].
Convexity is a fundamental concept in mathematics, particularly in the fields of calculus, optimization and mathematical analysis. Mathematically, a function Ϝ κ defined on an interval [ θ 1 , θ 2 ] is convex if for any pair of points ( θ 1 , Ϝ ( θ 1 ) ) and ( θ 2 , Ϝ ( θ 2 ) ) lying within the interval the function satisfies the inequality
Ϝ ( κ θ 1 + ( 1 κ ) θ 2 ) κ Ϝ ( θ 1 ) + ( 1 κ ) Ϝ ( θ 2 ) ,
for each value of κ between 0 and 1. In recent decades, many scholars have explored the inequalities associated with convexity in many directions (see [4,5,6,7,8] and the references listed therein). The Hermite–Hadamard inequality, which is frequently used in many areas of applied mathematics, is one of the most important mathematical inequalities involving convex mapping. Let us go over it again: Let Ϝ : θ 1 , θ 2 R R + be a convex function defined on the interval θ 1 , θ 2 of real numbers. The subsequent inequalities are called Hermite–Hadamard inequalities:
Ϝ θ 1 + θ 2 2 1 θ 2 θ 1 θ 1 θ 2 Ϝ κ d κ Ϝ θ 1 + Ϝ θ 2 2 .
The above inequalities hold in the reversed direction if Ϝ is a concave. A number of studies have been conducted during the last 20 years to acquire new bounds for the inequality’s left- and right-hand sides (3). Please see [9,10,11,12,13] and their references for some examples.
The s-convexity is a refinement of the concept of convexity. In [14], Breckner was the first mathematician who gave the idea of the s-convex function, in 1979. In [15], the number connections with s-convexity in the second sense were negotiated. This class is defined as follows: a function Ϝ : 0 , R + R is said to be s-convex in the second sense if
Ϝ ( a θ 1 + b θ 2 ) a s Ϝ θ 1 + b s Ϝ θ 2 , θ 1 , θ 2 0 , , a , b 0 ,
with a + b = 1 and some fixed s 0 , 1 . The s-convexity reduces to ordinary convex when s = 1 in the above inequality (4), which is defined on 0 , . In [9], the Hadamard-type inequality, which holds for s-convex functions in the second sense, is defined as follows: if Ϝ : 0 , 0 , is an s-convex function in the second sense, where 0 < s < 1 , let θ 1 , θ 2 0 , , θ 1 < θ 2 . If Ϝ L 1 θ 1 , θ 2 then the following inequalities hold:
2 s 1 Ϝ θ 1 + θ 2 2 1 θ 2 θ 1 θ 1 θ 2 Ϝ κ d κ Ϝ θ 1 + Ϝ θ 2 s + 1 .
In [16], Pycia was the first mathematician to prove Breckner’s results, in 2001. The s-convexity is the generalization of a convex function. The s-convexity allows for a more refined analysis of the functions behavior and accelerates the search for optimal solutions. The s-convexity has applications in various fields, including machine learning, optimization theory and economics. It is utilized to study and solve problems involving risk assessment, portfolio optimization and robustness analysis, among others.
The well-known Simpson-type inequality in the literature is defined as follows:
Theorem 1. 
Let Ϝ : θ 1 , θ 2 R R be a four-times-continuously-differentiable function on θ 1 , θ 2 ; then, we have
1 6 Ϝ θ 1 + 4 Ϝ θ 1 + θ 2 2 + Ϝ θ 2 1 θ 2 θ 1 θ 1 θ 2 Ϝ κ d κ θ 2 θ 1 4 2880 Ϝ 4 .
where Ϝ 4 = sup κ θ 1 , θ 2 Ϝ 4 κ < .
For some results regarding inequality (6) and related inequalities, one can consult [17,18,19,20]. Ali et al. obtained some Simpson- and Ostrowski-type inequalities in the context of multiplicative integrals in [6], as follows:
Theorem 2. 
Let Ϝ : I R R + be a multiplicative differentiable mapping on I, θ 1 , θ 2 I with θ 1 < θ 2 . If Ϝ is a multiplicatively convex on θ 1 , θ 2 then we have
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 5 θ 2 θ 1 72 .
Theorem 3. 
Let Ϝ : I R R + be a multiplicative differentiable mapping on I, θ 1 , θ 2 I with θ 1 < θ 2 . If Ϝ is a multiplicatively convex on θ 1 , θ 2 then we have
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 ϰ θ 1 2 θ 2 θ 1 + θ 2 ϰ 3 + ϰ θ 1 3 8 θ 2 θ 1 2 Ϝ θ 2 θ 2 ϰ 2 θ 2 θ 1 + θ 2 ϰ 3 + ϰ θ 1 3 8 θ 2 θ 1 2 ,
for all ϰ θ 1 , θ 2 .
Remark 1. 
Some basics Definitions of Ϝ are given in Section 2.
Between 1967 and 1970, the first mathematicians to present the concept of non-Newtonian calculus were Grossman and Katz. The classical calculus that Leibniz and Newton introduced in the 17th century was later modified to generate a series of non-Newtonian calculi. See [21] for additional details regarding the way the ordinary product and ratio are used, respectively, as the sum and exponential difference across the domain of positive real numbers in non-Newtonian calculus and multiplicative calculus. Some of the key concepts in multiplicative calculus include multiplicative derivative, multiplicative integral and multiplicative exponential function. These concepts provide a new perspective on mathematical analysis and can be applied in various fields, such as physics, economics and engineering.
Inspired by the continuing studies, we have established some integral inequalities using the s-convexity of the function in terms of multiplicative calculus. The s-convexity provides a wide range of bounds variation as compared to convex functions because s-convex functions have less-strict convexity requirements than classical convex functions. Bounds variation in s-convex functions is essential for ensuring the robustness and effectiveness of Simpson- and Ostrowski-type integral inequalities in this context. Therefore, these inequalities for s-convex functions offer a more versatile and refined framework compared to classical convex functions. Setting a kernel in a multiplicative context was a challenging problem, due to the unique nature of multiplicative operations and functions. We also show that the inequalities given here are an extension of some existing ones and we give some numerical examples and computational analysis to show the validity of the newly established inequalities.
The motivation behind this work was to establish some Simpson- and Ostrowski-type inequalities for the class of functions whose derivatives are multiplicatively s-convex in the second sense. Using these results, we can estimate the error bounds of Simpson’s formula in multiplicative calculus without going through its higher derivatives, which may not exist or may be hard to find. For the first time, in this paper we also provide an application to quadrature formulas for Simpson-type inequalities in the framework of multiplicative calculus. The multiplicative calculus is a modern calculus, with a lot of applications in banking and finance. This is the main reason why a study about multiplicative calculus is more valuable.
The organization of the paper is as follows: Section 2 provides an overview of multiplicative convex functions. Section 3 presents our main results on the generalization of Simpson- and Ostrowski-type integral inequalities for s-convex functions in multiplicative calculus. In Section 4, we provide some numerical examples and graphical analysis to validate our results. We show some applications to quadrature formulas and special means for real numbers in Section 5. Finally, we give some concluding remarks about this work and some future directions in Section 6.

2. Multiplicative Calculus

In the last few years, much work has been done in the context of multiplicative calculus. In order to solve multiplicative differential equations, the multiplicative variant of the RK-method was given in [22]. Paper [23] presented multiplicative finite difference methods for the numerical solution of multiplicative differential equations. Multiplicative Fourier and Sumudu transform were defined in [24,25], respectively. In [26], Misirli and Gurefe presented the Adams–Bashforth and Adams–Moulton methods in a multiplicative context. In [27], Ali et al. provided a few inequalities of the Simpson and Newton types in the context of multiplicative calculus. Bashirov studied multiplicative calculus’ notion of double integrals in [28]. The multiplicative convex function is one of the most important, and it may be defined as follows:
Definition 1 
([28]). A function Ϝ : I R 0 , is said to be a multiplicative convex; then, we have
Ϝ κ θ 1 + 1 κ θ 2 Ϝ θ 1 κ Ϝ θ 2 1 κ , for all θ 1 , θ 2 I and κ 0 , 1 .
From Definition 1, it follows that
Ϝ κ θ 1 + 1 κ θ 2 Ϝ θ 1 κ Ϝ θ 2 1 κ κ Ϝ θ 1 + 1 κ Ϝ θ 2 ,
which shows that every multiplicative convex function is a convex function, but the converse is not true.
Definition 2 
([29]). A function Ϝ : I R 0 , is said to be a multiplicative s-convex in the second sense; then, we have:
Ϝ κ θ 1 + 1 κ θ 2 Ϝ θ 1 κ s Ϝ θ 2 1 κ s for all θ 1 , θ 2 I and κ 0 , 1 .
Remark 2. 
By setting s = 1 , Definition 2 reduces to Definition 1.
A number of properties and inequalities related to multiplicative convex functions have been studied by a number of researchers. For example, Bai and Qi [30] presented many integral inequalities of the Hermite–Hadamard type for log-convex functions on co-ordinates. Dragomir [31] presented some unweighed and weighted inequalities of the Hermite–Hadamard type associated with multiplicative convex functions on real intervals. Set and Ardiç [32] proved Hermite–Hadamard-type integral inequalities using multiplicative convex functions and p-functions. Zhang and Jiang [33] examined some properties for multiplicative convex functions.
Throughout this section, Ϝ , φ : R R + is a positive function. In 2008, Bashirov [34] introduced the multiplicative operators called *integral, which is denoted by θ 1 θ 2 Ϝ κ d κ , and the ordinary integral, which is denoted by θ 1 θ 2 Ϝ κ d κ . Recall that the function Ϝ is a multiplicative integrable on θ 1 , θ 2 if Ϝ is positive and a Riemann integrable on θ 1 , θ 2 , and
θ 1 θ 2 Ϝ ϰ d ϰ = e θ 1 θ 2 ln Ϝ κ d κ .
Moreover, Bashirov et al. showed that the multiplicative integral has the following properties:
Proposition 1 
([34]). If  Ϝ and φ are positive and a Riemann integrable on θ 1 , θ 2 then  Ϝ is *integrable on θ 1 , θ 2 and
i θ 1 θ 2 Ϝ κ p d κ = θ 1 θ 2 Ϝ κ d κ p ,
i i θ 1 θ 2 Ϝ κ φ κ d κ = θ 1 θ 2 Ϝ κ d κ . θ 1 θ 2 φ κ d κ ,
i i i θ 1 θ 2 Ϝ κ φ κ d κ = θ 1 θ 2 Ϝ κ d κ θ 1 θ 2 φ κ d κ ,
i v θ 1 θ 2 Ϝ κ d κ = θ 1 c Ϝ κ d κ . c θ 2 Ϝ κ d κ , θ 1 c θ 2 ,
v θ 1 θ 1 Ϝ κ d κ = 1 and θ 1 θ 2 Ϝ κ d κ = θ 2 θ 1 Ϝ κ d κ 1 .
Definition 3 
([34]). Let  Ϝ be a positive function. The multiplicative derivative of function  Ϝ is as follows:
d Ϝ d κ κ = Ϝ κ = lim h 0 Ϝ κ + h Ϝ h 1 h .
If  Ϝ has positive values and is differentiable at κ, then Ϝ exists and the relation between Multiplicative derivative Ϝ and the ordinary derivative Ϝ is as follows:
Ϝ κ = e ln Ϝ κ = e Ϝ κ Ϝ κ .
Definition 4. 
Let  Ϝ be a positive function. The multiplicative second derivative of function  Ϝ is as follows:
Ϝ κ = e ln Ϝ κ = e ln Ϝ κ .
Here, ln Ϝ κ exists because Ϝ κ exists. If we repeat this procedure n-times, we say that if Ϝ is a positive function and its derivative of nth order exists at κ then Ϝ n κ exists:
Ϝ n κ = e ln Ϝ n κ , n = 1 , 2 , 3 , . . . .
The following properties of *differentiable exist:
Theorem 4 
([34]). Let  Ϝ and φ be *differentiable functions. If c is an arbitrary constant then functions c Ϝ , Ϝ φ , Ϝ + φ , Ϝ φ and Ϝ φ are *differentiable and
i   c Ϝ κ = Ϝ κ ,
i i   Ϝ φ κ = Ϝ κ φ κ ,
i i i   Ϝ + φ κ = Ϝ κ Ϝ κ Ϝ κ + φ κ φ κ φ κ Ϝ κ + φ κ ,
i v   Ϝ φ κ = Ϝ κ φ κ ,
v   Ϝ φ κ = Ϝ κ φ κ Ϝ κ φ κ .
Ali et al., in [35], proved the Hermite–Hadamard-type inequality in the framework of a multiplicative convex function, which is as follows:
Theorem 5 
([35]). If  Ϝ is a positive and multiplicative convex function on interval θ 1 , θ 2 then the following inequalities hold:
Ϝ θ 1 + θ 2 2 θ 1 θ 2 Ϝ κ d κ 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 .

3. Main Results

In this section, we prove the Simpson- and Ostrowski-type integral inequalities for multiplicative s-convex functions.

3.1. Simpson-Type Inequalities for s-Convex

To obtain our main results, we need to prove the following lemma:
Lemma 1. 
Let Ϝ : [ θ 1 , θ 2 ] R R + be a multiplicative differentiable function on θ 1 , θ 2 , with θ 1 < θ 2 . If Ϝ is a multiplicative integrable function, then the following equality holds:
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 = 0 1 Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 κ 2 1 3 d κ θ 2 θ 1 2 × 0 1 Ϝ 1 + κ 2 θ 1 + 1 κ 2 θ 2 1 3 κ 2 d κ θ 2 θ 1 2 = I 1 × I 2 .
Proof. 
From the fundamental rules of multiplicative integration by parts, we have
I 1 = 0 1 Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 κ 2 1 3 d κ θ 2 θ 1 2 = exp θ 2 θ 1 2 0 1 κ 2 1 3 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 d κ = exp κ 2 1 3 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 0 1 0 1 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 × 1 2 d κ .
By change of variable η = 1 + κ 2 θ 2 + 1 κ 2 θ 1 and d η = θ 2 θ 1 2 d κ , then we have
I 1 = exp 1 6 ln Ϝ θ 2 + 1 3 ln Ϝ θ 1 + θ 2 2 1 θ 2 θ 1 θ 1 + θ 2 2 θ 2 ln Ϝ η d η .
Similarly, we obtain
I 2 = exp 1 6 ln Ϝ θ 1 + 1 3 ln Ϝ θ 1 + θ 2 2 1 θ 2 θ 1 θ 1 θ 1 + θ 2 2 ln Ϝ η d η .
Multiplying (9) and (10), we have
I 1 × I 2 = Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 ( Ϝ η ) d η 1 θ 2 θ 1 .
The proof of Lemma 1 is completed. □
Using Lemma 1, we can obtain the following general integral inequalities:
Theorem 6. 
Given the assumptions made in Lemma 1, if Ϝ is a multiplicatively s-convex function in the second sense on θ 1 , θ 2 for some fixed s 0 , 1 then the following Simpson-type inequality holds:
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 1 s × 3 2 s 1 2 2 + s × 3 1 + s 3 2 + s + 5 2 + s + 2 s × 3 1 + s s 2 + 3 s + s 2 .
Proof. 
Taking the modulus in (8) and using the multiplicative s-convexity of Ϝ , we have
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 ( Ϝ η ) d η 1 θ 2 θ 1 exp θ 2 θ 1 2 0 1 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 κ 2 1 3 d κ × exp θ 2 θ 1 2 0 1 ln Ϝ 1 + κ 2 θ 1 + 1 κ 2 θ 2 1 3 κ 2 d κ = exp θ 2 θ 1 2 0 1 κ 2 1 3 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 d κ × exp θ 2 θ 1 2 0 1 1 3 κ 2 ln Ϝ 1 + κ 2 θ 1 + 1 κ 2 θ 2 d κ exp θ 2 θ 1 2 0 1 κ 2 1 3 1 + κ 2 s ln Ϝ θ 2 + 1 1 + κ 2 s ln Ϝ θ 1 d κ × exp θ 2 θ 1 2 0 1 1 3 κ 2 1 + κ 2 s ln Ϝ θ 1 + 1 1 + κ 2 s ln Ϝ θ 2 d κ = exp θ 2 θ 1 2 s + 1 ln Ϝ θ 1 + ln Ϝ θ 2 × 0 1 κ 2 1 3 1 + κ s + 1 κ s d κ .
Hence,
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 1 s × 3 2 s 1 2 2 + s × 3 1 + s 3 2 + s + 5 2 + s + 2 s × 3 1 + s s 2 + 3 s + s 2 .
Here, we have used the equality:
0 1 κ 2 1 3 1 + κ s + 1 κ s d κ = 3 2 s 1 2 2 + s × 3 1 + s 3 2 + s + 5 2 + s + 2 s × 3 1 + s s 2 + 3 s + s 2 .
Using equality (14) in inequality (12), we obtained (13); thus, we completed the proof. □
Remark 3. 
Under the conditions of Theorem 6 with s = 1 in (11) then inequality (11) reduces to inequality (7), which was proved by S. Chasreechai et al. in [27].
Corollary 1. 
Under the conditions of Theorem 6 with s = 1 and Ϝ θ 1 = Ϝ θ 1 + θ 2 2 = Ϝ θ 2 in (11) then we have the following midpoint-type inequality:
Ϝ θ 1 + θ 2 2 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 5 θ 2 θ 1 72 .
Remark 4. 
Inequality (15) gave better bounds for a midpoint-type inequality in multiplicative calculus as compared to the inequality proved in [11] (Theorem 3.3).
Theorem 7. 
Given the assumptions made in the Lemma 1, if ( ln ( Ϝ ) ) q is a multiplicatively s-convex in the second sense on θ 1 , θ 2 for some fixed s 0 , 1 and p , q > 1 then the following Simpson-type inequality holds:
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 2 2 s + 2 s s + 1 2 1 + 2 p + 1 6 p + 1 p + 1 1 p ,
and 1 p + 1 q = 1 .
Proof. 
Using Hölder’s inequality in (8), after taking the modulus and using the properties of the modulus we have
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 exp θ 2 θ 1 2 0 1 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 κ 2 1 3 d κ × exp θ 2 θ 1 2 0 1 ln Ϝ 1 + κ 2 θ 1 + 1 κ 2 θ 2 1 3 κ 2 d κ exp θ 2 θ 1 2 0 1 κ 2 1 3 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 d κ × exp θ 2 θ 1 2 0 1 1 3 κ 2 ln Ϝ 1 + κ 2 θ 1 + 1 κ 2 θ 2 d κ exp θ 2 θ 1 2 0 1 κ 2 1 3 p d κ 1 p 0 1 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 q d κ 1 q × exp θ 2 θ 1 2 0 1 1 3 κ 2 p d κ 1 p 0 1 ln Ϝ 1 + κ 2 θ 1 + 1 κ 2 θ 2 q d κ 1 q ,
where 1 p + 1 q = 1 . Since ln ( Ϝ ) q is multiplicatively s-convex on θ 1 , θ 2 , by using (5) we obtain
0 1 ln Ϝ 1 + κ 2 θ 2 + 1 κ 2 θ 1 q d κ 0 1 1 + κ 2 s ln Ϝ θ 2 q + 1 κ 2 s ln Ϝ θ 1 q d κ = 2 2 s ln Ϝ θ 2 q + 2 s ln Ϝ θ 1 q 1 + s ,
0 1 ln Ϝ 1 + κ 2 θ 1 + 1 κ 2 θ 2 q d κ 0 1 1 + κ 2 s ln Ϝ θ 1 q + 1 κ 2 s ln Ϝ θ 2 q d κ = 2 2 s ln Ϝ θ 1 q + 2 s ln Ϝ θ 2 q 1 + s ,
and
0 1 κ 2 1 3 p d κ = 2 1 + 2 p + 1 6 p + 1 p + 1 .
Using Equations (18), (19) and (20) in inequality (17), we obtain
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 2 2 s + 2 s s + 1 2 1 + 2 p + 1 6 p + 1 p + 1 1 p .
This completes the proof. □
Corollary 2. 
Under the conditions of Theorem 7, with s = 1 in (16), we obtain the following inequality:
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 1 + 2 p + 1 6 p + 1 p + 1 1 p .
Corollary 3. 
In Corollary 2, if we take Ϝ θ 1 = Ϝ θ 1 + θ 2 2 = Ϝ θ 2 then we have
Ϝ θ 1 + θ 2 2 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 1 + 2 p + 1 6 p + 1 p + 1 1 p .

3.2. Ostrowski-Type Inequalities for s-Convex

To prove our main theorems, first we need to prove the following lemma.
Lemma 2. 
Let Ϝ : I R R + be a multiplicative differentiable mapping on I 0 where θ 1 , θ 2 I 0 . If Ϝ is a multiplicative integrable on θ 1 , θ 2 then the following equality holds:
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 = 0 1 Ϝ κ ϰ + 1 κ θ 1 κ ϰ θ 1 2 θ 2 θ 1 d κ 0 1 Ϝ κ ϰ + 1 κ θ 2 κ θ 2 ϰ 2 θ 2 θ 1 d κ ,
for each ϰ θ 1 , θ 2 .
Proof. 
From the fundamental rules of multiplicative integration by parts, we have
0 1 Ϝ κ ϰ + 1 κ θ 1 κ ϰ θ 1 2 θ 2 θ 1 d κ 0 1 Ϝ κ ϰ + 1 κ θ 2 κ θ 2 ϰ 2 θ 2 θ 1 d κ = exp ϰ θ 1 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 1 d κ θ 2 ϰ 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 2 d κ = Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 ,
where, by change of variable, η = κ ϰ + 1 κ θ 2 , and we have used the fact that
0 1 κ ln Ϝ κ ϰ + 1 κ θ 1 d κ = ln Ϝ ϰ ϰ θ 1 1 ϰ θ 1 2 θ 1 ϰ ln Ϝ η d η ,
and
0 1 κ ln Ϝ κ ϰ + 1 κ θ 2 d κ = ln Ϝ ϰ ϰ θ 2 1 ϰ θ 2 2 θ 2 ϰ ln Ϝ η d η .
This completes the proof. □
Theorem 8. 
Let Ϝ : I R R + be a multiplicative differentiable mapping on I 0 , such that Ϝ L θ 1 , θ 2 , where θ 1 , θ 2 I with θ 1 < θ 2 . If Ϝ is multiplicatively s-convex in the second sense on θ 1 , θ 2 for some fixed s 0 , 1 and ln Ϝ ϰ ln M then we have the following Ostrowski inequality for multiplicative integrals:
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M 1 θ 2 θ 1 ϰ θ 1 2 + θ 2 ϰ 2 s + 1 ,
for all ϰ θ 1 , θ 2 and 0 < s 1 .
Proof. 
Taking the modulus in (21) and using the multiplicative s-convexity of Ϝ we have
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 exp ϰ θ 1 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 1 d κ × exp θ 2 ϰ 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 2 d κ exp ϰ θ 1 2 θ 2 θ 1 0 1 κ κ s ln Ϝ ϰ + 1 κ s ln Ϝ θ 1 d κ × exp θ 2 ϰ 2 θ 2 θ 1 0 1 κ κ s ln Ϝ ϰ + 1 κ s ln Ϝ θ 2 d κ .
Since ln Ϝ ln M , we have obtain
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 exp ϰ θ 1 2 ln M θ 2 θ 1 0 1 κ s + 1 + κ 1 κ s d κ × exp θ 2 ϰ 2 ln M θ 2 θ 1 0 1 κ s + 1 + κ 1 κ s d κ = exp ln M θ 2 θ 1 ϰ θ 1 2 1 s + 2 + 1 s + 1 s + 2 × exp ln M θ 2 θ 1 θ 2 ϰ 2 1 s + 2 + 1 s + 1 s + 2 = exp ln M θ 2 θ 1 ϰ θ 1 2 + θ 2 ϰ 2 s + 1 .
Here, we have used the fact that:
0 1 κ s + 1 d κ = 1 s + 2 , 0 1 κ 1 κ s d κ = 1 s + 1 s + 2 .
Thus, we have
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M 1 θ 2 θ 1 ϰ θ 1 2 + θ 2 ϰ 2 s + 1 .
The proof of Theorem 8 is completed. □
Corollary 4. 
By setting s = 1 in Theorem 8, then we obtain the following inequality:
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M 1 θ 2 θ 1 ϰ θ 1 2 + θ 2 ϰ 2 2 .
Corollary 5. 
If ϰ = θ 1 + θ 2 2 in inequality (23) then we obtain following midpoint-type inequality:
Ϝ θ 1 + θ 2 2 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M θ 2 θ 1 .
The corresponding version for the power of the absolute value of the first derivative is incorporated in the following result:
Theorem 9. 
Let Ϝ : I R R + be a multiplicative differentiable mapping on I 0 , such that Ϝ L θ 1 , θ 2 , where θ 1 , θ 2 I with θ 1 < θ 2 . If ( ln ( Ϝ ) ) q is multiplicatively s-convex in the second sense on θ 1 , θ 2 for some fixed s 0 , 1 , 1 p + 1 q = 1 , p , q > 1 and ln Ϝ ϰ ln M then we have the following Ostrowski-type inequality for multiplicative integrals:
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M 1 1 + p 1 p 2 s + 1 1 q ϰ θ 1 2 + θ 2 ϰ 2 θ 2 θ 1 ,
for all ϰ θ 1 , θ 2 .
Proof. 
Using the Hölder inequality in (21) after taking the modulus and using the properties of the modulus, we have
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 exp ϰ θ 1 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 1 d κ + θ 2 ϰ 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 2 d κ exp ϰ θ 1 2 θ 2 θ 1 0 1 κ p d κ 1 p 0 1 ln Ϝ κ ϰ + 1 κ θ 1 q d κ 1 q × exp θ 2 ϰ 2 θ 2 θ 1 0 1 κ p d κ 1 p 0 1 ln Ϝ κ ϰ + 1 κ θ 2 q d κ 1 q .
Since ( ln ( Ϝ ) ) q is multiplicatively s-convex in the second sense and ln Ϝ ϰ ln M , then we have
0 1 ln Ϝ κ ϰ + 1 κ θ 1 q d κ 0 1 κ s ln Ϝ ϰ q + 1 κ s ln Ϝ θ 1 q d κ = ln Ϝ ϰ q + ln Ϝ θ 1 q s + 1 2 ln M q s + 1 ,
Similarly,
0 1 ln Ϝ κ ϰ + 1 κ θ 2 q d κ 0 1 κ s ln Ϝ ϰ q + 1 κ s ln Ϝ θ 2 q d κ = ln Ϝ ϰ q + ln Ϝ θ 2 q s + 1 2 ln M q s + 1 ,
and we have the equality
0 1 κ p d κ = 1 1 + p .
Using inequalities (26)–(27) and Equation (28) in (25), we obtain
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M 1 1 + p 1 p 2 s + 1 1 q ϰ θ 1 2 + θ 2 ϰ 2 θ 2 θ 1 .
Thus, the proof of Theorem 9 is completed. □
Corollary 6. 
By setting s = 1 in Theorem 9 we obtain the following inequality:
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M 1 1 + p 1 p ϰ θ 1 2 + θ 2 ϰ 2 θ 2 θ 1 .
Corollary 7. 
If ϰ = θ 1 + θ 2 2 in inequality (29) then we obtain the following midpoint-type inequality:
Ϝ θ 1 + θ 2 2 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 M 1 1 + p 1 p θ 2 θ 1 2 .
The following theorem holds for s-concavity in a multiplicative sense.
Theorem 10. 
Let Ϝ : I R R + be a multiplicative differentiable mapping on I 0 , such that Ϝ L θ 1 , θ 2 , where θ 1 , θ 2 I with θ 1 < θ 2 . If ( ln ( Ϝ ) ) q is multiplicatively s-concave in the second sense on θ 1 , θ 2 for some fixed s 0 , 1 , 1 p + 1 q = 1 , p , q > 1 then we have the following Ostrowski inequality for multiplicative integrals:
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ ϰ + θ 1 2 ϰ θ 1 2 Ϝ θ 2 + ϰ 2 θ 2 ϰ 2 2 s 1 q 1 + p 1 p θ 2 θ 1 ,
for each ϰ θ 1 , θ 2 .
Proof. 
Let q > 1 , taking the modulus in (21) and using the Hölder inequality, we have
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 exp ϰ θ 1 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 1 d κ + θ 2 ϰ 2 θ 2 θ 1 0 1 κ ln Ϝ κ ϰ + 1 κ θ 2 d κ exp ϰ θ 1 2 θ 2 θ 1 0 1 κ p d κ 1 p 0 1 ln Ϝ κ ϰ + 1 κ θ 1 q d κ 1 q × exp θ 2 ϰ 2 θ 2 θ 1 0 1 κ p d κ 1 p 0 1 ln Ϝ κ ϰ + 1 κ θ 2 q d κ 1 q .
Since ( ln ( Ϝ ) ) q is multiplicatively s-concave in the second sense, using inequality (5) we have
0 1 ln Ϝ κ ϰ + 1 κ θ 1 q d κ 2 s 1 ln Ϝ ϰ + θ 1 2 q ,
and
0 1 ln Ϝ κ ϰ + 1 κ θ 2 q d κ 2 s 1 ln Ϝ θ 2 + ϰ 2 q .
Using inequality (32) and (33) in inequality (31), we obtain
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ ϰ + θ 1 2 ϰ θ 1 2 Ϝ θ 2 + ϰ 2 θ 2 ϰ 2 2 s 1 q 1 + p 1 p θ 2 θ 1 .
Thus, the proof of Theorem 10 is completed. □
A midpoint-type inequality in multiplicative calculus for a function whose derivatives are s-concave in the second sense may be obtained from the previous result as follows:
Corollary 8. 
By setting ϰ = θ 1 + θ 2 2 in Theorem 10, we have
Ϝ θ 1 + θ 2 2 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 Ϝ 3 θ 1 + θ 2 4 ϰ θ 1 2 Ϝ θ 1 + 3 θ 2 4 θ 2 ϰ 2 2 s 1 q 1 + p 1 p θ 2 θ 1 .

4. Numerical Examples and Their Computational Analysis

In this section, we give numerical examples and computational analysis of newly established results.
Example 1. 
Let Ϝ : θ 1 , θ 2 = 1 , 2 R + be a function defined by Ϝ t = t 2 . Moreover, for s = 1 2 , by applying inequality (11) to the function Ϝ t = t 2 we have
1 2 t 2 d t 1 θ 2 θ 1 = 2.1654 , Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 = 2.1633 ,
so, the left-hand side of (11) is
Ϝ θ 1 Ϝ θ 2 Ϝ θ 1 + θ 2 2 4 1 6 θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 = 0.9990 ,
and the right-hand side of (11) is
Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 1 s × 3 2 s 1 2 2 + s × 3 1 + s 3 2 + s + 5 2 + s + 2 s × 3 1 + s s 2 + 3 s + s 2 = 1.3270 .
From (34) and (35), it is clear that
0.9990 < 1.3270 .
This confirm that inequality (11) proved in Theorem 6 is valid.
Example 2. 
Let Ϝ : θ 1 , θ 2 = 1 , 2 R + be a function defined by Ϝ t = t 2 . Moreover, for s = 1 2 , p = 2 and q = 2 , by applying inequality (16) to the function Ϝ t = t 2 the right-hand side of (16) is
Ϝ θ 1 Ϝ θ 2 θ 2 θ 1 2 2 2 s + 2 s s + 1 2 1 + 2 p + 1 6 p + 1 p + 1 1 p = 1.3502 .
From (34) and (36), it is clear that
0.9990 < 1.3502 .
This confirm that inequality (16) proved in Theorem 7 is valid.
Example 3. 
Let Ϝ : θ 1 , θ 2 = 1 , 2 R + be a function defined by Ϝ t = e t 2 . Moreover, for s = 1 2 , ϰ = 3 2 and choose M = 2 ; then, by applying inequality (22) to the function Ϝ t = e t 2 we have
1 2 e t 2 d t 1 θ 2 θ 1 = e 7 3 , Ϝ t = e 9 4 ,
so, the left-hand side of (22) is
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 = 0.9200 ,
and the right-hand side of (22) is
M 1 θ 2 θ 1 ϰ θ 1 2 + θ 2 ϰ 2 s + 1 = 1.2599 .
From (37) and (38), it is clear that
0.9200 < 1.2599 .
This confirm that inequality (22) proved in Theorem 8 is valid.
Example 4. 
Let Ϝ : θ 1 , θ 2 = 1 , 2 R + be a function defined by Ϝ t = e t 2 . Moreover, for p = 2 , q = 2 , s = 1 2 , ϰ = 3 4 and choose M = 3 2 ; then, by applying inequality (24) to the function Ϝ t = e t 2 , the right-hand side of (24) is
M 1 1 + p 1 p 2 s + 1 1 q ϰ θ 1 2 + θ 2 ϰ 2 θ 2 θ 1 = 1.1447 .
From (37) and (39), it is clear that
0.9200 < 1.1447 .
This confirm that inequality (24) proved in Theorem 9 is valid.
Example 5. 
Let Ϝ : θ 1 , θ 2 = 1 , 2 R + be a function defined by Ϝ t = t 2 . Moreover, for s = 1 2 , p = 2 , q = 2 and ϰ = 3 2 ; then, by applying inequality (30) to the function Ϝ t = t 2 , we have
1 2 t 2 d ϰ 1 θ 2 θ 1 = 2.1654 , Ϝ ϰ = 9 4 ,
so, the left-hand side of (30) is
Ϝ ϰ θ 1 θ 2 Ϝ η d η 1 θ 2 θ 1 = 1.0390 ,
and the right-hand side of (30) is
Ϝ ϰ + θ 1 2 ϰ θ 1 2 Ϝ θ 2 + ϰ 2 θ 2 ϰ 2 2 s 1 q 1 + p 1 p θ 2 θ 1 = 1.3902 .
From (40) and (41), it is clear that
1.0390 < 1.3902 .
This confirms that inequality (30) proved in Theorem 10 is valid.
Remark 5. 
To check the graphical behavior of newly established integrals inequalities, we need to vary the left parts of Theorems with respect to the right parts because we have a variation in right parts not in left parts; to overcome this difficulty, we multiply by s 2 on both sides of inequalities (11), (22) and (30), then multiply by s 4 on both sides of inequalities (16) and (24), respectively (Figure 1, Figure 2, Figure 3, Figure 4, Figure 5 and Table 1, Table 2, Table 3, Table 4, Table 5).

5. Applications

In this section, we provide some applications to quadrature formula and special means for real numbers, to show the validity of the newly established inequalities for multiplicatively convex functions.

5.1. Applications to Quadrature Formula

In this subsection, for the first time, we provide an application to numerical integration in a multiplicative context for Simpson’s formula.
Let d be a partition of the points θ 1 = u 0 < u 1 < u 2 < . . . . < u n 1 = θ 2 of the interval θ 1 , θ 2 , and consider Simpson’s quadrature formula
θ 1 θ 2 Ϝ η d η = R Ϝ , d λ Ϝ , d , λ Ϝ , d 0 R Ϝ , d λ Ϝ , d , λ Ϝ , d < 0 ,
where
λ Ϝ , d = Π i = 0 n 1 Ϝ u i Ϝ u i + u i + 1 2 4 Ϝ u i + 1 u i + 1 u i 6 ,
is the multiplicative Simpson version and the remainder term R Ϝ , d satisfies the estimation
R Ϝ , d Π i = 0 n 1 Ϝ u i Ϝ u i + 1 5 u i + 1 u i 2 72 .
Now, we derive some error estimates for Simpson’s formula.
Proposition 2. 
Let Ϝ : θ 1 , θ 2 R R + be *differentiable function on θ 1 , θ 2 . If Ϝ is a multiplicatively s-convex function in the second sense on θ 1 , θ 2 for some fixed s 0 , 1 then in (42) for every division d of θ 1 , θ 2 we have
R Ϝ , d Π i = 0 n 1 Ϝ u i Ϝ u i + 1 5 u i + 1 u i 2 72 .
Proof. 
Applying Theorem 6 on the subinterval u i , u i + 1 of the division d, we obtain
u i u i + 1 Ϝ u d u Ϝ u i Ϝ u i + u i + 1 2 4 Ϝ u i + 1 u i + 1 u i 6 Ϝ u i Ϝ u i + 1 u i + 1 u i 2 2 1 s × 3 2 s 1 2 2 + s × 3 1 + s 3 2 + s + 5 2 + s + 2 s × 3 1 + s s 2 + 3 s + s 2 ,
where h i = u i + 1 u i 2 , i = 0 , 1 , 2 , . . . . , n 1 . Hence, we have
θ 1 θ 2 Ϝ u d u λ Ϝ , d = Π i = 0 n 1 u i u i + 1 Ϝ u d u Ϝ u i Ϝ u i + u i + 1 2 4 Ϝ u i + 1 u i + 1 u i 6 Π i = 0 n 1 u i u i + 1 Ϝ u d u Ϝ u i Ϝ u i + u i + 1 2 4 Ϝ u i + 1 u i + 1 u i 6 Π i = 0 n 1 Ϝ u i Ϝ u i + 1 u i + 1 u i 2 2 1 s × 3 2 s 1 2 2 + s × 3 1 + s 3 2 + s + 5 2 + s + 2 s × 3 1 + s s 2 + 3 s + s 2 .
For instance, if s = 1 in (44), then we have
θ 1 θ 2 Ϝ u d u λ Ϝ , d Π i = 0 n 1 Ϝ u i Ϝ u i + 1 5 u i + 1 u i 2 72 .
This completes the proof. □
Proposition 3. 
Let Ϝ : θ 1 , θ 2 R R + be *differentiable function on θ 1 , θ 2 . If l n ( Ϝ ) q is a multiplicatively s-convex function in the second sense on θ 1 , θ 2 for some fixed s 0 , 1 then in (42) for every division d of θ 1 , θ 2 we have
R Ϝ , d Π i = 0 n 1 Ϝ u i Ϝ u i + 1 θ 2 θ 1 2 2 2 s + 2 s s + 1 2 1 + 2 p + 1 6 p + 1 p + 1 1 p .
Proof. 
With the help of Theorem 7 the proof is similar to Proposition 2. □
Remark 6. 
In a similar way, one can obtain more results for a midpoint-type inequality.
Remark 7. 
The classical error estimates based on Taylor expansion for the Simpson formula involve the 4th derivative Ϝ 4 . In the case that the Ϝ 4 derivative does not exist or is very large at some points in θ 1 , θ 2 the classical estimates cannot be applied and, thus, ref. (43) provides an alternative approximation for the Simpson formula. This is a new approach in multiplicative calculus.

5.2. Applications to Special Means of Real Numbers

In this section of the paper, we will consider the following special means for real numbers θ 1 , θ 2 with θ 1 θ 2 . We have
(1) The arithmetric means for θ 1 , θ 2 R + : A θ 1 , θ 2 = θ 1 + θ 2 2 .
(2) The geometric means for θ 1 , θ 2 R + : G θ 1 , θ 2 = θ 1 θ 2 .
(3) The harmonic means for θ 1 , θ 2 R + 0 : H θ 1 , θ 2 = 2 θ 1 θ 2 θ 1 + θ 2 .
(4) The logarithmic means for θ 1 , θ 2 R + and θ 1 θ 2 : L θ 1 . θ 2 = θ 1 θ 2 ln θ 2 ln θ 1 .
(5) The identric means for θ 1 , θ 2 R + 0 : I θ 1 , θ 2 : = 1 e θ 2 θ 2 θ 1 θ 1 1 θ 2 θ 1 , θ 1 θ 2 θ 1 , θ 1 = θ 2 .
(6) The generalized logarithmic means for θ 1 , θ 2 R 0 and n R 1 , 0 : L p θ 1 , θ 2 = θ 2 n + 1 θ 1 n + 1 n + 1 θ 2 θ 1 1 m .
Proposition 4. 
Suppose θ 1 , θ 2 R + with 0 < θ 1 < θ 2 ; then, we have
e A θ 1 n + 1 , θ 2 n + 1 + A n + 1 3 L n + 1 n + 1 θ 1 , θ 2 1 3 n + 1 e n A θ 1 n 1 , θ 2 n 1 θ 2 θ 1 2 1 + 2 p + 1 6 p + 1 p + 1 1 p .
Proof. 
The assertion follows from Corollary 2, applied to the function Ϝ t = e t n with n 2 whose θ 1 θ 2 Ϝ t d t 1 θ 2 θ 1 = e 1 θ 2 θ 1 θ 1 θ 2 ln e t n d t = e L n n θ 1 , θ 2 and Ϝ t = e n t n 1 .
Proposition 5. 
Suppose θ 1 , θ 2 R + with 0 < θ 1 < θ 2 ; then, we have
e ϰ n e L n n θ 1 , θ 2 M 1 θ 2 θ 1 ϰ θ 1 2 + θ 2 ϰ 2 2 .
Proof. 
If Ϝ t = e t n with n 1 then we have θ 1 θ 2 Ϝ t d t 1 θ 2 θ 1 = e L n n θ 1 , θ 2 , from Corollary 4, and we have following relation for M = e n b n 1 . For more instances, if we put
(i) ϰ = A in (45) then we have
e ϰ n L n n M 1 θ 2 θ 1 A θ 1 2 + θ 2 A 2 2 .
(ii) One can write similar inequalities by choosing ϰ = G , H , L , I . □
Proposition 6. 
Suppose θ 1 , θ 2 R + with 0 < θ 1 < θ 2 ; then, we have
e ϰ n + 1 e L n + 1 n + 1 θ 1 , θ 2 M 1 1 + p 1 p ϰ θ 1 2 + θ 2 ϰ 2 θ 2 θ 1 .
Proof. 
If Ϝ t = e 1 n + 1 t n + 1 with n 1 then Ϝ t = e t n is multiplicatively convex on a given interval and we have θ 1 θ 2 Ϝ t d t 1 θ 2 θ 1 = e 1 n + 1 L n + 1 n + 1 θ 1 , θ 2 , from Corollary 6, and we have obtained inequality (46). For more instances, if we put
(i) ϰ = A in (46) then we have
e ϰ n L n + 1 n + 1 M 1 1 + p 1 p A θ 1 2 + θ 2 A 2 θ 2 θ 1 .
(ii) One can write similar inequalities by choosing ϰ = G , H , L , I . □

6. Conclusions

This paper’s aim was to establish some generalized integral inequalities for multiplicatively differentiable convex functions. We established integral inequalities of the Simpson and Ostrowski types for s-convex functions in the second sense within the framework of multiplicative calculus. In addition, we gave the numerical examples and computational analysis to examine the behavior of newly established inequalities for multiplicatively s-convex functions in the second sense. Applications to quadrature formula and special means of real numbers by utilizing our newly established results were also given. The results in this paper should be very interesting and innovative in the field of multiplicative calculus and inequalities. These generalizations will be helpful for researchers working in the field of mathematical modeling, optimization and numerical analysis. Interested readers could establish several new results in this field by using our new ideas.

Author Contributions

Conceptualization, A.M.; Methodology, X.Z. and A.M.; Software, A.M. and M.T.; Validation, X.Z. and A.M.; Formal analysis, A.M. and M.T.; Investigation, X.Z. and A.M.; Writing—original draft, X.Z. and A.M.; Writing—review & editing, X.Z., A.M. and M.T.; Supervision, M.A.A.; Project administration, M.A.A.; Funding acquisition, X.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the National Natural Science Foundation of China (No. 11971241).

Data Availability Statement

Data will be made available on request.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Mitrinovic, D.S.; Pecaric, J.; Fink, A.N. Inequalities Involving Functions and Their Integrals and Derivatives; Springer Science & Business Media: Berlin/Heidelberg, Germany, 1991; Volume 53. [Google Scholar]
  2. Ali, M.A.; Mateen, A.; Feckan, M. Study of Quantum Ostrowski’s-Type Inequalities for Differentiable convex Functions. Ukr. Math. J. 2023, 75, 7–27. [Google Scholar] [CrossRef]
  3. Pachpatte, B.G. On an inequality of Ostrowski’s type in three independent variables. J. Math. Anal. Appl. 2000, 249, 583–591. [Google Scholar] [CrossRef]
  4. Budak, H.; Tunç, T.; Sarikaya, M.Z. Fractional Hermite-Hadamard type inequalities for interval valued functions. Proc. Am. Math. Soc. 2020, 148, 705–718. [Google Scholar] [CrossRef]
  5. Daletskii, Y.L.; Teterina, N.I. Multiplicative stochastic integrals. Uspekhi Mat. Nauk 1972, 27, 167–168. [Google Scholar]
  6. Ali, M.A.; Budak, H.; Sarikaya, M.Z.; Zhang, Z. Ostrowski and Simpson type inequalities for multiplicative integrals. Proyecciones 2021, 40, 743–763. [Google Scholar] [CrossRef]
  7. Bashirov, A.E.; Riza, M. On complex multiplicative differentiation. TWMS J. Appl. Eng. Math. 2011, 1, 75–85. [Google Scholar]
  8. Özcan, S. Some Integral Inequalities of Hermite-Hadamard Type for Multiplicatively s-Preinvex Functions. Int. J. Math. Model. Comput. 2019, 9, 253–266. [Google Scholar] [CrossRef]
  9. Dragomir, S.S.; Fitzpatrick, S. The Hadamard’s inequality for s-convex functions in the second sense. Demonstr. Math. 1999, 32, 687–696. [Google Scholar]
  10. Sarikaya, M.Z.; Set, E.; Ozdemir, M.E. On new inequalities of Simpson’s type for s-convex functions. Appl. Math. Comput. 2010, 60, 2191–2199. [Google Scholar] [CrossRef]
  11. Khan, S.; Budak, H. On midpoint and trapezoidal type inequalities for multiplicative integral. Mathematica 2017, 59, 124–133. [Google Scholar]
  12. Özcan, S. Hermite-Hadamard type ınequalities for multiplicatively s-convex functions. Cumhur. Sci. J. 2020, 41, 245–259. [Google Scholar] [CrossRef]
  13. Özyapici, A.; Misirli, E. Exponential approximation on multiplicative calculus. In Proceedings of the 6th ISAAC Congress, Ankara, Turkey, 13–18 August 2007; p. 471. [Google Scholar]
  14. Breckner, W.W. Stetigkeitsaussagen füreine Klasse verallgemeinerter konvexer funktionen in topologischen lin-earen Räumen. Publ. Inst. Math. 1978, 23, 13–20. [Google Scholar]
  15. Hudzik, H.; Maligranda, L. Some remarks on s-convex functions. Aequationes Math. 1994, 4, 100–111. [Google Scholar] [CrossRef]
  16. Pycia, M. A direct proof of the s-Hölder continuity of Breckner s-convex functions. Aequationes Math. 2001, 61, 128–130. [Google Scholar] [CrossRef]
  17. Ali, M.A.; Kara, H.; Tariboon, J.; Asawasamrit, S.; Budak, H.; Hezenci, F. Some new Simpson’s formula-type inequalities for twice-differentiable convex functions via generalized fractional operators. Symmetry 2021, 13, 2249. [Google Scholar] [CrossRef]
  18. Meftah, B. Some new Ostrowski’s inequalities for functions whose nth derivatives are logarithmically convex. Ann. Math. Sil. 2017, 32, 275–284. [Google Scholar] [CrossRef]
  19. Rangel-Oliveros, Y.; Nwaeze, E.R. Simpson’s type inequalities for exponentially convex functions with applications. Open J. Math. Sci. 2021, 5, 84–94. [Google Scholar] [CrossRef]
  20. Mateen, A.; Zhang, Z.; Ali, M.A.; Feckan, M. Generalization of some integral inequalities in multiplicative calculus with their computational analysis. Ukr. Math. J. 2023. [Google Scholar] [CrossRef]
  21. Grossman, M.; Katz, R. Non-Newtonian Calculus; Lee Press: Pigeon Cove, MA, USA, 1972. [Google Scholar]
  22. Aniszewska, D. Multiplicative runge-Kutta methods. Nonlinear Dyn. 2007, 50, 265–272. [Google Scholar] [CrossRef]
  23. Riza, M.; Özyapici, A.; Misirli, E. Multiplicative finite difference methods. Q. Appl. Math. 2009, 67, 745–754. [Google Scholar] [CrossRef]
  24. Bhat, A.H.; Majid, J.; Shah, T.R.; Wani, I.A.; Jain, R. Multiplicative Fourier transform and its applications to multiplicative differential equations. J. Comput. Math. Sci. 2019, 10, 375–383. [Google Scholar] [CrossRef]
  25. Bhat, A.H.; Majid, J.; Wani, I.A. Multiplicative Sumudu transform and its Applications. Emerg. Technol. Innov. Res. 2019, 6, 579–589. [Google Scholar]
  26. Misirli, E.; Gurefe, Y. Multiplicative Adams Bashforth-Moulton methods. Numer. Algorithms 2011, 57, 425–439. [Google Scholar] [CrossRef]
  27. Chasreechai, S.; Ali, M.A.; Naowarat, S.; Sitthiwirattham, T.; Nonlaopon, K. On Some Simpson’s and Newton’s Type Inequalities in Multiplicative Calculus with Applications. AIMS Math. 2023, 8, 3885–3896. [Google Scholar] [CrossRef]
  28. Bashirov, A.E. On line and double multiplicative integrals. TWMS J. Appl. Eng. Math. 2013, 3, 103–107. [Google Scholar]
  29. Xi, B.-Y.; Qi, F. Some integral inequalities of Hermite-Hadamard type for s-logarithmically convex functions. Acta Math. Sci. Engl. Ser. 2015, 35A, 515–526. [Google Scholar]
  30. Bai, Y.M.; Qi, F. Some integral inequalities of the Hermite-Hadamard type for log-convex functions on co-ordinates. J. Nonlinear Sci. 2016, 9, 5900–5908. [Google Scholar] [CrossRef]
  31. Dragomir, S.S. Further inequalities for log-convex functions related to Hermite-Hadamard result. Proyecciones 2019, 38, 267–293. [Google Scholar] [CrossRef]
  32. Set, E.; Ardiç, M.A. Inequalities for log-convex functions and p-function. Miskolc Math. Notes 2017, 18, 1033–1041. [Google Scholar] [CrossRef]
  33. Zhang, X.M.; Jiang, W.D. Some properties of log-convex function and applications for the exponential function. Comput. Math. Appl. 2012, 63, 1111–1116. [Google Scholar] [CrossRef]
  34. Bashirov, A.E.; Kurpınar, E.M.; Özyapıcı, A. Multiplicative calculus and its applications. J. Math. Anal. Appl. 2008, 337, 36–48. [Google Scholar] [CrossRef]
  35. Ali, M.A.; Abbas, M.; Zhang, Z.; Sial, I.B.; Arif, R. On integral inequalities for product and quotient of two multiplicatively convex functions. Asian Res. J. Math. 2019, 12, 1–11. [Google Scholar] [CrossRef]
Figure 1. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (11) is multiplied by s 2 in Theorem 6.
Figure 1. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (11) is multiplied by s 2 in Theorem 6.
Mathematics 12 01721 g001
Figure 2. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (16) is multiplied by s 4 in Theorem 7.
Figure 2. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (16) is multiplied by s 4 in Theorem 7.
Mathematics 12 01721 g002
Figure 3. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (22) is multiplied by s 2 in Theorem 8.
Figure 3. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (22) is multiplied by s 2 in Theorem 8.
Mathematics 12 01721 g003
Figure 4. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (24) is multiplied by s 4 in Theorem 9.
Figure 4. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (24) is multiplied by s 4 in Theorem 9.
Mathematics 12 01721 g004
Figure 5. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (30) is multiplied by s 2 in Theorem 10.
Figure 5. Depicts the comparative analysis between the left and right terms for discretization of “s” when inequality (30) is multiplied by s 2 in Theorem 10.
Mathematics 12 01721 g005
Table 1. Comparison between the left and right terms for discretization of “s” in Theorem 6.
Table 1. Comparison between the left and right terms for discretization of “s” in Theorem 6.
sLeft TermRight Term
0.20.03990.0568
0.40.15980.2166
0.60.35960.4692
0.80.63930.8087
Table 2. Comparison between the left and right terms for discretization of “s” in Theorem 7.
Table 2. Comparison between the left and right terms for discretization of “s” in Theorem 7.
sLeft TermRight Term
0.20.00150.0024
0.40.02550.0365
0.60.12940.1771
0.80.40920.5407
Table 3. Comparison between the left and right terms for discretization of “s” in Theorem 8.
Table 3. Comparison between the left and right terms for discretization of “s” in Theorem 8.
sLeft TermRight Term
0.20.03680.0533
0.40.14720.2049
0.60.33120.4470
0.80.58880.7758
Table 4. Comparison between the left and right terms for discretization of “s” in Theorem 9.
Table 4. Comparison between the left and right terms for discretization of “s” in Theorem 9.
sLeft TermRight Term
0.20.00140.0018
0.40.02350.0294
0.60.11920.1477
0.80.37680.4633
Table 5. Comparison between the left and right terms for discretization of “s” in Theorem 10.
Table 5. Comparison between the left and right terms for discretization of “s” in Theorem 10.
sLeft TermRight Term
0.20.04150.0540
0.40.16630.2207
0.60.37410.5081
0.80.66500.9260
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Zhan, X.; Mateen, A.; Toseef, M.; Aamir Ali, M. Some Simpson- and Ostrowski-Type Integral Inequalities for Generalized Convex Functions in Multiplicative Calculus with Their Computational Analysis. Mathematics 2024, 12, 1721. https://doi.org/10.3390/math12111721

AMA Style

Zhan X, Mateen A, Toseef M, Aamir Ali M. Some Simpson- and Ostrowski-Type Integral Inequalities for Generalized Convex Functions in Multiplicative Calculus with Their Computational Analysis. Mathematics. 2024; 12(11):1721. https://doi.org/10.3390/math12111721

Chicago/Turabian Style

Zhan, Xinlin, Abdul Mateen, Muhammad Toseef, and Muhammad Aamir Ali. 2024. "Some Simpson- and Ostrowski-Type Integral Inequalities for Generalized Convex Functions in Multiplicative Calculus with Their Computational Analysis" Mathematics 12, no. 11: 1721. https://doi.org/10.3390/math12111721

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop