On the Generalized Stabilities of Functional Equations via Isometries

: The main goal of this research article is to investigate the stability of generalized norm-additive functional equations. This study demonstrates that these equations are Hyers-Ulam stable for surjective functions from an arbitrary group G to a real Banach space B using the large perturbation method. Furthermore, hyperstability results are investigated for a generalized Cauchy equation.


Introduction and Preliminaries
Functional equations (FEs) are essential in various fields, especially in stability analysis.This analysis focuses on whether functions that nearly satisfy a given functional equation have exact solutions close to these approximate ones.S.M. Ulam [1] was the first mathematician who proposed the following problem concerning the stability of FEs: Problem 1.Let A be a group, and B be a metric group with the metric d(•, •).Given > 0, does there exist δ > 0 such that mapping χ : A → B satisfies the inequality d(χ(gh), χ(g)χ(h)) < δ f or all g, h ∈ A, with homomorphism ξ : A → B with d(χ(g), ξ(g)) < for all g ∈ A?
In 1941, D. H. Hyers [2] presented a partial solution to a problem originally posed by Ulam [1].Hyers' result specifically addressed scenarios in which both A and B are Banach spaces, and conditions = δ > 0 are met.

Theorem 1 ([2]
).Let A and B be Banach spaces and > 0. Suppose that the function χ : A → B fulfills the following assumption: for all g, h ∈ A; then, there is function ξ : A → B such that Also, ξ : A → B is a unique additive function that satisfies χ(g) − ξ(g) ≤ , g ∈ A.
Rassias [12] established significant results concerning the generalized stability of functional equations by analyzing the behavior of the Cauchy difference.Our proposed findings build upon this foundational work and extend the understanding of stability in the context of norm-additive functional equations.Theorem 2. Let A and B be Banach spaces.There exists positive value λ and 0 ≤ q < 1. Assume that function χ(tx) from A to B is continuous in t for every fixed element x.Assume also that χ(g + h) − χ(g) − χ(h) ≤ λ( g q + h q ), g, h ∈ A.
Our study compares the classical stability results of functional equations by Hyers and Rassias with contemporary developments that involve groups and Banach spaces.The new results expand on previous methods by considering mappings from arbitrary groups to Banach spaces and employing a condition based on the supremum of differences.This approach introduces an innovative methodology for analyzing the stability of these mappings.
The findings of this study generalize and extend the stability results of Hyers and Rassias to arbitrary groups, enhancing our understanding of the behavior of functional equations within normed spaces.Furthermore, by incorporating hyperstability into the analysis, this work refines the conditions under which stability can be assured, enriching the broader framework of stability analysis in functional analysis.
Several prominent researchers have significantly contributed to the study of the following norm-additive functional equations: (refer to the studies by R. Ger [13][14][15], J. Aczél and J. Dhombres [16], and J. Dhombres [17] for related discussions).When function χ satisfies Equation (1), it is referred to as a normadditive functional equation (FE).M. Hosszu's paper [18] significantly inspired the study of this functional equation, particularly emphasizing alternative equation e(x)χ(g Norm-additive functional Equation ( 1) is fundamental to stability analysis in functional equations.Intuitively, function χ, when applied to the sum of two elements g and h from a group, should yield a norm equivalent to the sum of the norms of the function applied to each element individually.This condition is essential for understanding the behavior of the function in additive contexts, which is crucial for many practical applications where linearity or near-linearity is presumed.In this framework, stability analysis explores the extent to which a function adheres to the norm-additive criterion.Throughout this work, we establish upper bounds on χ(g + h) − χ(g) − χ(h) to identify the ideal additive function as defined by the functional equation.[19] initially introduced norm-additive functional Equation (1) in the context of Hilbert spaces.This equation is notable for its ability to characterize convex spaces, as detailed in [13].When the target space is strictly convex, solution χ to the Fischer-Muszély functional equation becomes additive.R. Ger proposed a solution to norm-additive functional Equation (1) which maps from an abelian group to a normed space.For reference, see [15].It is evident that all solutions to norm-additive functional Equation (1) must be odd.However, the solutions to the following norm-additive functional equation differ in this regard.

