Extension of Homomorphisms-Isomorphisms and Derivatives on Quasi-Banach Algebra Based on the General Additive Cauchy-Jensen Equation

Ly Van An

Faculty of Mathematics Teacher Education, Tay Ninh University, Tay Ninh, Vietnam.

DOI: 10.4236/oalib.1110095                

Abstract

In this paper, I establish homomorphisms, isomorphisms, and derivatives of quasi-algebras based on the general additive equation Cauchy-Jensen with 3k variables. First, I establish the homomorphisms for Equation (1.1); second, I establish the isomorphisms for Equation (1.2); and finally, I develop the derivative for Equation (1.3). These are the main results of this paper.

Keywords

Generalized Additive Equation Cauchy-Jensen Additive, Homomorphisms, Isomorphism and Derivatives on Quasi-Banach Algebra, Quasi-Normed Algebras, p-Banach Algebras

1. Introduction

Let $X$ and $Y$ are two linear spaces on the same field $\mathbb{K}$ , and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a linear mapping. I use the notation ${\Vert \cdot \Vert }_X$ ( ${\Vert \cdot \Vert }_Y$ ) for corresponding the norms on $X$ and $Y$ . In this paper, I investigate the stability of generalized homomorphisms-isomorphism and derivatives when $X$ is a quasi-normed algebras with quasi-norm ${\Vert \cdot \Vert }_X$ and that $Y$ is a p-Banach algebras with p-norm ${\Vert \cdot \Vert }_Y$ .

In fact, when $X$ is a quasi-normed algebras with quasi-norm ${\Vert \cdot \Vert }_X$ and that $Y$ is a p-Banach algebras with p-norm ${\Vert \cdot \Vert }_Y$ , I solve and prove the Hyers-Ulam-Rassias type stability of generalized Homomorphisms-isomorphism and derivatives on quasi-Banach algebra, associated to the following generalized Cauchy-Jensen additive functional equations

$k\varphi \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+k\varphi \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(x_i\right)+2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(z_i\right)$ (1)

$k\varphi \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-k\varphi \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(y_i\right)$ (2)

$2k\varphi \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(x_i\right)+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(y_i\right)+2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(z_i\right)$ (3)

The study the stability of generalized homomorphisms-isomorphism and derivatives in quasi-Banach algebras originated from a question of S. M. Ulam [1] , concerning the stability of group homomorphisms.

Let $\left(G\mathrm{,}\ast \right)$ be a group and let $\left(G^{\prime }\mathrm{,}\circ \mathrm{,}d\right)$ be a metric group with metric $d\left(\cdot \mathrm{,}\cdot \right)$ . Given $\epsilon >0$ , does there exist a $\delta >0$ such that if $f\mathrm{<mo>\; :\; </mo>}G\to G^{\prime }$ satisfies inequality

$d\left(f\left(x\ast y\right)\mathrm{,}f\left(x\right)\circ f\left(y\right)\right)<\delta \mathrm{,}\forall x\in G\mathrm{,}$

then there is a homomorphism $h\mathrm{<mo>\; :\; </mo>}G\to G^{\prime }$ with

$d\left(f\left(x\right)\mathrm{,}h\left(x\right)\right)<\epsilon \mathrm{,}\forall x\in G$

If the answer is affirmative, I would say that the equation of homomorphism

$H\left(x\ast y\right)=H\left(x\right)\circ H\left(y\right)\mathrm{,}\forall x\in G$

is stable. The concept of stability for a functional equation arises when I replace the functional equation by an inequality which acts as a perturbation of the equation. Thus the stability question of functional equations is that how do the solutions of the inequality differ from those of the given functional equation? In 1941, Hyers [2] gave a first affirmative answer to the question of Ulam for Banach spaces.

Let X and Y be Banach space. Assume that $f\mathrm{<mo>\; :\; </mo>}X\to Y$ satisfies

$f\left(x+y\right)-f\left(x\right)-f\left(y\right)\le \epsilon$ (4)

for all $x\mathrm{,}y\in X$ and some $\epsilon >0$ . Then there exists a unique additive mapping $T\mathrm{<mo>\; :\; </mo>}X\to Y$ such that

$\Vert f\left(x\right)-T\left(x\right)\Vert \le \epsilon$ (5)

Next 1978 Th. M. Rassias [3] provided a generalization of Hyers’ Theorem which allows the Cauchy difference to be unbounded.

J. M. Rassias [4] [5] [6] built no continuity conditions are required for this result, but if f(tx) is continuous in the real variable t for each fixed $x\in E$ , then L is linear, and if f is continuous at a single point of E then $L\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ is also continuous. J. M. Rassias assumed the following weaker inequality

$\Vert f\left(x+y\right)-f\left(x\right)-f\left(y\right)\Vert =\theta \cdot {\Vert x\Vert }^p\cdot {\Vert y\Vert }^q$ (6)

$\forall x\mathrm{,}y\in E$ ; involving a product of different powers of norms, where $\theta >0$ and real $p\mathrm{,}q$ such that $r=p+q\ne 1$ , and retained the condition of continuity $f\left(tx\right)$ in t for fixed x. Analogous results could be investigated with additive type equations involving a product of powers of norms.

Next 1994 Găvruta [7] Generalized the Rassias’ result. There are also many mathematicians who have built many results for this topic as [1] - [24] .

Recently, the authors studied the Hyers-Ulam-Rassias type stability for the following functional equations (see [8] [9] [10] [11] [12] )

$f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)=f\left(x\right)+2f\left(z\right)$ (7)

$f\left(\frac{x+y}{2}+z\right)-f\left(\frac{x-y}{2}+z\right)=f\left(y\right)$ (8)

$2f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)=f\left(x\right)+f\left(y\right)+2f\left(z\right)$ (9)

Next

$f\left({\displaystyle \underset{j=1}{\overset{k}{\sum }}}{x}_j+\frac{1}{k}{\displaystyle \underset{j=1}{\overset{k}{\sum }}}{x}_{k+j}\right)={\displaystyle \underset{j=1}{\overset{k}{\sum }}}f\left(x_j\right)+{\displaystyle \underset{j=1}{\overset{k}{\sum }}}f\left(\frac{x_{k+j}}{k}\right)$ (10)

and

$2kf\left(\frac{1}{2k}{\displaystyle \underset{j=1}{\overset{k}{\sum }}}{x}_j+\frac{1}{2k^2}{\displaystyle \underset{j=1}{\overset{k}{\sum }}}{x}_{k+j}\right)={\displaystyle \underset{j=1}{\overset{k}{\sum }}}f\left(x_j\right)+{\displaystyle \underset{j=1}{\overset{k}{\sum }}}f\left(\frac{x_{k+j}}{k}\right)$ (11)

Final

$mf\left(\frac{{\displaystyle {\sum }_{j=1}^k{x}_j}+{\displaystyle {\sum }_{j=1}^k{x}_{k+j}}}{m}\right)={\displaystyle \underset{j=1}{\overset{k}{\sum }}}f\left(x_j\right)+{\displaystyle \underset{j=1}{\overset{k}{\sum }}}f\left(x_{k+j}\right)$ (12)

