Stability and superstability of generalized quadratic ternary derivations on non-Archimedean ternary Banach algebras: a fixed point approach

Abstract

Using fixed point method, we prove the Hyers-Ulam stability and the superstability of generalized quadratic ternary derivations on non-Archimedean ternary Banach algebras. Indeed, we investigate the Hyers-Ulam stability and the superstability of the system of functional equations

$$\left\{\begin{array}{c}f\left(\left[abc\right]\right)=\left[f\left(a\right)b^2{c}^2\right]+\left[a^{2}f\left(b\right)c^2\right]+\left[a^2{b}^{2}f\left(c\right)\right];\hfill \\ g\left(\left[abc\right]\right)=\left[g\left(a\right)b^2{c}^2\right]+\left[a^{2}f\left(b\right)c^2\right]+\left[a^2{b}^{2}f\left(c\right)\right];\hfill \\ g\left(ux+vy\right)+g\left(ux-vy\right)=2u^{2}g\left(x\right)+2v^{2}g\left(y\right);\hfill \\ f\left(ux+vy\right)+f\left(ux-vy\right)=2u^{2}f\left(x\right)+2v^{2}f\left(y\right)\hfill \end{array}\right.$$

in non-Archimedean ternary Banach algebras.

Mathematics Subject Classification 2010: Primary 39B52; 47H10; 39B72; 46L57; 17B40; 13N15; 17A40; 20N10.

1. Introduction and preliminaries

The stability problem of functional equations had been first raised by Ulam [1]. This problem solved by Hyers [2] in the framework of Banach spaces. In 1978, Th.M. Rassias [3] provided a generalization of the Hyers' theorem by proving the existence of unique linear mappings near approximate additive mappings. Găvruta [4] obtained generalized result of the Th.M. Rassias' theorem which allows the Cauchy difference to be controlled by a general unbounded function.

Bourgin [5] proved the stability of ring homomorphisms between two unital Banach algebras and Badora [6] gave a generalization of the Bourgin result. The stability result concerning derivations between operator algebras was first obtained by Šemrl [7]. In [8], Badora proved the stability of functional equation

$$f\left(xy\right)=xf\left(y\right)+f\left(x\right)y,$$

where f is a mapping on normed algebra A with the unit. Park et al. proved the stability of homomorphisms and derivations in Banach algebras, Banach ternary algebras, C*-algebras, Lie C*-algebras and C*-ternary algebras (see [9–14]).

Let $\mathcal{ A}$ be a ternary algebra. A mapping $f:\mathcal{A}\to \mathcal{A}$ is called a quadratic ternary derivation if f is a quadratic mapping satisfies

$$f\left(\left[a,b,c\right]\right)=\left[f\left(a\right),b^2,c^2\right]+\left[a^2,f\left(b\right),c^2\right]+\left[a^2,b^2,f\left(c\right)\right]$$

for all $a,b,c\in \mathcal{A}$.

A mapping $g:\mathcal{A}\to \mathcal{A}$ is called a generalized quadratic ternary derivation if there exists a quadratic ternary derivation $f:\mathcal{A}\to \mathcal{A}$ such that

$$g\left(\left[a,b,c\right]\right)=\left[g\left(a\right),b^2,c^2\right]+\left[a^2,f\left(b\right),c^2\right]+\left[a^2,b^2,f\left(c\right)\right]$$

for all $a,b,c\in \mathcal{A}$.

Let $\mathbb{ K}$ denote a field and function (valuation absolute) | · | from $\mathbb{ K}$ into [0, ∞). A non-Archimedean valuation is a function | · | that satisfies the strong triangle inequality, namely,

$$\left|x+y\right|\le \text{max}\left\{\left|x\right|,\left|y\right|\right\}\le \left|x\right|+\left|y\right|$$

for all $x,y\in K$. The associated field $\mathbb{ K}$ is referred to as a non-Archimedean field. Clearly, |1| = | - 1| = 1 and |n| ≤ 1 for all n ≥ 1. A trivial example of a non-Archimedean valuation is the function | · | taking everything except 0 into 1 and |0| = 0. We always assume in addition that | · | is non trivial, i.e., there exists $z\in K$ such that |z| ≠ 0, 1.

Let X be a linear space over a field $\mathbb{ K}$ with a non-Archimedean nontrivial valuation | · |. A function ∥ · ∥ : X → [0, ∞) is said to be a non-Archimedean norm if it is a norm over $\mathbb{ K}$ with the strong triangle inequality (ultrametric), namely,

$$∥x+y∥\le \text{max}\left\{∥x∥,∥y∥\right\}$$

for all x, y ∈ X. Then (X, ∥ · ∥) is called a non-Archimedean space. In any such a space a sequence {x _n }_n∈ℕis a Cauchy sequence if and only if {x_n+1-x _n }_n∈ℕconverges to zero. By a complete non-Archimedean space we mean one in which every Cauchy sequence is convergent.

A non-Archimedean ternary Banach algebra is a complete non-Archimedean space $\mathcal{ A}$ equipped with a ternary product (x,y,z) → [x,y,z] of ${\mathcal{A}}^3$ into $\mathcal{ A}$ which is $\mathcal{ K}$-linear in each variables and associative in the sense that

$$\left[x,y,\left[z,w,v\right]\right]=\left[x,\left[w,z,y\right],v\right]=\left[\left[x,y,z\right],w,v\right]$$

and satisfies the following:

$$∥\left[x,y,z\right]∥\le ∥x∥\cdot ∥y∥\cdot ∥z∥$$

(see [15–19]).

Arriola and Beyer [20] initiated the stability of functional equations in non-Archimedean spaces. In fact, they established stability of Cauchy functional equations over p-adic fields. After their results some papers (see, for instance, [21–27]) on the stability of other equations in such spaces have been published. Although different methods are known for establishing the stability of functional equations, almost all proofs depend on Hyers' method in [2]. In 2003, Radu [28] employed the alternative fixed point theorem, due to Diaz and Margolis [29], to prove the stability of Cauchy additive functional equation. Subsequently, this method was applied to investigate the Hyers-Ulam stability for Jensen functional equation [30], as well as for the Cauchy functional equation [31], by considering a general control function φ(x, y), with suitable properties. Using such an elegant idea, several authors applied the method to investigate the stability of some functional equations (see [12, 32–34]).

Recently, Eshaghi Gordji and Khodaei [35] proved the Hyers-Ulam stability of the following quadratic functional equation

$$f\left(ax+by\right)+f\left(ax-by\right)=2a^{2}f\left(x\right)+2b^{2}f\left(y\right)$$

(1.1)

for nonzero fixed integers a, b. Recently, Eshaghi Gordji and Alizadeh [36, 37] proved the Hyers-Ulam stability of homomorphisms and derivations on non-Archimedean Banach algebras.

In this paper, by using fixed point method, we establish the stability of generalized quadratic ternary derivations related to the quadratic functional equation (1.1) over non-Archimedean ternary Banach algebras.

In 1897, Hensel [38] discovered the p-adic numbers as a number theoretical analogue of power series in complex analysis. During the last three decades p-adic numbers have gained the interest of physicists for their research, in particular, in the problems coming from quantum physics, p-adic strings and superstrings [39, 40]. A key property of p-adic numbers is that they do not satisfy the Archimedean axiom: For any x, y > 0, there exists n ∈ ℕ such that x < ny (see [41, 42]).

2. Main results

Using the strong triangle inequality in the proof of the main result of [29], we get the following result:

Theorem 2.1. (Non-Archimedean Alternative Contraction Principle) Let (Ω,d) be a non-Archimedean generalized complete metric space and T :Ω → Ω a strictly contractive mapping (that is, d(T(x),T(y)) ≤ Ld(x, y) for all x, y ∈ T and a Lipschitz constant L < 1). Let x ∈ Ω. If either

• (a) d(Tⁿ(x),Tⁿ⁺¹(x)) = ∞ for all n ≥ 0, or

• (b) there exists some n₀ ≥ 0 such that d(Tⁿ(x),Tⁿ⁺¹(x)) < ∞ for all n ≥ n₀, then the sequence {Tⁿ(x)} is convergent to a unique fixed point x* of T in the set

  $$\Lambda =\left\{y\in \Omega :d\left(T^{n_0}\left(x\right),y\right)<\infty \right\}$$

and d(y, x*) ≤ d(y,T(y)) for all y in this set.

From now on, we assume that $\left(\mathcal{A},\left[\cdot ,\cdot ,\cdot \right]\right)$ is a non-Archimedean ternary Banach algebra and ℓ ∈ {-1,1} is fixed. Also, we suppose that |4| < 1 and that 4 ≠ 0 in $\mathbb{ K}$ (i.e., the characteristic of $\mathbb{ K}$ is not 4). We denote [a, b, c] by [abc] in ternary Banach algebra $\mathcal{ A}$.

Theorem 2.2. Let $g,f:\mathcal{A}\to \mathcal{A}$ be two mappings with g(0) = f(0) = 0 for which there exists a function $\phi :{\mathcal{A}}^8\to \left[0,\infty \right)$ such that

$$\begin{array}{l}∥h\left(ax+by\right)+h\left(ax-by\right)-2a^{2}h\left(x\right)-2b^{2}h\left(y\right)∥\\ +∥f\left(\left[uvw\right]\right)-\left[f\left(u\right)v^2{w}^2\right]-\left[u^{2}f\left(v\right)w^2\right]-\left[u^2{v}^{2}f\left(w\right)\right]∥\\ +∥g\left(\left[rst\right]\right)-\left[g\left(r\right)s^2{t}^2\right]-\left[r^{2}f\left(x\right)t^2\right]-\left[r^2{s}^{2}f\left(t\right)\right]∥\\ \le \phi \left(x,y,u,v,w,r,s,t\right)\end{array}$$

(2.1)

for all $h\in \left\{f,g\right\},x,y,u,v,w,r,s,t\in \mathcal{A}$ and nonzero fixed integers a, b. Suppose that there exists L < 1 such that

$$\phi \left(x,y,u,v,w,r,s,t\right)\le {\left|4\right|}^{\ell \left(\ell +2\right)}L\phi \left(\frac{x}{2^{\ell }},\frac{y}{2^{\ell }},\frac{u}{2^{\ell }},\frac{v}{2^{\ell }},\frac{w}{2^{\ell }},\frac{r}{2^{\ell }},\frac{s}{2^{\ell }},\frac{t}{2^{\ell }}\right)$$

(2.2)

for all $x,y,u,v,w,r,s,t\in \mathcal{A}$. Then there exist a unique quadratic ternary derivation $d:\mathcal{A}\to \mathcal{A}$ and a unique generalized quadratic ternary derivation $D:\mathcal{A}\to \mathcal{A}$ (respected to d) such that

$$\text{max}\left\{∥g\left(x\right)-D\left(x\right)∥,∥f\left(x\right)-d\left(x\right)∥\right\}\le \frac{L^{\frac{1-\ell }{2}}}{\left|4\right|}\psi \left(x\right)$$

(2.3)

for all $x\in \mathcal{A}$, where

$$\begin{array}{l}\psi \left(x\right):\text{max}\left\{\phi \left(\frac{x}{a},\frac{x}{b},0,0,0,0,0,0\right)\right.,\phi \left(\frac{x}{a},0,0,0,0,0,0,0\right),\frac{1}{\left|2b^2\right|}\phi \left(x,x,0,0,0,0,0,0\right),\\ \left.\frac{1}{\left|2b^2\right|}\phi \left(x,-x,0,0,0,0,0,0\right),\phi \left(0,\frac{x}{b},0,0,0,0,0,0\right)\right\}\end{array}$$

for all $x\in \mathcal{A}$.

Proof. By (2.2), one can show that

$$\underset{n\to \infty }{\text{lim}}\frac{1}{{\left|4\right|}^{\ell \left(\ell +2\right)n}}\phi \left(2^{\ell n}x,2^{\ell n}y,2^{\ell n}u,2^{\ell n}v,2^{\ell n}w,2^{\ell n}r,2^{\ell n}s,2^{\ell n}t\right)=0$$

(2.4)

for all $x,y,u,v,w,r,s,t\in \mathcal{A}$. Putting h = g in (2.1) and letting u = v = w = r = s = t = 0 in (2.1), we get

$$∥g\left(ax+by\right)+g\left(ax-by\right)-2a^{2}g\left(x\right)-2b^{2}g\left(y\right)∥\le \phi \left(x,y,0,0,0,0,0,0\right)$$

(2.5)

for all $x,y\in \mathcal{A}$. Putting y = 0 in (2.5), we get

$$∥2g\left(ax\right)-2a^{2}g\left(x\right)∥\le \phi \left(x,0,0,0,0,0,0,0\right)$$

(2.6)

for all $x\in \mathcal{A}$. Setting y = -y in (2.5), we get

$$∥g\left(ax-by\right)+g\left(ax+by\right)-2a^{2}g\left(x\right)-2b^{2}g\left(-y\right)∥\le \phi \left(x,-y,0,0,0,0,0,0\right)$$

(2.7)

for all $x,y\in \mathcal{A}$. It follows from (2.5) and (2.7) that

$$∥2b^{2}g\left(y\right)-2b^{2}h\left(-y\right)∥\le \text{max}\left\{\phi \left(x,y,0,0,0,0,0,0\right),\phi \left(x,-y,0,0,0,0,0,0\right)\right\}$$

(2.8)

for all $x,y\in \mathcal{A}$. Putting y = by in (2.8), we get

$$∥g\left(by\right)-g\left(-by\right)∥\le \text{max}\left\{\frac{1}{\left|2b^2\right|}\phi \left(x,by,0,0,0,0,0,0\right),\frac{1}{\left|2b^2\right|}\phi \left(x,-by,0,0,0,0,0,0\right)\right\}$$

(2.9)

for all $x,y\in \mathcal{A}$. Setting x = 0 in (2.5), we get

$$∥g\left(by\right)+g\left(-by\right)-2b^{2}g\left(y\right)∥\le \phi \left(0,y,0,0,0,0,0,0\right)$$

(2.10)

for all $y\in \mathcal{A}$. It follows from (2.9) and (2.10) that

$$\begin{array}{c}∥2g\left(by\right)-2b^{2}g\left(y\right)∥\\ \le \text{max}\left\{\frac{1}{\left|2b^2\right|}\phi \left(x,by,0,0\right),\frac{1}{\left|2b^2\right|}\phi \left(x,-by,0,0,0,0,0,0\right),\phi \left(0,y,0,0,0,0,0,0\right)\right\}\end{array}$$

(2.11)

for all $x,y\in \mathcal{A}$. Replacing x and y by $\frac{x}{a}$ and $\frac{x}{b}$ in (2.5), respectively, we get

$$∥g\left(2x\right)-2a^{2}g\left(\frac{x}{a}\right)-2b^{2}g\left(\frac{x}{b}\right)∥\le \phi \left(\frac{x}{a},\frac{x}{b},0,0,0,0,0,0\right)$$

(2.12)

for all $x\in \mathcal{A}$. Setting $x=\frac{x}{a}$ in (2.6), we get

$$∥2a^{2}g\left(\frac{x}{a}\right)-2g\left(x\right)∥\le \phi \left(\frac{x}{a},0,0,0,0,0,0,0\right)$$

(2.13)

for all $x\in \mathcal{A}$. Putting $y=\frac{x}{b}$ in (2.11), we get

$$\begin{array}{c}∥2b^{2}g\left(\frac{x}{b}\right)-2g\left(x\right)∥\\ \le \text{max}\left\{\frac{1}{\left|2b^2\right|}\phi \left(x,x,0,0,0,0,0,0\right),\frac{1}{\left|2b^2\right|}\phi \left(x,-x,0,0,0,0,0,0\right),\phi \left(0,\frac{x}{b},0,0,0,0,0,0\right)\right\}\end{array}$$

(2.14)

for all $x\in \mathcal{A}$. It follows from (2.12), (2.13) and (2.14) that

$$∥g\left(2x\right)-4g\left(x\right)∥\le \psi \left(x\right)$$

for all $x\in \mathcal{A}$. Let $\Omega :=\left\{g^{\prime }|g^{\prime }:\mathcal{A}\to \mathcal{A},g^{\prime }\left(0\right)=0\right\}$. For every g', h' ∈ Ω, define

$$\rho \left(g^{\prime },h^{\prime }\right):=\text{inf}\left\{C\in \left(0,\infty \right):∥g^{\prime }\left(x\right)-h^{\prime }\left(x\right)∥\le C\psi \left(x\right),\forall x\in \mathcal{A}\right\}.$$

It is easy to show that ρ is a complete generalized non-Archimedean metric on Ω (see [30, 31, 34]). We define J : Ω → Ω by $J\left(g^{\prime }\right)\left(x\right)=\frac{1}{4^{\ell }}{g}^{\prime }\left(2^{\ell }x\right)$ for all $x\in \mathcal{A}$ and all g' ∈ Ω. One can show that

$$\rho \left(J{g}^{\prime },J{h}^{\prime }\right)\le L\rho \left(g^{\prime },h^{\prime }\right).$$

Hence J is a strictly contractive mapping on Ω with Lipschitz constant L. It follows from Theorem 2.1 that J has a unique fixed point $D:\mathcal{A}\to \mathcal{A}$ in the set Λ = {g' ∈ Ω : ρ(g, g') < ∞}, where d is defined by