Fischer and Muszély
The analysis of functional Equations ( 1) and ( 2) reveals that, in general, functional Equation ( 1) implies ( 2), but not necessarily the reverse.However, if mapping χ is assumed to be an odd function, then (1) and ( 2) become mutually implicative.Tabor [9] established that Equation ( 1) is stable under the assumption that the mapping is surjective.
Tabor [9] examined the stability results of the functional equation originally studied by Fischer and Muszély.Theorem 3. Let (G, +) be a group and A be a Banach space.Suppose χ : G → A is a surjective mapping that satisfies inequality then, we obtain It is noteworthy that if G is an abelian group, or more generally an amenable group, then the combined application of Hyers' Theorem and Theorem 3 ensures the stability of the Fischer-Muszély functional equation within the context of surjective mappings.A δ-surjective function from a nonempty set A to a Banach space B is defined as follows: for every y ∈ B, there exists an x ∈ A such that the distance between χ(x) and y is less than δ, i.e., χ(x) − y < δ.
Using the concept of δ-surjective mapping, Sikorska [20] proposed the stability analysis of the norm-additive functional Equation (2) for an abelian group as follows: Theorem 4. Let (G, +) be an abelian group and A be a Banach space.If a δ-surjective mapping χ : G → A satisfies inequality To gain a deeper understanding of the established theory of stability, we encourage readers to consult articles [21][22][23][24][25][26][27][28], as well as the references cited within those works.These resources provide comprehensive insights and foundational knowledge essential for a thorough grasp of the stability theory.
This research article extends the proposed results of J. Tabor [9] and J. Sikorska [20] by incorporating the results established by Lindenstrauss and Szankowski [29].Our approach includes taking advantage of Lindenstrauss and Szankowski's results to derive relevant results in a more generalized setting via the large perturbation method (subject to the restriction of integral convergence).
Unlike the previous studies conducted by Hyers, Rassias, Tabor, and Sikorska, which were restricted to abelian groups or specific types of mappings, our work does not impose such limitations.Consequently, it addresses a broader and more complex set of conditions.The key advantages of our proposed approach are as follows: 1.
By not restricting our analysis to abelian groups or linear mappings, our results are applicable to a broader range of mathematical and practical problems where the underlying algebraic structures are non-abelian.2.
Our proposed results provide conditions under which the mappings not only approximate an additive function but do so in such a manner that the error vanishes asymptotically as the norms of the arguments increase.This aspect is particularly important in applications involving large-scale structures, where asymptotic behaviors play a critical role.
The subsequent section employs a theorem presented by Lindenstrauss and Szankowski.This foundational result is pivotal in our analysis and derivation of the main findings.
Theorem 5. Suppose that χ : A → B is a surjective function, where A and B are Banach spaces.Assume that χ(0) = 0 and define function holds, then there exists linear isometry ξ : A → B such that Mapping χ : G → B is assumed to be surjective, significantly expanding the applicability of our results to a broader range of mathematical and applied problems.The critical novelty of our approach lies in applying the integral condition proposed by Lindenstrauss and Szankowski, which provides a powerful tool for establishing stability by the existence of a linear isometry that closely approximates the surjective function under study.This approach allows for us to extend the results by J. Tabor and J. Sikorska and to provide a more comprehensive understanding of the stability behavior of functional equations under more general and realistic conditions.Dong and Zheng [30] proved the stability of Cauchy's additive function for the abelian group (G, +) assuming the condition of bijectivity.
In the context of a Banach space denoted as B, it is deemed to possess p-uniform convexity for all 0 < ≤ 2 if there exists a positive constant M such that inequality δ B ( ) ≥ M p holds true, where δ B ( ) denotes the convexity modulus, under the condition that δ B ( ) > 0.
The following results are provided by L. Cheng et al. [31] related to the concept of p-uniformly convex spaces.Theorem 7. Let χ : A → B be a function where A is a Banach space and B is a p-uniformly convex space such that χ(0) = 0. Define function Function χ specified in the above Theorem 7 is said to be as coarse isometry and it can be seen that Moreover, L. Sun et al.
[32] expanded upon the findings of Y. Dong [30] by examining B as a p-uniformly convex space rather than a generalized Banach space.They utilized the work of L. Cheng et al. [31] on the theory of p-uniformly convex spaces to achieve significant results pertaining to the abelian group (G, +).
The main feature of the research being discussed is its utilization in noncommutative groups, which represents an advancement from previous studies that primarily concentrated on abelian or additive groups.This extension notably enhances the scope of stability outcomes in functional analysis and group theory.A key aspect of the findings is the requirement for mapping χ : G → B to be surjective, a stringent condition that guarantees the mapping spans the entirety of Banach space B. This prerequisite is essential for establishing significant and thorough stability implications.
A functional equation is considered hyperstable when any approximate solution is not merely close to but actually coincides with an exact solution.This concept has been examined across various types of functional equations and in different contexts.The study of hyperstability in norm-additive functional equations in particular has received significant attention.Forti [7] notably demonstrated that certain functional equations manifest hyperstability under specific conditions.Further advancing this field, G. Maksa et al. [34] introduced hyperstability results for linear functional equations of the form where S is a semigroup and φ 1 , φ 2 , . . ., φ n : S → S are pairwise distinct automorphisms of S such that set {φ 1 , φ 2 , . . ., φ n } is a group equipped with the composition as the group operation.The proposed results stated that χ satisfies the above equation if χ satisfies stability inequality where : S × S → R.
The following theorems concerning the hyperstability results for the Cauchy equation have been proven by J. Brzdęk in [35].
Theorem 11.Let (X, •|• ) be a real inner product space with dim X ≥ 1, Y a normed space, and χ : X → Y.If there are positive real numbers p = 1 and λ such that then χ is additive.
If p = 1, then χ does not need to be additive.
Theorem 12. Let X and Y be normed spaces, dim X > 2, and χ : X → Y. Suppose also that there are positive real numbers p and λ 0 with If p = 1 or X is not a real inner product space, then χ is additive.
Theorem 14.Let E 1 and E 2 be normed spaces, X ⊂ E 1 \ {0} nonempty, c ≥ 0, and p, q real numbers with p + q < 0. Assume also that there is an m Then, every operator χ : Further results concerning hyperstability are detailed in the works of Jung [38] and Cȃdariu and Radu [39].These researchers investigated various functional equations, including Jensen's and Pexider's equations, and established conditions under which hyperstability can be achieved.For some further results, related to the issue of hyperstability, we refer the reader to see ( [40], Thorem 8.3) (for a generalization of the quadratic equation), ( [41], Thorem 21.3) (for the equations of homomorphism for square symmetric groupoids, considered in a class of set-valued mappings), ([42], Thorem 1) (for a functional equation in one variable in a class of set-valued mappings) and [43] (for functional equations of trigonometric forms in hypergroups).
In our proposed results (see Theorem 19), we also present the hyperstability results for the generalized Cauchy equation.This finding is consistent with the work of other researchers, such as Skof [44] and Ger [45], who have investigated similar hyperstability conditions for various types of functional equations.
Throughout this article, G denotes an arbitrary group, with e representing the identity element.Given that G is an arbitrary group, we consistently use multiplication to denote the group operation, writing gh for any elements g and h in G.

