Theory and Modern Applications

# Approximation on the reciprocal functional equation in several variables in matrix non-Archimedean random normed spaces

## Abstract

In this paper, we investigate the generalized Hyers-Ulam stability of a reciprocal type functional equation in several variables in matrix non-Archimedean random normed spaces by direct and fixed point methods.

## 1 Introduction

About 70 years ago, Ulam [1] raised the well-known stability problem of functional equations. In the next year, Ulamâ€™s problem was partially answered by Hyers [2] in Banach spaces. Aoki [3] generalized Hyersâ€™ theorem for additive mappings in the year 1950. In the year 1978, a generalized version of the theorem of Hyers for approximately linear mappings was given by Rassias [4]. During 1982-1989, Rassias [5â€“7] treated the Ulam-GÇŽvruta-Rassias stability on linear and non-linear mappings and generalized Hyersâ€™ result. In 1994, a further generalization of the Rassias theorem was obtained by GÇŽvruta [8], who replaced the bound $$\theta(\|x\|^{p}+\|y\|^{p})$$ by a general control function $$\phi(x,y)$$. The stability problems of several functional equations have been extensively investigated by a number of mathematicians, posed with creative thinking and critical dissent who have arrived at interesting results (see [8â€“18]).

In the year 2010, Ravi and Senthil Kumar [19] investigated the generalized Hyers-Ulam stability for the reciprocal functional equation

$$r(x+y)=\frac{r(x)r(y)}{r(x)+r(y)},$$
(1.1)

where $$r:X\rightarrow Y$$ is a mapping on the spaces of non-zero real numbers. The reciprocal function $$r(x)=\frac{c}{x}$$ is a solution of the functional equation (1.1).

Later, Ravi et al. [20] introduced the reciprocal difference functional equation

$$r\biggl(\frac{x+y}{2}\biggr)-r(x+y)=\frac{r(x)r(y)}{r(x)+r(y)}$$
(1.2)

and the reciprocal adjoint functional equation

$$r\biggl(\frac{x+y}{2}\biggr)+r(x+y)=\frac{3r(x)r(y)}{r(x)+r(y)}$$
(1.3)

and investigated the generalized Hyers-Ulam stability for the above two functional equations (1.2) and (1.3).

Recently, Ravi et al. [21] discussed the generalized Hyers-Ulam stability for the generalized reciprocal functional equation

$$r \Biggl(\sum^{m}_{i=1} \alpha_{i} x_{i} \Biggr)=\frac{\prod_{i=1}^{m}r(x_{i})}{\sum^{m}_{i=1} [\alpha_{i} (\mathop{\prod_{j=1}}\limits_{\hphantom{aa}j\neq i}^{m}r(x_{j}) ) ]}$$
(1.4)

for arbitrary but fixed real numbers $$\alpha_{i}\neq0$$, for $$i=1,2,\ldots,m$$, so that $$0<\alpha=\alpha_{1}+\alpha_{2}+\cdots+\alpha_{m}=\sum^{m}_{i=1}\alpha_{i}\neq 1$$ and $$r:X\rightarrow Y$$ where X and Y are the sets of non-zero real numbers.

Very recently, Ravi et al. [22] obtained the general solution and investigated the generalized Hyers-Ulam stability of a reciprocal type functional equation in several variables of the form

$$\frac{\prod^{m}_{\ell=2}r(x_{1}+x_{\ell})}{\sum_{\ell=2}^{m} [\mathop{\prod_{k=2}}\limits_{\hphantom{aai}k\neq \ell}^{m}r(x_{1}+x_{k}) ]}=\frac{\prod_{\ell=1}^{m}r(x_{\ell})}{\sum_{\ell =2}^{m}r(x_{1}) [\mathop{\prod_{k=2}}\limits_{\hphantom{aai} k\neq\ell}^{m}r(x_{k}) ]+(m-1)\prod_{\ell=2}^{m}r(x_{\ell})},$$
(1.5)

where m is a positive integer with $$m\geq3$$ in various normed spaces.

### Remark 1.1

Ravi et al. [22â€“24] gave some counter-examples for the stability of reciprocal functional equations in singular cases.

In this paper, we apply a direct method and a fixed point method to investigate the generalized Hyers-Ulam stability of the functional equation (1.5) in matrix non-Archimedean random normed spaces.

## 2 Preliminaries

In this section, we recall some definitions and results which will be used later in the article.

A triangular norm (shorter t-norm) is a binary operation on the unit interval $$[0,1]$$, i.e., aÂ function $$T:[0,1]\times[0, 1] \rightarrow[0,1]$$ such that for all $$a,b,c \in[0,1]$$ the following four axioms satisfied:

(1):

$$T(a,b)=T(b,a)$$ (commutativity);

(2):

$$T(a,(T(b,c)))=T(T(a,b),c)$$ (associativity);

(3):

$$T(a,1)=a$$ (boundary condition);

(4):

$$T(a,b)\leq T(a,c)$$ whenever $$b\leq c$$ (monotonicity).

Let $$\mathcal{K}$$ be a field. A non-Archimedean absolute value on $$\mathcal{K}$$ is a function $$| \cdot |$$ from $$\mathcal{K}$$ into $$[0,\infty)$$ such that for any $$a,b \in \mathcal{K}$$ we have

(1):

$$|a|\geq0$$ and equality holds if and only if $$a=0$$;

(2):

$$|ab|=|a||b|$$;

(3):

$$|a+b| \leq\max\{|a|, |b|\}$$.

The condition (3) is called the strict triangle inequality. By (2), we have $$|1|=|{-}1|=1$$. Thus, by induction, it follows from (3) that $$|n| \leq1$$ for each integer n. We always assume in addition that $$| \cdot |$$ is non-trivial, i.e., that there is an $$a_{0} \in\mathcal{K}$$ such that $$|a_{0}|\neq0,1$$.

Let X be a vector space over a scalar field $$\mathcal{K}$$ with a non-Archimedean non-trivial valuation $$| \cdot |$$. A function $$\| \cdot\|:X \to\mathbb{R}$$ is a non-Archimedean norm (valuation) if it satisfies the following conditions:

(NA1):

$$\|x\|=0$$ if and only if $$x=0$$;

(NA2):

$$\|rx\|=|r| \|x\|$$ for all $$r \in \mathcal{K}$$ and $$x \in X$$;

(NA3):

$$\|x+y\| \leq\max\{ \|x\|,\|y\| \}$$ for all $$x,y \in X$$ (the strong triangle inequality).

Then $$(X,\| \cdot \|)$$ is called a non-Archimedean space.

Thanks to the inequality