$$D\left(x\right)=\underset{n\to \infty }{\text{lim}}{J}^{n}g\left(x\right)=\underset{n\to \infty }{\text{lim}}\frac{1}{4^{\ell n}}g\left(2^{\ell n}x\right)$$

(2.15)

for all $x\in \mathcal{A}$. It follows from (2.4) and (2.15) that

$$\begin{array}{l}∥D\left(ax+by\right)+D\left(ax-by\right)-2a^{2}D\left(x\right)-2b^{2}D\left(y\right)∥\\ =\underset{n\to \infty }{\text{lim}}\frac{1}{{\left|4\right|}^{\ell n}}∥g\left(2^{\ell n}ax+2^{\ell n}by\right)+g\left(2^{\ell n}ax-2^{\ell n}by\right)-2a^{2}g\left(2^{\ell n}x\right)-2b^{2}g\left(2^{\ell n}y\right)∥\\ \le \underset{n\to \infty }{\text{lim}}\frac{1}{{\left|4\right|}^{\ell n}}\phi \left(2^{\ell n}x,2^{\ell n}y,0,0,0,0,0,0\right)\\ \le \underset{n\to \infty }{\text{lim}}\frac{1}{{\left|4\right|}^{\ell n\left(\ell +2\right)}}\phi \left(2^{\ell n}x,2^{\ell n}y,0,0,0,0,0,0\right)=0\end{array}$$