In this paper, I have built a general problem about homomorphisms-isomorphism and derivatives on quasi-Banach algebra based on the general additive Cauchy-Jensen equation. To write these problems, I follow the ideas of mathematicians around the world see [1] - [24] . In order to provide researchers in Mathematics when building problems, there is no restriction on variables for the problem. This is what I consider an open dream problem or a bright horizon for the field of functional equations in quasi-Banach algebras.

In this paper, I solve and proved the Hyers-Ulam-Rassias type stability for functional Equations (1.1), (1.2) and (1.3), i.e., the functional equations with 3k variables. Under suitable assumptions on spaces $X$ and $Y$ , I will prove that the mappings satisfying the functional Equation (1.1), (1.2) and (1.3).

Thus, the results in this paper are generalization of those in [8] [9] [10] [11] [12] [24] for functional equations with 3k variables. The paper is organized as follows:

In section preliminarier I remind some basic notations in such as Quasi-normed space―Quasi-Banach algebras. Some theorems $ℝ$ -linear mapping and Solutions of the equations see ( [3] [4] [5] [6] ).

Section 3: Constructing homomorphisms on quasi-Banach algebras for (1.1).

Section 4: Constructing isomorphisms on quasi-Banach algebras for (1.2).

Section 5: Constructing derivatives on quasi-Banach algebras for (1.3).

2. Preliminaries

2.1. Quasi-Normed Space―Quasi-Banach Algebras

Let $X$ be a real linear space. A quasi-norm is a real-valued function on $X$ satisfying the following:

1) $\Vert x\Vert \ge 0$ for all $x\in X$ and $\Vert x\Vert =0$ if and only if $x=0$ .

2) $\Vert \lambda x\Vert =\left|\lambda \right|\Vert x\Vert$ for all $\lambda \in R$ and all $x\in X$ .

3) There is a constant $K\ge 1$ such that

$\Vert x+y\Vert \le K\left(\Vert x\Vert +\Vert y\Vert \right)\mathrm{,}\forall x\mathrm{,}y\in X\mathrm{.}$

The pair $\left(X\mathrm{,}\Vert \cdot \Vert \right)$ is called a quasi-normed space if $\Vert \cdot \Vert$ is a quasi-norm on $X$ .

The smallest possible K is called the modulus of concavity of $\Vert \cdot \Vert$ .

A quasi-Banach space is a complete quasi-normed space.

A quasi-norm $\Vert \cdot \Vert$ is called a p-norm ( $0<p\le 1$ ) if

${\Vert x+y\Vert }^p\le {\Vert x\Vert }^p+{\Vert y\Vert }^p\forall x\mathrm{,}y\in X\mathrm{.}$

In this case, a quasi-Banach space is called a p-Banach space.

Note: Given a p-norm, the formula $d\left(x\mathrm{,}y\right)\mathrm{<mo>\; :\; </mo>}={\Vert x-y\Vert }^p$ gives us a translation invariant metric on X. By the Aoki-Rolewicz Theorem [13] (see also [14] ), each quasi-norm is equivalent to some p-norm. Since it is much easier to work with p-norms, henceforth I restrict my attention mainly to p-norms.

Let $\left(X\mathrm{,}\Vert \cdot \Vert \right)$ be a quasi-normed space. The quasi-normed space $\left(X\mathrm{,}\Vert \cdot \Vert \right)$ is called a quasi-normed algebras if $X$ is an algebras and there is a constant $K>0$ such that

$\Vert x\cdot y\Vert \le K\Vert x\Vert \Vert y\Vert$

A quasi-Banach algebras is a complete quasi-normed algebras.

If the quasi-norm $\Vert \cdot \Vert$ is a p-norm, quasi-Banach is called p-Banach algebras.

2.2. Some Theorems $ℝ$ -Linear Mapping

Theorem 1. Th. M. Rassias: Let $f\mathrm{<mo>\; :\; </mo>}{E}_1\to E_2$ be a mapping from a normed vector space $E_1$ into a Banach space $E_2$ subject to the inequality

$\Vert f\left(x+y\right)-f\left(x\right)-f\left(y\right)\Vert \le \epsilon \left({\Vert x\Vert }^p+{\Vert y\Vert }^p\right)\mathrm{,}$ (13)

for all $x\mathrm{,}y\in E_1$ , where $\epsilon$ and p are constants with $p<1$ and $\epsilon \ge 0$ . then the limit

$T\left(x\right)=\underset{n\to \infty }{lim}\frac{f\left(2^{n}x\right)}{2^n}$ (14)

exists for all $x\in E_1$ and that $T\mathrm{<mo>\; :\; </mo>}{E}_1\to E_2$ is the unique additive mapping satisfying

$\Vert f\left(x\right)-T\left(x\right)\Vert \le \frac{2\theta }{2-2^p}{\Vert x\Vert }^p\mathrm{,}\forall x\in E_1\mathrm{.}$ (15)

If $p<0$ then (2.1) holds for $x\mathrm{,}y\ne 0$ and (2.2) for $x\ne 0$ . Also, if for each $x\in E_1$ the function If f(tx) is continuous in $t\in ℝ$ , then T is linear.

Theorem 2. Let $E$ be real normed linear space and $E^{\prime }$ a real complete normed linear space. Assume that $f\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ is an approximately additive mapping for which there exists constants $\theta \ge 0$ and $p\in ℝ-\left\{1\right\}$ such that $f\left(x\right)$ satisfy inequality

$\Vert f\left(x+y\right)-f\left(x\right)-f\left(y\right)\Vert \le \theta {\Vert x\Vert }^{\frac{p}{2}}{\Vert y\Vert }^{\frac{p}{2}}\mathrm{,}\forall x\mathrm{,}y\in \mathbb{E}\mathrm{.}$ (16)

then there exists a unique additive mapping linear $T\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ satisfies

$\Vert f\left(x\right)-L\left(x\right)\Vert \le \frac{\theta }{2^p-2}{\Vert x\Vert }^p\mathrm{,}x\in E\mathrm{.}$ (17)

If, in addition $f\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ is a transformation $t\to f\left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in E$ , then T is an $R$ -linear mapping.

Theorem 3. Let $E$ be real normed linear space and $E^{\prime }$ a real complete normed linear space. Assume that $f\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ is an approximately additive mapping for which there exists constants $\theta \ge 0$ such that $f\left(x\right)$ satisfy inequality

$\Vert f\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{n}{\sum }}}{x}_i\right)-{\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{n}{\sum }}}f\left(x_i\right)\Vert \le \theta K\left(x_1\mathrm{,}{x}_2\mathrm{,}\cdots \mathrm{,}{x}_n\right)\mathrm{.}$ (18)

$\left(x_1\mathrm{,}{x}_2\mathrm{,}\cdots \mathrm{,}{x}_n\right)\in E$ and $K\mathrm{<mo>\; :\; </mo>}{E}^n\to R^{+}-\left\{0\right\}$ is a non-negative real-valued function such that

$R_n\left(x\right)={\displaystyle \underset{i=1}{\overset{n}{\sum }}}\frac{1}{n^j}K\left(n^j{x}_1,n^j{x}_2,\cdots ,n^j{x}_n\right)<\infty$ (19)