Main Results
To demonstrate the key results, we first define (G, •) as an arbitrary group and B as a real Banach space.Functions ψ χ and ψχ for ν ≥ 0 are defined as follows: and We assume that the following integral conditions hold true: Furthermore, according to Theorems 15-18, we assume that mapping χ : G → B is surjective and satisfies condition χ(e) = 0.
Theorem 15.Let (G, •) be an arbitrary group and B be a real Banach space.If the defined function ψ χ in (3) satisfies Condition (5), then function χ : G → B satisfies equation Proof.The established function ψ χ (ν) exhibits a clear monotonic increase with respect to ν, and it is evident that and For any fixed element h ∈ B, we define a set-valued function For any fixed elements r, s ∈ B, we can possibly choose z r ∈ H h (r) and z s ∈ H h (s).Then, there exist b r ∈ χ −1 (r) and b s ∈ χ −1 (s) in such a way that z r = χ(b r h −1 ) + χ(h) and Furthermore, when adopting an alternative approach, we observe that We consider a scenario in which, for any given function φ h : G → B of H h , drawing conclusions from inequalities ( 10) and ( 11), it can be inferred that Therefore, we demonstrate the validity of the following condition: From ( 5) and ( 12), we can conclude 1≤ν,ψ χ (ν)≤ν Furthermore, it can be inferred that 1≤ν<ψ χ (ν) Upon examining the defined function ψ χ (ν) as provided in Equation (3), it is evident that ψ χ (ν) exhibits a monotonically increasing behavior concerning ν.This observation allows for us to deduce that and function ψ χ is also sub-additive.Inequalities ( 15) and ( 16) yield 1≤ν<ψ χ (ν) From Inequalities ( 14) and ( 17), we determine that We assume that r = s such that b r , b s ∈ H h (r); therefore, Inequality (10) offers For any arbitrary s ∈ B, we choose b ∈ χ −1 (s − χ(h)).We suppose that r = χ(bh), and we obtain bh ∈ χ −1 (r).Therefore, s = χ((bh)h −1 ) + χ(h) ∈ H h (r), which implies that H h is surjective and ( 18) implies that φ h is 2ψ χ (ψ χ (0))-surjective.According to Theorem 5 and utilizing Inequality (13), we can obtain linear isometry L φ h from B onto B, so , where r → ∞; therefore, we have We consider another mapping ξ : B → B for the selection of H h .Therefore, Inequality (18) becomes Then, we can obtain , by utilizing r = χ(g) in (19) and notifying L φ h by L h , we can obtain We consider any two fixed elements h 1 , h 2 ∈ G; then, we can determine L h 1 and L h 2 as follows: Setting h = e (an identity element of group G) in (20), we obtain As χ(g) → ∞, L e (χ(g)) = χ(g), which implies that L e is an identity function.Moreover, we find that L h = I for every g ∈ G. Since L h = I for any h ∈ G, Equation (20) yields which is the required result.
Subsequently, by applying Theorem 15, we prove Theorem 16.For this purpose, we introduce a new generalized criterion for function ψχ , which incorporates the generalized version of the norm-additive functional Equation (1) to derive the following stability result: by applying an appropriate condition through a large perturbation method.
Theorem 16.Let (G, •) be an arbitrary group and B be a real Banach space.If the defined function ψχ in (4) satisfies Condition (6), then mapping χ : G → B satisfies equation Proof.Setting g = h −1 in the defined function ψχ (ν), for every h ∈ G, we obtain We consider Again, we consider From Inequalities ( 23) and ( 24), we determine that Also, From ( 25) and (26), we can write ψχ and ψ χ as follows: Applying the inequality from ( 6) in (27), we obtain Hence, from previous Theorem 15, we can obtain for every g, h ∈ G, which is the required proof.
Remark 1.We begin by noting that Theorem 16 provides conditions under which function ψχ defined in (4) is bounded in a certain integral sense, and this is used to establish an asymptotic property of χ.For Theorem 16 to imply Theorem 15, we would need to establish a relationship between ψχ and ψ χ such that the integral condition (5) described in Theorem 15 satisfies the defined function ψ χ in (3).However, without additional assumptions on the properties of χ, it is not generally possible to derive the results of Theorem 15 from Theorem 16.When we define mapping ψχ and assume that χ(g −1 ) = −χ(g), it can be seen that the results of Theorem 16 imply Theorem 15.Potential assumptions could include linearity or near-linearity of χ, specific symmetry, or boundedness conditions that relate to the additive and subtractive properties of χ.
Following the methodology outlined in Theorem 15 and defining the set-valued mapping H h from the Banach space B to 2 B , with a specific focus on selecting a fixed element h from the noncommutative group G, we present Theorem 17 to establish the stability result of the norm-additive FE as follows: Theorem 17.Let (G, •) be an arbitrary group and B be a real Banach space.If the defined function ψ χ in (3) satisfies Condition (5), we obtain By defining function ψχ (ν) for ν ≥ 0 and following the steps outlined in Theorem 16, we now present Theorem 18 through the manipulation of Theorem 17.This approach leads to the derivation of the stability result shown in Equation (28).
Theorem 18.Let (G, •) be an arbitrary group and B be a real Banach space.If the defined function ψχ in (4) satisfies Condition (6), then This proposed study compares recent stability results of functional equations presented in Theorems 15-18 with earlier results by Tabor and Sikorska for different group operations.It specifically addresses non-abelian structures and includes functional forms ψ χ and ψχ .These conditions extend the applicable scenarios of stability analysis to more general settings and group operations compared to the results of Tabor and Sikorska.
Remark 2. The proposed results generalize and refine the results by Tabor and Sikorska by