for all $x,y\in \mathcal{A}$. This shows that D is quadratic.

If $D^{\prime }:\mathcal{A}\to \mathcal{A}$ is another quadratic mapping which satisfies (2.3), then D' is a fixed point of J in Λ. The uniqueness of the fixed point of J in Λ implies that D = D'. Putting h = f, u = v = w = r = s = t = 0 in (2.4), we get

$$∥f\left(ax+by\right)+f\left(ax-by\right)-2a^{2}f\left(x\right)-2b^{2}f\left(y\right)∥\le \phi \left(x,y,0,0,0,0,0,0\right)$$

for all $x,y\in \mathcal{A}$. By the same reasoning as above, we can show that the limit

$$d\left(x\right)=:\underset{n\to \infty }{\text{lim}}\frac{1}{4^{\ell n}}f\left(2^{\ell n}x\right)$$

exists for all $x\in \mathcal{A}$. Moreover, we can show that d is a unique quadratic mapping on $\mathcal{ A}$ satisfying (2.3).

On the other hand, we have

$$\begin{array}{l}\Vert d\left(\left[uvw\right]\right)-\left[d(u)vw\right]-\left[ud(v)w\right]-\left[uvd(w)\right]\Vert \\ =\underset{n\to \infty }{\lim }\frac{1}{{\left|4\right|}^{2\ell n}}\Vert f\left(4^{\ell n}\left[uvw\right]\right)-\left[f\left(2^{\ell n}u\right)vw\right]-\left[uf\left(2^{\ell n}v\right)w\right]-\left[uvf\left(2^{\ell n}w\right)\right]\Vert \\ \le \underset{n\to \infty }{\lim }\frac{1}{{\left|4\right|}^{2\ell n}}\phi \left(0,0,2^{\ell n}u,2^{\ell n}v,2^{\ell n}w,0,0,0\right)\\ \le \underset{n\to \infty }{\lim }\frac{1}{{\left|4\right|}^{\ell (\ell +2)n}}\phi \left(0,0,2^{\ell n}u,2^{\ell n}v,2^{\ell n}w,0,0,0\right)=0\end{array}$$

