Constructing the General Jensen-Cauchy Equations in Banach Space and Using Fixed Point Method to Establish Homomorphisms in Banach Algebras

Ly Van An

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

DOI: 10.4236/oalib.1109931                

Abstract

In this paper, we study to solve general Cauchy-Jensen additive mappings with 3k-variables. First, we investigated the Cauchy-Jensen stability of the functional Equations (1.1), (1.2) and (1.3) in Banach-spaces and then I apply the fixed point method to establish homomorphisms on the Banach algebras.

Keywords

Cauchy Additive Mapping, Jensen Additive Mapping, Cauchy-Jensen-Hyers-Ulam-Rassisa Stabilty, Fixed Point Method to Establish Homomorphisms in Banach Algebras

1. Introduction

Let $\mathbb{A}$ and $\mathbb{B}$ be a vector spaces on the same field $\mathbb{K}$ , and $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ . We use the notation $\Vert \cdot \Vert$ for all the norm on both $\mathbb{A}$ and $\mathbb{B}$ . In this paper, we investisgate additive functional equations when $\mathbb{A}$ is a normed vector space and $\mathbb{B}$ is a Banach spaces.

In fact, when $\mathbb{A}$ is a normed vector space and $\mathbb{B}$ is a Banach spaces we solve and prove the general Cauchy-Jensen stability of forllowing 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)

In 1940 Ulam in [1] raised the following question: under what conditions does there exist an additive mapping near an approximately additive mapping?

The Hyers [2] gave firts affirmative partial answer to the equation of Ulam in Banach spaces.

D. H. Hyers: Let $\mathbb{E}\mathrm{,}{\mathbb{E}}^{\prime }$ to be two Banach spaces if $\epsilon >0$ and $f\mathrm{<mo>\; :\; </mo>}\mathbb{E}\to {\mathbb{E}}^{\prime }$ be a mapping such that

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

for all $x\mathrm{,}y\in X$ , then there exists a unique near an additive mapping $T\mathrm{<mo>\; :\; </mo>}X\to$ $Y$

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

for all $x\in X$

Next Th. M. Rassias: Consider $\mathbb{E}\mathrm{,}{\mathbb{E}}^{\prime }$ to be two Banach spaces, and let $f\mathrm{<mo>\; :\; </mo>}\mathbb{E}\to {\mathbb{E}}^{\prime }$ be a mapping such that $f\left(tx\right)$ is continous in t for each fixed x. Assume that there exist $\theta >0$ and $p\in \left[\mathrm{0,1}\right]$ such that

$\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{,}\forall x\mathrm{,}y\in \mathbb{E}\mathrm{.}$

then there exists a unique $ℝ$ -linear $L\mathrm{<mo>\; :\; </mo>}\mathbb{E}\to {\mathbb{E}}^{\prime }$ satifies

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

Next in 1980 the topic of approximate homomsphisms and the stability of the equation of homomsphism, was studied by many mathematicians in the world. Găvruta [3] generalized the Hyers-Ulam-Rassias’ result in the following form:

Let $\left(\mathbb{G}\mathrm{,}\ast \right)$ be a group Abelian and $\mathbb{E}$ a Banach space.

Denote by $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{G}\times \mathbb{G}\to \left[\mathrm{0,}\infty \right)$ a function such that

$\tilde{\varphi }\left(x,y\right)={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{k}^{-n}\varphi \left(k^{n}x,k^{n}y\right)<\infty$

for all $x\mathrm{,}y\in \mathbb{G}$ . Suppose that $f\mathrm{<mo>\; :\; </mo>}\mathbb{G}\to \mathbb{E}$ is a mapping satisfying

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

for all $x\mathrm{,}y\in \mathbb{G}$ . Then there exists a unique additive mapping $T\mathrm{<mo>\; :\; </mo>}\mathbb{G}\to E$ such that

$\Vert f\left(x\right)-T\left(x\right)\Vert \le \frac{1}{k}\tilde{\varphi }\left(x\mathrm{,}x\right)$

and next

Jun-Lee: [4] Let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{E}\backslash \left\{0\right\}\times \mathbb{E}\backslash \left\{0\right\}\to \left[\mathrm{0,}\infty \right)$ a function such that

$\tilde{\varphi }\left(x,y\right)={\displaystyle \underset{n=0}{\overset{\infty }{\sum }}}{k}^{-n}\varphi \left(k^{n}x,k^{n}y\right)<\infty$

for all $x\mathrm{,}y\in \mathbb{E}\backslash \left\{0\right\}$ Suppose that $T\mathrm{<mo>\; :\; </mo>}f\mathrm{<mo>\; :\; </mo>}\mathbb{E}\to {\mathbb{E}}^{\prime }$ is a mapping satisfying

$\Vert f\left(\frac{x+y}{2}\right)-f\left(x\right)-f\left(y\right)\Vert \le \varphi \left(x\mathrm{,}y\right)$

for all $x\in \mathbb{E}\backslash \left\{0\right\}$ . Then there exists a unique additive mapping $T\mathrm{<mo>\; :\; </mo>}f\mathrm{<mo>\; :\; </mo>}\mathbb{E}\to {\mathbb{E}}^{\prime }$ such that

$\Vert f\left(x\right)-f\left(0\right)-T\left(x\right)\Vert \le \frac{1}{3}\tilde{\varphi }\left(x\mathrm{,}-x\right)+\varphi \left(-x\mathrm{,3}x\right)$

for all $x\mathrm{,}y\in \mathbb{E}\backslash \left\{0\right\}$ .

The stability problems for several functional equations have been extensively investigated by a number of authors and and there are many interesting results concerning this probem. Recently, the authors studied the classic Cauchy-Jensen stability for the following functional equations

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

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

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

in Banach spaces. In this paper, we solve and proved the Hyers-Ulam stability for functional equations of the general form the following Equations (1.1), (1.2) and (1.3), i.e. the functional equations with 3k -variables . Under suitable assumptions on spaces $\mathbb{A}$ and $\mathbb{B}$ , we will prove that the mappings satisfy the functional Equations (1.1), (1.2) and (1.3). Thus, the results in this paper are generalization of those in [4] [5] [6] [7] for functional equations with 3k-variables.

In the process of researching the solution for the cauchy-Jensen problem with a limited number of variables to overcome the above, so I came up with the cauchy-Jensen equation with a higher number of variables based on the works of world mathematicians. [1] - [4] [8]. Here, allow me to express my gratitude to mathematicians.

The construction of the general Cauchy-Jensen equation has great applications to help mathematicians when studying the solutions of Cauchy-Jensen equations on spaces where the number of variables is not limited and their existence solutions are also general solution. To create this work, I based on the ideas of Mathematicians in the world [1] - [31]. I would like to thank the Mathematicians. The paper is organized as follows:

In section preliminaries we remind some basic notations as Banach spaces, $ℝ$ -linear mapping, Fixed point theory, Generalized metric theory and Solutions to Cauchy-Jensen Equations see [5] [6] [8] - [11].

Section 3: Constructing Lemma for Establishing Solutions to Cauchy-Jensen Equations.

Constructing Lemma for Establishing Solutions to Cauchy-Jensen Equations. Note Here We assume that $\mathbb{A}$ , $\mathbb{B}$ is a vector spaces.

Section 4: Establishing Solutions for general Cauchy-Jensen Equations.

Now, we first study the solutions of (1.1), (1.2) and (1.3). Note that for this equations, $\mathbb{A}$ is a vector space with norm ${\Vert \cdot \Vert }_{\mathbb{A}}$ and that $\mathbb{B}$ is a Banach space with norm ${\Vert \cdot \Vert }_{\mathbb{B}}$ . Under this setting, we can show that the mappings satisfying (1.1), (1.2) and (1.3) is additive.

Section 5: Stability of homomorphisms in real Banach Algebras.

In this section, we use the fixed point method, to establish homomorphism on real Banach Algebra for Equation (1.1). Note that for this equations, $\mathbb{A}$ is a real Banach algebra with norm ${\Vert \cdot \Vert }_{\mathbb{A}}$ and that $\mathbb{B}$ is a real Banach with norm ${\Vert \cdot \Vert }_{\mathbb{B}}$ .

2. Preliminaries

2.1. Banach Spaces

Let $\left\{x_n\right\}$ be a sequence in a normed space $\mathbb{X}$ .

1) A sequence ${\left\{x_n\right\}}_{n=1}^{\infty }$ in a space $\mathbb{X}$ is a Cauchy sequence if the sequence ${\left\{x_{n+1}-x_n\right\}}_{n=1}^{\infty }$ converges to zero;

