Open Access

A general uniqueness theorem concerning the stability of monomial functional equations in fuzzy spaces

Journal of Inequalities and Applications20152015:66

https://doi.org/10.1186/s13660-015-0586-7

Received: 2 December 2014

Accepted: 3 February 2015

Published: 24 February 2015

Abstract

In this paper, we prove a general uniqueness theorem that can easily be applied to the (generalized) Hyers-Ulam stability of a large class of functional equations, which includes monomial functional equations (e.g. the Cauchy additive functional equation, the quadratic functional equation, and the cubic functional equation, etc.). This uniqueness theorem can save us much trouble in proving the uniqueness of relevant solutions repeatedly appearing in the stability problems for functional equations in fuzzy spaces.

Keywords

uniqueness stability Hyers-Ulam stability generalized Hyers-Ulam stability monomial functional equation monomial mapping

MSC

39B82 46S40 26E50 03E72 39B52

1 Introduction

Let X and Y be real vector spaces and let n be a positive integer. For a given mapping \(f : X \to Y\), we define a mapping \(D_{n} f : X \times X \to Y\) by
$$ D_{n} f(x,y) := \sum_{i=0}^{n} {}_{n}C_{i} (-1)^{n-i} f(ix+y) - n! f(x) $$
for all \(x, y \in X\), where \({}_{n}C_{i} = \frac{n!}{i!(n-i)!}\). A mapping \(f : X \to Y\) is called a monomial mapping of degree n if f satisfies the monomial functional equation \(D_{n} f(x,y) = 0\) for all \(x, y \in X\). The mapping \(f(x) := ax^{n}\) satisfies the functional equation \(D_{n} f(x,y) = 0\) for all \(x, y \in\mathbf{R}\). In particular, a mapping \(f : X \to Y\) is called an additive mapping, a quadratic mapping, a cubic mapping, a quadratic mapping, respectively, if f satisfies the functional equation \(D_{1} f(x,y) = 0\), \(D_{2} f(x,y) = 0\), \(D_{3} f(x,y) = 0\), \(D_{4} f(x,y) = 0\), respectively. We notice that if a mapping \(f : X \to Y\) is a monomial mapping of degree n, then \(f(rx) = r^{n} f(x)\) for all \(x \in X\) and all rational numbers r (see [1, 2]).

In the study of Hyers-Ulam stability problems of monomial functional equations, we have been frequently requested to prove the uniqueness of the monomial mappings under various conditions. We can find in the books [36] a lot of references concerning the Hyers-Ulam stability of functional equations (see also [711]).

In this paper, we prove a general uniqueness theorem that can easily be applied to the (generalized) Hyers-Ulam stability of a large class of functional equations, which includes monomial functional equations. Indeed, this uniqueness theorem can save us much trouble in proving the uniqueness of relevant solutions repeatedly appearing in the stability problems for various functional equations in fuzzy spaces (see [1214]).

2 Preliminaries

We first introduce the definition of fuzzy normed spaces (see [1517]).

Definition 2.1

Let X be a real vector space. A mapping \(N : X \times\mathbf{R} \to[0, 1]\) is said to be a fuzzy norm on X if for all \(x, y \in X\) and all \(c, s, t \in\mathbf{R}\),
(N1): 

\(N(x,t) = 0\) for all \(t \leq0\);

(N2): 

\(x = 0\) if and only if \(N(x,t) = 1\) for all \(t > 0\);

(N3): 

\(N(cx,t) = N(x,t/|c|)\) for all \(c \neq0\);

(N4): 

\(N(x+y,s+t) \geq\min\{ N(x,s), N(y,t) \}\);

(N5): 

\(N(x,\cdot)\) is a non-decreasing mapping on R and \(\lim_{t \to\infty} N(x,t) = 1\).

The pair \((X,N)\) is called a fuzzy normed space.

Example 2.2

([17])