for all $u,v,w\in \mathcal{A}$. Therefore, d is a quadratic ternary derivation on $\mathcal{ A}$. Also, we have

$$\begin{array}{l}∥D\left(\left[rst\right]\right)-\left[D\left(r\right)st\right]-\left[rd\left(s\right)t\right]-\left[rsd\left(t\right)\right]∥\\ =\underset{n\to \infty }{\text{lim}}\frac{1}{{\left|4\right|}^{2\ell n}}∥g\left(4^{\ell n}\left[rst\right]\right)-\left[g\left(2^{\ell n}r\right)st\right]-\left[rf\left(2^{\ell n}s\right)t\right]-\left[rsf\left(2^{\ell n}t\right)\right]∥\\ \le \underset{n\to \infty }{\text{lim}}\frac{1}{{\left|4\right|}^{2\ell n}}\phi \left(0,0,0,0,0,2^{\ell n}r,2^{\ell n}s,2^{\ell n}t\right)\\ \le \underset{n\to \infty }{\text{lim}}\frac{1}{{\left|4\right|}^{\ell \left(\ell +2\right)n}}\phi \left(0,0,0,0,0,2^{\ell n}r,2^{\ell n}s,2^{\ell n}t\right)=0\end{array}$$

for all $r,s,t\in \mathcal{A}$. It follows that D is a generalized quadratic ternary derivation (related to d) on $\mathcal{ A}$.This completes the proof.