is a non-negative function of x, and the condition

$\underset{m\to \infty }{\lim }\frac{1}{n^m}K\left(n^m{x}_1\mathrm{,}{n}^m{x}_2\mathrm{,}\cdots \mathrm{,}{n}^m{x}_n\right)=0$ (20)

holds then there exists a unique additive mapping $T_n\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ satisfies

$\Vert f\left(x\right)-T_n\left(x\right)\Vert \le \frac{\theta }{n}{R}_n\left(x\right)\mathrm{,}x\in \mathbb{E}\mathrm{.}$ (21)

If, in addition $f\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ is a transformation $t\to f\left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in E$ , then $T$ is an $ℝ$ -linear mapping.

Theorem 4. Let $E$ be real normed linear space and $E^{\prime }$ a real complete normed linear space. Assume that $f\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ is an approximately additive mapping for which there exists constants $\theta \ge 0$ and $p\mathrm{,}q\in ℝ$ such that $p+q\ne 1$ and f satisfy inequality

$\Vert f\left(x+y\right)-f\left(x\right)-f\left(y\right)\Vert \le \theta {\Vert x\Vert }^p{\Vert y\Vert }^q\mathrm{,}\forall x\mathrm{,}y\in \mathbb{E}\mathrm{.}$ (22)

then there exists a unique additive mapping linear $T\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ satisfies

$\Vert f\left(x\right)-L\left(x\right)\Vert \le \frac{\theta }{2^p-2}{\Vert x\Vert }^p\mathrm{,}x\in \mathbb{E}\mathrm{.}$ (23)

If, in addition $f\mathrm{<mo>\; :\; </mo>}E\to E^{\prime }$ is a transformation $t\to f\left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in E$ , then T is an $ℝ$ -linear mapping.

2.3. Solutions of the Equation

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

is called the Cauchy equation. In particular, every solution of the Cauchy equation is said to be an additive mapping.

The functional equation

$f\left(\frac{x+y}{2}\right)=\frac{1}{2}f\left(x\right)+\frac{1}{2}f\left(y\right)$ (25)

is called the Jensen equation. In particular, every solution of the Jensen equation is said to be a Jensen additive mapping.

The functional equation

$2f\left(\frac{x+y}{2}+z\right)=f\left(x\right)+f\left(y\right)+2f\left(z\right)$ (26)

is called the Cauchy-Jensen equation. In particular, every solution of the Cauchy-Jensen equation is said to be a Jensen-Cauchy additive mapping.

3. Constructing Homomorphisms in Quasi-Banach Algebras

Now I construct a homomorphism for (1.1) Note that: (1.2) and (1.3) are also built exactly the same.

Here I assume that, $\mathbb{A}$ is a quasi-normed with norm ${\Vert \cdot \Vert }_{\mathbb{A}}$ and that $\mathbb{B}$ is a p-Banach algebra with norm ${\Vert \cdot \Vert }_{\mathbb{B}}$ . Let $K$ be the modulus of concavity of ${\Vert \cdot \Vert }_{\mathbb{B}}$ . Under this setting, I can show that the mappings satisfying (1.1) is homomorphisms.

Theorem 5. Let $r>q$ with $q\ge 2$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(z_i\right)\Vert }_Y\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (27)

${\Vert f\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{n}{\prod }}}{x}_i{y}_i\right)-{\displaystyle \underset{i=1}{\overset{n}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{n}{\prod }}}f\left(y_i\right)\Vert }_Y\le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r\right)$ (28)

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ , then there exists a unique homomorphism $H\mathrm{<mo>\; :\; </mo>}X\to Y$ such that

${\Vert f\left(x\right)-H\left(x\right)\Vert }_Y\le \frac{\left(2+\frac{1}{k}\right)\theta }{{\left(2^{pr}-2\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^r\mathrm{,}\forall x\in X\mathrm{.}$ (29)

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (27), I have

${\Vert kf\left(2x\right)-2kf\left(x\right)\Vert }_Y\le \left(2k+1\right)\theta {\Vert x\Vert }_X^r$ (30)

for all $x\in X$ . So

${\Vert f\left(x\right)-2f\left(\frac{x}{2}\right)\Vert }_Y\le \left(2+\frac{1}{k}\right)\frac{\theta }{2^r}{\Vert x\Vert }_X^r$ (31)

for all $x\in X$ . From $Y$ is p-Banach algebra so I have

$\begin{array}{c}{\Vert 2^{l}f\left(\frac{x}{2^l}\right)-2^{m}f\left(\frac{x}{2^m}\right)\Vert }_Y^p\le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert 2^{j}f\left(\frac{x}{2^j}\right)-2^{j+1}f\left(\frac{x}{2^{j+1}}\right)\Vert }_Y^p\\ \le {\left(2+\frac{1}{k}\right)}^p\frac{{\theta }^p}{2^{pr}}{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{pj}}{2^{prj}}{\Vert x\Vert }_X^{pr}\end{array}$ (32)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (32) that the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $Y$ is complete, the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ converges. So one can define the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ by

$H\left(x\right)=\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{x}{2^n}\right)\mathrm{,}$ (33)

for all $x\in X$ . By (28) and (27),

$\begin{array}{l}{\Vert kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(z_i\right)\Vert }_Y\\ =\underset{n\to \infty }{lim}{2}^n\Vert kf\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\sum }}}\frac{x_i+y_i}{2^{n+1}k}+{\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)+kf\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\sum }}}\frac{x_i-y_i}{2^{n+1}k}+{\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)\\ -{\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\sum }}}f\left(\frac{x_i}{2^n}\right)-{2k{\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\sum }}}f\left(\frac{z_i}{2^n}\right)\Vert }_Y\\ \le \underset{n\to \infty }{lim}\frac{2^n\theta }{2^{nr}}\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)=0\end{array}$ (34)

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ .

So

$kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(x_i\right)+2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(z_i\right)$ (35)

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . By lemma 5 (see 24]), the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ is Cauchy additive. (see the theorem of [3] )

Then mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ is $ℝ$ -linear. It follows from (28) that

$\begin{array}{l}{\Vert f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)\Vert }_Y\\ =\underset{n\to \infty }{lim}{2}^{2nk}{\Vert f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^n}\cdot \frac{y_i}{2^n}\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(\frac{x_i}{2^n}\right)\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(\frac{y_i}{2^n}\right)\Vert }_Y\\ \le \underset{n\to \infty }{lim}\frac{2^{2nk}\theta }{2^{nr}}\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r\right)=0\end{array}$ (36)

$\forall x\mathrm{,}y\in X$ .

So

$H\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\cdot y_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}H\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}H\left(y_i\right)$ (37)

$\forall x\mathrm{,}y\in X$ .

Now I prove the uniqueness of H. Assume that $H_1\mathrm{<mo>\; :\; </mo>}X\to Y$ is a Cauchy-Jensen additive mapping satisfying (29). Then I have

