This is a survey paper concerning the notions of hyperstability and superstability, which are connected to the issue of Ulam’s type stability. We present the recent results on those subjects.

1. Introduction

In this paper we provide some recent results concerning hyperstability and superstability of functional equations. Those two notions are very similar but somewhat different. They are connected with the issue of Ulam’s type stability.

Let us mention that various aspects of Ulam’s type stability, motivated by a problem raised by Ulam (cf. [1, 2]) in 1940 in his talk at the University of Wisconsin, have been a very popular subject of investigations for the last nearly fifty years (see, e.g., [3–11]). For example the following definition somehow describes the main ideas of such stability notion for equations in n variables (ℝ₊ stands for the set of all nonnegative reals).

Definition 1. Let A be a nonempty set, (X, d) be a metric space, be nonempty, 𝒯 be an operator mapping 𝒞 into , and ℱ₁, ℱ₂ be operators mapping a nonempty set 𝒟 ⊂ X^A into . We say that the operator equation

()

is (ℰ, 𝒯)-stable provided for any ɛ ∈ ℰ and φ₀ ∈ 𝒟 with

()

there exists a solution φ ∈ 𝒟 of (1) such that

()

(As usual, C^D denotes the family of all functions mapping a set D ≠ ∅ into a set C ≠ ∅.) Roughly speaking, (ℰ, 𝒯)-stability of (1) means that every approximate (in the sense of (2)) solution of (1) is always close (in the sense of (3)) to an exact solution of (1).

The next theorem has been considered to be one of the most classical results on Ulam’s type stability.

Theorem 2. Let E₁ and E₂ be normed spaces, E₂ complete, and c ≥ 0 and p ≠ 1 fixed real numbers. If f : E₁ → E₂ is a mapping satisfying

()

then there exists a unique function T : E₁ → E₂ such that

()

This theorem is composed of the outcomes from [1, 12–14] and it is known (see [13]; cf. also [15, 16]) that for p = 1 an analogous result is not valid. Moreover, it has been shown in [17] that estimation (5) is optimal for p ≥ 0 in the general case.

Theorem 2 has a very nice simple form, but it has been improved in [18], where it has been shown that, in the case p < 0, each f : E₁ → E₂ satisfying (4) must actually be additive (and the completeness of E₂ is not necessary in such a situation). Namely, we have the following result (ℕ stands for the set of all positive integers).

Theorem 3. Let E₁ and E₂ be normed spaces, X ⊂ E₁∖{0} nonempty, c ≥ 0, and p < 0. Assume also that

()

where −X : = {−x : x ∈ X}, and there exists a positive integer m₀ with

()

Then every operator g : E₁ → E₂ such that

()

is additive on X; that is,

()

Clearly, since (5) gives the best possible estimation for p ≥ 0 in the general case, a result analogous to Theorem 3 is not true for p ≥ 0.

On account of Theorem 3, we can reformulate Theorem 2 as follows.

Theorem 4. Let E₁ and E₂ be normed spaces and let c ≥ 0 and p ≠ 1 be fixed real numbers. Assume also that f : E₁ → E₂ is a mapping satisfying (4). If p ≥ 0 and E₂ is complete, then there exists a unique additive function T : E₁ → E₂ such that (5) holds. If p < 0, then f is additive.

Following the terminology introduced in [19] and next used in, for example, [20] (see also [3, pages 27–29]), we can describe the second statement of Theorem 4, for p < 0, as the φ-hyperstability of the additive Cauchy equation for φ(x, y) ≡ c(∥x∥^p + ∥y∥^p).

It is interesting that the hyperstability result, described in Theorem 3, does not remain valid without condition (6), which is shown in the following remark (ℝ denotes the set of all reals).

Remark 5. Let p < 0, a ≥ 0, I = (a, ∞), and f, T : I → ℝ be given by T(x) = 0 and f(x) = x^p for x ∈ I. Then clearly

()

Note that also

()

In fact, fix x, y ∈ I and suppose, for instance, that x ≤ y. Then

()

and consequently

()

However, with a somewhat different (though still natural) form of the function φ, φ-hyperstability still holds even without (6). Namely, in [21, Theorem 1.3] the subsequent result has been proved.

Theorem 6. Let E₁ and E₂ be normed spaces, X ⊂ E₁∖{0} nonempty, c ≥ 0, and p, q real numbers with p + q < 0. Assume also that there is an m₀ ∈ ℕ such that

()

Then every operator g : E₁ → E₂ satisfying the inequality

()

is additive on X.

We refer the reader to, for example, [22, Theorem 1.1, Chapter XVIII], [23, Chapter 4], [24, pages 143-144], and [25, Proposition 3.8] for some information on the following natural issue: when for an operator T₀ : E₁ → E₂ that is additive on X ⊂ E₁, there is an additive T : E₁ → E₂ with T(x) = T₀(x) for x ∈ X.

2. Hyperstability Results for the Cauchy Equation

Formally, we can introduce the following definition.

Definition 7. Let A be a nonempty set, (X, d) a metric space, , and ℱ₁, ℱ₂ operators mapping a nonempty set 𝒟 ⊂ X^A into . We say that operator equation (1) is ɛ-hyperstable provided every φ₀ ∈ 𝒟 satisfying inequality (2) fulfils (1).

The hyperstability results have various interesting consequences. For instance, note that we deduce at once from Theorem 6 a bit surprising conclusion that each function f : E₁ → E₂ is either additive on X or satisfies the condition

()

for any real numbers r, s, r + s > 0, where E₁ and E₂ are normed spaces and X is a nonempty subset of E₁∖{0} fulfilling condition (14) for some m₀ ∈ ℕ.

Theorem 6 yields also the following two simple corollaries (see [21]), which correspond to some results from [26–33] on inhomogeneous Cauchy equation (18) and cocycle equation (19).

Corollary 8. Let E₁ and E₂ be normed spaces, X ⊂ E₁∖{0} nonempty, G : X² → E₂, and G(x₀, y₀) ≠ 0 for some x₀, y₀ ∈ X with x₀ + y₀ ∈ X. Assume also that (14) holds with an m₀ ∈ ℕ and there are p, q ∈ ℝ and c > 0 such that p + q < 0 and

()

Then the functional equation

()

