Fuzzy Stability Results of Finite Variable Additive Functional Equation: Direct and Fixed Point Methods

Abstract

In this current work, we introduce the finite variable additive functional equation and we derive its solution. In fact, we investigate the Hyers–Ulam stability results for the finite variable additive functional equation in fuzzy normed space by two different approaches of direct and fixed point methods.

1. Introduction and Preliminaries

Sometimes in modeling solved problems there can be a degree of uncertainty in the limitations used within the model or a few capacities can be vague. Because of such capabilities, we are interested to keep in mind the regard of functional equations within the fuzzy placing. In 1965, the knowledge of fuzzy sets developed first with the aid of Zadeh [1], which is an effective tool set for modelling indecision and elusiveness in numerous issues springing up inside the field of technology. For the past four decades, the fuzzy principle has become a very lively area of studies and plenty of developments have been made within the concept of fuzzy sets to find the fuzzy analogues of the classical set theory. Functional equations are also used to establish the distance formula in non-Euclidean geometries. Other applications include non-Euclidean geometry, which are also related to problems in mechanics, and one related also to non-Euclidean theory of relativity.

In 1940, Ulam [2] raised the subsequent query. Under what conditions does there exist an additive mapping close to an approximate expansion mapping? The case of approximate additive function capacities got explained by Hyers [3] under certain suppositions.

One of the most famous functional equations is the additive functional equation

$$f(x+y)=f\left(x\right)+f\left(y\right)$$

(1)

In 1821, it was first solved by A.L. Cauchy in the class of continuous real-valued functions. It is often called Cauchy additive functional equation in honor of A.L. Cauchy. The theory of additive functional equations is frequently applied to the development of theories of other functional equations. Moreover, the properties of additive functional equations are powerful tools in almost every field of natural and social sciences. Every solution of the additive functional Equation (1) is called an additive function.

In 1978, a generalized model of the concept of Hyers for approximate linear mapping was given via Rassias [4]. Some mathematicians have been attracted by the end result of Rassias. The stability idea that was proposed and researched via Rassias is known as the Hyers–Ulam–Rassias stability.

Over recent years, the stability issues of numerous functional equations were significantly investigated through a number of authors (c.f. [5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22] and references therein). Katsaras [23] described a fuzzy norm on a vector space to build a fuzzy vector topological structure on the space. Few mathematicians have depicted fuzzy norms on a vector space from different points of view [24,25,26].

Especially, Bag and Samanta [27], following Cheng and Mordeson [28], proposed a fuzzy norm such that the corresponding fuzzy metric is of the Kramosil and Michalek kind [29]. They set up a decomposition theorem of a fuzzy norm into a group of crisp norms and researched a few properties of fuzzy normed spaces [30]. Moreover, the following works help us to develop this paper such as [31,32,33,34,35,36,37,38,39,40,41,42].

We utilize the notions of fuzzy normed spaces given in [27,43,44] to explore a fuzzy version of the generalized Hyers–Ulam stability for the finite variable additive functional equation

$$\begin{array}{c}\hfill \sum _{a=1}^l\Psi \left(-v_a+\sum _{b=1;b\ne a}^l{v}_b\right)=\left(l-2\right)\sum _{a=1}^l\Psi \left(v_a\right)\end{array}$$

(2)

where l is a positive integer with $l\ge 3$ by two different approaches of direct method and fixed point method.

This paper is organized as follows: In Section 2, authors obtain the general solution for (2). In Section 3, authors investigate the stability results for (2) in fuzzy normed spaces by means of direct method. In Section 4, authors investigate the stability results for (2) in fuzzy normed spaces by means of fixed point method. Finally, we examine the nonstability for (2) by a counter example.

Definition 1

([27,43]). Let E be a real vector space. A function $N_n:E\times \mathbb{R}\to$$[0,1]$ is called a fuzzy norm on E if for all $a,b\in E$ and all $p,q\in \mathbb{R}$,

• $\left(N_1\right)$$N_n(a,q)=0$ for $q\le 0$;
• $\left(N_2\right)$$a=0$ iff $N_n(a,q)=1$ for all $q>0$;
• $\left(N_3\right)$$N_n(\alpha a,q)=N_n(a,\frac{q}{\left|\alpha \right|})$ if $\alpha \ne 0$;
• $\left(N_4\right)$$N_n(a+b,p+q)\ge min\{N_n(a,p),N_n(b,q)\}$;
• $\left(N_5\right)$$N_n(a,·)$ is a non-decreasing function of $\mathbb{R}$ and ${lim}_{q\to +\infty }{N}_n(a,q)=1$;
• $\left(N_6\right)$for $a\ne 0$, $N_n(a,·)$ is continuous on $\mathbb{R}$.

The pair $(E,N_n)$ is called a fuzzy normed vector space.

We will utilize the subsequent essential result in fixed point theory.

Theorem 1

([45]). Let $(E,d)$ be a generalized complete metric space and $\Lambda :E\to E$ be a strictly contractive function with the Lipschitz constant $L<1.$ Suppose that for a given element $a\in E$ there exists a positive integer k such that $d({\Lambda }^{k+1}a,{\Lambda }^{k}a)<+\infty$. Then

$\left(i\right)$

the sequence ${\left\{{\Lambda }^{n}a\right\}}_{n=1}^{+\infty }$ converges to a fixed point $b\in E$ of Λ;

$\left(ii\right)$

b is the unique fixed point of Λ in the set $Y=\{x\in E:d({\Lambda }^{k}a,x)<+\infty \}$;

$\left(iii\right)$

$d(x,b)\le \frac{1}{1-L}d(x,\Lambda x)$ for all $x\in Y.$

2. General Solution

In this section, we obtain the general solution for the finite variable additive functional Equation (2).

Theorem 2.

Let E and F be real vector spaces. The mapping $\Psi :E\to F$ fulfils (2) for all $v_1,v_2,\cdots ,v_l\in E$, then Ψ is additive.

Proof. 