$$\|x_{m}-x_{l}\| \leq\max\bigl\{ \|x_{\jmath+1}-x_{\jmath} \| : l \leq\jmath \leq m-1 \bigr\} \quad (m> l)$$

a sequence $$\{x_{m}\}$$ is Cauchy if and only if $$\{x_{m+1}-x_{m} \}$$ converges to zero in a non-Archimedean space. By a complete non-Archimedean space we mean one in which every Cauchy sequence is convergent.

In 1897, Hensel [25] introduced a normed space, which does not have the Archimedean property.

In the sequel, we adopt the usual terminology, notations, and conventions of the theory of random normed spaces as in [26â€“29]. Throughout this paper, $$\Delta^{+}$$ is the space of distribution functions, that is, the space of all mappings $$F: \mathbb{R}\cup\{-\infty,\infty\} \rightarrow[0,1]$$ such that F is left-continuous and non-decreasing on $$\mathbb{R}$$, $$F(0)=0$$, and $$F(+\infty)=1$$. $$\mathcal{D}^{+}$$ is a subset of $$\Delta^{+}$$ consisting of all functions $$F \in\Delta^{+}$$ for which $$l^{-}F(+\infty)=1$$, where $$l^{-}f(x)$$ denotes the left limit of the function f at the point x, that is, $$l^{-}f(x)=\lim_{t\rightarrow x^{-}} f(t)$$. The space $$\Delta^{+}$$ is partially ordered by the usual point-wise ordering of functions, i.e., $$F\leq G$$ if and only if $$F(t)\leq G(t)$$ for all t in $$\mathbb{R}$$.

### Definition 2.1

[29]

A non-Archimedean random normed space (briefly, NA-RN-space) is a triple $$(X,\mu,T)$$, where X is a vector space, T is a continuous t-norm, and Î¼ is a mapping from X into $$\mathcal{D}^{+}$$ such that the following conditions hold:

(RN1):

$$\mu_{x}(t)=\varepsilon_{0}(t)$$ for all $$t> 0$$ if and only if $$x=0$$;

(RN2):

$$\mu_{\alpha x}(t)=\mu_{x}(\frac{t}{|\alpha|})$$ for all $$x \in X$$, $$\alpha\neq 0$$;

(RN3):

$$\mu_{x+y}(\max\{t,s\})\geq T(\mu_{x}(t),\mu_{y}(s))$$.

It is easy to see that if (RN3) holds, then we have

(RN4):

$$\mu_{x+y}(t+s)\geq T(\mu_{x}(t),\mu_{y}(s))$$.

### Definition 2.2

Let $$(X,\mu,T)$$ be an NA-RN-space.

(1):

A sequence $$\{x_{n}\}$$ in X is said to be convergent to x in X if, for every $$\epsilon>0$$ and $$\lambda>0$$, there exists a positive integer N such that $$\mu_{x_{n}-x}(\epsilon)>1-\lambda$$ whenever $$n\geq N$$.

(2):

A sequence $$\{x_{n}\}$$ in X is called a Cauchy sequence if, for every $$\epsilon>0$$ and $$\lambda>0$$, there exists a positive integer N such that $$\mu_{x_{n}-x_{n+1}}(\epsilon)>1-\lambda$$ whenever $$n\geq N$$.

(3):

An NA-RN-space $$( X,\mu,T)$$ is said to be complete if and only if every Cauchy sequence in X is convergent to a point in X.

We will also use the following notations. The set of all $$m\times n$$-matrices in X will be denoted by $$M_{m,n}(X)$$. When $$m=n$$, the matrix $$M_{m,n}(X)$$ will be written as $$M_{n}(X)$$. The symbols $$e_{j} \in M_{1,n}(\mathbb{C})$$ will denote the row vector whose jth component is 1 and the other components are 0. Similarly, $$E_{ij} \in M_{n}(\mathbb{C})$$ will denote the $$n\times n$$ matrix whose $$(i,j)$$-component is 1 and the other components are 0. The $$n\times n$$ matrix whose $$(i,j)$$-component is x and the other components are 0 will be denoted by $$E_{ij}\otimes x \in M_{n}(X)$$.

Let $$(X,\|\cdot\|)$$ be a normed space. Note that $$(X,\{\|\cdot\|_{n}\})$$ is a matrix normed space if and only if $$(M_{n}(X),\|\cdot\|_{n} )$$ is a normed space for each positive integer n and $$\|AxB\|_{k}\leq\|A\|\|B\|\|x\|_{n}$$ holds for $$A \in M_{k,n}$$, $$x=[x_{ij}] \in M_{n}(X)$$ and $$B \in M_{n,k}$$, and that $$(X,\{\|\cdot\|_{n}\})$$ is a matrix Banach space if and only if X is a Banach space and $$(X,\{\|\cdot\|_{n}\})$$ is a matrix normed space.

Let E, F be vector spaces. For a given mapping $$h:E\rightarrow F$$ and a given positive integer n, define $$h_{n}:M_{n}(E)\rightarrow M_{n}(F)$$ by

$$h_{n}\bigl([x_{ij}]\bigr)=\bigl[h(x_{ij})\bigr]$$

for all $$[x_{ij}]\in M_{n}(E)$$.

We introduce the concept of matrix non-Archimedean random normed space.

### Definition 2.3

Let $$(X,\mu,T)$$ be a non-Archimedean random normed space. Then:

(1):

$$(X,\{\mu^{(n)}\},T)$$ is called a matrix non-Archimedean random normed space if for each positive integer n, $$(M_{n}(X),\{\mu^{(n)}\},T)$$ is a non-Archimedean random normed space and $$\mu^{(k)}_{AxB}(t)\geq\mu^{(n)}_{x}(\frac{t}{\|A\|\cdot \|B\|})$$ for all $$t> 0$$, $$A \in M_{k,n}(\mathbb{R})$$, $$x=[x_{ij}]\in M_{n}(X)$$ and $$B \in M_{n,k}(\mathbb{R})$$ with $$\|A\|\cdot\|B\|\neq0$$.

(2):

$$(X,\{\mu^{(n)}\},T)$$ is called a matrix non-Archimedean random Banach space if $$(X,\mu,T)$$ is a non-Archimedean random Banach space and $$(X,\{\mu^{(n)}\},T)$$ is a matrix non-Archimedean random normed space.

### Definition 2.4

Let $$\mathcal{E}$$ be a set. A function $$d:\mathcal{E} \times \mathcal{E} \rightarrow[0,\infty]$$ is called a generalized metric on $$\mathcal{E}$$ if d satisfies the following conditions:

(1):

$$d(x,y)=0$$ if and only if $$x=y$$;

(2):

$$d(x,y)=d(y,x)$$ for all $$x,y \in \mathcal{E}$$;