has no solution in the class of functions g₀ : X → E₂.

Corollary 9. Let E₁ and E₂ be normed spaces, X ⊂ E₁∖{0} nonempty, satisfy the cocycle functional equation

()

and G(x, y) = G(y, x) for x, y ∈ E₁. Assume also that (14) holds with an m₀ ∈ ℕ and there are p, q ∈ ℝ and c > 0 such that p + q < 0 and (17) holds. Then G(x, y) = 0 for any x, y ∈ X with x + y ∈ X.

The hyperstability results that we have presented so far have been obtained through the fixed point theorem from [34] (see also [35, 36]; cf. [4] for a survey on similar methods using the fixed point results). Now, we provide some further φ-hyperstability results (with functions φ of some other natural forms) for the Cauchy additive equation, proved in [25] by some other methods.

Theorem 10. Let (X, 〈·∣·〉) be a real inner product space with dim X > 1, Y a normed space, and g : X → Y. If there are positive real numbers p ≠ 1 and L such that

()

then g is additive.

If p = 1, then g does not need to be additive (see [25]).

Theorem 11. Let X and Y be normed spaces, dim X > 2, and g : X → Y. Suppose also that there are positive real numbers p and L₀ with

()

If p ≠ 1 or X is not a real inner product space, then g is additive.

If X is a real inner product space and p = 1, then g does not need to be additive (see [25]).

Given a normed space X and A, B : X → X, we simplify the notations writing AB : = A∘B and defining the mapping A + B : X → X by

()

Moreover, if ∅ ≠ U ⊂ V ⊂ X and C : V → X, then we put

()

Clearly, if A : X → X is additive, then we have (with U = X)

()

Now, we are in a position to present another result from [25].

Theorem 12. Let X and Y be normed spaces and ∅ ≠ U ⊂ X. Assume that C, D : X → X are additive,

()

where E : = C + D. Let, moreover, p ∈ ℝ₊ be such that one of the following two conditions is valid:

(a)
E is injective, U ⊂ E(U) and
()
(b)
U ⊂ D(U), D is injective and
()

Then every function g : U → Y for which there exists an L ∈ ℝ₊ such that

()

is additive on U.

Remark 13. Observe that condition (25) holds when D = Cⁿ with a nonnegative integer n or D(x) = γx for x ∈ X with a rational number γ (because C is assumed to be additive).

Remark 14. For instance, the inequality in (a) holds for p > 1, U = X, and

()

with a λ ∈ ℝ. Analogously, the inequality in (b) is valid when p > 1, U = X,

()

with a λ ∈ ℝ.

For similar hyperstability results in some situations where neither condition (a) nor (b) is fulfilled we refer the reader to [25, Corollaries 3.5 and 3.6].

We end this part of the paper with one more hyperstability result (on a restricted domain) from [25]. To do this, let us recall some notions.

Given nonempty sets X, Y, ℐ ⊂ 2^X and f, g : X → Y, we say that f = g ℐ-almost everywhere (abbreviated to ℐ-a.e.) in X if there is a set T ∈ ℐ such that f(x) = g(x) for every x ∈ X∖T. If, moreover, X is a normed space, then we also write αT : = {αx : x ∈ T} for T ⊂ X and α ∈ ℝ.

Now we are in a position to present [25, Theorem 4.1] (which actually is a consequence of some previous results).

Theorem 15. Let X and Y be normed spaces, g : X → Y, and ℐ ⊂ 2^X a σ-ideal such that

()

Assume also that one of the following two conditions is fulfilled:

(i)
there exist T ∈ ℐ, c, d ∈ ℝ, cd(c + d) ≠ 0, L > 0 and p > 1 such that
()
(ii)
there exist T ∈ ℐ, C : X → X with C(2x) = 2C(x) for x ∈ X and positive reals L and p ≠ 1 such that
()

Then there is a unique additive operator f : X → Y with f = gℐ-a.e. in X.

A hyperstability result for the multi-Cauchy equation (which actually is a system of Cauchy equations) can be found in [37, Corollary 4].

Finally, we would like to call the reader’s attention to a general theorem in [38] which yields numerous other hyperstability results for the Cauchy additive equation.

3. Hyperstability of the Linear Functional Equation

Now, we present the hyperstability results for the linear functional equation of the form

()

in the class of functions f : X → Y, where X is a linear space over a field 𝔽, Y is a linear space over a field 𝕂, a, b ∈ 𝕂, z₀ ∈ Y, and A, B ∈ 𝔽. Clearly, for a = b = 1, z₀ = 0, and A = B = 1 (35) is the well-known (additive) Cauchy functional equation

()

and with a = b = 1/2, z₀ = 0, and A = B = 1/2 it is the Jensen equation

()

If t ∈ (0,1), a = t, b = 1 − t, z₀ = 0, A = t, and B = 1 − t, then (35) has the form

()

and its solution is called a t-affine function. For further information and references on (36)–(38) we refer the reader to [22, 39].

The subsequent theorem has been proved in [40].

Theorem 16. Let X be a normed space over 𝔽 ∈ {ℝ, ℂ}, Y be a Banach space over 𝕂 ∈ {ℝ, ℂ}, A, B ∈ 𝔽∖{0}, a, b ∈ 𝕂, c ≤ 0, p < 0, and f : X → Y satisfy

()

Then

()

Similar results, for Jensen equation (37), but on a restricted domain, have been obtained in [41]. Namely, we have the following three theorems.

Theorem 17. Let X be a normed space, U be a nonempty subset of X∖{0} such that there exists a positive integer n₀ with

()

let Y be a Banach space, c ≥ 0, p, q ∈ ℝ, p + q < 0, and f : U → Y satisfy

()

Then f is Jensen on U; that is,

()

Theorem 18. Let X be a normed space, U a nonempty subset of X∖{0} such that there exists a positive integer n₀ with

()

Y a Banach space, c ≥ 0, p, q ∈ ℝ, p + q > 1, and f : U → Y satisfy (42). Then f is Jensen on U.

Theorem 19. Let X be a normed space, U a nonempty subset of X∖{0} such that there exists a positive integer n₀ with

()

Y a Banach space, c ≥ 0, p, q ∈ ℝ, 0 < p + q < 1, and f : U → Y satisfy (42). Then f is Jensen on U.