$\begin{array}{l}{\Vert H\left(x\right)-H_1\left(x\right)\Vert }_Y=2^n{\Vert H\left(\frac{1}{2^n}x\right)+H_1\left(\frac{1}{2^n}x\right)\Vert }_Y\\ \le 2^{n}K\left({\Vert H\left(\frac{1}{2^n}x\right)-f\left(\frac{1}{2^n}x\right)\Vert }_Y+{\Vert f\left(\frac{1}{2^n}x\right)+H_1\left(\frac{1}{2^n}x\right)\Vert }_Y\right)\\ \le 2\frac{\left(2+\frac{1}{k}\right)K\theta }{{\left(2^{pr}-2^p\right)}^{\frac{1}{p}}}\cdot \frac{2^n}{2^{nr}}{\Vert x\Vert }_X^r\end{array}$ (38)

which tends to zero as $n\to \infty$ for all $x\in X$ . So I can conclude that $H\left(x\right)=H_1\left(x\right)$ for all $x\in X$ . This proves the uniqueness of H. Thus the mapping $H_1\mathrm{<mo>\; :\; </mo>}X\to Y$ is a unique homomorphism satisfying (29). □

Theorem 6. Let $r<q$ with $q\le 1$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(z_i\right)\Vert }_Y\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (39)

${\Vert f\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\prod }}}{x}_i{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)\Vert }_Y\le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r\right)$ (40)

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ , then there exists a unique homomorphism $H\mathrm{<mo>\; :\; </mo>}X\to Y$ such that

${\Vert f\left(x\right)-H\left(x\right)\Vert }_Y\le \frac{\left(1+\frac{1}{2k}\right)\theta }{{\left(2-2^{pr}\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^r\mathrm{,}\forall x\in X\mathrm{.}$ (41)

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (39), I have

${\Vert kf\left(2x\right)-2kf\left(x\right)\Vert }_Y\le \left(2k+1\right)\theta {\Vert x\Vert }_X^r$ (42)

for all $x\in X$ . So

${\Vert f\left(x\right)-\frac{1}{2}f\left(2x\right)\Vert }_Y\le \left(1+\frac{1}{2k}\right)\theta {\Vert x\Vert }_X^r$ (43)

for all $x\in X$ . Since $Y$ is a p-Banach algebra,

$\begin{array}{c}{\Vert \frac{1}{2^l}f\left(2^{l}x\right)-\frac{1}{2^m}f\left(2^{m}x\right)\Vert }_Y^p\le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert \frac{1}{2^j}f\left(2^{j}x\right)-\frac{1}{2^{j+1}}f\left(2^{j+1}x\right)\Vert }_Y^p\\ \le {\left(1+\frac{1}{2k}\right)}^p{\theta }^p{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{prj}}{2^{pj}}{\Vert x\Vert }_X^{pr}\end{array}$ (44)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (44) that the sequence $\left\{\frac{1}{2^n}f\left(2^{n}x\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $Y$ is complete, the sequence $\left\{\frac{1}{2^n}f\left(2^{n}x\right)\right\}$ converges. So one can define the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ by

$H\left(x\right)=\underset{n\to \infty }{lim}\frac{1}{2^n}f\left(2^{n}x\right)$

for all $x\in X$ .

Moreover, letting $l=0$ and passing the limit $m\to \infty$ in (44) I get (41). The rest of the proof is similar to the proof of Theorem 5. □

Theorem 7. Let $r>k$ , with $k\ge 1$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(z_i\right)\Vert }_Y\\ \le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (45)

${\Vert f\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\prod }}}{x}_i{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)\Vert }_Y\le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r$ (46)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ , then there exists a unique homomorphism $H\mathrm{<mo>\; :\; </mo>}X\to Y$ such that

${\Vert f\left(x\right)-H\left(x\right)\Vert }_Y\le \frac{\theta }{k{\left(2^{3pkr}-2^p\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^{3kr}\mathrm{,}\forall x\in X\mathrm{.}$ (47)

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (45), I have

${\Vert kf\left(2x\right)-2kf\left(x\right)\Vert }_Y\le \theta {\Vert x\Vert }_X^{3kr}$ (48)

for all $x\in X$ . So

${\Vert f\left(x\right)-2f\left(\frac{x}{2}\right)\Vert }_Y\le \frac{1}{k}\frac{\theta }{2^{3kr}}{\Vert x\Vert }_X^{3kr}$ (49)

for all $x\in X$ . Since $Y$ is a p-Banach algebras,

$\begin{array}{l}{\Vert 2^{l}f\left(\frac{x}{2^l}\right)-2^{m}f\left(\frac{x}{2^m}\right)\Vert }_Y^p\\ \le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert 2^{j}f\left(\frac{x}{2^j}\right)-2^{j+1}f\left(\frac{x}{2^{j+1}}\right)\Vert }_Y^p\le \frac{1}{k^p}\frac{{\theta }^p}{2^{3pkr}}{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{pj}}{2^{3pkrj}}{\Vert x\Vert }_X^{3pkr}\end{array}$ (50)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (50) that the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $Y$ is complete, the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ converges. So one can define the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ by

$H\left(x\right)=\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{x}{2^n}\right)\mathrm{,}$ (51)

for all $x\in X$ . By (46) and (45),

$\begin{array}{l}{\Vert kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(z_i\right)\Vert }_Y\\ =\underset{n\to \infty }{lim}{2}^n\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2^{n+1}k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)+kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2^{n+1}k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)\\ -{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{x_i}{2^n}\right)-{2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{z_i}{2^n}\right)\Vert }_Y\\ \le \underset{n\to \infty }{lim}\frac{2^n\theta }{2^{3nkr}}{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)=0\end{array}$ (52)

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ .

So

$kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(x_i\right)+2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(z_i\right)$ (53)

for all $x_1\mathrm{,}{x}_2\mathrm{,}\cdots \mathrm{,}{x}_{3k}\in X$ . By lemma 5 (see [24] ), the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ is Cauchy additive. By proving as proof of the theorem of [3] the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ is $ℝ$ -linear. $\forall x\mathrm{,}y\in X$ .

It follows from (46) that

$\begin{array}{l}{\Vert f\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\prod }}}{x}_i{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)\Vert }_Y\\ =\underset{n\to \infty }{lim}{2}^{2nk}{\Vert f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^n}\cdot \frac{y_i}{2^n}\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(\frac{x_i}{2^n}\right)\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(\frac{y_i}{2^n}\right)\Vert }_Y\\ \le \underset{n\to \infty }{lim}\frac{2^{2nk}\theta }{2^{2nr}}{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r=0\end{array}$ (54)

$\forall x\mathrm{,}y\in X$ .

So

$H\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\cdot y_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}H\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}H\left(y_i\right)$ (55)

$\forall x\mathrm{,}y\in X$ .

The rest of the proof is similar to the proof of Theorem 5 □

Theorem 8. Let $r<\frac{1}{q}$ , with $q\ge 3$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(z_i\right)\Vert }_Y\\ \le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (56)

${\Vert f\left({\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{k}{\prod }}}{x}_i{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)\Vert }_Y\le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r$ (57)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ , then there exists a unique homomorphism $H\mathrm{<mo>\; :\; </mo>}X\to Y$ such that

