# Survey on Recent Ulam Stability Results Concerning Derivations

Authors: Janusz Brzdęk; Liviu Cădariu; Krzysztof Ciepliński; Ajda Fošner; Zbigniew Leśniak
Journal: Journal of Function Spaces
 (2016)

---

## Abstract

This is a survey presenting the most significant results concerning approximate (generalized) derivations, motivated by the notions of Ulam and Hyers-Ulam stability. Moreover, the hyperstability and superstability issues connected with derivations are discussed. In the section before the last one we highlight some recent outcomes on stability of conditions defining (generalized) Lie derivations.


---

## Body

## 1. Introduction

We say that a functional equationE is stable if any function f, satisfying the equation approximately, is near to an exact solution of E. A classical question in the theory of functional equations isunder what conditions a functional equation E is stable?This problem was formulated by Ulam in 1940 for group homomorphisms (see [1, 2]). One year later, Ulam’s problem was affirmatively solved by Hyers [3] for the Cauchy functional equation f ( a + b ) = f ( a ) + f ( b ). This gave rise to the stability theory of functional equations. Aoki [4] and Rassias [5] considered mappings f from a normed space into a Banach space such that the norm of the Cauchy difference is bounded by the expression ε ( a p + b p ) for all a , b, some ε ⩾ 0, and 0 ⩽ p < 1. That result was later extended also for real p ∉ [ 0,1 ]. For a survey on recent progress in that area, we refer to [6].The terminology Hyers-Ulam-Rassias stability indeed has been motivated by [5] and its influence on the research in that area of other mathematicians.In the last few decades, several stability problems of various functional equations have been investigated by many mathematicians. The reader is referred to monographs [7–9] for a comprehensive account of the subject.


## 2. Auxiliary Information

LetA be a subring of a ring B. An additive mapping d : A → B is called a derivation if (1) d x y = d x y + x d y ,  x , y ∈ A .Recall that in the case when A and B are algebras over a field F, some authors define derivations as F-linear (i.e., linear over the field F) mappings satisfying the above equality.Ifd is a derivation and g : A → B is an additive mapping satisfying(2) g x y = g x y + x d y ,  x , y ∈ A ,then g is called a generalized derivation. In the framework of pure algebra, this concept was first introduced by Brešar [10]. In the context of operator algebras, these mappings first appeared in [11].Generalized derivations are one of the natural generalizations of ordinary derivations. It is easy to see that generalized derivations are exactly those additive mappingsg which can be written in the form g = d + f, where d : A → B is a derivation and f : A → B is a left centralizer, that is, additive mapping with the property(3) f a b = f a b ,  a , b ∈ A .For results concerning (generalized) derivations, we refer the reader to [12, 13] and references therein.Singer and Wermer [14] obtained a fundamental result which initiated investigations on the ranges of linear derivations on Banach algebras. The so-called Singer-Wermer theorem states that any continuous linear derivation on a commutative Banach algebra maps into the Jacobson radical. They also made a very insightful conjecture that the assumption of continuity is unnecessary. This conjecture, known as the Singer-Wermer conjecture, was proved in 1988 by Thomas [15]. The Singer-Wermer conjecture implies that any linear derivation on a commutative semisimple Banach algebra is identically zero [16]. More than two decades later, Hatori and Wada [17] proved that the zero operator is the only derivation on a commutative semisimple Banach algebra with the maximal ideal space without isolated points. Based on these facts and a private communication with Watanabe [18], Miura et al. [18] proved the Hyers-Ulam-Rassias stability and Bourgin-type superstability of derivations on Banach algebras. Here we have to point out that the first superstability result concerning derivations on algebras of bounded linear operators on a real or complex infinite dimensional Banach space was obtained already in 1994 by Šemrl [19] (see Section 3, where superstability of derivations is defined). A notion somewhat stronger than superstability is that of hyperstability; it also will be discussed in this survey.


## 3. Stability of Derivations

