Next Article in Journal
Compiler Identification with Divisive Analysis and Support Vector Machine
Previous Article in Journal
Coupled Electro-Thermal FEM with Geometric Symmetry Constraints for Modular Battery Pack Design
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A System of Generalized Quadratic Functional Equations and Fuzzy Difference Results

by
Ghaziyah Alsahli
1,* and
Abasalt Bodaghi
2
1
Mathematics Department, College of Science, Jouf University, Sakaka P.O. Box 2014, Saudi Arabia
2
Department of Mathematics, W.T. C., Islamic Azad University, Tehran 1468763785, Iran
*
Author to whom correspondence should be addressed.
Symmetry 2025, 17(6), 866; https://doi.org/10.3390/sym17060866
Submission received: 28 April 2025 / Revised: 24 May 2025 / Accepted: 26 May 2025 / Published: 3 June 2025
(This article belongs to the Section Mathematics)

Abstract

In this study, we present generalized multi-quadratic mappings (GM-QMs) which differ from earlier ones that were previously available in the literature. We then express these mappings (specified by a system of generalized quadratic functional equations (GQFEs)) in a single equation. The fixed-point (FP) methodology and the direct approach (Hyers) method are also used to generate a number of stability findings for a system of generalized FEs in the setting of fuzzy norm spaces (FNSs). In terms of the results obtained by the aforementioned methods, we find that in comparison to the direct method, the FP tool provides a more accurate estimate of GM-QMs while requiring fewer conditions for the proofs.
MSC:
39B52; 39B72; 39B82; 46S40

1. Introduction

A fuzzy concept, after the definition of fuzzy sets, was previously proposed by Zadeh [1]; fuzzy norms on linear spaces were first defined in [2]. In fact, Katsaras (1984), in [2], and Wu and Fang, in [3], developed and expanded the foundational structure of fuzzy normed spaces (FNSs). Their efforts included generalizations such as adapting the Kolmogorov norm and introducing fuzzy topological vector spaces. Moreover, Biswas, in [4], built a notion of fuzzy inner-product spaces within a linear-space framework. Over time, numerous scholars and researchers have conducted and explored fuzzy norms from diverse mathematical perspectives [5,6,7,8]. Cheng and Mordeson [9] contributed further by formalizing a definition of a fuzzy norm over a vector space. The formulation was structured so that the resulting fuzzy metric conformed to that of Kramosil and Michalek in [10]; Bag and Samanta, in [5], refined this definition and examined various properties associated with FNSs [11].
One of the challenging problems which has a special importance in nonlinear analysis and approximation theory is the stability of FEs; many authors are working on this problem nowadays. Stability theory was pioneered by Ulam [12], concerning the query stability of homomorphisms on groups. Hyers [13] addressed the mentioned problem for more groups, assuming that Banach spaces were the groups and that homomorphisms were the linear mappings. Let us recall that the stability of an FE is a comparison of an approximate solution with an exact solution. After that, this theory for FEs and mappings was extended on miscellaneous spaces, as can be found in many articles and books [14,15,16]. Additionally, the following studies examined the Hyers–Ulam–Rassias stability (H-U-R-Stab) of the different FEs in FNSs: Jensen FE fuzzy stability [17], Jensen FE fuzzy stability [18], fuzzy stability of the cubic mappings [19], fuzzy approximately additive functions in FNs [20], H-U-R-Stab of Jensen’s FE on fuzzy norm linear spaces [21], stability of an additive-quadratic FE with a parameter in matrix intuitionistic FNSs [22], and see [23]. Recently, the H-U-R-Stab of a Cauchy–Jensen additive FE was proved in fuzzy Banach spaces (FBSs) [24].
Let us note that Skof [25] first introduced and studied the quadratic functional equation (QFE):
Q ( η + ϑ ) + Q ( η ϑ ) = 2 Q ( η ) + 2 Q ( ϑ ) .
Here, we recall that the primary tool for characterizing inner-product spaces is Equation (1). This is due to the fact that the parallelogram equality
P ( u + v ) 2 + P ( u v ) 2 = 2 P ( u ) 2 + 2 P ( v ) 2
is valid for a square norm on an inner-product space, where P   =   · ; for further details, see [26].
For a set Ω , Ω × × Ω n times is denoted by Ω n throughout. Let n Z with n 2 and ( G , + ) be a commutative group and V be a linear space. A multiple-variable mapping F : G n V is said to be multi-quadratic (M-QM) if for each i { 1 , , n } ,
F ( ξ 1 , , ξ i 1 , ξ i + ξ i , ξ i + 1 , , ξ n ) + F ( ξ 1 , , ξ i 1 , ξ i ξ i , ξ i + 1 , , ξ n ) = 2 F ( ξ 1 , , ξ i 1 , ξ i , ξ i + 1 , , ξ n ) + 2 F ( ξ 1 , , ξ i 1 , ξ i , ξ i + 1 , , ξ n ) .
In the following, N 0 : = N { 0 } , R + : = [ 0 , ) . Regarding the stability of M-QMs, it was explored by C.-G. Park for the first time in [27], as follows.
Theorem 1.
Suppose V j represents norm spaces for j = 1 , , d and B is supplied as a Banach space with · . Then, the mapping Γ : j = 1 d V j B has a function Λ : j = 1 d V j R + such that
Λ ^ ( ϑ 1 , , ϑ d ) : = j = 0 m = 1 d 1 4 m + j d Λ ( 2 j + 1 σ 1 , , 2 j + 1 σ m 1 , 2 j σ m , 2 j σ m + 1 , , 2 j σ d ) <
and
Γ ( ϑ 1 , , ϑ d ) Λ ( ϑ 1 , , ϑ d ) ,
for all ( ϑ 1 , , ϑ d ) j = 1 d V j 2 , where ϑ j = ( η j , η j ) , σ j = ( η j , 0 ) V 2 , whereas
Γ ( ϑ 1 , , ϑ d ) : = j = 1 d Γ ( η 1 , , η j 1 , η j + η j , η j + 1 , , η d ) + j = 1 d Γ ( η 1 , , η j 1 , η j + η j , η j + 1 , , η d ) 2 Γ ( η 1 , , η j , , η d ) 2 j = 1 d Γ ( η 1 , , η j 1 , η j , η j + 1 , , η d ) .
Assume that Γ ( η 1 , , η d ) = 0 if η j = 0 for any j = 1 , , d . Then, there exists a unique M-QM Φ : j = 1 d V j B such that
Γ ( η 1 , , η d ) Φ ( η 1 , , η d )     Λ ^ ( θ 1 , , θ d ) ,
for all ( η 1 , , η d ) j = 1 d V j , where θ j = ( η j , η j ) V 2 and j { 1 , , d } .
After that, Ciepliński [28] presented the stability of M-QMs as pointwise, like Park’s result, as follows.
Theorem 2.
Let L be a linear space and B be a Banach non-Archimedean space on K with characteristic k 2 . Also, assume that Λ j : L n + 1 R + is a function such that for each j = { , , n }
lim l 1 | 4 | l Λ j ( 2 l η 1 , , η n + 1 ) = = lim l 1 | 4 | l Λ j ( η 1 , , η j 2 , 2 l η j 1 , η j , η j + 1 , η n + 1 ) = lim l 1 | 4 | l Λ j ( η 1 , , η j 1 , 2 l η j , 2 l η j + 1 , η n + 1 ) = lim l 1 | 4 | l Λ j ( η 1 , , η j + 1 , 2 l η j + 2 , η j + 3 , η n + 1 ) = lim l 1 | 4 | l Λ j ( η 1 , , η n , 2 l η n + 1 ) = 0 ,
for all ( η 1 , , η n + 1 ) L n + 1 . If Γ : L n B is a mapping satisfying
Γ ( η 1 , , , η j 1 , 0 , , η j + 1 , , η n ) = 0 ,
for all ( η 1 , , , η j 1 , , η j + 1 , , η n ) L n 1 and
Γ ( η 1 , , η j 1 , η j + η j , η j + 1 , , η n ) + Γ ( η 1 , , η j 1 , η j η j , η j + 1 , , η n ) 2 Γ ( η 1 , , η j 1 , η j , η j + 1 , , η n ) 2 Γ ( η 1 , , η j 1 , η j , η j + 1 , , η n ) Λ ( η 1 , , η j 1 , η j , η j , η j + 1 , , η n ) ,
also, for any ( η 1 , , η j 1 , η j , η j , η j + 1 , , η n ) L n + 1 , ( j { 1 , , n } ) , then for j { 1 , , n } , there is a unique M-QM Φ j : L n B such that
Γ ( η 1 , , η n ) Φ j ( η 1 , , η n ) 1 | 4 | sup 1 | 4 | l Φ j ( η 1 , , η j 1 , 2 l η j , 2 l η j , η j + 1 , , η n ) : l N 0 ,
for all ( η 1 , , η n ) L n .
Next, Zhao et al. [29] studied the structure of M-QMs and showed that Γ : V n B is an M-QM if and only if
s { 1 , 1 } n Γ ( η 1 + s η 2 ) = 2 n l 1 , , l n { 1 , 2 } Γ ( η l 1 1 , , η l n n ) ,
where η j = ( η l 1 , , η l n ) V n with l { 1 , 2 } . We remember that they established H-U-R-Stab for M-QMs as pointwise. More information about the structures, characterizations, and the stability results for various M-QMs (which are quadratic in the upcoming list in each of variable) on miscellaneous spaces such as normed and non-Archimedean spaces are available as follows:
  • M-QMs defined by the QFE Q ( η + θ ) + Q ( η + σ ( θ ) ) = 2 Q ( η ) + 2 Q ( θ ) with an involution σ [30].
  • M-QMs by using the QFE Q ( a η + b θ ) + Q ( a η b θ ) = 2 a Q ( η ) + 2 b Q ( θ ) , where a , b Z with a 0 ,   ± are fixed [31,32].
  • M-QMs defined through the Euler–Lagrange QFE Q ( a η + b θ ) + Q ( b η a θ ) = ( a 2 + b 2 ) [ Q ( η ) + Q ( θ ) ] , where a , b Z with a 0 are fixed [33].
  • M-QMs defined via the QFE Q ( η + a θ ) + Q ( η + a θ ) = 2 Q ( η ) + 2 a 2 ( θ ) , where a Z with a 0 , ± is fixed [34].
  • M-QMs by using the generalized quadratic functional equation, or briefly, GQFE:
    Q ( r u + s v ) + Q ( r u s v ) = Q ( u + v ) + Q ( u v ) + 2 r 2 1 Q ( u ) + 2 s 2 1 Q ( v ) ,
    where u , v V , in which r , s Z with r , s 0 , ± 1 [35]. The function Q ( v ) = v 2 gives a solution to the equations above.