We finish this section of the paper by proving one more very simple hyperstability result for (35).

Theorem 20. Let X be a normed space over a field 𝔽 ∈ {ℝ, ℂ}, Y a normed space over a field 𝕂 ∈ {ℝ, ℂ}, a, b ∈ 𝕂, z₀ ∈ Y, A, B ∈ 𝔽, L, p, q ∈ ℝ₊, p + q > 0, and let one of the following two conditions be valid:

(i)
q ≠ 0 and |A|^p+q ≠ |a|;
(ii)
p ≠ 0 and |B|^p+q ≠ |b|.

Then every function g₀ : X → Y satisfying the inequality

()

is a solution of the equation

()

Proof. First, observe that in the case when a + b = 1, inequality (46) with x = y = 0 implies z₀ = 0.

Put

()

It is easily seen that

()

whence with x = y = 0 we get g(0) = 0.

We consider only case (i) (case (ii) is analogous). First, assume that |a | <|A|^p+q. Then (49) with y = 0 gives

()

We show by induction that, for each n ∈ ℕ₀ : = ℕ ∪ {0},

()

The case n = 0 follows immediately from (49). So take an l ∈ ℕ₀ and assume that (51) holds true with n = l. Then, by (50),

()

Thus we have proved that (51) is valid for each n ∈ ℕ₀.

Letting n → ∞ in (51) we see that

()

which implies (47).

If |a | >|A|^p+q, then a ≠ 0 and from (49) with y = 0 we obtain

()

Analogously as before we show that, for each n ∈ ℕ₀,

()

Letting n → ∞ in (55) we get (53), and consequently (47) holds.

Remark 21. Let g₀(x) = x for x ∈ X = Y, 𝔽 = 𝕂, a ≠ A and b = B. Then

()

whence

()

Thus g₀ is an example of a function which satisfies (46) with z₀ = 0, L = |A − a|, q = 0 and p = 1 but is not a solution of (47). This shows that the assumption q ≠ 0 in (i) is not superfluous.

Remark 22. Let X = Y = ℝ, A² = a, B² = b, and g₀(x) = x² for x ∈ X. Then

()

Thus g₀ is an example of a function which satisfies (46) with z₀ = 0, L = 2 | AB| and p = q = 1 but is not a solution of (47). This proves that assumptions (i) and (ii) of Theorem 20 are not superfluous.

4. Hyperstability of Some Other Equations

In this part of the paper we present the hyperstability results for some other equations. The first two theorems have been proved in [19].

Theorem 23. Let M : (0,1] → ℝ be a solution of the functional equation

()

and M(x₀) > 1 for some x₀ ∈ (0,1]. Assume also that a function ψ : (0,1] → ℝ satisfy the inequality

()

for some ɛ > 0. Then

()

Theorem 24. Let (S, ·) be a semigroup and φ₁, …, φ_n : S → S pairwise distinct automorphisms of S such that the set {φ₁, …, φ_n} is a group with the operation of composition of mappings. Let, moreover, ɛ : S × S → ℝ₊ be a function for which there exists a sequence (u_k) _k∈ℕ of elements of S satisfying one of the following two conditions:

()

If a function f, mapping S into a real normed space X, fulfils the inequality

()

then f is a solution of the functional equation

()

The following result, concerning the parametric fundamental equation of information, has been obtained in [20].

Theorem 25. Let α < 0 and f : (0,1) → ℝ be a function such that

()

where

()

Then

()

Let us recall (see [20]) that each solution f : (0,1) → ℝ of (67) is of the form

()

with some c, d ∈ ℝ.

The next two theorems have been proved in [42, 43] and concern hyperstability of the polynomial and monomial equations (for details concerning those equations we refer the reader to [22]).

Theorem 26. Let X and Y be real normed spaces. If a function f : X → Y satisfies the inequality

()

with some ɛ > 0 and p < 0, then

()

Theorem 27. Let X and Y be real normed spaces and n a positive integer. If a function f : X → Y satisfies the inequality

()

with some ɛ > 0 and p < 0, then

()

The next theorem from [44] contains a hyperstability result for the Drygas equation.

Theorem 28. Assume that D is a nonempty subset of a normed space X such that 0 ∉ D and there exists an n₀ ∈ ℕ with

()

Let Y be a Banach space and f : D → Y fulfill the inequality

()

for some c > 0 and p < 0. Then f satisfies the conditional Drygas equation

()

Theorem 28 yields at once the following characterization of the inner product spaces.

Corollary 29. Let X be a normed space and

()

for some p < 0. Then X is an inner product space.

Proof. Write f(x) = ∥x∥² for x ∈ X. Then from Theorem 28 we easily derive that

()

It is easy to see that this implies

()

which yields the statement.

The next hyperstability result has been proved in [45, Corollary 2.9] and is actually a particular consequence of two more general theorems proved there.

Theorem 30. Let X be a normed space, Y be a Banach space, p, q, λ ∈ ℝ₊ and 0 < p + q ≠ 4. Assume also that a mapping f : X → Y satisfies the inequality

()

Then

()

A result on hyperstability of the equation of p-Wright affine functions has been obtained in [46] and it reads as follows.

Theorem 31. Let X be a normed space over a field 𝔽 ∈ {ℝ, ℂ}, Y a Banach space, p ∈ 𝔽, A, k > 0, |p|^2k + |1−p|^2k < 1 and g : X → Y satisfy

()

Then g is a p-Wright affine function; that is,

()

The next result has been proved in [47] and concerns the homogeneity equation.

Theorem 32. Let X and Y be normed spaces over 𝕂 ∈ {ℝ, ℂ}, p, q ∈ ℝ, ɛ ∈ ℝ₊, and g : X → Y satisfy

()

for any α ∈ 𝕂 and x ∈ X such that |α|^p + ∥x∥^q is defined. Assume also that p < 1 or q < 0. Then

()

Moreover, if one of the following two conditions is valid:

(a)
p < 1 and q ≥ 0;
(b)
p > 0 and q < 0,

then

()

Some further hyperstability (but also superstability) results for the homogeneity equation can be found in [48, 49]. Unfortunately, they are too involved to be presented here. Therefore, we only give below the following simple corollary (see [48, Corollary 3]).