Let \((X, \| \cdot\|)\) be a normed space and let \(k > 0\) be an arbitrary real number. If we define a mapping \(N_{k} : X \times\mathbf{R} \to[0, 1]\) by
$$ N_{k} (x,t) := \left \{ \begin{array}{l@{\quad}l} {\frac{t}{t + k \| x \|}} & \mbox{if } t > 0, \\ 0 & \mbox{otherwise}, \end{array} \right . $$
then \(N_{k}\) is a fuzzy norm on X.

Let \((X,N)\) be a fuzzy normed space and let \(\{ x_{n} \}\) be a sequence in X. Then \(\{ x_{n} \}\) is said to be convergent if there exists an \(x \in X\) such that \(\lim_{n \to\infty} N(x_{n} - x, t) = 1\) for all \(t > 0\). In this case, x is called the limit of the sequence \(\{ x_{n} \}\) and we write \(N\mbox{-} \lim_{n \to\infty} x_{n} = x\). A sequence \(\{ x_{n} \}\) in X is called Cauchy if for each \(\varepsilon> 0\) and each \(t > 0\) there exists a positive integer \(n_{0}\) such that for all \(n \geq n_{0}\) and all integers \(p > 0\) we have \(N(x_{n+p} - x_{n}, t) > 1 - \varepsilon\). It is well known that every convergent sequence in a fuzzy normed space is Cauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed space is called a fuzzy Banach space.

3 Main result

Throughout this section, let \((Y,N_{Y})\) and \((Z,N_{Z})\) be fuzzy normed spaces and let X be a real vector space. To the best of our knowledge, Mirmostafaee et al. seem to be the first authors who investigated the (generalized) Hyers-Ulam stability of functional equations in fuzzy spaces [1517].

In the following theorem, we prove that if, for any given mapping f, there exists a mapping F (near f) with some properties which are certainly satisfied by monomial mappings, then the mapping F is uniquely determined.

Theorem 3.1

Let \(a \neq1\) be a positive real constant, let b be a real constant, let \(\Phi: X \backslash\{ 0 \} \to(Z,N_{Z})\) be a mapping satisfying either
$$ \lim_{n \to\infty} N_{Z} \biggl( \frac{1}{a^{bn}} \Phi\bigl(a^{n} x\bigr), t \biggr) = 1 $$
(1)
for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\), or
$$ \lim_{n \to\infty} N_{Z} \biggl( a^{bn} \Phi \biggl( \frac{x}{a^{n}} \biggr), t \biggr) = 1 $$
(2)
for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\), and let \(f : X \to(Y,N_{Y})\) be an arbitrarily given mapping. If there exists a mapping \(F : X \to(Y,N_{Y})\) such that
$$ N_{Y} \bigl( f(x) - F(x), t \bigr) \geq N_{Z} \bigl( \Phi(x), t \bigr) $$
(3)
for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\), and if F satisfies
$$ F(ax) = a^{b} F(x) $$
(4)
for all \(x \in X\), then F is determined by
$$ F(x) = \left \{ \begin{array}{l@{\quad}l} N_{Y}\mbox{-} \lim_{n \to\infty} {\frac{1}{a^{bn}} f(a^{n} x)} &\textit{if } \Phi \textit{ satisfies} \text{ (1)}, \\ N_{Y}\mbox{-} \lim_{n \to\infty} { a^{bn} f ( \frac{x}{a^{n}} )} &\textit{if } \Phi \textit{ satisfies} \text{ (2)} \end{array} \right . $$
for all \(x \in X \backslash\{ 0 \}\). In other words, F is the unique mapping satisfying (3) and (4).

Proof

Assume that F is a mapping satisfying (3) and (4) for a given mapping \(f : X \to(Y,N_{Y})\).

First, we consider the case when Φ satisfies the condition (1) for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\). It then follows from (N3), (1), (3), and (4) that
$$\begin{aligned} N_{Y} \biggl( F(x) - \frac{1}{a^{bn}} f\bigl(a^{n} x \bigr), t \biggr) = & N_{Y} \biggl( \frac{1}{a^{bn}} \bigl( F \bigl(a^{n} x\bigr) - f\bigl(a^{n} x\bigr) \bigr), t \biggr) \\ = & N_{Y} \bigl( f\bigl(a^{n} x\bigr) - F \bigl(a^{n} x\bigr), a^{bn}t \bigr) \\ \geq& N_{Z} \bigl( \Phi\bigl(a^{n} x\bigr), a^{bn}t \bigr) \\ = & N_{Z} \biggl( \frac{1}{a^{bn}} \Phi\bigl(a^{n} x \bigr), t \biggr) \\ \to & 1, \quad \mbox{as } n \to\infty \end{aligned}$$
for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\). Thus, we have \(F(x) = N_{Y}\mbox{-} \lim_{n \to\infty} \frac{1}{a^{bn}} f(a^{n} x)\) for all \(x \in X \backslash\{ 0 \}\).
On the other hand, if Φ satisfies the condition (2) for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\), it then follows from (N3), (2), (3), and (4) that
$$\begin{aligned} \begin{aligned} N_{Y} \biggl( F(x) - a^{bn} f \biggl( \frac{x}{a^{n}} \biggr), t \biggr) & = N_{Y} \biggl( a^{bn} F \biggl( \frac{x}{a^{n}} \biggr) - a^{bn} f \biggl( \frac{x}{a^{n}} \biggr), t \biggr) \\ & = N_{Y} \biggl( f \biggl( \frac{x}{a^{n}} \biggr) - F \biggl( \frac{x}{a^{n}} \biggr), \frac{t}{a^{bn}} \biggr) \\ & \geq N_{Z} \biggl( \Phi \biggl( \frac{x}{a^{n}} \biggr), \frac{t}{a^{bn}} \biggr) \\ & = N_{Z} \biggl( a^{bn} \Phi \biggl( \frac{x}{a^{n}} \biggr), t \biggr) \\ & \to 1, \quad \mbox{as } n \to\infty \end{aligned} \end{aligned}$$
for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\). Therefore, we have \(F(x) = N_{Y}\mbox{-} \lim_{n \to\infty} a^{bn} f ( \frac{x}{a^{n}} )\) for all \(x \in X \backslash\{ 0 \}\). □

