Volume 2013, Issue 1 648709
Research Article
Open Access

Approximate Multi-Jensen, Multi-Euler-Lagrange Additive and Quadratic Mappings in n-Banach Spaces

Tian Zhou Xu

Corresponding Author

Tian Zhou Xu

School of Mathematics, Beijing Institute of Technology, Beijing 100081, China bit.edu.cn

Search for more papers by this author
First published: 14 September 2013
Citations: 11
Academic Editor: Krzysztof Ciepliński

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 [1014]. We refer the reader to [1519] 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, 2527]).

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  Xn, 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

for all α and x, y, x1, x2, …, xnX. Then the function ∥·, …, ·∥ is called an n-norm on X, and the pair (X, ∥·, …, ·∥) is called an n-normed space.

A sequence {xj} j in an n-normed space X is said to a converge to some xX in the n-norm if
()
for every y2, …, ynX. Every convergent sequence has exactly one limit. If x is the limit of the sequence {xj} j, then we write lim jxj = x. For any convergent sequences {xj} j and {yj} j of elements of X, the sequence {xj + yj} j is convergent and
()
If, moreover, {αj} j is a convergent sequence of real numbers, then the sequence {αj · xj} j is also convergent and
()
A sequence {xj} j in an n-normed space X is said to be a Cauchy sequence with respect to the n-norm if
()
for every y2, …, ynX. A linear n-normed space in which every Cauchy sequence is convergent is called an n-Banach space.

Example 2. For x1, …, xnn, the Euclidean n-norm is defined by

()
where xi = (xi1, …, xin) ∈ n for each i = 1, …, n.

Example 3. The standard n-norm on X, a real inner product space of dimension dim Xn, is as follows:

()
where 〈·, ·〉 denotes the inner product on X. If X = n, then this n-norm is exactly the same as the Euclidean n-norm mentioned earlier. For n = 1, this n-norm is the usual norm .

In what follows, we will also use the following lemma from [19].

Lemma 4. Let X be an n-normed space. Then,

  • (1)

    for xiX  (i = 1, …, n) and γ, a real number,

    ()
    for all 1 ≤ ijn,

  • (2)

    |∥x, y2, …, yn∥ − ∥y, y2, …, yn∥| ≤ ∥xy, y2, …, yn∥ for all x, y, y2, …, ynX,

  • (3)

    if ∥x, y2, …, yn∥ = 0 for all y2, …, ynX, then x = 0,

  • (4)

    for a convergent sequence {xj} in X,

    ()
    for all y2, …, ynX.

2. Approximate Multi-Jensen Mappings

First, we prove the stability of the system of equations defining multi-Jensen mappings in n-Banach spaces. For a given mapping f : VkW, we define the difference operators
()

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

()
If f : VkW is a function satisfying
()
()
then for every i ∈ {1, …, k}, there exists a multi-Jensen mapping Fi : VkW for which
()
For every i ∈ {1, …, k}, the function Fi is given by
()

Proof. Fix x1, …, xkV, y2, …, ynW and i ∈ {1, …, k}. By (12) and (11), we get

()
Hence,
()
and consequently for any nonnegative integers l and m such that l < m, we obtain
()
Therefore, from (10), it follows that {(1/3j)f(x1, …, xi−1, 3jxi, xi+1, …, xk)} j is a Cauchy sequence. Since W is an n-Banach space, this sequence is convergent and we define Fi : VkW by (14). Putting l = 0, letting m in (17), and using Lemma 4 and (10), we see that (13) holds.

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

()
Letting j in the above two inequalities and using (10) and Lemma 4, we see that the mapping Fi is multi-Jensen.

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

()
If f : VkW is a function satisfying conditions (11) and (12), then for every i ∈ {1, …, k} there exists a multi-Jensen mapping Fi : VkW for which
()
For every i ∈ {1, …, k}, the function Fi is given by
()

Proof. Fix x1, …, xkV, y2, …, ynW, j ∪ {0} and i ∈ {1, …, k}. By (12) and (11), we get

()
and consequently for any non-negative integers l and m such that l < m, we obtain
()
Therefore, from (20), it follows that {3jf(x1, …, xi−1, xi/3j, xi+1, …, xk)} j is a Cauchy sequence. Since W is an n-Banach space, this sequence is convergent and we define Fi : VkW by (22). Putting l = 0, letting m in (24), and using Lemma 4 and (20), we see that (21) holds.

Finally, fix , 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
()
Letting j in the previous two inequalities and using (20) and Lemma 4, we see that the mapping Fi is multi-Jensen.

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 : VkW is a function satisfying (11) and

()
then for every i ∈ {1, …, k} there exists a multi-Jensen mapping Fi : VkW for which
()
for all x1, …, xkV, y2, …, ynW.

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 : VkW is a function satisfying (11) and

()
then for every i ∈ {1, …, k}, there exists a multi-Jensen mapping Fi : VkW for which
()
for all x1, …, xkV, y2, …, ynW.

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 : VW is a function satisfying f(0) = 0 and

()
then there exists a Jensen mapping F : VW for which
()

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.

A mapping f : VkW is called a multiEuler-Lagrange additive mapping as follows if it satisfies the Euler-Lagrange additive equations in each of their k arguments as follows:
()
for all i ∈ {1, …, k} and all . If a = b = 1, then the multi-Euler-Lagrange additive mapping is multiadditive (see [28]). For a given mapping f : VkW, we define the difference operators
()

Theorem 10. Assume that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ) is a mapping such that

()
If f : VkW is a function satisfying
()
then for every i ∈ {1, …, k}, there exists a unique multi-Euler-Lagrange additive mapping Ai : VkW for which
()
For every i ∈ {1, …, k}, the function Ai is given by
()