In 1996, the stability of derivations was considered by Jun and Park [20]. Motivated by the study of Johnson [21, 22], who investigated almost multiplicative maps on Banach algebras (see also [23, 24]), Jun and Park proved that there exists a derivation near an almost derivation from a Banach algebra C n [ 0,1 ] of differentiable functions to a finite dimensional Banach C n 0,1-module M (i.e., a Banach space M together with a continuous homomorphism ρ : C n 0,1 → B M, where B M denotes the algebra of all bounded operators on M). More precisely, they showed the following theorem [20, Theorem 5].Theorem 1.
LetM be a Banach C n [ 0,1 ]-module and let ε > 0. If a mapping D : C n [ 0,1 ] → M is continuous and linear such that(4) D f g - ρ f D g - ρ g D f ⩽ ε f g ,  f , g ∈ C n 0,1and ρ ( z ) i D ( z j ) = 0 ,   for   i + j = n + 1 ,   i , j = 0,1 , … , n, then there exist a continuous linear mapping d : C n [ 0,1 ] → M and ε ′ > 0 such that(5) d f g = ρ f d g + ρ g d f ,  f , g ∈ C n 0,1 , D f - d f ⩽ ε ′ f ,  f ∈ C n 0,1 ,where ε ′ tends to 0 as ε tends to 0.During the past few years, approximate derivations were studied by a number of mathematicians (see [25–31] and references therein). In the year 2004, Park [28] showed that for an almost derivation D on a complex Banach algebra A there exists a unique derivation d on A which is near D. From Park’s result we can derive the next theorem.Theorem 2.
LetA be a closed subalgebra of a complex Banach algebra B and let D : A → B be a mapping with D ( 0 ) = 0 for which there exists a function φ : A 4 → [ 0 , ∞ ) such that(6) φ ~ x , y , z , w ≔ ∑ j = 0 ∞ 2 - j φ 2 j x , 2 j y , 2 j z , 2 j w < ∞ , D λ x + λ y + z w - λ D x - λ D y - D z w - z D w ⩽ φ x , y , z , wfor all λ ∈ T 1 ≔ λ ∈ C : λ = 1 and all x , y , z , w ∈ A. Then there exists a unique C-linear derivation d : A → B such that(7) D x - d x ⩽ 1 2 φ ~ x , x , 0,0 ,  x ∈ A .One can apply this result toC ∗-algebras and J B ∗-algebras as well (see [28]). Analogously, the Hyers-Ulam-Rassias stability of Lie ∗-derivations on Lie C ∗-algebras was proved in [29].Two years after Park’s paper on the stability of derivations was published, Badora [26] investigated approximate derivations on Banach algebras using Hyers’s theorem (see [3] or [7]). We present Badora’s main result [26, Theorem 2] in a bit extended form (in [26], D , d : A → B, where A is a closed subalgebra of a Banach algebra B). A sketch of its proof will be given later in this section.Theorem 3.
LetA be a Banach algebra and let M be a Banach A-bimodule. Suppose that D : A → M is a mapping satisfying(8) D x + y - D x - D y ⩽ ε , D x y - D x y - x D y ⩽ νfor all x , y ∈ A and some constants ε , ν > 0. Then there exists a unique derivation d : A → M such that (9) D x - d x ⩽ ε ,  x ∈ A .Moreover, we have(10) y D x - d x = D x - d x y = 0  x , y ∈ A .A generalization of Hyers’s theorem given by Isac and Rassias (see [7, 32]) shows that if a function φ : R + → R + (here, R + denotes the set of all nonnegative real numbers) satisfies(i)
lim t → ∞ ⁡ φ ( t ) / t = 0, (ii)
φ t s ⩽ φ t φ s ,   t , s > 0, (iii)
φ t < t ,   t > 1and if D : A → M is a mapping such that(11) D x + y - D x - D y ⩽ ε φ x + φ y ,  x , y ∈ A ,for some positive constant ε, then there exist a unique additive mapping d : A → M and a constant c ∈ R such that(12) D x - d x ⩽ c ε φ x ,  x ∈ A .The classical example of a function φ fulfilling the above three conditions is a map φ ( t ) = t q,t ∈ R +, where q < 1. Using this result, we have the following generalization of Theorem 3.Theorem 4.
LetA be a Banach algebra and let M be a Banach A-bimodule. Assume that φ 1 : R + → R + is a function with properties ( i ), ( i i ), and ( i i i ) and φ 2 : R + → R + fulfills ( i ). Suppose that D : A → M is a mapping satisfying(13) D x + y - D x - D y ⩽ ε φ 1 x + φ 1 y , D x y - D x y - x D y ⩽ φ 2 x · yfor all x , y ∈ A and some constant ε > 0. Then there exist a unique derivation d : A → M and a constant c ∈ R such that(14) D x - d x ⩽ c ε φ 1 x ,  x ∈ A .If we want to extend Theorem4 to the case of p , q > 1, then we can adopt the method presented by Gajda [33] to obtain the above Isac-Rassias result for the function φ : R + → R + fulfilling( i ′)
l i m t → 0 φ ( t ) / t = 0, (i i ′)
φ ( t s ) ⩽ φ ( t ) φ ( s ), t , s > 0, (i i i ′)
φ ( t ) < t, 0 < t < 1 .After this modification we get the following version of Theorem4.Theorem 5.
LetA be a Banach algebra and let M be a Banach A-bimodule. Assume that φ 1 : R + → R + is a function with properties ( i ′ ), ( i i ′ ), and ( i i i ′ ) and φ 2 : R + → R + fulfills ( i ′ ). Suppose that D : A → M is a mapping satisfying (13) for all x , y ∈ A and some constant ε > 0. Then there exist a unique derivation d : A → M and a constant c ∈ R satisfying (14).In the same year as Badora’s result was presented, Moslehian [34] published a paper which is devoted to the study of the Hyers-Ulam-Rassias stability of generalized derivations. In the proof of the result presented below [34, Theorem 2.1], to construct a generalized derivation Moslehian applied the direct method, which was first devised by Hyers [3] constructing an additive function from an approximate one. Moreover, the derivation required in the definition of a generalized derivation is also constructed in this way. Let us also point out that the results in [34] are a generalization of those of Park’s papers [28, 29].Theorem 6.
LetA be a complex normed algebra with a unit 1 and let M be a Banach A-bimodule such that 1 · x = x · 1 = x for all x ∈ M. Suppose that G : A → M is a mapping with G ( 0 ) = 0 for which there exist a map D : A → M and a function φ : A 4 → [ 0 , ∞ ) such that(15) φ ~ x , y , z , w ≔ 1 2 ∑ j = 0 ∞ 2 - j φ 2 j x , 2 j y , 2 j z , 2 j w < ∞ , G λ x + λ y + z w - λ G x - λ G y - G z w - z D w ⩽ φ x , y , z , wfor all λ ∈ T 1 and all x , y , z , w ∈ A. Then there exists a unique C-linear generalized derivation g : A → M such that(16) G x - g x ⩽ 1 2 φ ~ x , x , 0,0 ,  x ∈ A .In the year2010, Gordji and Moslehian [27] utilized the notion of module extension to reduce the problem of stability of derivations to the problem of stability of homomorphisms (i.e., additive multiplicative mappings) studied by Badora [35]. In the following we give some more details.LetA be a Banach algebra and let M be a Banach A-bimodule. Then, it is easy to see that M ⊕ 1  A is a Banach algebra equipped with the l 1-norm(17) x , a = x + a ,  x ∈ M ,   a ∈ Aand the product(18) x , a y , b = x · b + a · y , a b ,  x , y ∈ M ,   a , b ∈ A .Here, the symbol · represents the norm on a normed algebra A and the norm on a normed A-bimodule M, and · denotes the module multiplication on M. The algebra M ⊕ 1  A is called a module extension Banach algebra. Furthermore, the projection map π 1 : M ⊕ 1  A → M is defined by ( x , a ) ↦ x. Similarly, the projection map π 2 : M ⊕ 1  A → A is defined by ( x , a ) ↦ a. For more information about Banach modules and module extensions, we refer the reader to [36, 37].Badora’s result [35, Theorem 1] implies that if H : A → M is a mapping satisfying(19) H x + y - H x - H y ⩽ ε , H x y - H x H y ⩽ νfor all x , y ∈ A and some constants ε , ν > 0, then there exists a unique homomorphism h : A → M such that(20) H x - h x ⩽ εfor all x ∈ A. Furthermore,(21) y H x - h x = H x - h x y = 0for all x ∈ A and all y in the algebra generated by h ( A ).Now, suppose thatD : A → M satisfies the assumptions of Theorem 3 and let H D : A → M ⊕ 1  A be a mapping defined by(22) H D x = D x , x ,  x ∈ A .Then, it is easy to see that(23) H D x + y - H D x - H D y ⩽ εand similarly (24) H D x y - H D x H D y ⩽ νfor all x , y ∈ A. Thus, it follows that there exists a unique homomorphism h : A → M ⊕ 1  A such that (25) H D x - h x ⩽ εfor all x ∈ A. Furthermore,(26) y , z D x - d x = D x - d x y , z = 0for all x ∈ A and all ( y , z ) in the algebra generated by h ( A ). Now, if we put d ≔ π 1 ∘ h, then we can show that d satisfies all the requirements in Theorem 3. Similarly, Fošner and Moslehian [38] reduced the problem of stability of generalized derivations to the stability of homomorphisms using the module extension as a trick.


