Exploring Cauchy-Jensen μj-Function Inequality with 3k-Variables on Complex Banach Spaces and Application to Establish Isomorphism between Unital Banach Algebras

Abstract

In this paper, I study to establish general Cauchy-Jensen μj-function inequalities by relying on general Cauchy-Jensen equations with 3k-variables on complex Banach spaces. First, I investigated the Cauchy-Jensen μj-function inequalities in complex Banach spaces and then I establish Isomorphisms between Unital Banach Algebras. These are the main results of this paper.

Share and Cite:

An, L.V. (2023) Exploring Cauchy-Jensen μj-Function Inequality with 3k-Variables on Complex Banach Spaces and Application to Establish Isomorphism between Unital Banach Algebras. Open Access Library Journal, 10, 1-20. doi: 10.4236/oalib.1110343.

1. Introduction

Let $\mathbb{A}$ and $\mathbb{B}$ be vector spaces on the same field $\mathbb{K}$ , and $\varphi :\mathbb{A}\to \mathbb{B}$ . I use the notation $‖\text{ }\cdot \text{ }‖$ for all the norms on both $\mathbb{A}$ and $\mathbb{B}$ . In this paper, I investigate additive functional inequalities when $\mathbb{A}$ is a normed vector space and $\mathbb{B}$ is a Banach space.

In fact, when $\mathbb{A}$ is a complex normed space and $\mathbb{B}$ is a complex Banach space, I solve and prove the general Cauchy-Jensen stability for the following additive functional inequalities.

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)‖\\ \le {‖g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\right)‖}_{\mathbb{B}}\end{array}$ (1)

and

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)‖\\ \le {‖g\left({\mu }_{2}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\end{array}$ (2)

Final

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)‖\\ \le {‖g\left({\mu }_{3}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\end{array}$ (3)

Based on the general Cauchy-Jensen equations with the following 3k-variables.

$k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)=\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)+2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)$ (4)

$k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)=\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)$ (5)

$2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)=\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)+2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)$ (6)

Note: The $g\left({\mu }_{i}\right)$ -functional inequality.

The study of the functional equation stability is originated from a question of S. M. Ulam [1] , concerning the stability of group homomorphisms. Let $\left(G,\ast \right)$ be a group and let $\left({G}^{\prime },\circ ,d\right)$ be a metric group with metric $d\left(\cdot ,\cdot \right)$ . Given $\epsilon >0$ , there exists a $\delta >0$ such that if $f:G\to {G}^{\prime }$ satisfies

$d\left(f\left(x\ast y\right),f\left(x\right)\circ f\left(y\right)\right)<\delta$

for all $x,y\in G$ , then there is a homomorphism $h:G\to {G}^{\prime }$ with

$d\left(f\left(x\right),h\left(x\right)\right)<\epsilon$

for all $x\in G$ , if the answer is affirmative, I would say that equation of homomophism $h\left(x\ast y\right)=h\left(y\right)\circ h\left(y\right)$ is stable. The concept of stability for a functional equation arises when I replace a functional equation with an inequality which acts as a perturbation of the equation. Thus the stability question of functional equations is how do the solutions of the inequality differ from those of the given function equation? Hyers gave a first affirmative answer to the question of Ulam as follows:

In 1941, D. H. Hyers [2] , let $\epsilon \ge 0$ and let $f:{E}_{1}\to {E}_{2}$ be a mapping between Banach space such that

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

for all $x,y\in {E}_{1}$ and some $\epsilon \ge 0$ . It was shown that the limit

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

exists for all $x\in {E}_{1}$ and that $T:{E}_{1}\to {E}_{2}$ is that unique additive mapping satisfying

$‖f\left(x\right)-T\left(x\right)‖\le \epsilon ,\forall x\in {E}_{1}.$

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

Consider $E,{E}^{\prime }$ to be two Banach spaces, and let $f:E\to {E}^{\prime }$ be a mapping such that $f\left(tx\right)$ is continuous in t for each fixed x. Assume that there exist $\theta \ge 0$ and $p\in \left[0,1\right)$ such that

$‖f\left(x+y\right)-f\left(x\right)-f\left(y\right)‖\le \epsilon \left({‖x‖}^{p}+{‖y‖}^{p}\right),\forall x,y\in \mathbb{E}.$

then there exists a unique linear $L:E\to {E}^{\prime }$ satisfies

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

Next J. M. Rassias [4] followed the spirit of the innovative approach of Th. M. Rassias for the unbounded Cauchy difference proved a similar stability theorem in which he replaced the factor ${‖x‖}^{p}+{‖y‖}^{p}$ by ${‖x‖}^{p}{‖y‖}^{p}$ for $p,q\in ℝ$ with $p+q\ne 1$ .

Next in 1992, a generalized of Rassias’ Theorem was obtained by Găvruta [5] Gilányi [6] and Fechner [7] , proving the Hyers-Ulam stability of the functional inequality.

Next is about the development of $\gamma$ -function inequalities of mathematicians in the world.

In 2020, Ly Van An studied the inequalities of the function on the group and the ring see [8]

${‖f\left(\underset{j=1}{\overset{n}{\sum }}\text{ }\text{ }{x}_{j}+\frac{1}{n}\underset{j=1}{\overset{n}{\sum }}\text{ }\text{ }{x}_{n+j}\right)-\underset{j=1}{\overset{n}{\sum }}\text{ }\text{ }f\left({x}_{j}\right)-\underset{j=1}{\overset{n}{\sum }}\text{ }\text{ }f\left(\frac{{x}_{n+j}}{n}\right)‖}_{\mathbb{Y}}\le \epsilon ,\forall \epsilon \ge 0$ (7)

and

${‖f\left(\underset{j=1}{\overset{n}{\prod }}\text{ }\text{ }{x}_{j}+\frac{1}{n}\underset{j=1}{\overset{n}{\prod }}\text{ }\text{ }{x}_{n+j}\right)-\underset{j=1}{\overset{n}{\prod }}\text{ }\text{ }f\left({x}_{j}\right)-\underset{j=1}{\overset{n}{\prod }}\text{ }\text{ }f\left(\frac{{x}_{n+j}}{n}\right)‖}_{\mathbb{Y}}\le \delta ,\forall \delta \ge 0$ (8)