In general, it is not easy to apply Theorem 3.1 in practical applications. Hence, we introduce some corollaries which are easily applicable to investigating the uniqueness problems in the stability of various functional equations.

Corollary 3.2

Let \(a \neq1\) be a positive real constant, let b be a real constant, let \(\phi: X \backslash\{ 0 \} \to(Z,N_{Z})\) be a mapping satisfying either
$$ \Phi(x) := N_{Z}\mbox{-} \lim _{n \to\infty} \sum_{i=0}^{n} \frac{1}{a^{bi}} \phi\bigl(a^{i} x\bigr) \in Z $$
(5)
for all \(x \in X \backslash\{ 0 \}\), or
$$ \Phi(x) := N_{Z}\mbox{-} \lim _{n \to\infty} \sum_{i=0}^{n} a^{bi} \phi \biggl( \frac{x}{a^{i}} \biggr) \in Z $$
(6)
for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to(Y,N_{Y})\) be an arbitrarily given mapping. If there exists a mapping \(F : X \to(Y,N_{Y})\) satisfying (3) for all \(x \in X \backslash\{ 0 \}\) and \(t > 0\) and (4) for all \(x \in X\), then F is a unique mapping satisfying (3) and (4).

Proof

If ϕ satisfies (5) for all \(x \in X \backslash\{ 0 \}\), then we have
$$ \Phi\bigl(a^{m} x\bigr) = N_{Z}\mbox{-} \lim _{n \to\infty} \sum_{i=0}^{n} \frac{1}{a^{bi}} \phi \bigl( a^{i+m} x \bigr) $$
or equivalently
$$ \lim_{n \to\infty} N_{Z} \Biggl( \Phi \bigl(a^{m} x\bigr) - \sum_{i=0}^{n} \frac{1}{a^{bi}} \phi \bigl( a^{i+m} x \bigr), \frac{a^{bm}}{2} t \Biggr) = 1 $$
(7)
for all \(x \in X \backslash\{ 0 \}\) and \(m \in\mathbf{N}\), where we write ‘\(\frac{a^{bm}}{2} t\)’ instead of ‘t’ in (7) (it is not bad because \(\frac{a^{bm}}{2}\) is a positive real constant). It now follows from (N3) and (7) that
$$\begin{aligned}& {\lim_{n \to\infty} N_{Z} \Biggl( \frac{1}{a^{bm}} \Phi\bigl(a^{m} x\bigr) - \frac{1}{a^{bm}} \sum _{i=0}^{n} \frac{1}{a^{bi}} \phi \bigl( a^{i+m} x \bigr), \frac{t}{2} \Biggr)} \\& \quad = \lim_{n \to\infty} N_{Z} \Biggl( \Phi \bigl(a^{m} x\bigr) - \sum_{i=0}^{n} \frac{1}{a^{bi}} \phi \bigl( a^{i+m} x \bigr), \frac{a^{bm}}{2} t \Biggr) = 1 \end{aligned}$$
(8)
for any \(x \in X \backslash\{ 0 \}\) and \(m \in\mathbf{N}\). Hence, by (N4) and (8), we get
$$\begin{aligned}& {N_{Z} \biggl( \frac{1}{a^{bm}} \Phi\bigl(a^{m} x\bigr), t \biggr)} \\& \quad = \lim_{n \to\infty} N_{Z} \biggl( \frac{1}{a^{bm}} \Phi\bigl(a^{m} x\bigr), t \biggr) \\& \quad \geq \lim_{n \to\infty} \min \Biggl\{ N_{Z} \Biggl( \frac{1}{a^{bm}} \Phi\bigl(a^{m} x\bigr) - \frac{1}{a^{bm}} \sum _{i=0}^{n} \frac{1}{a^{bi}} \phi \bigl( a^{i+m} x \bigr), \frac{t}{2} \Biggr), \\& \qquad N_{Z} \Biggl( \sum_{i=0}^{n} \frac{1}{a^{b(i+m)}} \phi \bigl( a^{i+m} x \bigr), \frac{t}{2} \Biggr) \Biggr\} \\& \quad = \lim_{n \to\infty} N_{Z} \Biggl( \sum _{i=m}^{m+n} \frac{1}{a^{bi}} \phi \bigl( a^{i} x \bigr), \frac{t}{2} \Biggr) \end{aligned}$$
for all \(x \in X \backslash\{ 0 \}\) and \(t > 0\).
Hence, by using (N4) and (5), we have
$$\begin{aligned}& {\lim_{m \to\infty} N_{Z} \biggl( \frac{1}{a^{bm}} \Phi \bigl(a^{m} x\bigr), t \biggr)} \\& \quad \geq \lim_{m \to\infty} \lim_{n \to\infty} N_{Z} \Biggl( \sum_{i=m}^{m+n} \frac{1}{a^{bi}} \phi \bigl( a^{i} x \bigr), \frac{t}{2} \Biggr) \\& \quad \geq \lim_{m \to\infty} \lim_{n \to\infty} \min \Biggl\{ N_{Z} \Biggl( \sum_{i=0}^{m+n} \frac{1}{a^{bi}} \phi \bigl( a^{i} x \bigr) - \Phi(x), \frac{t}{4} \Biggr), \\& \qquad N_{Z} \Biggl( \Phi(x) - \sum_{i=0}^{m-1} \frac{1}{a^{bi}} \phi \bigl( a^{i} x \bigr), \frac{t}{4} \Biggr) \Biggr\} \\ & \quad = 1 \end{aligned}$$
for each \(x \in X \backslash\{ 0 \}\) and \(t > 0\), i.e., Φ satisfies the condition (1).
If ϕ satisfies (6) for any \(x \in X \backslash\{ 0 \}\), then we get
$$ \Phi \biggl( \frac{x}{a^{m}} \biggr) = N_{Z}\mbox{-} \lim _{n \to\infty} \sum_{i=0}^{n} a^{bi} \phi \biggl( \frac{x}{a^{i+m}} \biggr) $$
or equivalently
$$ \lim_{n \to\infty} N_{Z} \Biggl( \Phi \biggl( \frac{x}{a^{m}} \biggr) - \sum_{i=0}^{n} a^{bi} \phi \biggl( \frac{x}{a^{i+m}} \biggr), \frac{t}{2a^{bm}} \Biggr) = 1 $$
(9)
for every \(x \in X \backslash\{ 0 \}\) and \(m \in\mathbf{N}\), where we write ‘\(\frac{t}{2a^{bm}}\)’ instead of ‘t’ in (9) (it is not bad because \(\frac{1}{2a^{bm}}\) is a positive real constant). In view of (N3) and (9), we have
$$\begin{aligned}& {\lim_{n \to\infty} N_{Z} \Biggl( a^{bm} \Phi \biggl( \frac{x}{a^{m}} \biggr) - a^{bm} \sum _{i=0}^{n} a^{bi} \phi \biggl( \frac{x}{a^{i+m}} \biggr), \frac{t}{2} \Biggr)} \\ & \quad = \lim_{n \to\infty} N_{Z} \Biggl( \Phi \biggl( \frac{x}{a^{m}} \biggr) - \sum_{i=0}^{n} a^{bi} \phi \biggl( \frac{x}{a^{i+m}} \biggr), \frac{t}{2a^{bm}} \Biggr) = 1 \end{aligned}$$
(10)
for any \(x \in X \backslash\{ 0 \}\) and \(m \in\mathbf{N}\). Thus, it follows from (N4) and (10) that
$$\begin{aligned}& {N_{Z} \biggl( a^{bm} \Phi \biggl( \frac{x}{a^{m}} \biggr), t \biggr)} \\& \quad = \lim_{n \to\infty} N_{Z} \biggl( a^{bm} \Phi \biggl( \frac{x}{a^{m}} \biggr), t \biggr) \\& \quad \geq \lim_{n \to\infty} \min \Biggl\{ N_{Z} \Biggl( a^{bm} \Phi \biggl( \frac{x}{a^{m}} \biggr) - a^{bm} \sum _{i=0}^{n} a^{bi} \phi \biggl( \frac{x}{a^{i+m}} \biggr), \frac{t}{2} \Biggr), \\& \qquad N_{Z} \Biggl( \sum_{i=0}^{n} a^{b(i+m)} \phi \biggl( \frac{x}{a^{i+m}} \biggr), \frac{t}{2} \Biggr) \Biggr\} \\& \quad = \lim_{n \to\infty} N_{Z} \Biggl( \sum _{i=m}^{m+n} a^{bi} \phi \biggl( \frac{x}{a^{i}} \biggr), \frac{t}{2} \Biggr) \end{aligned}$$
for any \(x \in X \backslash\{ 0 \}\) and \(t > 0\).
Therefore, by (N4) and (6), we obtain
$$\begin{aligned}& {\lim_{m \to\infty} N_{Z} \biggl( a^{bm} \Phi \biggl( \frac{x}{a^{m}} \biggr), t \biggr)} \\& \quad \geq \lim_{m \to\infty} \lim_{n \to\infty} N_{Z} \Biggl( \sum_{i=m}^{m+n} a^{bi} \phi \biggl( \frac{x}{a^{i}} \biggr), \frac{t}{2} \Biggr) \\& \quad \geq \lim_{m \to\infty} \lim_{n \to\infty} \min \Biggl\{ N_{Z} \Biggl( \sum_{i=0}^{m+n} a^{bi} \phi \biggl( \frac{x}{a^{i}} \biggr) - \Phi(x), \frac{t}{4} \Biggr), \\& \qquad N_{Z} \Biggl( \Phi(x) - \sum_{i=0}^{m-1} a^{bi} \phi \biggl( \frac{x}{a^{i}} \biggr), \frac{t}{4} \Biggr) \Biggr\} \\& \quad = 1 \end{aligned}$$
for each \(x \in X \backslash\{ 0 \}\) and \(t > 0\), i.e., Φ satisfies the condition (2). Hence, our assertion is true in view of Theorem 3.1. □