2) The sequence ${\left\{x_n\right\}}_{n=1}^{\infty }$ is said to be convergent if, there exists $x\in \mathbb{X}$ such that, for any $\epsilon >0$ , there is a positive integer N such that

$\Vert x_n-x\Vert \le \epsilon ,\forall n\ge N\mathrm{.}$

Then the point $x\in \mathbb{X}$ is called the limit of sequence $x_n$ and denoted by ${\lim }_{n\to \infty }{x}_n=x$ ;

3) If every sequence Cauchy in $\mathbb{X}$ converger, then the normed space $\mathbb{X}$ is called a Banach space.

2.2. $ℝ$ -Linear Mapping

Theorem 1. Let $f\mathrm{<mo>\; :\; </mo>}\mathbb{E}\to {\mathbb{E}}^{\prime }$ be a mapping from anormed vector space $\mathbb{E}$ into a Banach spaces ${\mathbb{E}}^{\prime }$ 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{,}\forall x\mathrm{,}y\in \mathbb{E}\mathrm{.}$ (7)

where $\epsilon$ and p are constans with $\epsilon >0$ and $p<1$ . Then, the limit

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

exists for all $x\in \mathbb{E}$ and $L\mathrm{<mo>\; :\; </mo>}\mathbb{E}\to {\mathbb{E}}^{\prime }$ is unique additive mapping which satifies

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

for all $x\in \mathbb{E}$ . Also, if each $x\in \mathbb{E}$ then function $f\left(tx\right)$ is continuous in $t\in ℝ$ , then L is $ℝ$ -linear mapping.

Theorem 2. Let $\mathbb{X}$ be a real normed linear space and $\mathbb{Y}$ a real complete normed linear space. Assume that $f\mathrm{<mo>\; :\; </mo>}\mathbb{X}\to \mathbb{Y}$ is an approximately additive mapping for which there exist constants $\theta \ge 0$ and $p\in ℝ-\left\{1\right\}$ such that f satisfies the inequality

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

Then, there exists a unique additive mapping $L\mathrm{<mo>\; :\; </mo>}\mathbb{X}\to \mathbb{Y}$ satisfying

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

for all $x\in \mathbb{X}$ . If, in addition, $f\mathrm{<mo>\; :\; </mo>}\mathbb{X}\to \mathbb{Y}$ is a mapping such that the transformation $t\to f\left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in \mathbb{X}$ , then L is an $ℝ$ -linear mapping.

2.3. Fixed Point Theory

Theorem 3. Let $\left(\mathbb{X}\mathrm{,}d\right)$ be a complete generalized metric space and let $J\mathrm{<mo>\; :\; </mo>}\mathbb{X}\to \mathbb{X}$ be a strictly contractive mapping with Lipschitz constant $L<1$ . Then for each given element $x\in \mathbb{X}$ , either

$d\left(J^n\mathrm{,}{J}^{n+1}\right)=\infty$

for all nonegative integers n or there exists a positive integer $n_0$ such that

1) $d\left(J^n,J^{n+1}\right)<\infty$ , $\forall n\ge n_0$ ;

2) The sequence $\left\{J^{n}x\right\}$ converges to a fixed point $y^{\mathrm{<mo>\; *\; </mo>}}$ of J;

3) $y^{\mathrm{<mo>\; *\; </mo>}}$ is the unique fixed point of J in the set $\mathbb{Y}=\left\{y\in \mathbb{X}|d\left(J^n,J^{n+1}\right)<\infty \right\}$ ;

4) $d\left(y\mathrm{,}{y}^{\mathrm{<mo>\; *\; </mo>}}\right)\le \frac{1}{1-l}d\left(y\mathrm{,}Jy\right)$ $\forall y\in \mathbb{Y}$ .

Theorem 4. Let $\left(\mathbb{X}\mathrm{,}d\right)$ be a complete metric space and let $J\mathrm{<mo>\; :\; </mo>}\mathbb{X}\to \mathbb{X}$ be a strictly contractive that is,

$d\left(Jx\mathrm{,}Jy\right)\le Lf\left(x\mathrm{,}y\right)$ (12)

for some Lipschitz constant $L<1$ . Then,

1) the mapping J has a unique fiexd point $x^{*}=J{x}^{*}$ ;