According to (2), Bodaghi et al. [35] unified the system of QFEs which defines an M-QM and indeed found an equation as the necessary and sufficient condition for a mapping being an MQM. The benefit of the presentation of such systems as a single equation allows us to prove the H-U-R-Stab of the M-QMs by means of only one functional inequality, which was not achieved in [27,28,29].
In this paper, the description of generalized multi-quadratic mappings (GM-QMs) as a single equation was inspired by the GQFE (2). Furthermore, we prove the H-U-R-Stab of the GM-QMs by applying the direct (Hyers) and FP methods in the setting of FNSs. Note that the Hyers method for proving the stability involves finding the Cauchy sequences and their convergency, obtained via recurrence, not using a fixed-point theorem. Finally, we find that the FP method provides a more exact approximation of GM-QMs in comparison to the direct method.

2. Characterization of GM-QMs

In this section, we introduce the GM-QMs and specify their structures. For any l N 0 = N { 0 } , n N , α = ( α 1 , , α n ) { 1 , 1 } n and ϑ = ( ϑ 1 , , ϑ n ) G n , we write l ϑ : = ( l ϑ 1 , , l ϑ n ) and α ϑ : = ( α 1 ϑ 1 , , α n ϑ n ) , where G is defined as a commutative group. Throughout the paper, V , W are two linear spaces and set all mappings from V n into W, denoted by Ξ .
Definition 1.
A mapping Ψ Ξ is said to be a generalized n-quadratic mapping or ageneralized multi-quadratic mapping (GM-QM) if f satisfies (2) in each of its n arguments; that is,
Ψ ( ξ 1 , , ξ i 1 , r i ξ i + s i ξ i , ξ i + 1 , , ξ n ) + Ψ ( ξ 1 , , ξ i 1 , r i ξ i s i ξ i , ξ i + 1 , , ξ n ) = Ψ ( ξ 1 , , ξ i 1 , ξ i ξ i , ξ i + 1 , , ξ n ) + Ψ ( ξ 1 , , ξ i 1 , ξ i + ξ i , x i + 1 , , ξ n ) + R i Ψ ( ξ 1 , , ξ i 1 , ξ i , ξ i + 1 , , ξ n ) + S i Ψ ( ξ 1 , , ξ i 1 , ξ i , ξ i + 1 , , ξ n ) ,
where r i , s i Z are fixed with r i , s i 0 , ± 1 and R i = 2 r i 2 1 , S i = 2 s i 2 1 , for all i { 1 , , n } .
Obviously, the function φ : R n R given via φ ( α 1 , , α n ) = λ i = 1 n α i 2 is a GM-QM, where λ R is fixed.
Denote v i [ n ] = ( v i 1 , , v i n ) V n , where i { 1 , 2 } , and consider Ψ Ξ satisfies the equation
α 1 , , α n { 1 , 1 } Ψ Φ 1 α 1 , , Φ n α n = V j { v 1 j , v 2 j , v 1 j ± v 2 j } j = 1 n R j S j Ψ V 1 , , V n ,
where Φ j α j = r j v 1 j + s j v 2 j and
R j = R j if V j = v 1 j , 1 otherwise , and S j = S j if V j = v 2 j , 1 otherwise ,
for j { 1 , , n } .
 Definition 2. 