Corollary 3.3

Let \(a \neq1\) be a positive real constant, let b be a real constant, let Y and Z be real normed spaces, let \(\phi: X \backslash\{ 0 \} \to Z\) be a mapping satisfying either
$$ \Phi(x) := \sum_{i=0}^{\infty}\frac{1}{a^{bi}} \phi\bigl(a^{i} x\bigr) \in Z $$
(11)
for all \(x \in X \backslash\{ 0 \}\), or
$$ \Phi(x) := \sum_{i=0}^{\infty}a^{bi} \phi \biggl( \frac{x}{a^{i}} \biggr) \in Z $$
(12)
for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to Y\) be an arbitrarily given mapping. If there exists a mapping \(F : X \to Y\) satisfying
$$ \bigl\Vert f(x) - F(x) \bigr\Vert \leq\bigl\Vert \Phi(x) \bigr\Vert $$
(13)
for all \(x \in X \backslash\{ 0 \}\) and if F satisfies (4) for all \(x \in X\), then F is a unique mapping satisfying (4) and (13).

Proof

If we define the fuzzy norms \(N_{Y} : Y \times\mathbf{R} \to[0,1]\) on Y and \(N_{Z} : Z \times\mathbf{R} \to[0,1]\) on Z by
$$ N_{Y}(y,t) := \left \{ \begin{array}{l@{\quad}l} { \frac{t}{t + \| y \|}} & \mbox{if } t > 0, \\ 0 & \mbox{otherwise} \end{array} \right .\quad \mbox{and}\quad N_{Z}(z,t) := \left \{ \begin{array}{l@{\quad}l} { \frac{t}{t + \| z \|}} & \mbox{if } t > 0, \\ 0 & \mbox{otherwise} \end{array} \right . $$
for all \(y \in Y\) and \(z \in Z\), then \((Y,N_{Y})\) and \((Z,N_{Z})\) are fuzzy normed spaces. We then know that (11) and (12) imply (1) and (2), respectively.
In view of (13), we have
$$ \frac{t}{t + \| f(x) - F(x) \|} \geq\frac{t}{t + \| \Phi(x) \|} $$
for all \(x \in X \backslash\{ 0 \}\) and \(t > 0\), i.e., \(N_{Y} ( f(x) - F(x), t ) \geq N_{Z} ( \Phi(x), t )\) for all \(x \in X \backslash\{ 0 \}\) and \(t > 0\). Therefore, by Theorem 3.1, we conclude that our assertion is true. □

Corollary 3.4

Let \(a \neq1\) be a positive real constant, let b be a real constant, let \(\phi: X \backslash\{ 0 \} \to[0,\infty)\) be a mapping satisfying either
$$ \Phi(x) := \sum_{i=0}^{\infty}\frac{1}{a^{bi}} \phi\bigl(a^{i} x\bigr) < \infty $$
(14)
for all \(x \in X \backslash\{ 0 \}\), or
$$ \Phi(x) := \sum_{i=0}^{\infty}a^{bi} \phi \biggl( \frac{x}{a^{i}} \biggr) < \infty $$
(15)
for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to(Y,N_{Y})\) be an arbitrarily given mapping. Let \(N_{\mathbf{R}} : \mathbf{R} \times\mathbf{R} \to[0,1]\) be the fuzzy norm on R defined by
$$ N_{\mathbf{R}}(r,t) := \left \{ \begin{array}{l@{\quad}l} { \frac{t}{t + |r|}} & \textit{if } t > 0, \\ 0 & \textit{otherwise}. \end{array} \right . $$
If there exists a mapping \(F : X \to(Y,N_{Y})\) satisfying
$$ N_{Y} \bigl( f(x) - F(x), t \bigr) \geq N_{\mathbf{R}} \bigl( \Phi(x), t \bigr) $$
(16)
for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\) and, moreover, if F satisfies (4) for all \(x \in X\), then F is a unique mapping satisfying (4) and (16).

We now prove a general uniqueness theorem that can easily be applied to the (generalized) Hyers-Ulam stability of the monomial functional equations.

Corollary 3.5

Let \(a \neq1\) be a positive real constant, let Y be a normed space, let \(\phi: X \backslash\{ 0 \} \to[0,\infty)\) be a mapping satisfying either (14) for all \(x \in X \backslash\{ 0 \}\) or (15) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to Y\) be an arbitrary mapping. If there exists a mapping \(F : X \to Y\) satisfying
$$ \bigl\Vert f(x) - F(x) \bigr\Vert \leq\Phi(x) $$
(17)
for all \(x \in X \backslash\{ 0 \}\), and, moreover, if F satisfies (4) for all \(x \in X\), then F is a unique mapping satisfying (4) and (17).