2) the fixed point $x^{\mathrm{<mo>\; *\; </mo>}}$ is globally attractive, that is

$\underset{n\to \infty }{\lim }{J}^{n}x=x^{*}$ (13)

for all starting point $x\in \mathbb{X}$ ;

3) one has the following estimation inequalities:

$d\left(J^{n}x\mathrm{,}{x}^{\mathrm{<mo>\; *\; </mo>}}\right)\le L^{n}d\left(x\mathrm{,}{x}^{\mathrm{<mo>\; *\; </mo>}}\right)\mathrm{,}$

$d\left(J^{n}x\mathrm{,}{x}^{\mathrm{<mo>\; *\; </mo>}}\right)\le \frac{1}{1-L}d\left(J^{n}x\mathrm{,}{J}^{n+1}x\right)$ (14)

4) $d\left(x\mathrm{,}{x}^{\mathrm{<mo>\; *\; </mo>}}\right)\le \frac{1}{1-L}d\left(x\mathrm{,}Jx\right)$ for all nonnegatives n and all $x\in \mathbb{X}$ .

2.4. Generalized Metric Theory

Let X is a set. A function $d\mathrm{<mo>\; :\; </mo>}\mathbb{X}\times \mathbb{X}\to \left[\mathrm{0,}\infty \right)$ is called a generalized metric space on $\mathbb{X}$ if d staisfies the following:

1) $d\left(x\mathrm{,}y\right)=0$ and only if x=y;

2) $d\left(x\mathrm{,}y\right)=d\left(y,x\right)$ for all $x\mathrm{,}y\in \mathbb{X}$ ;

3) $d\left(x\mathrm{,}z\right)\le d\left(x\mathrm{,}y\right)+d\left(y\mathrm{,}z\right)$ for all $x\mathrm{,}y\mathrm{,}z\in \mathbb{X}$ .

2.5. Solutions of the Equation

The functional equation

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

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

The functional equation

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

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

3. The Basis for Building Solutions for the Cauchy-Jensen. Equation

Note Here We assume that $\mathbb{A}$ , $\mathbb{B}$ is a vector spaces

Lemma 5. Suppose that $\mathbb{A}$ , $\mathbb{B}$ be vector space. It is shown if a mapping $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ satisfies

$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)$ (15)

$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)$ (16)

$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)$ (17)

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 \mathbb{A}$ , then the mappings $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is Cauchy additive.

Proof. Assume that $f\mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ satisfies (15).

We replacing $\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{,}z\mathrm{,}\cdots \mathrm{,0}\right)$ in (15), we have

$k\varphi \left(x+z\right)+k\varphi \left(z\right)=k\varphi \left(x\right)+2k\varphi (\; z\; )$

for all $x\mathrm{,}z\in X$ . So

$\varphi \left(x+z\right)=\varphi \left(x\right)+\varphi (\; z\; )$

Hence $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is Cauchy additive. We replacing $\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{,}z\mathrm{,}\cdots \mathrm{,0}\right)$ in (16), we have

$k\varphi \left(x+z\right)-k\varphi \left(z\right)=k\varphi (\; x\; )$

for all $x\mathrm{,}z\in \mathbb{A}$ . So

$\varphi \left(x+z\right)=\varphi \left(x\right)+\varphi (\; z\; )$

Hence $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is Cauchy additive. Next We replacing $\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{,}z\mathrm{,}\cdots \mathrm{,0}\right)$ in (17), we have

$2k\varphi \left(x+z\right)=k\varphi \left(x\right)+k\varphi \left(x\right)+2k\varphi (\; z\; )$

for all $x\mathrm{,}z\in \mathbb{A}$ . So

$\varphi \left(x+z\right)=\varphi \left(x\right)+\varphi (\; z\; )$

Hence $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is Cauchy additive.

□

The mappings $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ given in the statement of lemma 3.1 are Cauchy-Jensen additive mappings.

We replacing $\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{,}y\mathrm{,}\cdots \mathrm{,}y\mathrm{,0,}\cdots \mathrm{,0}\right)$ in (17), we get the Jensen additive mapping

$2\varphi \left(\frac{x+y}{2}\right)=\varphi \left(x\right)+\varphi (\; y\; )$

and we replacing $\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{,}z\mathrm{,}\cdots \mathrm{,0}\right)$ in (17), in (17), we get the Cauchy additive mapping

$\varphi \left(x+z\right)=\varphi \left(x\right)+\varphi \left(z\right)$ .

4. Establishing Solutions for General Cauchy-Jensen Equations

Now, we first study the solutions of (1.1), (1.2) and (1.3). Note that for this equations, $\mathbb{A}$ is a vector space with norm ${\Vert \cdot \Vert }_{\mathbb{A}}$ and that $\mathbb{B}$ is a Banach space with norm ${\Vert \cdot \Vert }_{\mathbb{B}}$ . Under this setting, we can show that the mappings satisfying (1.1), (1.2) and (1.3) is additive.

Theorem 6. Suppose that $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\end{array}$ (18)

and

$\begin{array}{l}\tilde{\phi }\left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\\ ={\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}{2}^j\phi \left(\frac{x_1}{2^j},\cdots ,\frac{x_k}{2^j},\frac{y_1}{2^j},\cdots ,\frac{y_k}{2^j},\frac{z_1}{2^j},\cdots ,\frac{z_k}{2^j}\right)<\infty \end{array}$ (19)

for all $x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\in \mathbb{A}$

Then there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \frac{1}{k}\tilde{\phi }\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (20)

for all $x\in X$

Proof. We replacing $\left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)$ by $\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ in (18), we have

${\Vert k\varphi \left(2x\right)-2k\varphi \left(x\right)\Vert }_{\mathbb{B}}\le \phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (21)

for all $x\in \mathbb{A}$ . So

${\Vert \varphi \left(x\right)-2\varphi \left(\frac{x}{2}\right)\Vert }_{\mathbb{B}}\le \frac{1}{k}\phi \left(\frac{x}{2}\mathrm{,}\cdots \mathrm{,}\frac{x}{2}\mathrm{,}\frac{x}{2}\mathrm{,}\cdots \mathrm{,}\frac{x}{2}\mathrm{,}\frac{x}{2}\mathrm{,}\cdots \mathrm{,0}\right)$

for all $x\in \mathbb{A}$ . Hence