Suppose that the mapping $\Psi :E\to F$ fulfils (2) for all $v_1,v_2,\cdots ,v_l\in E$. Considering $v_1=v_2=\cdots =v_l=0$ in (2), we obtain $\Psi \left(0\right)=0$. Now, replacing $\left(v,0,\cdots ,0\right)$ in (2), we attain $\Psi (-v)=-\Psi \left(v\right)$ for all $v\in E$. Therefore, $\Psi$ is odd. Switching $\left(v,v,0,\cdots ,0\right)$ in (2), we reach

$$\Psi \left(2v\right)=2\Psi \left(v\right)$$

(3)

for all $v\in E$. Substituting v by $2v$ in (3), we get

$$\Psi \left(2^{2}v\right)=2^2\Psi \left(v\right)$$

(4)

for all $v\in E$. Interchanging v by $2v$ in (4),we reach

$$\Psi \left(2^{3}v\right)=2^3\Psi \left(v\right)$$

(5)

for all $v\in E$. From (3), (4) and (5), we can conclude for a positive integer l, we have

$$\Psi \left(2^{l}v\right)=2^l\Psi \left(v\right)$$

(6)

for all $v\in E$. Similarly, replacing v by $\frac{v}{2^l}$ in (6), we get

$$\Psi \left(\frac{v}{2^l}\right)=\frac{1}{2^l}\Psi \left(v\right)$$

(7)

for all $v\in E$. Substituting $\left(v_1,v_2,\cdots ,v_l\right)$ by $\left(u,v,0,\cdots ,0\right)$ in (2) and utilizing the oddness of $\Psi$ and (6), we reach

$$\Psi (u+v)=\Psi \left(u\right)+\Psi \left(v\right)$$

(8)

for all $u,v\in E$. Therefore, $\Psi$ is additive. □

Remark 1.

Let F be a linear space and $\Psi :E\to F$ be a function fulfils (2). Then the upcoming two claims hold:

(1) 

$\Psi \left(r^{k}v\right)=r^k\Psi \left(v\right)$ for all $v\in \mathbb{R},r\in \mathbb{Q}$, k integers.

(2) 

$\Psi \left(v\right)=v\Psi \left(1\right)$ for all $v\in \mathbb{R}$ if Ψ is continuous.

In upcoming sections, let us take E, $\left(Z,N_n\right)$ and $\left(F,N_b\right)$ as linear space, fuzzy normed space and fuzzy Banach space, respectively. We define a function $\Psi$ from E to F by

$$\begin{array}{c}\hfill D\Psi \left(v_1,v_2,\cdots ,v_l\right)=\sum _{a=1}^l\Psi \left(-v_a+\sum _{b=1;b\ne a}^l{v}_b\right)-\left(l-2\right)\sum _{a=1}^l\Psi \left(v_a\right)\end{array}$$

for all $v_1,v_2,\cdots ,v_l\in E$.

3. Result and Discussion: Direct Method

In this section, we investigate the stability results for (2) in fuzzy normed spaces by means of direct method.

Theorem 3.

Let $\varphi :E^l\to Z$ be a mapping with $\varrho >0$ and $\varrho <2$

$$N_n\left(\varphi \left(2v,2v,0,\cdots ,0\right),\alpha \right)\ge N_n\left(\varrho \varphi \left(v,v,0,\cdots ,0\right),\alpha \right)$$

(9)

for all $v\in E$ and all $\alpha >0$, and

$$\underset{r\to +\infty }{lim}{N}_n\left(\varphi \left(2^r{v}_1,2^r{v}_2,\cdots ,2^r{v}_l\right),2^r\alpha \right)=1$$

(10)

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$. Suppose an odd mapping $\Psi :E\to F$ fulfils

$$N_b\left(D\Psi \left(v_1,v_2,\cdots ,v_l\right),\alpha \right)\ge N_n\left(\varphi \left(v_1,v_2,\cdots ,v_l\right),\alpha \right)$$

(11)

for all $v_1,v_2,\cdots ,v_l\in X$ and all $\alpha >0$. Then the limit

$$A_1\left(v\right)=N_b-\underset{r\to +\infty }{lim}\frac{\Psi \left(2^{r}v\right)}{2^r}$$

(12)

exists for every v in E and $A_1:E\to F$ is the unique additive mapping such that

$$N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),(l-2)\alpha (2-\varrho )\right)$$

(13)

for all $v\in E$ and all $\alpha >0$.

Proof. 

Switching $\left(v_1,v_2,\cdots ,v_l\right)$ by $(v,v,0,\cdots ,0)$ in (11), we obtain

$$N_b\left((l-2)\Psi \left(2v\right)-2(l-2)\Psi \left(v\right),\alpha \right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)$$

(14)

for all $v\in E$ and all $\alpha >0$. From (14), we attain

$$N_b\left(\frac{\Psi \left(2v\right)}{2}-\Psi \left(v\right),\frac{\alpha }{2(l-2)}\right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)$$

(15)

for all $v\in E$ and all $\alpha >0$. Interchanging v by $2^{l}v$ in (15), we reach

$$N_b\left(\frac{\Psi \left(2^{l+1}v\right)}{2}-\Psi \left(2^{l}v\right),\frac{\alpha }{2(l-2)}\right)\ge N_n\left(\varphi (2^{l}v,2^{l}v,0,\cdots ,0),\alpha \right)$$

(16)

for all $v\in E$ and all $\alpha >0$. Utilizing (9) and $N_3$ in (17), we get

$$N_b\left(\frac{\Psi \left(2^{l+1}v\right)}{2^{(l+1)}}-\frac{\Psi \left(2^{l}v\right)}{2^l},\frac{\alpha }{2^{(l+1)}(l-2)}\right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\frac{\alpha }{{\varrho }^l}\right)$$

(17)

for all $v\in E,\alpha >0$. Setting $\alpha$ by ${\varrho }^l\alpha$ in (17), we attain

$$N_b\left(\frac{\Psi \left(2^{l+1}v\right)}{2^{(l+1)}}-\frac{\Psi \left(2^{l}v\right)}{2^l},\frac{{\varrho }^l\alpha }{2^{(l+1)}(l-2)}\right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)$$

(18)

for all $v\in E$ and all $\alpha >0$. It follows from that

