scholarly journals Simpson type inequalities and applications

2021 ◽  
Author(s):  
Muhammad Uzair Awan ◽  
Muhammad Zakria Javed ◽  
Michael Th. Rassias ◽  
Muhammad Aslam Noor ◽  
Khalida Inayat Noor
Keyword(s):  
Quadrature Formula ◽  
Convex Functions ◽  
Integral Identity ◽  
Higher Order ◽  
Auxiliary Result ◽  
First Order ◽  
New Class ◽  
Differentiable Functions

AbstractA new generalized integral identity involving first order differentiable functions is obtained. Using this identity as an auxiliary result, we then obtain some new refinements of Simpson type inequalities using a new class called as strongly (s, m)-convex functions of higher order of $$\sigma >0$$ σ > 0 . We also discuss some interesting applications of the obtained results in the theory of means. In last we present applications of the obtained results in obtaining Simpson-like quadrature formula.

scholarly journals Bounds for the Remainder in Simpson’s Inequality via n-Polynomial Convex Functions of Higher Order Using Katugampola Fractional Integrals

2020 ◽  
Vol 2020 ◽  
pp. 1-10
Author(s):  
Yu-Ming Chu ◽  
Muhammad Uzair Awan ◽  
Muhammad Zakria Javad ◽  
Awais Gul Khan
Keyword(s):  
Convex Functions ◽  
Integral Identity ◽  
Fractional Integral ◽  
Higher Order ◽  
Fractional Integrals ◽  
Auxiliary Result ◽  
Simpson’S Inequality ◽  
Generalized Fractional Integral

The goal of this paper is to derive some new variants of Simpson’s inequality using the class of n-polynomial convex functions of higher order. To obtain the main results of the paper, we first derive a new generalized fractional integral identity utilizing the concepts of Katugampola fractional integrals. This new fractional integral identity will serve as an auxiliary result in the development of the main results of this paper.

Properties of Classes of Random Graphs

1994 ◽  
Vol 3 (4) ◽  
pp. 435-454 ◽  
Author(s):  
Neal Brand ◽  
Steve Jackson
Keyword(s):  
Random Graphs ◽  
Higher Order ◽  
Order Property ◽  
First Order ◽  
New Class ◽  
Vertex Transitive ◽  
Vertex Transitive Graphs ◽  
Almost All ◽  
Transitive Graphs

In [11] it is shown that the theory of almost all graphs is first-order complete. Furthermore, in [3] a collection of first-order axioms are given from which any first-order property or its negation can be deduced. Here we show that almost all Steinhaus graphs satisfy the axioms of almost all graphs and conclude that a first-order property is true for almost all graphs if and only if it is true for almost all Steinhaus graphs. We also show that certain classes of subgraphs of vertex transitive graphs are first-order complete. Finally, we give a new class of higher-order axioms from which it follows that large subgraphs of specified type exist in almost all graphs.

scholarly journals New (p, q)-estimates for different types of integral inequalities via (α, m)-convex mappings

2020 ◽  
Vol 18 (1) ◽  
pp. 1830-1854
Author(s):  
Humaira Kalsoom ◽  
Muhammad Amer Latif ◽  
Saima Rashid ◽  
Dumitru Baleanu ◽  
Yu-Ming Chu
Keyword(s):  
Integral Identity ◽  
Integral Inequalities ◽  
First Order ◽  
Convex Mappings ◽  
Differentiable Functions ◽  
Different Types ◽  
Error Estimations ◽  
Quantum Error

Abstract In the article, we present a new ( p , q ) (p,q) -integral identity for the first-order ( p , q ) (p,q) -differentiable functions and establish several new ( p , q ) (p,q) -quantum error estimations for various integral inequalities via ( α , m ) (\alpha ,m) -convexity. We also compare our results with the previously known results and provide two examples to show the superiority of our obtained results.

scholarly journals New Hermite-Hadamard-Fejér inequalities via k-fractional integrals for differentiable generalized nonconvex functions

Filomat ◽  
2020 ◽  
Vol 34 (8) ◽  
pp. 2549-2558
Author(s):  
Artion Kashuri ◽  
Themistocles Rassias
Keyword(s):  
Integral Inequalities ◽  
Fractional Integrals ◽  
Auxiliary Result ◽  
Nonconvex Functions ◽  
New Class ◽  
Differentiable Functions ◽  
Special Cases

