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 for all , where is a semigroup and is an involution of . We present sufficient conditions on so that the inhomogeneous form of -Jensen’s functional equation for all , where the inhomogeneity is given, can be -hyperstable on .

1. Introduction

Throughout this paper, we will denote by the set of positive integers, . We let be the set of real numbers, 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 be a group and let be a metric group with the metric (.,.). Given a real number , does there exist a real number such that if a mapping satisfies the inequality for all , then there is a homomorphism with for all ?

If the answer is affirmative, then we call that the equation 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]).

In 2001, Maksa and Páles [9] studied the stability problem of a class of linear functional equation for all , where is a real-valued mapping defined on an arbitrary semigroup and where are pairwise distinct automorphisms of . More precisely, they proved that if the error bound between the two sides of equation (1) satisfies a specific asymptotic property, then the two sides must be equal. This occurrence is referred to as hyperstability of the functional equation (1) on . The terms hyperstability and stability were coined in these historical contexts and have since been applied to various functional equations. To learn more about this, one can refer to [10–17]. Moreover, Brzdęk and Ciepliński introduced a definition in their paper [14] that describes the main ideas of hyperstability for functional equations in several variables.

Definition 1 (see [14], Definition 7). Let , be a nonempty set, be a metric space, , and and be operators mapping from a nonempty set into . We say that the functional equation for all is -hyperstable provided that every which satisfies for all fulfills equation (2).

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 , be a nonempty set, be nonempty, be a metric space, be a nonempty subset, and be operators mapping from a nonempty set into , and be nonempty. Suppose that the conditional functional equation for all 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 , then 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 and be normed spaces and and be fixed real numbers. Assume also that is a mapping satisfying for all . If , then is additive [11]. That is, the functional equation (6) is -hyperstable on , where .

By taking , the set of all functions such that for all , for some fixed real numbers and ; then, from Definition 2, equation (6) is -hyperstable on .

A common and significant variation of the additive Cauchy functional equation (6) is known as Jensen’s functional equation. This equation is particularly notable for its simplicity and importance. In the case of real numbers, Jensen’s functional equation can be expressed as follows: for all . On a multiplicative group , Ng has proposed two extensions to Jensen’s functional equation. The first extension is given by the equation for all , where is a function from the group with neutral element into an abelian additive group [18–20]. The second extension is expressed as follows: for all . Every solution of the Jensen functional equation is referred to as a Jensen function. It is easy to observe that equation (10) under the normalization condition is equivalent to the additive Cauchy functional equation (6) on (see [19, 21–23]).

Combining the concept of Jensen’s function defined on semigroups introduced by H. Stetkær in [24] and the research conducted by M. Almahalebi on the hyperstability of the -Drygas equation [25], which is defined as for all , where denotes a semigroup, and acknowledging that equation (10) cannot be applied to a semigroup due to the general absence of , we can introduce the following definition.

Definition 3. Let be a semigroup and let be an involution on satisfying and for all . The -Jensen functional equation on the semigroup refers to the functional equation of the form for all , where denotes functions mapping from to an abelian group.

The functional equation (13) takes the form for all when and is a group. Sinopoulos [26] determined that the general solution of the functional equation (13) on commutative semigroups is represented by a summation of the additive Cauchy function and a constant. An inhomogeneous form of -Jensen’s functional equation can be written for all , where is a semigroup, is an involution of , and are given.

Initially studied by Kominek [27], the stability problem of Jensen’s functional equation has been explored by several mathematicians, including Jung [28], Faziev and Sahoo [29], Mihet [30], Ciepliński [31], and Almahalebi et al. [32]. Various authors have studied the stability of the -Jensen functional equation (13) on abelian groups or vector spaces [33–35]. In their paper [36], a novel stability approach for the Pexider functional equation with involution in a normed space was introduced by Bouikhalene et al., which is given by for all .