$$\frac{\Psi \left(2^{l}v\right)}{2^l}-\Psi \left(v\right)=\sum _{j=0}^{l-1}\frac{\Psi \left(2^{j+1}v\right)}{2^{(j+1)}}-\frac{\Psi \left(2^{j}v\right)}{2^j}$$

(19)

and from (18) and (19), we get

$$\begin{array}{cc}{N}_b\left(\frac{\Psi \left(2^{l}v\right)}{2^l}-\Psi \left(v\right),\sum _{j=0}^{l-1}\frac{{\varrho }^j\alpha }{2^{(j+1)}(l-2)}\right)\hfill & \ge min{\cup }_{j=1}^{l-1}\left\{N_b\left(\frac{\Psi \left(2^{(j+1)}v\right)}{2^{(j+1)}}-\frac{\Psi \left(2^{j}v\right)}{2^j},\frac{{\varrho }^j\alpha }{(l-2)2^{(j+1)}}\right)\right\}\hfill \\ & \ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)\hfill \end{array}$$

(20)

for all $v\in E$ and all $\alpha >0$. Switching v by $2^{n}v$ in (20) and utilizing (9), $N_3$, we get

$$N_b\left(\frac{\Psi \left(2^{(l+n)}v\right)}{2^{(l+n)}}-\frac{\Psi \left(2^{n}v\right)}{2^n},\sum _{j=n}^{l+n-1}\frac{{\varrho }^j\alpha }{2^{(j+1)}(l-2)}\right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)$$

(21)

for all $v\in E,\alpha >0$ and all $l,n\ge 0$. Replacing $\alpha$ by $\frac{\alpha }{{\sum }_{j=n}^{l+n-1}\frac{{\varrho }^j}{2^{(j+1)}(l-2)}}$ in (21), we get

$$N_b\left(\frac{\Psi \left(2^{(l+n)}v\right)}{2^{(l+n)}}-\frac{\Psi \left(2^{n}v\right)}{2^n},\alpha \right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\frac{\alpha }{{\sum }_{j=n}^{l+n-1}\frac{{\varrho }^j}{2^{(j+1)}(l-2)}}\right)$$

(22)

for every $v\in E$, $\alpha >0$ and each $l,n\ge 0$. As, $0<\varrho <2$ with ${\sum }_{j=0}^{+\infty }{\left(\frac{\varrho }{2}\right)}^j<+\infty$, the Cauchy criterion for convergence and $N_5$ towards that $\left\{\frac{\Psi \left(2^{l}v\right)}{2^l}\right\}$ is a Cauchy sequence in $(F,N_b)$ is a fuzzy Banach space, $\left\{\frac{\Psi \left(2^{l}v\right)}{2^l}\right\}$ converges to a point $A_1\left(v\right)\in F$. Define the mapping $A_1:E\to F$ by

$$A_1\left(v\right)=N_b-\underset{r\to +\infty }{lim}\frac{\Psi \left(2^{r}v\right)}{2^r}$$

for all $v\in E$. Since $\Psi$ and $A_1$ are odd. Taking $n=0$ and passing the limit $l\to +\infty$ in (22) with utilizing $N_6$, we obtain

$$N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),(l-2)\alpha (2-\varrho )\right)$$

for all $v\in E,\alpha >0$. Next, to show that $A_1$ is additive. Switching $(v_1,v_2,\cdots ,v_l)$ by $(2^r{v}_1,2^r{v}_2,\cdots ,2^r{v}_l)$ in (11), we have

$$N_b\left(\frac{1}{2^r}D\Psi \left(2^r{v}_1,2^r{v}_2,\cdots ,2^r{v}_l\right),\alpha \right)\ge N_n\left(\varphi \left(2^r{v}_1,2^r{v}_2,\cdots ,2^r{v}_l\right),2^r\alpha \right)$$

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$. Since

$$\underset{r\to +\infty }{lim}{N}_n\left(\varphi (2^r{v}_1,2^r{v}_2,\cdots ,2^r{v}_l),2^r\alpha \right)=1.$$

Hence $A_1$ fulfils (2). Therefore, $A_1:E\to F$ is an additive mapping. Now, to claim that the uniqueness of $A_1$, consider $A_2$ is another additive function which maps from E to F and fulfilling (2) and (13). Hence,

$$\begin{array}{cc}\hfill N_b\left(A_1\left(v\right)-A_2\left(v\right),\alpha \right)& =N_b\left(\frac{A_1\left(2^{r}v\right)}{2^r}-\frac{A_2\left(2^{r}v\right)}{2^r},\alpha \right)\hfill \\ & \ge min\left\{N_b\left(\frac{A_1\left(2^{r}v\right)}{2^r}-\frac{\Psi \left(2^{r}v\right)}{2^r},\frac{\alpha }{2}\right),N_b\left(\frac{\Psi \left(2^{r}v\right)}{2^r}-\frac{A_2\left(2^{r}v\right)}{2^r},\frac{\alpha }{2}\right)\right\}\hfill \\ & \ge N_n\left(\varphi (2^{r}v,2^{r}v,0,\cdots ,0),\frac{2^r(l-2)\alpha (2-\varrho )}{2}\right)\hfill \\ & \ge N_n\left(\varphi (v,v,0,\cdots ,0),\frac{2^r(l-2)\alpha (2-\varrho )}{2{\varrho }^r}\right)\hfill \end{array}$$

for all $v\in E,\alpha >0$. We know that, ${lim}_{r\to +\infty }\frac{2^r(l-2)\alpha (2-\varrho )}{2{\varrho }^r}=+\infty$, we get

$$\underset{r\to +\infty }{lim}{N}_n\left(\varphi (v,v,0,\cdots ,0),\frac{2^r(l-2)\alpha (2-\varrho )}{2{\varrho }^r}\right)=1.$$

Thus, $N_b\left(A_1\left(v\right)-A_2\left(v\right),\alpha \right)=1$ for all $v\in E$ and all $\alpha >0$. Hence, $A_1\left(v\right)=A_2\left(v\right)$. Therefore, $A_1\left(v\right)$ is unique. This completes the proof. □

Theorem 4.

Let $\varphi :E^l\to Z$ be a mapping with $\varrho >0$ and $\varrho >2$