The authors discover a new interesting generalized identity concerning differentiable functions via k-fractional integrals. By using the obtained identity as an auxiliary result, some new estimates with respect to Hermite-Hadamard-Fej?r type inequalities via k-fractional integrals for a new class of function involving Raina?s function, the so-called generalized (h1, h2)-nonconvex are presented. These inequalities have some connections with known integral inequalities. Also, some new special cases are provided as well from main results.

scholarly journals On the Versatility of Open Logical Relations

2020 ◽  
pp. 56-83 ◽  
Author(s):  
Gilles Barthe ◽  
Raphaëlle Crubillé ◽  
Ugo Dal Lago ◽  
Francesco Gavazzo
Keyword(s):  
Programming Languages ◽  
Automatic Differentiation ◽  
Type System ◽  
Order Type ◽  
Higher Order ◽  
Base Case ◽  
Logical Relation ◽  
First Order ◽  
Differentiable Functions ◽  
The One

AbstractLogical relations are one among the most powerful techniques in the theory of programming languages, and have been used extensively for proving properties of a variety of higher-order calculi. However, there are properties that cannot be immediately proved by means of logical relations, for instance program continuity and differentiability in higher-order languages extended with real-valued functions. Informally, the problem stems from the fact that these properties are naturally expressed on terms of non-ground type (or, equivalently, on open terms of base type), and there is no apparent good definition for a base case (i.e. for closed terms of ground types). To overcome this issue, we study a generalization of the concept of a logical relation, called open logical relation, and prove that it can be fruitfully applied in several contexts in which the property of interest is about expressions of first-order type. Our setting is a simply-typed $$\lambda $$ λ -calculus enriched with real numbers and real-valued first-order functions from a given set, such as the one of continuous or differentiable functions. We first prove a containment theorem stating that for any collection of real-valued first-order functions including projection functions and closed under function composition, any well-typed term of first-order type denotes a function belonging to that collection. Then, we show by way of open logical relations the correctness of the core of a recently published algorithm for forward automatic differentiation. Finally, we define a refinement-based type system for local continuity in an extension of our calculus with conditionals, and prove the soundness of the type system using open logical relations.

scholarly journals New Quantum Estimates of Trapezium-Type Inequalities for Generalized ϕ-Convex Functions

Mathematics ◽  
2019 ◽  
Vol 7 (11) ◽  
pp. 1047 ◽  
Author(s):  
Miguel J. Vivas-Cortez ◽  
Rozana Liko ◽  
Artion Kashuri ◽  
Jorge E. Hernández Hernández
Keyword(s):  
Convex Function ◽  
Convex Functions ◽  
Type Inequality ◽  
Trapezium Type ◽  
New Class ◽  
Differentiable Functions ◽  
Special Cases

In this paper, a quantum trapezium-type inequality using a new class of function, the so-called generalized ϕ -convex function, is presented. A new quantum trapezium-type inequality for the product of two generalized ϕ -convex functions is provided. The authors also prove an identity for twice q - differentiable functions using Raina’s function. Utilizing the identity established, certain quantum estimated inequalities for the above class are developed. Various special cases have been studied. A brief conclusion is also given.

scholarly journals Two-Variable Quantum Integral Inequalities of Simpson-Type Based on Higher-Order Generalized Strongly Preinvex and Quasi-Preinvex Functions

Symmetry ◽  
2019 ◽  
Vol 12 (1) ◽  
pp. 51 ◽  
Author(s):  
Humaira Kalsoom ◽  
Saima Rashid ◽  
Muhammad Idrees ◽  
Yu-Ming Chu ◽  
Dumitru Baleanu
Keyword(s):  
Integral Identity ◽  
Higher Order ◽  
Integral Inequalities ◽  
Numerical Approximations ◽  
New Class ◽  
Quantum Integral ◽  
Special Cases ◽  
Preinvex Functions ◽  
Definition Of