Proof

If we set \(Z := \mathbf{R}\),
$$ N_{Y} (y,t) := \left \{ \begin{array}{l@{\quad}l} { \frac{t}{t + \| y \|}} & \mbox{if } t > 0, \\ 0 & \mbox{otherwise} \end{array} \right . $$
and
$$ N_{Z} (z,t) = N_{\mathbf{R}}(z,t) := \left \{ \begin{array}{l@{\quad}l} { \frac{t}{t + | z |}} & \mbox{if } t > 0, \\ 0 & \mbox{otherwise} \end{array} \right . $$
it then follows from (17) that
$$ \frac{t}{t + \| f(x) - F(x) \|} \geq\frac{t}{t + | \Phi(x) |} \quad \mbox{or}\quad N_{Y} \bigl( f(x) - F(x), t \bigr) \geq N_{Z} \bigl( \Phi(x), t \bigr) $$
for all \(x \in X \backslash\{ 0 \}\) and \(t > 0\).

Finally, we use Corollaries 3.3 and 3.4 to show that our assertion of this corollary is true. □

Corollary 3.6

Let \(a \neq1\) and θ be positive real numbers, let b and p be real numbers with \(p \neq b\), and let \(f : \mathbf{R} \to Y\) be a mapping from R into a normed space Y. If there is a mapping \(F : \mathbf{R} \to Y\) satisfying the inequality
$$ \bigl\Vert f(x) - F(x) \bigr\Vert \leq\theta| x |^{p} $$
(18)
for any \(x \in\mathbf{R} \backslash\{ 0 \}\), and if F, moreover, satisfies (4) for all \(x \in\mathbf{R}\), then F is a unique mapping satisfying (4) and (18).

Proof

We define fuzzy norms \(N_{\mathbf{R}}\) and \(N_{Y}\) by
$$ N_{\mathbf{R}}(x,t) := \left \{ \begin{array}{l@{\quad}l} { \frac{t}{t + | x |}} & \mbox{if } t > 0, \\ 0 & \mbox{otherwise} \end{array} \right .\quad \mbox{and}\quad N_{Y}(y,t) := \left \{ \begin{array}{l@{\quad}l} { \frac{t}{t + \| y \|}} & \mbox{if } t > 0, \\ 0 & \mbox{otherwise} \end{array} \right . $$
for any \(x \in\mathbf{R}\) and \(y \in Y\). Moreover, we define a mapping \(\Phi: \mathbf{R} \backslash\{ 0 \} \to(\mathbf{R},N_{\mathbf{R}})\) by \(\Phi(x) := \theta x^{p}\).
If \(a^{b} > a^{p}\), then Φ satisfies (1) for all \(x \in\mathbf{R} \backslash\{ 0 \}\) and all \(t > 0\). On the other hand, if \(a^{b} < a^{p}\), then Φ satisfies (2) for all \(x \in\mathbf{R} \backslash\{ 0 \}\) and all \(t > 0\). It, moreover, follows from (18) that
$$ N_{Y} \bigl( f(x) - F(x), t \bigr) \geq N_{\mathbf{R}} \bigl( \Phi(x), t \bigr) $$
for all \(x \in\mathbf{R} \backslash\{ 0 \}\) and \(t > 0\). Therefore, in view of Theorem 3.1, we conclude that our corollary is true. □

In the following corollaries, we prove that if there exists an additive mapping F near a given mapping f, then the mapping F is uniquely determined. These corollaries are immediate consequences of Corollaries 3.2, 3.3, 3.4, 3.5, and 3.6, because every additive mapping satisfies the condition (4) for each positive rational number \(a \neq1\) provided \(b = 1\).

Corollary 3.7

Let \(a \neq1\) and \(b = 1\) be positive rational numbers, let \(\phi: X \backslash\{ 0 \} \to(Z,N_{Z})\) be a mapping satisfying either (5) for all \(x \in X \backslash\{ 0 \}\) or (6) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to(Y,N_{Y})\) be an arbitrarily given mapping. If there exists an additive mapping \(F : X \to(Y,N_{Y})\) satisfying the inequality (3) for all \(x \in X \backslash\{ 0 \}\) and \(t > 0\), then F is uniquely determined.

Corollary 3.8

Let \(a \neq1\) and \(b = 1\) be positive rational numbers, let Y and Z be real normed spaces, let \(\phi: X \backslash\{ 0 \} \to Z\) be a mapping satisfying either (11) for all \(x \in X \backslash\{ 0 \}\), or (12) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to Y\) be an arbitrarily given mapping. If there exists an additive mapping \(F : X \to Y\) satisfying (13) for all \(x \in X \backslash\{ 0 \}\), then F is a unique additive mapping satisfying (13).

Corollary 3.9

Let \(a \neq1\) and \(b = 1\) be positive rational numbers, let \(\phi: X \backslash\{ 0 \} \to[0,\infty)\) be a mapping satisfying either (14) for all \(x \in X \backslash\{ 0 \}\) or (15) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to(Y,N_{Y})\) be an arbitrarily given mapping. Let \(N_{\mathbf{R}}\) be the fuzzy norm on R defined as in Corollary  3.4. If there exists an additive mapping \(F : X \to(Y,N_{Y})\) satisfying (16) for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\), then F is a unique additive mapping satisfying (16).

