On the -Hyperstability of the Inhomogeneous σ-Jensen’s Functional Equation on Semigroups
Abstract
In this paper, we study the hyperstability problem for the well-known σ-Jensen’s functional equation f(xy) + f(xσ(y)) = 2f(x) for all x, y ∈ S, where S is a semigroup and σ is an involution of S. We present sufficient conditions on so that the inhomogeneous form of σ-Jensen’s functional equation f(xy) + f(xσ(y)) = 2f(x) + φ(x, y) for all x, y ∈ S, where the inhomogeneity φ is given, can be -hyperstable on S.
1. Introduction
Throughout this paper, we will denote by ℕ≔{1, 2, ⋯} the set of positive integers, ℕ0≔ℕ ∪ {0}. We let ℝ be the set of real numbers, ℝ+≔[0, ∞) be the set of nonnegative real numbers, and ℂ be the set of complex numbers. We write to mean “the family of all functions mapping from a nonempty set into a nonempty set ”.
The stability problem of functional equations originated from a question of Ulam [1], posed in 1940 before the Mathematics Club of the University of Wisconsin in which he suggested the following stability problem, well-known as the Ulam stability problem:
Let (G1, ·) be a group and let (G2, ∗) be a metric group with the metric d(.,.). Given a real number ε > 0, does there exist a real number δ > 0 such that if a mapping f : G1⟶G2 satisfies the inequality d(f(x · y), f(x)∗f(y)) ≤ δ for all x, y ∈ G1, then there is a homomorphism h : G1⟶G2 with d(f(x), h(x)) ≤ ε for all x ∈ G1?
If the answer is affirmative, then we call that the equation f(x · y) = f(x)∗f(y) is stable in the sense of Ulam.
In 1941, Hyers [2] gave the first affirmative answer to Ulam’s stability problem for the Banach spaces. Hyers’ theorem was generalized by Aoki [3] for additive mappings and by Rassias [4] for linear mappings by considering an unbounded Cauchy difference. Gãvruja [5] provided a further generalization of the Rassias theorem by using a general control function. During the last decades, the stability problems of several functional equations have been investigated by a number of authors (see [6–8]).
Definition 1 (see [14], Definition 7.)Let n ∈ ℕ, X be a nonempty set, (Y, d) be a metric space, , and and be operators mapping from a nonempty set into . We say that the functional equation
Note that in Definition 1, if we consider the family of all functions which yields the ε-hyperstability of (2), we can formulate the following definition of what we call -hyperstability of functional equations (see [17]).
Definition 2. Let n ∈ ℕ, X be a nonempty set, P ⊂ Xn be nonempty, (Y, d) be a metric space, be a nonempty subset, and be operators mapping from a nonempty set into YP, and be nonempty. Suppose that the conditional functional equation
for all (x1, ⋯, xn) ∈ P admits a solution . Then, we say that the conditional equation (4) is -hyperstable in provided for any , if for each function satisfying the inequality
for all (x1, ⋯, xn) ∈ P, then φ0 is the solution of (4).
If , then we omit the part “in ” and simply say “-hyperstable.”
Example 1. One of the most classical results concerning the hyperstability problem of the additive Cauchy equation is as follows:
Let E1 and E2 be normed spaces and c ≥ 0 and p be fixed real numbers. Assume also that f : E1⟶E2 is a mapping satisfying
Definition 3. Let (S, ·) be a semigroup and let σ be an involution on S satisfying σ(x · y) = σ(x) · σ(y) and σ(σ(x)) = x for all x, y ∈ S. The σ-Jensen functional equation on the semigroup S refers to the functional equation of the form
In their recent work, El Ghali and Kabbaj investigated the question of hyperstability in the context of non-Archimedean 2-Banach spaces, focusing specifically on σ-Jensen’s equation (13). The details of their study can be found in their paper [42].
This paper establishes the -hyperstability of the σ-Jensen’s functional equation (13) under certain asymptotic properties of the control function . Particularly, the inhomogeneous forms of this equation are proven to be hyperstable in the class of functions mapping a semigroup into a normed space.
2. Auxiliary Results
Before proceeding to the main results, we will state the following theorem (Theorem 4), which is relevant to our objective and can be regarded as a specific case of Theorem 2.2 in [13].
Theorem 4. Let n ∈ ℕ, X be a nonempty set, P ⊂ Xn be nonempty, and the triple (Y, +, d) be a translation invariant metric group. Consider the nonempty family of functions from P to ℝ+. Let and be two additive functions from a subgroup of the group (YX, +) into YP and be a subgroup of the group , and μ : P⟶Y. Suppose that the equation
Proof. Assume that equation (23) is -hyperstable in . Let and let satisfy the inequality
The converse implication is analogous.
3. Hyperstability of σ-Jensen’s Equation
In this section, let S≔(S, ·) be a semigroup and (E, ‖.‖) be an arbitrary normed vector space over ( denote either ℝ or ℂ).
A motivating idea used by Maksa and Páles in [9] was the basis of the proof method for the main results. This method relies on a lemma that establishes an identity for the two variable functions obtained by taking the difference of the left- and right-hand sides of (13).
Lemma 5. Let E be a normed vector space over and (S, ·) be a semigroup and let σ be an involution of S. Let f : S⟶E be an arbitrary function. Then, the function Df : S × S⟶E defined by
Proof. Let f : S⟶E be an arbitrary function and let Df : S × S⟶E be given by (29). Evaluating the left- and the right-hand side of (30), we get
The following theorem presents an -hyperstability result for equation (13). Namely, we show that, under some asymptotic properties of control functions , the functional equation (13) is -hyperstable in the class of functions f from an arbitrary semigroup S into a normed vector space E.
Theorem 6. Let E be a normed vector space, S be a semigroup, and σ be an involution of S. Let be a nonempty family of all functions ε whose domain is contained in S2 and range is contained in ℝ+ such that there exists a sequence of elements of S satisfying conditions
Proof. Let . Assume that f : S⟶E satisfies the inequatilty
Corollary 7. Let ε : S × S⟶ℝ+ be a function such that there exists u ∈ S, 0 ≤ r < 1, and 0 ≤ q < 1 such that
Then, f is a solution of (13).
Proof. By induction, it is easy to show that
Theorem 8. Let E be a real vector space, S be a semigroup, and σ be an involution of S and an inhomogeneity φ : S × S⟶E. Let be a nonempty family of all functions ε whose domain is contained in S2, and range is contained in ℝ+ such that there exists a sequence of elements of S satisfying conditions
Remark 9. The assumption in Theorem 8 that equation (46) admits a solution is quite natural because it seems that it makes sense to study stability or hyperstability of an equation only if it has solutions. However, we can still ask if such equation (without solutions) admits functions that satisfy it approximately in a certain way. This problem has been investigated in [43] for a quite general functional equation, a particular case of which is the inhomogeneous version of the Jensen functional equation.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Open Research
Data Availability
No data were used to support this study.