## 4. Hyperstability and Superstability of Derivations

The investigation of the multiplicative and exponential Cauchy functional equations (see [39]; for recent extensions we refer to [40]) highlighted a new phenomenon, which is nowadays called superstability (see, e.g., [41]). In this case the so-called stability inequality implies that the observed function is either bounded or it is a solution of the functional equation. But it can also happen that each function f, satisfying the functional equation E approximately, must actually be a solution of the proposed equation E. In this case we say that the functional equation E is hyperstable. According to our best knowledge, the first hyperstability result was published in [42] and concerned with homomorphisms. However, the term hyperstability has been used for the first time probably in [43] (see also [44, 45]). For more information about the new results on hyperstability and superstability, we refer the reader to review articles [46, 47].As we are aware, the hyperstability result concerning derivations was first obtained by Šemrl in [19] (actually, it has been named there a superstability result).Theorem 7.
LetB ( X ) be the algebra of all bounded linear operators on a real or complex infinite dimensional Banach space X and let A ( X ) be a standard operator algebra on X. Assume that φ : R + → R + is a function with the property(27) lim t → ∞ ⁡ φ t t = 0 .Suppose that D : A ( X ) → B ( X ) is a mapping satisfying (28) D A B - D A B - A D B ⩽ φ A B ,  A , B ∈ A X .Then, D is a linear derivation. More precisely, there exists T ∈ B ( X ) such that(29) D A = A T - T Afor all A ∈ A ( X ) (i.e., D is an inner derivation).Generally the above hyperstability result is not true. Namely, letM 2 be the algebra of all 2 × 2 real matrices and (30) A = x 0 0 0 :   x ∈ R .Suppose thatf : A → M 2 is a mapping given by the formula(31) f x 0 0 0 = 0 0 0 1 ,  x ∈ R .Then,(32) f x 0 0 0 + y 0 0 0 - f x 0 0 0 - f y 0 0 0 = 0 0 0 - 1 , f x 0 0 0 · y 0 0 0 - f x 0 0 0 · y 0 0 0 - x 0 0 0 · f y 0 0 0 = 0 0 0 1for all x , y ∈ R. Therefore, f satisfies assumptions of Theorem 7 with a constant function φ but f is not a derivation (see also [26]). But, since f is bounded, this does not exclude the superstability phenomenon in this case.In [26, Corollary 1, Theorem 5], Badora studied superstability of additive derivations on unital Banach algebras. The following theorem is a generalization of Badora’s result.Theorem 8.
LetA be a Banach algebra with a unit 1 and let M be a Banach A-bimodule such that 1 · x = x · 1 = x for all x ∈ M. Suppose that D : A → M is a mapping satisfying (33) D x + y - D x - D y ⩽ ε , D x y - D x y - x D y ⩽ νfor all x , y ∈ A and some constants ε , ν > 0. Then D is a derivation.As in the previous section of our paper, we can generalize Theorem8 replacing constants ε and ν by functions fulfilling corresponding conditions.Next, Moslehian [34] proved the hyperstability result for generalized derivations. More precisely, Moslehian studied approximate generalized derivations on unital Banach algebras in the following way [34, Theorem 2.7].Theorem 9.
LetA be a complex Banach algebra with a unit 1. Suppose that G : A → A is a mapping with G ( 0 ) = 0 for which there exist a map D : A → A and a constant ε > 0 such that (34) G λ x + λ y + z w - λ G x - λ G y - G z w - z D w ⩽ εfor all λ ∈ T 1 and all x , y , z , w ∈ A. Then, G is a C-linear generalized derivation and D is a C-linear derivation.Later, Gordji and Moslehian [27, Corollary 2, Corollary 3] presented two superstability results concerning derivations as direct consequences of the main result of the paper [27] (i.e., Theorem 3). Similarly, Fošner and Moslehian [38, Corollary 4.5] proved a hyperstability result concerning generalized derivations.Theorem 10.
LetA be a Banach algebra and let M be a Banach A-bimodule without order. Suppose that G , D : A → M are mappings satisfying(35) D x + y - D x - D y ⩽ ε 1 , G x + y - G x - G y ⩽ ε 2 , D x y - D x y - x D y ⩽ ν 1 , G x y - G x y - x D y ⩽ ν 2for all x , y ∈ A and some constants ε 1 , ε 2 , ν 1 , ν 2 > 0. Then, G is a generalized derivation and D is a derivation.So, ifA is a Banach algebra with an approximate unit and G , D : A → A mappings satisfying the above conditions for all x , y ∈ A and some constants ε 1 , ε 2 , ν 1 , ν 2 > 0, then G is a generalized derivation and D is a derivation. Namely, every Banach algebra with an approximate unit, as a Banach bimodule over itself, is without order.The superstability and hyperstability properties of mappings in various classes, related to derivations and generalized derivations, were widely studied by several mathematicians. An interested reader can find more information about new results and further references on the topic in [48–55].We end this section with an example of hyperstability result, which is a simple characterization of derivations, proved in a recent paper by A. Bahyrycz, J. Brzdęk, and M. Piszczek “Approximatelyp-Wright Affine functions, Inner Product Spaces, and Derivations” to appear in Fixed Point Theory. To this end we need to introduce the following three hypotheses.( H 1 )
For eachx ∈ A there is a set D x ⊂ F such that i n t D x - D x ≠ ∅ and g is bounded on the set D x x : = { a x : a ∈ D x }. ( H 2 )
There exists( u , v ) ∈ R 2 ∖ ( 1 , ∞ × 0 , ∞ ) such that(36) sup x ∈ A ∖ 0 ,  α ∈ F ∖ 0 ⁡ g α x - α g x α u + x v < ∞ . ( H 3 )
There existsu , v ∈ R 2 ∖ { 1,1 } such that(37) sup x ∈ A ∖ 0 ,  α ∈ F ∖ 0 ⁡ g α x - α g x α u x v < ∞ .For instance, if a setD ⊂ F (with F ∈ { R , C }) has a positive inner Lebesgue measure or contains a subset of the second category and with the Baire property, then i n t ( D - D ) ≠ ∅ (see, e.g., [56]). For related results we refer to [56–58].Now we can present the above-mentioned result, corresponding to several outcomes in, for example, [20, 52, 59, 60].Proposition 11.
LetF ∈ { R , C }, let A be a normed algebra over F, let M be a normed A-bimodule, A has an element e that is not a zero divisor, and g : A → M. Assume that there exist p ∈ F ∖ { 0,1 , 1 / 2 } and k , l ∈ - ∞ , 0 such that(38) sup x , y ∈ A ∖ 0 ⁡ G x , y x k + y k < ∞ , (39) sup x , y ∈ A ∖ 0 ⁡ g x y - g x y - x g y x l y l < ∞ ,where G ( x , y ) = g ( p x + ( 1 - p ) y ) + g ( ( 1 - p ) x + p y ) - g ( x ) - g ( y ). Then, g is a derivation. Moreover, if one of hypotheses ( H 1 ) – ( H 3 ) is valid, then g is F-linear.Note that, in the last proposition, the inequality related to the following functional equation ofp-Wright affine functions(40) g p x + 1 - p y + g 1 - p x + p y = g x + g yhas been used instead of the conditions connected with some kind of stability of the Cauchy equation(41) g x + y = g x + g y .