From now on, we use the following abbreviation for any mappings $g,f:\mathcal{A}\to \mathcal{A}$:

$$\begin{array}{ll}\hfill \Delta \left(g,f\right)\left(x_{1,}\cdots ,x_8\right)& :=∥f\left(a{x}_1+b{x}_2\right)+f\left(a{x}_1-b{x}_2\right)-2a^{2}h\left(x_1\right)-2b^{2}f\left(x_2\right)∥\\ +∥g\left(a{x}_1+b{x}_2\right)+g\left(a{x}_1-b{x}_2\right)-2a^{2}g\left(x_1\right)-2b^{2}g\left(x_2\right)∥\\ +∥f\left(\left[x_3{x}_4{x}_5\right]\right)-\left[f\left(x_3{x}_4^2{x}_5^2\right)\right]-\left[x_3^{2}f\left(x_4\right)x_5^2\right]-\left[x_3^2{x}_4^{2}f\left(x_5\right)\right]∥\\ +∥g\left(\left[x_6{x}_7{x}_8\right]\right)-\left[g\left(x_6\right)x_7^2{x}_8^2\right]-\left[x_6^{2}f\left(x_7\right)x_8^2\right]-\left[x_6^2{x}_7^{2}f\left(x_8\right)\right]∥.\end{array}$$