Proof. Fix x1, …, xkV, y2, …, ynW, j ∪ {0} and i ∈ {1, …, k}. By (36), we get

()
whence
()
For any nonnegative integers l and m with l < m, using (40) we get
()
which tends to zero as l tends to infinity. Therefore, from (35) it follows that {(1/λj)f(x1, …, xi−1, λjxi, xi+1, …, xk)} j is a Cauchy sequence in n-Banach space W and it thus converges. Hence, we can define Ai : VkW by
()
Putting l = 0, letting m in (41), and using (35), we see that (37) holds.

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

()
Letting j in the above two inequalities and using (35) and Lemma 4, we see that the mapping Ai is multi-Euler-Lagrange additive.

Now, let us finally assume that is another multi-Euler-Lagrange additive mapping satisfying (37). Then we have

()
and therefore .

Theorem 11. Assume that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ) is a mapping such that

()
If f : VkW is a function satisfying (36), then for every i ∈ {1, …, k}, there exists a unique multi-Euler-Lagrange additive mapping Ai : VkW for which
()
For every i ∈ {1, …, k}, the function Ai is given by
()

Proof. Fix x1, …, xkV, y2, …, ynW, j ∪ {0} and i ∈ {1, …, k}. By (36) we get

()
For any non-negative integers l and m with 0 ≤ l < m, using (49), we get
()
which tends to zero as l tends to infinity. Therefore from (46), it follows that {λjf(x1, …, xi−1, xi/λj, xi+1, …, xk)} j is a Cauchy sequence in n-Banach space W and it thus converges. Hence, we can define Ai : VkW by
()
Putting l = 0, letting m in (50), and using (46), we see that (47) holds. The further part of the proof is similar to the proof of Theorem 10.

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 : VkW is a function satisfying

()
then for every i ∈ {1, …, k} there exists a unique multi-Euler-Lagrange additive mapping Ai : VkW for which
()
for all x1, …, xk ∈ V, y2, …, ynW.

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 : VkW is a function satisfying

()
then for every i ∈ {1, …, k}, there exists a unique multi-Euler-Lagrange additive mapping Ai : VkW for which
()
for all x1, …, xkV, y2, …, ynW.

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 : VW is a function satisfying

()
then there exists a unique additive mapping A : VW for which
()

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.

A mapping f : VkW is called a multi-Euler-Lagrange quadratic mapping, if it satisfies the Euler-Lagrange quadratic equations in each of their k arguments:
()
for all i ∈ {1, …, k} and all .
If a = b = 1, then the multi-Euler-Lagrange quadratic mapping is multiquadratic (see [30]). Letting in (58), we get f(x1, …, xi−1, 0, xi+1, …, xk) = 0. Putting in (58), we have
()
Replacing xi by axi and by bxi in (58), respectively, we obtain
()
From (59) and (60), one gets
()
for all i ∈ {1, …, k} and all x1, …, xkV.
For a given mapping f : VkW, we define the difference operators
()

Theorem 15. Assume that for every i ∈ {1, …, k}, φi : Vk+1 → [0, ) is a mapping such that

()
If f : VkW is a function satisfying condition (11) and
()
then for every i ∈ {1, …, k}, there exists a unique multi-Euler-Lagrange quadratic mapping Qi : VkW for which
()
For every i ∈ {1, …, k}, the function Qi is given by
()

Proof. Fix x1, …, xkV, y2, …, ynW, j ∪ {0} and i ∈ {1, …, k}. By (64), we get

()

From (67), we obtain

()
and consequently for any non-negative integers l and m such that l < m, we get
()
Therefore from (63), it follows that {(1/λ2j)f(x1, …, xi−1, λjxi, xi+1, …, xk)} j is a Cauchy sequence. Since W is an n-Banach space, this sequence is convergent and we define Qi : VkW by (66). Putting l = 0, letting m in (69) and using Lemma 4 and (63), we see that (65) holds.

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

()
Letting j in the above two inequalities and using (63), and Lemma 4 we see that the mapping Qi is multi-Euler-Lagrange quadratic.

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

()
Therefore, by Lemma 4, we can conclude that .

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 : VkW is a function satisfying condition (11) and

()
then for every i ∈ {1, …, k}, there exists a unique multi-Euler-Lagrange quadratic mapping Qi : VkW for which
()
For every i ∈ {1, …, k} the function Qi is given by
()

Proof. Fix x1, …, xkV, y2, …, ynW, j ∪ {0} and i ∈ {1, …, k}. By (74), we obtain

()
and consequently for any non-negative integers l and m such that l < m, we get
()
Therefore, from (73), it follows that {λ2jf(x1, …, xi−1, xi/λj, xi+1, …, xk)} j is a Cauchy sequence. Since W is an n-Banach space, this sequence is convergent and we define Qi : VkW by (76). Putting l = 0, letting m in (78), and using Lemma 4 and (73) we see that (75) holds. The further part of the proof is similar to the proof of Theorem 15.

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 : VkW is a function satisfying

()
then for every i ∈ {1, …, k}, there exists a unique multi-Euler-Lagrange quadratic mapping Qi : VkW for which
()
for all x1, …, xkV, y2, …, ynW.

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 : VkW is a function satisfying

()
then for every i ∈ {1, …, k}, there exists a unique multi-Euler-Lagrange quadratic mapping Qi : VkW for which
()
for all x1, …, xkV, y2, …, ynW.

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 : VW is a function satisfying

()
then there exists a unique quadratic mapping Q : VW for which
()

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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.