Corollary 3.10

Let \(a \neq1\) and \(b = 1\) be positive rational numbers, let Y be a normed space, let \(\phi: X \backslash\{ 0 \} \to[0,\infty)\) be a mapping satisfying either (14) for all \(x \in X \backslash\{ 0 \}\) or (15) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to Y\) be an arbitrary mapping. If there exists an additive mapping \(F : X \to Y\) satisfying (17) for all \(x \in X \backslash\{ 0 \}\), then F is a unique additive mapping satisfying (17).

Corollary 3.11

Let \(a \neq1\), \(b = 1\), and θ be positive real numbers, let \(p \neq1\) be a real number, and let f be a mapping from R into a normed space Y. If there is an additive mapping \(F : \mathbf{R} \to Y\) satisfying the inequality (18) for each \(x \in\mathbf{R} \backslash\{ 0 \}\), then F is a unique additive mapping satisfying (18).

Because each quadratic mapping satisfies the condition (4) for any given positive rational number \(a \neq1\) provided \(b = 2\), we can replace the words ‘additive mapping’ with ‘quadratic mapping’ in Corollaries 3.7, 3.8, 3.9, 3.10, and 3.11.

Corollary 3.12

Let \(a \neq1\) and \(b = 2\) be positive rational numbers, let \(\phi: X \backslash\{ 0 \} \to(Z,N_{Z})\) be a mapping satisfying either (5) for all \(x \in X \backslash\{ 0 \}\) or (6) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to(Y,N_{Y})\) be an arbitrarily given mapping. If there exists a quadratic mapping \(F : X \to(Y,N_{Y})\) satisfying the inequality (3) for all \(x \in X \backslash\{ 0 \}\) and \(t > 0\), then F is uniquely determined.

