Refined stability of additive and quadratic functional equations in modular spaces.

The purpose of this paper is to obtain refined stability results and alternative stability results for additive and quadratic functional equations using direct method in modular spaces.

Introduction

The theory of modulars on linear spaces and the related theory of modular linear spaces have been established by Nakano in 1950 [1]. Since then, these have been thoroughly developed by several mathematicians, for example, Amemiya [2], Koshi and Shimogaki [3], Yamamuro [4], Orlicz [5], Mazur [6], Musielak [7], Luxemburg [8], Turpin [9]. Up to now, the theory of modulars and modular spaces is widely applied in the study of interpolation theory [10, 11] and various Orlicz spaces [5].

First of all, we introduce to adopt the usual terminologies, notations, definitions and properties of the theory of modular spaces.

Definition 1

Let X be a linear space over a field ( or ). We say that a generalized functional is a modular if for any , If (M3) is replaced by

if and only if ,

for all scalar α with ,

for all scalar with .

for all scalar with , then the functional ρ is called a convex modular.

A modular ρ defines the following vector space: and we say that is a modular space.

Definition 2

Let be a modular space and let be a sequence in . Then:

is ρ-convergent to a point and write if as .

is called ρ-Cauchy if for any one has for sufficiently large .

A subset is called ρ-complete if any ρ-Cauchy sequence is ρ-convergent to a point in K.

It is said that the modular ρ has the Fatou property if and only if whenever the sequence is ρ-convergent to x in modular space .

Proposition 1

In modular spaces,

if and a is a constant vector, then , and

if and , then , where and .

It is noticed that the convergence of a sequence to x does not imply that converges to cx if c is chosen from the corresponding scalar field with in modular spaces. Thus, additional conditions on modular spaces were imposed by many mathematicians so that the multiples of convergent sequence in the modular spaces converge naturally. A modular ρ is said to satisfy the △2-condition if there exists such that for all . Throughout this paper, we say that this constant k is a △2-constant related to -condition.

Remark 1

Suppose that ρ is convex and satisfies △2-condition with △2-constant . If , then , which implies . Therefore, we must have the △2-constant if ρ is convex modular.

The study of the stability of functional equations originated with Ulam [12], who raised the stability problem of group homomorphisms. Hyers [13] gave the first affirmative answer to Ulam’s question in the case of a Cauchy functional equation in Banach spaces. In honor of the Hyers answer to the question of Ulam, the stability of functional equations may be called Hyers-Ulam stability. Hyers’ approach to proving Ulam’s problem, which is often called the direct method [13], has been extensively used for studying the stability of various functional equations [14, 15]. Additionally, there are also other methods proving the Hyers-Ulam stability of some functional equations [16], for example, the method using the property of shadowing [17], the method of invariant means [18], the method based on sandwich theorems [19]. The most popular technique of proving the stability of functional equations except for direct method is the fixed point method [16, 20–23].

On the other hand, many authors have investigated the stability using fixed point theorem of quasicontraction mappings in modular spaces without -condition, which has been introduced by Khamsi [24]. Recently, the stability results of additive functional equations in modular spaces equipped with the Fatou property and -condition were investigated by Sadeghi [25] who used Khamsi’s fixed point theorem. Also the stability of quadratic functional equations in modular spaces satisfying the Fatou property without using the -condition was proved by Wongkum, Chaipunya and Kumam [26].

In this paper, by using the direct method, we present stability results and alternative stability results of additive functional equations and of quadratic functional equations which are refined versions of Sadeghi [25], and Wongkum, Chaipunya and Kumam [26].

Stability of additive functional equations in modular spaces

Throughout this paper, we assume that V is a linear space and is a ρ-complete convex modular space. We present a main theorem, which concerns Hyers-Ulam stability of an additive functional equation in modular spaces without using the Fatou property.

Theorem 1

Suppose satisfies the -condition. If there exists a function for which a mapping satisfies for all , then there exists a unique additive mapping , defined as and for all .

Proof

By letting by in (1), respectively, we get for all , and then it follows from the -condition and the convexity of the modular ρ that for all . So, for all with , we have for all . Since the right-hand side of the above inequality tends to zero as m goes to infinity, the sequence is a ρ-Cauchy sequence in and so the sequence is a ρ-convergent sequence on . Thus, we may define a mapping as According to the -condition without using the Fatou property, we obtain the following inequality: for all . Taking , we conclude that the estimation (2) of f by A holds for all .

Now, we claim that the mapping A is additive. Setting in (1) and using the -condition, we see that for all . Thus, it follows from the -condition and (, ) that for all and all positive integers n. Taking the limit as , one sees that A is additive.

To show the uniqueness of A, we assume that there exists an additive mapping which satisfies the inequality for all . Then, since A and are additive mappings, we see from the equality and that for all and all positive integers n. Hence A is a unique additive mapping near f satisfying the approximation (2) in the modular space . This completes the proof. □