${\Vert 2^l\varphi \left(\frac{x}{2^l}\right)-2^m\varphi \left(\frac{x}{2^m}\right)\Vert }_{\mathbb{B}}\le \frac{1}{k}{\displaystyle \underset{j=l+1}{\overset{m}{\sum }}}{2}^{j-1}\phi \left(\frac{x}{2},\cdots ,\frac{x}{2},\frac{x}{2},\cdots ,\frac{x}{2},\frac{x}{2},\cdots ,0\right)$ (22)

for all nonnegative integers m and l with $m>l$ and for all $x\in \mathbb{A}$ . It followns

(19) and (22) that the sequence $\left\{2^n\varphi \left(\frac{x}{2^n}\right)\right\}$ is a Cauchy sequence for all $x\in \mathbb{A}$ . Sence $\mathbb{B}$ is complete, the sequence $\left\{2^n\varphi \left(\frac{x}{2^n}\right)\right\}$ converges. So one can

define the mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ by

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

for all $x\in \mathbb{A}$ . By (19) and (18),

$\begin{array}{l}{\Vert k\psi \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\psi \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 }}}\psi \left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\psi \left(x_i\right)\Vert }_{\mathbb{B}}\\ =\underset{n\to \infty }{\lim }{2}^n\Vert k\varphi \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2^{n+1}}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)+k\varphi \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2^{n+1}}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{z_i}{2^n}\right)\\ -{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(\frac{x_i}{2^n}\right)-{2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(\frac{z_i}{2^n}\right)\Vert }_{\mathbb{B}}\\ \le \underset{n\to \infty }{\lim }{2}^n\phi \left(\frac{x_1}{2^n},\cdots ,\frac{x_k}{2^n},\frac{y_1}{2^n},\cdots ,\frac{y_k}{2^n},\frac{z_1}{2^n},\cdots ,\frac{z_k}{2^n}\right)=0\end{array}$

for all $x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\in \mathbb{A}$ .

So

$k\psi \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\psi \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 }}}\psi \left(x_i\right)+2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\psi \left(z_i\right)$ .

By Lemma 2.1, the mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is Cauchy additive mapping. Moreover, letting $l=0$ and passing to the limit $m\to \infty$ in (22), we get the inequality (20)

Now, let $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be another generalized Cauchy-Jensen additive mapping satisfying (20). Then we have

$\begin{array}{c}{\Vert \psi \left(x\right)-{\psi }^{\prime }\left(x\right)\Vert }_{\mathbb{B}}=2^n{\Vert \psi \left(\frac{x}{2^n}\right)-{\psi }^{\prime }\left(\frac{x}{2^n}\right)\Vert }_{\mathbb{B}}\\ \le 2^n\left({\Vert \psi \left(\frac{x}{2^n}\right)-\varphi \left(\frac{x}{2^n}\right)\Vert }_{\mathbb{B}}+{\Vert {\psi }^{\prime }\left(\frac{x}{2^n}\right)-\varphi \left(\frac{x}{2^n}\right)\Vert }_{\mathbb{B}}\right)\\ \le 2\frac{2^n}{k}\tilde{\phi }\left(\frac{x}{2^n},\cdots ,\frac{x}{2^n},\frac{x}{2^n},\cdots ,\frac{x}{2^n},\frac{x}{2^n},\cdots ,0\right)\end{array}$ (23)

which tends to zero as $n\to \infty$ for all $x\in \mathbb{A}$ . So we can conclude that $\psi \left(x\right)={\psi }^{\prime }\left(x\right)$ for all $x\in \mathbb{A}$ . This proves the uniquence of ${\psi }^{\prime }$ .

□

Corollary 1. Supppose p and $\theta$ be positive real numbers with $p>1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \left(2+\frac{1}{k}\right)\frac{\theta }{2^p-2}{\Vert x\Vert }_{\mathbb{A}}^p$

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

Corollary 2. Suppose $p_1\mathrm{,}{p}_2\mathrm{,}\cdots \mathrm{,}{p}_k$ and $\theta$ be positive real numbers with $3p_1+2p_2+\cdot \cdot \cdot +2p_k>1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_{\mathbb{A}}^{p_i}\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_{\mathbb{A}}^{p_i}\cdot {\Vert z_1\Vert }_{\mathbb{A}}^{p_1}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_{\mathbb{A}}^{p_i}\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \frac{\theta }{k\left(2^{3p_1+2p_2+\cdots +2p_k}-2\right)}{\Vert x\Vert }_{\mathbb{A}}^{3p_1+2p_2+\cdots +2p_k}$

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

Theorem 7. Suppose $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \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)\end{array}$ (24)

and

$\begin{array}{l}\tilde{\phi }\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)\\ ={\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}\frac{1}{2^j}\phi \left(2^j{x}_1,\cdots ,2^j{x}_k,2^j{y}_1,\cdots ,2^j{y}_k,2^j{z}_1,\cdots ,2^j{z}_k\right)<\infty \end{array}$ (25)

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 \mathbb{A}$

Then there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \frac{1}{2k}\tilde{\phi }\left(x,\cdots ,x,x,\cdots ,x,\cdots ,x,\cdots ,0\right)$ (26)

for all $x\in \mathbb{A}$

Proof. We replacing $\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 (24), we have

${\Vert k\varphi \left(2x\right)-2k\varphi \left(x\right)\Vert }_{\mathbb{B}}\le \phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (27)

for all $x\in \mathbb{A}$ . So

${\Vert \varphi \left(x\right)-\frac{1}{2}\varphi \left(2x\right)\Vert }_{\mathbb{B}}\le \frac{1}{2k}\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (28)

for all $x\in \mathbb{A}$ . Hence

$\begin{array}{l}{\Vert \frac{1}{2^l}\varphi \left(2^{l}x\right)-\frac{1}{2^m}\varphi \left(2^{m}x\right)\Vert }_{\mathbb{B}}\\ \le \frac{1}{2k}{\displaystyle \underset{j=l+1}{\overset{m}{\sum }}}\frac{1}{2^{j-1}}\phi \left(2^{j}x,\cdots ,2^{j}x,2^{j}x,\cdots ,2^{j}x,2^{j}x,\cdots ,0\right)\end{array}$ (29)

for all nonnegative integers m and l with $m>l$ and for all $x\in \mathbb{A}$ . It followns

(25) and (29) that the sequence $\left\{\frac{1}{2^n}\varphi \left(2^{n}x\right)\right\}$ is a Cauchy sequence for all $x\in \mathbb{A}$ . Sence $\mathbb{B}$ is complete, the sequence $\left\{\frac{1}{2^n}\varphi \left(2^{n}x\right)\right\}$ converges. So one