$$N_n\left(\varphi \left(\frac{v}{2},\frac{v}{2},0,\cdots ,0\right),\alpha \right)\ge N_n\left(\frac{1}{\varrho }\varphi \left(v,v,0,\cdots ,0\right),\alpha \right)$$

(23)

for all $v\in E$ and all $\alpha >0$, and

$$\underset{r\to +\infty }{lim}{N}_n\left(\varphi \left(\frac{v_1}{2^r},\frac{v_2}{2^r},\cdots ,\frac{v_l}{2^r}\right),\frac{\alpha }{2^r}\right)=1$$

(24)

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$. Suppose an odd mapping $\Psi :E\to F$ fulfils

$$N_b\left(D\Psi \left(v_1,v_2,\cdots ,v_l\right),\alpha \right)\ge N_n\left(\varphi \left(v_1,v_2,\cdots ,v_l\right),\alpha \right)$$

(25)

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$. Then the limit

$$A_1\left(v\right)=N_b-\underset{r\to +\infty }{lim}{2}^r\Psi \left(\frac{v}{2^r}\right)$$

(26)

exists for all $v\in E$ and the mapping $A_1:E\to F$ is the unique additive mapping such that

$$N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),(l-2)\alpha (\varrho -2)\right)$$

(27)

for all $v\in E$ and all $\alpha >0$.

Proof. 

Interchanging $\left(v_1,v_2,\cdots ,v_l\right)$ by $(v,v,0,\cdots ,0)$ in (25), we obtain

$$N_b\left((l-2)\Psi \left(2v\right)-2(l-2)\Psi \left(v\right),\alpha \right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)$$

(28)

for all $v\in E$ and all $\alpha >0$. From (28), we reach

$$N_b\left(\Psi \left(2v\right)-2\Psi \left(v\right),\frac{\alpha }{(l-2)}\right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)$$

(29)

for all $v\in E$ and all $\alpha >0$. Switching v by $\frac{v}{2}$ in (29), we get

$$N_b\left(\Psi \left(v\right)-2\Psi \left(\frac{v}{2}\right),\frac{\alpha }{(l-2)}\right)\ge N_n\left(\varphi \left(\frac{v}{2},\frac{v}{2},0,\cdots ,0\right),\alpha \right)$$

(30)

for all $v\in E$ and all $\alpha >0$. Again, replacing v by $\frac{v}{2^r}$ in (30), we obtain

$$N_b\left(\Psi \left(\frac{v}{2^r}\right)-2\Psi \left(\frac{v}{2^{(r+1)}}\right),\frac{\alpha }{(l-2)}\right)\ge N_n\left(\varphi \left(\frac{v}{2^{r+1}},\frac{v}{2^{r+1}},0,\cdots ,0\right),\alpha \right)$$

(31)

for all $v\in E$ and all $\alpha >0$. From (31) and (23) that

$$N_b\left(2^r\Psi \left(\frac{v}{2^r}\right)-2^{(r+1)}\Psi \left(\frac{v}{2^{(r+1)}}\right),\frac{2^r\alpha }{(l-2)}\right)\ge N_n\left(\varphi \left(v,v,0,\cdots ,0\right),{\varrho }^{r+1}\alpha \right)$$

(32)

for all $v\in E$ and all $\alpha >0$. The remaining part of the proof is similar to the proof of Theorem 3. □

Corollary 1.

Suppose an odd function $\Psi :E\to F$ fulfils the inequality

$$N_b(D\Psi (v_1,v_2,\cdots ,v_l),\alpha )\ge N_n\left(\vartheta ,\alpha \right),$$

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$ where ϑ is a real constant with $\vartheta >0$, then there exists a unique additive mapping $A_1:E\to F$ such that

$$N_b(\Psi \left(v\right)-A_1\left(v\right),\alpha )\ge N_n(\vartheta ,|2-1\left|(l-2)\alpha \right)$$

for all $v\in E$ and all $\alpha >0$.

Proof. 

Let us define $\varphi (v_1,v_2,\cdots ,v_l)=\vartheta$, then the proof is raised from Theorems 3 and 4 by taking $\varrho =2^0$. □

Corollary 2.

Suppose an odd function $\Psi :E\to F$ fulfils the inequality

$$N_b(D\Psi (v_1,v_2,\cdots ,v_l),\alpha )\ge N_n\left(ϵ\sum _{j=1}^l{\parallel v_j\parallel }^{\beta },\alpha \right),$$

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0,$ where ϵ and β are real constants with $\beta \in (0,1)\cup (1,+\infty )$, then there exists a unique additive mapping $A_1:E\to F$ such that

$$N_b(\Psi \left(v\right)-A_1\left(v\right),\alpha )\ge N_n{(2ϵ\parallel v\parallel }^{\beta },|2-2^{\beta }\left|(l-2)\alpha \right)$$

for all $v\in E$ and all $\alpha >0$.

Proof. 

Let us define $\varphi (v_1,v_2,\cdots ,v_l)=ϵ{\sum }_{j=1}^l{\parallel v_j\parallel }^{\beta }$, then the proof is raised from Theorems 3 and 4 by taking $\varrho =2^{\beta }$. □

Corollary 3.

Suppose an odd function $\Psi :E\to F$ fulfils the inequality

$$N_b(D\Psi (v_1,v_2,\cdots ,v_l),\alpha )\ge N_n\left(ϵ\sum _{j=1}^l\parallel v_j{\parallel }^{l\beta }+\vartheta \prod _{j=1}^l{\parallel v_j\parallel }^{\gamma },\alpha \right),$$

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$ where $ϵ,\vartheta ,\beta$ and γ are real constants with $l\beta ,l\gamma \in (0,1)\cup (1,+\infty )$, then there exists a unique additive mapping $A_1:E\to F$ such that

$$N_b(\Psi \left(v\right)-A_1\left(v\right),\alpha )\ge N_n{(2ϵ\parallel v\parallel }^{l\beta },|2-2^{l\beta }\left|(l-2)\alpha \right)$$

for all $v\in E$ and all $\alpha >0$.

Proof. 