${\Vert f\left(x\right)-H\left(x\right)\Vert }_Y\le \frac{\theta }{k{\left(2^p-2^{3pkr}\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^{3kr}\mathrm{,}\forall x\in X\mathrm{.}$ (58)

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (56), I have

${\Vert kf\left(2x\right)-2kf\left(x\right)\Vert }_Y\le \theta {\Vert x\Vert }_X^{3kr}$ (59)

for all $x\in X$ . So

${\Vert f\left(x\right)-\frac{1}{2}f\left(2x\right)\Vert }_Y\le \frac{1}{2k}\theta {\Vert x\Vert }_X^{3kr}$

for all $x\in X$ . Since $Y$ is a p-Banach algebras,

$\begin{array}{l}{\Vert \frac{1}{2^l}f\left(2^{l}x\right)-\frac{1}{2^m}f\left(2^{m}x\right)\Vert }_Y^p\\ \le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert \frac{1}{2^j}f\left(2^{j}x\right)-\frac{1}{2^{j+1}}f\left(2^{j+1}x\right)\Vert }_Y^p\le \frac{\theta }{{\left(2k\right)}^p}{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{3pkrj}}{2^{pj}}{\Vert x\Vert }_X^{3pkr}\end{array}$ (60)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (60) that the sequence $\left\{\frac{1}{2^n}f\left(2^{n}x\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $Y$ is complete, the sequence $\left\{\frac{1}{2^n}f\left(2^{n}x\right)\right\}$ converges. So one can define the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ by

$H\left(x\right)=\underset{n\to \infty }{lim}\frac{1}{2^n}f\left(2^{n}x\right)$

for all $x\in X$ . Moreover, letting $l=0$ and passing the ${\lim }_{m\to \infty }$ in (60) I have (56),

It follows from (57) that

$\begin{array}{l}{\Vert f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)\Vert }_Y\\ =\underset{n\to \infty }{lim}\frac{1}{2^{2nk}}{\Vert f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{2}^n{x}_i\cdot 2^n{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(2^n{x}_i\right)\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(2^n{y}_i\right)\Vert }_Y\\ \le \underset{n\to \infty }{lim}\frac{\theta }{2^{2nkr}}{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r=0\end{array}$

$\forall x\mathrm{,}y\in X$ . So

$H\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\cdot y_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}H\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}H(\; y\; i\; )$

$\forall x\mathrm{,}y\in X$ .

The rest of the proof is similar to the proof of Theorem 5. □

4. Constructing Isomorphisms Based on Quasi-Banach Algebras

Now I construct isomorphisms for (1.2). Note that: (1.1) and (1.3) are also built exactly the same.

Here I assume that $\mathbb{A}$ is a quasi-Banach with norm ${\Vert \cdot \Vert }_{\mathbb{A}}$ and unit e and that $\mathbb{B}$ is a p-Banach algebra with norm ${\Vert \cdot \Vert }_{\mathbb{B}}$ and unit $e^{\prime }$ . Let $K$ be the modulus of concavity of ${\Vert \cdot \Vert }_{\mathbb{B}}$ . Under this setting, I can show that the mappings satisfying (1.2) is isomorphisms.

Theorem 9. Let $r>q$ with $q\ge 1$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)\Vert }_Y\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (61)

$f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)$ (62)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ and

$\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{e}{2^n}\right)=e^{\prime }$ (63)

then the mapping $f\mathrm{<mo>\; :\; </mo>}X\to Y$ is an isomorphism.

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (61), I have

${\Vert kf\left(2x\right)-2kf\left(x\right)\Vert }_Y\le \left(2k+1\right)\theta {\Vert x\Vert }_X^r$ (64)

for all $x\in X$ . So

${\Vert f\left(x\right)-2f\left(\frac{x}{2}\right)\Vert }_Y\le \left(2+\frac{1}{k}\right)\frac{\theta }{2^r}{\Vert x\Vert }_X^r$ (65)

for all $x\in X$ . Since $Y$ is a p-Banach algebra,

$\begin{array}{l}{\Vert 2^{l}f\left(\frac{x}{2^l}\right)-2^{m}f\left(\frac{x}{2^m}\right)\Vert }_Y^p\\ \le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert 2^{j}f\left(\frac{x}{2^j}\right)-2^{j+1}f\left(\frac{x}{2^{j+1}}\right)\Vert }_Y^p\le {\left(2+\frac{1}{k}\right)}^p\frac{{\theta }^p}{2^{pr}}{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{pj}}{2^{prj}}{\Vert x\Vert }_X^{pr}\end{array}$ (66)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (66) that the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $Y$ is complete, the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ converges. So one can define the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ by

$H\left(x\right)=\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{x}{2^n}\right)\mathrm{,}$ (67)

for all $x\in X$ . Moreover, letting $l=0$ and passing the limit $m\to \infty$ in (66), I get

${\Vert f\left(x\right)-H\left(x\right)\Vert }_Y\le \frac{\left(2+\frac{1}{k}\right)\theta }{{\left(2^{pr}-2^p\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^r\mathrm{,}\forall x\in X\mathrm{.}$ (68)

It follows from (62) that

$\begin{array}{l}{\Vert kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(x_i\right)\Vert }_Y\\ =\underset{n\to \infty }{lim}{2}^n{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2^{n+1}k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)+kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2^{n+1}k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{x_i}{2^n}\right)\Vert }_Y\\ \le \underset{n\to \infty }{lim}\frac{2^n\theta }{2^{nr}}\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)=0\end{array}$ (69)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ .

So

$kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+x_{k+i}}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{x}_{2k+i}\right)-kH\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-x_{k+i}}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{x}_{2k+i}\right)={\displaystyle \underset{i=1}{\overset{k}{\sum }}}H\left(x_i\right)$ (70)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . By lemma 5 (see [24] ), the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ is Cauchy additive. See the theorem of [3] .

The mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ is $ℝ$ -linear. Since

$f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)$ (71)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ .

$\begin{array}{c}H\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)=\underset{n\to \infty }{\lim }{2}^{2nk}f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^n}\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{y_i}{2^n}\right)\\ =\underset{n\to \infty }{\lim }{2}^{nk}f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^n}\right)\cdot 2^{nk}f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{y_i}{2^n}\right)\\ =H\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\right)\cdot H\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right)\end{array}$ (72)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . So the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ is homomorphism.

It follows from (62) that

$\begin{array}{c}H\left(x\right)=H\left(ex\right)=\underset{n\to \infty }{\lim }{2}^{n}f\left(\frac{ex}{2^n}\right)=\underset{n\to \infty }{\lim }{2}^{n}f\left(\frac{e}{2^n}\cdot x\right)\\ =\underset{n\to \infty }{\lim }{2}^{n}f\left(\frac{e}{2^n}\right)\cdot f\left(x\right)=e^{\prime }\cdot f\left(x\right)=f\left(x\right)\mathrm{,}\forall x\in X\end{array}$ (73)

$\forall x\in X$ . So the mapping $f\mathrm{<mo>\; :\; </mo>}X\to Y$ is an isomorphism. □

Theorem 10. Let $r<q$ with $q\le 1$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)\Vert }_Y\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (74)

$f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)$ (75)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ and

$\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{e}{2^n}\right)=e^{\prime }$ (76)