can define the mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ by

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

for all $x\in \mathbb{A}$ . By (25) and (z4),

$\begin{array}{l}{\Vert k\psi \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\psi \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 }}}\psi \left(x_i\right)-2{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\psi \left(z_i\right)\Vert }_{\mathbb{B}}\\ =\underset{n\to \infty }{lim}\frac{1}{2^n}\Vert k\varphi \left(2^n\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)\right)+k\varphi \left(2^n\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2}+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)\right)\\ -{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(2^n{x}_i\right)-{2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}f\left(2^n{z}_i\right)\Vert }_{\mathbb{B}}\\ \le \underset{n\to \infty }{lim}\frac{1}{2^n}\phi \left(2^n{x}_1,\cdots ,2^n{x}_k,2^n{y}_1,\cdots ,2^n{y}_k,2^n{z}_1,\cdots ,2^n{z}_k\right)=0\end{array}$

for all 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 \mathbb{A}$ .

So

$k\psi \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\psi \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 }}}\psi \left(x_i\right)+2{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\psi (\; z\; i\; )$

By Lemma 2.1, the mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is Cauchy additive mapping. Moreover, letting $l=0$ and passing to the limit $m\to \infty$ in (29), we get the inequality (26)

Now, let ${\psi }^{\prime }\mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be another generalized Cauchy-Jensen additive mapping satisfying (26). Then we have

$\begin{array}{c}{\Vert \psi \left(x\right)-{\psi }^{\prime }\left(x\right)\Vert }_{\mathbb{B}}=\frac{1}{2^n}{\Vert \psi \left(2^{n}x\right)-{\psi }^{\prime }\left(2^{n}x\right)\Vert }_{\mathbb{B}}\\ \le \frac{1}{2^n}\left({\Vert \psi \left(2^{n}x\right)-\varphi \left(2^{n}x\right)\Vert }_{\mathbb{B}}+{\Vert {\psi }^{\prime }\left(2^{n}x\right)-\varphi \left(2^{n}x\right)\Vert }_{\mathbb{B}}\right)\\ \le 2\frac{2^n}{2k}\tilde{\phi }\left(2^{n}x\mathrm{,}\cdots {\mathrm{,2}}^{n}x{\mathrm{,2}}^{n}x\mathrm{,}\cdots {\mathrm{,2}}^{n}x{\mathrm{,2}}^{n}x\mathrm{,}\cdots \mathrm{,0}\right)\end{array}$ (30)

which tends to zero as $n\to \infty$ for all $x\in \mathbb{A}$ . So we can conclude that $\psi \left(x\right)={\psi }^{\prime }\left(x\right)$ for all $x\in \mathbb{A}$ . This proves the uniquence of ${\psi }^{\prime }$ .

Corollary 3. Supppose p and $\theta$ be positive real numbers with $p<1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

□

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \left(2+\frac{1}{2k}\right)\frac{\theta }{2-2^p}{\Vert x\Vert }_{\mathbb{A}}^p$

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

Corollary 4. Let $p_1\mathrm{,}{p}_2\mathrm{,}\cdots \mathrm{,}{p}_k$ and $\theta$ be positive real numbers with $3p_1+2p_2+\cdots +2p_k<1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }_{\mathbb{A}}^{p_i}\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }_{\mathbb{A}}^{p_i}\cdot {\Vert z_1\Vert }_{\mathbb{A}}^{p_1}\cdot \left(1+{\displaystyle \underset{i=2}{\overset{k}{\prod }}}{\Vert z_i\Vert }_{\mathbb{A}}^{p_i}\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \frac{\theta }{2k\left(2-2^{3p_1+2p_2+\cdots +2p_k}\right)}{\Vert x\Vert }_{\mathbb{A}}^{3p_1+2p_2+\cdots +2p_k}$

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

Theorem 8. Let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\end{array}$ (31)

and

$\begin{array}{l}\tilde{\phi }\left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\\ ={\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}{2}^j\phi \left(\frac{x_1}{2^j},\cdots ,\frac{x_k}{2^j},\frac{y_1}{2^j},\cdots ,\frac{y_k}{2^j},\frac{z_1}{2^j},\cdots ,\frac{z_k}{2^j}\right)<\infty \end{array}$ (32)

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 \mathbb{A}$

Then there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

$\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert \le \frac{1}{k}\tilde{\phi }\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (33)

for all $x\in \mathbb{A}$

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

Theorem 9. Suppose $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\end{array}$ (34)

and

$\begin{array}{l}\tilde{\phi }\left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\\ ={\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}\frac{1}{2^j}\phi \left(2^j{x}_1,\cdots ,2^j{x}_k,2^j{y}_1,\cdots ,2^j{y}_k,2^j{z}_1,\cdots ,2^j{z}_k\right)<\infty \end{array}$ (35)

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 \mathbb{A}$

Then there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

$\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert \le \frac{1}{2k}\tilde{\phi }\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (36)

for all $x\in \mathbb{A}$

The rest of the proof is similar to the proof of Theorem 4.1, Theorem 4.4.

Theorem 10. Suppose $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\end{array}$ (37)

and

$\begin{array}{l}\tilde{\phi }\left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\\ ={\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}{2}^j\phi \left(\frac{x_1}{2^j},\cdots ,\frac{x_k}{2^j},\frac{y_1}{2^j},\cdots ,\frac{y_k}{2^j},\frac{z_1}{2^j},\cdots ,\frac{z_k}{2^j}\right)<\infty \end{array}$ (38)

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 \mathbb{A}$

Then there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that.

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \frac{1}{4k}\tilde{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (39)

for all $x\in \mathbb{A}$

The rest of the proof is the same as in the proof of theorem 4.1.

Corollary 5. Suppose p and $\theta$ be positive real numbers with $p>1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \left(\frac{1}{2}+\frac{1}{4k}\right)\frac{\theta \left(2k+1\right)}{2^{p+1}-2^2}{\Vert x\Vert }_{\mathbb{A}}^p$

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

Corollary 6. Suppose $p_1\mathrm{,}{p}_2\mathrm{,}\cdots \mathrm{,}{p}_k$ and $\theta$ be positive real numbers with $3p_1+2p_2+\cdots +2p_k>1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }^{p_i}\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }^{p_i}\cdot {\Vert z_1\Vert }^{p_1}\cdot \left(1+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert z_k\Vert }^{p_i}\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}X\to Y$ such that