(3):

$$d(x,z)\leq d(x,y)+d(y,z)$$ for all $$x,y,z \in\mathcal{E}$$.

We note that the only one difference of the generalized metric from the usual metric is that the range of the former is permitted to include infinity.

The following theorem is very useful for proving our main results; it is due to Diaz and Margolis [30].

### Theorem 2.5

[30]

Let $$(\Omega,d)$$ be a complete generalized metric space and let $$\mathcal{J}: \Omega\to\Omega$$ be a strictly contractive mapping with Lipschitz constant $$L<1$$. Then for each given element $$x \in \Omega$$, either

$$d\bigl(\mathcal{J}^{n}x,\mathcal{J}^{n+1}x\bigr)=\infty$$

for all non-negative integers n or there exists a positive integer $$n_{0}$$ such that:

(1):

$$d(\mathcal{J}^{n}x,\mathcal{J}^{n+1}x)< \infty$$ for all $$n\geq n_{0}$$;

(2):

the sequence $$\{\mathcal{J}^{n}x\}$$ is convergent to a fixed point $$x^{*}$$ of $$\mathcal{J}$$;

(3):

$$x^{*}$$ is the unique fixed point of $$\mathcal{J}$$ in the set

$$\Delta:=\bigl\{ y \in\Omega| d\bigl(\mathcal{J}^{n_{0}}x,y\bigr)< \infty \bigr\} ;$$
(4):

$$d(y,x^{*})\leq\frac{d(y,\mathcal{J}y)}{1-L}$$, for all $$y \in \Delta$$.

Throughout this paper, we assume that X be a normed space and $$(Y,\mu^{(n)},T)$$ be a matrix non-Archimedean random Banach space.

We note that a mapping $$r:X\rightarrow Y$$ satisfies the functional equation (1.5) if and only if there exists a reciprocal mapping $$r:X\rightarrow Y$$ satisfying the reciprocal functional equation (1.1) [22].

For a mapping $$r:X\rightarrow Y$$, define $$D_{m}r:X^{m}\rightarrow Y$$ and $$D_{m}r_{n}:M_{n}(X^{m})\rightarrow M_{n}(Y)$$ by

\begin{aligned}& \begin{aligned}[b] D_{m}r(x_{1},\ldots,x_{m}):={}&\frac{\prod^{m}_{\ell=2}r(x_{1}+x_{\ell})}{\sum_{\ell =2}^{m} [\mathop{\prod_{k=2}}\limits_{\hphantom{aai}k\neq \ell}^{m}r(x_{1}+x_{k}) ]}\\ &{}- \frac{\prod_{\ell=1}^{m}r(x_{\ell})}{\sum_{\ell =2}^{m}r(x_{1}) [\mathop{\prod_{k=2}}\limits_{\hphantom{aai}k\neq\ell}^{m}r(x_{k}) ]+(m-1) \prod_{\ell=2}^{m}r(x_{\ell})}, \end{aligned} \\& \begin{aligned}[b] D_{m}r_{n}\bigl([x_{1ij}],[x_{2ij}], \ldots,[x_{mij}]\bigr):={}&\frac{\prod^{m}_{\ell =2}r([x_{1ij}]+[x_{\ell ij}])}{\sum_{\ell=2}^{m} [\mathop{\prod_{k=2}}\limits_{\hphantom{aai}k\neq \ell}^{m}r([x_{1ij}]+[x_{kij}]) ]} \\ &{}-\frac{\prod_{\ell=1}^{m}r([x_{\ell ij}])}{\sum_{\ell=2}^{m}r([x_{1ij}]) [\mathop{\prod_{k=2}}\limits_{\hphantom{aai}k\neq \ell}^{m}r([x_{kij}]) ]+(m-1)\prod_{\ell=2}^{m}r([x_{\ell ij}])}, \end{aligned} \end{aligned}

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$x'_{1}=[x_{1ij}],\ldots,x'_{m}=[x_{mij}]\in M_{n}(X)$$.

## 3 Generalized Hyers-Ulam stability of (1.5): direct method

### Theorem 3.1

Let $$\varphi:X^{m}\rightarrow\mathcal{D}^{+}$$ be a function such that there exists $$\alpha\in\mathbb{R}$$ with $$0<|\alpha|<|2|$$ such that

$$\varphi_{\frac{x_{1}}{2},\ldots,\frac{x_{m}}{2}}(t)\geq \varphi_{x_{1},\ldots,x_{m}}\biggl( \frac{t}{|\alpha|}\biggr)$$
(3.1)

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$ and $$\lim_{\imath \rightarrow \infty}T_{\kappa=\imath}^{\infty} (\varphi_{\frac{x}{2^{\kappa +1}},\ldots,\frac{x}{2^{\kappa+1}}}(\frac{|2|^{\kappa}}{|m-1|}t) )=1$$ for all $$x \in X$$ and all $$t>0$$. If a function $$f:X\rightarrow Y$$ satisfies the functional inequality

$$\mu^{(n)}_{D_{m}f_{n}([x_{1ij}],\ldots,[x_{mij}])}(t)\geq \sum _{i,j=1}^{n}\varphi_{x_{1ij},\ldots,x_{mij}}(t)$$
(3.2)

for all $$x'_{1}=[x_{1ij}],\ldots,x'_{m}=[x_{mij}]\in M_{n}(X)$$ and all $$t>0$$, then there exists a unique reciprocal mapping $$r:X\rightarrow Y$$ which satisfies (1.5) and the inequality

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl(T^{\infty}_{\imath=0} \biggl(\varphi_{\frac{x_{ij}}{2^{\imath +1}},\ldots,\frac{x_{ij}}{2^{\imath+1}}}\biggl(\frac{|2|^{\imath}}{|m-1|n^{2}}t\biggr) \biggr):i,j=1, \ldots,n \biggr)$$
(3.3)

for all $$x=[x_{ij}]\in M_{n}(X)$$ and all $$t>0$$.

### Proof

Let $$n=1$$. Then (3.2) is equivalent to

$$\mu_{D_{m}f(x_{1},\ldots,x_{m})}(t)\geq \varphi_{x_{1},\ldots,x_{m}}(t)$$
(3.4)

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$. Replacing $$x_{i}$$ by $$\frac{x}{2}$$ for $$i=1,\ldots,m$$ in (3.4), we get

$$\mu_{\frac{1}{m-1}[f(x)-\frac{1}{2}f(\frac{x}{2})]}(t)\geq \varphi_{\frac{x}{2},\ldots,\frac{x}{2}}(t)$$

and so