## 5. Lie Derivations

In what follows we assume all the time thatA is a normed algebra over the field F ∈ { R , C } and M is a normed A-bimodule. For all x ∈ A and u ∈ M, the symbols [ x , u ] and [ u , x ] denote in M the commutators x u - u x and u x - x u, respectively. Moreover, we say that an additive mapping d : A → M is a Lie derivation provided(42) d x , y = d x , y + x , d y ,  x , y ∈ A .The next result has been obtained in the already mentioned paper by Bahyrycz, Brzdęk, and Piszczek (to appear in Fixed Point Theory).Proposition 12.
Assume thatg : A → M and there exist p ∈ Q ∖ { 0,1 , 1 / 2 }, k ∈ ( - ∞ , 0 ), and l ∈ R ∖ { 1 } such that (38) holds and(43) sup x , y ∈ A ∖ 0 ⁡ g x , y - g x , y - x , g y x l y l < ∞ .Then, g is a Lie derivation. Moreover, if one of hypotheses ( H 1 ) – ( H 3 ) is valid, then g is linear.In the remaining part of this section we present some outcomes (the last three corollaries) concerning stability of the generalized Lie derivation from [61], where some useful tools have been provided allowing a systematic study of such issues. To this end we must make some preparations.First, let us recall that, analogously as in the case of derivations, an additive mappingg : A → M is called a generalized Lie derivation if there exists an additive mapping d : A → M such that(44) g x , y = g x y - y d x + x d y - g y x ,  x , y ∈ A .For the sake of precision, given an additive d : A → M, every additive g : A → M satisfying (44) will be named a generalized Lie d-derivation.Next, letB F denote the family of all sets Γ ⊆ F such that each additive function f : F → M that is bounded on Γ must be continuous. Clearly, if Γ ⊂ F has a nonempty interior, then Γ ∈ B F. This also is true when Γ ⊆ F is of a positive inner Lebesgue measure or has a subset of the second category and with the Baire property (cf. [56]). For more information on B F and further references concerning the subject, we refer the reader to, for example, [56–58].LetA i ⊂ A, η i , ε i ∈ [ 0 , ∞ ), and p i ∈ R for i = 1,2 , 3. Assume yet that p i ⩾ 0 or 0 ∉ A i for i = 1,2 , 3. We present a very simple case when A is a normed Lie algebra and(45) φ i x , y ≔ η i + ε i x p i + y p i ,  x , y ∈ A i ,   i = 1,2 , 3 .In what follows, it is assumed all the time that Γ ⊂ F ∖ { 0 }, ∅ ≠ A ⊂ A, and φ 1 , φ 2 , φ 3 : A ~ 2 → [ 0 , ∞ ) are defined by (45), and g : A ~ 0 → M and d : A → M are mappings satisfying the conditions(46) d γ x + y - γ d x - d y ⩽ φ 1 x , y ,  x , y ∈ A ,   γ ∈ Γ ,   γ x + y ∈ A , g γ x + y - γ g x - g y ⩽ φ 2 x , y ,  x , y ∈ A ~ ,   γ ∈ Γ ,   γ x + y ∈ A ~ , g x , y - g x y + y d x - x d y + g y x ⩽ φ 3 x , y ,  x , y ∈ A .Let us yet recall thatI ⊂ 2 A is an ideal provided 2 D ⊂ I and C ∪ D ∈ I for every C , D ∈ I. Next, given A ⊂ A, we write A ~ 0 : = A ∪ x , y : x , y ∈ A and A ~ : = A ~ 0 ∖ { 0 }.The theorems read as follows.Theorem 13.
LetI ⊂ 2 A be an ideal such that(47) D + x ∈ I ,  D ∈ I ,   x ∈ A .Let p 3 ≠ 2,η 3 ( p 3 - 2 ) ⩽ 0, and suppose that one of the following three conditions is valid:(a)
A = A, Γ is unbounded, p 1 > 1, p 2 > 1, and η 1 = η 2 = 0; (b)
A = A ∖ { 0 }, Γ is unbounded, and p i < 1 for i = 1,2; (c)
p i < 0 for i = 1,2 and there exists B ∈ I with 2 B = B and A = A ∖ B.Then there exist a unique additive mapping D : A → M and a unique generalized Lie D-derivation G : A → M such that(48) G γ x = γ G x , D γ x = γ D x , x ∈ A ,   γ ∈ Γ , (49) d x = D x , g y = G y , x ∈ A ,   y ∈ A ~ .IfΓ has a bounded subset from B F, then G and D are F-linear.Theorem 14.
LetA = A and s : = s u p γ : γ ∈ Γ < ∞. If there is γ 0 ∈ Γ with | γ 0 | = 1, η 1 = η 2 = η 3 = 0, p 1 > 1, p 2 > 1, and p 3 > 2, then there exist a unique additive mapping D : A → M and a unique generalized Lie D-derivation G : A → M such that (48) holds and(50) d x - D x ⩽ ρ 1 ε 1 x p 1 1 - ρ 1 , g x - G x ⩽ ρ 2 ε 2 x p 2 1 - ρ 2for all x ∈ A, where(51) ρ i ≔ inf ⁡ c p i s 1 - p i + 1 - c p i : c ∈ F ,  i = 1,2 .Moreover, ifΓ has a subset from B F, then G and D are F-linear.Theorem 15.
LetA = A ∖ { 0 }, σ : = sup ⁡ { | μ + 1 | : μ ∈ Γ } > 1, p 1 < 1, p 2 < 1, p 3 < 2, and suppose that Γ is bounded. Then, there are a unique additive mapping D : A → M and a unique generalized Lie D-derivation G : A → M such that (48) holds and(52) d x - D x ⩽ 2 ε 1 x p 1 σ - σ p 1 + η 1 σ - 1 ,  x ∈ A ∖ 0 , g x - G x ⩽ 2 ε 2 x p 2 σ - σ p 2 + η 2 σ - 1 ,  x ∈ A ∖ 0 .Moreover, ifΓ has a subset from B F, then G and D are F-linear.Note that the last two theorems concern some cases that are complementary to those described in (a)–(c).