$\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert \le \frac{1}{4k}\cdot \frac{\theta }{2^{3p_1+2p_2+\cdots +2p_k+1}-2^2}{\Vert x\Vert }^{3p_1+2p_2+\cdots +2p_k}$

for all $x\in X$ .

Theorem 11. Let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \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)\end{array}$ (40)

and

$\begin{array}{l}\tilde{\phi }\left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,z_1,\cdots ,z_k\right)\\ ={\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}\frac{1}{2^j}\phi \left(2^j{x}_1,\cdots ,2^j{x}_k,2^j{y}_1,\cdots ,2^j{y}_k,2^j{z}_1,\cdots ,2^j{z}_k\right)<\infty \end{array}$ (41)

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 \mathbb{A}$

Then there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

$\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert \le \frac{1}{k}\tilde{\phi }\left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (42)

for all $x\in \mathbb{A}$

Proof. We replacing $\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 (40), we have

$\Vert 2k\varphi \left(2x\right)-4k\varphi \left(x\right)\Vert \le \phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (43)

for all $x\in \mathbb{A}$ . So

$\Vert \varphi \left(x\right)-\frac{1}{2}\varphi \left(2x\right)\Vert \le \frac{1}{4k}\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$

for all $x\in \mathbb{A}$ . The rest of the proof is the same as in the proof of theorem 4.1 and 4.4.

□

Corollary 7. Suppose p and $\theta$ be positive real numbers with $p<1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \left(\frac{1}{2}+\frac{1}{4k}\right)\frac{\theta }{2^2-2^{p+1}}{\Vert x\Vert }_{\mathbb{A}}^p$

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

Corollary 8. Suppose $p_1\mathrm{,}{p}_2\mathrm{,}\cdots \mathrm{,}{p}_k$ and $\theta$ be positive real numbers with $3p_1+2p_2+\cdots +2p_k<1$ , and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert x_i\Vert }^{p_i}\cdot {\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert y_i\Vert }^{p_i}\cdot {\Vert z_1\Vert }^{p_1}\cdot \left(1+{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{\Vert z_k\Vert }^{p_i}\right)\end{array}$

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 \mathbb{A}$ . The there exists a unique additive mapping $\psi \mathrm{<mo>\; :\; </mo>}X\to Y$ such that

$\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert \le \frac{1}{4k}\cdot \frac{\theta }{2^2-2^{3p_1+2p_2+\cdots +2p_k+1}}{\Vert x\Vert }^{3p_1+2p_2+\cdots +2p_k}$

for all $x\in X$ .

5. Stability of Homomorphisms in Real Banach Algebras

In this section, we use the fixed point method, to establish homomorphism on real Banach Algebra for Equation (1.1). Note that for this equations, $\mathbb{A}$ is a real Banach algebra with norm ${\Vert \cdot \Vert }_{\mathbb{A}}$ and that $\mathbb{B}$ is a real Banach with norm ${\Vert \cdot \Vert }_{\mathbb{B}}$ .

Theorem 12. Suppose that $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \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)\mathrm{,}\end{array}$ (44)

${\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}\frac{1}{2^j}\phi \left(2^j{x}_1,\cdots ,2^j{x}_k,2^j{y}_1,\cdots ,2^j{y}_k,2^j{z}_1,\cdots ,2^j{z}_k\right)<\infty$ (45)

and

${\Vert \varphi \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(y_i\right)\Vert }_{\mathbb{B}}\le \phi \left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,0,\cdots ,0\right),$ (46)

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 \mathbb{A}$ . If there exists an $M<1$ such that

$\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\right)\le 2M\phi \left(\frac{x}{2}\mathrm{,}\cdots \mathrm{,}\frac{x}{2}\mathrm{,}\frac{x}{2}\mathrm{,}\cdots \mathrm{,}\frac{x}{2}\mathrm{,}\frac{x}{2}\mathrm{,}\cdots \mathrm{,}\frac{x}{2}\right)$

for all $x\in \mathbb{A}$ and if $\varphi \left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in \mathbb{A}$ , then there exists a homomorphims $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \frac{1}{2-2M}\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\right)$ (47)

for all $x\in X$

Proof. We consider the set

$\mathbb{S}\mathrm{<mo>\; :\; </mo>}=\left\{h\mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}\right\}$ (48)

and introduce the generalized metric on $\mathbb{S}$ :

$d\left(g,h\right):=\inf \left\{\lambda \in {ℝ}_{+}:\Vert g\left(x\right)-h\left(x\right)\Vert \le \lambda \phi \left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right),\forall x\in \mathbb{A}\right\},$ (49)

where, as usual, $\inf \varphi =+\infty$ . It easy to show that $\left(\mathbb{S}\mathrm{,}d\right)$ is complete see [16]. Now we consider the linear mapping $J\mathrm{<mo>\; :\; </mo>}\mathbb{S}\to \mathbb{S}$ such that

$Jg\left(x\right)\mathrm{<mo>\; :\; </mo>\; <mo>\; =\; </mo>}\frac{1}{2}g\left(2x\right)$ (50)

for all $x\in \mathbb{A}$ . By Theorem 2.3, we have

$d\left(Jg\mathrm{,}Jh\right)\le Md\left(g\mathrm{,}h\right)$ (51)

Let $g\mathrm{,}h\in \mathbb{S}$

We replacing $\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 (18), we have

${\Vert \varphi \left(x\right)-\frac{1}{2}\varphi \left(2x\right)\Vert }_{\mathbb{B}}\le \frac{1}{2k}\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (52)

for all $x\in \mathbb{A}$ . Hence

$d\left(\varphi \mathrm{,}J\varphi \right)\le \frac{1}{2k}$

By Theorem 2.1, there exists a mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ satisfying the following:

1) $\psi$ is a fixed point of J, i.e.,

$\psi \left(2x\right)=2\psi \left(x\right)$ (53)

for all $x\in X$ . The mapping $\psi$ is a unique fixed point J in the set

$\mathbb{Q}=\left\{g\in \mathbb{S}:d\left(\varphi ,g\right)<\infty \right\}$

This implies that $\psi$ is a unique mapping satisfying (53) such that there exists a $\lambda \in \left(\mathrm{0,}\infty \right)$ satisfying

$\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert \le \lambda \phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)$ (54)

for all $x\in \mathbb{A}$ (2) $d\left(J^l\varphi \mathrm{,}\psi \right)\to 0$ as $l\to \infty$ . This implies equality