$$\mu_{f(x)-\frac{1}{2}f(\frac{x}{2})}(t)\geq \varphi_{\frac{x}{2},\ldots,\frac{x}{2}}\biggl( \frac{1}{|m-1|}t\biggr)$$
(3.5)

for all $$x \in X$$ and all $$t>0$$. Now, replacing x by $$\frac{x}{2}$$ in (3.5), we obtain

$$\mu_{f(\frac{x}{2})-\frac{1}{2}f(\frac{x}{2^{2}})}(t)\geq \varphi_{\frac{x}{2^{2}},\ldots,\frac{x}{2^{2}}}\biggl( \frac{1}{|m-1|}t\biggr)$$
(3.6)

for all $$x \in X$$ and all $$t>0$$. By (3.5) and (3.6),

\begin{aligned} \mu_{f(x)-\frac{1}{2^{2}}f(\frac{x}{2^{2}})}(t)&\geq T \bigl(\mu_{f(x)-\frac{1}{2}f(\frac{x}{2})}(t),\mu_{\frac{1}{2}f(\frac {x}{2})-\frac{1}{2^{2}}f(\frac{x}{2^{2}})}(t) \bigr) \\ &=T \bigl(\mu_{f(x)-\frac{1}{2}f(\frac{x}{2})}(t),\mu_{f(\frac{x}{2})-\frac {1}{2}f(\frac{x}{2^{2}})}\bigl(|2|t\bigr) \bigr) \\ &\geq T \biggl(\varphi_{\frac{x}{2},\ldots,\frac{x}{2}}\biggl(\frac{1}{|m-1|}t\biggr),\varphi _{\frac{x}{2^{2}},\ldots,\frac{x}{2^{2}}}\biggl(\frac{|2|}{|m-1|}t\biggr) \biggr) \end{aligned}

for all $$x \in X$$ and all $$t>0$$. Proceeding and using induction arguments on a positive integerÂ È·, we arrive at

$$\mu_{f(x)-\frac{1}{2^{\jmath}}f(\frac{x}{2^{\jmath}})}(t)\geq T^{\jmath-1}_{\imath=0} \biggl( \varphi_{\frac{x}{2^{\imath+1}},\ldots,\frac {x}{2^{\imath+1}}}\biggl(\frac{|2|^{\imath}}{|m-1|}t\biggr) \biggr)$$
(3.7)

for all $$x \in X$$ and all $$t>0$$. For any positive integer Ä±, $$x \in X$$ and $$t>0$$, we have

\begin{aligned} \mu_{\frac{1}{2^{\imath+1}}f(\frac{x}{2^{\imath+1}})-\frac{1}{2^{\imath }}f(\frac{x}{2^{\imath}})}(t)=\mu_{\frac{1}{2^{\imath}}[f(\frac {x}{2^{\imath}})-\frac{1}{2}f(\frac{x}{2^{\imath+1}})]}(t) \geq\varphi_{\frac{x}{2^{\imath+1}},\ldots,\frac{x}{2^{\imath+1}}}\biggl(\frac {|2|^{\imath}}{|m-1|}t\biggr). \end{aligned}

Hence,

\begin{aligned} \mu_{\frac{1}{2^{\imath}}f(\frac{x}{2^{\imath}})-\frac{1}{2^{\imath +s}}f(\frac{x}{2^{\imath+s}})}(t)&\geq T^{\imath+s}_{\kappa=\imath} \bigl( \mu_{\frac{1}{2^{\kappa}}f(\frac {x}{2^{\kappa}})-\frac{1}{2^{\kappa+s}}f(\frac{x}{2^{\kappa+s}})}(t) \bigr) \\ &\geq T^{\imath+s}_{\kappa=\imath} \biggl(\varphi_{\frac{x}{2^{\kappa+1}},\ldots ,\frac{x}{2^{\kappa+1}}}\biggl( \frac{|2|^{\kappa}}{|m-1|}t\biggr) \biggr) \end{aligned}
(3.8)

for all $$x \in X$$, all $$t>0$$ and $$\imath\geq0$$. Since $$\lim_{\imath \rightarrow\infty}T_{\kappa=\imath}^{\infty} (\varphi_{\frac {x}{2^{\kappa+1}},\ldots,\frac{x}{2^{\kappa+1}}}(\frac{|2|^{\kappa}}{|m-1|}t) )=1$$ for all $$x \in X$$ and all $$t>0$$, it follows that the sequence $$\{\frac{1}{2^{\jmath}}f(\frac{x}{2^{\jmath}})\}$$ is a Cauchy sequence in the matrix non-Archimedean random Banach space $$(Y,\mu^{(n)},T)$$. Hence, we can define a mapping $$r:X\rightarrow Y$$ by

$$\lim_{\jmath \rightarrow\infty}\mu_{\frac{1}{2^{\jmath}}f(\frac{x}{2^{\jmath}})-r(x)}(t)=1$$
(3.9)

for all $$x \in X$$ and all $$t>0$$.

Moreover, letting $$\jmath\rightarrow\infty$$ in (3.7), we get

$$\mu_{f(x)-r(x)}(t)\geq T^{\infty}_{\imath=0} \biggl( \varphi_{\frac{x}{2^{\imath+1}},\ldots,\frac {x}{2^{\imath+1}}}\biggl(\frac{|2|^{\imath}}{|m-1|}t\biggr) \biggr)$$
(3.10)

for all $$x \in X$$ and all $$t>0$$. To show that r satisfies (1.5), replacing $$(x_{1},\ldots,x_{m})$$ by $$(\frac{x_{1}}{2^{\jmath}},\ldots,\frac{x_{m}}{2^{\jmath}})$$ in (3.4) and using (3.1), we obtain

$$\mu_{\frac{1}{2^{\jmath}}D_{m}f(\frac{x_{1}}{2^{\jmath}},\ldots,\frac {x_{m}}{2^{\jmath}})}(t)\geq \varphi_{\frac{x_{1}}{2^{\jmath}},\ldots,\frac{x_{m}}{2^{\jmath}}} \bigl(|2|^{\jmath}t\bigr)\geq\varphi_{x_{1},\ldots,x_{m}}\biggl( \frac{|2|^{\jmath}}{|\alpha|^{\jmath}} t\biggr)$$
(3.11)

for all $$x_{1},\ldots,x_{m} \in X$$, for all positive integer È· and all $$t>0$$. Since $$\lim_{\jmath \rightarrow\infty}\varphi_{x_{1},\ldots,x_{m}}((\frac{|2|}{|\alpha |})^{\jmath} t)=1$$, we see that r satisfies (1.5), for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$.