## 6. Final Remarks

Besides generalized derivations, there are several other generalizations of the notion of derivations. It seems that they first appeared in the framework of pure algebra (see [62]). Recently they have been treated in the Banach algebra theory as well (see [63]). The stability of those derivations was extensively studied by several authors in, for example, [50, 51, 53, 55, 64–67]. We also refer the readers to two papers of C. G. Park (Nonlinear Funct. Anal. Appl. 10 (2005), 751–776 and J. Lie Theory 15 (2005), 393–414) and a paper of C. G. Park and D. Y. Shin (Korean J. Math. 22 (2014), 139–150), which had to be removed from the references in this paper due to some restrictions of the journal.For example, a discussion of stability of the so-called( δ - τ )-derivations and a study of the so-called generalized ( θ , ϕ )-derivations are given in [67] and the above-mentioned paper of C. G. Park and D. Y. Shin, respectively. Approximate higher derivations and approximate generalized higher derivations on a multi-Banach algebras were investigated by Moslehian [53] and Shateri [55], respectively; see also [68, 69] for some stability results concerning the approximate derivations of order n. Moreover, Fošner established the generalized Hyers-Ulam-Rassias stability of (generalized) module left m , n-derivations on a normed algebra A into a Banach left A-module [50, 51] and the stability of m , n δ , τ-derivations on a normed algebra A into a Banach A-bimodule [66] (see also [70] for a classical result in this regard).For the stability results of ternary derivations, we refer to [52] (see also [30]), where some recent results are discussed. Moreover, using the fixed point method, Moslehian [52] established the generalized Hyers-Ulam-Rassias stability of ternary derivations, from a normed ternary algebra into a Banach trimodule, associated with the generalized Jensen functional equations(53) r f s x + t y r = s f x + t f y ,where r , s , t are given constants and f is an unknown function. Let us point out that a mapping f : X → Y between linear spaces X and Y with f ( 0 ) = 0 satisfies the above generalized Jensen equation if and only if it is additive (cf. [71]).Finally, let us mention that some other results, which have not been discussed in this paper (but somehow concern stability of derivations), can be found in [31, 72–76].



---

*Source: 1235103-2016-08-08.xml*