Corollary 3.13

Let \(a \neq1\) and \(b = 2\) be positive rational numbers, let Y and Z be real normed spaces, let \(\phi: X \backslash\{ 0 \} \to Z\) be a mapping satisfying either (11) for all \(x \in X \backslash\{ 0 \}\) or (12) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to Y\) be an arbitrarily given mapping. If there exists a quadratic mapping \(F : X \to Y\) satisfying (13) for all \(x \in X \backslash\{ 0 \}\), then F is a unique quadratic mapping satisfying (13).

Corollary 3.14

Let \(a \neq1\) and \(b = 2\) be positive rational numbers, let \(\phi: X \backslash\{ 0 \} \to[0,\infty)\) be a mapping satisfying either (14) for all \(x \in X \backslash\{ 0 \}\) or (15) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to(Y,N_{Y})\) be an arbitrarily given mapping. Let \(N_{\mathbf{R}}\) be the fuzzy norm on R defined as in Corollary  3.4. If there exists a quadratic mapping \(F : X \to(Y,N_{Y})\) satisfying (16) for all \(x \in X \backslash\{ 0 \}\) and all \(t > 0\), then F is a unique quadratic mapping satisfying (16).

Corollary 3.15

Let \(a \neq1\) and \(b = 2\) be positive rational numbers, let Y be a normed space, let \(\phi: X \backslash\{ 0 \} \to[0,\infty)\) be a mapping satisfying either (14) for all \(x \in X \backslash\{ 0 \}\) or (15) for all \(x \in X \backslash\{ 0 \}\), and let \(f : X \to Y\) be an arbitrary mapping. If there exists a quadratic mapping \(F : X \to Y\) satisfying (17) for all \(x \in X \backslash\{ 0 \}\), then F is a unique quadratic mapping satisfying (17).