We note that $$e_{j} \in M_{1,n}(\mathbb{R})$$ means that jth component is 1 and the others are zero, $$E_{ij} \in M_{n} (\mathbb{R})$$ means that $$(i,j)$$-component is 1 and the others are zero, and $$E_{ij}\otimes x \in M_{n} (X)$$ means that $$(i,j)$$-component is x and the others are zero. Since $$\mu^{(n)}_{E_{pq}\otimes x}(t)=\mu_{x}(t)$$, we have

$$\mu^{(n)}_{[x_{ij}]}(t)=\mu^{(n)}_{\sum^{n}_{i,j=1}E_{ij}\otimes x_{ij}}(t)\geq T \bigl(\mu^{(n)}_{E_{ij}\otimes x_{ij}}(t_{ij}):i,j=1,2,\ldots,n \bigr) =T \bigl(\mu _{x_{ij}}(t_{ij}):i,j=1,2,\ldots,n \bigr),$$

where $$t=\sum^{n}_{i,j=1}t_{ij}$$. So $$\mu^{(n)}_{[x_{ij}]}(t)\geq T (\mu_{x_{ij}}(\frac{t}{n^{2}}):i,j=1,2,\ldots,n )$$.

By (3.10),

\begin{aligned} \mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)&\geq T \biggl(\mu_{f(x_{ij})-r(x_{ij})}\biggl( \frac{t}{n^{2}}\biggr):i,j=1,\ldots,n \biggr) \\ &\geq T \biggl(T^{\infty}_{\imath=0} \biggl(\varphi_{\frac{x_{ij}}{2^{\imath +1}},\ldots,\frac{x_{ij}}{2^{\imath+1}}} \biggl(\frac{|2|^{\imath}}{|m-1|n^{2}}t\biggr) \biggr):i,j=1,\ldots,n \biggr) \end{aligned}

for all $$x=[x_{ij}] \in M_{n}(X)$$ and all $$t>0$$. Thus $$r:X\rightarrow Y$$ is a unique mapping satisfying (3.3), as desired.â€ƒâ–¡

### Theorem 3.2

Let $$\varphi:X^{m}\rightarrow\mathcal{D}^{+}$$ be a function such that there exists $$\alpha\in\mathbb{R}$$ with $$0<|2|<|\alpha|$$ such that

$$\varphi_{2x_{1},\ldots,2x_{m}}(t)\geq \varphi_{x_{1},\ldots,x_{m}}\bigl(|\alpha|t\bigr)$$
(3.12)

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$ and $$\lim_{\imath \rightarrow \infty}T_{\kappa=\imath}^{\infty} (\varphi_{2^{\kappa}x,\ldots ,2^{\kappa}x}(\frac{t}{|m-1||2|^{\kappa+1}}) )=1$$ for all $$x \in X$$ and all $$t>0$$. If a function $$f:X\rightarrow Y$$ satisfies the functional inequality

$$\mu^{(n)}_{D_{m}f_{n}([x_{1ij}],\ldots,[x_{mij}])}(t)\geq \sum _{i,j=1}^{n}\varphi_{x_{1ij},\ldots,x_{mij}}(t)$$
(3.13)

for all $$x'_{1}=[x_{1ij}],\ldots,x'_{m}=[x_{mij}]\in M_{n}(X)$$ and all $$t>0$$, then there exists a unique reciprocal mapping $$r:X\rightarrow Y$$ which satisfies (1.5) and the inequality

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl(T^{\infty}_{\imath=0} \biggl(\varphi_{2^{\imath}x_{ij},\ldots ,2^{\imath}x_{ij}}\biggl(\frac{t}{n^{2}|m-1||2|^{\imath+1}}\biggr) \biggr):i,j=1, \ldots ,n \biggr)$$
(3.14)

for all $$x=[x_{ij}]\in M_{n}(X)$$ and all $$t>0$$.

### Proof

Let $$n=1$$. Then (3.13) is equivalent to

$$\mu_{D_{m}f(x_{1},\ldots,x_{m})}(t)\geq \varphi_{x_{1},\ldots,x_{m}}(t)$$
(3.15)

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$. The rest of the proof is obtained by replacing $$x_{i}$$ by x for $$i=1,2,\ldots,m$$ in (3.15) and proceeding further by similar arguments as in Theorem 3.1.â€ƒâ–¡

### Corollary 3.3

Let $$\gamma\in\{-1,1\}$$ be fixed. Let $$f:X\rightarrow Y$$ be a mapping and let there exist real numbers $$q\neq-1$$ and $$\theta\geq 0$$ with $$-\gamma< q\gamma$$ such that

$$\mu^{(n)}_{D_{m}f_{n}([x_{1ij}],\ldots,[x_{mij}])}(t)\geq \frac{t}{t+\sum_{i,j=1}^{n} \theta (\|x_{1ij}\|^{q}+\cdots+\|x_{mij}\|^{q})}$$

for all $$x'_{1}=[x_{1ij}],\ldots,x'_{m}=[x_{mij}]\in M_{n}(X)$$ and all $$t>0$$. If

$$\lim_{\imath\rightarrow \infty}T_{\kappa=\imath}^{\infty} \biggl( \frac{t}{t+\theta m|m-1|\|x\|^{q} (|2|^{\kappa q+q+\kappa} )^{\frac{-\gamma-1}{2}} (|2|^{\kappa q+\kappa+1} )^{\frac{-\gamma+1}{2}}} \biggr)=1$$

for all $$x \in X$$ and all $$t>0$$, then there exists a unique reciprocal mapping $$r:X\rightarrow Y$$ such that

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq \textstyle\begin{cases} T (T_{\imath=0}^{\infty} (\frac{t}{t+\frac{\theta m n^{2} |m-1|\| x_{ij}\|^{q}}{|2|^{\imath q+q+\imath}}} ):i,j=1,2,\ldots,n ) & \textit{for } \gamma=1, \\ T (T_{\imath=0}^{\infty} (\frac{t}{t+\theta m n^{2} |m-1|\| x_{ij}\|^{q}|2|^{\imath q+\imath+1}} ):i,j=1,2,\ldots,n )& \textit{for } \gamma=-1 \end{cases}$$

for all $$x=[x_{ij}]\in M_{n}(X)$$ and all $$t>0$$.

### Proof

If we choose $$\varphi_{x_{1},\ldots,x_{m}}(t)=\frac{t}{t+\theta (\|x_{1}\|^{q}+\cdots+\|x_{m}\|^{q})}$$, for all $$t>0$$ and all $$x_{1},\ldots,x_{m} \in X$$, then by Theorem 3.1, we arrive at

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl(T_{\imath=0}^{\infty} \biggl(\frac{t}{t+\frac{\theta m n^{2} |m-1|\|x_{ij}\|^{q}}{|2|^{\imath q+q+\imath}}} \biggr):i,j=1,2,\ldots,n \biggr)$$

