scholarly journals Companions of Perturbed type inequalities for higher order differentiable functions

2019 ◽  
Vol 40 (4) ◽  
pp. 819-829
Author(s):  
Samet ERDEN
Keyword(s):  
Higher Order ◽  
Differentiable Functions

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 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 Liftings of Some Types of Tensor Fields and Connections to Tangent Bundles of pr-Velocities

1970 ◽  
Vol 40 ◽  
pp. 13-31 ◽  
Author(s):  
Akihiko Morimoto
Keyword(s):  
Vector Fields ◽  
Higher Order ◽  
Tensor Fields ◽  
Multi Index ◽  
Differentiable Functions ◽  
Tangent Bundles

In the previous paper [6], we studied the liftings of tensor fields to tangent bundles of higher order. The purpose of the present paper is to generalize the results of [6] to the tangent bundles of pr-velocities in a manifold M— notions due to C. Ehresmann [1] (see also [2]). In §1, we explain the pr-velocities in a manifold and define the (Λ)-lifting of differentiable functions for any multi-index λ -(λ1, λ2,…,λp) of non-negative integers λi satisfying ΣΛi≤r. In § 2, we construct ‹Λ›-lifts of any vector fields and ‹Λ›-lifts of 1-forms. The ‹Λ›-lift is a little bit different from the ‹Λ›-lift of vector fields in [6].

scholarly journals Fractional Integral Inequalities for Strongly h -Preinvex Functions for a kth Order Differentiable Functions

Symmetry ◽  
2019 ◽  
Vol 11 (12) ◽  
pp. 1448 ◽  
Author(s):  
Saima Rashid ◽  
Muhammad Amer Latif ◽  
Zakia Hammouch ◽  
Yu-Ming Chu
Keyword(s):  
Integral Operator ◽  
Differentiable Function ◽  
Real World ◽  
Fractional Integral ◽  
Higher Order ◽  
Fractional Integrals ◽  
Differentiable Functions ◽  
Real World Applications ◽  
Mathematical Problems ◽  
Preinvex Functions

The objective of this paper is to derive Hermite-Hadamard type inequalities for several higher order strongly h -preinvex functions via Riemann-Liouville fractional integrals. These results are the generalizations of the several known classes of preinvex functions. An identity associated with k-times differentiable function has been established involving Riemann-Liouville fractional integral operator. A number of new results can be deduced as consequences for the suitable choices of the parameters h and σ . Our outcomes with these new generalizations have the abilities to be implemented for the evaluation of many mathematical problems related to real world applications.

scholarly journals Inequalities for Estimations of Integrals Related to Higher-Order Strongly n -Polynomial Preinvex Functions

2020 ◽  
Vol 2020 ◽  
pp. 1-12
Author(s):  
Yongping Deng ◽  
Muhammad Uzair Awan ◽  
Sadia Talib ◽  
Muhammad Aslam Noor ◽  
Khalida Inayat Noor ◽  
...  
Keyword(s):  
Integral Identity ◽  
Higher Order ◽  
Differentiable Functions ◽  
Special Means ◽  
Preinvex Functions ◽  
New Inequalities

In this paper, we establish an integral identity associated with m -times differentiable functions. The result is then used to derive some integral estimations for higher-order strongly n -polynomial preinvex functions. Finally, we apply the obtained inequalities to construct new inequalities involving special means.

Higher Order Differentiable Functions

2018 ◽  
pp. 141-150
Author(s):  
Ravi P. Agarwal ◽  
Peter Cristina ◽  
O’Regan Donal
Keyword(s):  
Higher Order ◽  
Differentiable Functions

scholarly journals Some Remarks on Results Related to ∇-Convex Function

2021 ◽  
Vol 53 (1) ◽  
pp. 67-85
Author(s):  
Asif Raza Khan ◽  
Faraz Mehmood ◽  
Faisal Nawaz ◽  
Aamna Nazir
Keyword(s):  
Convex Function ◽  
Present Article ◽  
Divided Difference ◽  
Mean Value ◽  
Higher Order ◽  
Two Dimensions ◽  
Mean Value Theorem ◽  
New Techniques ◽  
Differentiable Functions ◽  
The Mean

In the present article, we give new techniques for proving general identities of the Popoviciu type for discrete cases of sums for two dimensions using higher-order ∇-divided difference. Also, integral cases are deduced by different methods for differentiable functions of higher-order for two variables. These identities are a generalization of various previously established results. An application for the mean value theorem is also presented.

Sign in / Sign up

Export Citation Format

Share Document