$\underset{l\to \infty }{lim}\frac{1}{2^l}\varphi \left(2^{l}x\right)=\psi \left(x\right)$ (55)

for all $x\in \mathbb{A}$ (3) $d\left(\varphi \mathrm{,}\psi \right)\le \frac{1}{1-M}d\left(\varphi \mathrm{,}J\varphi \right)$ , which implies

$d\left(\varphi \mathrm{,}\psi \right)\le \frac{1}{2-2M}$ (56)

It follows (44), (45) and (55) that

$\begin{array}{l}{\Vert k\psi \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\psi \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 }}}\psi \left(x_i\right)-2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\psi \left(x_i\right)\Vert }_{\mathbb{B}}\\ =\underset{n\to \infty }{\lim }\frac{1}{2^n}\Vert k\varphi \left(2^n{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i+y_i}{2k}+2^n{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)+k\varphi \left(2^n{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{x_i-y_i}{2k}+2^n{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{z}_i\right)\\ -{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(2^n{x}_i\right)-{2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\varphi \left(2^n{z}_i\right)\Vert }_{\mathbb{B}}\\ \le \underset{n\to \infty }{\lim }\frac{1}{2^n}\phi \left(2^n{x}_1,\cdots ,2^n{x}_k,2^n{y}_1,\cdots ,2^n{y}_k,2^n{z}_1,\cdots ,2^n{z}_k\right)=0\end{array}$ (57)

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 \mathbb{A}$ .

So

$k\psi \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\psi \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 }}}\psi \left(x_i\right)+2k{\displaystyle \underset{i=1}{\overset{k}{\sum }}}\psi \left(z_i\right)$ (58)

By Lemma 2.1, the mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is Cauchy additive mapping. According to the theorem of Th.M. Rassias (see [8] ) we infer that the mapping $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is $ℝ$ -linear. It forllows from (46).

$\begin{array}{l}{\Vert \phi \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\phi \left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\phi \left(y_i\right)\Vert }_{\mathbb{B}}\\ =\underset{n\to \infty }{\lim }\frac{1}{2^{2kn}}{\Vert \varphi \left(2^{2kn}{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(2^{nk}{x}_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(2^{kn}{y}_i\right)\Vert }_{\mathbb{B}}\\ \le \underset{n\to \infty }{\lim }\frac{1}{2^{2kn}}\phi \left(2^n{x}_1,\cdots ,2^n{x}_k,2^n{y}_1,\cdots ,2^n{y}_k,0,\cdots ,0\right)\\ \le \underset{n\to \infty }{\lim }\frac{1}{2^n}\phi \left(2^n{x}_1,\cdots ,2^n{x}_k,2^n{y}_1,\cdots ,2^n{y}_k,0,\cdots ,0\right)=0,\end{array}$ (59)

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

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

for all $x_1\mathrm{,}\cdots \mathrm{,}{x}_k\mathrm{,}{y}_1\mathrm{,}\cdots \mathrm{,}{y}_k\in \mathbb{A}$ . Thus, $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ is a homomorphisms satisfying (46). □

Theorem 13. Suppose that $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping. If there is a function $\phi \mathrm{<mo>\; :\; </mo>}{\mathbb{A}}^{3k}\to \left[\mathrm{0,}\infty \right)$ such that satisfying

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \phi \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)\mathrm{,}\end{array}$ (61)

${\displaystyle \underset{j=1}{\overset{\infty }{\sum }}}\frac{1}{2^{2kj}}\phi \left(\frac{1}{2^j}{x}_1,\cdots ,\frac{1}{2^j}{x}_k,\frac{1}{2^j}{y}_1,\cdots ,\frac{1}{2^j}{y}_k,\frac{1}{2^j}{z}_1,\cdots ,\frac{1}{2^j}{z}_k\right)<\infty$ (62)

and

${\Vert \varphi \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(y_i\right)\Vert }_{\mathbb{B}}\le \phi \left(x_1,\cdots ,x_k,y_1,\cdots ,y_k,0,\cdots ,0\right),$ (63)

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 \mathbb{A}$ . If there exists an $M<1$ such that

$\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\right)\le \frac{1}{2}M\phi \left(2x\mathrm{,}\cdots \mathrm{,2}x\mathrm{,2}x\mathrm{,}\cdots \mathrm{,2}x\mathrm{,2}x\mathrm{,}\cdots \mathrm{,2}x\right)$

for all $x\in \mathbb{A}$ and if $\varphi \left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in \mathbb{A}$ , then there exists a homomorphims $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \frac{M}{2-2M}\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\right)$ (64)

for all $x\in X$

Proof. Now we cosider the linear mapping $J\mathrm{<mo>\; :\; </mo>}\mathbb{S}\to \mathbb{S}$ such that

$Jg\left(x\right):=2g\left(\frac{x}{2}\right)$ (65)

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

We replacing $\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), we have

$\begin{array}{c}{\Vert \varphi \left(x\right)-2\varphi \left(\frac{1}{2}x\right)\Vert }_{\mathbb{B}}\le \frac{1}{k}\phi \left(\frac{x}{2}\mathrm{,}\cdots \mathrm{,}\frac{x}{2}\mathrm{,}\frac{x}{2}\mathrm{,}\cdots \mathrm{,}\frac{x}{2}\mathrm{,}\frac{x}{2}\mathrm{,}\cdots \mathrm{,0}\right)\\ \le \frac{M}{2k}\phi \left(x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,}x\mathrm{,}x\mathrm{,}\cdots \mathrm{,0}\right)\end{array}$ (66)

for all $x\in \mathbb{A}$ . Hence

$d\left(\varphi \mathrm{,}J\varphi \right)\le \frac{M}{2k}$

The complete proof is similar to Theorem 5.2.

□

From the theorems we have the consequences:

Corollary 9. Supppose $p<1$ and $\theta$ be nonnegative real numbers, and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)\end{array}$ (67)

${\Vert \varphi \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(y_i\right)\Vert }_{\mathbb{B}}\le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)$ (68)

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 \mathbb{A}$ .

If $\varphi \left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in \mathbb{A}$ , then there exists a homomorphims $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \left(2+\frac{1}{k}\right)\frac{\theta }{2-2^p}{\Vert x\Vert }_{\mathbb{A}}^p$ (69)

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

Corollary 10. Supppose $p>2$ and $\theta$ be nonnegative real numbers, and let $\varphi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}{\Vert 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)\Vert }_{\mathbb{B}}\\ \le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)\end{array}$ (70)