•
Extending the results to more general settings involving noncommutative groups, thus broadening the applicability.

•
Incorporating integral conditions that provide a more nuanced measure of stability and dependence on group elements, offering a finer resolution of stability characteristics.

•
Allowing for mappings where the domain and codomain structures are more broadly defined (arbitrary groups and real Banach spaces) captures a wider variety of functional equations.

•
Addressing asymptotic behavior provides insights into the long-term stability of the mappings beyond fixed bounds.
G is abelian, then every mapping χ is central; nevertheless, the converse may not be true.
Theorem 19.Consider central mapping χ : S → H, where S is a semigroup and H is a Hilbert space.Then, each solution χ of equation satisfies equation Proof.Initially, we assume that mapping χ : S → H satisfies functional Equation (29).To achieve the desired outcome, it is necessary to demonstrate that mapping χ satisfies functional Equation (30).This condition alone is sufficient to prove the stated result.Therefore, to achieve this objective, it is imperative to demonstrate that χ(g 2 ) = 2χ(g), g ∈ S.

Conclusions and Recommendations
This work contributes to the stability analysis of norm-additive functional equations in noncommutative groups and real Banach spaces.It demonstrates the Hyers-Ulam stability of functional equations with surjective mappings χ : G → B by imposing precise integral conditions.This study significantly extends the findings of Tabor and Sikorska by incorporating the results of Lindenstrauss and Szankowski.As a result, it provides a more comprehensive and reliable stability criterion for arbitrary groups and mappings.These results enhance our understanding of the stability behavior of such functional equations and broaden their applicability to a wider range of group structures and Banach spaces.The findings not only generalize the classical stability results of Hyers and Rassias by incorporating more general group settings, but also provide more precise conditions under which stability can be guaranteed.Our findings demonstrate that the generalized Cauchy functional equation exhibits hyperstability.
Future research might assess the stability of the suggested norm-additive functional equations (FEs) in different spaces, such as p-uniformly convex spaces, to expand the findings of L. Sun [32] and Y. Sun [33] utilizing L. Cheng's [31] results.Furthermore, examining the stability of these norm-additive FEs may require eliminating surjective mapping requirements.Other types of functional equations, such as Jensen and quadratic FEs, can be investigated for their stability and hyperstability characteristics.Also, the domain of the mapping could be expanded to include structures such as monoids, semigroups, or groupoids, rather than being limited to group G.This presents an open problem, and future scholars are encouraged to examine these aspects further.