Corollary 3.16

Let \(a \neq1\), \(b = 2\), and θ be positive real numbers, let \(p \neq2\) be a real number, and let f be a mapping from R into a normed space Y. If there is a quadratic mapping \(F : \mathbf{R} \to Y\) satisfying (18) for each \(x \in X \backslash\{ 0 \}\), then F is a unique quadratic mapping satisfying (18).

Remark 3.17

(1) Because every cubic mapping satisfies the condition (4) for any given positive rational number \(a \neq1\) provided \(b = 3\), we can replace the words ‘additive mapping’ with ‘cubic mapping’ in Corollaries 3.7, 3.8, 3.9, 3.10, and 3.11 when \(b = 3\).

(2) Because each quartic mapping satisfies the condition (4) for any given positive rational number \(a \neq1\) provided \(b = 4\), we can replace the words ‘additive mapping’ with ‘quartic mapping’ in Corollaries 3.7, 3.8, 3.9, 3.10, and 3.11 when \(b = 4\).

Declarations

Acknowledgements

Soon-Mo Jung was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (No. 2013R1A1A2005557).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)
Department of Mathematics Education, Gongju National University of Education
(2)
Mathematics Section, College of Science and Technology, Hongik University

References

  1. Baker, JA: A general functional equation and its stability. Proc. Am. Math. Soc. 133, 1657-1664 (2005) View ArticleMATHGoogle Scholar
  2. Lee, Y-H: On the stability of the monomial functional equation. Bull. Korean Math. Soc. 45, 397-403 (2008) View ArticleMATHMathSciNetGoogle Scholar
  3. Cho, YJ, Rassias, TM, Saadati, R: Stability of Functional Equations in Random Normed Spaces. Springer Optimization and Its Applications, vol. 86. Springer, New York (2013) MATHGoogle Scholar
  4. Czerwik, S: Functional Equations and Inequalities in Several Variables. World Scientific, Hackensack (2002) View ArticleMATHGoogle Scholar
  5. Hyers, DH, Isac, G, Rassias, TM: Stability of Functional Equations in Several Variables. Birkhäuser, Boston (1998) View ArticleMATHGoogle Scholar
  6. Jung, S-M: Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis. Springer Optimization and Its Applications, vol. 48. Springer, New York (2011) MATHGoogle Scholar
  7. Brillouët-Belluot, N, Brzdȩk, J, Ciepliński, K: On some recent developments in Ulam’s type stability. Abstr. Appl. Anal. 2012, Article ID 716936 (2012) View ArticleGoogle Scholar
  8. Găvruţa, P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 184, 431-436 (1994) View ArticleMATHMathSciNetGoogle Scholar
  9. Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222-224 (1941) View ArticleMathSciNetGoogle Scholar
  10. Rassias, TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297-300 (1978) View ArticleMATHGoogle Scholar
  11. Ulam, SM: A Collection of Mathematical Problems. Interscience, New York (1960) MATHGoogle Scholar
  12. Almahelabi, M, Sirouni, M, Charifi, A, Kabboj, S: Fuzzy stability of the monominal functional equation. J. Nonlinear Anal. Appl. 2014, Article ID jnaa-00244 (2014) Google Scholar
  13. Eskandani, GZ, Găvruţa, P, Kim, G-H: On the stability problem in fuzzy Banach space. Abstr. Appl. Anal. 2012, Article ID 763728 (2012) View ArticleGoogle Scholar
  14. Zaharia, C: On the probabilistic stability of the mononominal functional equation. J. Nonlinear Sci. Appl. 6, 51-59 (2013) MATHMathSciNetGoogle Scholar
  15. Mirmostafaee, AK, Mirzavaziri, M, Moslehian, MS: Fuzzy stability of the Jensen functional equation. Fuzzy Sets Syst. 159, 730-738 (2008) View ArticleMATHMathSciNetGoogle Scholar
  16. Mirmostafaee, AK, Moslehian, MS: Fuzzy versions of Hyers-Ulam-Rassias theorem. Fuzzy Sets Syst. 159, 720-729 (2008) View ArticleMATHMathSciNetGoogle Scholar
  17. Mirmostafaee, AK, Moslehian, MS: Fuzzy almost quadratic functions. Results Math. 52, 161-177 (2008) View ArticleMATHMathSciNetGoogle Scholar

Copyright

© Lee and Jung; licensee Springer. 2015