${\Vert \varphi \left({\displaystyle \underset{i=1}{\overset{k}{\prod }}}{x}_i{\displaystyle \underset{i=1}{\overset{k}{\prod }}}{y}_i\right)-{\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(x_i\right){\displaystyle \underset{i=1}{\overset{k}{\prod }}}\varphi \left(y_i\right)\Vert }_{\mathbb{B}}\le \theta \left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert x_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert y_i\Vert }_{\mathbb{A}}^p+{\displaystyle \underset{i=1}{\overset{k}{\sum }}}{\Vert z_i\Vert }_{\mathbb{A}}^p\right)$ (71)

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 \mathbb{A}$ .

If $\varphi \left(tx\right)$ is continuous in $t\in ℝ$ for each fixed $x\in \mathbb{A}$ , then there exists a homomorphims $\psi \mathrm{<mo>\; :\; </mo>}\mathbb{A}\to \mathbb{B}$ such that

${\Vert \varphi \left(x\right)-\psi \left(x\right)\Vert }_{\mathbb{B}}\le \left(2+\frac{1}{k}\right)\frac{\theta }{2^p-2}{\Vert x\Vert }_{\mathbb{A}}^p$ (72)

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

6. Conclusion

In this paper, I have built a general Cauchy-Jensen equation to improve the classical Cauchy-Jensen equation when we build a general solution for the equation on space with an arbitrary number of variables.

Conflicts of Interest

The author declares no conflicts of interest.

References

[1]	Ulam, S.M. (1960) A Collection of Mathematical Problems. Volume 8, Inderscience Publishers, New York.
[2]	Hyers, D.H. (1941) On the Stability of the 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]	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
[4]	Lee, Y.-H. and Jun, K.-W. (1999) A Generalization of the Hyers-Ulam-Rassias Stability of Jensen’s Equation. Journal of Mathematical Analysis and Applications, 238, 305-315. https://doi.org/10.1006/jmaa.1999.6546
[5]	Cădariu, L. and Radu, V. (2003) Fixed Points and the Stability of Some Classes of Functional Equations. Journal of Inequalities in Pure and Applied Mathematics, 4, Article 4.
[6]	Diaz, J.B. and Margolis, B. (1968) A Fixed Point Theorem of the Alternative, for Contractions on a Generalized Complete Metric Space. Bulletin of the American Mathematical Society, 74, 305-309. https://doi.org/10.1090/S0002-9904-1968-11933-0
[7]	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
[8]	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
[9]	Rassias, J.M. (1984) On Approximation of Approximately Linear Mappings by Linear Mappings. Bulletin des Sciences Mathématiques, 108, 445-446.
[10]	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
[11]	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
[12]	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
[13]	Park, C.-G. (2003) Modified Trif's Functional Equations in Banach Modules over a C*-Algebra and Approximate Algebra Homomorphisms. Journal of Mathematical Analysis and Applications, 278, 93-108. https://doi.org/10.1016/S0022-247X(02)00573-5
[14]	Rassias, T.M. (1990) Problem 16; 2, Report of the 27th International Symp. on Functional Equations. Aequationes Mathematicae, 39, 292-293.
[15]	Gajda, Z. (1991) On Stability of Additive Mappings. International Journal of Mathematics and Mathematical Sciences, 14, 431-434. https://doi.org/10.1155/S016117129100056X
[16]	Mihet, D. and Radu, V. (2008) On the Stability of the Additive Cauchy Functional Equation in Random Normed Spaces. Journal of Mathematical Analysis and Applications, 343, 567-572. https://doi.org/10.1016/j.jmaa.2008.01.100
[17]	Rassias, T.M. and Šemrl, P. (1992) On the Behavior of Mappings Which Do Not Satisfy Hyers-Ulam Stability. Proceedings of the American Mathematical Society, 114, 989-993. https://doi.org/10.1090/S0002-9939-1992-1059634-1
[18]	Czerwik, S. (2002) Functional Equations and Inequalities in Several Variables, World Scientific, Singapore. https://doi.org/10.1142/4875
[19]	Jung, S.-M. (2001) Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor.
[20]	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
[21]	Park, C. (2008) Hyers-Ulam-Rassias Stability of Homomorphisms in Quasi-Banach Algebras. Bulletin des Sciences Mathématiques, 132, 87-96. https://doi.org/10.1016/j.bulsci.2006.07.004
[22]	Gilányi, A. (2001) Eine zur Parallelogrammgleichung äquivalente Ungleichung. Aequationes Mathematicae, 62, 303-309. https://doi.org/10.1007/PL00000156
[23]	Gilányi, A. (2002) On a Problem by K. Nikodem. Mathematical Inequalities & Applications, 5, 707-710. https://doi.org/10.7153/mia-05-71
[24]	Aoki, T. (1950) On the Stability of the linear Transformation in Banach Spaces. Journal of the Mathematical Society of Japan, 2, 64-66. https://doi.org/10.2969/jmsj/00210064
[25]	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
[26]	Balcerowski, M. (2013) On the Functional Equations Related to a Problem of Z. Boros and Z. Daróczy. Acta Mathematica Hungarica, 138, 329-340. https://doi.org/10.1007/s10474-012-0278-4
[27]	Prager, W. and Schwaiger, J. (2013) A System of Two Inhomogeneous Linear Functional Equations. Acta Mathematica Hungarica, 140, 377-406. https://doi.org/10.1007/s10474-013-0315-y
[28]	Maligranda, L. (2006) Tosio Aoki (1910-1989). Proceedings of the International Symposium on Banach and Function Spaces II Kitakyushu, Kitakyushu, 14-17 September 2006, 1-23.
[29]	Van An, L. (2023) Generalized Stability of the Quadratic Type λ-Functional Equation With 3k-Variables in Non-Archimedean Banach Space and Non-Archimedean Random Normed Space. Open Access Library Journal, 10, e9821. https://doi.org/10.4236/oalib.1109821
[30]	Qarawani, M.N. (2013) Hyers-Ulam-Rassias Stability for the Heat Equation. Applied Mathematics, 4, 1001-1008. https://doi.org/10.4236/am.2013.47137
[31]	Ly, V.A. (2023) Generalized Establish Jensen Type Additive —Functional Inequlities with 3k-Variables (α1, α2)-Homogenous F-Spaces. International Journal for Research in Mathematics and Statistics, 9, 1-11. https://gnpublication.org/index.php/ms/article/view/2211