Next, in 2020, Ly Van An continued to study additive $\beta$ -functional inequality in complex Banach spaces see [9]

$\begin{array}{l}‖f\left(\underset{j=1}{\overset{k}{\sum }}\frac{{x}_{j}+{y}_{j}}{k}+\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{j}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left(\frac{{x}_{j}+{y}_{j}}{k}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left({z}_{j}\right)‖\\ \le ‖\beta \left(f\left(\underset{j=1}{\overset{k}{\sum }}\frac{{x}_{j}+{y}_{j}}{{k}^{2}}+\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{j}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left(\frac{{x}_{j}+{y}_{j}}{k}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left({z}_{j}\right)\right)‖\end{array}$ (9)

and

$\begin{array}{l}‖f\left(\underset{j=1}{\overset{k}{\sum }}\frac{{x}_{j}+{y}_{j}}{{k}^{2}}+\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{j}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left(\frac{{x}_{j}+{y}_{j}}{k}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left({z}_{j}\right)‖\\ \le ‖\beta \left(f\left(\underset{j=1}{\overset{k}{\sum }}\frac{{x}_{j}+{y}_{j}}{k}+\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{j}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left(\frac{{x}_{j}+{y}_{j}}{k}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }f\left({z}_{j}\right)\right)‖\end{array}$ (10)

Next, in 2021, Ly Van An continued to study additive functional inequality investigated in non-Archimedean Banach spaces see [10]

$\begin{array}{l}{‖F\left(\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{k+j}+\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{j}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left(\frac{{x}_{k+j}}{k}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left({x}_{j}\right)‖}_{{X}_{2}}\\ \le {‖F\left(\frac{1}{{k}^{2}}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{k+j}+\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{j}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left(\frac{{x}_{k+j}}{k}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left({x}_{j}\right)‖}_{{X}_{2}}\end{array}$ (11)

and

$\begin{array}{l}{‖F\left(\frac{1}{{k}^{2}}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{k+j}+\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{j}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left(\frac{{x}_{k+j}}{k}\right)-\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left({x}_{j}\right)‖}_{{X}_{2}}\\ \le {‖F\left(\frac{1}{k}\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{k+j}+\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }{x}_{j}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left(\frac{{x}_{k+1}}{k}\right)-\underset{j=1}{\overset{k}{\sum }}\text{ }\text{ }F\left({x}_{j}\right)‖}_{{X}_{2}}\end{array}$ (12)

Recently, Ly Van An continues to give the general Cauchy-Jensen see [11] functional equations after I study the ${\mu }_{j}$ -function inequalities (1), (2) and (3) based on the functional Equations (4)-(6) on a complex Banach space. In this paper, Isolve and proved the ${\mu }_{j}$ -function inequalities (1), (2) and (3) based on the functional Equations (4)-(6) on a complex Banach space, i.e. the ${\mu }_{j}$ -functional inequalities with 3k variables. Under suitable assumptions on spaces $X$ and $Y$ , I will prove that the mappings satisfy the (1), (2) and (3). Thus, the results in this paper are generalization of those in [8] [9] [10] [11] [12] .

To overcome the limitation on the number of variables in the classical Cauchy-Jensen p-function inequalities I introduce three general Cauchy-Jensen ${\mu }_{j}$ -function inequalities with 3k-variables on complex Banach spaces to help math researchers in the space they navigate. To get the above idea, I rely on the thinking of world mathematicians, see [1] - [23] . First, I build the general Cauchy-Jensen equations, and then build the functional inequalities.

The paper is organized as follows: In the section preliminaries, I remind some basic notations such as: Cauchy equation, Cauchy-Jensen equation, Classical Cauchy-Jensen βj-functional equation and Classical Cauchy-Jensen βj-functional inequalities.

Section 3: The basis for building a solution for the Cauchy-Jensen ${\mu }_{j}$ -function inequality.

Section 4: Establishing Solutions for general Cauchy-Jensen ${\mu }_{j}$ -function inequalities.

Section 5: Establish Isomorphisms between Unital Banach Algebras.

2. Preliminaries

2.1. Solutions of the Equation

The functional equation

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

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

The 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)$ (13)

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

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

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

$\begin{array}{l}f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-f\left(x\right)-2f\left(z\right)\\ ={\beta }_{1}\left(f\left(\frac{x+y}{2}+z\right)-f\left(\frac{x-y}{2}+z\right)-f\left(y\right)\right)\end{array}$ (16)

$\begin{array}{l}f\left(\frac{x+y}{2}+z\right)-f\left(\frac{x-y}{2}+z\right)-f\left(y\right)\\ ={\beta }_{2}\left(2f\left(\frac{x+y}{2}+z\right)-f\left(x\right)-f\left(y\right)-2f\left(z\right)\right)\end{array}$ (17)

$\begin{array}{l}f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-f\left(x\right)-2f\left(z\right)\\ ={\beta }_{3}\left(2f\left(\frac{x+y}{2}+z\right)-f\left(x\right)-f\left(y\right)-2f\left(z\right)\right)\end{array}$ (18)

is called the Classical Cauchy-Jensen βj-functional equation. In particular, every solution of the βj-functional equation is said to be an additive mapping.

2.2. Solutions of the Functional Inequalities

The functional inequalities

$\begin{array}{l}‖f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-f\left(x\right)-2f\left(z\right)‖\\ \le ‖{\beta }_{1}\left(f\left(\frac{x+y}{2}+z\right)-f\left(\frac{x-y}{2}+z\right)-f\left(y\right)\right)‖\end{array}$ (19)

$\begin{array}{l}‖f\left(\frac{x+y}{2}+z\right)-f\left(\frac{x-y}{2}+z\right)-f\left(y\right)‖\\ \le ‖{\beta }_{2}\left(2f\left(\frac{x+y}{2}+z\right)-f\left(x\right)-f\left(y\right)-2f\left(z\right)\right)‖\end{array}$ (20)

$\begin{array}{l}‖f\left(\frac{x+y}{2}+z\right)+f\left(\frac{x-y}{2}+z\right)-f\left(x\right)-2f\left(z\right)‖\\ \le ‖{\beta }_{3}\left(2f\left(\frac{x+y}{2}+z\right)-f\left(x\right)-f\left(y\right)-2f\left(z\right)\right)‖\end{array}$ (21)

is called the Classical Cauchy-Jensen βj-functional inequalities. In particular, every solution of the βj-functional inequalities is said to be an additive mapping.

$D:=\left\{h:ℂ\to ℂ:h\left({\eta }_{i}\right)={\eta }_{i},|h\left({\eta }_{i}\right)|<1\text{\hspace{0.17em}}\text{as}\text{\hspace{0.17em}}i=1\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}|h\left({\eta }_{i}\right)|<\frac{1}{2}\text{\hspace{0.17em}}\text{as}\text{\hspace{0.17em}}i>1,i\in {ℕ}^{\ast }\right\}$

3. Basis for Building Solutions for Cauchy-Jensen. P-Function Inequalities

Note Here I assume that $\mathbb{A}$ , $\mathbb{B}$ be real or complex vector spaces and $g\in D$ .

Lemma 1. Suppose that $\mathbb{A}$ , $\mathbb{B}$ be real or complex vector space. If the mapping ${\varphi }_{1},{\varphi }_{2},{\varphi }_{3}:\mathbb{A}\to \mathbb{B}$ satisfies of the following functional inequalities

$\begin{array}{l}‖k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{1}\left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{1}\left({z}_{i}\right)‖\\ \le {‖g\left({\mu }_{1}\right)\left(k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{1}\left({y}_{i}\right)\right)‖}_{\mathbb{B}}\end{array}$ (22)

$\begin{array}{l}‖k{\varphi }_{2}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k{\varphi }_{2}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({y}_{i}\right)‖\\ \le {‖g\left({\mu }_{2}\right)\left(2k{\varphi }_{2}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({z}_{i}\right)\right)‖}_{\mathbb{B}}\end{array}$ (23)

$\begin{array}{l}‖k{\varphi }_{3}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k{\varphi }_{3}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({z}_{i}\right)‖\\ \le {‖g\left({\mu }_{3}\right)\left(2k{\varphi }_{3}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({z}_{i}\right)\right)‖}_{\mathbb{B}}\end{array}$ (24)

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ , if and only the mappings ${\varphi }_{1},{\varphi }_{2},{\varphi }_{3}:\mathbb{A}\to \mathbb{B}$ is additive.

Note: Here I prove (22) while (23) and (24) are completely similar proofs.

Proof. Assume that $f:\mathbb{A}\to \mathbb{B}$ satisfies (22).

I replace $\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)$ by $\left(x,\cdots ,x,x,\cdots ,x,z,\cdots ,0\right)$ in (22), I have

$‖k\varphi \left(x+z\right)-k\varphi \left(x\right)-k\varphi \left(z\right)‖\le {‖g\left({\mu }_{1}\right)\left(k\varphi \left(x+z\right)-k\varphi \left(x\right)-k\varphi \left(z\right)\right)‖}_{\mathbb{B}}$ (25)

for all $x,z\in X$ . So

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

Hence $\varphi :\mathbb{A}\to \mathbb{B}$ is Cauchy additive.

The remaining (23) and (24) are completely similar proofs. ¨

From the proof of the lemma, I have the following corollary:

Corollary 1. Suppose that $\mathbb{X},\mathbb{Y}$ be real or complex vector space. If the mapping ${\varphi }_{1},{\varphi }_{2},{\varphi }_{3}:\mathbb{A}\to \mathbb{B}$ satisfies the following functional equations

$\begin{array}{l}k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{1}\left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{1}\left({z}_{i}\right)\\ =g\left({\mu }_{1}\right)\left(k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k{\varphi }_{1}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{1}\left({y}_{i}\right)\right)\end{array}$ (26)

$\begin{array}{l}k{\varphi }_{2}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k{\varphi }_{2}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({y}_{i}\right)\\ =g\left({\mu }_{2}\right)\left(2k{\varphi }_{2}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{2}\left({z}_{i}\right)\right)\end{array}$ (27)

$\begin{array}{l}k{\varphi }_{3}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k{\varphi }_{3}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({z}_{i}\right)\\ =g\left({\mu }_{3}\right)\left(2k{\varphi }_{3}\left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{\varphi }_{3}\left({z}_{i}\right)\right)\end{array}$ (28)

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ , if and only the mappings ${\varphi }_{1},{\varphi }_{2},{\varphi }_{3}:\mathbb{A}\to \mathbb{B}$ is additive.

4. Establishing Solutions for General Cauchy-Jensen ${\mu }_{j}$ -Function Inequalities

Now, I first study the solutions of (1), (2) and (3). Note that for this ${\mu }_{j}$ -function inequalities, $\mathbb{A}$ be real or complex vector space with norm ${‖\text{ }\cdot \text{ }‖}_{\mathbb{A}}$ and that $\mathbb{B}$ is a Banach space with norm ${‖\text{ }\cdot \text{ }‖}_{\mathbb{B}}$ . Under this setting, I can show that the mappings satisfying (1), (2) and (3) is additive.

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \phi \left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\end{array}$ (29)

and

$\stackrel{˜}{\phi }\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)=\underset{j=1}{\overset{\infty }{\sum }}\text{ }\text{ }{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$ (30)

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 :\mathbb{A}\to \mathbb{B}$ such that

${‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\le \frac{1}{k}\left(\frac{1}{2|1-g\left({\mu }_{1}\right)|}\right)\stackrel{˜}{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (31)

for all $x\in X$ .

Proof. I replace $\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)$ by $\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ in (29), I have

${‖k\varphi \left(2x\right)-2k\varphi \left(x\right)‖}_{\mathbb{B}}\le \left(\frac{1}{|1-g\left({\mu }_{1}\right)|}\right)\phi \left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (32)

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

${‖\varphi \left(x\right)-2\varphi \left(\frac{x}{2}\right)‖}_{\mathbb{B}}\le \frac{1}{k}\left(\frac{1}{|1-g\left({\mu }_{1}\right)|}\right)\phi \left(\frac{x}{2},\cdots ,\frac{x}{2},\frac{x}{2},\cdots ,\frac{x}{2},\frac{x}{2},\cdots ,0\right)$

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

$\begin{array}{l}{‖{2}^{l}\varphi \left(\frac{x}{{2}^{l}}\right)-{2}^{m}\varphi \left(\frac{x}{{2}^{m}}\right)‖}_{\mathbb{B}}\\ \le \frac{1}{k}\underset{j=m}{\overset{l-1}{\sum }}{‖{2}^{l}\varphi \left(\frac{x}{{2}^{j}}\right)-{2}^{j+1}\varphi \left(\frac{x}{{2}^{j+1}}\right)‖}_{\mathbb{B}}\\ \le \frac{1}{k}\underset{j=m}{\overset{l-1}{\sum }}\left(\frac{{2}^{j}}{|1-g\left({\mu }_{1}\right)|}\right)\phi \left(\frac{x}{{2}^{j+1}},\cdots ,\frac{x}{{2}^{j+1}},\frac{x}{{2}^{j+1}},\cdots ,\frac{x}{{2}^{j+1}},\frac{x}{{2}^{j+1}},\cdots ,0\right)\\ =\frac{1}{k}\left(\frac{1}{2|1-g\left({\mu }_{1}\right)|}\right)\underset{j=m}{\overset{l-1}{\sum }}\text{ }\text{ }{2}^{j+1}\phi \left(\frac{x}{{2}^{j+1}},\cdots ,\frac{x}{{2}^{j+1}},\frac{x}{{2}^{j+1}},\cdots ,\frac{x}{{2}^{j+1}},\frac{x}{{2}^{j+1}},\cdots ,0\right)\\ ={S}_{l-1}-{S}_{m-1}\end{array}$ (33)

At here

${S}_{p}=\frac{1}{k}\left(\frac{1}{2|1-g\left({\mu }_{1}\right)|}\right)\underset{j=1}{\overset{p}{\sum }}\text{ }\text{ }{2}^{j+1}\phi \left(\frac{x}{{2}^{j+1}},\cdots ,\frac{x}{{2}^{j+1}},\frac{x}{{2}^{j+1}},\cdots ,\frac{x}{{2}^{j+1}},\frac{x}{{2}^{j+1}},\cdots ,0\right)<\infty$ (34)

and so there exists $q\ge 0$ such that ${S}_{p}\to r$ as $m\to \infty$ . Therefore so when I give ${\mathrm{lim}}_{l,m\to \infty }$ in (33), I have

${‖{2}^{l}\varphi \left(\frac{x}{{2}^{l}}\right)-{2}^{m}\varphi \left(\frac{x}{{2}^{m}}\right)‖}_{\mathbb{B}}\to 0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{as}\text{\hspace{0.17em}}l,m\to \infty .$ (35)

for all nonnegative integers m and l with $l>m$ and for all $x\in \mathbb{A}$ . It follows (30) and (33) that the sequence $\left\{{2}^{n}\varphi \left(\frac{x}{{2}^{n}}\right)\right\}$ is a Cauchy sequence for all $x\in \mathbb{A}$ . Since $\mathbb{B}$ is complete, the sequence $\left\{{2}^{n}\varphi \left(\frac{x}{{2}^{n}}\right)\right\}$ converges, one can define the mapping $\psi :\mathbb{A}\to \mathbb{B}$ by

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

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

$\begin{array}{l}‖k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\psi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\psi \left({x}_{i}\right)\\ -{g\left({\mu }_{1}\right)\left(k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\psi \left({x}_{i}\right)\right)‖}_{\mathbb{B}}\\ =\underset{n\to \infty }{\mathrm{lim}}{2}^{n}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{{2}^{n}\cdot 2k}+\underset{i=1}{\overset{k}{\sum }}\frac{{z}_{i}}{{2}^{n}}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{{2}^{n}\cdot 2k}+\underset{i=1}{\overset{k}{\sum }}\frac{{z}_{i}}{{2}^{n}}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left(\frac{{x}_{i}}{{2}^{n}}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left(\frac{{z}_{i}}{{2}^{n}}\right)\end{array}$

$\begin{array}{l}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }-{g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{{2}^{n}\cdot 2k}+\underset{i=1}{\overset{k}{\sum }}\frac{{z}_{i}}{{2}^{n}}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{{2}^{n}\cdot 2k}+\underset{i=1}{\overset{k}{\sum }}\frac{{z}_{i}}{{2}^{n}}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left(\frac{{y}_{i}}{{2}^{n}}\right)\right)‖}_{\mathbb{B}}\\ \le \underset{n\to \infty }{\mathrm{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

$\begin{array}{l}k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\psi \left({x}_{i}\right)+2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\psi \left({z}_{i}\right)\\ =g\left({\mu }_{1}\right)\left(k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\psi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\psi \left({x}_{i}\right)\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ .

By Corollary 1, the mapping $\psi :\mathbb{A}\to \mathbb{B}$ is additive mapping.

Now, let $\psi :\mathbb{A}\to \mathbb{B}$ be another generalized Cauchy-Jensen additive mapping satisfying (31). Then I have

$\begin{array}{c}{‖\psi \left(x\right)-{\psi }^{\prime }\left(x\right)‖}_{\mathbb{B}}={2}^{n}{‖\psi \left(\frac{x}{{2}^{n}}\right)-{\psi }^{\prime }\left(\frac{x}{{2}^{n}}\right)‖}_{\mathbb{B}}\\ \le {2}^{n}\left({‖\psi \left(\frac{x}{{2}^{n}}\right)-\varphi \left(\frac{x}{{2}^{n}}\right)‖}_{\mathbb{B}}+{‖{\psi }^{\prime }\left(\frac{x}{{2}^{n}}\right)-\varphi \left(\frac{x}{{2}^{n}}\right)‖}_{\mathbb{B}}\right)\\ \le 2\frac{{2}^{n}}{k}\left(\frac{1}{2|1-g\left({\mu }_{1}\right)|}\right)\stackrel{˜}{\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)\\ =\frac{{2}^{n}}{k}\left(\frac{1}{|1-g\left({\mu }_{1}\right)|}\right)\stackrel{˜}{\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}$ (36)

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

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \left(\underset{i=1}{\overset{k}{\sum }}{‖{x}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{y}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{z}_{i}‖}_{\mathbb{A}}^{p}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

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

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

Corollary 3. Suppose ${p}_{1},{p}_{2},\cdots ,{p}_{k}$ and $\theta$ be positive real numbers with $3{p}_{1}+2{p}_{2}+\cdot \cdot \cdot +2{p}_{k}>1$ , and let $\varphi :\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \underset{i=1}{\overset{k}{\prod }}{‖{x}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot \underset{i=1}{\overset{k}{\prod }}{‖{y}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot {‖{z}_{1}‖}_{\mathbb{A}}^{{p}_{1}}\cdot \left(1+\underset{i=2}{\overset{k}{\prod }}{‖{z}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

${‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\le \frac{\theta }{k\left({2}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}-2\right)|1-g\left({\mu }_{1}\right)||}{‖x‖}_{\mathbb{A}}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}$

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

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\right)‖}_{\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}\stackrel{˜}{\phi }\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\\ =\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}$ (38)

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 :\mathbb{A}\to \mathbb{B}$ such that

${‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\le \frac{1}{k}\left(\frac{1}{2|1-g\left({\mu }_{1}\right)|}\right)\stackrel{˜}{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (39)

for all $x\in X$ .

Proof. I replace $\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)$ by $\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ in (37), I have

${‖k\varphi \left(2x\right)-2k\varphi \left(x\right)‖}_{\mathbb{B}}\le \frac{1}{|1-g\left({\mu }_{1}\right)|}\phi \left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (40)

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

${‖\varphi \left(x\right)-\frac{1}{2}\varphi \left(2x\right)‖}_{\mathbb{B}}\le \frac{1}{2k}\frac{1}{|1-g\left({\mu }_{1}\right)|}\phi \left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (41)

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

$\begin{array}{l}{‖\frac{1}{{2}^{l}}\varphi \left({2}^{l}x\right)-\frac{1}{{2}^{m}}\varphi \left({2}^{m}x\right)‖}_{\mathbb{B}}\\ \le \frac{1}{2k}\frac{1}{|1-g\left({\mu }_{1}\right)|}\underset{j=m}{\overset{l-1}{\sum }}\frac{1}{{2}^{j}}\phi \left({2}^{j}x,\cdots ,{2}^{j}x,{2}^{j}x,\cdots ,{2}^{j}x,{2}^{j}x,\cdots ,0\right)\end{array}$ (42)

for all nonnegative integers m and l with $l>m$ and for all $x\in \mathbb{A}$ . It follows (38) and (42) 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}$ . Since $\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 :\mathbb{A}\to \mathbb{B}$ by

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

for all $x\in \mathbb{A}$ . The proof is similar to the proof of Theorem 1. ¨

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \left(\underset{i=1}{\overset{k}{\sum }}{‖{x}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{y}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{z}_{i}‖}_{\mathbb{A}}^{p}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

$\begin{array}{l}{‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\\ \le \left(2+\frac{1}{2k}\right)\frac{\theta }{\left(2-{2}^{p}\right)|1-g\left({\mu }_{1}\right)|}{‖x‖}_{\mathbb{A}}^{p}\end{array}$

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

Corollary 5. Let ${p}_{1},{p}_{2},\cdots ,{p}_{k}$ and $\theta$ be positive real numbers with $3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}<1$ , and let $\varphi :\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{1}\right)\left(k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \underset{i=1}{\overset{k}{\prod }}{‖{x}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot \underset{i=1}{\overset{k}{\prod }}{‖{y}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot {‖{z}_{1}‖}_{\mathbb{A}}^{{p}_{1}}\cdot \left(1+\underset{i=2}{\overset{k}{\prod }}{‖{z}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

$\begin{array}{l}{‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\\ \le \frac{\theta }{2k\left(2-{2}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}\right)|1-g\left({\mu }_{1}\right)|}{‖x‖}_{\mathbb{A}}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}\end{array}$

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

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\\ -{g\left({\mu }_{2}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \phi \left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\end{array}$ (43)

and

$\stackrel{˜}{\phi }\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)=\underset{j=1}{\overset{\infty }{\sum }}\text{ }\text{ }{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$ (44)

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 :\mathbb{A}\to \mathbb{B}$ such that

$‖\varphi \left(x\right)-\psi \left(x\right)‖\le \frac{1}{k}\left(\frac{1}{2|1-2g\left({\mu }_{2}\right)|}\right)\stackrel{˜}{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (45)

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

Proof. I replace $\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)$ by $\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ in (43), I have

${‖k\varphi \left(2x\right)-2k\varphi \left(x\right)‖}_{\mathbb{B}}\le \frac{1}{|1-2g\left({\mu }_{2}\right)|}\phi \left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (46)

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

${‖\varphi \left(x\right)-2\varphi \left(\frac{x}{2}\right)‖}_{\mathbb{B}}\le \frac{1}{k}\left(\frac{1}{|1-2g\left({\mu }_{2}\right)|}\right)\phi \left(\frac{x}{2},\cdots ,\frac{x}{2},\frac{x}{2},\cdots ,\frac{x}{2},\frac{x}{2},\cdots ,0\right)$ (47)

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

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

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\\ -{g\left({\mu }_{2}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \left(\underset{i=1}{\overset{k}{\sum }}{‖{x}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{y}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{z}_{i}‖}_{\mathbb{A}}^{p}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

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

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

Corollary 7. Suppose ${p}_{1},{p}_{2},\cdots ,{p}_{k}$ and $\theta$ be positive real numbers with $3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}>1$ , and let $\varphi :\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\\ -{g\left({\mu }_{2}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \underset{i=1}{\overset{k}{\prod }}{‖{x}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot \underset{i=1}{\overset{k}{\prod }}{‖{y}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot {‖{z}_{1}‖}_{\mathbb{A}}^{{p}_{1}}\cdot \left(1+\underset{i=2}{\overset{k}{\prod }}{‖{z}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

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

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

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\\ -{g\left({\mu }_{2}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \phi \left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\end{array}$ (48)

and

$\begin{array}{l}\stackrel{˜}{\phi }\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\\ =\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}$ (49)

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 :\mathbb{A}\to \mathbb{B}$ such that

$‖\varphi \left(x\right)-\psi \left(x\right)‖\le \frac{1}{2k}\left(\frac{1}{2|1-2g\left({\mu }_{2}\right)|}\right)\stackrel{˜}{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (50)

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

Proof. I replace $\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)$ by $\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ in (29), I have

${‖k\varphi \left(2x\right)-2k\varphi \left(x\right)‖}_{\mathbb{B}}\le \left(\frac{1}{|1-2g\left({\mu }_{2}\right)|}\right)\phi \left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (51)

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

${‖\varphi \left(x\right)-2\varphi \left(\frac{x}{2}\right)‖}_{\mathbb{B}}\le \frac{1}{2k}\left(\frac{1}{|1-2g\left({\mu }_{2}\right)|}\right)\phi \left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$

for all $x\in \mathbb{A}$ . The rest of the proof is similar to the proof of Theorem 1, Theorem 3. ¨

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\\ -{g\left({\mu }_{2}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \left(\underset{i=1}{\overset{k}{\sum }}{‖{x}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{y}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{z}_{i}‖}_{\mathbb{A}}^{p}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

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

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

Corollary 9. Suppose ${p}_{1},{p}_{2},\cdots ,{p}_{k}$ and $\theta$ be positive real numbers with $3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}<1$ , and let $\varphi :\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)\\ -{g\left({\mu }_{2}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \underset{i=1}{\overset{k}{\prod }}{‖{x}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot \underset{i=1}{\overset{k}{\prod }}{‖{y}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\cdot {‖{z}_{1}‖}_{\mathbb{A}}^{{p}_{1}}\cdot \left(1+\underset{i=2}{\overset{k}{\prod }}{‖{z}_{i}‖}_{\mathbb{A}}^{{p}_{i}}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

${‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\le \frac{\theta }{k\left(2-{2}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}\right)|1-2g\left({\mu }_{2}\right)|}{‖x‖}_{\mathbb{A}}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}$

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

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{3}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \phi \left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\end{array}$ (52)

and

$\stackrel{˜}{\phi }\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)=\underset{j=1}{\overset{\infty }{\sum }}\text{ }\text{ }{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$ (53)

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 :\mathbb{A}\to \mathbb{B}$ such that

${‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\le \frac{1}{k}\left(\frac{1}{2|1-2g\left({\mu }_{2}\right)|}\right)\stackrel{˜}{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (54)

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

The rest of the proof is the same as in the proof of Theorem 4.

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{3}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \left(\underset{i=1}{\overset{k}{\sum }}{‖{x}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{y}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{z}_{i}‖}_{\mathbb{A}}^{p}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

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

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

Suppose ${p}_{1},{p}_{2},\cdots ,{p}_{k}$ and $\theta$ be positive real numbers with $3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}>1$ , and let $\varphi :\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{3}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \underset{i=1}{\overset{k}{\prod }}{‖{x}_{i}‖}^{{p}_{i}}\cdot \underset{i=1}{\overset{k}{\prod }}{‖{y}_{i}‖}^{{p}_{i}}\cdot {‖{z}_{1}‖}^{{p}_{1}}\cdot \left(1+\underset{i=1}{\overset{k}{\prod }}{‖{z}_{k}‖}^{{p}_{i}}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :X\to Y$ such that

$‖\varphi \left(x\right)-\psi \left(x\right)‖\le \frac{1}{k}\cdot \frac{\theta }{\left({2}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}+1}-2\right)|1-2g\left({\mu }_{3}\right)|}{‖x‖}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}$

for all $x\in X$ .

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{3}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \phi \left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\end{array}$ (55)

and

$\begin{array}{l}\stackrel{˜}{\phi }\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\\ =\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}$ (56)

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 :\mathbb{A}\to \mathbb{B}$ such that

$‖\varphi \left(x\right)-\psi \left(x\right)‖\le \frac{1}{k}\left(\frac{1}{2|1-2g\left({\mu }_{3}\right)|}\right)\stackrel{˜}{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (57)

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

Proof. The rest of the proof is the same as in the proof of Theorems 1 and 4. ¨

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

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{3}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \left(\underset{i=1}{\overset{k}{\sum }}{‖{x}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{y}_{i}‖}_{\mathbb{A}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{z}_{i}‖}_{\mathbb{A}}^{p}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :\mathbb{A}\to \mathbb{B}$ such that

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

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

Corollary 12. Suppose ${p}_{1},{p}_{2},\cdots ,{p}_{k}$ and $\theta$ be positive real numbers with $3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}<1$ , and let $\varphi :\mathbb{A}\to \mathbb{B}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{3}\right)\left(2k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{B}}\\ \le \theta \underset{i=1}{\overset{k}{\prod }}{‖{x}_{i}‖}^{{p}_{i}}\cdot \underset{i=1}{\overset{k}{\prod }}{‖{y}_{i}‖}^{{p}_{i}}\cdot {‖{z}_{1}‖}^{{p}_{1}}\cdot \left(1+\underset{i=1}{\overset{k}{\prod }}{‖{z}_{k}‖}^{{p}_{i}}\right)\end{array}$

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{A}$ . The there exists a unique additive mapping $\psi :X\to Y$ such that

$‖\varphi \left(x\right)-\psi \left(x\right)‖\le \frac{1}{k}\cdot \frac{\theta }{\left(2-{2}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}+1}\right)|1-2{\mu }_{2}|}{‖x‖}^{3{p}_{1}+2{p}_{2}+\cdots +2{p}_{k}}$

for all $x\in X$ .

5. Isomorphisms between Unital Banach Algebras

Now, I first study the Isomorphisms between Unital Banach Algebras. Note that for this ${\mu }_{j}$ -function inequalities, $\mathbb{M}$ be Unital Banach Algebras over a Field $\mathbb{K}=\left(ℝ,ℂ\right)$ with unit e and norm $‖\text{ }\cdot \text{ }‖$ and that $\mathbb{W}$ be Unital Banach Algebras over a Field $\mathbb{K}=\left(ℝ,ℂ\right)$ with unit e’ over a Field $\mathbb{K}=\left(ℝ,ℂ\right)$ .

Note: here I construct the isomorphism for the ${\mu }_{j}$ -function inequality (3), the rest of the ${\mu }_{j}$ -function inequalities (1) and (2) I prove exactly the same.

Theorem 7. Let $\varphi :\mathbb{M}\to \mathbb{W}$ be a mapping if there is a function $\phi :{\mathbb{M}}^{3k}\to \left[0,\infty \right)$ such that satisfying

$\begin{array}{l}‖k\varphi \left(\beta \underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+\beta k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{4}\right)\left(2k\varphi \left(\beta \underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{W}}\\ \le \phi \left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)\end{array}$ (58)

$\stackrel{˜}{\phi }\left({x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\right)=\underset{j=1}{\overset{\infty }{\sum }}\text{ }\text{ }{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$ (59)

and

$\underset{n\to \infty }{\mathrm{lim}}{2}^{n}\varphi \left(\frac{e}{{2}^{n}}\right)={e}^{\prime }$ (60)

for all $\beta \in \mathbb{K}$ , ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{M}$ . Then the mapping $\varphi :\mathbb{M}\to \mathbb{W}$ is an isomorphism.

Proof. Let $\beta =1$ in (58). By Theorem 6, there is a unique additive mapping $\psi :\mathbb{M}\to \mathbb{W}$ satisfying the additive mapping $\psi :\mathbb{M}\to \mathbb{W}$ is given by

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

for all $x\in \mathbb{M}$ and satisfying

${‖\varphi \left(x\right)-\psi \left(x\right)‖}_{\mathbb{B}}\le \frac{1}{k}\left(\frac{1}{2|1-2{\mu }_{2}|}\right)\stackrel{˜}{\phi }\left(x,\cdots ,x,x,\cdots ,x,x,\cdots ,0\right)$ (62)

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

By (58) and (60) I have

$\begin{array}{l}|1-2g\left({\mu }_{4}\right)|{‖\psi \left(2\beta x\right)-2\beta \psi \left(x\right)‖}_{\mathbb{W}}\\ =\underset{n\to \infty }{\mathrm{lim}}{2}^{n}{‖\varphi \left(\frac{2\beta x}{{2}^{n}}\right)-2\beta \varphi \left(\frac{x}{{2}^{n}}\right)-{\mu }_{4}\left(\varphi \left(\frac{2\beta x}{{2}^{n}}\right)-2\beta \varphi \left(\frac{x}{{2}^{n}}\right)\right)‖}_{\mathbb{W}}\\ \le \underset{n\to \infty }{\mathrm{lim}}{2}^{n}\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)=0\end{array}$

for all $|g\left({\mu }_{4}\right)|<\frac{1}{2},\beta \in \mathbb{K}$ and $x\in \mathbb{M}$ .

So

$k\psi \left(2\beta kx\right)-2k\beta \psi \left(kx\right)=0.$

So

$\psi \left(2\beta kx\right)=2\beta \psi \left(kx\right).$

for all $\beta \in \mathbb{K}$ and $x\in \mathbb{M}$ . Since $\psi$ is additive,

$\psi \left(2\beta kx\right)=2\beta \psi \left(kx\right).$

$\psi \left(\beta kx\right)=\beta \psi \left(kx\right),$

for all $\beta \in \mathbb{K}$ and for all $x\in \mathbb{M}$ . Hence the additive mapping $\psi :\mathbb{M}\to \mathbb{W}$ is an $\mathbb{K}$ -linear mapping.

Since $\varphi$ is multiplicative,

$\begin{array}{c}\psi \left(\underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }{x}_{i}{y}_{i}\right)=\underset{n\to \infty }{\mathrm{lim}}{2}^{2nk}\varphi \left(\underset{i=1}{\overset{k}{\prod }}\frac{{x}_{i}{y}_{i}}{n}\right)\\ =\underset{n\to \infty }{\mathrm{lim}}{2}^{2nk}\varphi \left(\underset{i=1}{\overset{k}{\prod }}\frac{{x}_{i}}{{2}^{n}}\right)\varphi \left(\underset{i=1}{\overset{k}{\prod }}\frac{{y}_{i}}{{2}^{n}}\right)\\ =\underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }\psi \left({x}_{i}\right)\cdot \underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }\psi \left({y}_{i}\right)\end{array}$ (63)

for all ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k}\in \mathbb{M}$ . By (60)

$\psi \left(e\right)=\underset{n\to \infty }{\mathrm{lim}}{2}^{n}\varphi \left(\frac{e}{{2}^{n}}\right)={e}^{\prime },$ (64)

so by (63) and (64) I have

$\psi \left(\underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }{x}_{i}\right)=\psi \left(e\underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }{x}_{i}\right)=\psi \left(e\right)\cdot \varphi \left(\underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }{x}_{i}\right)={e}^{\prime }\cdot \varphi \left(\underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }{x}_{i}\right)=\varphi \left(\underset{i=1}{\overset{k}{\prod }}\text{ }\text{ }{x}_{i}\right),$ (65)

for all $x\in \mathbb{M}$ . Therefore, the mapping $\varphi :\mathbb{M}\to \mathbb{W}$ is an isomorphism, as desired. ¨

Corollary 13. Let p and $\theta$ be positive real numbers with $p>1$ , and let $\varphi :\mathbb{M}\to \mathbb{W}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\beta \underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+\beta k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{4}\right)\left(2k\varphi \left(\beta \underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{W}}\\ \le \theta \left(\underset{i=1}{\overset{k}{\sum }}{‖{x}_{i}‖}_{\mathbb{M}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{y}_{i}‖}_{\mathbb{M}}^{p}+\underset{i=1}{\overset{k}{\sum }}{‖{z}_{i}‖}_{\mathbb{M}}^{p}\right)\end{array}$

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

for all $\beta \in \mathbb{K}$ , ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{M}$ .

Then the mapping $\varphi :\mathbb{M}\to \mathbb{W}$ is an isomorphism.

Corollary 14. Let ${p}_{1},{p}_{2},\cdots ,{p}_{3k}$ and $\theta$ be positive real numbers with $3{p}_{1}+3{p}_{2}+\cdots +2{p}_{3k}>1$ , and let $\varphi :\mathbb{M}\to \mathbb{W}$ be a mapping such that

$\begin{array}{l}‖k\varphi \left(\beta \underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)+\beta k\varphi \left(\underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}-{y}_{i}}{2k}+\underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-2\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\\ -{g\left({\mu }_{4}\right)\left(2k\varphi \left(\beta \underset{i=1}{\overset{k}{\sum }}\frac{{x}_{i}+{y}_{i}}{2k}+\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }{z}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({x}_{i}\right)-\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({y}_{i}\right)-2k\beta \underset{i=1}{\overset{k}{\sum }}\text{ }\text{ }\varphi \left({z}_{i}\right)\right)‖}_{\mathbb{W}}\\ \le \theta \underset{i=1}{\overset{k}{\prod }}{‖{x}_{i}‖}^{{p}_{i}}\cdot \underset{i=1}{\overset{k}{\prod }}{‖{y}_{i}‖}^{{p}_{i}}\cdot {‖{z}_{1}‖}^{{p}_{1}}\cdot \left(1+\underset{i=1}{\overset{k}{\prod }}{‖{z}_{k}‖}^{{p}_{i}}\right)\end{array}$

$\underset{n\to \infty }{\mathrm{lim}}{2}^{n}\varphi \left(\frac{e}{{2}^{n}}\right)={e}^{\prime }$ (67)

for all $\beta \in \mathbb{K}$ , ${x}_{1},\cdots ,{x}_{k},{y}_{1},\cdots ,{y}_{k},{z}_{1},\cdots ,{z}_{k}\in \mathbb{M}$ .

Then the mapping $\varphi :\mathbb{M}\to \mathbb{W}$ is an isomorphism.

6. Conclusion

In this paper, I construct general Cauchy-Jensen ${\mu }_{j}$ -function inequalities and give the conditions for the existence of solutions and from there, I construct them on complex Banach spaces. The aim is to improve the classical Cauchy-Jensen inequalities on the unlimited space of the number of variables. It is convenient for researchers in the field of Mathematics.

Conflicts of Interest

The author declares no conflicts of interest.

 [1] Ulam, S.M. (1960) A Collection of the Mathematical Problems. Interscience Publishers, New York. [2] Hyers, S.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. (1984) On Approximation of Approximately Linear Mappings by Linear Mappings. Bulletin des Sciences Mathématiques, 108, 445-446. [5] Găvruta, P. (1994) A Generalization of the Hyers-Ulam-Rassias Stability of Approximately Additive Mappings. Journal of Mathematical Analysis and Aequations, 184, 431-436. https://doi.org/10.1006/jmaa.1994.1211 [6] Gilányi, A. (2002) On a Problem by K. Nikodem. Mathematical Inequalities & Applications, 5, 707-710. https://doi.org/10.7153/mia-05-71 [7] Fechner, W. (2006) Stability of a functional Inequlities Associated with the Jordan-von Neumann Functional Equation. Aequationes Mathematicae, 71, 149-161. https://doi.org/10.1007/s00010-005-2775-9 [8] 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/article/vol4iss2/AM-2008-4208.pdf [9] An, L.V. (2020) Generalized Hyers-Ulam Type Stability of the 2k-Variable Additive? β-Functional Inequalities and Equations in Complex Banach Spaces. International Journal of Mathematics Trends and Technology, 66, 134-147. https://doi.org/10.14445/22315373/IJMTT-V66I7P518 [10] An, L.V. (2021) Generalized Hyers-Ulam-Rassias Type Stability of the 2k-Variable Additive Functional Inequalities in Non-Archimedean Banach Spaces and Banach Spaces. International Journal of Mathematics Trends and Technology, 67, 183-197. https://doi.org/10.14445/22315373/IJMTT-V67I9P521 [11] An, L.V. (2023) Constructing the General Jensen-Cauchy Equations in Banach Space and Using Fixed Point Method to Establish Homomorphisms in Banach Algebras. Open Access Library Journal, 10, 1-20. https://doi.org/10.4236/oalib.1109931 [12] 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 [13] 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 [14] 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 [15] 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 [16] 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 [17] Rassias, T.M. (1990) Problem 16; 2, Report of the 27th International Symposium on Functional Equations. Aequationes Mathematicae, 39, 292-293, 309. [18] Gajda, Z. (1991) On Stability of Additive Mappings. International Journal of Mathematics and Mathematical Sciences, 14, 431-434. https://doi.org/10.1155/S016117129100056X [19] Rassias, T.M. and Semrl, 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 [20] Czerwik, S. (2002) Functional Equations and Inequalities in Several Variables. World Scientific, Singapore. https://doi.org/10.1142/4875 [21] Jung, S.-M. (2001) Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press, Palm Harbor, 79-97. [22] 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 [23] Qarawani, M. (2013) Hyers-Ulam-Rassias Stability for the Heat Equation. Applied Mathematics, 4, 1001-1008. https://doi.org/10.4236/am.2013.47137