Theorem 33. Let X be a real linear space, Y a Banach space, and g : X → Y satisfy

()

with some γ > 0. Then

()

Pexiderized hyperstability of the functional equation of biadditivity, of the form

()

has been considered in [50] (actually, for some reason, it has been called the bi-Jensen functional equation by the authors), where the following two theorems have been presented.

Theorem 34. Let X be a normed space, Y a Banach space, p < 0 ≤ ɛ, and a function f : X × X → Y satisfy the inequality

()

with some mappings f₁, f₂, f₃, f₄ : X × X → Y. Then f is biadditive; that is, (88) holds for all x, y, z, w ∈ X.

Theorem 35. Let X be a normed space, Y a Banach space, p < 0 ≤ ɛ, and a function f : X × X → Y satisfy the inequality

()

with some mappings f₁, f₂, f₃, f₄ : X × X → Y. Then f is biadditive.

For some further results, related somehow to the issue of hyperstability, we refer the reader to:

(i)
[51, Theorem 8.3] (for a generalization of the quadratic equation);
(ii)
[52] (for the equations of homomorphism and derivation in proper JCQ^*-triples);
(iii)
[53, Theorem 21.3] (for the equations of homomorphism for square symmetric groupoids, considered in a class of set-valued mappings);
(iv)
[54, Theorem 1] (for a functional equation in one variable in a class of set-valued mappings);
(v)
[55] (for functional equations of trigonometric forms in hypergroups).

5. Superstability

In this part of the paper we present several recent results on superstability of some functional equations. For numerous earlier results as well as the historical background of the subject we refer the reader to [6, 7, 9, 10].

The following definition explains how the notion of superstability for functional equations (in n variables) is understood nowadays.

Definition 36. Let A be a nonempty set, (X, d) a metric space, and ℱ₁, ℱ₂ operators mapping a nonempty set 𝒟 ⊂ X^A into . We say that operator equation (1) is superstable if every φ ∈ 𝒟 that is unbounded (i.e., sup _x,y∈Ad(φ(x), φ(y)) = ∞) and satisfies the inequality

()

is a solution of (1).

Let us start with the results that Moszner has proved in [56] (modificating the proofs from [57, 58]), and which concern the sine, homomorphism, Lobachevski and cosine equations.

Theorem 37. Let G be a uniquely 2-divisible commutative group and A a finite-dimensional commutative normed algebra without the zero divisors. Then every unbounded function f : G → A such that

()

is a solution of the sine equation

()

Theorem 38. Let (G, ·) be a commutative semigroup and (A, ·) a groupoid equipped with

(i)
an operation ℝ₊ × A∋(λ, a) ↦ λa ∈ A such that
()
(ii)
an element 0 ∈ A such that λ0 = 0 for λ ∈ ℝ₊ and a² ≠ 0 for a ∈ A∖{0};
(iii)
a metric ρ satisfying the condition
()

Moreover, assume that each nonzero element of A is cancellative on the left or on the right, the groupoid operation in A is continuous, and the unit sphere is compact in A. Then every unbounded function f : G → A such that

()

is a homomorphism; that is,

()

Theorem 39. Let G be a uniquely 2-divisible commutative monoid and A a finite-dimensional commutative normed algebra without the zero divisors. Then every unbounded function f : G → A such that

()

is a solution of the Lobachevski equation

()

Theorem 40. Let G be a commutative group and A a finite-dimensional unital normed algebra without the zero divisors. Then every unbounded function f : G → A such that

()

is a solution of the cosine equation

()

The next theorem, proved by Moszner in [56], generalizes Batko’s result from [59].

Theorem 41. Let G be a groupoid and A a finite-dimensional normed algebra without the zero divisors. Then every unbounded function f : G → A such that

()

is a solution of the Dhombres equation

()

Using the method from the proof of Theorem 41, Moszner also got the superstability of the Mikusiński equation

()

This result reads as follows.

Theorem 42. Let G be a group and A a finite-dimensional normed algebra without the zero divisors. Then every unbounded function f : G → A such that

()

is a solution of (104).

The above theorem generalizes (to some extent) the following result, which has been obtained in [60], by another method of proof and under stronger assumptions.

Theorem 43. Let ɛ ≥ 0 and G be a commutative group. If a function f : G → ℂ satisfies

()

then f is additive or

()

Chahbi in [61] has dealt with the equation

()

where k ∈ ℕ, and showed the following result on its superstability.

Theorem 44. Let X be a linear space over 𝕂 ∈ {ℝ, ℂ} and f : X → 𝕂, φ : X × X → ℝ₊ hemicontinuous (see [61] for the definition) at the origin functions such that

()

Then f is bounded or satisfies (108) for every x, y, z ∈ X.

The form of (108) has been motivated by the Gołąb-Schinzel equation

()

and some other equations related to it. A survey on superstability results for such equations can be found in [3, pages 29–32] (for more information and further references on those equations see also [62]).

The following result comes from [63].

Theorem 45. Assume that ɛ > 0 and a ≥ 1. If a function f : ℝ → ℝ fulfills the inequality

()

then either f is bounded or it is a solution of the equation

()

Let R be a ring (not necessarily commutative) uniquely divisible by 2 and H : = R³. Then (H, ·), where

()

is a noncommutative group, which in the case when R = ℝ is isomorphic to the Heisenberg group. Denote by i a selfmap of H given by

()

With this notations, we have the following theorem (proved in [64]) on the superstability of a functional equation connected with the d’Alembert and Stetkær equations.

Theorem 46. Assume that ɛ > 0. If a function f : H → ℂ fulfills the inequality

()

then either

()

The next result has been proved in [65].

Theorem 47. Assume that X is a normed space over 𝔽 ∈ {ℝ, ℂ} and Y is a Banach algebra over 𝔽 in which the norm is multiplicative, that is,

()

If a mapping f : X → Y fulfills

()

then either

()

In [66], Kim dealt with the pexiderized Lobachevski equation

()

and proved the following theorem.

Theorem 48. Let ɛ ≥ 0 and G be a uniquely 2-divisible commutative semigroup. If nonzero and nonconstant functions f, g, h : G → ℝ satisfy the inequality

()

then either there exist C₁, C₂, C₃ > 0 such that

()

or both g and h satisfy (99).