Corollary 1

Suppose V is a normed space with norm and satisfies -condition. For given real numbers and , if is a mapping such that for all , then there exists a unique additive mapping such that for all .

Next, we are going to prove an alternative stability theorem of additive functional equations in modular spaces without using the -condition.

Theorem 2

Let satisfy the Fatou property. Suppose that a mapping satisfies and is a mapping such that for all . Then there exists a unique additive mapping such that for all .

We let in (3) and have so we observe without using the △2-condition that for all and all positive integers . This yields for all and all with . Thus, we see that the sequence is a ρ-Cauchy sequence on . Since is ρ-complete, there exists a ρ-limit function defined by for all . Then, it follows from the Fatou property that the inequality holds for all . Now, we claim that A satisfies the additive functional equation. Note that for all and all . Thus, we observe by convexity of ρ that holds for all , and then taking , one obtains . This implies that A is additive.

To show the uniqueness of A, we assume that there exists another additive mapping near f satisfying the approximation (4). Since A and are additive mappings, we see from the equality and that for all . Taking , we find that . Hence A is a unique additive mapping near f satisfying the approximation (4). □

Remark 2

In particular, if is a Banach space with norm ρ, then , , and so Theorem 2 is equivalent to the result of Gǎvruta [14] in this case.

The following corollary, which does not use △2-condition of ρ, is a refined version of Sadeghi’s stability result (Theorem 2.1 in [25]) in modular space .

Corollary 2

Let satisfy the Fatou property. Suppose that a mapping satisfies and is a mapping such that for all . Then there exists a unique additive mapping such that for all .

Corollary 3

Let V be a normed space with norm and satisfy the Fatou property. For given real numbers and , if is a mapping such that for all , then there exists a unique additive mapping such that for all , where if .

Stability of quadratic functional equations in modular spaces

In this section, we investigate refined stability results of the original quadratic functional equation in modular space . We present the Hyers-Ulam stability of a quadratic functional equation in modular spaces without using the Fatou property.

Theorem 3

Suppose satisfies the -condition. If there exists a function for which a mapping satisfies for all , then there exists a unique quadratic mapping , defined as and for all .

First, we observe that because of by the convergence of . We take in (5) to have for all . By the -condition of ρ and , one can prove the following functional inequality: for all . Now, replacing x by in (7), we obtain for all , which tends to zero as because and the series of (5) converges. Thus, the sequence is a ρ-Cauchy sequence for all and so it is ρ-convergent in since the space is ρ-complete. Therefore we have a mapping as for all . So, without using the Fatou property, we can see from the -condition that the inequality holds for all and all positive integers . Taking , one has the estimation (6) of f by B. Setting in (5), we see that which tends to zero as for all . Thus, it follows from the convexity of ρ that for all and all positive integers . Taking the limit as , one sees that B is quadratic.

To show the uniqueness of B, we assume that there exists a quadratic mapping satisfying the approximation Then we see from the equality and that for all and all sufficiently large positive integers n. Taking , we arrive at the uniqueness of B. This completes the proof. □

Corollary 4

Suppose V is a normed space with norm and satisfies -condition. For given real numbers and , if is a mapping such that for all , then there exists a unique quadratic mapping such that for all .

Next, we provide an alternative stability theorem of Theorem 3 without using both the -condition and the Fatou property in modular spaces.

Theorem 4

Suppose that a mapping satisfies and is a mapping such that for all . Then there exists a unique quadratic mapping such that for all .

Taking in (8), one has where , and then we obtain from the convexity of ρ and for all and all positive integers n. Then, by applying a similar argument to the proof of Theorem 2, one has a ρ-Cauchy sequence and the limit function defined as for all without using the -condition and the Fatou property. Furthermore, one can prove that the mapping B satisfies the quadratic functional equation in the same way as in the proof of Theorem 3.

Now, we prove the estimation (9) of f by B without using -condition and the Fatou property. By using the convexity of ρ and , we obtain the following inequality: for all and all positive integers . Taking , we arrive at the desired conclusion. □

Corollary 5

Let be a given function such that for all and for some . If is a mapping such that for all , then there exists a unique quadratic mapping such that for all .

Remark 3

In [26], the authors have shown that if the convex modular ρ is lower semicontinuous and with are given functions such that for all and for some , then there exists a unique quadratic mapping such that for all . In Corollary 5, we remark that since , , the series converges for all . Thus, we see that Corollary 5 is a refined stability theorem of the result above.

Corollary 6

Suppose V is a normed space with norm . For given real numbers and , if is a mapping such that for all , then there exists a unique quadratic mapping such that for all , where if .

Conclusion

In this article, we have obtained the stability results and alternative stability results of additive functional equation and quadratic functional equation in modular spaces without using the Fatou property or the -condition. These generalize the results of Sadeghi [25] and Wongkum, Chaipunya and Kumam [26].