The hyperstability question of Jensen’s functional equation (10) on abelian groups or vector spaces has been studied by various authors. Bahyrycz and Piszczek in [37] studied the hyperstability of Jensen’s functional equation of the form in the class of functions from a nonempty subset of a normed space into a normed space and by Piszczek in [38] and by Bahyrycz and Olko in [39].

In [40], Brzdęk et al. established the stability of a general functional equation given by for all which covers various specific cases including the additive Cauchy equation (6), the Jensen equation (10), the quadratic equation, and equation (13). The functional equation is defined for functions that map a groupoid into a Banach space , where the parameters , , , and are endomorphisms of the groupoid and , , , and are fixed scalars.

El-Fassi and Brzdęk in [41] presented and solved a functional equation of the form for all , where and are functions defined on a semigroup and take values in a commutative semigroup . In this equation, is an endomorphism of such that for all . Equation (13) is a special case of (19). However, the authors focused their discussion on two specific cases and did not provide a general analysis of the hyperstability problem for the equation. Specifically, they studied the following two cases: for all and for all without addressing the issue of hyperstability of equation (13) in a general context.

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].

In the following, let , be a nonempty set, be nonempty, be a group with a translation invariant metric (i.e., for all , , and in ), and be a group, where is a binary operation in (as usual, , and for , ). We say that a function from a subgroup of the group into is additive if for all , .

Theorem 4. Let , be a nonempty set, be nonempty, and the triple be a translation invariant metric group. Consider the nonempty family of functions from to . Let and be two additive functions from a subgroup of the group into and be a subgroup of the group , and . Suppose that the equation for all admits a solution . Then, the equation for all is -hyperstable in if and only if (23) is -hyperstable.

Proof. Assume that equation (23) is -hyperstable in . Let and let satisfy the inequality for all . Write . Then, and for all . Since (23) is -hyperstable in , is a solution of (23). That is, for all . Moreover, for all . Evidently, is a solution to (24). Therefore, (24) is -hyperstable in .
The converse implication is analogous.

3. Hyperstability of -Jensen’s Equation

In this section, let be a semigroup and 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 be a normed vector space over and be a semigroup and let be an involution of . Let be an arbitrary function. Then, the function defined by for all satisfies the following functional equation: for all .

Proof. Let be an arbitrary function and let be given by (29). Evaluating the left- and the right-hand side of (30), we get for all , and for all . Thus, (30) is valid.

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 from an arbitrary semigroup into a normed vector space .

Theorem 6. Let be a normed vector space, be a semigroup, and be an involution of . Let be a nonempty family of all functions whose domain is contained in and range is contained in such that there exists a sequence of elements of satisfying conditions for all . Then, equation (13) is -hyperstable.

Proof. Let . Assume that satisfies the inequatilty for all . Let be the function given by (29). Then, (34) becomes for all . Using Lemma 5, then satisfies the functional equation for all .

Suppose that there exists a sequence of elements of satisfying conditions (33). Then, by replacing with in (34), we get for all and all . Thus, by (33), we have for all . Replacing with in (34), we get for all and all . Thus, by (33), we have for all . Let be fixed. By replacing by in (36), we get

Taking the limit as and by (37), we deduce from (38) and (40) that that is, is a solution of (13). Therefore, equation (13) is -hyperstable.

Corollary 7. Let be a function such that there exists , and such that for all . Assume that satisfies the inequality Then, is a solution of (13).

Proof. By induction, it is easy to show that for all and all . Therefore, the asymptotic properties (33) of the control function are satisfied with the sequence , and the statement follows from Theorem 6.

From the above results (Theorem 4 and Theorem 6), we can derive a -hyperstability result for the inhomogeneous form of -Jensen’s functional equation

Theorem 8. Let be a real vector space, be a semigroup, and be an involution of and an inhomogeneity . Let be a nonempty family of all functions whose domain is contained in , and range is contained in such that there exists a sequence of elements of satisfying conditions for all . Suppose that the equation for all admits a solution . Then, this equation is -hyperstable.

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.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.