Remark. Let $\mathbb{K}={\mathbb{Q}}_2$ be the 2-adic number field. Let $\mathcal{ A}$ be a non-Archimedean Banach algebra on $\mathbb{ K}$. Let ε be a nonnegative real number and let s be a real number such that s > 6 if ℓ = 1 and 0 < s < 2 if ℓ = -1. Suppose that the mappings $g,f:\mathcal{A}\to \mathcal{A}$ satisfy g(0) = f(0) = 0 and

$$\Delta \left(g,f\right)\left(x_1,\cdots ,x_8\right)\le \epsilon \text{max}\left\{{∥x_i∥}^s:1\le i\le 8\right\}$$

for all $x_1,x_2,\cdots ,x_8\in \mathcal{A}$. Then there exist a unique quadratic ternary derivation $d:\mathcal{A}\to \mathcal{A}$ and a unique generalized quadratic ternary derivation $D:\mathcal{A}\to \mathcal{A}$ (respected to d) such that

max{||g(x) - D(x)||, ||f(x) - d(x)||}

$$\le {\left|2\right|}^{\frac{\ell \left(4-s\right)+s}{2}}\epsilon {∥x∥}^s\left\{\begin{array}{cc}2,\hfill & \text{gcd}\left(a,2\right)=\text{gcd}\left(b,2\right)=1;\hfill \\ \text{max}\left\{2^{is},2\right\},\hfill & a=k{2}^i,\text{gcd}\left(b,2\right)=1;\hfill \\ \text{max}\left\{2^{js},2^{2j+1}\right\},\hfill & \text{gcd}\left(a,2\right)=1,b=m{2}^j\vee a=k{2}^i,b=m{2}^j\left(j\ge i\right);\hfill \\ \text{max}\left\{2^{is},2^{2j+1}\right\},\hfill & a=k{2}^i,b=m{2}^j\left(i\ge j\right);\hfill \end{array}\right.$$

for all $x\in \mathcal{A}$, where i,j,k,m ≥ 1 are integers and gcd(k, 2) = gcd(m, 2) = 1.

Now, we have the following result on superstability of generalized quadratic ternary derivations on non-Archimedean ternary Banach algebras:

Corollary 2.3. Let p > 0 be a nonnegative real number such that ${\left|2\right|}^{\left(2\ell +4\right)p}\ge 1$ and let j ∈ {3, 4, ..., 8} be fixed. Suppose that the mappings $g,f:\mathcal{A}\to \mathcal{A}$ satisfy g(0) = f(0) = 0 and

$$\Delta \left(g,f\right)\left(x_1,...,x_8\right)\le \left(\sum _{i=1}^8{∥x_i∥}^p\right){∥x_j∥}^p$$

for all $x_1,\cdots ,x_8\in \mathcal{A}$, where a, b are positive fixed integers. Then f is a quadratic ternary derivation and g is a generalized quadratic ternary derivation related to f.

Proof. It follows from Theorem 2.2 by taking

$$\phi \left(x_1,x_2,\cdots ,x_8\right)=\left(\sum _{i=1}^8{∥x_i∥}^p\right){∥x_j∥}^p$$

for all $x_1,\cdots ,x_8\in \mathcal{A}$ and putting $L={\left|2\right|}^{-\left(2\ell +4\right)p}$.