for all $$x=[x_{ij}]\in M_{n}(X)$$, all $$t>0$$ and $$\gamma=1$$, and using Theorem 3.2, we arrive at

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl(T_{\imath=0}^{\infty} \biggl(\frac{t}{t+\theta m n^{2} |m-1|\|x_{ij}\|^{q}|2|^{\imath q+\imath+1}} \biggr):i,j=1,2,\ldots,n \biggr)$$

for all $$x=[x_{ij}]\in M_{n}(X)$$, all $$t>0$$ and $$\gamma=-1$$.â€ƒâ–¡

## 4 Generalized Hyers-Ulam stability of equation (1.5): fixed point method

### Theorem 4.1

Suppose that the mapping $$f:X\rightarrow Y$$ satisfies the inequality

$$\mu^{(n)}_{D_{m}f_{n}([x_{1ij}],\ldots,[x_{mij}])}(t)\geq \sum _{i,j=1}^{n}\phi_{x_{1ij},\ldots,x_{mij}}(t)$$
(4.1)

for all $$x'_{1}=[x_{1ij}],\ldots,x'_{m}=[x_{mij}]\in M_{n}(X)$$ and all $$t>0$$, where $$\phi:X^{m}\rightarrow\mathcal{D}^{+}$$ is a given function. If there exists $$L<1$$ such that

$$\phi_{\frac{x_{1}}{2},\ldots,\frac{x_{m}}{2}}(t)\geq \phi_{x_{1},\ldots,x_{m}}\biggl( \frac{1}{L|2|}t\biggr)$$
(4.2)

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$, then there exists a unique reciprocal mapping $$r:X\rightarrow Y$$ which satisfies (1.5) and the inequality

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl( \phi_{x_{ij},\ldots,x_{ij}}\biggl(\frac {1-L}{n^{2}L|2||m-1|}t\biggr):i,j=1,\ldots,n \biggr)$$
(4.3)

for all $$x=[x_{ij}]\in M_{n}(X)$$ and all $$t>0$$.

### Proof

Let $$n=1$$. Then (4.1) is equivalent to

$$\mu_{D_{m}f(x_{1},\ldots,x_{m})}(t)\geq\phi_{x_{1},\ldots,x_{m}}(t)$$
(4.4)

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$.

Define a set $$\mathcal{S}$$ by

$$\mathcal{S}=\{h:X\rightarrow Y| h\mbox{ is a function}\}$$

and introduce the generalized metric d on $$\mathcal{S}$$ as follows:

$$d(g,h)=\inf \bigl\{ \lambda\in\mathbb{R}_{+}: \mu_{ g(x)-h(x)}( \lambda t) \geq\phi_{x,\ldots,x}(t), \forall x \in X, \forall t> 0 \bigr\} ,$$
(4.5)

where, as usual, $$\inf\emptyset=+\infty$$. It is easy to show that $$(\mathcal{S},d)$$ is complete (see [27], Lemma 2.1).

Define a mapping $$\sigma:\mathcal{S}\rightarrow\mathcal{S}$$ by

$$\sigma h(x)=\frac{1}{2}h\biggl(\frac{x}{2}\biggr) \quad (x \in X)$$
(4.6)

for all $$h \in\mathcal{S}$$. We claim that Ïƒ is strictly contractive on $$\mathcal{S}$$. For any given $$g,h \in\mathcal{S}$$, let $$\epsilon_{gh}\in[0,\infty]$$ be an arbitrary constant with $$d(g,h)\leq\epsilon_{gh}$$. Hence

\begin{aligned}[b] d(g,h)\leq\epsilon_{gh}&\quad\Rightarrow\quad\mu_{g(x)-h(x)}( \epsilon_{gh} t)\geq\phi_{x,\ldots,x}(t),\quad \forall x \in X, \forall t>0 \\ &\quad\Rightarrow\quad \mu_{\frac{1}{2}g(\frac{x}{2})-\frac{1}{2}h(\frac{x}{2})}(\epsilon_{gh} t)\geq \phi_{\frac{x}{2},\ldots,\frac{x}{2}}\bigl(|2|t\bigr),\quad\forall x \in X, \forall t>0 \\ &\quad\Rightarrow\quad \mu_{\frac{1}{2}g(\frac{x}{2})-\frac{1}{2}h(\frac{x}{2})}(\epsilon_{gh} t)\geq \phi_{x,\ldots,x}\biggl(\frac{1}{L}t\biggr), \quad\forall x \in X, \forall t>0 \\ &\quad\Rightarrow\quad \mu_{\frac{1}{2}g(\frac{x}{2})-\frac{1}{2}h(\frac{x}{2})}(L\epsilon_{gh} t)\geq \phi_{x,\ldots,x}(t),\quad \forall x \in X, \forall t>0 \\ &\quad\Rightarrow \quad d(\sigma g,\sigma h)\leq L\epsilon_{gh}. \end{aligned}

Therefore, we see that

$$d(\sigma g,\sigma h)\leq Ld(g,h), \quad \mbox{for all } g,h \in\mathcal{S}$$

that is, Ïƒ is strictly contractive mapping of $$\mathcal{S}$$, with the Lipschitz constant $$L< 1$$.

Now, replacing $$x_{i}$$ by $$\frac{x}{2}$$ for $$i=1,\ldots,m$$ in (4.4), we get

$$\mu_{f(x)-\frac{1}{2}f(\frac{x}{2})}(t)\geq \phi_{\frac{x}{2},\ldots,\frac{x}{2}}\biggl(\frac{1}{|m-1|}t\biggr) \geq \phi_{x,\ldots,x}\biggl(\frac{1}{L|2||m-1|}t\biggr)$$

for all $$x \in X$$ and all $$t>0$$. Hence (4.5) implies that $$d(f,\sigma f)\leq L|2||m-1|<\infty$$. Hence by applying the fixed point alternative Theorem 2.5, there exists a function $$r:X\rightarrow Y$$ satisfying the following:

(1):

r is a fixed point of Ïƒ, that is,

$$r(x)=\frac{1}{2}r\biggl(\frac{x}{2}\biggr)$$
(4.7)

for all $$x \in X$$. The mapping r is the unique fixed point of Ïƒ in the set

$$\mathcal{M}=\bigl\{ g \in\mathcal{S}| d(f,g)< \infty\bigr\} .$$

This implies that r is the unique mapping satisfying (4.7) such that there exists $$\epsilon\in(0,\infty)$$ satisfying

$$\mu_{f(x)-r(x)}(\epsilon t)\geq\phi_{x,\ldots,x}(t),\quad \forall x \in X, \forall t>0.$$
(2):