then the mapping $f\mathrm{<mo>\; :\; </mo>}X\to Y$ is an isomorphism.

The rest of the proof is similar to the proof of Theorem 9.

Theorem 11. Let $r>\frac{1}{q}$ with $q\ge 3$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)\Vert }_Y\\ \le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (77)

$f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)$ (78)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ and

$\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{e}{2^n}\right)=e^{\prime }$ (79)

then the mapping $f\mathrm{<mo>\; :\; </mo>}X\to Y$ is an isomorphism.

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (77), I have

${\Vert kf\left(2x\right)-2kf\left(x\right)\Vert }_Y\le \theta {\Vert x\Vert }_X^{3kr}$ (80)

for all $x\in X$ . So

${\Vert f\left(x\right)-2f\left(\frac{x}{2}\right)\Vert }_Y\le \frac{1}{k}\frac{\theta }{2^{3rk}}{\Vert x\Vert }_X^{3kr}$ (81)

for all $x\in X$ . Hence

$\begin{array}{l}{\Vert 2^{l}f\left(\frac{x}{2^l}\right)-2^{m}f\left(\frac{x}{2^m}\right)\Vert }_Y^p\\ \le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert 2^{j}f\left(\frac{x}{2^j}\right)-2^{j+1}f\left(\frac{x}{2^{j+1}}\right)\Vert }_Y^p\le \frac{1}{k^p}\frac{{\theta }^p}{2^{3krp}}{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{pj}}{2^{pkrj}}{\Vert x\Vert }_X^{3pkr}\end{array}$ (82)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (82) that the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $Y$ is complete, the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ converges. So one can define the mapping $H\mathrm{<mo>\; :\; </mo>}X\to Y$ by

$H\left(x\right)=\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{x}{2^n}\right)\mathrm{,}$ (83)

for all $x\in X$ .

Moreover, letting $l=0$ and passing the limit $m\to \infty$ in (82), I get

${\Vert f\left(x\right)-H\left(x\right)\Vert }_Y\le \frac{\theta }{k{\left(2^{3pkr}-2^p\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^{3kr}\mathrm{,}\forall x\in X\mathrm{.}$ (84)

The rest of the proof is similar to the proof of Theorems 7 and 9. □

Theorem 12. Let $r>\frac{1}{q}$ with $q\ge 3$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to Y$ be a mapping such that

$\begin{array}{l}{\Vert kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)\Vert }_Y\\ \le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (85)

$f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}f\left(y_i\right)$ (86)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ and

$\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{e}{2^n}\right)=e^{\prime }$ (87)

then the mapping $f\mathrm{<mo>\; :\; </mo>}X\to Y$ is an isomorphism.

The rest of the proof is similar to the proof of Theorems 8 and 9.

5. Constructing Derivatives on Quasi-Banach Algebras

Now I construct derivatives for (1.3). Note that: (1.1) and (1.2) are also built exactly the same.

Here I assume that, $\mathbb{A}$ is a p-Banach algebras with norm ${\Vert \cdot \Vert }_{\mathbb{A}}$ Let $K$ be the modulus of concavity of ${\Vert \cdot \Vert }_{\mathbb{A}}$ . Under this setting, I can show that the mappings satisfying (1.3) is generalized derivation.

A generalized derivations $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ is linear and fulfills the generalized Leibniz rue

$\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)=\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)$ (88)

for all $x_1\mathrm{,}{x}_2\mathrm{,}\cdots \mathrm{,}{x}_{3k}\in X$ .

Theorem 13. Let $r>q$ with $q\ge 3$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to X$ be a mapping such that

$\begin{array}{l}{\Vert 2kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(y_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(z_i\right)\Vert }_Y\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (89)

$\begin{array}{l}{\Vert \beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)-\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)\Vert }_X\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (90)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ , then there exists a unique generalized derivation $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ such that

${\Vert f\left(x\right)-\beta \left(x\right)\Vert }_X\le \frac{\left(1+\frac{1}{2k}\right)\theta }{{\left(2^{pr}-2^p\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^r\mathrm{,}\forall x\in X\mathrm{.}$ (91)

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (89), I have

${\Vert 2kf\left(2x\right)-4kf\left(x\right)\Vert }_X\le \left(2k+1\right)\theta {\Vert x\Vert }_X^r$ (92)

for all $x\in X$ . So

${\Vert f\left(x\right)-2f\left(\frac{x}{2}\right)\Vert }_X\le \left(1+\frac{1}{2k}\right)\cdot \frac{\theta }{2^r}{\Vert x\Vert }_X^r$

for all $x\in X$ . Since $X$ is a p-Banach algebra,

$\begin{array}{l}{\Vert 2^{l}f\left(\frac{x}{2^l}\right)-2^{m}f\left(\frac{x}{2^m}\right)\Vert }_Y^p\\ \le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert 2^{j}f\left(\frac{x}{2^j}\right)-2^{j+1}f\left(\frac{x}{2^{j+1}}\right)\Vert }_Y^p\le {\left(1+\frac{1}{2k}\right)}^p\cdot \frac{{\theta }^p}{2^{pr}}{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{pj}}{2^{prj}}{\Vert x\Vert }_X^{pr}\end{array}$ (93)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (93) that the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $X$ is complete, the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ converges. So one can define the mapping $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ by

$\beta \left(x\right)=\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{x}{2^n}\right)$

for all $x\in X$ . Moreover, letting $l=0$ and passing the limit $m\to \infty$ in (93), I get (91). It follows from (89) that

$\begin{array}{l}{\Vert 2k\beta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(x_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(y_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(z_i\right)\Vert }_X\\ =\underset{n\to \infty }{lim}{2}^n{\Vert 2kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2^{n+1}k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{x_i}{2^n}\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{y_i}{2^n}\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{z_i}{2^n}\right)\Vert }_X\\ \le \underset{n\to \infty }{lim}\frac{2^n}{2^{nr}}\theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)=0\end{array}$

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ .

So

$2k\beta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(x_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(y_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(z_i\right)=0$

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . By lemma 5 (see [24] ), the mapping $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ is Cauchy additive. By the theorem of [3] the mapping $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ is $ℝ$ -linear.

It follows from (90) that

$\begin{array}{l}{\Vert \beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)-\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)\Vert }_X\\ =\underset{n\to \infty }{lim}{2}^{3nk}\Vert f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i{y}_i{z}_i}{2^{3nk}}\right)-f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i{y}_i}{2^{2nk}}\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{z_i}{2^{nk}}\\ +{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^{nk}}f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{y_i}{2^{nk}}\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{z_i}{2^{nk}}-{{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^{nk}}f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_{k+i}{z}_i}{2^{2nk}}\right)\Vert }_X\\ \le \underset{n\to \infty }{lim}\theta \frac{2^{3nk}}{2^{nkr}}\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)=0\end{array}$ (94)

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . So

$\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)=\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)$ (95)

for all $x_i\mathrm{,}{y}_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ .

Now I prove the uniqueness of $\beta$ . Assume that ${\beta }_1\mathrm{<mo>\; :\; </mo>}X\to X$ is a Cauchy-Jensen additive mapping satisfying (91). Then I have