An immediate consequence of Theorem 48 is the following corollary.

Corollary 49. Let ɛ ≥ 0 and G be a uniquely 2-divisible commutative semigroup. If nonzero and nonconstant functions f, g : G → ℝ satisfy the inequality

()

then either there exist C₁, C₂ > 0 such that

()

or both g and f satisfy (99).

The below superstability outcomes for the functional equations

()

have been obtained in [67] ((127) and (128) with g(x) ≡ 1 become the classical Cauchy equations and therefore we exclude this case here).

Theorem 50. Let V be a linear space and let functions f, g : V → ℂ be such that

()

Then the following three statements hold:

(i)
if f(x) ≡ 0, then g is arbitrary;
(ii)
if f is nonzero and bounded or f(0) ≠ 0, then g is also bounded;
(iii)
if f is unbounded, then f(0) = 0, g is unbounded, and (127) holds for all x, y ∈ V.

Theorem 51. Let V be a linear space. If functions f, g : V → ℂ are such that

()

then the following three statements hold:

(i)
if f(x) ≡ 0, then g is arbitrary;
(ii)
if f is nonzero and bounded or f(1) ≠ 0, then g is also bounded;
(iii)
if f is unbounded, then f(1) = 0, g is unbounded, and (128) holds for all x, y ∈ V.

The next two theorems have been obtained in [68]. It is assumed in them that X is a commutative group, Λ is a finite subgroup of the group of automorphisms of X (the action of λ ∈ Λ on x ∈ X is denoted by λx), and N is the cardinality of Λ.

Theorem 52. Let 𝕂 ∈ {ℝ, ℂ}. If f, g, h : X → 𝕂, the function

()

is bounded, and the function f is unbounded, then the function g satisfies the functional equation

()

Theorem 53. Let 𝕂 ∈ {ℝ, ℂ}. If f, g, h : X → 𝕂, the function

()

is bounded, and the function f is unbounded, then the function g satisfies (132).

The next three theorems do not actually provide superstability results in the sense of Definition 36. However, we present them here, because they seem to be of some interest and are attempts to extend the notion of superstability analogously to the notion of φ-hyperstability.

The subsequent theorem, proved in [69], gives a partial affirmative answer to a problem posed by Th. M. Rassias during the 31st ISFE (ℜz and ℑz denote the real and imaginary parts of a complex number z, resp.).

Theorem 54. Let (S, ·) be a commutative semigroup, φ : S² → ℝ₊, ψ : S → ℝ₊, and f : S → {z ∈ ℂ : −π < ℑz ≤ π} functions such that

()

Assume also that there exists a p ∈ {s ∈ S : ℜf(s) > 0} with

()

Then f satisfies the Cauchy equation

()

The next result has been proved in [70].

Theorem 55. Let G be a commutative group and φ : G → ℝ₊. If f : G → ℂ is an unbounded function such that

()

then

()

The last presented theorem is the main result of [71] and includes a few outcomes from [72–74].

Theorem 56. Assume that G is a commutative group and φ : G → ℝ₊. If nonzero functions f, g, h, k : G → ℂ fulfill

()

then either k is bounded or there is a sequence (y_n) _n∈ℕ of elements of G such that the limit

()

exists for every y ∈ G and h, l satisfy the functional equation

()

References