$$d(\sigma^{n} f,r)\rightarrow0$$ as $$n\rightarrow \infty$$. Thus we have

$$\lim_{n\rightarrow\infty} \mu_{\frac{1}{2^{n}}f(\frac{x}{2^{n}})-r(x)}(t)=1$$
(4.8)

for all $$x \in X$$ and all $$t>0$$.

(3):

$$d(r,f)\leq\frac{1}{1-L}d(f,\sigma f)$$ which implies

$$d(r,f)\leq\frac{L|2||m-1|}{1-L}.$$
(4.9)

From (4.2), (4.4), and (4.8), we have

$$\mu_{\frac{1}{2^{n}}D_{m}f(\frac{x_{1}}{2^{n}},\ldots,\frac{x_{m}}{2^{n}})}(t)\geq \phi_{\frac{x_{1}}{2^{n}},\ldots,\frac{x_{m}}{2^{n}}}\bigl(|2|^{n} t\bigr) \geq \phi_{x_{1},\ldots,x_{m}} \biggl(\biggl(\frac{1}{L}\biggr)^{n} t \biggr)$$

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$. Since $$\lim_{n\rightarrow\infty}\phi_{x_{1},\ldots,x_{m}} ((\frac{1}{L})^{n} t )=1$$, r satisfies (1.5).

We note that $$e_{j} \in M_{1,n}(\mathbb{R})$$ means that the jth component is 1 and the others are zero, $$E_{ij} \in M_{n} (\mathbb{R})$$ means that the $$(i,j)$$-component is 1 and the others are zero, and $$E_{ij}\otimes x \in M_{n} (X)$$ means that the $$(i,j)$$-component is x and the others are zero. Since $$\mu^{(n)}_{E_{pq}\otimes x}(t)=\mu_{x}(t)$$, we have

$$\mu^{(n)}_{[x_{ij}]}(t)=\mu^{(n)}_{\sum^{n}_{i,j=1}E_{ij}\otimes x_{ij}}(t)\geq T \bigl(\mu^{(n)}_{E_{ij}\otimes x_{ij}}(t_{ij}):i,j=1,2,\ldots,n \bigr) =T \bigl(\mu _{x_{ij}}(t_{ij}):i,j=1,2,\ldots,n \bigr),$$

where $$t=\sum^{n}_{i,j=1}t_{ij}$$. So $$\mu^{(n)}_{[x_{ij}]}(t)\geq T (\mu_{x_{ij}}(\frac{t}{n^{2}}):i,j=1,2,\ldots,n )$$.

By (4.9),

\begin{aligned} \mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)&\geq T \biggl(\mu_{f(x_{ij})-r(x_{ij})}\biggl( \frac{t}{n^{2}}\biggr):i,j=1,\ldots,n \biggr) \\ &\geq T \biggl(\phi_{x_{ij},\ldots,x_{ij}}\biggl(\frac {1-L}{n^{2}L|2||m-1|}t\biggr):i,j=1, \ldots,n \biggr) \end{aligned}

for all $$x=[x_{ij}] \in M_{n}(X)$$ and all $$t>0$$. Thus $$r:X\rightarrow Y$$ is a unique reciprocal mapping satisfying (4.3).â€ƒâ–¡

### Theorem 4.2

Suppose that the mapping $$f:X\rightarrow Y$$ satisfies the inequality

$$\mu^{(n)}_{D_{m}f_{n}([x_{1ij}],\ldots,[x_{mij}])}(t)\geq \sum _{i,j=1}^{n}\phi_{x_{1ij},\ldots,x_{mij}}(t)$$
(4.10)

for all $$x'_{1}=[x_{1ij}],\ldots,x'_{m}=[x_{mij}]\in M_{n}(X)$$ and all $$t>0$$, where $$\phi:X^{m}\rightarrow\mathcal{D}^{+}$$ is a given function. If there exists $$L<1$$ such that

$$\phi_{2x_{1},\ldots,2x_{m}}(t)\geq\phi_{x_{1},\ldots,x_{m}}\biggl( \frac{|2|}{L}t\biggr)$$
(4.11)

for all $$x_{1},\ldots,x_{m} \in X$$ and all $$t>0$$, then there exists a unique reciprocal mapping $$r:X\rightarrow Y$$ which satisfies (1.5) and the inequality

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl( \phi_{x_{ij},\ldots,x_{ij}}\biggl(\frac{1-L}{n^{2}|2||m-1|}t\biggr):i,j=1,\ldots ,n \biggr)$$
(4.12)

for all $$x=[x_{ij}]\in M_{n}(X)$$ and all $$t>0$$.

### Proof

The proof is similar to the proof of Theorem 4.1.â€ƒâ–¡

### Corollary 4.3

Let $$\gamma\in\{-1,1\}$$ be fixed. Let $$f:X\rightarrow Y$$ be a mapping and let there exist real numbers $$q\neq-1$$ and $$\theta\geq 0$$ with $$-\gamma< q\gamma$$ such that

$$\mu^{(n)}_{D_{m}f_{n}([x_{1ij}],\ldots,[x_{mij}])}(t)\geq \frac{t}{t+\sum_{i,j=1}^{n} \theta (\|x_{1ij}\|^{q}+\cdots+\|x_{mij}\|^{q})}$$

for all $$x'_{1}=[x_{1ij}],\ldots,x'_{m}=[x_{mij}]\in M_{n}(X)$$ and all $$t>0$$. Then there exists a unique reciprocal mapping $$r:X\rightarrow Y$$ such that

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq \textstyle\begin{cases} T (\frac{(|2|^{q+1}-1)t}{(|2|^{q+1}-1)t+\theta mn^{2}|2||m-1|\| x_{ij}\|^{q}}:i,j=1,2,\ldots,n ) &\textit{for } \gamma=1, \\ T (\frac{(1-|2|^{q+1})t}{(1-|2|^{q+1})t+\theta mn^{2}|2||m-1|\| x_{ij}\|^{q}}:i,j=1,2,\ldots,n ) &\textit{for } \gamma=-1 \end{cases}$$

for all $$x=[x_{ij}]\in M_{n}(X)$$ and all $$t>0$$.

### Proof

If we choose $$\phi_{x_{1},\ldots,x_{m}}(t)=\frac{t}{t+\theta (\|x_{1}\|^{q}+\cdots+\|x_{m}\|^{q})}$$, for all $$t>0$$ and all $$x_{1},\ldots,x_{m} \in X$$, then by Theorem 4.1, we arrive at

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl(\frac{(|2|^{q+1}-1)t}{(|2|^{q+1}-1)t+\theta mn^{2}|2||m-1|\|x_{ij}\|^{q}}:i,j=1,2, \ldots,n \biggr)$$

