
Citation: Flavia Schiavo. Existential risks of an excluded community: Le mani sulle città by Franco Rosi[J]. AIMS Geosciences, 2020, 6(4): 437-458. doi: 10.3934/geosci.2020024
[1] | Saad Ihsan Butt, Artion Kashuri, Muhammad Umar, Adnan Aslam, Wei Gao . Hermite-Jensen-Mercer type inequalities via Ψ-Riemann-Liouville k-fractional integrals. AIMS Mathematics, 2020, 5(5): 5193-5220. doi: 10.3934/math.2020334 |
[2] | Jia-Bao Liu, Saad Ihsan Butt, Jamshed Nasir, Adnan Aslam, Asfand Fahad, Jarunee Soontharanon . Jensen-Mercer variant of Hermite-Hadamard type inequalities via Atangana-Baleanu fractional operator. AIMS Mathematics, 2022, 7(2): 2123-2141. doi: 10.3934/math.2022121 |
[3] | Yamin Sayyari, Mana Donganont, Mehdi Dehghanian, Morteza Afshar Jahanshahi . Strongly convex functions and extensions of related inequalities with applications to entropy. AIMS Mathematics, 2024, 9(5): 10997-11006. doi: 10.3934/math.2024538 |
[4] | Muhammad Bilal Khan, Hari Mohan Srivastava, Pshtiwan Othman Mohammed, Kamsing Nonlaopon, Y. S. Hamed . Some new Jensen, Schur and Hermite-Hadamard inequalities for log convex fuzzy interval-valued functions. AIMS Mathematics, 2022, 7(3): 4338-4358. doi: 10.3934/math.2022241 |
[5] | Muhammad Bilal Khan, Gustavo Santos-García, Hüseyin Budak, Savin Treanțǎ, Mohamed S. Soliman . Some new versions of Jensen, Schur and Hermite-Hadamard type inequalities for (p,J)-convex fuzzy-interval-valued functions. AIMS Mathematics, 2023, 8(3): 7437-7470. doi: 10.3934/math.2023374 |
[6] | Soubhagya Kumar Sahoo, Fahd Jarad, Bibhakar Kodamasingh, Artion Kashuri . Hermite-Hadamard type inclusions via generalized Atangana-Baleanu fractional operator with application. AIMS Mathematics, 2022, 7(7): 12303-12321. doi: 10.3934/math.2022683 |
[7] | Fangfang Shi, Guoju Ye, Dafang Zhao, Wei Liu . Some integral inequalities for coordinated log-h-convex interval-valued functions. AIMS Mathematics, 2022, 7(1): 156-170. doi: 10.3934/math.2022009 |
[8] | Muhammad Bilal Khan, Pshtiwan Othman Mohammed, Muhammad Aslam Noor, Abdullah M. Alsharif, Khalida Inayat Noor . New fuzzy-interval inequalities in fuzzy-interval fractional calculus by means of fuzzy order relation. AIMS Mathematics, 2021, 6(10): 10964-10988. doi: 10.3934/math.2021637 |
[9] | Waqar Afzal, Mujahid Abbas, Sayed M. Eldin, Zareen A. Khan . Some well known inequalities for (h1,h2)-convex stochastic process via interval set inclusion relation. AIMS Mathematics, 2023, 8(9): 19913-19932. doi: 10.3934/math.20231015 |
[10] | Muhammad Bilal Khan, Muhammad Aslam Noor, Thabet Abdeljawad, Bahaaeldin Abdalla, Ali Althobaiti . Some fuzzy-interval integral inequalities for harmonically convex fuzzy-interval-valued functions. AIMS Mathematics, 2022, 7(1): 349-370. doi: 10.3934/math.2022024 |
Inequalities are essential and instrumental in dealing with several complex mathematical quantities that appeared in diverse domains of physical sciences. They have been investigated from multiple aspects, including expanding the applicable domain and eliminating the limitations of already proved results and utilizing various approaches from functional analysis, generalized calculus, and convex analysis. Originally, they were pivotal to acquiring bounds for different mappings, integrals, the uniqueness and stability of solutions, error analysis of quadrature algorithms, information theory, etc. Based on these factors, this theory has grown exponentially through convex analysis. Additionally, the impact of concavity is exemplary in inequalities due to plenty of factors, particularly the fact that several inequalities can be derived from the premise of convexity. This suggests that one of the main motives for studying classical inequalities is to characterize convexity and its generalizations. One of the notable classes of convexity depending upon quadratic support is known to us as strong convexity, which generalizes the classical concepts and is highly applied to conclude the novel refinements of already proven results. This class has inspired the development of several new mapping classes in the literature. For comprehensive details on generalizations of strongly convex, consult [1,2,3,4,5,6]. In 2007, Abramovich et al. [7] demonstrated another concept of a super-quadratic mapping incorporated with translations of itself and a support line. It is defined as:
A mapping Ψ:[0,∞)→R is considered to be a super-quadratic for μ≥0 if there exist a constant C(μ)∈R, such that
Ψ(μ1)≥Ψ(μ)+C(μ)(μ1−μ)+Ψ(|μ−μ1|),μ1≥0. |
It can also be interpreted as:
Definition 1.1 ([7]). A mapping Ψ:[0,∞)→R is called super-quadratic if, and only if,
Ψ((1−φ)μ+φy)≤(1−φ)Ψ(μ)+φΨ(y)−φΨ((1−φ)|μ−y|)−(1−φ)Ψ(φ|μ−y|), | (1.1) |
holds ∀μ,y≥0 and 0≤φ≤1.
Here, we provide some instrumental results to discuss super-quadratic mappings.
Lemma 1.1 ([7]). If Ψ:[0,∞)→R is a super-quadratic mapping, then
(1) Ψ(0)≤0,
(2) C(μ)=Ψ′(μ), when Ψ(μ) is differentiable with Ψ(0)=Ψ′(0)=0, for all μ≥0,
(3) for all μ≥0, if Ψ(μ)≥0, then Ψ is convex and Ψ(0)=Ψ′(0)=0.
Kian and his coauthors [8,9] came up with the idea of operator super-quadratic mappings and Jensen's kinds of inequalities that are related to them. Oguntuase and Persson [10] discussed Hardy-like inequalities utilizing the notion of super-quadratic mappings. Study these additional papers for more comprehensive research on super-quadraticity, [11,12,13,14,15].
Varosanec [16] proposed the unified class of convexity through control mapping and provided new insight to conduct research in the following field. Throughout the investigation, let ℏ∘:(0,1)→R be a mapping such that ℏ∘≥0.
Definition 1.2 ([16]). A mapping Ψ:[s3,s4]→R is considered to be a ℏ∘-convex, if
Ψ((1−φ)μ+φy)≤ℏ∘(φ)Ψ(μ)+ℏ∘(1−φ)Ψ(y). |
Inspired by the idea presented in [16], Alomari and Chesneau [17] developed a general class of super-quadratic mappings and investigated some of their essential properties, defined as:
Definition 1.3 ([17]). Any mapping Ψ:[s3,s4]→R is regraded as ℏ∘-super-quadratic, If
Ψ((1−φ)μ+φy)≤ℏ∘(φ)[Ψ(y)−Ψ((1−φ)|y−μ|)]+ℏ∘(1−φ)[Ψ(μ)−Ψ(φ|μ−y|)]. |
Lemma 1.2 ([17]). Suppose Ψ:[s3,s4]→R is a ℏ∘-super-quadratic mapping, then
(1) Ψ(0)≤0,
(2) for all μ≥0, if Ψ(μ)≥0, then Ψ is ℏ∘-convex such that Ψ(0)=Ψ′(0)=0.
The Jensen's inequality for this class of mappings is given as
Theorem 1.1 ([17]). Suppose Ψ:[s3,s4]→R is a ℏ∘-super-quadratic mapping, then
Ψ(1Cϑϑ∑ν=1φνμν)≤ϑ∑ν=1ℏ∘(φνCϑ)Ψ(μν)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ(|μν−1Cϑϑ∑ν=1φνμν|). |
Also, they proved the Jensen-Mercer inequality for ℏ∘-super-quadratic mappings.
Theorem 1.2 ([17]). Let Ψ:[s3,s4]→R be a ℏ∘-super-quadratic mapping, then
Ψ(s3+s4−1Cϑϑ∑ν=1φνμν)≤Ψ(s3)+Ψ(s4)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ(μν)−ϑ∑ν=1ℏ∘(φνCϑ)[Ψ(μν−s3)+Ψ(s4−μν)]−ϑ∑ν=1ℏ∘(φνCϑ)Ψ(|μν−1Cϑϑ∑ν=1φνμν|). |
Set-valued analysis and its subdomains are cornerstones in mathematical sciences to generalize the previously obtained results. In this regard, Moore [18] applied the set-valued mappings to establish bounded solutions of differential equations. Recently, researchers have focused on decision-making, multi-objective optimization, numerical analysis, mathematical modeling, and advanced nonlinear analysis through interval-valued mapping. Probabilistic and interval-valued techniques are utilized to extract the results from data having randomness. However, these approaches are not applicable to quantities that possess vagueness. To deal with such problems, Zadeh [19] proposed the idea of a fuzzy set based on generalized indicator mapping and also presented the idea of a fuzzy convex set. This theory emerged as a potential theory in the last few decades. The contribution of these concepts in optimization, decision-making, inequalities, differential equations, mathematical modeling, approximation methodologies, dynamic systems, and computer science is unprecedented. Note that this theory is not statistical in nature but sets new trends in possibility theory. Dubois and Prade [20] researched preliminary terminologies related to area and tangent problems and offered new insights to carry new developments. Nanda and Kar [21] explored diverse groups of fuzzy convex mappings and reported their essential characterization.
As we move ahead, let us go over certain previously laid-out concepts and implications of fuzzy interval analysis. Assume that Kc symbolizes the space of all closed and bounded intervals in R, while K+c represents the space of positive intervals. The interval 1χ is defined as:
[1χ]=[1χ−,−1χ]={μ:1χ−≤μ≤−1χ,μ∈R}. |
Given χ,ϕ∈Kc and δ1∈R, Minkowski's operations are given as:
δ1.χ:={[δ1χ∗,δ1χ∗]ifδ1≥0,[δ1χ∗,δ1χ∗]ifδ1<0. |
Then the Minkowski addition χ+ϕ and χ×ϕ for χ,ϕ∈Kc are defined by
[ϕ∗,ϕ∗]+[χ∗,χ∗]:=[ϕ∗+χ∗,ϕ∗+χ∗], |
and
[ϕ∗,ϕ∗]×[χ∗,χ∗]:=[min{ϕ∗χ∗,ϕ∗χ∗,ϕ∗χ∗,ϕ∗χ∗},max{ϕ∗χ∗,ϕ∗χ∗,ϕ∗χ∗,ϕ∗χ∗}]. |
Definition 1.4 ([22]). For any compact intervals A=[s3∗,s∗3], B=[s4∗,s∗4] and C=[c∗,c∗], the generalized Hukuhara difference (gH-difference) is explored as:
[s3∗,s∗3]⊖g[s4∗,s∗4]=[c∗,c∗]⇔{(i){s3∗=s4∗+c∗s∗3=s∗4+c∗,(ii){s4∗=s3∗−c∗s∗4=s∗3−c∗. |
Also, the gH-difference can be illustrated as:
[s3∗,s∗3]⊖g[s4∗,s∗4]=[min{s3∗−s4∗,s∗3−s∗4},max{s3∗−s4∗,s∗3−s∗4}]. |
Also for A∈Kc, the length of interval is computed by l(A)=s∗3−s3∗. Then, for all A,B∈Kc, we have
A⊖gB={[s3∗−s4∗,s∗3−s∗4],l(A)≥l(B),[s∗3−s∗4,s3∗−s4∗],l(A)≤l(B). |
Definition 1.5 ([23]). The "≤ρ" relation over Kc is provided as:
[ϕ∗,ϕ∗]≤ρ[χ∗,χ∗], |
if and only if,
ϕ∗≤χ∗,ϕ∗≤χ∗, |
for all [ϕ∗,ϕ∗],[χ∗,χ∗]∈Kc is a pseudo-order or left-right (LR) ordering relation.
Theorem 1.3 ([23,24]). Every fuzzy set and δ1∈(0,1], the representations of δ1-level set of 1π are examined in the following order: 1πδ1={μ∈R:1π(μ)≥δ1} and supp(1π)=cl{μ∈R:1π(μ)>0}. The fuzzy sets in R are represented by Θδ1 and 1π∈Θδ1. A 1π is considered to be a fuzzy number (interval) if it is normal, fuzzy convex, semi-continuous, and has compact support. The space of all real fuzzy numbers are specified by Υδ1.
Let 1π∈Υδ1 be a fuzzy interval if, and only if, δ1-levels [1π]δ1is a compact convex set of R. Now, we deliver the representation of fuzzy number:
[1π]δ1=[1π∗(δ1),1π∗(δ1)], |
where
1π∗(δ1):=inf{μ∈R:1π(μ)≥δ1},1π∗(δ1):=sup{μ∈R:1π(μ)≥δ1}. |
Thus, a fuzzy-interval can be investigated and characterized by a parameterized triplet. For more details, see [26].
{1π∗(δ1),1π∗(δ1);δ1∈[0,1]}. |
These two endpoint mappings 1π∗(δ1) and 1π∗(δ1) play a vital role in exploring the fuzzy numbers.
Proposition 1.1 ([25]). If V,χ∈Υδ1, then the relation "⪯" explored on Υδ1 by
V⪯χ if, and only if, [V]δ1≤ρ[χ]δ1, for all δ1∈[0,1], this relation is known as a partial order relation.
For V,χ∈Υδ1 and c∈R, the scalar product c⋅χ, sum with constant, the sum V⊕χ, and product V⊙χ are defined by:
[c⋅V]δ1=c⋅[V]δ1,[c⊕V]δ1=c+[V]δ1.[V⊕χ]δ1=[V]δ1+[χ]δ1,[V⊙χ]δ1=[V]δ1×[χ]δ1. |
The level wise difference of the fuzzy number is stated as follows:
Definition 1.6 ([27]). Let V, χ be the two fuzzy numbers. Then the level-wise difference is defined as
[V⊖χ]δ1=[V∗(δ1)−χ∗(δ1),V∗(δ1)−χ∗(δ1)]. |
To overcome the limitations of Hukuhara difference, the following difference is defined as follows.
Definition 1.7 ([22]). Let V, χ be the two fuzzy numbers. Then the generalized Hukuhara difference (gH-difference) of V⊖gχ is a fuzzy number ξ such that
V⊖gχ=ξ⇔{(i)V=χ⊕ξ(ii)χ=V⊕(−1)ξ. |
Also the gH-difference based on δ1 can be illustrated as:
[V⊖gχ]δ1=[min{V∗(δ1)−χ∗(δ1),V∗(δ1)−χ∗(δ1)},max{V∗(δ1)−χ∗(δ1),V∗(δ1)−χ∗(δ1)}]. |
Also for V∈Υδ1, the length of the fuzzy interval is given by l(V(δ1))=V∗(δ1)−V∗(δ1). Then, for all V,χ∈Υδ1, we have
V⊖gχ={[V∗(δ1)−χ∗(δ1),V∗(δ1)−χ∗(δ1)],l(V(δ))≥l(χ(δ)),[V∗(δ1)−χ∗(δ1),V∗(δ1)−χ∗(δ1)],l(V(δ))≤l(χ(δ)). | (1.2) |
Note that a function Ψ:[s3,s4]⊆R→Υδ1 is said to be l-increasing, if length function len([Ψ(μ)]δ1)=Ψ∗(μ,δ1)−Ψ∗(μ,δ1) is increasing with respect μ for all δ1∈[0,1]. Mathematically, for any μ1,μ2∈[s3,s4] and μ1≤μ2. Then len([Ψ(μ2)]δ1)≥len([Ψ(μ1)]δ1),∀δ1∈[0,1]. For more details, see [28].
Proposition 1.2 ([28]). Let Ψ:T=(s3,s4)⊆R→Υδ1 be a Fuzzy number valued (F.N.V) mapping. If Ψ(μ+h)⊖gΨ(μ) exists for some h such that μ+h∈T, then one of the following conditions hold:
Case (i){len([Ψ(μ+h)]δ1)≥len([Ψ(μ)]δ1),∀δ1∈[0,1]Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1),is a monotonic increasing with respect toδ1Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1),is a monotonic decreasing with respect toδ1. |
Case (ii){len([Ψ(μ+h)]δ1)≤len([Ψ(μ)]δ1),∀δ1∈[0,1]Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1),is a monotonic decreasing with respect toδ1Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1),is a monotonic increasing with respect toδ1. |
Remark 1.1. From Proposition 2.4, the Ψ(μ+h)⊖gΨ(μ) can be written by the definition of the fuzzy interval as:
Case (i){len([Ψ(μ)]δ1),is a monotonic increasing with respect to μ,∀δ1∈[0,1]Ψ(μ+h)⊖gΨ(μ)=[Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1),Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1)]. |
Case (ii){len([Ψ(μ)]δ1),is a monotonic decreasing with respect to μ,∀δ1∈[0,1]Ψ(μ+h)⊖gΨ(μ)=[Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1),Ψ∗(μ+h,δ1)−Ψ∗(μ,δ1)]. |
Definition 1.8 ([25]). If Ψ:[s3,s4]⊂R→Υδ1 is an F.N.V mapping. For each δ1∈[0,1], whose δ1-cuts highlight the bundle of I.V.F, such that Ψδ1:[s3,s4]⊂R→Kc is described as Ψδ1(μ)=[Ψ∗(μ,δ1),Ψ∗(μ,δ1)], μ∈[s3,s4]. Every δ1∈[0,1], the left and right real valued mappings Ψ∗(μ,δ1),Ψ∗(μ,δ1):[s3,s4]→R are sometimes referred to as Ψ end points.
Definition 1.9 ([29]). Let Ψ:[s3,s4]⊂R→Υδ1 be an F.N.V mapping. Then, fuzzy integral of Ψ over [s3,s4] is projected as (FR)∫s4s3Ψ(μ)dμ,
[(FR)∫s4s3Ψ(μ)dμ]δ1=(FR)∫s4s3Ψδ1(μ)dμ={∫s4s3Ψ(μ,δ1)dμ:Ψ(μ,δ1)∈R([s3,s4],δ1)}, |
for all δ1∈[0,1], where R([s3,s4],δ1) describes the space of integrable mappings.
Theorem 1.4 ([26]). If Ψ:[s3,s4]⊂R→Υδ1 is an F.N.V mapping. For each δ1∈[0,1], whose δ1-cuts highlight the bundle of I.V.F, such that Ψδ1:[s3,s4]⊂R→Kc is described as Ψδ1(μ)=[Ψ∗(μ,δ1),Ψ∗(μ,δ1)], μ∈[s3,s4]. Then, Ψ is fuzzy Riemann integrable (FR-integrable) over [s3,s4], ⇔ Ψ∗(μ,δ1),Ψ∗(μ,δ1)∈R([s3,s4],δ1), then
[(FR)∫s4s3Ψ(μ)dμ]δ1=[(R)∫s4s3Ψ∗(μ,δ1),(R)∫s4s3Ψ∗(μ,δ1)]=(FR)∫s4s3Ψδ1(μ)dμ, |
for all δ1∈[0,1], where FR represents interval Riemann integration of Ψδ1(μ). For all δ1∈[0,1], FR([s3,s4],δ1) specifies the class of all FR-integrable F.N.V mappings over [s3,s4].
Definition 1.10 ([21]). A mapping Ψ:[s3,s4]→Υδ1 is termed as an F.N.V LR-convex mapping on [s3,s4] if
Ψ((1−φ)μ+φY)⪯(1−φ)Ψ(μ)˜+φΨ(Y), | (1.3) |
for all μ,Y∈[s3,s4],ϱ∘∈[0,1], where Ψ(μ)≽˜0 for all μ∈[s3,s4].
Definition 1.11 ([26]). Let τ>0 and Ł(s3,s4,Υδ1) be the space of all Lebesgue measurable F.N.V mapping on [s3,s4]. Then, the fuzzy left and right RL-fractional integral operator of Ψ∈Ł(s3,s4,Υδ1) are defined as:
Jτa+Ψ(s3)=1Γ(τ)∫s4s3(μ−s3)τ−1Ψ(μ)dμ,μ≥a |
and
Jτs4−Ψ(s4)=1Γ(τ)∫s4s3(s4−μ)τ−1Ψ(μ)dμ,μ≤s4. |
Furthermore, the left and right RL-fractional operator based on left and right endpoint mappings can be defined, that is,
[Jτa+Ψ(s3)]δ1=1Γ(τ)∫s4s3(μ−s3)τ−1Ψδ1(ϱ∘)dϱ∘=1Γ(τ)∫s4s3(μ−s3)τ−1Ψδ1[Ψ∗(ϱ∘,δ1),Ψ∗(ϱ∘,δ1)]dϱ∘, |
where
Jτa+Ψ∗(a,δ1)=1Γ(τ)∫s4s3(μ−s3)τ−1Ψ∗(ϱ∘,δ1)dϱ∘, |
and
Jτa+Ψ∗(a,δ1)=1Γ(τ)∫s4s3(μ−s3)τ−1Ψ∗(ϱ∘,δ1)dϱ∘. |
By similar argument, we can define the right operator.
The authors [30] employed interval-valued unified approximate convexity to examine new refinements of inequalities. Nwaeze et al.[31] proposed the class of interval-valued ϑ-polynomial convex mappings and reported several interesting inequalities. Abdeljawad et al. [32] utilized the p mean to develop the idea of interval-valued p convexity and presented some corresponding general inequalities of Hermite-Hadamard type. Shi and his colleagues [33] studied the totally ordered unified convexity in the perspective of integral inequalities. Through interval-valued log-convexity and cr-harmonic convexity, Liu et al. [34,35] found the trapezium and Jensen's-like inequalities.
Budak et al. [36] implemented the interval-valued RL-fractional operators and convexity to derive the trapezoidal inequalities. Vivas-Cortez [37] introduced the totally ordered τ-convex mappings and analyzed several Jensen's, Schur's, and fractional Hadamard's and kinds of inequalities. Cheng et al. [38] looked at new kinds of Hadamard-like inequalities using fuzzy-valued mapping and fractional quantum calculus. Bin-Mohsin et al. [39] bridged the harmonic coordinated convexity and fractional operators relying on Raina's special mapping to establish new 2-dimensional inequalities. For comprehensive details, consult [40,41,42,43,44].
Recently, Fahad [45] proposed some novel bounds of classical inequalities pertaining to center-radius ordered geometric-arithmetic convexity and some interesting applications to information theory. Authors [46] explored the unified class of stochastic convex processes relying on quasi-weighted mean and cr ordering relation to conclude new forms of inequalities. For the first time, Khan and Butt established the new counterparts of classical inequalities depending upon partially and totally ordered super-quadraticity, respectively, in [47,48].
Costa et al. [49] implemented the fuzzy-valued mappings to acquire some boundaries in a one-point quadrature scheme. Zhang and his coauthors [50] focused on set-valued Jensen-like inequalities along with some interesting applications. Khan et al. [51] examined fractional analogues of fuzzy interval-valued integral inequalities. In [52], authors discussed fuzzy valued Hadamard-like inequalities associated with log convexity. Abbaszadeh and Eshaghi employed the fuzzy valued r convex mappings to establish the trapezium type inequalities. Bin-Mohsin [53] introduced the idea of fuzzy bi-convex mappings and derived the various inequalities. For comprehensive details, see [54,55,56,57,58].
The above literature is evidence that theories of inequalities are interlinked with convexity. Several classes of convexity have been introduced to reduce the limitations of classical convexity or to acquire better estimations of existing results. Researchers have applied several techniques to produce better estimations of mathematical quantities. The principle motivation is to explore super-quadratic mappings in fuzzy environments through a unified approach. First, we will propose a new class of fuzzy number-valued super-quadratic mappings based on left and right ordering relations. Further, we will give a detailed description of newly developed concepts along with their potential cases. Most importantly, we will derive classical inequalities like the trapezoidal inequality, the weighted form for symmetric mappings, and Jensen's and its related inequalities. Later on, some fractional inequalities will be presented and graphed. To increase the reliability and accuracy, some visuals and related numerical data will be provided. Finally, we will present applications based on our primary findings. This is the first study regarding super-quadraticity via fuzzy calculus.
This part contains the results related to newly proposed notion of fuzzy super-quadratic mappings.
First, we investigate the fuzzy-valued ℏ∘-super-quadratic mapping.
Definition 2.1. Suppose ℏ∘≥0. Let Ψ:[s3,s4]⊆[0,∞)→Υδ1 be an F.N.V mapping such that Ψδ1(γ)=[Ψ∗(δ1,γ),Ψ∗(δ1,γ)], and len([Ψ(γ)]δ1)=Ψ∗(γ,δ1)−Ψ∗(γ,δ1) is increasing with respect γ for all δ1∈[0,1]. Then Ψ is considered to be an F.N.V ℏ∘-super-quadratic mapping if
Ψ((1−φ)γ+φy)⪯ℏ∘(φ)[Ψ(y)⊖gΨ((1−φ)|γ−y|)]⊕ℏ∘(1−φ)[Ψ(γ)⊖gΨ(φ|γ−y|)], |
holds ∀γ,y∈[s3,s4] such that γ<y and |y−γ|<γ where φ∈[0,1].
Now, we enlist some potential deductions of Definitions 2.1.
● Inserting ℏ∘(φ)=φ, we recapture the class of F.N.V super-quadratic mappings.
● Inserting ℏ∘(φ)=φs, we recapture the class of F.N.V-s-super-quadratic mappings:
Ψ((1−φ)γ+φy)⪯φs[Ψ(y)⊖gΨ((1−φ)|γ−y|)]⊕(1−φ)s[Ψ(γ)⊖gΨ(φ|γ−y|)]. |
● Inserting ℏ∘(φ)=φ−s, we recapture the class of F.N.V-s Godunova super-quadratic mappings:
Ψ((1−φ)γ+φy)⪯φ−s[Ψ(y)⊖gΨ((1−φ)|γ−y|)]⊕(1−φ)−s[Ψ(γ)⊖gΨ(φ|γ−y|)]. |
● Inserting ℏ∘(φ)=φ(1−φ), we recapture the class of F.N.V-tgs super-quadratic mappings:
Ψ((1−φ)γ+φy)⪯φ(1−φ)[Ψ(y)⊖gΨ((1−φ)|γ−y|)]⊕φ(1−φ)[Ψ(γ)⊖gΨ(φ|γ−y|)]. |
● Inserting ℏ∘(φ)=1, we recapture the class of F.N.V-P super-quadratic mappings:
Ψ((1−φ)γ+φy)⪯[Ψ(y)⊖gΨ((1−φ)|γ−y|)]⊕[Ψ(γ)⊖gΨ(φ|γ−y|)]. |
● Inserting ℏ∘(φ)=exp(φ)−1, we recapture the class of F.N.V-exponential super-quadratic mappings:
Ψ((1−φ)γ+φy)⪯[exp(φ)−1][Ψ(y)⊖gΨ((1−φ)|γ−y|)]⊕[exp(1−φ)−1][Ψ(γ)⊖gΨ(φ|γ−y|)]. |
● Selecting Ψ∗(γ,δ1)=Ψ∗(γ,δ1) and δ1=1, we acquire the notion of ℏ∘-super-quadratic mapping defined in [17].
The spaces of ℏ∘-super-quadratic mappings and (F.N.V)–ℏ∘ l-increasing super-quadratic mappings defined over [s3,s4] are represented by SSQF([s3,s4],ℏ∘) and SSQFNF([s3,s4],ℏ∘) respectively.
Proposition 2.1. Let Ψ,g:[s3,s4]→Υδ1 be two F.N.V mappings. If Ψ,g∈SSQFNF([s3,s4],ℏ∘), then
● Ψ+g∈SSQFNF([s3,s4],ℏ∘).
● cΨ∈SSQFNF([s3,s4],ℏ∘), c≥0.
Proof. The proof is obvious.
Proposition 2.2. If Ψ∈SSQFNF([s3,s4],ℏ∘1) and ℏ∘1(φ)≤ℏ2∘(φ), then Ψ∈SSQFNF([s3,s4],ℏ∘2).
Now we prove the criteria to investigate the class of F.N.V–ℏ∘ super-quadratic mappings.
Proposition 2.3. If Ψ∈SSQFNF([s3,s4],ℏ∘1) and ℏ∘1(φ)≤ℏ2∘(φ), then Ψ∈SSQFNF([s3,s4],ℏ∘2).
Now we prove the criteria to investigate class of F.N.V–ℏ∘ super-quadratic mappings.
Proposition 2.4. Let Ψ:[s3,s4]⊆[0,∞)→Υδ1 be an F.N.V mapping. For any γ,y∈[s3,s4] such that γ<y and satisfying the condition that |y−γ|<γ. Then, Ψ∈SSQFNF([s3,s4],ℏ∘) if, and only if, Ψ∗(γ,δ1),Ψ∗(γ,δ1)∈SSQF([s3,s4],ℏ∘) and len([Ψ(γ)]δ1)=Ψ∗(γ,δ1)−Ψ∗(γ,δ1) is increasing with respect γ for all δ1∈[0,1].
Proof. Let Ψ∗,Ψ∗∈SSQF([s3,s4],ℏ∘) and ∀γ,y∈[s3,s4] such that γ<y and satisfying the condition |y−γ|<γ. Then:
Ψ∗((1−φ)y+φγ,δ1)≤ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)], | (2.1) |
and
Ψ∗((1−φ)y+φγ,δ1)≤ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)]. | (2.2) |
Combining (2.1) and (2.2) by definition of pseudo ordering relation, we have
[Ψ∗((1−φ)y+φγ,δ1),Ψ∗((1−φ)y+φγ,δ1)]⪯[ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)],ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)]]. |
Then by Case (ⅰ) of Remark (1.1), we have
Ψ((1−φ)y+φγ)⪯ℏ∘(1−φ)[Ψ(y)⊖gΨ(φ|y−γ|)]⊕ℏ∘(φ)[Ψ(γ)⊖gΨ((1−φ)|y−γ|)]. |
This completes the proof of first part. For the converse part, consider Ψ∈SSQFNF([s3,s4],ℏ∘), then
Ψ((1−φ)y+φγ)⪯ℏ∘(1−φ)[Ψ(y)⊖gΨ(φ|y−γ|)]⊕ℏ∘(φ)[Ψ(γ)⊖gΨ((1−φ)|y−γ|)]. |
The above inequality can be written as
[Ψ∗((1−φ)y+φγ,δ1),Ψ∗((1−φ)y+φγ,δ1)]⪯[min{ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)],ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)]},max{ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)],ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)]}]. |
From Definition 2.1, it is clear that len([Ψ(γ)]δ1) is increasing. Using Case (ⅰ) of Remark 1.1, we have
[Ψ∗((1−φ)y+φγ,δ1),Ψ∗((1−φ)y+φγ,δ1)]⪯[ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)],ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)]]. | (2.3) |
From (2.3), we can write as
Ψ∗((1−φ)y+φγ,δ1)≤ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)], | (2.4) |
and
Ψ∗((1−φ)y+φγ,δ1)≤ℏ∘(1−φ)[Ψ∗(y,δ1)−Ψ∗(φ|y−γ|,δ1)]+ℏ∘(φ)[Ψ∗(γ,δ1)−Ψ∗((1−φ)|y−γ|,δ1)]. | (2.5) |
It is evident from (2.4) and (2.5) that both Ψ∗,Ψ∗∈SSQF([s3,s4],ℏ∘). Hence, the result is proved.
It is noteworthy to mention that Proposition 2.4 provides the necessary and sufficient condition for F.N.V–ℏ∘ super-quadratic mapping. It is noteworthy to mention that Proposition 2.4 provides the necessary and sufficient condition for the F.N.V–ℏ∘ super-quadratic mapping.
Example 2.1. Let us consider F.N.V. Ψ:[s3,s4]=[0,2]→R∘, which is defined as follows
Ψμ(μ1)={μ13μ3,μ1∈[0,3μ3]6μ3−μ13μ3,μ1∈(3μ3,6μ3]. |
Then, for δ1∈[0,1], we have
Ψδ1=[3δ1μ3,(6−3δ1)μ3]. |
Notice that both endpoint mappings Ψ(μ,δ1)=3δ1μ3 and Ψ(μ,δ1)=(6−3δ1)μ3 are ℏ∘-super-quadratic mappings, respectively. So, Ψ∈SSQFNF([s3,s4],ℏ∘). Also len([Ψ(μ)]δ1)=(6−6δ1)μ3 is increasing with respect to μ for all δ1∈[0,1].
Now, we prove an alternative definition of this class of convexity for ϑ different points of [s3,s4] known as Jensen's inequality. This inequality is useful for the development of further integral inequalities.
Theorem 2.1. Let ℏ∘:(0,1]:→[0,∞) be a nonnegative super-multiplicative mapping. If Ψ∈SSQFNF([s3,s4],ℏ∘), then
Ψ(1Cϑϑ∑ν=0φν(μν))⪯ϑ∑ν=1ℏ∘(φνCϑ)Ψ(μν)⊖gϑ∑ν=1ℏ∘(φνCϑ)Ψ(|μν−1Cϑϑ∑ν=0φν(μν)|), | (2.6) |
for μν∈[s3,s4],φν∈[0,1] such that Cϑ=∑ϑν=1φν.
Proof. If Ψ∈SSQFNF([s3,s4],ℏ∘), then it can be written as:
[Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1),Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1)]⪯[ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φν(μν)|,δ1),ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φν(μν)|,δ1)]. |
By pseudo order relation, one can resolve the above inequality as:
Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1)≤ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φν(μν)|,δ1), | (2.7) |
and
Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1)≤ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φν(μν)|,δ1). | (2.8) |
We employ induction technique to prove both inequalities (2.7) and (2.8). Fixing ϑ=2 and φ1C2=α and φ2C2=1−α in (2.7), we acquire the definition of ℏ∘-super-quadratic mapping. To proceed further, we assume that (2.7) holds true for ϑ=ν−1, then
Ψ∗(ϑ−1∑ν=1φνCϑ−1(μν),δ1)≤ϑ−1∑ν=1ℏ∘(φνCϑ−1)Ψ∗(μν,δ1)−ϑ−1∑ν=1ℏ∘(φνCϑ−1)Ψ∗(|μν−ϑ−1∑ν=1φνCϑ−1(μν)|,δ1). | (2.9) |
Next, we prove the validity of (2.6).
Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1)=Ψ∗(φnxϑCϑ+Cϑ−1Cϑϑ−1∑ν=1φνCϑ−1(μν),δ1)≤ℏ∘(φϑCϑ)Ψ∗(μϑ,δ1)+ℏ∘(Cϑ−1Cϑ)Ψ∗(ϑ−1∑ν=1(φνμνCϑ−1),δ1)−ℏ∘(φϑCϑ)Ψ∗(Cϑ−1Cϑ|μϑ−ϑ−1∑ν=1(φνμνCϑ−1)|,δ1)−ℏ∘(Cϑ−1Cϑ)Ψ∗(φϑCϑ|μϑ−ϑ−1∑ν=1(φνμνCϑ−1)|,δ1). | (2.10) |
Using (2.9) in (2.10) and the super-multiplicative property of ℏ∘, we recapture
Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1)≤ℏ∘(φϑCϑ)Ψ∗(μϑ,δ1)+ℏ∘(Cϑ−1Cϑ)[ϑ−1∑ν=1ℏ∘(φνCϑ−1)Ψ∗(μν,δ1)−ϑ−1∑ν=1ℏ∘(φνCϑ−1)Ψ∗(|μν−ϑ−1∑ν=1φνCϑ−1(μν)|,δ1)]−ℏ∘(φϑCϑ)Ψ∗(Cϑ−1Cϑ|μϑ−ϑ−1∑ν=1(φνμνCϑ−1)|,δ1)−ℏ∘(Cϑ−1Cϑ)Ψ∗(φϑCϑ|μϑ−ϑ−1∑ν=1(φνμνCϑ−1)|,δ1). |
Thus, we have
Ψ∗(1Cϑϑ∑ν=0φνμν,δ1)≤ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φνμν|,δ1), | (2.11) |
By similar proceedings, we have
Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1)≤ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φνμν|,δ1). | (2.12) |
Comparing inequalities (2.11) and (2.12) through Pseudo ordering relation, we have
[Ψ∗(1Cϑϑ∑ν=0φνμν,δ1),Ψ∗(1Cϑϑ∑ν=0φν(μν),δ1)]⪯[ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φνμν|,δ1),ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=0φνμν|,δ1)]. |
Finally, it can be transformed as
Ψ(1Cϑϑ∑ν=0φν(μν))⪯ϑ∑ν=1ℏ∘(φνCϑ)Ψ(μν)⊖gϑ∑ν=1ℏ∘(φνCϑ)Ψ(|μν−1Cϑϑ∑ν=0φν(μν)|). |
Hence, the result is accomplished.
We deliver some corollaries of Theorem 2.1.
● Setting ∑ϑν=1φν=Cϑ=1 in Theorem 2.1, we attain the generalized Jensen's inequality:
Ψ(ϑ∑ν=0φν(μν))⪯ϑ∑ν=1ℏ∘(φν)Ψ(μν)⊖gϑ∑ν=1ℏ∘(φν)Ψ(|μν−ϑ∑ν=0φν(μν)|). |
● To attain Jensen's inequality for the fuzzy interval-valued super-quadratic mapping, we set ℏ∘(φ)=φ in Theorem 2.1.
Ψ(1Cϑϑ∑ν=0φν(μν))⪯ϑ∑ν=1φνCϑΨ(μν)⊖gϑ∑ν=1φνCϑΨ(|μν−1Cϑϑ∑ν=0φν(μν)|). |
● To attain Jensen's inequality for the fuzzy interval-valued s-super-quadratic mapping, we set ℏ∘(φ)=φs in Theorem 2.1.
Ψ(1Cϑϑ∑ν=0φν(μν))⪯ϑ∑ν=1(φνCϑ)sf(μν)⊖gϑ∑ν=1(φνCϑ)sf(|μν−1Cϑϑ∑ν=0φν(μν)|). |
● To attain Jensen's inequality for the fuzzy interval-valued s Godunova-Levin super-quadratic mapping, we set ℏ∘(φ)=φ−s in Theorem 2.1.
Ψ(1Cϑϑ∑ν=0φν(μν))⪯ϑ∑ν=1(φνCϑ)−sΨ(μν)⊖gϑ∑ν=1(φνCϑ)−sΨ(|μν−1Cϑϑ∑ν=0φν(μν)|). |
● To attain Jensen's inequality for the fuzzy interval-valued P-super-quadratic mapping, we set ℏ∘(φ)=1 in Theorem 2.1.
Ψ(1Cϑϑ∑ν=0φν(μν))⪯ϑ∑ν=1(φνCϑ)−sΨ(μν)⊖gϑ∑ν=1(φνCϑ)−sΨ(|μν−1Cϑϑ∑ν=0φν(μν)|). |
● To attain Jensen's inequality for the fuzzy interval-valued exponential super-quadratic mapping, we set ℏ∘(φ)=exp(φ)−1 in Theorem 2.1.
Ψ(1Cϑϑ∑ν=0φν(μν))⪯ϑ∑ν=1[exp(φνCϑ)−1]Ψ(μν)⊖gϑ∑ν=1[exp(φνCϑ)−1]Ψ(|μν−1Cϑϑ∑ν=0φν(μν)|). |
● By taking Ψ∗(μ,δ1)=Ψ∗(μ,δ1) and δ1 in Theorem 2.1, we get Theorem 1.1.
Next, the result is the Schur inequality for the fuzzy interval-valued super-quadratic mappings.
Theorem 2.2. If Ψ∈SSQFNF([s3,s4],ℏ∘) and μ,y,μ3∈[s3,s4] with μ<y<μ3 such that y−μ,μ3−y and μ3−μ∈[0,1], then
ℏ∘(μ3−μ)Ψ(y)⪯ℏ∘(μ3−y)[Ψ(μ)⊖gΨ(y−μ)]⊕ℏ∘(y−μ)[Ψ(μ3)⊖gΨ(μ3−y)]. |
Proof. Assume that μ,y,μ3∈I with μ<y<μ3 such that y−μ,μ3−y and μ3−μ∈[0,1]. Since Ψ∈SSQFNF([s3,s4],ℏ∘), and ℏ∘ is a super-multiplicative mapping, then
Ψ∗(y,δ1)=Ψ∗(μ3−yμ3−μμ+y−μμ3−μy,δ1)≤ℏ∘(μ3−yμ3−μ)[Ψ∗(μ,δ1)−Ψ∗(y−μμ3−μ|μ3−μ|,δ1)]+ℏ∘(y−μμ3−μ)[Ψ∗(μ3,δ1)−Ψ∗(μ3−yμ3−μ|μ3−μ|,δ1)]. |
Multiplying both sides of the aforementioned inequality by ℏ∘(μ3−μ) and utilizing the supermultiplicative property, we recapture
ℏ∘(μ3−μ)Ψ∗(y,δ1)≤ℏ∘(μ3−y)[Ψ∗(μ,δ1)−Ψ∗(y−μ,δ1)]+ℏ∘(y−μ)[Ψ∗(μ3,δ1)−Ψ∗(μ3−y,δ1)]. | (2.13) |
Likewise, we can prove that
ℏ∘(μ3−μ)Ψ∗(y,δ1)≤ℏ∘(μ3−y)[Ψ∗(μ,δ1)−Ψ∗(y−μ,δ1)]+ℏ∘(y−μ)[Ψ∗(μ3,δ1)−Ψ∗(μ3−y,δ1)]. | (2.14) |
From (2.13) and (2.14), we get the desired containment.
Remark 2.1. For different substitution of ℏ∘(φ)=φ,φs,φ−s,φ(1−φ), we get a blend of new counterparts for different classes of super-quadraticity. By taking Ψ∗(μ,δ1)=Ψ∗(μ,δ1) and δ1=1 in Theorem 2.2, we get the reverse Jensen's inequality, and that is proved in [17].
Through Theorem 2.2, we construct reverse Jensen's inequality leveraging the fuzzy number valued super-quadraticity.
Theorem 2.3. For φν≥0 and (v,V)⊆I. Let ℏ∘:(0,1]→[0,∞) be nonnegative super-multiplicative mapping and Ψ∈SSQFNF([s3,s4],ℏ∘). Then,
ϑ∑ν=1ℏ∘(φνCϑ)Ψ(μν)⪯ϑ∑ν=1ℏ∘(φνCϑ)[ℏ∘(V−μνV−v)Ψ(v)+ℏ∘(μν−vV−v)Ψ(V)]⊖gℏ∘(φνCϑ)[ℏ∘(V−μνV−v)Ψ(μν−v)+ℏ∘(μν−vV−v)Ψ(V−μν)]. |
Proof. Substitute μν=v,y=μν and μ3=V in Theorem 2.2 and multiply both sides by ℏ∘(φνCϑ). Finally, we apply the sum up to ϑ to acquire the desired estimate.
Now, we prove the Jensen-Mercer inequality pertaining to the fuzzy interval-valued super-quaraticity.
Theorem 2.4. Let Ψ∈SSQFNF([s3,s4],ℏ∘) and μν∈(s3,s4) and φν≥0, then
Ψ(s3+s4−1Cϑϑ∑ν=1φνμν)⪯Ψ(s3)⊕Ψ(s4)⊖gϑ∑ν=1ℏ∘(φνCϑ)Ψ(μν)⊖gϑ∑ν=1ℏ∘(φνCϑ)[Ψ(μν−s3)⊕Ψ(s4−μν)]⊖gϑ∑ν=1ℏ∘(φνCϑ)Ψ(|μν−1Cϑϑ∑ν=1φνμν|). |
Proof. Let Ψ∗,Ψ∗∈SSQF([s3,s4],ℏ∘), then from Theorem 1.2, we get the following inequalities.
Ψ∗(s3+s4−1Cϑϑ∑ν=1φνμν,δ1)⪯Ψ∗(s3,δ1)+Ψ∗(s4,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)[Ψ∗(μν−s3,δ1)+Ψ∗(s4−μν,δ1)]−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=1φνμν|,δ1), | (2.15) |
and
Ψ∗(s3+s4−1Cϑϑ∑ν=1φνμν,δ1)⪯Ψ∗(s3,δ1)+Ψ∗(s4,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(μν,δ1)−ϑ∑ν=1ℏ∘(φνCϑ)[Ψ∗(μν−s3,δ1)+Ψ∗(s4−μν,δ1)]−ϑ∑ν=1ℏ∘(φνCϑ)Ψ∗(|μν−1Cϑϑ∑ν=1φνμν|,δ1). | (2.16) |
Bridging (2.15) and (2.16) through Pseudo ordering, we acquire the fuzzy-valued Jensen-Mercer inequality.
Remark 2.2. For different substitution of ℏ∘(φ)=φ,φs,φ−s,φ(1−φ), we get fuzzy number-valued Jensen-Mercer inequalities for different classes of super-quadraticity. By taking Ψ∗(μ,δ1)=Ψ∗(μ,δ1) and δ1=1 in Theorem 2.2, we get Jensen-Mercer inequality, and that is proved in [17].
Theorem 2.5. If Ψ∈SSQFNF([s3,s4],ℏ∘), then
12ℏ∘(12)Ψ(s3+s42)⊕1(s4−s3)∫s4s3Ψ(|μ−s3+s42|)dμ⪯1s4−s3∫s4s3Ψ(μ)dμ⪯Ψ(s3)⊕Ψ(s4)2⋅1(s4−s3)∫s4s3(ℏ∘(s4−μs4−s3)+ℏ∘(μ−s3s4−s3))dμ⊖g1s4−s3∫s4s3[ℏ∘(s4−μs4−s3)Ψ(μ−s3)⊕ℏ∘(μ−s3s4−s3)Ψ(s4−μ)]dμ. |
Proof. Since Ψ:[s3,s4]→R+I is a fuzzy interval-valued ℏ∘-super-quadratic mapping, we first consider φ=12, then we get
Ψ∗(μ+y2,δ1)≤ℏ∘(12)[Ψ∗(μ,δ1)+Ψ∗(y,δ1)]−2ℏ∘(12)Ψ∗(12|y−μ|,δ1). |
The above inequality can be transformed as
Ψ∗(s3+s42,δ1)≤ℏ∘(12)Ψ∗(φs4+(1−φ)s3,δ1)+ℏ∘(12)Ψ∗(φs3+(1−φ)s4,δ1)−2ℏ∘(12)Ψ∗(s4−s32|1−2φ|,δ1). | (2.17) |
Integrating with respect to φ on [0,1], we get
Ψ∗(s3+s42,δ1)≤ℏ∘(12)∫10Ψ∗(φs4+(1−φ)s3,δ1)dφ+ℏ∘(12)∫10Ψ∗(φs3+(1−φ)s4,δ1)dφ−2ℏ∘(12)∫10Ψ∗(s4−s32|1−2φ|,δ1)dφ12ℏ∘(12)Ψ∗(s3+s42,δ1)+1(s4−s3)∫s4s3Ψ∗(|μ−s3+s42|,δ1)dμ≤1s4+s3∫s4s3Ψ∗(μ,δ1)dμ. |
By similar arguments, we have
12ℏ∘(12)Ψ∗(s3+s42,δ1)+1(s4−s3)∫s4s3Ψ∗(|μ−s3+s42|,δ1)dμ≤1s4+s3∫s4s3Ψ∗(μ,δ1)dμ. |
This implies that,
12ℏ∘(12)Ψ(s3+s42)⊕1(s4−s3)∫s4s3Ψ(|μ−s3+s42|)dμ≺1s4+s3∫s4s3Ψ(μ)dμ. | (2.18) |
Since Ψ∈SSQFNF([s3,s4],ℏ∘), then
Ψ((1−φ)s4+φs3)⪯ℏ∘(1−φ)Ψ(s4)⊕ℏ∘(φ)Ψ(s3)⊖gℏ∘(φ)Ψ((1−φ)|s4−s3|)⊖gℏ∘(1−φ)Ψ(φ|s4−s3|), | (2.19) |
and
Ψ(φs4+(1−φ)s3)⪯ℏ∘(φ)Ψ(s4)⊕ℏ∘(1−φ)Ψ(s3)⊖gℏ∘(φ)Ψ((1−φ)|s4−s3|)⊖gℏ∘(1−φ)Ψ(φ|s4−s3|). | (2.20) |
Adding (2.19) and (2.20), we have
Ψ((1−φ)s4+φs3)⊕Ψ(φs4+(1−φ)s3)⪯[ℏ∘(φ)+ℏ∘(1−φ)][Ψ(a)⊕Ψ(s4)]⊖g2ℏ∘(φ)Ψ((1−φ)|s4−s3|)⊖g2ℏ∘(1−φ)Ψ(φ|s4−s3|). |
This can be transformed as
Ψ∗(φs4+(1−φ)s3,δ1)+Ψ(φs4+(1−φ)s3,δ1)≤[ℏ∘(φ)+ℏ∘(1−φ)][Ψ∗(s4,δ1)+Ψ∗(s3,δ1)]−2ℏ∘(φ)Ψ∗((1−φ)|s4−s3|,δ1)−2ℏ∘(1−φ)Ψ∗(φ|s4−s3|,δ1), | (2.21) |
Integrating (2.21) with respect to φ on [0,1],
1s4−s3∫s4s3Ψ∗(μ,δ1)dμ≤Ψ∗(s3,δ1)+Ψ∗(s4,δ1)2⋅1s4−s3∫s4s3(ℏ∘(s4−μs4−s3,δ1)+ℏ∘(μ−s3s4−s3),δ1)dμ−1s4−s3∫s4s3[ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1)+ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1)]dμ. | (2.22) |
Through a similar strategy, we acquire
1s4−s3∫s4s3Ψ∗(μ)dμ≤Ψ∗(s3)+Ψ∗(s4)2⋅1s4−s3∫s4s3(ℏ∘(s4−μs4−s3)+ℏ∘(μ−s3s4−s3))dμ−1s4−s3∫s4s3[ℏ∘(s4−μs4−s3)Ψ∗(μ−s3)+ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ)]dμ. | (2.23) |
Combining inequalities (2.25) and (2.26), we recapture the desired result. So, the result is accomplished.
Now, we present some deductions of Theorem 2.5.
● Taking ℏ∘(φ)=φ, we recapture
Ψ(s3+s42)⊕1(s4−s3)∫s4s3Ψ(|μ−s3+s42|)dμ⪯1s4−s3∫s4s3Ψ(μ)dμ⪯Ψ(s3)⊕Ψ(s4)2⊖g1s4−s3∫s4s3[(s4−μs4−s3)Ψ(μ−s3)⊕(μ−s3s4−s3)Ψ(s4−μ)]dμ. |
● Taking ℏ∘(φ)=φs, we recapture
2s−1Ψ(s3+s42)⊕1(s4−s3)∫s4s3Ψ(|μ−s3+s42|)dμ⪯1s4−s3∫s4s3Ψ(μ)dμ⪯Ψ(s3)⊕Ψ(s4)s+1⊖g1s4−s3∫s4s3[(s4−μs4−s3)sf(μ−s3)⊕(μ−s3s4−s3)sf(s4−μ)]dμ. |
● Taking ℏ∘(φ)=φ−s, we recapture
2s+1Ψ(s3+s42)⊕1(s4−s3)∫s4s3Ψ(|μ−s3+s42|)dμ⪯1s4−s3∫s4s3Ψ(μ)dμ⪯Ψ(s3)⊕Ψ(s4)1−s⊖g1s4−s3∫s4s3[(s4−μs4−s3)−sΨ(μ−s3)⊕(μ−s3s4−s3)−sΨ(s4−μ)]dμ. |
● Taking ℏ∘(φ)=1, we recapture
2−1Ψ(s3+s42)⊕1(s4−s3)∫s4s3Ψ(|μ−s3+s42|)dμ⪯1s4+s3∫s4s3Ψ(μ)dμ⪯[Ψ(s3)⊕Ψ(s4)]⊖g1s4−s3∫s4s3[Ψ(μ−s3)⊕Ψ(s4−μ)]dμ. |
Remark 2.3. We can a get a blend of new Hermite-Hadamard's type inequalities for different values of ℏ∘ and by taking Ψ∗(μ,δ1)=Ψ∗(μ,δ1) and δ1=1 in Theorem 2.5, we get the classical Hermite-Hadamard inequality for super-quadratic mappings, which is derived in [15].
Example 2.2. Let Ψ:[s3,s4]=[0,2]→Υδ1 be a fuzzy valued super-quadratic mapping, which is defined as
Ψμ(μ1)={μ13μ3,μ1∈[0,3μ3]6μ3−μ13μ3,μ1∈(3μ3,6μ3]. |
and its level cuts are Ψδ1=[3δ1μ3,(6−3δ1)μ3]. It fulfils the condition of Theorem 2.5, then
Left Term=[15s4364,132(30−152)s43],Middle Term=[3s438,14(6−32)s43],Right Term=[6s4310,25(6−32)s43]. |
To visualize the above formulations, we fix δ1 and vary s4.
Note that L.L.F, L.U.F, M.L.F, M.U.F, R.L.F, and R.U.F are specifying the endpoint mappings of left, middle, and right terms of Theorem 2.5.
(δ1,s4) | L∗(δ1,s4) | L∗(δ1,s4) | M∗(δ1,s4) | M∗(δ1,s4) | R∗(δ1,s4) | R∗(δ1,s4) |
(0.3,1) | 0.140625 | 0.796875 | 0.2250 | 1.2750 | 0.3600 | 2.0400 |
(0.4,1.3) | 0.411938 | 1.64775 | 0.6591 | 2.6364 | 1.05456 | 4.21824 |
(0.5,1.5) | 0.791016 | 2.37305 | 1.26563 | 3.79688 | 2.025 | 6.0750 |
(0.8,1.8) | 0.1870 | 3.2805 | 3.4992 | 5.2488 | 5.59872 | 8.39808 |
Theorem 2.6. If Ψ∈SSQFNF([s3,s4],ℏ∘) and g:[s3,s4]→R is a symmetric mapping, then
12ℏ∘(12)Ψ(s3+s42)∫s4s3g(μ)dμ⊕∫s4s3Ψ(|μ−s3+s42|)g(μ)dμ⪯∫s4s3Ψ(μ,δ1)g(μ)dμ≤[Ψ(s4)⊕Ψ(s3)]2∫s4s3[ℏ∘(s4−μs4−s3)+ℏ∘(μ−s3s4−s3)]g(μ)dμ⊖g∫s4s3ℏ∘(μ−s3s4−s3)Ψ(s4−μ)g(μ)dμ⊖g∫s4s3ℏ∘(s4−μs4−s3)Ψ(μ−s3)g(μ)dμ. |
Proof. Since Ψ:[s3,s4]→R+I is a fuzzy interval-valued ℏ∘-super-quadratic mapping, then by multiplying (2.17) by g(φs4+(1−φ)a) and integrating with respect to φ on [0,1], we get
Ψ∗(s3+s42,δ1)∫10g(φs4+(1−φ)a)dφ≤ℏ∘(12)∫10Ψ∗(φs4+(1−φ)s3,δ1)g(φs4+(1−φ)a)dφ+ℏ∘(12)∫10Ψ∗(φs3+(1−φ)s4,δ1)g(φs4+(1−φ)a)dφ−2ℏ∘(12)∫10Ψ∗(s4−s32|1−2φ|,δ1)g(φs4+(1−φ)a)dφ. |
Since g is a symmetric mapping about s3+s42, then g(φs4+(1−φ)s3)=g((1−φ)s4+φs3). Using this fact in the above inequality, we get
Ψ∗(s3+s42,δ1)∫10g(φs4+(1−φ)a)dφ≤ℏ∘(12)∫10Ψ∗(φs4+(1−φ)s3,δ1)g(φs4+(1−φ)a)dφ+ℏ∘(12)∫10Ψ∗(φs3+(1−φ)s4,δ1)g(φs3+(1−φ)s4)dφ−2ℏ∘(12)∫a0Ψ∘∗(s4−s32|1−2φ|,δ1)g(φs4+(1−φ)a)dφ. |
This implies that
12ℏ∘(12)Ψ∘∗(s3+s42,δ1)∫s4s3g(μ)dμ+∫s4s3Ψ∘∗(|μ−s3+s42|)g(μ)dμ≤∫s4s3Ψ∘∗(μ)g(μ)dμ. |
Similarly, we have
12ℏ∘(12)Ψ∗(s3+s42,δ1)∫s4s3g(μ)dμ+∫s4s3Ψ∗(|μ−s3+s42|,δ1)g(μ)dμ≤∫s4s3Ψ∗(μ,δ1)g(μ)dμ. |
Combining the last two inequalities in the Pseudo ordering relation, we have
[12ℏ∘(12)Ψ∘∗(s3+s42,δ1)∫s4s3g(μ)dμ+∫s4s3Ψ∘∗(|μ−s3+s42|)g(μ)dμ12ℏ∘(12)Ψ∗(s3+s42,δ1)∫s4s3g(μ)dμ+∫s4s3Ψ∗(|μ−s3+s42|,δ1)g(μ)dμ]⪯[∫s4s3Ψ∗(μ,δ1)g(μ)dμ,∫s4s3Ψ∗(μ,δ1)g(μ)dμ]. |
Finally, we can write
12ℏ∘(12)Ψ(s3+s42)∫s4s3g(μ)dμ⊕∫s4s3Ψ(|μ−s3+s42|)g(μ)dμ⪯∫s4s3Ψ(μ)g(μ)dμ. | (2.24) |
Multiplying (2.21) by g(φs4+(1−φ)s3,δ1) and integrating with respect to φ on [0,1], we get
∫10Ψ∗(φs3+(1−φ)s4,δ1)g(φs4+(1−φ)s3)dφ+∫10Ψ∗(φs4+(1−φ)s3,δ1)g(φs4+(1−φ)s3)dφ≤[Ψ∗(s4,δ1)+Ψ∗(s3,δ1)]∫10[ℏ∘(φ)+ℏ∘(1−φ)]g(φs4+(1−φ)s3)dφ−2∫10ℏ∘(φ)Ψ∗((1−φ)|s4−s3|,δ1)g(φs4+(1−φ)s3)dφ−2∫10ℏ∘(1−φ)Ψ∗(φ|s4−s3|,δ1)g(φs4+(1−φ)s3)dφ. |
We can write
∫s4s3Ψ∗(μ,δ1)g(μ)dφ≤[Ψ∗(s4,δ1)+Ψ∗(s3,δ1)]2∫s4s3[ℏ∘(s4−μs4−s3)+ℏ∘(μ−s3s4−s3)]g(μ)dμ−∫s4s3ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1)g(μ)dμ−∫s4s3ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1)g(μ)dμ. | (2.25) |
Also,
∫s4s3Ψ∗(μ,δ1)g(μ)dφ≤[Ψ∗(s4,δ1)+Ψ∗(s3,δ1)]2∫s4s3[ℏ∘(s4−μs4−s3)+ℏ∘(μ−s3s4−s3)]g(μ)dμ−∫s4s3ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1)g(μ)dμ−∫s4s3ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1)g(μ)dμ. | (2.26) |
Combining (2.25) and (2.26), we achieve the required inequality. Hence, the result is completed.
Remark 2.4. By selecting ℏ∘(φ)=φ,φs,φ−s,φ(1−φ) in Theorem 2.6, we get F.N.V Hermite-Hadamard-Fejer's inequalities for different classes of super-quadraticity. If we take g(μ)=1 in Theorem 2.6, we obtain the Hermite-Hadamard's inequality. Also by taking Ψ∗(μ,δ1)=Ψ∗(μ,δ1) and δ1=1 in Theorem 2.6, we obtain the Hermite-Hadamard-Fejer inequality.
Example 2.3. Let Ψ:[s3,s4]=[0,2]→Υδ1 be fuzzy valued super-quadratic mapping, which is defined as
Ψμ(μ1)={μ13μ3,μ1∈[0,3μ3]6μ3−μ13μ3,μ1∈(3μ3,6μ3]. |
and its level cuts are Ψδ1=[3δ1μ3,(6−3δ1)μ3]. Also g:[0,2]→R is a symmetric integrable mapping and is defined as g(μ)={μ,μ∈[0,1]2−μ,μ∈(1,2].. Both mappings fulfill the condition of Theorem 2.6, then
Left Term=[316s43(2−(2−s4)2)δ1,116s43(2−(2−s4)2)(6−3δ1)],Middle Term=[310(s44(5−2s4)−3)δ1+3δ15,110(s44(5−2s4)−3)(6−3δ1)+15(6−3δ1)],Right Term=[34s43(2−(2−s4)2)δ1−(−3s46+12s45−20s43+30s42−24s4+8)(3δ1)60s4,14s43(2−(2−s4)2)(6−3δ1)−(−3s46+12s45−20s43+30s42−24s4+8)(6−3δ1)60s4]. |
To visualize the above formulations, we fix δ1 and vary τ.
Note that L.L.F, L.U.F, M.L.F, M.U.F, R.L.F, and R.U.F are specifying the endpoint mappings of left, middle, and right terms of Theorem 2.6.
(δ1,s4) | L∗(δ1,s4) | L∗(δ1,s4) | M∗(δ1,s4) | M∗(δ1,s4) | R∗(δ1,s4) | R∗(δ1,s4) |
(0.3,1) | 0.05625 | 0.31875 | 0.1800 | 1.0200 | 0.1800 | 1.0200 |
(0.4,1.3) | 0.24881 | 0.995241 | 0.702557 | 2.81023 | 0.785476 | 3.1419 |
(0.5,1.5) | 0.553711 | 1.66113 | 1.36875 | 4.10625 | 1.73229 | 5.19688 |
(0.8,1.8) | 1.71461 | 2.57191 | 3.28719 | 4.93079 | 5.30129 | 7.95193 |
This section contains fractional trapezoidal-like inequalities incorporated with F.N.V-ℏ∘ super-quadratic mappings.
Lemma 3.1. If Ψ∈SSQFNF([s3,s4],ℏ∘), then
Ψ(s3+s42)⪯ℏ∘(12)Ψ(μ)⊕ℏ∘(12)Ψ(s3+s4−μ)⊖g2ℏ∘(12)Ψ(|s3+s42−μ|). |
Proof. Let Ψ:[s3,s4]→R+I be F.N.V ℏ∘-super-quadraticity, and we have
Ψ((1−φ)y+φμ)⪯ℏ∘(1−φ)Ψ(y)⊕ℏ∘(φ)Ψ(μ)⊖gℏ∘(φ)Ψ((1−φ)|y−μ|)⊖gℏ∘(1−φ)Ψ(φ|y−μ|). |
We can break the above inequality as
Ψ∗((1−φ)y+φμ,δ1)<ℏ∘(1−φ)Ψ∗(y,δ1)+ℏ∘(φ)Ψ∗(μ,δ1)−ℏ∘(φ)Ψ∗(|y−(tx2+(1−φ)μ|),δ1)−ℏ∘(1−φ)Ψ∗(|μ−((1−φ)μ+φy)|,δ1), |
and
Ψ∗((1−φ)y+φμ,δ1)<ℏ∘(1−φ)Ψ∗(y,δ1)+ℏ∘(φ)Ψ∗(μ,δ1)−ℏ∘(φ)Ψ∗(|y−(tx2+(1−φ)μ|),δ1)−ℏ∘(1−φ)Ψ∗(|μ−((1−φ)μ+φy)|,δ1). |
Furthermore, we can write:
Ψ∗(s3+s42,δ1)≤ℏ∘(12)Ψ∗(μ,δ1)+ℏ∘(12)Ψ∗(s3+s4−μ,δ1)−ℏ∘(12)Ψ∗(|μ−(s3+s42)|,δ1)−ℏ∘(12)Ψ∗(|s3+s4−μ−(s3+s42)|,δ1)≤ℏ∘(12)Ψ∗(μ,δ1)+ℏ∘(12)Ψ∗(s3+s4−μ,δ1)−2ℏ∘(12)Ψ∗(|(s3+s42−μ)|,δ1). | (3.1) |
Moreover, we have
Ψ∗(s3+s42,δ1)≤ℏ∘(12)Ψ∗(μ,δ1)+ℏ∘(12)Ψ∗(s3+s4−μ,δ1)−2ℏ∘(12)Ψ∗(|(s3+s42−μ)|,δ1). | (3.2) |
Comparing (3.1) and (3.2), we achieve the final result.
Lemma 3.2. If Ψ∈SSQFNF([s3,s4],ℏ∘), then
Ψ(μ)⊕Ψ(s3+s4−μ)⪯Ψ(s3)⊕Ψ(s4)⊖g2ℏ∘(μ−s3s4−s3)Ψ(s4−μ)⊖g2ℏ∘(s4−μs4−s3)Ψ(μ−s3). |
Proof. Assume that Ψ:[s3,s4]→R+I is a F.N.V-ℏ∘ super-quadratic mapping on [s3,s4], then
Ψ∗((1−φ)s4+φs3,δ1)≤ℏ∘(1−φ)Ψ∗(s4,δ1)+ℏ∘(φ)Ψ∗(s3,δ1)−ℏ∘(φ)Ψ∗((1−φ)|s3−(φs3+(1−φ)s4|,δ1)−ℏ∘(1−φ)Ψ∗(φ|s4−(1−φ)s4+φs3|,δ1). |
Substitute μ=((1−φ)s4+φs3), then
Ψ∗(μ,δ1)≤ℏ∘(s4−μs4−s3)Ψ∗(s4,δ1)+μ(⋋∘−s3s4−s3)Ψ∗(s3,δ1)−ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1)−ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1). | (3.3) |
Replacing μ by s3+s4−μ in (3.3), we get
Ψ∗(s3+s4−μ,δ1)≤ℏ∘(s4−μs4−s3)Ψ∗(s4,δ1)+ℏ∘(μ−s3s4−s3)Ψ∗(s3,δ1)−ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1)−ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1). | (3.4) |
Adding (3.3) and (3.4), we have
Ψ∗(μ,δ1)+Ψ∗(s3+s4−μ,δ1)≤Ψ∗(s3,δ1)+Ψ∗(s4,δ1)−2ℏ∘(μ−s3s4−s3,δ1)Ψ∗(s4−μ,δ1)−2ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1). | (3.5) |
Similarly,
Ψ∗(μ)+Ψ∗(s3+s4−μ,δ1)≤Ψ∗(s3,δ1)+Ψ∗(s4,δ1)−2ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1)−2ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1). | (3.6) |
Comparison of (3.5) and (3.6) through Pseudo ordering relation, we get our final outcome.
Theorem 3.1. If Ψ∈SSQFNF([s3,s4],ℏ∘), then
1ℏ∘(12)Ψ(s3+s42)⊕τ(s4−s3)τ∫s4s3Ψ(|s3+s42−μ|)((s4−μ)τ−1+(μ−s3)τ−1)dμ⪯Γ(1+τ)(s4−s3)τ(Jτs3+Ψ(s4)⊕Jτs4−Ψ(s3))⪯Ψ(s3)⊕Ψ(s4)⊖gτ(s4−s3)τ∫s4s3(ℏ∘(μ−s3s4−s3)Ψ(s4−μ)⊕ℏ∘(s4−μs4−s3)Ψ(μ−s3)) | (3.7) |
((s4−μ)τ−1+(μ−s3)τ−1)dμ. | (3.8) |
Proof. Since Ψ is an F.N.V super-quadratic mapping, then
Ψ∗(s3+s42,δ1)=Ψ∗(s3+s42,δ1)τ2(s4−s3)τ∫s4s3((s4−μ)τ−1+(μ−s3)τ−1)dμ=τ(s4−s3)τ∫s3+s42s3Ψ∗(s3+s42,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ. |
Through Lemma 3.1, we can interpret
Ψ∗(s3+s42,δ1)≤τ(s4−s3)τ∫s3+s42s3[ℏ∘(12)Ψ∗(μ,δ1)+ℏ∘(12)Ψ∗(s3+s4−μ,δ1)−2ℏ∘(12)Ψ∗(|s3+s42−μ|,δ1)((s4−μ)τ−1+(μ−s3)τ−1)]dμ. | (3.9) |
From (3.9), we have
1ℏ∘(12)Ψ∗(s3+s42,δ1)≤τ(s4−s3)τ∫s3+s42s3[Ψ∗(μ,δ1)+Ψ∗(s3+s4−μ,δ1)−2Ψ∗(|s3+s42−μ|,δ1)((s4−μ)τ−1+(μ−s3)τ−1)]dμ=τ(s4−s3)τ[∫s3+s42s3Ψ∗(μ,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ+∫s4s3+s42Ψ∗(μ,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ−∫s3+s42s3Ψ∗(|s3+s42−μ|,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ−∫s4s3+s42Ψ∗(|s3+s42−μ|,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ]=τ(s4−s3)τ[∫s4s3Ψ∗(μ,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ−∫s4s3Ψ∗(|s3+s42−μ|,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ]=Γ(τ+1)(s4−s3)τ[Jτs3+Ψ∗(s4,δ1)+Jτs4−Ψ∗(s3,δ1)]−τ(s4−s3)τ∫s4s3Ψ∗(|s3+s42−μ|,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ. | (3.10) |
Also,
1ℏ∘(12)Ψ∗(s3+s42,δ1)≤Γ(τ+1)(s4−s3)τ[Jτs3+Ψ∗(s4,δ1)+Jτs4−Ψ∗(s3,δ1)]−τ(s4−s3)τ∫s4s3Ψ∗(|s3+s42−μ|,δ1)((s4−μ)τ−1+(μ−s3)τ−1)dμ. | (3.11) |
Combining (3.10) and (3.11) via pseudo order relation, we acquire the first inequality of (3.7). From Lemma 3.2, we can write
Γ(1+τ)(s4−s3)τ(Jτs3+Ψ∗(s4,δ1)+Jτs4−Ψ∗(s3,δ1))=τ(s4−s3)τ∫τ1+ς12s3[Ψ∗(μ,δ1)+Ψ∗(s3+s4−μ,δ1)]((s4−μ)τ−1+(μ−s3)τ−1)dμ≤τ(s4−s3)τ∫s3+s42s3(Ψ∗(s3,δ1)+Ψ∗(s4,δ1)−2ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1)−2ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1))((s4−μ)τ−1+(μ−s3)τ−1)dμ=Ψ∗(s3)+Ψ∗(s4)−τ(s4−s3)τ∫s4s3(ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ)+ℏ∘(s4−μs4−s3)Ψ∗(μ−s3))((s4−μ)τ−1+(μ−s3)τ−1)dμ. | (3.12) |
Similarly, we have
Γ(1+τ)(s4−s3)τ[Jτs3+Ψ∗(s4,δ1)+Jτs4−Ψ∗(s3,δ1)]≤Ψ∗(s3,δ1)+Ψ∗(s4,δ1)−τ(s4−s3)τ∫s4s3(ℏ∘(μ−s3s4−s3)Ψ∗(s4−μ,δ1)+ℏ∘(s4−μs4−s3)Ψ∗(μ−s3,δ1))((s4−μ)τ−1+(μ−s3)τ−1)dμ. | (3.13) |
Comparing (3.12) and (3.13) through Pseudo ordering relation, we achieve our desired result.
Remark 3.1. For τ=1, the Theorem 3.1 transformed into Theorem 2.5. By selecting ℏ∘(φ)=φ,φs,φ−s,φ(1−φ) in Theorem 3.1, we get various fractional F.N.V Hermite-Hadamard's inequalities for different classes of super-quadraticity. Also by taking Ψ∗(μ,δ1)=Ψ∗(μ,δ1) and δ1=1 in Theorem 3.1, we obtain the fractional Hermite-Hadamard's inequality for ℏ∘–super-quadratic mappings, which is given in [59].
Example 3.1. Let Ψ:[s3,s4]=[0,2]→Υδ1 be a fuzzy valued super-quadratic mapping which is defined as
Ψμ(μ1)={μ13μ3,μ1∈[0,3μ3]6μ3−μ13μ3,μ1∈(3μ3,6μ3]. |
and its level cuts are Ψδ1=[3δ1μ3,(6−3δ1)μ3]. It fulfills the condition of Theorem 3.1, then
Left Term=[(2(2ττ3+5 2ττ−3 2τ+1+12))(3τδ1)2τ(τ(τ+1)(τ+2)(τ+3)),+6δ1(2(2ττ3+5 2ττ−3 2τ+1+12))(τ(6−3δ1))2τ(τ(τ+1)(τ+2)(τ+3))+(12−6δ1)],Middle Term=[(3τδ1)(2τ+3(1τ+3+6Γ(τ)Γ(τ+4)))2τ,(τ(6−3δ1))(2τ+3(1τ+3+6Γ(τ)Γ(τ+4)))2τ],Right Term=[24δ1−(2τ+5(τ(τ+3)+8))(3τδ1)2τ+1((τ+1)(τ+2)(τ+3)(τ+4)),(48−24δ1)−(2τ+5(τ(τ+3)+8))(τ(6−3δ1))2τ+1((τ+1)(τ+2)(τ+3)(τ+4))]. |
To visualize the above formulations, we fix δ1 and vary τ.
Note that L.L.F, L.U.F, M.L.F, M.U.F, R.L.F, and R.U.F are specifying the endpoint mappings of left, middle, and right terms of Theorem 3.1.
(δ1,s4) | L∗(δ1,s4) | L∗(δ1,s4) | M∗(δ1,s4) | M∗(δ1,s4) | R∗(δ1,s4) | R∗(δ1,s4) |
(0.3,0.5) | 2.50084 | 14.1714 | 4.32 | 24.48 | 6.01143 | 34.0648 |
(0.4,1) | 3.0000 | 12.0000 | 4.8000 | 19.2000 | 5.7600 | 30.7200 |
(0.5,1.5) | 3.69468 | 11.084 | 5.82857 | 17.4857 | 9.54805 | 28.6442 |
(0.8,2) | 6.0000 | 9.0000 | 9.6000 | 14.4000 | 15.3600 | 23.0400 |
Now, we prove the weighted Hermite-Hadamard's inequality for symmetric mappings.
Theorem 3.2. If Ψ∈SSQFNF([s3,s4],ℏ∘) and g:[s3,s4]→R is a nonnegative integrable symmetric mapping about s3+s42, then
12ℏ∘(12)Ψ(s3+s42)Γ(τ+1)(s4−s3)τ[Jτs3+g(s4)+Jτs4−g(s3)]⊕τ(s4−s3)τ∫s4s3[(s4−μ)τ−1+(μ−s3)τ−1]Ψ(|μ−s3+s42|)g(μ)dμ⪯Γ(τ+1)(s4−s3)τ[Jτs3+Ψg(s4)⊕Jτs4−Ψg(s3)]⪯(Ψ(s3)⊕Ψ(s4))⋅τ(s4−s3)τ∫s4s3[(s4−μ)τ−1+(μ−s3)τ−1][ℏ∘(s4−μs4−s3)+ℏ∘(μ−s3s4−s3)]g(μ)dμ⊖gτ(s4−s3)τ∫s4s3[(s4−μ)τ−1+(μ−s3)τ−1][ℏ∘(s4−μs4−s3)Ψ(μ−s3)⊕ℏ∘(μ−s3s4−s3)Ψ(s4−μ)]g(μ)dμ. |
Proof. Since Ψ:[s3,s4]→R+I is a fuzzy interval-valued ℏ∘-super-quadratic mapping, then by multiplying (2.17) by φτ−1g(φs4+(1−φ)a) and applying integration with respect to φ on [0,1], we get
1ℏ∘(12)Ψ∗(s3+s42,δ1)∫10φτ−1g(φs4+(1−φ)a)dφ≤∫10φτ−1Ψ∗(φs4+(1−φ)s3,δ1)g(φs4+(1−φ)a)dφ+∫10φτ−1Ψ∗(φs3+(1−φ)s4,δ1)g(φs4+(1−φ)a)dφ−2∫10φτ−1Ψ∗(s4−s32|1−2φ|,δ1)g(φs4+(1−φ)a)dφ. |
Since g is symmetric mapping about s3+s42, then g(φs4+(1−φ)s3)=g((1−φ)s4+φs3). Using this fact in the above inequality, we get
12ℏ∘(12)Ψ∗(s3+s42,δ1)∫10φτ−1[g(φs4+(1−φ)a)+g(φs3+(1−φ)s4)]dφ≤∫10φτ−1Ψ∗(φs4+(1−φ)s3,δ1)g(φs4+(1−φ)a)dφ+∫10φτ−1Ψ∗(φs3+(1−φ)s4,δ1)g(φs3+(1−φ)s4)dφ−∫10φτ−1Ψ∗(s4−s32|1−2φ|,δ1)[g(φs4+(1−φ)a)+g(φa+(1−φ)s4)]dφ. |
After some simple computations, we have the following inequality
12ℏ∘(12)Ψ∗(s3+s42,δ1)Γ(τ+1)(s4−s3)τ[Jτs3+g(s4)+Jτs4−g(s3)]≤Γ(τ+1)(s4−s3)τ[Jτs3+Ψ∗(s4,δ1)g(s4)+Jτs4−Ψ∗(s3,δ1)g(s3)]−τ(s4−s3)τ∫s4s3[(s4−μ)τ−1+(μ−s3)τ−1]Ψ∗(|μ−s3+s42|,δ1)g(μ)dμ. | (3.14) |
By following a similar procedure, we get
\begin{align} &\frac{1}{2\hslash_{\circ}\left(\frac{1}{2}\right)}{\Psi}^{*}\left(\frac{{s_{3}}+{s_{4}}}{2}, \delta^{1}\right)\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}g({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}g({s_{3}})\right]\\ &\leq\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}^{*}({s_{4}}, \delta^{1}){g}({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}{\Psi}^{*}({s_{3}}, \delta^{1})g({s_{3}})\right]\\ &\quad-\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}\left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right]{\Psi}^{*}\left(\left|{\mu}-\frac{{s_{3}}+{s_{4}}}{2}\right|, \delta^{1}\right){g}({\mu})\mathrm{d}{\mu}. \end{align} | (3.15) |
Implementing the pseudo ordering relation on (3.14) and (3.15) results in the following relation
\begin{align} &\frac{1}{2\hslash_{\circ}\left(\frac{1}{2}\right)}{\Psi}\left(\frac{{s_{3}}+{s_{4}}}{2}\right)\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}g({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}g({s_{3}})\right]\\ &\quad{\oplus}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}\left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right] {\Psi}\left(\left|{\mu}-\frac{{s_{3}}+{s_{4}}}{2}\right|\right){g}({\mu})\mathrm{d}{\mu}\\ &\preceq\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}{g}({s_{4}}){\oplus} J_{{s_{4}}^{-}}^{\tau}{\Psi}{g}({s_{3}})\right]. \end{align} | (3.16) |
Now, we establish our second inequality. Multiplying (2.21) by {{{\varphi}}}^{\tau-1}{g}({{{\varphi}}}{s_{4}}+(1-{{{\varphi}}}){s_{3}}) and integrating with respect to {{{\varphi}}} on [0, 1] , we get
\begin{align*} &\int_0^1 {{{\varphi}}}^{\tau-1}{\Psi}_{*}({{{\varphi}}}{s_{3}}+(1-{{{\varphi}}}){s_{4}}, \delta^{1}){g}({{{\varphi}}}{s_{4}}+(1-{{{\varphi}}}){s_{3}})\mathrm{d}{{{\varphi}}}\\ &\, \, +\int_0^1{{{\varphi}}}^{\tau-1}{\Psi}_{*}({{{\varphi}}}{s_{4}}+(1-{{{\varphi}}}){s_{3}}, \delta^{1}) {g}({{{\varphi}}}{s_{4}}+(1-{{{\varphi}}}){s_{3}})\mathrm{d}{{{\varphi}}}\nonumber\\ &\leq [{\Psi}_{*}({s_{4}}, \delta^{1})+{\Psi}_{*}({s_{3}}, \delta^{1})]\int_0^1{{{\varphi}}}^{\tau-1}[{\hslash_{\circ}}({{\varphi}})+\hslash_{\circ}(1-{{\varphi}})]{g}({{{\varphi}}}{s_{4}}+(1-{{{\varphi}}}){s_{3}})\mathrm{d}{{{\varphi}}}\nonumber\\ &-2\int_0^1{{{\varphi}}}^{\tau-1}{\hslash_{\circ}}({{\varphi}}){\Psi}_{*}((1-{{{\varphi}}})|{s_{4}}-{s_{3}}|, \delta^{1}) {g}({{{\varphi}}}{s_{4}}+(1-{{{\varphi}}}){s_{3}})\mathrm{d}{{{\varphi}}}\nonumber\\ &-2\int_0^1 {{{\varphi}}}^{\tau-1}{\hslash_{\circ}}(1-{{{\varphi}}}){\Psi}_{*}({{{\varphi}}}|{s_{4}}-{s_{3}}|, \delta^{1}){g}({{{\varphi}}}{s_{4}}+(1-{{{\varphi}}}){s_{3}})\mathrm{d}{{{\varphi}}}. \end{align*} |
After performing some computations, we get
\begin{align} &\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}_{*}({s_{4}}, \delta^{1}){g}({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}{\Psi}_{*}({s_{3}}, \delta^{1})g({s_{3}})\right]\\ &\leq ({{\Psi}_{*}({s_{3}}, \delta^{1})+{\Psi}_{*}({s_{4}}, \delta^{1})})\cdot\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}} \\ &\times\left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right]\left[\hslash_{\circ}\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right)+\hslash_{\circ}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right)\right]{g}({\mu})\mathrm{d}{\mu}\\ &\quad-\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}]\\ &\times \left[\hslash_{\circ}\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right){\Psi}_{*}({\mu}-{s_{3}}, \delta^{1})+\hslash_{\circ}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right){\Psi}_{*}({s_{4}}-{\mu}, \delta^{1})\right]{g}({\mu})\mathrm{d}{\mu}. \end{align} | (3.17) |
Similarly, we have
\begin{align} &\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}^{*}({s_{4}}, \delta^{1}){g}({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}{\Psi}^{*}({s_{3}}, \delta^{1})g({s_{3}})\right]\\ &\leq ({\Psi}^{*}({s_{3}}, \delta^{1})+{\Psi}^{*}({s_{4}}, \delta^{1}))\cdot\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}} \\ &\, \, \times\left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right]\left[\hslash_{\circ}\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right)+\hslash_{\circ}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right)\right]{g}({\mu})\mathrm{d}{\mu}\\ &\quad-\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}]\\ &\, \, \times\left[\hslash_{\circ}\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right){\Psi}^{*}({\mu}-{s_{3}}, \delta^{1})+\hslash_{\circ}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right){\Psi}^{*}({s_{4}}-{\mu}, \delta^{1})\right]{g}({\mu})\mathrm{d}{\mu}. \end{align} | (3.18) |
Inequalities (3.17) and (3.18) produce the following relation
\begin{align} &\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}{g}({s_{4}}){\oplus} J_{{s_{4}}^{-}}^{\tau}{\Psi}{g}({s_{3}})\right]\\ &\preceq ({\Psi}({s_{3}}){\oplus}{\Psi}({s_{4}}))\cdot\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}} \left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right]\left[\hslash_{\circ}\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right) +\hslash_{\circ}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right)\right]{g}({\mu})\mathrm{d}{\mu}\\ &\quad{{\ominus}_{g}}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}] \left[\hslash_{\circ}\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right){\Psi}({\mu}-{s_{3}}){\oplus}\hslash_{\circ}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right){\Psi}({s_{4}}-{\mu})\right]{g}({\mu})\mathrm{d}{\mu}. \end{align} | (3.19) |
Finally, bridging inequalities (3.16) and (3.19), we achieve the Hermite-Hadmard-Fejer inequality.
Now we discuss some special scenarios of Theorem 3.2.
● By setting \hslash_{\circ}({\varphi}) = {\varphi} in Theorem 3.2, we have
\begin{align*} &{\Psi}\left(\frac{{s_{3}}+{s_{4}}}{2}\right)\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}g({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}g({s_{3}})\right]\nonumber\\ &\quad{\oplus}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}\left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right] {\Psi}\left(\left|{\mu}-\frac{{s_{3}}+{s_{4}}}{2}\right|\right){g}({\mu})\mathrm{d}{\mu}\nonumber\\ &\preceq\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}{g}({s_{4}}){\oplus} J_{{s_{4}}^{-}}^{\tau}{\Psi}{g}({s_{3}})\right]\nonumber\\ &\preceq ({\Psi}({s_{3}}){\oplus}{\Psi}({s_{4}}))\cdot\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}} \left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right]{g}({\mu})\mathrm{d}{\mu}\nonumber\\ &\quad{{\ominus}_{g}}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}] \left[\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right){\Psi}({\mu}-{s_{3}}){\oplus}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right) {\Psi}({s_{4}}-{\mu})\right]{g}({\mu})\mathrm{d}{\mu}. \end{align*} |
● By setting \hslash_{\circ}({\varphi}) = {\varphi}^s in Theorem 3.2, we have
\begin{align*} &2^{s-1}{\Psi}\left(\frac{{s_{3}}+{s_{4}}}{2}\right)\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}g({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}g({s_{3}})\right]\nonumber\\ &\quad{\oplus}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}\left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right] {\Psi}\left(\left|{\mu}-\frac{{s_{3}}+{s_{4}}}{2}\right|\right){g}({\mu})\mathrm{d}{\mu}\nonumber\\ &\preceq\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}{g}({s_{4}}){\oplus} J_{{s_{4}}^{-}}^{\tau}{\Psi}{g}({s_{3}})\right]\nonumber\\ &\preceq ({\Psi}({s_{3}}){\oplus}{\Psi}({s_{4}}))\cdot\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}} \left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right]\left[\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right)^s +\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right)^s\right]{g}({\mu})\mathrm{d}{\mu}\nonumber\\ &\quad{{\ominus}_{g}}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}] \left[\left(\frac{{s_{4}}-{\mu}}{{s_{4}}-{s_{3}}}\right)^s{\Psi}({\mu}-{s_{3}}){\oplus}\left(\frac{{\mu}-{s_{3}}}{{s_{4}}-{s_{3}}}\right)^s {\Psi}({s_{4}}-{\mu})\right]{g}({\mu})\mathrm{d}{\mu}. \end{align*} |
● By setting \hslash_{\circ}({\varphi}) = 1 in Theorem 3.2, we have
\begin{align*} &\frac{1}{2\hslash_{\circ}\left(\frac{1}{2}\right)}{\Psi}\left(\frac{{s_{3}}+{s_{4}}}{2}\right)\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}g({s_{4}})+ J_{{s_{4}}^{-}}^{\tau}g({s_{3}})\right]\nonumber\\ &\quad{\oplus}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}\left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right] {\Psi}\left(\left|{\mu}-\frac{{s_{3}}+{s_{4}}}{2}\right|\right){g}({\mu})\mathrm{d}{\mu}\nonumber\\ &\preceq\frac{\Gamma(\tau+1)}{({s_{4}}-{s_{3}})^{\tau}}\left[J_{{s_{3}}^{+}}^{\tau}{\Psi}{g}({s_{4}}){\oplus} J_{{s_{4}}^{-}}^{\tau}{\Psi}{g}({s_{3}})\right]\nonumber\\ &\preceq 2({\Psi}({s_{3}}){\oplus}{\Psi}({s_{4}}))\cdot\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}} \left[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}\right]{g}({\mu})\mathrm{d}{\mu}\nonumber\\ &\quad{{\ominus}_{g}}\frac{\tau}{({s_{4}}-{s_{3}})^{\tau}}\int_{s_{3}}^{s_{4}}[({s_{4}}-{\mu})^{\tau-1}+({\mu}-{s_{3}})^{\tau-1}] \left[{\Psi}({\mu}-{s_{3}}){\oplus}{\Psi}({s_{4}}-{\mu})\right]{g}({\mu})\mathrm{d}{\mu}. \end{align*} |
Remark 3.2. For \tau = 1 , the Theorem 3.2 transformed into Theorem 2.6. By selecting \hslash_{\circ}({\varphi}) = {\varphi}^{-s}, {\varphi}(1-{\varphi}), \exp({{{\varphi}}})-1 in Theorem 3.1, we get various fractional \verb"F".\verb"N".\verb"V" Hermite-Hadamard-Fejer's inequalities for different classes of super-quadraticity. Also by taking \Psi_{*}({\mu}, \delta^{1}) = \Psi_{*}({\mu}, \delta^{1}) and \delta^{1} = 1 in Theorem 3.2, we obtain the fractional Hermite-Hadamard-Fejer's inequality for {\hslash_{\circ}} –super-quadratic mappings.
Example 3.2. Let {\Psi}:[{s_{3}}, \, {s_{4}}] = [0, 2]\rightarrow \Upsilon_{\delta^{1}} be a fuzzy valued super-quadratic mapping, which is defined as
\begin{align*} {\Psi}_{{{\mu}}}({\mu_{1}}) = \left\{ \begin{array}{ll} \frac{{\mu_{1}}}{3{{\mu}}^3}, \quad {\mu_{1}}\in [0, 3{{\mu}}^3]\\ \frac{6{{\mu}}^3-{\mu_{1}}}{3{{\mu}}^3}, \quad {\mu_{1}}\in(3{{\mu}}^3, 6{{\mu}}^3]. \end{array} \right. \end{align*} |
and its level cuts are {\Psi}_{{\delta^{1}}} = \left[3{\delta^{1}} {{\mu}}^3, \, (6-3 {\delta^{1}}){{\mu}}^3 \right] . Also g:[0, 2]\rightarrow \mathbb{R} is a symmetric integrable mapping and is defined as g({\mu}) = ({\mu}-1)^2 . Both mappings fulfill the condition of Theorem 3.2, then
\begin{align*} {\mathit{\hbox{Left Term}}}& = \left[\frac{\left(2 \left(2^{\tau } (\tau -1) (\tau (\tau +1) (\tau (\tau +5)+26)+120)+240\right)\right) (3 \delta^{1} )}{2^{\tau } ((\tau +1) (\tau +2) (\tau +3) (\tau +4) (\tau +5))}, \right.\nonumber\\ &\left.\quad\frac{\left(2 \left(2^{\tau } (\tau -1) (\tau (\tau +1) (\tau (\tau +5)+26)+120)+240\right)\right) (6-3 \delta^{1} )}{2^{\tau } ((\tau +1) (\tau +2) (\tau +3) (\tau +4) (\tau +5))}\right], \nonumber\\ {\mathit{\hbox{Middle Term}}}& = \left[\frac{\left(2^{\tau +3} (\tau (\tau (\tau (\tau +3)+10)-10)+24)\right) (3 \delta^{1} )}{2^{\tau } ((\tau +1) (\tau +2) (\tau +3) (\tau +4))}, \, \frac{\left(2^{\tau +3} (\tau (\tau (\tau (\tau +3)+10)-10)+24)\right) (6-3 \delta^{1} )}{2^{\tau } ((\tau +1) (\tau +2) (\tau +3) (\tau +4))}\right], \nonumber\\ {\mathit{\hbox{Right Term}}}& = \left[\frac{\left(2^{\tau +1} \left(\tau ^6+9 \tau ^5+55 \tau ^4+75 \tau ^3+304 \tau ^2-444 \tau +720\right)\right) (21 \delta^{1} )}{2^{\tau } (\tau (\tau +1) (\tau +2) (\tau +3) (\tau +4) (\tau +5) (\tau +6))}, \right.\nonumber\\ &\left.\quad\frac{\left(2^{\tau +1} \left(\tau ^6+9 \tau ^5+55 \tau ^4+75 \tau ^3+304 \tau ^2-444 \tau +720\right)\right) (48-21 \delta^{1} )}{2^{\tau } (\tau (\tau +1) (\tau +2) (\tau +3) (\tau +4) (\tau +5) (\tau +6))}\right]. \end{align*} |
To visualize the above formulations, we fix \delta^{1} and vary \tau .
Note that L.L.F, L.U.F, M.L.F, M.U.F, R.L.F, and R.U.F are specifying the endpoint mappings of left, middle, and right terms of Theorem 3.2.
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 0.5) | 0.548152 | 3.1062 | 2.67429 | 15.1543 | 7.00699 | 46.3796 |
(0.4, 1) | 0.4000 | 1.6000 | 2.2400 | 8.9600 | 2.4000 | 9.6000 |
(0.5, 1.5) | 0.451568 | 1.3547 | 2.58701 | 7.76104 | 2.68392 | 8.05175 |
(0.8, 2) | 0.8000 | 1.2000 | 4.4800 | 6.7200 | 4.8000 | 7.2000 |
Now, we give some applications of our proposed results. First, we recall the binary means of positive real numbers.
(1) The arithmetic mean:
\begin{equation*} A({{{s_{3}}}}, {{{s_{4}}}}) = \frac{{{{s_{3}}}}+{{{s_{4}}}}}{2}, \end{equation*} |
(2) The generalized \log -mean:
\begin{equation*} L_{r}({{{s_{3}}}}, {{{s_{4}}}}) = \Bigg[\frac{{{{s_{4}}}}^{r+1}-{{{s_{3}}}}^{r+1}}{(r+1)({{{s_{4}}}}-{{{s_{3}}}})}\Bigg]^{\frac{1}{r}};\;\;r\in \Re\setminus \{-1, 0\}. \end{equation*} |
Proposition 4.1. For {s_{3}}, {s_{4}}\geq0 , then
\begin{align*} &\left[3\delta^{1}, (6-3\delta^{1})\right]\left[A^3({s_{3}}, {s_{4}})+\frac{({s_{4}}-{s_{3}})^4}{2^5}\right]\preceq\left[3\delta^{1}, (6-3\delta^{1})\right]L_{3}^{3}({s_{3}}, {s_{4}})\nonumber\\ &\preceq \left[3\delta^{1}, (6-3\delta^{1})\right]A({s_{3}}^3, {s_{4}}^3)\ominus_{g}\left[3\delta^{1}, (6-3\delta^{1})\right]\frac{2({s_{4}}-{s_{3}})^3}{20}. \end{align*} |
Proof. This result is acquired by applying {\Psi}({\mu}) = [3\delta^{1} {{\mu}}^3, (6-3\delta^{1}){{\mu}}^3] on Theorem 2.5.
Note that Proposition 4.1 provides the bounds for generalized logarithmic mean. Next, we give the refinements of the triangular inequality.
Proposition 4.2. Let \{{{\mu}}_{{\nu}}\}\in [{s}_{3}, {s}_{4}] be an increasing positive sequence. Then from Theorem 2.2, we have
\begin{align*} \left|\sum\limits_{{\nu} = 1}^{{\vartheta}}{{\mu}}_{{\nu}}\right|\leq {\vartheta}^2 \sum\limits_{{\nu} = 1}^{{\vartheta}}|{{\mu}}_{{\nu}}|- {\vartheta}^2 \sum\limits_{{\nu} = 1}^{{\vartheta}}\left|{{\mu}}_{{\nu}}-\frac{1}{{\vartheta}}\sum\limits_{j = 1}^{{\vartheta}}{{\mu}}_{j}\right|, \end{align*} |
and
\begin{align*} \|\sum\limits_{{\nu} = 1}^{{\vartheta}}{{\mu}}_{{\nu}}\|\leq {\vartheta}^2 \sum\limits_{{\nu} = 1}^{{\vartheta}}\|{{\mu}}_{{\nu}}\|- {\vartheta}^2 \sum\limits_{{\nu} = 1}^{{\vartheta}}\|{{\mu}}_{{\nu}}-\frac{1}{{\vartheta}}\sum\limits_{j = 1}^{{\vartheta}}{{\mu}}_{j}\|. \end{align*} |
Proof. Since {\Psi}({{\mu}}) = |{{\mu}}| and {\Psi}({\mu}) = \|{\mu}\| are \hslash_{\circ} super-quadratic mappings, by applying these mappings on Theorem 2.2 by taking \hslash_{\circ}({{\mu}}) = \frac{1}{{{\mu}}} , w_{{\nu}} = 1 , \Psi_{*}({{\mu}}, \delta^{1}) = \Psi^{*}({{\mu}}, \delta^{1}) , and \delta^{1} = 1 , we acquire our desired inequalities.
Proposition 4.3. Let \{{{\mu}}_{{\nu}}\}\in [{s}_{3}, {s}_{4}] be an increasing positive sequence. Then, from Theorem 2.2, we have
\begin{align*} \left|\sum\limits_{{\nu} = 1}^{{\vartheta}}{{\mu}}_{{\nu}}\right|^r\leq \sum\limits_{{\nu} = 1}^{{\vartheta}}|{{\mu}}_{{\nu}}|^r- \sum\limits_{{\nu} = 1}^{{\vartheta}}\left|{{\mu}}_{{\nu}}-\frac{1}{{\vartheta}}\sum\limits_{j = 1}^{{\vartheta}}{{\mu}}_{j}\right|^r. \end{align*} |
Particularly, we have
\begin{align*} \left|{{\mu}}_{1}+{{\mu}}_{2}\right|^r\leq |{{\mu}}_{1}|^r+|{{\mu}}_{2}|^r- 2^{1-r}|{{\mu}}_{1}-{{\mu}}_{2}|^r. \end{align*} |
Proof. Since {\Psi}({{\mu}}) = |{{\mu}}|^r where r\geq1 is \hslash_{\circ} super-quadratic mapping, by applying {\Psi}({{\mu}}) on Theorem 2.2, and taking \hslash_{\circ}({{\mu}}) = {{{\mu}}} , w_{{\nu}} = 1 , \Psi_{*}({{\mu}}, \delta^{1}) = \Psi^{*}({{\mu}}, \delta^{1}) , and \delta^{1} = 1 , we acquire our desired inequalities.
Proposition 4.4. Let \{{{\mu}}_{{\nu}}\}\in [{s}_{3}, {s}_{4}] be an increasing positive sequence. Then, from Theorem 2.4, we have
\begin{align*} \sum\limits_{{\nu} = 1}^{{\vartheta}}|{{\mu}}_{{\nu}}|^r &\leq {\vartheta} [|{{\mu}}_{1}|^r+|{{\mu}}_{{\vartheta}}|^r]-{\vartheta}\left|\frac{{{\mu}}_{1}+{{\mu}}_{{\vartheta}}-{\vartheta}^{-1}\sum\limits_{{\nu} = 1}^{{\vartheta}}{{\mu}}_{j}}{{\vartheta}}\right|^r \\ &\, \, -\sum\limits_{{\nu} = 1}^{{\vartheta}}[|{{\mu}}_{{\nu}}-{{\mu}}_{1}|^r+|{{\mu}}_{{\vartheta}}-{{\mu}}_{{\nu}}|^r]- \sum\limits_{{\nu} = 1}^{{\vartheta}}\left|{{\mu}}_{{\nu}}-\frac{1}{{\vartheta}}\sum\limits_{j = 1}^{{\vartheta}}{{\mu}}_{j}\right|^r, \end{align*} |
and
\begin{align*} \sum\limits_{{\nu} = 1}^{{\vartheta}}\|{{\mu}}_{{\nu}}\|^r &\leq {\vartheta} [\|{{\mu}}_{1}\|^r+\|{{\mu}}_{{\vartheta}}\|^r]-{\vartheta}\left\|\frac{{{\mu}}_{1}+{{\mu}}_{{\vartheta}}-{\vartheta}^{-1}\sum\limits_{{\nu} = 1}^{{\vartheta}}{{\mu}}_{j}}{{\vartheta}}\right\|^r \\ &\, \, -\sum\limits_{{\nu} = 1}^{{\vartheta}}[\|{{\mu}}_{{\nu}}-{{\mu}}_{1}\|^r+\|{{\mu}}_{{\vartheta}}-{{\mu}}_{{\nu}}\|^r]- \sum\limits_{{\nu} = 1}^{{\vartheta}}\left\|{{\mu}}_{{\nu}}-\frac{1}{{\vartheta}}\sum\limits_{j = 1}^{{\vartheta}}{{\mu}}_{j}\right\|^r. \end{align*} |
Proof. Since {\Psi}({{\mu}}) = |{{\mu}}|^r and {\Psi}({\mu}) = \|{\mu}\|^r for r\geq1 are \hslash_{\circ} super-quadratic mappings, by applying these mappings on Theorem 2.4, and taking \hslash_{\circ}({\varphi}) = {\varphi} , w_{{\nu}} = 1 , \Psi_{*}({{\mu}}, \delta^{1}) = \Psi^{*}({{\mu}}, \delta^{1}) , and \delta^{1} = 1 , we acquire our desired inequalities.
The theory of inequalities is the main source used to investigate the various mapping classes. We've talked about the idea of a fuzzy number-valued super-quadratic mapping that works with the LR partially ordered ranking relation, \delta^{1} -levels mappings, and a nonnegative mapping \hslash_{\circ} . This class is novel and new in literature; it reduces to several mapping classes of super-quadraticity, like fuzzy-valued super-quadratic mappings, fuzzy-valued s super-quadratics, fuzzy-valued Godunova s super-quadratic mappings, and many more. Also, results obtained from this class of mappings refined classical inequalities. We have developed several Jensen's and Hadamard's-like inequalities pertaining to this class of mappings. This study is significant due to various aspects because the first-time idea of super-quadratic mapping in a fuzzy environment is investigated. The proposed definition is novel due to its unified nature and strengthening the properties of the class of fuzzy numbered valued mappings. Also, this is the first study exploring the fuzzy numbered valued Hermite-Hadamard-Fejer type inequalities for strong convexity. The obtained results provides the better approximation as compared to existing results. In the future, we will try to address these inequalities by leveraging the concepts of generalized fractional operators, quantum, and symmetric quantum calculus to analyze the bounds for error inequalities like the Ostrowski inequality, Simpson's inequality, Bullen's and Boole's inequality, etc. By utilizing this class of mappings, Hausdorff-Pompeiu distance, and generalized differentiability of mappings based on Hukuhara differences as well as adopting a similar technique, one can introduce more general function classes and their applicable aspects in different domains. We will also talk about fuzzy-valued inequalities for totally ordered fuzzy-valued super-quadratic mappings and how they can be used in optimization. We hope the strategy, techniques, and ideas developed in our study will create new sights for research.
Muhammad Zakria Javed: Conceptualization, Methodology, Software, Validation, Formal analysis, Investigation, Writing-original draft, Writing-review and editing, Visualization; Muhammad Uzair Awan: Conceptualization, Methodology, Software, Validation, Formal analysis, Investigation, Writing-review and editing, Visualization, Supervision; Loredana Ciurdariu: Conceptualization, Methodology, Software, Validation, Formal analysis, Investigation, Writing-review and editing, Visualization; Omar Mutab Alsalami: Conceptualization, Software, Validation, Formal analysis, Investigation, Writing-review and editing, Visualization. All authors have read and agreed for the publication of this manuscript.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This research was funded by TAIF University, TAIF, Saudi Arabia, Project No. (TU-DSPP-2024-258).
The authors are thankful to the editor and anonymous reviewers for their valuable comments and suggestions. The authors extend their appreciation to TAIF University, Saudi Arabia, for supporting this work through project number (TU-DSPP-2024-258).
The authors declare no conflicts of interest.
[1] | AA VV (1951) Il quartiere sperimentale della Triennale di Milano (QT8), In Metron, a Ⅶ, settembre-dicembre, 43: 56-61. |
[2] | AA VV (1946) Un quartiere modello, In Metron, a Ⅱ, novembre-dicembre, 11: 76-77. |
[3] | Bottoni P (1941) Una nuova previdenza sociale: l'assicurazione sociale per la casa, In Domus, agosto, 154: 1-6. |
[4] | Bottoni P (1945) La casa a chi lavora, Milano: Görlich. |
[5] | Di Biagi P (2001) La grande ricostruzione: il piano Ina-Casa e l'Italia degli anni cinquanta, Roma: Donzelli Editore. |
[6] | Di Biagi P (1986) La costruzione della città pubblica, In Urbanistica, 85: 6-25. |
[7] | Di Biagi P (1990) La periferia pubblica, In Clementi A, Perego F (eds), Eupolis La riqualificazione delle città in Europa, vol Ⅰ, Roma-Bari: Laterza. |
[8] | Benevolo L (1960) L'architettura dell'Ina-Casa, Centro sociale. |
[9] | Tenti S (1993) Napoli moderna, città e case popolari 1868-1980. Napoli: Clean. |
[10] | Astengo G (1951) Nuovi quartieri in Italia. Urbanistica 7: 10-12. |
[11] | Zevi B (1953) L'architettura dell'INA-Casa, In L'INA-Casa al Ⅳ Congresso Nazionale di Urbanistica, Venezia 1952, Roma: Società Grafica Romana, 24. |
[12] | Fanfani A (2000) Colloquio sui poveri, Bologna: Viviani. |
[13] | Di Biagi P (2013) Il piano INA-Casa: 1949-1963, In Treccani on line, Contributo alla storia del pensiero. Available from: http://wwwtreccaniit/enciclopedia/il-piano-ina-casa-1949-1963_%28Il-Contributo-italiano-alla-storia-del-Pensiero:-Tecnica%29/. |
[14] | Samonà G (1949) Il piano Fanfani in rapporto all'attività edilizia dei liberi professionisti, In Metron, 33: 14. |
[15] | Olivetti A (1951) Discorso del presidente all'apertura del Convegno, In Atti del III Convegno dell'Istituto nazionale di urbanistica L'urbanistica e l'industria, Milano, 8-9. |
[16] | Belli A (2006) Cittadini e istituzioni: ascolto delle periferie e nuovi mestieri dell'urbanistica, In Belli A (ed), Oltre la città Pensare la periferia, Napoli: Cronopio. |
[17] | De Fusco R (1971) Architettura ed urbanistica dalla seconda metà dell'800 ad oggi, Storia di Napoli, Napoli: Società editrice storia di Napoli. |
[18] | Demarco M (2007) L'altra metà della storia Spunti e riflessioni su Napoli da Lauro a Bassolino, Milano: Guida Editori, 9. |
[19] | Pagano L (2012) Periferie di Napoli, La geografia, il quartiere, l'edilizia pubblica: Aracne. |
[20] | Schiavo F (2020) Cosa vuol dire "forma"? Tra cinema e letteratura: lo spirito del luogo in Pasolini, in Dialoghi Mediterranei, 44, luglio 2020. Available from: http://wwwistitutoeuroaraboit/DM/cosa-vuol-dire-forma-tra-cinema-e-letteratura-lo-spirito-del-luogo-in-pasolini/?fbclid=IwAR3D1KhEcbvWcX2MO4EwIGH4fCwbdn5CE3n3S-UNSUD9tHFhVBQciU5i7bc. |
[21] | Fusco G (2006) Le mani sullo schermo. Il cinema secondo Achille Lauro, Napoli, Liguori, Ⅸ-Ⅺ. |
[22] | Malaparte C (1949) La pelle, Roma-Milano: Aria d'Italia. |
[23] | Matarazzo R (1949) Catene, B/N, 86 minuti, Labor Film, Titanus, film direction, Italia. |
[24] | Zampa L (1952) Processo alla città, B/N, 98 minuti, Film Costellazione, film direction, Italia. |
[25] | Fizzarotti A (1951) Luna Rossa, B/N, 85 minuti, S.A.P. Film, film direction, Italia. |
[26] | De Carlo G (1989) L'interesse per la città fisica, in Urbanistica, 95: 15-18. |
[27] | Mangone F (2014) Roberto Pane, In Trione Ⅴ (ed), Il cinema degli architetti, Johan & Levi, Milano. |
[28] | Belli A (2016) Memory Cache, Napoli: Clean. |
[29] | Allum PA (1975) Potere e società a Napoli nel dopoguerra, Torino: Einaudi. |
[30] | Saladino G (2000) Romanzo civile, Palermo: Sellerio. |
[31] | Inzerillo SM (2017) Urbanistica e società negli ultimi duecento anni a Palermo, In Schilleci F (ed), Palermo: D'Arch Reprint. |
[32] | Ortese A M (2014) Il mare non bagna Napoli, Milano: Adelphi, 83. |
[33] | Serao M (2012) Il ventre di Napoli, Milano: Biblioteca Universale Rizzoli. |
[34] | Benjamin W, Lacis A (1925) Neapel, Frankfurter Zeitung, 19 agosto 1925, In Benjamin W (2007), Immagini di città, Torino: Einaudi. |
[35] | Rosi F (1958) La sfida, B/N, 83 minuti, Cinecittà, Lux Film, Suevia Films, Vides Cinematografica, film direction, Italia. |
[36] | Rosi F (1959) I magliari B/N, 121 minuti, Vides Cinematografica, Titanus, S.G.C., film direction, Italia. |
[37] | Rosi F (1962) Salvatore Giuliano B/N, 118 minuti, Lux, Vides, Galatea, film direction, Italia. |
[38] | Gnocchi D, Rosi C (2019) Citizen Rosi, documentario, colore, 130 minuti, Andiamo Avanti Productions, Istituto Luce Cinecittà, 3D Produzioni, film direction, Italia. |
[39] | Schiavo F (2004) Parigi, Barcellona, Firenze: forma e racconto, Palermo: Sellerio. |
[40] | Visconti L (1948) La terra trema, B/N, 162 minuti, Universalia, Italia, film direction. |
[41] | De Santis G (1949) Riso amaro, B/N, 109 minuti, Lux Film, Italia, film direction. |
[42] | Cooperativa 15 maggio (1976), Signore e signori, buonanotte, colore, 118 minuti, Cooperativa 15 maggio, Italia, film direction. |
[43] | Schiavo F (2005) Attraversando altrimenti il mondo: "scritture urbane" e inconsuete visioni di città nei disegni dei bambini, In Pinzello I, Quartarone C (eds), La città e i bambini Per un laboratorio di pianificazione e progettazione urbana, Palermo: Palumbo. |
[44] | Astengo G (1976) La svolta, in Urbanistica, 65: 2. |
[45] | Settis S (2019) Paesaggio Costituzione Cemento. La battaglia per l'ambiente contro il degrado civile, Torino: Einaudi. |
[46] | Indovina F (1999) La città diffusa: cos'è e come si governa, In Indovina F (ed), Territorio. Innovazione. Economia. Pianificazione. Politiche, Venezia: DAEST, Collana Convegni n 4. |
[47] | Gravagnuolo B (2006) Il laboratorio linguistico della costruzione dei quartieri popolari, In Carughi U (ed), Città Architettura Edilizia pubblica. Napoli e il piano INA-Casa, Napoli: Clean. |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 1) | 0.140625 | 0.796875 | 0.2250 | 1.2750 | 0.3600 | 2.0400 |
(0.4, 1.3) | 0.411938 | 1.64775 | 0.6591 | 2.6364 | 1.05456 | 4.21824 |
(0.5, 1.5) | 0.791016 | 2.37305 | 1.26563 | 3.79688 | 2.025 | 6.0750 |
(0.8, 1.8) | 0.1870 | 3.2805 | 3.4992 | 5.2488 | 5.59872 | 8.39808 |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 1) | 0.05625 | 0.31875 | 0.1800 | 1.0200 | 0.1800 | 1.0200 |
(0.4, 1.3) | 0.24881 | 0.995241 | 0.702557 | 2.81023 | 0.785476 | 3.1419 |
(0.5, 1.5) | 0.553711 | 1.66113 | 1.36875 | 4.10625 | 1.73229 | 5.19688 |
(0.8, 1.8) | 1.71461 | 2.57191 | 3.28719 | 4.93079 | 5.30129 | 7.95193 |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 0.5) | 2.50084 | 14.1714 | 4.32 | 24.48 | 6.01143 | 34.0648 |
(0.4, 1) | 3.0000 | 12.0000 | 4.8000 | 19.2000 | 5.7600 | 30.7200 |
(0.5, 1.5) | 3.69468 | 11.084 | 5.82857 | 17.4857 | 9.54805 | 28.6442 |
(0.8, 2) | 6.0000 | 9.0000 | 9.6000 | 14.4000 | 15.3600 | 23.0400 |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 0.5) | 0.548152 | 3.1062 | 2.67429 | 15.1543 | 7.00699 | 46.3796 |
(0.4, 1) | 0.4000 | 1.6000 | 2.2400 | 8.9600 | 2.4000 | 9.6000 |
(0.5, 1.5) | 0.451568 | 1.3547 | 2.58701 | 7.76104 | 2.68392 | 8.05175 |
(0.8, 2) | 0.8000 | 1.2000 | 4.4800 | 6.7200 | 4.8000 | 7.2000 |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 1) | 0.140625 | 0.796875 | 0.2250 | 1.2750 | 0.3600 | 2.0400 |
(0.4, 1.3) | 0.411938 | 1.64775 | 0.6591 | 2.6364 | 1.05456 | 4.21824 |
(0.5, 1.5) | 0.791016 | 2.37305 | 1.26563 | 3.79688 | 2.025 | 6.0750 |
(0.8, 1.8) | 0.1870 | 3.2805 | 3.4992 | 5.2488 | 5.59872 | 8.39808 |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 1) | 0.05625 | 0.31875 | 0.1800 | 1.0200 | 0.1800 | 1.0200 |
(0.4, 1.3) | 0.24881 | 0.995241 | 0.702557 | 2.81023 | 0.785476 | 3.1419 |
(0.5, 1.5) | 0.553711 | 1.66113 | 1.36875 | 4.10625 | 1.73229 | 5.19688 |
(0.8, 1.8) | 1.71461 | 2.57191 | 3.28719 | 4.93079 | 5.30129 | 7.95193 |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 0.5) | 2.50084 | 14.1714 | 4.32 | 24.48 | 6.01143 | 34.0648 |
(0.4, 1) | 3.0000 | 12.0000 | 4.8000 | 19.2000 | 5.7600 | 30.7200 |
(0.5, 1.5) | 3.69468 | 11.084 | 5.82857 | 17.4857 | 9.54805 | 28.6442 |
(0.8, 2) | 6.0000 | 9.0000 | 9.6000 | 14.4000 | 15.3600 | 23.0400 |
(\delta^{1}, {s_{4}}) | L_*(\delta^{1}, {s_{4}}) | L^*(\delta^{1}, {s_{4}}) | M_*(\delta^{1}, {s_{4}}) | M^*(\delta^{1}, {s_{4}}) | R_*(\delta^{1}, {s_{4}}) | R^*(\delta^{1}, {s_{4}}) |
(0.3, 0.5) | 0.548152 | 3.1062 | 2.67429 | 15.1543 | 7.00699 | 46.3796 |
(0.4, 1) | 0.4000 | 1.6000 | 2.2400 | 8.9600 | 2.4000 | 9.6000 |
(0.5, 1.5) | 0.451568 | 1.3547 | 2.58701 | 7.76104 | 2.68392 | 8.05175 |
(0.8, 2) | 0.8000 | 1.2000 | 4.4800 | 6.7200 | 4.8000 | 7.2000 |