Approximate Multi-Jensen, Multi-Euler-Lagrange Additive and Quadratic Mappings in n-Banach Spaces
Abstract
We prove the generalized Hyers-Ulam stability of multi-Jensen, multi-Euler-Lagrange additive, and quadratic mappings in n-Banach spaces, using the socalled direct method. The corollaries from our main results correct some outcomes from Park (2011).
1. Introduction and Preliminaries
In 2005, Prager and Schwaiger (see [1] and also [2]) introduced the notion of multi-Jensen functions with the connection with generalized polynomials and obtained their general form. In 2008, (see [3]) they also proved the Hyers-Ulam stability of multi-Jensen equation, whereas Ciepliński (see [4, 5]) showed its generalized stability: in the spirit of Bourgin (see [6]) and Găvruţa (see [7]), and in the spirit of Aoki (see [8]) and Rassias (see [9]). Recently, some further results on the stability of multi-Jensen mappings were obtained in [10–14]. We refer the reader to [15–19] for more information on different aspects of stability of functional equations.
In this paper, we deal with the generalized Hyers-Ulam stability of multi-Jensen, multi-Euler-Lagrange additive, and quadratic mappings in n-Banach spaces. The corollaries from our main results correct some outcomes from [20]. The results of Sections 2 and 4 generalize those from [12].
The concept of 2-normed spaces was initially developed by Gähler [21, 22] in the middle of the 1960s, while that of n-normed spaces can be found in [23, 24]. Since then, many others have studied this concept and obtained various results (see [23, 25–27]).
Throughout this paper, ℕ stands for the set of all positive integers and ℝ represents the set of all real numbers. Moreover, we fix two positive integers k and n.
We recall some basic facts concerning n-normed spaces.
Definition 1. Let n ∈ ℕ and let X be a real linear space with dim X ≥ n, and let ∥·, …, ·∥ : Xn → ℝ be a function satisfying the following properties:
- (N1)
∥x1, …, xn∥ = 0 if and only if x1, …, xn are linearly dependent,
- (N2)
∥x1, …, xn∥ is invariant under permutation,
- (N3)
∥αx1, …, xn∥ = |α|∥x1, …, xn∥,
- (N4)
∥x + y, x2, …, xn∥ ≤ ∥x, x2, …, xn∥ + ∥y, x2, …, xn∥
Example 2. For x1, …, xn ∈ ℝn, the Euclidean n-norm is defined by
Example 3. The standard n-norm on X, a real inner product space of dimension dim X ≥ n, is as follows:
In what follows, we will also use the following lemma from [19].
Lemma 4. Let X be an n-normed space. Then,
- (1)
for xi ∈ X (i = 1, …, n) and γ, a real number,
()for all 1 ≤ i ≠ j ≤ n, - (2)
|∥x, y2, …, yn∥ − ∥y, y2, …, yn∥| ≤ ∥x − y, y2, …, yn∥ for all x, y, y2, …, yn ∈ X,
- (3)
if ∥x, y2, …, yn∥ = 0 for all y2, …, yn ∈ X, then x = 0,
- (4)
for a convergent sequence {xj} in X,
()for all y2, …, yn ∈ X.
2. Approximate Multi-Jensen Mappings
Theorem 5. Let V be a commutative group uniquely divisible by 2, and, W be an n-Banach space. Assume also that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ∞) is a mapping such that
Proof. Fix x1, …, xk ∈ V, y2, …, yn ∈ W and i ∈ {1, …, k}. By (12) and (11), we get
Finally, fix , j ∈ ℕ, and note that according to (12), we have
Next, fix , and assume that s < i (the same arguments apply to the case where s > i). From (12), it follows that
Theorem 6. Let V be a real linear space and, W be an n-Banach space. Assume also that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ∞) is a mapping such that
Proof. Fix x1, …, xk ∈ V, y2, …, yn ∈ W, j ∈ ℕ ∪ {0} and i ∈ {1, …, k}. By (12) and (11), we get
Finally, fix , and note that according to (12), we have
As applications of Theorems 5 and 6 we get the following corollaries.
Corollary 7. Let V be a real normed linear space and, W be an n-Banach space. Assume also that θ ∈ [0, ∞) and r ∈ (0, ∞) are such that r ≠ 1. If f : Vk → W is a function satisfying (11) and
Corollary 8. Let V be a real normed linear space and let W be an n-Banach space. Assume also that θ ∈ [0, ∞) and r, p, q ∈ (0, ∞) are such that r, p + q ∈ (0,1) or r, p + q ∈ (1, ∞). If f : Vk → W is a function satisfying (11) and
From Corollary 8, we obtain the following corollary which corrects Theorems 3.1 and 3.2 from [20].
Corollary 9. Let V be a real normed linear space and W be an n-Banach space. Assume also that θ ∈ [0, ∞) and p, q ∈ (0, ∞) are such that p + q ≠ 1. If f : V → W is a function satisfying f(0) = 0 and
3. Approximate Multi-Euler-Lagrange Additive Mappings
In this section, we prove the stability of the system of equations defining multi-Euler-Lagrange additive mappings.
Throughout this section, let V be a real linear space and let W be an n-Banach space, and a, b ∈ ℝ∖{0} are fixed with λ : = a + b ≠ 0, ±1.
Theorem 10. Assume that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ∞) is a mapping such that
Proof. Fix x1, …, xk ∈ V, y2, …, yn ∈ W, j ∈ ℕ ∪ {0} and i ∈ {1, …, k}. By (36), we get
Now, fix also , and from (36), we have
Next, fix s ∈ {1, …, k}∖{i}, , and assume that s < i (the same arguments apply to the case where s > i). From (36) it follows that
Now, let us finally assume that is another multi-Euler-Lagrange additive mapping satisfying (37). Then we have
Theorem 11. Assume that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ∞) is a mapping such that
Proof. Fix x1, …, xk ∈ V, y2, …, yn ∈ W, j ∈ ℕ ∪ {0} and i ∈ {1, …, k}. By (36) we get
As applications of Theorems 10 and 11, we get the following corollaries.
Corollary 12. Let V be a real normed linear space and, W be an n-Banach space. Assume also that θ ∈ [0, ∞) and r ∈ (0, ∞) are such that r ≠ 1. If f : Vk → W is a function satisfying
Corollary 13. Let V be a real normed linear space and let W be an n-Banach space. Assume also that θ ∈ [0, ∞) and r, p, q ∈ (0, ∞) are such that r, p + q ∈ (0,1) or r, p + q ∈ (1, ∞). If f : Vk → W is a function satisfying
From Corollary 13 we obtain the following corollary which corrects Theorems 2.1 and 2.2 from [20].
Corollary 14. Let V be a real normed linear space and W be an 2-Banach space. Assume also that θ ∈ [0, ∞) and p, q ∈ (0, ∞) are such that p + q ≠ 1. If f : V → W is a function satisfying
4. Approximate Multi-Euler-Lagrange Quadratic Mappings
In this section, we prove the stability of the system of equations defining multi-Euler-Lagrange quadratic mappings.
Throughout this section, let V be a real linear space and let W be an n-Banach space, and a, b ∈ ℝ∖{0} are fixed with λ : = a2 + b2 ≠ 1.
Rassias [29] introduced the notion of a generalized Euler-Lagrange-type quadratic mapping, and investigated its generalized stability.
Theorem 15. Assume that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ∞) is a mapping such that
Proof. Fix x1, …, xk ∈ V, y2, …, yn ∈ W, j ∈ ℕ ∪ {0} and i ∈ {1, …, k}. By (64), we get
From (67), we obtain
Now, fix also and note that according to (64), we have
Next, fix s ∈ {1, …, k}∖{i}, , and assume that s < i (the same arguments apply to the case where s > i). From (64), it follows that
Now, let us finally assume that is another multi-Euler-Lagrange quadratic mapping satisfying (65) and note that according to (61) and using Lemma 4, and (63) we have
Similar to Theorem 15, one can get the following.
Theorem 16. Assume that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ∞) is a mapping such that
If f : Vk → W is a function satisfying condition (11) and
Proof. Fix x1, …, xk ∈ V, y2, …, yn ∈ W, j ∈ ℕ ∪ {0} and i ∈ {1, …, k}. By (74), we obtain
As applications of Theorems 15 and 16, we get the following corollaries.
Corollary 17. Let V be a real normed linear space and, W be an n-Banach space. Assume also that θ ∈ [0, ∞) and r ∈ (0, ∞) are such that r ≠ 1. If f : Vk → W is a function satisfying
Corollary 18. Let V be a real normed linear space and let W be an n-Banach space. Assume also that θ ∈ [0, ∞) and r, p, q ∈ (0, ∞) are such that r, p + q ∈ (0,2) or r, p + q ∈ (2, ∞). If f : Vk → W is a function satisfying
For a = b = 1, Corollary 18 yields the following corollary which corrects Theorems 4.1 and 4.2 from [20].
Corollary 19. Let V be a real normed linear space and let W be an 2-Banach space. Assume also that θ ∈ [0, ∞) and p, q ∈ (0, ∞) are such that p + q ≠ 2. If f : V → W is a function satisfying
Acknowledgments
This project was supported by the National Natural Science Foundation of China (NNSFC) (Grant no. 11171022). The author would like to thank Professor Krzysztof Ciepliński and anonymous referees for their valuable comments and suggestions.