for all $$x=[x_{ij}]\in M_{n}(X)$$, all $$t>0$$, $$\gamma=1$$, $$L=|2|^{-q-1}$$, and using Theorem 4.2, we arrive at

$$\mu^{(n)}_{f_{n}([x_{ij}])-r_{n}([x_{ij}])}(t)\geq T \biggl(\frac{(1-|2|^{q+1})t}{(1-|2|^{q+1})t+\theta mn^{2}|2||m-1|\|x_{ij}\|^{q}}:i,j=1,2, \ldots,n \biggr)$$

for all $$x=[x_{ij}]\in M_{n}(X)$$, all $$t>0$$, $$\gamma=-1$$ and $$L=|2|^{q+1}$$.â€ƒâ–¡

## References

1. Ulam, SM: A Collection of the Mathematical Problems. Interscience, New York (1960)

2. Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. 27, 222-224 (1941)

3. Aoki, T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 2, 64-66 (1950)

4. Rassias, TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297-300 (1978)

5. Rassias, JM: On approximation of approximately linear mappings by linear mappings. J. Funct. Anal. 46, 126-130 (1982)

6. Rassias, JM: On approximation of approximately linear mappings by linear mappings. Bull. Sci. Math. 108, 445-446 (1984)

7. Rassias, JM: Solution of a problem of Ulam. J. Approx. Theory 57, 268-273 (1989)

8. GÇŽvruta, P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 184, 431-436 (1994)

9. Cho, YJ, Eshaghi Gordji, M, Zolfaghari, S: Solutions and stability of generalized mixed type QC functional equations in random normed spaces. J. Inequal. Appl. 2010, Article ID 403101 (2010). doi:10.1155/2010/403101

10. Cholewa, PW: Remarks on the stability of functional equations. Aequ. Math. 27, 76-86 (1984)

11. Ebadian, A, Zolfaghari, S: Stability of a mixed additive and cubic functional equation in several variables in non-Archimedean spaces. Ann. Univ. Ferrara 58, 291-306 (2012)

12. Eshaghi Gordji, M, Ebadian, A, Zolfaghari, S: Stability of a functional equation deriving from cubic and quartic functions. Abstr. Appl. Anal. 2008, Article ID 801904 (2008)

13. Eshaghi Gordji, M, Kaboli-Gharetapeh, S, Park, C, Zolfaghari, S: Stability of an additive-cubic-quartic functional equation. Adv. Differ. Equ. 2009, Article ID 395693 (2009)

14. Eshaghi Gordji, M, Kaboli-Gharetapeh, S, Rassias, JM, Zolfaghari, S: Solution and stability of a mixed type additive, quadratic and cubic functional equation. Adv. Differ. Equ. 2009, Article ID 826130 (2009). doi:10.1155/2009/826130

15. Eshaghi Gordji, M, Moslehian, MS, Kaboli-Gharetapeh, S, Zolfaghari, S: Stability of a mixed type additive, quadratic, cubic and quartic functional equation. In: Khan, A, et al. (eds.) Nonlinear Analysis and Variational Problems, pp.Â 65-80. Springer, Berlin (2009)

16. Eshaghi Gordji, M, Zolfaghari, S, Rassias, JM, Bavand-Savadkouhi, M: Solution and stability of a mixed type cubic and quartic functional equation in quasi-Banach spaces. Abstr. Appl. Anal. 2009, Article ID 417473 (2009). doi:10.1155/2009/417473

17. Zolfaghari, S: Stability of generalized $$QCA$$-functional equation in p-Banach spaces. Int. J. Nonlinear Anal. Appl. 1, 84-99 (2010)

18. Zolfaghari, S, Ebadian, A, Ostadbashi, S, De La Sen, M, Eshaghi Gordji, M: A fixed point approach to the Hyers-Ulam stability of an AQ functional equation in probabilistic modular spaces. Int. J. Nonlinear Anal. Appl. 4(2), 1-14 (2013)

19. Ravi, K, Senthil Kumar, BV: Ulam-GÇŽvruta-Rassias stability of Rassias reciprocal functional equation. Glob. J. Appl. Math. Math. Sci. 3, 57-79 (2010)

20. Ravi, K, Rassias, JM, Senthil Kumar, BV: Ulam stability of reciprocal difference and adjoint functional equations. Aust. J.Â Math. Anal. Appl. 8(1), 13 (2011)

21. Ravi, K, Rassias, JM, Senthil Kumar, BV: Ulam stability of generalized reciprocal functional equation in several variables. Int. J. Appl. Math. Stat. 19, 1-19 (2010)

22. Ravi, K, Thandapani, E, Senthil Kumar, BV: Solution and stability of a reciprocal type functional equation in several variables. J. Nonlinear Sci. Appl. 7, 18-27 (2014)

23. Ravi, K, Rassias, JM, Senthil Kumar, BV: Generalized Hyers-Ulam stability and examples of non-stability of reciprocal type functional equation in several variables. Indian J. Sci. 2(3), 13-22 (2013)

24. Ravi, K, Rassias, JM, Senthil Kumar, BV: Example for the stability of reciprocal type functional equation controlled by product of different powers in singular case. Adv. Pure Math. 61, 16821-16825 (2013)

25. Hensel, K: Ãœber eine neue Begrundung der Theorie der algebraischen Zahlen. Jahresber. Dtsch. Math.-Ver. 6, 83-88 (1897)

26. Chang, SS, Cho, YJ, Kang, SM: Nonlinear Operator Theory in Probabilistic Metric Spaces. Nova Science Publishers, New York (2001)

27. Mihet, D, Radu, D: On the stability of the additive Cauchy functional equation in random normed spaces. J. Math. Anal. Appl. 343(1), 567-572 (2008)

28. Å erstnev, AN: On the notion of a random normed space. Dokl. Akad. Nauk SSSR 149(2), 280-283 (1963) (in Russian)

29. Schweizer, B, Sklar, A: Probabilistic Metric Spaces. North-Holland, New York (1983)

30. Diaz, JB, Margolis, B: A fixed point theorem of the alternative for the contractions on generalized complete metric space. Bull. Am. Math. Soc. 74, 305-309 (1968)

## Acknowledgements

C Park was supported by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology.

## Author information

Authors

### Corresponding author

Correspondence to Choonkil Park.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors contributed equally in drafting this manuscript and giving the main proofs. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Ebadian, A., Zolfaghari, S., Ostadbashi, S. et al. Approximation on the reciprocal functional equation in several variables in matrix non-Archimedean random normed spaces. Adv Differ Equ 2015, 314 (2015). https://doi.org/10.1186/s13662-015-0656-7