1 Hyers D. H., On the stability of the linear functional equation, Proceedings of the National Academy of Sciences of the United States of America. (1941) 27, 222–224, MR0004076, https://doi.org/10.1073/pnas.27.4.222, ZBL0061.26403.
10.1073/pnas.27.4.222
CAS PubMed Web of Science® Google Scholar
2 Ulam S. M., A Collection of Mathematical Problems, 1960, Interscience Publishers, New York, NY, USA, Reprinted as: Problems in Modern Mathematics, John Wiley & Sons, New York, NY, USA, 1964MR0120127.
Web of Science® Google Scholar
3 Brillouët-Belluot N., Brzdęk J., and Ciepliński K., On some recent developments in Ulam′s type stability, Abstract and Applied Analysis. (2012) 2012, 41, 716936, https://doi.org/10.1155/2012/716936, MR2999925, ZBL1259.39019.
10.1155/2012/716936
Google Scholar
4 Ciepliński K., Applications of fixed point theorems to the Hyers-Ulam stability of functional equations—a survey, Annals of Functional Analysis. (2012) 3, no. 1, 151–164, MR2903276, ZBL1252.39032.
10.15352/afa/1399900032
Web of Science® Google Scholar
5 Czerwik S., Functional Equations and Inequalities in Several Variables, 2002, World Scientific, River Edge, NJ, USA, https://doi.org/10.1142/9789812778116, MR1904790.
10.1142/4875
Google Scholar
6 Forti G. L., Hyers-Ulam stability of functional equations in several variables, Aequationes Mathematicae. (1995) 50, no. 1-2, 143–190, https://doi.org/10.1007/BF01831117, MR1336866, ZBL0836.39007.
10.1007/BF01831117
Google Scholar
7 Hyers D. H., Isac G., and Rassias T. M., Stability of Functional Equations in Several Variables, 1998, Birkhäuser, Boston, Mass, USA, https://doi.org/10.1007/978-1-4612-1790-9, MR1639801.
10.1007/978-1-4612-1790-9
Google Scholar
8 Hyers D. H. and Rassias T. M., Approximate homomorphisms, Aequationes Mathematicae. (1992) 44, no. 2-3, 125–153, https://doi.org/10.1007/BF01830975, MR1181264, ZBL0806.47056.
10.1007/BF01830975
Google Scholar
9 Jung S.-M., Hyers-Ulam Stability of Functional Equations in Mathematical Analysis, 2001, Hadronic Press, Palm Harbor, Fla, USA, MR1841182.
Google Scholar
10 Jung S.-M., Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis, 2011, 48, Springer, New York, NY, USA, Springer Optimization and Its Applications, https://doi.org/10.1007/978-1-4419-9637-4, MR2790773.
10.1007/978-1-4419-9637-4
Google Scholar
11 Moszner Z., On the stability of functional equations, Aequationes Mathematicae. (2009) 77, no. 1-2, 33–88, https://doi.org/10.1007/s00010-008-2945-7, MR2495718, ZBL1207.39044.
10.1007/s00010-008-2945-7
Web of Science® Google Scholar
12 Aoki T., On the stability of the linear transformation in Banach spaces, Journal of the Mathematical Society of Japan. (1950) 2, 64–66, MR0040580, https://doi.org/10.2969/jmsj/00210064, ZBL0040.35501.
10.2969/jmsj/00210064
Google Scholar
13 Gajda Z., On stability of additive mappings, International Journal of Mathematics and Mathematical Sciences. (1991) 14, no. 3, 431–434, https://doi.org/10.1155/S016117129100056X, MR1110036, ZBL0739.39013.
10.1155/S016117129100056X
Google Scholar
14 Rassias T. M., On the stability of the linear mapping in Banach spaces, Proceedings of the American Mathematical Society. (1978) 72, no. 2, 297–300, https://doi.org/10.2307/2042795, MR507327, ZBL0398.47040.
10.1090/S0002-9939-1978-0507327-1
Web of Science® Google Scholar
15 Rassias T. M. and Šemrl P., On the behavior of mappings which do not satisfy Hyers-Ulam stability, Proceedings of the American Mathematical Society. (1992) 114, no. 4, 989–993, https://doi.org/10.2307/2159617, MR1059634, ZBL0761.47004.
10.1090/S0002-9939-1992-1059634-1
Web of Science® Google Scholar
16 Rassias T. M. and Šemrl P., On the Hyers-Ulam stability of linear mappings, Journal of Mathematical Analysis and Applications. (1993) 173, no. 2, 325–338, https://doi.org/10.1006/jmaa.1993.1070, MR1209322, ZBL0789.46037.
10.1006/jmaa.1993.1070
Web of Science® Google Scholar
17 Brzdęk J., T. M. Rassias and J. Tabor, A note on stability of additive mappings, Stability of Mappings of Hyers-Ulam Type, 1994, Hadronic Press, Palm Harbor, Fla, USA, 19–22, Hadronic Press Collection of Original Articles, MR1304265.
Google Scholar
18 Brzdęk J., Hyperstability of the Cauchy equation on restricted domains, Acta Mathematica Hungarica. (2013) 141, no. 1-2, 58–67, https://doi.org/10.1007/s10474-013-0302-3, MR3102969.
10.1007/s10474-013-0302-3
Web of Science® Google Scholar
19 Maksa G. and Páles Z., Hyperstability of a class of linear functional equations, Acta Mathematica Academiae Paedagogicae Nyíregyháziensis. (2001) 17, no. 2, 107–112, MR1887653, ZBL1004.39022.
Google Scholar
20 Gselmann E., Hyperstability of a functional equation, Acta Mathematica Hungarica. (2009) 124, no. 1-2, 179–188, https://doi.org/10.1007/s10474-009-8174-2, MR2520626, ZBL1212.39044.
10.1007/s10474-009-8174-2
Web of Science® Google Scholar
21 Brzdęk J., A hyperstability result for the Cauchy equation, Bulletin of the Australian Mathematical Society. https://doi.org/10.1017/S0004972713000683.
10.1017/S0004972713000683
Web of Science® Google Scholar
22 Kuczma M., An Introduction to the Theory of Functional Equations and Inequalities: Cauchy′s Equation and Jensen′s Inequality, 2009, Birkhäuser, Basel, Switzerland, https://doi.org/10.1007/978-3-7643-8749-5, MR2467621.
10.1007/978-3-7643-8749-5
Google Scholar
23 Sahoo P. K. and Kannappan P., Introduction to Functional Equations, 2011, CRC Press, Boca Raton, Fla, USA, MR2757437.
10.1201/b10722
Google Scholar
24 Skof F., T. M. Rassias and J. Tabor, On the stability of functional equations on a restricted domain and related topic, Stability of Mappings of Hyers-Ulam Type, 1994, Hadronic Press, Palm Harbor, Fla, USA, 141–151, Hadronic Press Collection of Original Articles.
Google Scholar
25 Brzdęk J., Remarks on hyperstability of the Cauchy functional equation, Aequationes Mathematicae. (2013) 86, no. 3, 255–267, https://doi.org/10.1007/s00010-012-0168-4.
10.1007/s00010-012-0168-4
Web of Science® Google Scholar
26 Borelli Forti C., Solutions of a nonhomogeneous Cauchy equation, Radovi Matematički. (1989) 5, no. 2, 213–222, MR1050890.
Google Scholar
27 Davison T. M. K. and Ebanks B. R., Cocycles on cancellative semigroups, Publicationes Mathematicae Debrecen. (1995) 46, no. 1-2, 137–147, MR1316656.
10.5486/PMD.1995.1511
Web of Science® Google Scholar
28 Ebanks B., Generalized Cauchy difference functional equations, Aequationes Mathematicae. (2005) 70, no. 1-2, 154–176, https://doi.org/10.1007/s00010-004-2739-5, MR2167992, ZBL1079.39017.
10.1007/s00010-004-2739-5
Google Scholar
29 Ebanks B., Generalized Cauchy difference equations. II, Proceedings of the American Mathematical Society. (2008) 136, no. 11, 3911–3919, https://doi.org/10.1090/S0002-9939-08-09379-9, MR2425731, ZBL1206.39022.
10.1090/S0002-9939-08-09379-9
Web of Science® Google Scholar
30 Ebanks B., Kannappan P. L., and Sahoo P. K., Cauchy differences that depend on the product of arguments, Glasnik Matematički. Serija III. (1992) 27, no. 47, 251–261, MR1244642, ZBL0780.39007.
Google Scholar
31 Ebanks B., Sahoo P. K., and Sander W., Characterizations of Information Measures, 1998, World Scientific, River Edge, NJ, USA, https://doi.org/10.1142/9789812817167, MR1642635.
10.1142/3354
Google Scholar
32 Fenyö I. and Forti G. L., On the inhomogeneous Cauchy functional equation, Stochastica. (1981) 5, no. 2, 71–77, MR641837, ZBL0492.39002.
Google Scholar
33 Járai A., Maksa G., and Páles Z., On Cauchy-differences that are also quasisums, Publicationes Mathematicae Debrecen. (2004) 65, no. 3-4, 381–398, MR2107955, ZBL1071.39026.
10.5486/PMD.2004.3259
Web of Science® Google Scholar
34 Brzdęk J., Chudziak J., and Páles Z., A fixed point approach to stability of functional equations, Nonlinear Analysis: Theory, Methods & Applications A. (2011) 74, no. 17, 6728–6732, https://doi.org/10.1016/j.na.2011.06.052, MR2834072, ZBL1237.39022.
10.1016/j.na.2011.06.052
Web of Science® Google Scholar
35 Brzdęk J. and Ciepliński K., A fixed point approach to the stability of functional equations in non-Archimedean metric spaces, Nonlinear Analysis: Theory, Methods & Applications A. (2011) 74, no. 18, 6861–6867, https://doi.org/10.1016/j.na.2011.06.050, MR2833676, ZBL1237.39022.
10.1016/j.na.2011.06.050
Web of Science® Google Scholar
36 Cădariu L., Găvruţa L., and Găvruţa P., Fixed points and generalized Hyers-Ulam stability, Abstract and Applied Analysis. (2012) 2012, 10, 712743, https://doi.org/10.1155/2012/712743, MR2959752, ZBL1252.39030.
10.1155/2012/712743
Google Scholar
37 Brzdęk J. and Ciepliński K., Remarks on the Hyers-Ulam stability of some systems of functional equations, Applied Mathematics and Computation. (2012) 219, no. 8, 4096–4105, https://doi.org/10.1016/j.amc.2012.10.057, MR2996845.
10.1016/j.amc.2012.10.057
Web of Science® Google Scholar
38 Badora R., Note on the superstability of the Cauchy functional equation, Publicationes Mathematicae Debrecen. (2000) 57, no. 3-4, 421–424, MR1798723, ZBL0973.39021.
10.5486/PMD.2000.2216
Web of Science® Google Scholar
39 Aczél J. and Dhombres J., Functional Equations in Several Variables. With Applications to Mathematics, Information Theory and to the Natural and Social Sciences, 1989, 31, Cambridge University Press, Cambridge, UK, Encyclopedia of Mathematics and Its Applications, https://doi.org/10.1017/CBO9781139086578, MR1004465.
10.1017/CBO9781139086578
Google Scholar
40 Piszczek M., Remark on hyperstability of the general linear equation, Aequationes Mathematicae. https://doi.org/10.1007/s00010-013-0214-x.
10.1007/s00010-013-0214-x
Web of Science® Google Scholar
41 Bahyrycz A. and Piszczek M., Hyperstability of the Jensen functional equation, Acta Mathematica Hungarica. https://doi.org/10.1007/s10474-013-0347-3.
10.1007/s10474-013-0347-3
Web of Science® Google Scholar
42 Lee Y.-H., On the stability of the monomial functional equation, Bulletin of the Korean Mathematical Society. (2008) 45, no. 2, 397–403, https://doi.org/10.4134/BKMS.2008.45.2.397, MR2419086, ZBL1152.39023.
10.4134/BKMS.2008.45.2.397
Web of Science® Google Scholar
43 Lee Y.-H., On the Hyers-Ulam-Rassias stability of the generalized polynomial function of degree 2, Journal of the Chungcheong Mathematical Society. (2009) 22, 201–209.
Google Scholar
44 Piszczek M. and Szczawińska J., Hyperstability of the Drygas functional equation, Journal of Function Spaces and Applications. (2013) 2013, 4, 912718, https://doi.org/10.1155/2013/912718, MR3083290, ZBL1272.39024.
10.1155/2013/912718
Google Scholar
45 Bodaghi A., Alias I. A., and Ghahramani M. H., Ulam stability of a quartic functional equation, Abstract and Applied Analysis. (2012) 2012, 9, 232630, https://doi.org/10.1155/2012/232630, MR2914887, ZBL1237.39026.
10.1155/2012/232630
Google Scholar
46 Brzdęk J., Stability of the equation of the p-Wright affine functions, Aequationes Mathematicae. (2013) 85, no. 3, 497–503, https://doi.org/10.1007/s00010-012-0152-z, MR3063884.
10.1007/s00010-012-0152-z
Web of Science® Google Scholar
47 Chudziak J., Stability of the homogeneous equation, Demonstratio Mathematica. (1998) 31, no. 4, 765–772, MR1677829, ZBL0931.39016.
10.1515/dema-1998-0405
Google Scholar
48 Jabłoński W., On the stability of the homogeneous equation, Publicationes Mathematicae Debrecen. (1999) 55, no. 1-2, 33–45, MR1708434, ZBL0991.39017.
10.5486/PMD.1999.1864
Web of Science® Google Scholar
49 Jabłoński W., Stability of homogeneity almost everywhere, Acta Mathematica Hungarica. (2007) 117, no. 3, 219–229, https://doi.org/10.1007/s10474-007-6092-8, MR2361602, ZBL1265.39053.
10.1007/s10474-007-6092-8
Web of Science® Google Scholar
50 Jun K. W. and Lee Y. H., T. M. Rasssias and J. Brzdęk, On the Hyers-Ulam-Rassias stability of the bi-Pexider functional equation, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 165–175, Springer Optimization and Its Applications.
10.1007/978-1-4614-3498-6_20
Google Scholar
51 Elqorachi E., Manar Y., and Rassias T. M., T. M. Rasssias and J. Brzdęk, Hyers-Ulam stability of the quadratic functional equation, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 97–105, Springer Optimization and Its Applications.
Google Scholar
52 Park C. and Eshaghi-Gordji M., T. M. Rasssias and J. Brzdęk, Isomorphisms and derivations in proper JCQ*-triples, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 229–245, Springer Optimization and Its Applications.
Google Scholar
53 Popa D., T. M. Rasssias and J. Brzdęk, Selections of set-valued maps satisfying functional inclusions on square-symmetric grupoids, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 261–272, Springer Optimization and Its Applications.
Google Scholar
54 Piszczek M., The properties of functional inclusions and Hyers-Ulam stability, Aequationes Mathematicae. (2013) 85, no. 1-2, 111–118, https://doi.org/10.1007/s00010-012-0119-0, MR3028204, ZBL1271.39031.
10.1007/s00010-012-0119-0
Web of Science® Google Scholar
55 Zeglami D., Kabbaj S., Charifi A., and Roukbi A., T. M. Rasssias and J. Brzdęk, μ-trigonometric functional equations and Hyers-Ulam stability problem in hypergroups, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 337–358, Springer Optimization and Its Applications.
Google Scholar
56 Moszner Z., On stability of some functional equations and topology of their target spaces, Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica. (2012) 11, 69–94, MR2989840.
Google Scholar
57 Cholewa P. W., The stability of the sine equation, Proceedings of the American Mathematical Society. (1983) 88, no. 4, 631–634, https://doi.org/10.2307/2045452, MR702289, ZBL0547.39003.
10.1090/S0002-9939-1983-0702289-8
Web of Science® Google Scholar
58 Găvruţa P., T. M. Rassias and J. Tabor, On the stability of some functional equations, Stability of Mappings of Hyers-Ulam Type, 1994, Hadronic Press, Palm Harbor, Fla, USA, 93–98, Hadronic Press Collection of Original Articles, MR1304272, ZBL0844.39007.
Google Scholar
59 Batko B., Stability of Dhombres′ equation, Bulletin of the Australian Mathematical Society. (2004) 70, no. 3, 499–505, https://doi.org/10.1017/S0004972700034754, MR2103982, ZBL1066.39027.
10.1017/S0004972700034754
Web of Science® Google Scholar
60 Batko B., T. M. Rasssias and J. Brzdęk, Note on superstability of Mikusinski′s functional equation, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 15–17, Springer Optimization and Its Applications.
Google Scholar
61 Chahbi A., On the superstability of the generalized Golab-Schinzel equation, International Journal of Mathematical Analysis. (2012) 6, no. 53–56, 2677–2682, MR2975094, ZBL1266.39033.
Google Scholar
62 Jabłońska E., T. M. Rasssias and J. Brzdęk, On solutions of some generalizations of the Go lab-Schinzel equation, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 509–521, Springer Optimization and Its Applications.
Google Scholar
63 Lee E. H., Superstability of functional inequalities associated with general exponential functions, Honam Mathematical Journal. (2010) 32, no. 4, 537–544, https://doi.org/10.5831/HMJ.2010.32.4.537, MR2778786, ZBL1214.39011.
10.5831/HMJ.2010.32.4.537
Google Scholar
64 Bouikhalene B., Elqorachi E., and Rassias J. M., The superstability of d′Alembert′s functional equation on the Heisenberg group, Applied Mathematics Letters. (2010) 23, no. 1, 105–109, https://doi.org/10.1016/j.aml.2009.08.013, MR2566113, ZBL1195.39007.
10.1016/j.aml.2009.08.013
Web of Science® Google Scholar
65 Xu L., Cao H.-X., Zheng W.-T., and Gao Z.-X., Super-stability and stability of the exponential equations, Journal of Mathematical Inequalities. (2010) 4, no. 1, 37–44, https://doi.org/10.7153/jmi-04-05, MR2641506, ZBL1192.39026.
10.7153/jmi-04-05
Web of Science® Google Scholar
66 Kim G. H., Stability of the Pexiderized Lobacevski equation, Journal of Applied Mathematics. (2011) 2011, 10, 540274, https://doi.org/10.1155/2011/540274, MR2820078, ZBL05964449.
10.1155/2011/540274
Google Scholar
67 Lee Y.-S. and Chung S.-Y., Superstability of generalized Cauchy functional equations, Advances in Difference Equations. (2011) 2011, article 23, 7, MR2824942, ZBL1263.39021.
Google Scholar
68 Badora R., T. M. Rasssias and J. Brzdęk, Stability properties of some functional equations, Functional Equations in Mathematical Analysis, 2012, 52, Springer, New York, NY, USA, 3–13, Springer Optimization and Its Applications.
Google Scholar
69 Alimohammady M. and Sadeghi A., Some new results on the superstability of the Cauchy equation on semigroups, Results in Mathematics. (2013) 63, no. 1-2, 705–712, https://doi.org/10.1007/s00025-011-0227-5, MR3009715, ZBL1263.39023.
10.1007/s00025-011-0227-5
Web of Science® Google Scholar
70 Kim H.-M., Kim G. H., and Han M. H., Superstability of approximate d′Alembert harmonic functions, Journal of Inequalities and Applications. (2011) 2011, article 118, 7, https://doi.org/10.1186/1029-242X-2011-118, MR2887121, ZBL06207308.
10.1186/1029-242X-2011-118
Google Scholar
71 Tongsomporn J., Laohakosol V., Hengkrawit C., and Udomkavanich P., Stability of a generalized trigonometric functional equation, Journal of Computational and Applied Mathematics. (2010) 234, no. 5, 1448–1457, https://doi.org/10.1016/j.cam.2010.02.021, MR2610361, ZBL1192.39025.
10.1016/j.cam.2010.02.021
Web of Science® Google Scholar
72 Baker J. A., The stability of the cosine equation, Proceedings of the American Mathematical Society. (1980) 80, no. 3, 411–416, https://doi.org/10.2307/2043730, MR580995, ZBL0448.39003.
10.1090/S0002-9939-1980-0580995-3
Web of Science® Google Scholar
73 Kim G. H., On the stability of trigonometric functional equations, Advances in Difference Equations. (2007) 2007, 10, 90405, https://doi.org/10.1155/2007/90405, MR2379707, ZBL1148.39024.
10.1155/2007/90405
Google Scholar
74 Kim G. H., On the stability of the Pexiderized trigonometric functional equation, Applied Mathematics and Computation. (2008) 203, no. 1, 99–105, https://doi.org/10.1016/j.amc.2008.04.011, MR2451542, ZBL1159.39013.
10.1016/j.amc.2008.04.011
Web of Science® Google Scholar

Citing Literature

All articles

Hyperstability and Superstability

Abstract

1. Introduction

2. Hyperstability Results for the Cauchy Equation

3. Hyperstability of the Linear Functional Equation

4. Hyperstability of Some Other Equations

5. Superstability

References

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Hyperstability and Superstability

Abstract

1. Introduction

2. Hyperstability Results for the Cauchy Equation

3. Hyperstability of the Linear Functional Equation

4. Hyperstability of Some Other Equations

5. Superstability

References

Citing Literature

References

Related

Information