$\begin{array}{l}{\Vert \beta \left(x\right)-{\beta }_1\left(x\right)\Vert }_X=2^n{\Vert \beta \left(\frac{1}{2^n}x\right)+{\beta }_1\left(\frac{1}{2^n}x\right)\Vert }_X\\ \le 2^{n}K\left({\Vert \beta \left(\frac{1}{2^n}x\right)-f\left(\frac{1}{2^n}x\right)\Vert }_X+{\Vert f\left(\frac{1}{2^n}x\right)+{\beta }_1\left(\frac{1}{2^n}x\right)\Vert }_X\right)\\ \le 2\frac{\left(1+\frac{1}{2k}\right)K\theta }{{\left(2^{pr}-2^p\right)}^{\frac{1}{p}}}\cdot \frac{2^n}{2^{nr}}{\Vert x\Vert }_X^r\end{array}$

which tends to zero as $n\to \infty$ for all $x\in X$ . So I can conclude that $\beta \left(x\right)={\beta }_1\left(x\right)$ for all $x\in X$ . This proves the uniqueness of $\beta$ . Thus the mapping ${\beta }_1\mathrm{<mo>\; :\; </mo>}X\to X$ is a unique generalized derivation satisfying (91). □

Theorem 14. Let $r<q$ with $q\le 1$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to X$ be a mapping such that

$\begin{array}{l}{\Vert 2kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(y_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(z_i\right)\Vert }_Y\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (96)

$\begin{array}{l}{\Vert \beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)-\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)\Vert }_X\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (97)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ , then there exists a unique generalized derivation $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ such that

${\Vert f\left(x\right)-\beta \left(x\right)\Vert }_X\le \frac{\left(1+\frac{1}{2k}\right)\theta }{{\left(2^p-2^{pr}\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^r\mathrm{,}\forall x\in X\mathrm{.}$ (98)

The rest of the proof is similar to the proof of Theorem 13.

Theorem 15. Let $r>q$ with $q>1$ and $\theta$ be positive real numbers, and $f\mathrm{<mo>\; :\; </mo>}X\to X$ be a mapping such that

$\begin{array}{l}{\Vert 2kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(x_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(y_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(z_i\right)\Vert }_Y\\ \le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (99)

$\begin{array}{l}{\Vert \beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)-\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)\Vert }_X\\ \le \theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)\end{array}$ (100)

for all $x_i,y_i\mathrm{,}{z}_i\in X$ , for all $i=1\to k$ . If $f\left(tx\right)$ is continuous in $t\in ℝ$ each fixed $x\in X$ , then there exists a unique generalized derivation $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ such that

${\Vert f\left(x\right)-\beta \left(x\right)\Vert }_X\le \frac{\left(2+\frac{1}{k^{kr}}\right)\theta }{{\left(2^{3pr}-2^p\right)}^{\frac{1}{p}}}{\Vert x\Vert }_X^{kr}\mathrm{,}\forall x\in X\mathrm{.}$ (101)

Proof. I replace $\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (99), I have

${\Vert 2kf\left(2x\right)-4kf\left(x\right)\Vert }_X\le \theta {\Vert x\Vert }_X^{3kr}$ (102)

for all $x\in X$ . So

${\Vert f\left(x\right)-2f\left(\frac{x}{2}\right)\Vert }_X\le \frac{1}{2k}\cdot \frac{\theta }{2^{3kr}}{\Vert x\Vert }_X^{3kr}$

for all $x\in X$ . Since $X$ is a p-Banach algebra,

$\begin{array}{l}{\Vert 2^{l}f\left(\frac{x}{2^l}\right)-2^{m}f\left(\frac{x}{2^m}\right)\Vert }_Y^p\\ \le {\displaystyle \underset{j=l}{\overset{m-1}{\sum }}}{\Vert 2^{j}f\left(\frac{x}{2^j}\right)-2^{j+1}f\left(\frac{x}{2^{j+1}}\right)\Vert }_Y^p\le \frac{1}{{\left(2k\right)}^p}\cdot \frac{{\theta }^p}{2^{3pkr}}{\displaystyle \underset{j=l+1}{\overset{m-1}{\sum }}}\frac{2^{pj}}{2^{3kprj}}{\Vert x\Vert }_X^{3pkr}\end{array}$ (103)

for all nonnegative integers m and l with $m>l$ and for all $x\in X$ . It follows (103) that the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ is a Cauchy sequence for all $x\in X$ . Since $X$ is complete, the sequence $\left\{2^{n}f\left(\frac{x}{2^n}\right)\right\}$ converges. So one can define the mapping $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ by

$\beta \left(x\right)=\underset{n\to \infty }{lim}{2}^{n}f\left(\frac{x}{2^n}\right)$

for all $x\in X$ . Moreover, letting $l=0$ and passing the limit $m\to \infty$ in (103), I get (101). It follows from (99) that

$\begin{array}{l}{\Vert 2k\beta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(x_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(y_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(z_i\right)\Vert }_X\\ =\underset{n\to \infty }{lim}{2}^n{\Vert 2kf\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2^{n+1}k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{x_i}{2^n}\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{y_i}{2^n}\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(\frac{z_i}{2^n}\right)\Vert }_X\\ \le \underset{n\to \infty }{lim}\theta \cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_X^r\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_X^r\cdot {\Vert z_1\Vert }_X^{rk}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_X^r\right)=0\end{array}$ (104)

for all $x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\in X$ .

So

$2k\beta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(x_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(y_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\beta \left(z_i\right)=0$ (105)

for all $x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\in X$ . By lemma 5 (see [24] ), the mapping $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ is Cauchy additive. By the theorem of [3] the mapping $\beta \mathrm{<mo>\; :\; </mo>}X\to X$ is $ℝ$ -linear.

It follows from (100) that

$\begin{array}{l}{\Vert \beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)-\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)\Vert }_X\\ =\underset{n\to \infty }{\lim }{2}^{3nk}\Vert f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i{x}_{k+i}{x}_{2k+i}}{2^{3nk}}\right)-f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i{x}_{k+i}}{2^{2nk}}\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{z_i}{2^{nk}}\\ +{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^{nk}}f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{y_i}{2^{nk}}\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{z_i}{2^{nk}}-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_i}{2^{nk}}f\left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}\frac{x_{k+i}{x}_{2k+i}}{2^{2nk}}\right)\Vert {\parallel }_X\\ \le \underset{n\to \infty }{lim}3k\theta \frac{2^{3nk}}{2^{nkr}}\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_X^r+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_X^r\right)=0\end{array}$ (106)

for all $x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\in X$ . So

$\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i{z}_i\right)=\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}{z}_i+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i\beta \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i{z}_i\right)$ (107)

for all $x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\mathrm{,}{z}_1\mathrm{,}\cdots \mathrm{,}{z}_k\in X$ .

Now I prove the uniqueness of $\beta$ . Assume that ${\beta }_1\mathrm{<mo>\; :\; </mo>}X\to X$ is a Cauchy-Jensen additive mapping satisfying (101). Then I have