Let us define $\varphi (v_1,v_2,\cdots ,v_l)=ϵ{\sum }_{j=1}^l\parallel v_j{\parallel }^{l\beta }+\vartheta {\prod }_{j=1}^l{\parallel v_j\parallel }^{\gamma }$, then the proof is raised from Theorems 3 and 4 by taking $\varrho =2^{l\beta }$. □

Corollary 4.

Suppose an odd function $\Psi :E\to F$ fulfils the inequality

$$N_b(D\Psi (v_1,v_2,\cdots ,v_l),\alpha )\ge N_n\left(\vartheta \prod _{j=1}^l{\parallel v_j\parallel }^{\gamma },\alpha \right),$$

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0,$ where ϑ and γ are real constants with $0<l\gamma \ne 1$, then Ψ is additive.

Proof. 

Let us define $\varphi (v_1,v_2,\cdots ,v_l)=\vartheta {\prod }_{j=1}^l{\parallel v_j\parallel }^{\gamma }$, then the proof is raised from Theorems 3 and 4. □

4. Result and Discussion: Fixed Point Method

In this section, we investigate the stability results for (2) in fuzzy normed spaces by means of fixed point method.

First, we define ${\varsigma }_a$ as a constant such that

$${\varsigma }_a=\left\{\begin{array}{cc}2\hfill & ifa=0\hfill \\ \frac{1}{2}\hfill & ifa=1\hfill \end{array}\right.$$

and we consider $\Lambda =\left\{{\phi }_1:E\to F:{\phi }_1\left(0\right)=0\right\}.$

Theorem 5.

Let $\Psi :E\to F$ be an odd mapping for which there exists a function $\varphi :E^l\to Z$ with condition

$$\underset{r\to +\infty }{lim}{N}_n\left(\varphi ({\varsigma }_a^r{v}_1,{\varsigma }_a^r{v}_2,\cdots ,{\varsigma }_a^r{v}_l),{\varsigma }_a^r\alpha \right)=1$$

(33)

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$, and fulfilling

$$N_b(D\Psi (v_1,v_2,\cdots ,v_l),\alpha )\ge N_n(\varphi (v_1,v_2,\cdots ,v_l),\alpha )$$

(34)

for all $v_1,v_2,\cdots ,v_l\in E$ and all $\alpha >0$. Let $\rho \left(v\right)=\frac{1}{(l-2)}\varphi \left(\frac{v}{2},\frac{v}{2},0,\cdots ,0\right)$ for all $v\in E$. If there exist $L=L_a\in (0,1)$ such that

$$N_n\left(\frac{1}{{\varsigma }_a}\rho \left({\varsigma }_{a}v\right),\alpha \right)\ge N_n\left(L\rho \left(v\right),\alpha \right)$$

(35)

for all $v\in E$ and all $\alpha >0$, then there exist a unique additive function $A_1:E\to F$ fulfilling

$$N_b(\Psi \left(v\right)-A_1\left(v\right),\alpha )\ge N_n\left(\frac{L^{1-a}}{1-L}\rho \left(v\right),\alpha \right)$$

(36)

for all $v\in E$ and all $\alpha >0$.

Proof. 

Let $\mu$ be the generalized metric on $\Lambda$:

$$\mu ({\phi }_1,{\phi }_2)=inf\left\{w\in (0,+\infty ):N_b(f{\phi }_1\left(v\right)-{\phi }_2\left(v\right),\alpha )\ge N_n(w\rho \left(v\right),\alpha ),\right\},$$

for all $v\in E$ and all $\alpha >0$ and we take, as usual, $inf\varnothing =+\infty$. A similar argument provided in ([46], Lemma 2.1) shows that $(\Lambda ,\mu )$ is a complete generalized metric space. Define ${\Phi }_a:\Lambda ⟶\Lambda$ by ${\Phi }_a{\phi }_1\left(v\right)=\frac{1}{{\varsigma }_a}{\phi }_1\left({\varsigma }_{a}v\right)$ for all $v\in E$. Let ${\phi }_1,{\phi }_2$ in $\Lambda$ be given such that $\mu ({\phi }_1,{\phi }_2)\le ϵ$. Then

$$N_b\left({\phi }_1\left(v\right)-{\phi }_2\left(v\right),\alpha \right)\ge N_n\left(ϵ\rho \left(v\right),\alpha \right)$$

for all $v\in E$ and all $\alpha >0$, whence

$$N_b({\Phi }_a{\phi }_1\left(v\right)-{\Phi }_a{\phi }_2\left(v\right),\alpha )\ge N_n\left(\frac{ϵ}{{\varsigma }_a}\rho \left({\varsigma }_{a}v\right),\alpha \right)$$

for all $v\in E$ and all $\alpha >0$. It follows from (4) that

$$N_b({\Phi }_a{\phi }_1\left(v\right)-{\Phi }_a{\phi }_2\left(v\right),\alpha )\ge N_n(ϵL\rho \left(v\right),\alpha )$$

for all $v\in E$ and all $\alpha >0$. Hence, we have $\mu ({\Phi }_a{\phi }_1,{\Phi }_a{\phi }_2)\le ϵL$. This shows $\mu ({\Phi }_a{\phi }_1,{\Phi }_a{\phi }_2)\le L\mu ({\phi }_1,{\phi }_2)$, i.e., ${\Phi }_a$ is strictly contractive mapping on $\Lambda$ with the Lipschitz constant L. Interchanging $(v_1,v_2,\cdots ,v_l)$ by $(v,v,0,\cdots ,0)$ in (34), we get

$$N_b\left((l-2)\Psi \left(2v\right)-2(l-2)\Psi \left(v\right),\alpha \right)\ge N_n\left(\varphi (v,v,0,\cdots ,0),\alpha \right)$$

(37)

for all $v\in E$ and all $\alpha >0$. Utilizing (4) and $\left(N_3\right)$ when $a=0,$ it follows from (37) that

$$\begin{array}{cc}\hfill N_b\left(\frac{\Psi \left(2v\right)}{2}-\Psi \left(v\right),\alpha \right)& \ge N_n\left(\frac{\varphi (v,v,0,\cdots ,0)}{2(l-2)},\alpha \right)\hfill \\ & \ge N_n(L\rho \left(v\right),\alpha )\hfill \end{array}$$

for all $v\in E$ and all $\alpha >0$. Therefore,

$$\mu ({\Phi }_0\Psi ,\Psi )\le L=L^{1-a}.$$

(38)

Switching v through $\frac{v}{2}$ in (37) (i.e., when $a=1$) and using $N_3$, we have

$$\begin{array}{cc}\hfill N_b\left(\Psi \left(v\right)-2\Psi \left(\frac{v}{2}\right),\alpha \right)& \ge N_n\left(\frac{1}{(l-2)}\varphi \left(\frac{v}{2},\frac{v}{2},0,\cdots ,0\right),\alpha \right)\hfill \\ \hfill & =N_n(L\rho \left(v\right),\alpha )\hfill \end{array}$$

for all $v\in E$ and all $\alpha >0$. Therefore,

$$\mu ({\Phi }_1\Psi ,\Psi )\le 1=L^{1-a}.$$

(39)

Then from (38) and (39), we conclude $\mu ({\Phi }_a\Psi ,\Psi )\le L^{1-a}<+\infty .$ Now from Theorem 1, implies that there exists a fixed point $A_1$ of ${\Phi }_a$ in $\Lambda$ such that

$\left(i\right)$

${\Phi }_a{A}_1=A_1$ and ${lim}_{r\to +\infty }\mu ({\Phi }_a^r\Psi ,A_1)=0;$

$\left(ii\right)$

$A_1$ is the unique fixed point of $\Phi$ in the set $E=\{{\phi }_1\in \Lambda :d(\Psi ,{\phi }_1)<+\infty \}$;

$\left(iii\right)$

$\mu (\Psi ,A_1)\le \frac{1}{1-L}\mu (\Psi ,{\Phi }_a\Psi ).$

Letting $\mu ({\Phi }_a^r\Psi ,A_1)={ϵ}_n$, we get $N_b({\Phi }_a^r\Psi \left(v\right)-A_1\left(v\right),\alpha )\ge N_n({ϵ}_r\rho \left(v\right),\alpha )$ for all $v\in E$ and all $\alpha >0$. Since ${lim}_{r\to +\infty }{ϵ}_r=0$, we infer

$$A_1\left(v\right)=N_b-\underset{r\to +\infty }{lim}\frac{\Psi \left({\varsigma }_a^{r}v\right)}{{\varsigma }_a^r}$$

for all $v\in E$. Switching $(v_1,v_2,\cdots ,v_l)$ by $({\varsigma }_a^r{v}_1,{\varsigma }_a^r{v}_2,\cdots ,{\varsigma }_a^r{v}_l)$ in (34), we obtain

$$N_b\left(\frac{1}{{\varsigma }_a^r}D\Psi ({\varsigma }_a^r{v}_1,{\varsigma }_a^r{v}_2,\cdots ,{\varsigma }_a^r{v}_l),\alpha \right)\ge N_n(\varphi ({\varsigma }_a^r{v}_1,{\varsigma }_a^r{v}_2,\cdots ,{\varsigma }_a^r{v}_l),{\varsigma }_a^r\alpha ),$$

for all $\alpha >0$ and all $v_1,v_2,\cdots ,v_l\in E$. Utilizing the similar argument as in the proof of Theorem 3, we can prove the function $A_1:E\to F$ is additive. Since $\mu ({\Phi }_a\Psi ,\Psi )\le L^{1-a}$, it follows from $\left(iii\right)$ that $\mu (\Psi ,A_1)\le \frac{L^{1-a}}{1-L}$ which means (36). Next, we show the uniqueness of $A_1$; consider another additive function $A_2$ which fulfils (36). Since $A_1\left(2^{r}v\right)=2^r{A}_1\left(v\right)$ and $A_2\left(2^{r}v\right)=2^r{A}_2\left(v\right)$ for all $v\in E$ and all $r\in \mathbb{N}$, we have

$$\begin{array}{cc}\hfill N_b(A_1\left(v\right)-A_2\left(v\right),\alpha )& =N_b\left(\frac{A_1\left(2^{r}v\right)}{2^r}-\frac{A_2\left(2^{r}v\right)}{2^r},\alpha \right)\hfill \\ \hfill & \ge min\left\{N_b\left(\frac{A_1\left(2^{r}v\right)}{2^r}-\frac{\Psi \left(2^{r}v\right)}{2^r},\frac{\alpha }{2}\right),N_b\left(\frac{\Psi \left(2^{r}v\right)}{2^r}-\frac{A_2\left(2^{r}v\right)}{2^r},\frac{\alpha }{2}\right)\right\}\hfill \\ \hfill & \ge N_n\left(\frac{L^{1-a}}{1-L}\rho \left(2^{r}v\right),\frac{2^r\alpha }{2}\right).\hfill \end{array}$$

By (33), we have

$$\underset{r\to +\infty }{lim}{N}_n\left(\frac{L^{1-a}}{1-L}\rho \left(2^{r}v\right),\frac{2^r\alpha }{2}\right)=1.$$

Consequently, $N_b(A_1\left(v\right)-A_2\left(v\right),\alpha )=1$ for all $v\in E$ and all $\alpha >0$. So $A_1\left(v\right)=A_2\left(v\right)$ for all $v\in E$, which ends the proof. □

Corollary 5.

Suppose that an odd function $\Psi :E\to F$ fulfils the inequality

$$\begin{array}{c}\hfill N_b\left(D\Psi \left(v_1,v_2,\cdots ,v_l\right),\alpha \right)\ge \left\{\begin{array}{c}{N}_n\left(\vartheta ,\alpha \right),\hfill \\ N_n\left(\vartheta \sum _{j=1}^l{∥v_j∥}^{\beta },\alpha \right),\hfill \\ N_n\left(\vartheta \left(\prod _{j=1}^l{∥v_i∥}^{\beta }+\sum _{j=1}^l{∥v_i∥}^{l\beta }\right),\alpha \right),\hfill \end{array}\right.\end{array}$$

(40)

for all $v_1,v_2,\cdots ,v_l\in E$ and $\alpha >0$, where ϑ and β are constants along with $\vartheta >0$, then there exists a mapping $A_1:E\to F$ is the unique additive such that

$$\begin{array}{c}\hfill N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge \left\{\begin{array}{c}{N}_n\left(\vartheta ,|2-1|(l-2)\alpha \right),\hfill \\ N_n\left({2\vartheta \parallel v\parallel }^{\beta },|2-2^{\beta }|(l-2)\alpha \right);\beta \ne 1,\hfill \\ N_n\left({\vartheta \parallel v\parallel }^{l\beta },|2-2^{l\beta }|(l-2)\alpha \right);\beta \ne \frac{1}{l},\hfill \end{array}\right.\end{array}$$

for all $v\in E$ and all $\alpha >0$.

Proof. 

Considering

$$\begin{array}{c}\hfill \varphi \left(v_1,v_2,\cdots ,v_l\right)\ge \left\{\begin{array}{c}\vartheta ,\hfill \\ \vartheta \sum _{j=1}^l{∥v_j∥}^{\beta },\hfill \\ \vartheta \left(\prod _{j=1}^l{∥v_j∥}^{\beta }+\sum _{j=1}^l{∥v_j∥}^{l\beta }\right),\hfill \end{array}\right.\end{array}$$

for all $v_1,v_2,\cdots ,v_l\in E$. Then

$$\begin{array}{cc}\hfill N_n\left(\varphi \left({\varsigma }_a^r{v}_1,{\varsigma }_a^r{v}_2,\cdots ,{\varsigma }_a^r{v}_l\right),{\varsigma }_a^r\alpha \right)& =\left\{\begin{array}{c}{N}_n\left(\vartheta ,{\varsigma }_a^r\alpha \right),\hfill \\ N_n\left(\vartheta \sum _{j=1}^l{∥v_j∥}^{\beta },{\varsigma }_a^{(1-\beta )r}\alpha \right),\hfill \\ N_n\left(\vartheta \left(\prod _{j=1}^l{∥v_j∥}^{\beta }+\sum _{j=1}^l{∥v_j∥}^{l\beta }\right),{\varsigma }_a^{(1-l\beta )r}\alpha \right),\hfill \end{array}\right.\hfill \\ & =\left\{\begin{array}{c}\to 1asr\to +\infty ,\hfill \\ \to 1asr\to +\infty ,\hfill \\ \to 1asr\to +\infty .\hfill \end{array}\right.\hfill \end{array}$$

Thus (33) holds but we have

$$\rho \left(v\right)=\frac{1}{(l-2)}\varphi \left(\frac{v}{2},\frac{v}{2},0,\cdots ,0\right)$$

has the property

$$N_n\left(\frac{1}{{\varsigma }_a}\rho \left({\varsigma }_{a}v\right),\alpha \right)\ge N_n\left(L\rho \left(v\right),\alpha \right),v\in E,\alpha >0.$$

for all $v\in E$ and all $\alpha >0$. Hence

$$\begin{array}{cc}\hfill N_n\left(\rho \left(v\right),\alpha \right)& =N_n\left(\varphi \left(\frac{v}{2},\frac{v}{2},0,\cdots ,0\right),(l-2)\alpha \right)\hfill \\ & =\left\{\begin{array}{c}{N}_n\left(\vartheta ,(l-2)\alpha \right),\hfill \\ N_n\left(\frac{2\vartheta }{2^{\beta }}{\parallel v\parallel }^{\beta },(l-2)\alpha \right),\hfill \\ N_n\left(\frac{2\vartheta }{2^{l\beta }}{\parallel v\parallel }^{l\beta },(l-2)\alpha \right).\hfill \end{array}\right.\hfill \end{array}$$

So,

$$\begin{array}{c}\hfill N_n\left(\frac{1}{{\varsigma }_a}\rho \left({\varsigma }_{a}v\right),\alpha \right)=\left\{\begin{array}{c}{N}_n\left({\varsigma }_a^{-1}\rho \left(v\right),\alpha \right);\hfill \\ N_n\left({\varsigma }_a^{\beta -1}\rho \left(v\right),\alpha \right);\hfill \\ N_n\left({\varsigma }_a^{l\beta -1}\rho \left(v\right),\alpha \right);\hfill \end{array}\right.\end{array}$$

From the following cases for the conditions of ${\varsigma }_a$.

Case (i) $L=\frac{1}{2}$ for $\beta =0$ if $a=0$

$$\begin{array}{c}\hfill N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\frac{2^{-1}}{1-2^{-1}}\rho \left(v\right),\alpha \right)=N_n\left(\vartheta ,(l-2)\alpha \right).\end{array}$$

Case (ii) $L={\left(\frac{1}{2}\right)}^{-1}$ for $\beta =0$ if $a=1$

$$\begin{array}{c}\hfill N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\frac{1}{1-2}\rho \left(v\right),\alpha \right)=N_n\left(\vartheta ,(2-l)\alpha \right).\end{array}$$

Case (iii) $L=2^{\beta -1}$ for $\beta <1$ if $a=0$

$$\begin{array}{c}\hfill N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\frac{2^{\beta -1}}{1-2^{\beta -1}}\rho \left(v\right),\alpha \right)=N_n\left({2\vartheta \parallel v\parallel }^{\beta },(2-2^{\beta })(l-2)\alpha \right).\end{array}$$

Case (iv) $L=2^{1-\beta }$ for $\beta >1$ if $a=1$

$$\begin{array}{c}\hfill N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\frac{1}{1-2^{1-\beta }}\rho \left(v\right),\alpha \right)=N_n\left({2\vartheta \parallel v\parallel }^{\beta },(2^{\beta }-2)(l-2)\alpha \right).\end{array}$$

Case (v) $L=2^{l\beta -1}$ for $\beta <\frac{1}{l}$ if $a=0$

$$\begin{array}{c}\hfill N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\frac{2^{l\beta -1}}{1-2^{l\beta -1}}\rho \left(v\right),\alpha \right)=N_n\left({2\vartheta \parallel v\parallel }^{l\beta },(2-2^{l\beta })(l-2)\alpha \right).\end{array}$$

Case (vi) $L=2^{1-l\beta }$ for $\beta >\frac{1}{l}$ if $a=1$

$$\begin{array}{c}\hfill N_b\left(\Psi \left(v\right)-A_1\left(v\right),\alpha \right)\ge N_n\left(\frac{1}{1-2^{1-l\beta }}\rho \left(v\right),\alpha \right)=N_n\left({2\vartheta \parallel v\parallel }^{l\beta },(2^{l\beta }-2)(l-2)\alpha \right).\end{array}$$

Hence the proof is completed. □

5. Counter Example

Next, we show the upcoming counter example changed by the well-known counter example of Gajda [47] to (2):

Example 1.

Let $\tau :E\to F$ defined by:

$$\begin{array}{c}\hfill \tau \left(v\right)=\sum _{l=0}^{+\infty }\frac{\sigma \left(2^{l}v\right)}{2^l}\end{array}$$

where

$$\begin{array}{c}\hfill \sigma \left(v\right)=\left\{\begin{array}{c}\zeta v,-1<v<1\hfill \\ \zeta ,otherwise,\hfill \end{array}\right.\end{array}$$

(41)

where ζ is a constant, then $\tau :E\to F$ fulfils the inequality

$$\begin{array}{c}\hfill |\tau (v_1,v_2,\cdots ,v_l)|\le \left(l-1\right)8\zeta \left(\sum _{j=1}^l\left|v_j\right|\right),\end{array}$$

(42)

for all $v_1,v_2,\cdots ,v_l\in E$, but there does not arise an additive function $A_1:E\to F$ along with a constant δ such that

$$\begin{array}{c}\hfill |\Psi \left(v\right)-A_1\left(v\right)|\le \delta |v|\end{array}$$

(43)

for all $v\in E$.

Proof. 

It is easy to notice that $\Psi$ is bounded by $2\zeta$ on E. If ${\sum }_{j=1}^l\left|v_j\right|\ge \frac{1}{2}$ or 0, then the left side of (42) is less than $\left(l-1\right)2\zeta$, and thus (42) is true. At once, assume that $0<{\sum }_{j=1}^l\left|v_j\right|<\frac{1}{2}$. Then there exists an integer m such that

$$\begin{array}{c}\hfill \frac{1}{2^{(m+2)}}\le \sum _{j=1}^l\left|v_j\right|<\frac{1}{2^{(m+1)}}.\end{array}$$

(44)

So that $2^m|v_1|<\frac{1}{2},2^m|v_2|<\frac{1}{2},\cdots ,2^m\left|v_l\right|<\frac{1}{2}$ and $2^l{v}_1,2^l{v}_2,\cdots ,2^l{v}_l\in (-1,1)$ for all $l=0,1,2,\cdots ,m-1$. So, for $l=0,1,\cdots ,m-1$

$$\begin{array}{c}\hfill \sum _{a=1}^l\sigma \left(2^l\left(-v_a+\sum _{b=1;b\ne a}^l{v}_b\right)\right)-\left(l-2\right)\sum _{a=1}^l\sigma \left(2^l\left(v_a\right)\right)=0.\end{array}$$

By the definition of $\Psi$, we obtain

$$\begin{array}{cc}\hfill \left|\tau \right(v_1,v_2,\cdots ,v_l\left)\right|& \le \sum _{j=m}^{+\infty }\frac{1}{2^j}\left|\sigma (2^j{v}_1,2^j{v}_2,\cdots ,2^j{v}_l)\right|\hfill \\ & \le \sum _{j=m}^{+\infty }\frac{1}{2^j}\left|\sum _{a=1}^l\sigma \left(2^j\left(-v_a+\sum _{b=1;b\ne a}^l{v}_b\right)\right)-\left(l-2\right)\sum _{a=1}^l\sigma \left(2^j\left(v_a\right)\right)\right|\hfill \\ & \le \sum _{j=m}^{+\infty }\frac{1}{2^j}\left|\sum _{a=1}^l\sigma \left(2^j\left(-v_a+\sum _{b=1;b\ne a}^l{v}_b\right)\right)\right|+(l-2)\left|\sum _{a=1}^l\sigma \left(2^j\left(v_a\right)\right)\right|\hfill \\ & \le \sum _{j=m}^{+\infty }\frac{1}{2^j}\left(l-1\right)\zeta \hfill \\ & \le \left(l-1\right)2^{(1-m)}\zeta .\hfill \end{array}$$

It follows from (44) that

$$\begin{array}{c}\hfill |\tau (v_1,v_2,\cdots ,v_l)|\le \left(l-1\right)8\zeta \left(\sum _{j=1}^l\left|v_j\right|\right),\end{array}$$

(45)

for all $v_1,v_2,\cdots ,v_l\in E$. Thus $\Psi$ satisfies (42) for all $v_1,v_2,\cdots ,v_l\in E$. We propose that there arises an additive mapping $A_1:E\to F$ along with a constant $\delta >0$ fulfilling (43). As $\Psi$ is bounded and continuous for every v in E, $A_1$ is bounded on any open interval containing the origin and continuous at the origin. By Remark 1, $A_1$ must have the form $A_1\left(v\right)=av$ for all $v\in E$. Thus we have

$$\begin{array}{c}\hfill |\Psi \left(v\right)|\le \left(\delta +\left|a\right|\right)\left|v\right|\end{array}$$

for all $v\in E$. However, we can select a non-negative integer m and $m\zeta >\delta +\left|a\right|$. If $v\in \left(0,\frac{1}{2^{m-1}}\right)$, then $2^{l}v\in (0,1)$ for all $l=0,1,\cdots ,m-1$ and for this v, we obtain

$$\begin{array}{c}\hfill \Psi \left(v\right)=\sum _{l=0}^{+\infty }\frac{\sigma \left(2^{l}v\right)}{2^l}\ge \sum _{l=0}^{m-1}\frac{\zeta \left(2^{l}v\right)}{2^l}=m\zeta v>(\delta +|a\left|\right)v,\end{array}$$

which is contradictory. □

6. Conclusions

We have introduced the finite variable additive functional Equation (2) and have obtained the general solution of the finite variable additive functional Equation (2) in fuzzy normed spaces by means of direct method and fixed point method. Furthermore, we discussed the counter example for the non-stability to the finite variable additive functional Equation (2).