In this paper, we present a new definition of higher-order generalized strongly preinvex functions. Moreover, it is observed that the new class of higher-order generalized strongly preinvex functions characterize various new classes as special cases. We acquire a new q 1 q 2 -integral identity, then employing this identity, we establish several two-variable q 1 q 2 -integral inequalities of Simpson-type within a class of higher-order generalized strongly preinvex and quasi-preinvex functions. Finally, the utilities of our numerical approximations have concrete applications.

scholarly journals Hermite–Hadamard–Fejér-Type Inequalities and Weighted Three-Point Quadrature Formulae

Mathematics ◽  
2021 ◽  
Vol 9 (15) ◽  
pp. 1720
Author(s):  
Mihaela Ribičić Penava
Keyword(s):  
Quadrature Formula ◽  
Convex Functions ◽  
Integral Formula ◽  
Higher Order ◽  
Quadrature Formulae ◽  
Special Cases

The goal of this paper is to derive Hermite–Hadamard–Fejér-type inequalities for higher-order convex functions and a general three-point integral formula involving harmonic sequences of polynomials and w-harmonic sequences of functions. In special cases, Hermite–Hadamard–Fejér-type estimates are derived for various classical quadrature formulae such as the Gauss–Legendre three-point quadrature formula and the Gauss–Chebyshev three-point quadrature formula of the first and of the second kind.

scholarly journals Quantum estimates in two variable forms for Simpson-type inequalities considering generalized Ψ-convex functions with applications

Open Physics ◽  
2021 ◽  
Vol 19 (1) ◽  
pp. 305-326
Author(s):  
Yu-Ming Chu ◽  
Asia Rauf ◽  
Saima Rashid ◽  
Safeera Batool ◽  
Y. S. Hamed
Keyword(s):  
Real World ◽  
Convex Functions ◽  
Integral Identity ◽  
Quantum Physics ◽  
Higher Order ◽  
New Approach ◽  
Quantum Calculus ◽  
Opening Up ◽  
Integral Identities

Abstract This article proposes a new approach based on quantum calculus framework employing novel classes of higher order strongly generalized Ψ \Psi -convex and quasi-convex functions. Certain pivotal inequalities of Simpson-type to estimate innovative variants under the q ˇ 1 , q ˇ 2 {\check{q}}_{1},{\check{q}}_{2} -integral and derivative scheme that provides a series of variants correlate with the special Raina’s functions. Meanwhile, a q ˇ 1 , q ˇ 2 {\check{q}}_{1},{\check{q}}_{2} -integral identity is presented, and new theorems with novel strategies are provided. As an application viewpoint, we tend to illustrate two-variable q ˇ 1 q ˇ 2 {\check{q}}_{1}{\check{q}}_{2} -integral identities and variants of Simpson-type in the sense of hypergeometric and Mittag–Leffler functions and prove the feasibility and relevance of the proposed approach. This approach is supposed to be reliable and versatile, opening up new avenues for the application of classical and quantum physics to real-world anomalies.

scholarly journals A Study of Uniform Harmonic χ -Convex Functions with respect to Hermite-Hadamard’s Inequality and Its Caputo-Fabrizio Fractional Analogue and Applications

2021 ◽  
Vol 2021 ◽  
pp. 1-12
Author(s):  
Miguel Vivas-Cortez ◽  
Muhammad Uzair Awan ◽  
Muhammad Zakria Javed ◽  
Muhammad Aslam Noor ◽  
Khalida Inayat Noor
Keyword(s):  
Convex Functions ◽  
Integral Identity ◽  
Fractional Integral ◽  
Fractional Integrals ◽  
Auxiliary Result ◽  
Real Numbers ◽  
Positive Real ◽  
Hadamard’S Inequality ◽  
Special Cases ◽  
Harmonic Convex

In this paper, we introduce the notion of uniform harmonic χ -convex functions. We show that this class relates several other unrelated classes of uniform harmonic convex functions. We derive a new version of Hermite-Hadamard’s inequality and its fractional analogue. We also derive a new fractional integral identity using Caputo-Fabrizio fractional integrals. Utilizing this integral identity as an auxiliary result, we obtain new fractional Dragomir-Agarwal type of inequalities involving differentiable uniform harmonic χ -convex functions. We discuss numerous new special cases which show that our results are quite unifying. Finally, in order to show the significance of the main results, we discuss some applications to means of positive real numbers.

Sign in / Sign up

Export Citation Format

Share Document