$\begin{array}{l}{\Vert \beta \left(x\right)-{\beta }_1\left(x\right)\Vert }_X=2^n{\Vert \beta \left(\frac{1}{2^n}x\right)+{\beta }_1\left(\frac{1}{2^n}x\right)\Vert }_X\\ \le 2^{n}K\left({\Vert \beta \left(\frac{1}{2^n}x\right)-f\left(\frac{1}{2^n}x\right)\Vert }_X+{\Vert f\left(\frac{1}{2^n}x\right)+{\beta }_1\left(\frac{1}{2^n}x\right)\Vert }_X\right)\\ \le 2\frac{\left(2k+\frac{1}{k^{r-1}}\right)K\theta }{{\left(2^{pr}-2^p\right)}^{\frac{1}{p}}}\cdot \frac{2^n}{2^{nr}}{\Vert x\Vert }_X^r\end{array}$ (108)

which tends to zero as $n\to \infty$ for all $x\in X$ . So I can conclude that $\beta \left(x\right)={\beta }_1\left(x\right)$ for all $x\in X$ . This proves the uniqueness of $\beta$ . Thus the mapping ${\beta }_1\mathrm{<mo>\; :\; </mo>}X\to X$ is a unique generalized derivation satisfying (101). □

6. Conclusion

In this paper, I construct extensions of homomorphisms, isomorphisms, and derivatives based on Banach algebra. The fundamental contribution here is the development of a general Cauchy-Jensen equation, which serves as the cornerstone for establishing mathematical links across various research areas in mathematics, without any restrictions on generality.

Conflicts of Interest

The author declares no conflicts of interest.

References

[1]	Ulam, S.M. (1960) A Collection of the Mathematical Problems. Interscience, New York.
[2]	Hyers, D.H. (1941) On the Stability of the Linear Functional Equation. Proceedings of the National Academy of Sciences of the United States of America, 27, 222-224. https://doi.org/10.1073/pnas.27.4.222
[3]	Rassias, T.M. (1978) On the Stability of the Linear Mapping in Banach Spaces. Proceedings of the American Mathematical Society, 72, 297-300. https://doi.org/10.1090/S0002-9939-1978-0507327-1
[4]	Rassias, J.M. (1982) On Approximation of Approximately Linear Mappings by Linear Mappings. Journal of Functional Analysis, 46, 126-130. https://doi.org/10.1016/0022-1236(82)90048-9
[5]	Rassias, J.M. (1984) On Approximation of Approximately Linear Mappings by Linear Mappings. Bulletin des Sciences Mathématiques, 108, 445-446.
[6]	Rassias, J.M. (1989) Solution of a Problem of Ulam. Journal of Approximation Theory, 57, 268-273. https://doi.org/10.1016/0021-9045(89)90041-5
[7]	Găvruta, P. (1994) A Generalization of the Hyers-Ulam-Rassias Stability of Approximately Additive Mappings. Journal of Mathematical Analysis and Applications, 184, 431-436. https://doi.org/10.1006/jmaa.1994.1211
[8]	An, L.V. (2021) Generalized Hyers-Ulam-Rassias Type Stability of the Isometric Additive Mapping in Quasi-Banach Spaces. International Journal of Mathematics Trends and Technology (IJMTT), 67, 31-45. https://doi.org/10.14445/22315373/IJMTT-V67I9P505
[9]	An, L.V. (2021) Generalized Hyers-Ulam-Rassias Type Stability of the Homomrphisms in Quasi-Banach Spaces. Bulletin of Mathematics and Statistics Research, 9, 29-43. http://bomsr.com/9.3.21/29-43%20LY%20VAN%20AN.pdf
[10]	Baak, C. (2006) Cauchy-Rassias Stability of Cauchy-Jensen Additive Mappings in Banach Spaces. Acta Mathematica Sinica, 22, 1789-1796. https://doi.org/10.1007/s10114-005-0697-z
[11]	An, L.V. (2022) Generalized Approximation Hyers-Ulam-Rassias Type Stability of Generalized Homomorphisms in Quasi-Banach Algebras. Asia Mathematika, 6, 7-19. https://www.asiamath.org/
[12]	An, L.V. (2020) Generalized Hyers-Ulam Type Stability of the Additive Functional Equation Inequalities with 2n-Variables on an Approximate Group and Ring Homomorphism. Asia Mathematika, 4, 161-175. http://www.asiamath.org/
[13]	Rolewicz, S. (1984) Metric Linear Spaces. Polish Scientific Publishers, Dordrecht.
[14]	Benyamini, Y. and Lindenstrauss, J. (2000) Geometric Nonlinear Functional Analysis: Volume 1. In: Colloquium Publications, Vol. 48, American Mathematical Society Colloquium Publications, Providence. https://doi.org/10.1090/coll/048
[15]	Aoki, T. (1950) On the Stability of the Linear Transformation in Banach Space. Journal of the Mathematical Society of Japan, 2, 64-66. https://doi.org/10.2969/jmsj/00210064
[16]	Bahyrycz, A. and Piszczek, M. (2014) Hyperstability of the Jensen Functional Equation. Acta Mathematica Hungarica, 142, 353-365. https://doi.org/10.1007/s10474-013-0347-3
[17]	Boo, D.-H., Oh, S.-Q., Park, C.-G. and Park, J.-M. (2003) Generalized Jensen’s Equations in Banach Modules over a C*-Algebra and Its Unitary Group. Taiwanese Journal of Mathematics, 7, 641-655. https://doi.org/10.11650/twjm/1500407583
[18]	Elhoucien, E. and Youssef, M. (2012) On the Paper by A. Najati and S.-M. Jung: The Hyers-Ulam Stability of Approximately Quadratic Mapping on Restricted Domains. Journal of Nonlinear Analysis and Application, 2012, Article ID: Jnaa-00127. https://doi.org/10.5899/2012/jnaa-00127
[19]	Park, C.-G. (2002) On the Stability of the Linear Mapping in Banach Modules. Journal of Mathematical Analysis and Applications, 275, 711-720. https://doi.org/10.1016/S0022-247X(02)00386-4
[20]	Park, C.-G. (2004) Lie *-Homomorphisms between Lie C*-Algebras and Lie *-Derivations on Lie C*-Algebras. Journal of Mathematical Analysis and Applications, 293, 419-434. https://doi.org/10.1016/j.jmaa.2003.10.051
[21]	Park, C.-G. (2005) Homomorphisms between Poisson JC*-Algebras. Bulletin of the Brazilian Mathematical Society, 36, 79-97. https://doi.org/10.1007/s00574-005-0029-z
[22]	Park, C.-G. (2006) Completion of Quasi-Normed Algebras and Quasi-Normed Modules. Journal of the Chungcheong Mathematical Society, 19, 9-18.
[23]	Park, C.-G. (2006) Hyers-Ulam-Rassias Stability of a Generalized Euler-Lagrange Type Additive Mapping and Isomorphisms between C*-Algebras. Bulletin of the Belgian Mathematical Society-Simon Stevin, 13, 619-631. https://doi.org/10.36045/bbms/1168957339
[24]	An, L.V. (2023) Construc the General Jensen-Cauchy Equations in Banach Space and Using Fixed Point Method to Establish Homomorphisms in Banach Algebras. Open Access Library Journal, 10, e9931. https://doi.org/10.4236/oalib.1109931