For Ψ Ξ , we propose the next hypotheses.
  • (H1) Ψ has zero condition; that is, Ψ ( v [ n ] ) = 0 for any v [ n ] V n with at least one variable equal to zero.
  • (H2) Ψ satisfies the quadratic condition if for any j { 1 , , n } we have
    Ψ ( ξ 1 , , ξ j 1 , r j ξ j , ξ j + 1 , , ξ n ) = r j 2 Ψ ( ξ 1 , , ξ j 1 , ξ j , ξ j + 1 , , ξ n ) ,
    for all ξ j V , where r j is the fixed integers, with r j 0 , ± 1 .
Clearly, if a Ψ Ξ has hypothesis (H2), then it has (H1) but not conversely. On the other hand, (H2) is a necessary condition for a mapping to be a GM-QM but not sufficient. We present the next example for correctness.
Example 1.
Fix r 0 R . Define the function Ψ : R n R by Ψ ( θ 1 , , ϑ n ) = j = 1 n | θ j | 2 for all ( θ 1 , , θ n ) R n . It is easily verified that the mapping Ψ satisfies (H2) but not a GM-QM even for n = 1 , which means that Ψ does not fulfill (2). Furthermore, consider Φ : R n R defined via Φ ( θ 1 , , ϑ n ) = j = 1 n | θ j | for ( θ 1 , , θ n ) R n . Obviously, Φ fulfills (H1) but not (H2).
Theorem 3. 
For Ψ Ξ , the following axioms are equivalent:
(i) 
Ψ is a GM-QM;
(ii) 
Ψ satisfies (4) and has hypothesis (H2).
Proof. 
(i)⇒(ii) Fix j { 1 , , n } and ξ 1 , , ξ j 1 , ξ j + 1 , , ξ n V . By assumption, we have
Ψ ( ξ 1 , , ξ j 1 , 0 , ξ j + 1 , , ξ n ) + Ψ ( ξ 1 , , ξ j 1 , 0 , ξ j + 1 , , ξ n ) = Ψ ( ξ 1 , , ξ j 1 , 0 , ξ j + 1 , , ξ n ) + Ψ ( ξ 1 , , ξ j 1 , 0 , ξ j + 1 , , ξ n ) + R i Ψ ( ξ 1 , , ξ j 1 , 0 , ξ j + 1 , , ξ n ) + S i Ψ ( ξ 1 , , ξ j 1 , 0 , ξ j + 1 , , ξ n )
and so
Ψ ( ξ 1 , , ξ j 1 , 0 , ξ j + 1 , , ξ n ) = 0 .
Putting ξ j = 0 in (3) and using (5), we obtain
Ψ ( ξ 1 , , ξ j 1 , r j ξ j , ξ j + 1 , , ξ n ) + Ψ ( ξ 1 , , ξ j 1 , r j ξ j , ξ i + 1 , , ξ n ) = Ψ ( ξ 1 , , ξ j 1 , ξ j , ξ j + 1 , , ξ n ) + Ψ ( ξ 1 , , ξ j 1 , ξ j , ξ j + 1 , , ξ n ) + R i Ψ ( ξ 1 , , ξ j 1 , ξ j , ξ j + 1 , , ξ n ) .
The relation above necessitates that
Ψ ( ξ 1 , , ξ j 1 , r j ξ j , ξ j + 1 , , ξ n ) = r j 2 Ψ ( ξ 1 , , ξ j 1 , ξ j , ξ i + 1 , , ξ n ) ,
which shows that Ψ satisfies (H2). We now prove that Ψ fulfills (4) by induction on m with 1 m n . For m = 1 , (2) gives us a validity of (4) for Ψ . Assume that (4) holds for m 1 . Then,
α 1 , , α m 1 { 1 , 1 } Ψ Φ 1 α 1 , , Φ m 1 α m 1 , u = V j { v 1 j , v 2 j , v 1 j ± v 2 j } j = 1 m 1 R j S j Ψ V 1 , , V m 1 , u ,
where u V . Equality (6) necessitates that
α 1 , , α m { 1 , 1 } Ψ Φ 1 α 1 , , Φ m α m = α 1 , , α m 1 { 1 , 1 } Ψ Φ 1 α 1 , , Φ m 1 α m 1 , v 1 m + v 2 m + α 1 , , α m 1 { 1 , 1 } Ψ Φ 1 α 1 , , Φ m 1 α m 1 , v 1 m v 2 m + R m α 1 , , α m 1 { 1 , 1 } Ψ Φ 1 α 1 , , Φ m 1 α m 1 , v 1 m + S m α 1 , , α m 1 { 1 , 1 } Ψ Φ 1 α 1 , , Φ m 1 α m 1 , v 2 m = λ { 1 , 1 } V j { v 1 j , v 2 j , v 1 j ± v 2 j } j = 1 m 1 R j S j Ψ V 1 , , V m 1 , v 1 m + λ v 2 m + R m V j { v 1 j , v 2 j , v 1 j ± v 2 j } j = 1 m 1 R j S j Ψ V 1 , , V m 1 , v 1 m + S m V j { v 1 j , v 2 j , v 1 j ± v 2 j } j = 1 m 1 R j S j Ψ V 1 , , V m 1 , v 2 m = V j { v 1 j , v 2 j , v 1 j ± v 2 j } j = 1 m R j S j Ψ V 1 , , V m .
This implication is now finished.
(ii)⇒(i) Set
Ψ ( v 1 j , v 2 j ) : = Ψ v 11 , , v 1 , j 1 , v 1 j + v 2 j , v 1 , j + 1 , , v 1 n + Ψ v 11 , , v 1 , j 1 , v 1 j v 2 j , v 1 , j + 1 , , v 1 n
and
Ψ ( v 2 j ) : = Ψ v 11 , , v 1 , j 1 , v 2 j , v 1 , j + 1 , , v 1 n .
Putting v 2 l = 0 for all l { 1 , , n } { j } in the left-hand side of (4) and applying our hypotheses, we obtain
2 n 1 [ Ψ r 1 v 11 , , r j 1 v 1 , j 1 , r j v 1 j + s j v 2 j , r j + 1 v 1 , j + 1 , , r n v 1 n + Ψ r 1 v 11 , , r j 1 v 1 , j 1 , r j v 1 j s j v 2 j , r j + 1 v 1 , j + 1 , , r n v 1 n ] = 2 n 1 × k j k { 1 , , n } r k 2 [ Ψ v 11 , , v 1 , j 1 , r j v 1 j + s j v 2 j , v 1 , j + 1 , , v 1 n + Ψ v 11 , , v 1 , j 1 , r j v 1 j s j v 2 j , v 1 , j + 1 , , v 1 n ] .
Once more, setting v 2 l = 0 for all l { 1 , , n } { j } in the right-hand side of (4), we obtain
m = 0 n 1 n 1 m 2 n m 1 R l i { R 1 , , R n } i { 1 , , m } R l i Ψ ( v 1 j , v 2 j ) + R j m = 0 n 1 n 1 m 2 n m 1 R l i { R 1 , , R n } i { 1 , , m } R l i Ψ v 1 [ n ] + S j m = 0 n 1 n 1 m 2 n m 1 R l i { R 1 , , R n } i { 1 , , m } R l i Ψ ( v 2 j ) = 2 n 1 × k j k { 1 , , n } r k 2 Ψ ( v 1 j , v 2 j ) + R j × 2 n 1 × k j k { 1 , , n } r k 2 Ψ v 1 [ n ] + S j × 2 n 1 × k j k { 1 , , n } r k 2 Ψ ( v 2 j ) ,
where n r : = n ! r ! ( n r ) ! . We conclude from (7) and (8) that
Ψ v 11 , , v 1 , j 1 , r j v 1 j + s j v 2 j , v 1 , j + 1 , , v 1 n + Ψ v 11 , , v 1 , j 1 , r j v 1 j s j v 2 j , v 1 , j + 1 , , v 1 n = Ψ ( v 1 j , v 2 j ) + R j Ψ v 1 [ n ] + S j Ψ ( v 2 j ) .
This means that Ψ is a generalized quadratic in the variable j and therefore we obtain the desired result. □
For v 1 [ n ] , v 2 [ n ] V n , we set
V n = V n = ( V 1 , , V n ) | V j { v 1 j , v 2 j , v 1 j ± v 2 j ,
for all j { 1 , , n } . Additionally, for p , q N 0 with p , q { 0 , , n } , V ( p , q ) n is a subset of V n as follows:
V ( p , q ) n : = V n V n | Card { V j : V j = v 1 j } = p , Card { V j : V j = v 2 j } = q ,
where CardA is the cardinality of set A. From now on, for a GM-QM Ψ Ξ , we use the convention
Ψ V ( p , q ) n : = V n V ( p , q ) n Ψ V n .
In Definition 1, if r j = r and s j = s for all j { 1 , , n } , then (4) converts to
λ { 1 , 1 } n Ψ r v 1 [ n ] + λ s v 2 [ n ] = p = 0 n q = 0 n p R p × S q Ψ V ( p , q ) n ,
for all v 1 [ n ] , v 2 [ n ] V n and fixed ± 1 , 0 r , s Z , where Ψ V ( p , q ) n is given in (9).

3. Stability Results for Equation (10)

In the current section, we study the H-U-R-Stab of the GM-QMs in fuzzy norm spaces by the Hyers and FP methods. Note that when we say a GM-QM is stable, we mean that Equation (10) has the stability property.
 Definition 3. 
Let V be a real linear space. A function T : V × R [ 0 , 1 ] is termed a fuzzy norm on V if for all u , v V and all s , t R the following hold:
(T1) 
T ( v , r ) = 0 for r 0 ;
(T2) 
v = 0 T ( v , r ) = 1 for all r > 0 ;
(T3) 
T ( r v , t ) = T v , t | r | if r 0 ;
(T4) 
T ( u + v , s + t ) min { T ( u , s ) , T ( v , t ) } ;
(T5) 
T ( v , · ) is a non-decreasing function on R and lim t T ( v , t ) = 1 ;
(T6) 
For v 0 , T ( v , · ) is upper semi-continuous on R .
It is argued that the pair ( V , T ) is an FNS. Now, we present the following known observations for an FNS ( V , T ) . For every t 0 , a sequence { v j } j in V converges to a v V if lim j T ( v j v , t ) = 1 . In this instance, v is denoted by T lim t v j = v and is considered the limit of the sequence { v j } j . Furthermore, if for every δ > 0 and every t > 0 there exists a t 0 N such that for all t t 0 and all k > 0 , we have T ( v j + k v j , t ) > 1 δ , then a sequence { v j } in V is termed Cauchy. Like all normed spaces, the completeness of a fuzzy norm, being a fuzzy Banach space (FBS) of ( V , T ) and continuity of f Ξ , can be defined; for more details we refer to [11].
The next example, which converts a normed linear space to an FNS, was indicated in [36]. In continuation, we apply this example to attain more results.
Example 2. 
Let ( V , · ) be a normed linear space. For v V , the function
T ( v , t ) = α t k β v + α t k t > 0 , 0 otherwise ,
where α , β , k R + . Then, ( V , T ) is an FNS. In particular, if α = β = k = 1 , then T ( v , t ) is sometimes called the standard fuzzy norm induced by norm · .
In what follows, V is a linear space, ( W , T ) is an FBS, and ( Y , T ) is an FNS. Moreover, we assume that each f Ξ has the property (H1).
For a f Ξ , we remark
D f v 1 [ n ] , v 2 [ n ] : = λ { 1 , 1 } n f r v 1 [ n ] + λ s v 2 [ n ] p = 0 n q = 0 n p R p × S q f V ( p , q ) n ,
for all v 1 [ n ] , v 2 [ n ] V n , where f V ( p , q ) n is defined in (9) and r , s is a fixed integer with r , s 0 , ± 1 and R = 2 ( r 2 1 ) , S = 2 ( s 2 1 ) .

3.1. Stability Results: Direct Method

In this subsection, the proof of the stability of (10) on FNSs is established by using the Hyers technique.
Theorem 4. 
Let f Ξ and ϕ : V n Y be a function with the following property.
(H3) For all v [ n ] V n , ϕ r v [ n ] = α ϕ ( v [ n ] ) for some real numbers α with 0 < | α | < r 2 n
such that
T D f v 1 [ n ] , v 2 [ n ] , t + t m i n T ϕ v 1 [ n ] , t , T ϕ v 2 [ n ] , t ,
for all v 1 [ n ] , v 2 [ n ] V n and t , t > 0 . Then, there exists a solution Q Ξ of (10such that
T f v [ n ] Q v [ n ] , t M v [ n ] , r 2 n α 2 r 2 n t ,
for all v [ n ] V n , t > 0 , where
M ( v [ n ] , t ) : = m i n T ϕ ( v [ n ] ) , 2 n 1 × r 2 n t , T ϕ ( 0 ) , 2 n 1 × r 2 n t ,
whereas 0 = 0 , , 0 n times . Moreover, Q is a unique GM-QM provided that hypothesis (H2) is valid for it.
Proof. 
Putting v 2 [ n ] = 0 and t = t into (11), we have
T 2 n f ( r v 1 [ n ] ) R f ( v 1 [ n ] ) , 2 t min { T ( ϕ ( v 1 [ n ] ) , t ) , T ( ϕ ( 0 ) , t ) } ,
for all v 1 [ n ] V n and t > 0 , where
R = p = 0 n n p 2 n p × R p .
For the rest, we set v 1 [ n ] by v [ n ] . The equivalent (14) and (15) necessitate
T f r v [ n ] r 2 n f ( v [ n ] ) , t min T ϕ ( v [ n ] ) , 2 n 1 t , T ϕ ( 0 ) , 2 n 1 t ,
for all v [ n ] V n , t > 0 , and thus
T f ( r v [ n ] ) r 2 n f ( v [ n ] ) , t M ( v [ n ] , t ) ,
for all v [ n ] V n and t > 0 , where M ( v [ n ] , t ) is given in (13). Putting v [ n ] by r m v [ n ] in (16) and applying the equality
M ( r v [ n ] , t ) = M v [ n ] , t α ,
we arrive at
T f r m + 1 v [ n ] r 2 ( m + 1 ) n f r m v [ n ] r 2 m n , α m r 2 m n t = T f r m + 1 v [ n ] r 2 n f r m v [ n ] , α m t M ( r m v [ n ] , α m t ) = M ( v [ n ] , t ) ,
for all v [ n ] V n , t > 0 and m 0 . Furthermore, for each m > l > 0 , we find
T f r m v [ n ] r 2 m n f r l v [ n ] r 2 l n , j = l m 1 α j r 2 j n t = T j = l m 1 f r m + 1 v [ n ] r 2 ( m + 1 ) n f r m v [ n ] r 2 m n , j = l m 1 α j r 2 j n t min j = l m 1 T f r m + 1 v [ n ] r 2 ( m + 1 ) n f r m v [ n ] r 2 m n , α j r 2 j n t M ( v [ n ] , t ) .
Take ϵ , δ > 0 . Due to the equality lim t M ( v [ n ] , t ) = 1 , there is a t 0 > 0 such that M ( v [ n ] , t 0 ) > 1 ϵ . On the other hand, j = 0 m 1 α j r j n t 0 < , and therefore there is some n 0 N such that j = l m 1 α j r 2 j n t 0 < δ for all m > l n 0 . It can now be deduced that
T f r m v [ n ] r 2 m n f r l v [ n ] r 2 l n , δ T f r m v [ n ] r 2 m n f r l v [ n ] r 2 l n , j = l m 1 α j r 2 j n t 0 M ( v [ n ] , t 0 ) 1 ϵ .
The relation above implies that f ( r m v [ n ] ) λ 2 m n is fuzzy Cauchy in ( W , T ) . Since ( W , T ) is a Banach fuzzy space, the mentioned sequence converges pointwise to a mapping Q Ξ ; that is,
Q ( v [ n ] ) = lim m T f ( r m v [ n ] ) r 2 m n .
Putting l = 0 into (18), we obtain
T f r m v [ n ] r 2 m n f ( v [ n ] ) , j = 0 m 1 α j r j n t M ( v [ n ] , t ) ,
for all v [ n ] V n and t > 0 . The last inequality necessitates that
T f r m v [ n ] r 2 m n f ( v [ n ] ) , t M v [ n ] , t j = 0 m 1 α j r 2 j n ,
for all v [ n ] V n and t > 0 . Consider the function 1 : R n R , whose range is the set { 1 } . Let Ω = 2 n + p = 0 n q = 0 n p R p × S q 1 V ( p , q ) n . We have
T D Q ( v 1 [ n ] , v 2 [ n ] ) , t min { λ { 1 , 1 } n T Q r v 1 [ n ] + λ s v 2 [ n ] f r m + 1 v 1 [ n ] + λ s r m v 2 [ n ] r 2 m n , t Ω , p = 0 n q = 0 n p T R p × S q Q V ( p , q ) n R p × S q f r m V ( p , q ) n r 2 m n , t Ω , λ { 1 , 1 } n p = 0 n q = 0 n p T f r m + 1 v 1 [ n ] + λ s r m v 2 [ n ] r 2 m n R p × S q f r m V ( p , q ) n r 2 m n , t Ω } ,
v 1 [ n ] , v 2 [ n ] V n and t > 0 , where r m V ( p , q ) n = r m V n | V n V ( p , q ) n . In addition, Q , defined as the member of the first and second unions on the right-hand side of the above inequality, goes to 1, and when m is a member of the third union, (11) is greater than or equal to
min T ϕ r m v 1 [ n ] , r 2 m n 2 Ω t , T ϕ r m v 2 [ n ] , r 2 m n 2 Ω t = min T ϕ v 1 [ n ] , r 2 m n 2 α m Ω t , T ϕ v 2 [ n ] , r 2 m n 2 α m Ω t ,
which goes to 1 when m . So,
T D Q v 1 [ n ] , v 2 [ n ] , t = 1 ,
for all v 1 [ n ] , v 2 [ n ] V n and t > 0 . Hence, Q gives (10). If now Q has (H2), then it is a GM-QM by Theorem 3. For the fuzzy difference between f and Q , by inequality (19), for v [ n ] V n and t > 0 , this can be deduced as
T Q ( v [ n ] ) f ( v [ n ] ) , t min T Q ( v [ n ] ) f r m v [ n ] r 2 m n , t 2 , T f r m v [ n ] r 2 m n f ( v [ n ] ) , t 2 M v [ n ] , t 2 j = 0 α j r 2 j n = M v [ n ] , r 2 n α 2 r 2 n t .
Let Q be another GM-QM in Ξ such that inequality (24) is true for it. For each v [ n ] V n and t > 0 , we reach
T Q ( v [ n ] ) Q ( v [ n ] ) , t min T Q ( v [ n ] ) f ( v [ n ] ) , t 2 , T Q ( v [ n ] ) f ( v [ n ] ) , t 2 M v [ n ] , r 2 n α 2 r 2 n t .
However, Q and Q are GM-QMs and so
T Q ( v [ n ] ) Q ( v [ n ] ) , t = T Q r m v [ n ] , r 2 m n t M v [ n ] , r 2 n α 2 r 2 n r 2 n α m t ,
for all v [ n ] V n , t > 0 , and m N . Since lim m r 2 n α m = + , we have
lim m M v [ n ] , r 2 n α 2 r 2 n t = 1 .
The proof is now finished because it demonstrates that Q ( v [ n ] ) = Q ( v [ n ] ) for all v [ n ] V n . □
The following theorem is analogous to the prior one. The assumptions are the same but the results are different. We provide a sketch of the proof because the methods are exactly the same as those of Theorem 4.
Theorem 5.
Let f Ξ and ϕ : V n Y be a function with hypothesis (H3) such that
T D f ( v 1 [ n ] , v 2 [ n ] ) , t + s m i n { T ( ϕ ( v 1 [ n ] ) , t ) , T ( ϕ ( v 2 [ n ] ) , s ) } ,
for all v 1 [ n ] , v 2 [ n ] V n and t , s > 0 . Then, there exists a solution Q Ξ of (10) such that
T f ( v [ n ] ) Q ( v [ n ] ) , t N v [ n ] , α r 2 n 2 α t ,
for all v [ n ] V n and t > 0 , where
N ( v [ n ] , t ) : = m i n T ϕ ( v [ n ] ) , 2 n 1 α t , T ϕ ( 0 ) , 2 n 1 α t .
In addition, Q is a unique GM-QM if it satisfies hypothesis (H2).
Proof. 
Note that hypothesis (H3) for ϕ implies that ϕ v [ n ] r = 1 α ϕ ( v [ n ] ) , in which | α | > r 2 n . The proof of Theorem 4 gives
T f r v [ n ] r 2 n f ( v [ n ] ) , t min T ϕ ( v [ n ] ) , 2 n 1 t , T ϕ ( 0 ) , 2 n 1 t ,
for all v [ n ] V n and t > 0 . A direct result from the inequality is as follows:
T f ( v [ n ] ) r 2 n f v [ n ] r , t N ( v , t ) ,
for all v [ n ] V n and t > 0 , where N ( v , t ) is defined in (20). Interchanging v [ n ] into r m v [ n ] in (21) and applying the property N v [ n ] r , t = N v [ n ] , α t , we obtain
T r 2 m n f v [ n ] r m r ( m + 1 ) n f v [ n ] r m + 1 , r 2 m n α m t N ( v , t ) ,
for all v [ n ] V n , t > 0 , and m 0 . Moreover, for m > l > 0 , we obtain
T r 2 l n f v [ n ] r l r 2 m n f v [ n ] r m , j = l m 1 r 2 j n α j t N ( v [ n ] , t ) .
Let ϵ , δ > 0 . Since lim t N ( v [ n ] , t ) = 1 , there is a t 0 > 0 so that N ( v [ n ] , t 0 ) > 1 ϵ . Further, j = 0 m 1 r 2 j n α j t 0 < , and so for some n 0 N , we find j = l m 1 r 2 j n α j t 0 < δ for all m > l n 0 . These arguments imply that
T r 2 l n f v [ n ] r l r 2 m n f v [ n ] r m , δ N ( v [ n ] , t 0 ) 1 ϵ .
Thus, the sequence r 2 m n f v [ n ] r m is fuzzy Cauchy in ( W , T ) . Due to the completeness of ( W , T ) , this sequence converges pointwise to a Q Ξ such that
Q ( v ) = lim m T r 2 m n f v [ n ] r m .
Putting l = 0 into (22), we obtain
T f ( v [ n ] ) r 2 m n f v [ n ] r m , j = 0 m 1 r 2 j n α j t N ( v [ n ] , t ) ,
for all v [ n ] V n and t > 0 . The last inequality shows that
T f ( v [ n ] ) r 2 m n f v [ n ] r m , t N v [ n ] , t j = 0 m 1 r 2 j n α j ,
for all v [ n ] V n and t > 0 . The proof of being a solution of (10) and the uniqueness of Q can be a achieved in a standard fashion taken from the proof of Theorem 4. □
The upcoming examples can be deduced from Theorems 4 and 5.
Example 3.
Suppose V is a normed space, ( W , T ) is an FBS, and ( Y , T ) is an FNS, where T and T are both the standard fuzzy norm as considered in Example 2. Moreover, f Ξ satisfies
T D f ( v 1 [ n ] , v 2 [ n ] ) , t + t min T j = 1 n v 1 j ρ y 0 , t , T j = 1 n v 2 j ρ y 0 , t ,
for all v 1 [ n ] , v 2 [ n ] V n , and t , t > 0 , where y 0 is a fixed vector in Y. If 0 < r 2 n , then by Theorems 4 and 5 there exists a solution Q Ξ of (10) such that
T f ( v [ n ] ) Q ( v [ n ] ) , t 2 n 2 | r 2 n r ρ | t 2 n 2 | r 2 n r ρ | t   +   y 0 j = 1 n v 1 j ρ ,
for all v [ n ] : = v 1 [ n ] V n and t > 0 . Additionally, Q is a unique GM-QM provided that it has property (H2).
From the definition of a GM-QM, consider a large number for n, then the right-hand side of inequality (23) goes to 1 and the fuzzy difference goes to zero. In the following example, the study of the Hyers stability of the GM-QMs gives some examples like the following example.
Example 4. 
Given δ > 0 . Suppose that f Ξ is a mapping satisfying
T D f ( v 1 [ n ] , v 2 [ n ] ) , t + s min { T δ y 0 , t , T δ y 0 , s } ,
for all v 1 [ n ] , v 2 [ n ] V n and t , s > 0 , where y 0 is a fixed vector in Y. By Theorem 4, there exists a solution Q : V n W of (10) such that
T f ( v [ n ] ) Q ( v [ n ] ) , t T y 0 , 2 n 2 ( r 2 n 1 ) δ t ,
for all v [ n ] V n and t > 0 .

3.2. Stability Results: The FP Approach

We present the H-U-R-Stab of GM-QMs using an FP technique in this subsection. Prior to outlining the primary findings, it is important to remember that the range of the generalized metric (GM) d on a set X encompasses infinity, which is the only significant distinction between it and the metric d on X. We present a fundamental result in FP theory in the following theorem, which serves our objectives. We note that [37] presented an extension of the result.
Theorem 6 
([38]). Let ( Δ , d ) be a complete GMS and T : Δ Δ be a mapping that is Lipschitz constant (the definition of which is available in the literature), 0 < L < 1 . Then, for each element η Δ , we have the following assertions:
  • d ( T n η , T n + 1 η ) = for all n 0 ;
or
  • there exists a n 0 N such that the following hold:
(1) 
d ( T n η , T n + 1 η ) < for all n n 0 ;
(2) 
the sequence { T n η } converges to an element η * of T ;
(3) 
η * is the unique fixed point of J Δ 0 = { η Δ : d ( T n 0 y , y ) < } ;
(4) 
d ( η , η * ) 1 1 L d ( η , T η ) for all η Δ 0 .
Theorem 7.
Suppose that Γ Ξ and Λ : V n Y is a function satisfying (11). If property (H3) in Theorem 4 is true for Λ, then there exists a solution Q Ξ of (10) such that
T Γ ( v [ n ] ) Q ( v [ n ] ) , t M v [ n ] , r 2 n α r 2 n t ,
for all v [ n ] V n and t > 0 , where M ( v [ n ] , t ) is defined in (13). In addition, Q is a unique GM-QM if it has property (H2).
 Proof. 
Consider the set
Δ : = { Γ Ξ | Γ has the property ( H 1 ) } .
Let us define a mapping d F : V n × V n [ 0 , ] via
d F ( ϕ , ψ ) : = inf μ [ 0 , ) : T ( ϕ ( v [ n ] ) ψ ( v [ n ] ) , μ t ) M ( v , t ) , v [ n ] V n , t > 0 ,
where, as usual, inf = + , for which ϕ , ψ Δ , where M ( v [ n ] , t ) is defined in (13). It is verified that d F is a GM on Δ . Moreover, ( Δ , d F ) is a complete GMS; see ([39] Theorem 2.6) and ([18] Theorem 2.1). Define the mapping T : Δ Δ through
T Γ ( v [ n ] ) : = 1 r 2 n Γ ( r v [ n ] ) ,
for all v [ n ] V n . Take ϕ , ψ Δ , v [ n ] V n and μ [ 0 , ] , with d F ( ϕ , ψ ) μ . Then, T ( ϕ ( v [ n ] ) ψ ( v [ n ] ) , μ t ) M ( v [ n ] , t ) , and so by the property (17), we have
T T ϕ ( v [ n ] ) T ψ ( v [ n ] ) , α r 2 n μ t = T 1 r 2 n ϕ ( r v [ n ] ) 1 r 2 n ψ ( r v [ n ] ) , α 2 n μ t = T ϕ ( r v [ n ] ) ψ ( r v [ n ] ) , α μ t M r v [ n ] , α t = M ( v [ n ] , t ) ,
for all v [ n ] V n and t > 0 . Therefore, d F ( T ϕ , T ψ ) α r 2 n μ . This shows that d ( T ϕ , T ψ ) α r 2 n d ( ϕ , ψ ) . By the proof of Theorem 4, we obtain
T Γ ( r v [ n ] ) r 2 n Γ ( v [ n ] ) , t M ( v [ n ] , t ) ,
for all v [ n ] V n and t > 0 , where M ( v [ n ] , t ) is defined in (13). Therefore, d F ( T Γ , Γ ) 1 . By Theorem 6, we find that the sequence ( T m Γ ) m N is convergent in ( Δ , d F ) and its pointwise limit, namely, Q , is an FP of T , and additionally Q ( v [ n ] ) = 1 r 2 n Q ( r v [ n ] ) . Moreover, we have d F T m f , Q 0 , which implies that
Q ( v [ n ] ) = T lim l Γ ( r m v [ n ] ) r 2 m n ,
for all v [ n ] V n . Furthermore, d F ( Γ , Q ) 1 1 L d F ( Γ , T Γ ) , which necessitates that
d F ( Γ , Q ) 1 1 α r 2 n = r 2 n r 2 n α .
If { δ l } is a decreasing sequence converging to r 2 n r 2 n α , then
T Γ ( v [ n ] ) Q ( v [ n ] ) , δ l t M ( v , t ) ,
for all v [ n ] V n , t > 0 , and l N . From this we conclude that
T Γ ( v [ n ] ) Q ( v [ n ] ) , t M v [ n ] , t δ l ,
for all v [ n ] V n , t > 0 , and l N . Since M is left continuous by (T6), we deduce that
T Γ ( v [ n ] ) Q ( v [ n ] ) , t M v [ n ] , r 2 n r 2 n α ,
for all v [ n ] V n , t > 0 , and l N . Here, it can be proven like in Theorem 4 that Q is a solution of (10). In addition, the uniqueness of Q follows from the fact that Q is the unique FP of T with the property that there exists ζ ( 0 , ) such that
T Γ ( v [ n ] ) Q ( v [ n ] ) , ζ t M ( v [ n ] , t ) ,
for all v [ n ] V n and t > 0 . This completes the proof. □
The proof of Theorem 7 shows that for proving the uniqueness of the solution, we do not need the property (H2) for a f Ξ , and this property is used only for being a GM-QM, and so the property (H2) is a redundant condition in Theorem 7.
The upcoming theorem is analogous to Theorem 7 in which we find a different approximation for GM-QEs in FBSs. Since the proof is similar, it is omitted.
Theorem 8. 
Suppose that Γ Ξ and Λ : V n Y is a function satisfying (11). If hypothesis (H3) holds for Λ, then there exists a solution Q Ξ of (10) such that
T Γ ( v [ n ] ) Q ( v [ n ] ) , t N v [ n ] , α r 2 n α t ,
for all v [ n ] V n and t > 0 , where N ( v [ n ] , t ) is defined in (20).
Remark 1. 
In view of the results in this section, we deduce that the FP method give us a more exact approximation in comparison to the direct method when used in Theorems 4 and 5. For the accuracy, we return to property (T5) of Definition 3, which states that T ( v , · ) is a non-decreasing function on R and lim t T ( v , t ) = 1 . In light of the obtained results in Theorems 4 and 7, we observe that r 2 n α r 2 n t is greater than r 2 n α 2 r 2 n t and so the fuzzy difference in Theorem 7 is smaller.

4. Conclusions and Future Works

We have introduced generalized multi-quadratic mappings as a system of symmetric equations, which differs from earlier ones that were previously available in the literature and are quadratic in each component. We have expressed such mappings in a single equation. Note that the benefit of the presentation of such systems as a single equation is that it allows us to prove the H-U-R-Stab of the M-QMs by means of only one single functional inequality. We also used the fixed-point methodology and the direct approach (Hyers) method to generate a number of stability findings for a system of generalized quadratic functional equations in the setting of fuzzy norm spaces. Moreover, we compared the aforementioned methods and found two different results. Here, we demonstrate to the reader how to define the new multiple variable mappings by means of various FEs, to represent them as one single equation, and present an investigation of their varied stability in the setting of fuzzy norm spaces.

Author Contributions

Conceptualization: G.A. and A.B.; Methodology: G.A. and A.B.; Software: G.A. and A.B.; Validation: G.A. and A.B.; Formal analysis: G.A. and A.B.; Investigation: A.B.; Resources: A.B.; Data curation: G.A.; Writing—original draft preparation: A.B.; Writing—review and editing: G.A.; Visualization: G.A. and A.B.; Supervision: A.B.; Project administration: G.A. Funding acquisition: G.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors sincerely thank the anonymous reviewers for their careful reading and constructive comments that improved the manuscript substantially.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Zadeh, L. Fuzzy sets. Inform. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  2. Katsaras, A.K. Fuzzy topological vector spaces II. Fuzzy Sets Syst. 1984, 12, 143–154. [Google Scholar] [CrossRef]
  3. Wu, C.; Fang, J. Fuzzy generalization of Klomogoroff’s theorem. J. Harbin Inst. Technol. 1984, 1, 1–7, (In Chinese, English abstract). [Google Scholar]
  4. Biswas, R. Fuzzy inner product spaces and fuzzy norm functions. Inform. Sci. 1991, 53, 185–190. [Google Scholar] [CrossRef]
  5. Bag, T.; Samanta, S.K. Finite dimensional fuzzy normed linear spaces. J. Fuzzy Math. 2003, 11, 687–705. [Google Scholar]
  6. Felbin, C. Finite dimensional fuzzy normed linear spaces. Fuzzy Sets Syst. 1992, 48, 239–248. [Google Scholar] [CrossRef]
  7. Krishna, S.V.; Sarma, K.K.M. Separation of fuzzy normed linear spaces. Fuzzy Sets Syst. 1994, 63, 207–217. [Google Scholar] [CrossRef]
  8. Xiao, J.Z.; Zhu, X.H. Fuzzy normed spaces of operators and its completeness. Fuzzy Sets Syst. 2003, 133, 389–399. [Google Scholar] [CrossRef]
  9. Cheng, S.C.; Mordeson, J.M. Fuzzy linear operators and fuzzy normed linear spaces. Bull. Calcutta Math. Soc. 1994, 86, 429–436. [Google Scholar]
  10. Kramosil, I.; Michalek, J. Fuzzy metric and statistical metric spaces. Kybernetica 1975, 11, 326–334. [Google Scholar]
  11. Bag, T.; Samanta, S.K. Fuzzy bounded linear operators. Fuzzy Sets Syst. 2005, 151, 513–547. [Google Scholar] [CrossRef]
  12. Ulam, S.M. Problems in Modern Mathematic, Science Editions; John Wiley & Sons, Inc.: New York, NY, USA, 1964. [Google Scholar]
  13. Hyers, D.H. On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar] [CrossRef] [PubMed]
  14. Czerwik, S. On the stability of the quadratic mapping in normed spaces. Abh. Math. Sem. Univ. Hamburg. 1992, 62, 59–64. [Google Scholar] [CrossRef]
  15. Găvruţa, P. A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 1994, 184, 431–436. [Google Scholar] [CrossRef]
  16. Rassias, T.M. On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72, 297–300. [Google Scholar] [CrossRef]
  17. Mirmostafaee, A.K.; Mirzavaziri, M.; Moslehian, M.S. Fuzzy stability of the Jensen functional equation. Fuzzy Sets Syst. 2008, 159, 730–738. [Google Scholar]
  18. Miheţ, D.; Radu, V. On the stability of the additive Cauchy functional equation in random normed spaces. J. Math. Anal. Appl. 2008, 343, 567–572. [Google Scholar]
  19. Mirmostafaee, A.K.; Moslehian, M.S. Fuzzy approximately cubic mappings. Inf. Sci. 2008, 178, 3791–3798. [Google Scholar] [CrossRef]
  20. Mirmostafaee, A.K.; Moslehian, M.S. Fuzzy versions of Hyers-Ulam-Rassias theorem. Fuzzy Sets Syst. 2008, 159, 720–729. [Google Scholar] [CrossRef]
  21. Saheli, M.; Goraghani, H.S. Hyers-Ulam-Rassias stability of Jensen’s functional equation on fuzzy normed linear spaces. Int. J. Nonlinear Anal. Appl. 2023, 14, 3011–3023. [Google Scholar]
  22. Wang, Z. Stability of a mixed type additive-quadratic functional equation with a parameter in matrix intuitionistic fuzzy normed spaces. AIMS Math. 2023, 8, 25422–25442. [Google Scholar] [CrossRef]
  23. Park, C. Stability of the Cauchy-Jensen functional equation in fuzzy Banach algebras. Appl. Math. Lett. 2011, 24, 2024–2029. [Google Scholar] [CrossRef]
  24. Azadi Kenari, H. Ulam-Hyers-Rassias-stability of a Cauchy-Jensen additive mapping in fuzzy Banach space. Int. J. Nonlinear Anal. Appl. 2025; in press. [Google Scholar]
  25. Skof, F. Proprieta locali e approssimazione di operatori. Rend. Semin. Mat. Fis. Milano 1983, 53, 113–129. [Google Scholar] [CrossRef]
  26. Amir, D. Characterizations of Inner Product Spaces; Birkhäuser-Verlag: Basel, Switzerland, 1986. [Google Scholar]
  27. Park, C.-G. Multi-quadratic mappings in Banach spaces. Proc. Am. Math. Soc. 2002, 131, 2501–2504. [Google Scholar] [CrossRef]
  28. Ciepliński, K. On the generalized Hyers-Ulam stability of multi-quadratic mappings. Comput. Math. Appl. 2011, 62, 3418–3426. [Google Scholar] [CrossRef]
  29. Zhao, X.; Yang, X.; Pang, C.-T. Solution and stability of the multiquadratic functional equation. Abstr. Appl. Anal. 2013, 2013, 415053. [Google Scholar] [CrossRef]
  30. Bodaghi, A. Multi-quadratic mappings with an involution. J. Anal. 2022, 30, 859–870. [Google Scholar] [CrossRef]
  31. Bodaghi, A. Functional inequalities for generalized multi-quadratic mappings. J. Inequal. Appl. 2021, 2021, 145. [Google Scholar] [CrossRef]
  32. Bodaghi, A.; Park, C.; Yun, S. Almost multi-quadratic mappings in non-Archimedean spaces. AIMS Math. 2020, 5, 5230–5239. [Google Scholar] [CrossRef]
  33. Bodaghi, A.; Moshtagh, H.; Mousivand, A. Characterization and stability of multi-Euler-Lagrange quadratic functional equations. J. Funct. Spaces 2022, 2022, 3021457. [Google Scholar] [CrossRef]
  34. Bodaghi, A.; Salimi, S.; Abbasi, G. Approximation for multi-quadratic mappings in non-Archimedean spaces. Annal. Univ. Craiova-Math. Comput. Sci. Ser. 2021, 48, 88–97. [Google Scholar] [CrossRef]
  35. Bodaghi, A.; Moshtagh, H.; Dutta, H. Characterization and stability analysis of advanced multi-quadratic functional equations. Adv. Differ. Equ. 2021, 2021, 380. [Google Scholar] [CrossRef]
  36. Saadati, S.; Vaezpour, S.M. Some results on fuzzy Banach spaces. J. Appl. Math. Comput. 2005, 17, 475–484. [Google Scholar] [CrossRef]
  37. Tuinici, M. Sequentially iterative processes and applications to Volterra functional equations. Ann. Uni. Mariae Curie-Sklodowska Sect.-A 1978, 32, 127–134. [Google Scholar]
  38. Diaz, J.B.; Margolis, B. A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull. Am. Math. Soc. 1968, 74, 305–309. [Google Scholar] [CrossRef]
  39. Hadžić, O.; Pap, E.; Radu, V. Generalized contraction mapping principles in probabilistic metric spaces. Acta Math. Hungar. 2003, 101, 131–148. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Alsahli, G.; Bodaghi, A. A System of Generalized Quadratic Functional Equations and Fuzzy Difference Results. Symmetry 2025, 17, 866. https://doi.org/10.3390/sym17060866

AMA Style

Alsahli G, Bodaghi A. A System of Generalized Quadratic Functional Equations and Fuzzy Difference Results. Symmetry. 2025; 17(6):866. https://doi.org/10.3390/sym17060866

Chicago/Turabian Style

Alsahli, Ghaziyah, and Abasalt Bodaghi. 2025. "A System of Generalized Quadratic Functional Equations and Fuzzy Difference Results" Symmetry 17, no. 6: 866. https://doi.org/10.3390/sym17060866

APA Style

Alsahli, G., & Bodaghi, A. (2025). A System of Generalized Quadratic Functional Equations and Fuzzy Difference Results. Symmetry, 17(6), 866. https://doi.org/10.3390/sym17060866

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

Article Metrics

Back to TopTop