We introduce the notion of multi-β-normed space (0<β≤1) and study the stability of the alternative additive functional equation of two forms in this type of space.
National Natural Science Foundation of China11371119Key Foundation of Education Department of Hebei ProvinceZD2016023Natural Science Foundation of Education Department of Hebei ProvinceZ20140311. Introduction
In 1940, Ulam [1] proposed the following stability problem: given a metric group G(·,ρ), a number ε>0, and mapping f:G→G which satisfies the inequality ρ(f(x·y),f(x)·f(y))<ε for all x,y in G, does there exist an automorphism a of G and a constant k>0, depending only on G, such that ρ(a(x),f(x))≤kε for all x in G? If the answer is affirmative, we call the equation a(x·y)=a(x)·a(y) of automorphism stable. One year later, Hyers [2] provided a positive partial answer to Ulam’s problem. In 1978, a generalized version of Hyers’ result was proved by Rassias in [3]. Since then, the stability problems of several functional equations have been extensively investigated by a number of authors [4–12]. In particular, we also refer the readers to the survey paper [13] for recent developments in Ulam’s type stability, [14] for recent developments of the conditional stability of the homomorphism equation, and books [15–18] for the general understanding of the stability theory.
The notion of multinormed space was introduced by Dales and Polyakov [19]. This concept is somewhat similar to operator sequence space and has some connections with operator spaces. Because of its applications in and outside of mathematics, the study on the stability of various functional equations has become one of the most important research subjects in the field of functional equations and attracts much attention from many researchers worldwide. Many examples of multinormed spaces can be found in [19], and further development of the stability in multinormed spaces can be found in papers [20–24].
In order to study the stability problem in more general setting, in this paper we introduce the notion of multi-β-normed spaces which are the combination of multinormed spaces and β-normed spaces, and the definition is given as follows.
In this paper we will use the following notations. Let (E,·) be a complex β-normed space with 0<β≤1, and let k∈N. We denote by Ek the linear space E⊕⋯⊕E consisting of k-tuples (x1,…,xk), where x1,…,xk∈E. The linear operations on Ek are defined coordinatewise. The zero element of either E or Ek is denoted by 0. We denote the set Nk={1,2,…,k} and denote by Sk the group of permutation on Nk.
Definition 1.
A multi-β-norm on {Ek:k∈N} is a sequence (·k)=(·k:k∈N) such that ·k is β-norm on Ek for each k∈N, x1=x for each x∈E, and the following axioms are satisfied for each k∈N with k≥2:
In this case, we say that ((Ek,·k):k∈N) is a multi-β-normed space.
The following two properties of multi-β-normed spaces are easily obtained: (1)x,…,xk=x,x∈E;(2)maxi∈Nkxi≤x1,…,xkk≤∑i=1kxi≤kmaxi∈Nkxi,x1,…,xk∈E.
It follows from (2) that if (E,·) is a complete β-normed space, then (Ek,·k) is complete β-normed space for each k∈N; in this case ((Ek,·k):k∈N) is a complete multi-β-normed space. In particular, if β=1(E,·) is Banach space, then the space ((Ek,·k):k∈N) is multi-Banach space. Now we give one example of multi-β-normed space.
Example 2.
Let E be an arbitrary β-normed space. The sequence (·k,k∈N) on Ek:k∈N defined by(3)x1,…,xkk=maxi∈Nkxi,x1,…,xk∈E,is a multi-β-norm.
Lemma 3.
Let k∈N and (x1,…,xk)∈Ek. For each j∈{1,…,k}, let (xnj)n=1,2,… be a sequence in E such that limn→∞xnj=xj. Then for each (y1,…,yk)∈Ek one has (4)limn→∞xn1-y1,…,xnk-yk=x1-y1,…,xk-yk.
Definition 4.
Let ((Ek,·k):k∈N) be a multi-β-normed space. A sequence (xn) in E is a multinull sequence if, for each ε>0, there exists n0∈N such that (5)supk∈Nxn,…,xn+k-1k<εfor all n≥n0. Let x∈E; we say that the sequence (xn) is multiconvergent to x in E if (xn-x) is a multinull sequence. In this case, x is called the limit of the sequence (xn) and we denote it by limn→∞xn=x.
In this paper we will study the stability in the multi-β-normed space of alternative additive equation of the two forms, which were further studied in the normed spaces in paper [25], and their definitions are presented as follows.
Definition 5 (see [25]).
Let X, Y be linear spaces and let A be mapping from X to Y. The equation is called alternative additive of the first form if A satisfies the functional equation (6)Ax1+x2+Ax1-x2=-2A-x1.Obviously (6) is equivalent to the alternative Jensen equation (7)A-x+y2=-12Ax+Ay.
Definition 6 (see [25]).
Let X, Y be linear spaces and let A be mapping from X to Y. The equation is called alternative additive of the second form if A satisfies the functional equation (8)Ax1+x2+Ax1-x2=-2A-x2.Obviously (6) is equivalent to the alternative Jensen equation (9)A-x-y2=-12Ax-Ay.
2. Stability of Alternative Additive Equation of the First Form
In this section we will study the stability of the alternative additive equation of the first form in multi-β-normed space and on the restricted domain. First, we investigate the general case where the domain of the mapping is the whole space. The following theorem is obtained.
Theorem 7.
Let X be a real normed space, and let ((Yn,·):n∈N) be a complete real multi-β-normed space. Suppose that δ≥0; mapping f:X→Y satisfies (10)supk∈Nfx1+y1+fx1-y1+2f-x1,…,fxk+yk+fxk-yk+2f-xkk≤δ;(11)supk∈Nf-z1+fz1,…,f-zk+fzkk≤δ2βfor all x1,…,xk,y1,…,yk,z1,…,zk∈X. Then there exists unique alternative additive mapping of the first form A:X→Y satisfying (12)supk∈Nfz1-Az1,…,fzk-Azkk≤2δ+δ4β·12β-1for all z1,…,zk∈X.
Proof.
Letting xi=yi=0(i=1,…,k) in (10) yields (13)supk∈Nf0,…,f0k≤δ4β.Setting xi=yi=zi(i=1,…,k) yields (14)supk∈Nf2z1+f0+2f-z1,…,f2zk+f0+2f-zkk≤δ.It follows from (11), (13), and (14) that (15)supk∈Nf2z1-2fz1,…,f2zk-2fzkk≤supk∈Nf2z1+f0+2f-z1,…,f2zk+f0+2f-zkk+supk∈N-2f-z1+fz1,…,-2f-zk+fzkk+supk∈N-f0,…,-f0k≤2δ+δ4β.Therefore, we have (16)supk∈N12nf2nz1-fz1,…,12nf2nzk-fzkk≤2δ+δ4β∑k=1n12kβ,(17)supk∈N12n+mf2n+mz1-12nf2nz1,…,12n+mf2n+mzk-12nf2nzkk≤2δ+δ4β∑k=n+1n+m12kβfor all m, n∈N, m≥1.
It follows from (A2) and (17) that (18)supk∈N12n+mf2n+mx-12nf2nx,…,12n+m+k-1f2n+m+k-1x-12n+k-1f2n+k-1xk=supk∈N12n+mf2n+mx-12nf2nx,…,12k-112n+mf2n+m2k-1x-12nf2n2k-1xk≤supk∈N12n+mf2n+mx-12nf2nx,…,12n+mf2n+m2k-1x-12nf2n2k-1xk≤2δ+δ4β∑k=n+1n+m12kβ.Hence {1/2nf(2nx)} is Cauchy sequence, which must be convergent in complete real multi-β-normed space; that is, there exists mapping A:X→Y such that A(x)≔limn→∞1/2nf(2nx). Hence, for arbitrary ε>0, there exists n0∈N; if n≥n0, then we have (19)supk∈N12nf2nx-Ax,…,12n+k-1f2n+k-1x-Axk<ε.Considering (2), we obtain (20)limn→∞12nf2nx-Ax=0,x∈X.If we let n=0 in (17), then we have (21)supk∈N12mf2mz1-fz1,…,12mf2mzk-fzkk≤2δ+δ4β∑k=1m12kβ.Letting m→∞ and making use of Lemma 3 and (20), we know that mapping A satisfies (12).
Let x,y∈X. Setting x1=⋯=xk=2nx, y1=⋯=yk=2ny in (10) and dividing both sides by 2nβ yield (22)supk∈N12nf2nx+y+12nf2nx-y+2·12nf-2nx,…,12nf2nx+y+12nf2nx-y+2·12nf-2nxk≤δ2nβ,which together with (1) implies (23)12nf2nx+y+12nf2nx-y+2·12nf-2nx≤δ2nβ.Taking limit as n→∞, we have(24)Ax+y+Ax-y+2A-x=0,x,y∈X.So A is the alternative additive mapping of the first form. It remains to show that A is uniquely determined. Let A′:X→Y be another alternative additive mapping of the first form that satisfies (12). It follows from (24) that some properties of mapping A are obtained:
If we let y=0, we get A(x)=-A(x), so A is odd mapping.
If we let x=y=0, we have A(0)=0.
Putting y=x yields A(2x)=2A(x); that is, A(x)=1/2A(2x).
Replacing x,y with 2x, respectively, yields A(22x)=22A(x); hence A(x)=1/22A(22x).
Replacing x,y with 22x, respectively, yields A(23x)=23A(x); that is, A(x)=1/23A(23x).
Proceeding in an obvious fashion yields A(x)=1/2nA(2nx). Similarly, we have A′(x)=1/2nA′(2nx). Letting z1=⋯=zk=x in (12) and in view of (1) we obtain (25)fx-Ax≤2δ+δ4β·12β-1.Similarly we have (26)fx-A′x≤2δ+δ4β·12β-1.Therefore, (27)Ax-A′x=12nA2nx-12nA′2nx≤12nβA2nx-A′2nx≤12nβA2nx-f2nx+12nβf2nx-A′2nx≤12nβ2δ+δ4β·22β-1.Taking limit as n→∞, we have A′=A.
It is a time to study the stability of this type mapping on the local domain. We only prove the stability result when the target spaces are real multi-Banach spaces, that is, the special case of real multi-β-normed space when β=1. For 0<β<1, it is an interesting open problem. The following are our results.
Theorem 8.
Let X be a real normed space, let ((Yn,·):n∈N) be a real multi-Banach space, and let d>0, δ≥0. Suppose that mapping f:X→Y satisfies (28)fx1+y1+fx1-y1+2f-x1,…,fxk+yk+fxk-yk+2f-xkk≤δ,fz1+f-z1,…,fzk+f-zkk≤δ2for all x1,…,xk,y1,…,yk,z1,…,zk∈X that satisfy (x1,…,xk)k+(y1,…,yk)k≥d and (z1,…,zk)k≥d. Then there exists unique alternative additive mapping of the first form A:X→Y such that (29)supk∈Nfz1-Az1,…,fzk-Azkk≤954δfor all z1,…,zk∈X.
Proof.
Fix k∈N. Let X=(x1,…,xk) and Y=(y1,…,yk) satisfy (x1,…,xk)k+(y1,…,yk)k<d. If X=Y=0, then let T=(t1,…,tk)∈Xk and Tk=d. If X≠0 or Y≠0, let(30)T=1+dXkX,Xk≥Yk;1+dYkY,Xk<Yk.If Xk≥Yk, we get Tk=Xk+d>d. If Xk<Yk, we have Tk=Yk+d>d. Therefore, (31)X-Tk+Y+Tk≥2Tk-Xk+Yk≥d;X-Tk+Y-Tk≥2Tk-Xk+Yk≥d;X-2Tk+Yk≥2Tk-Xk+Yk≥d;X±Tk≥Tk-Xk=Xk+d-Xk=d,forXk≥Yk;X±Tk≥Tk-Xk=Yk+d-Xk=d,forYk≥Xk;T-Xk+Tk≥d.It follows from (28) that (32)fx1+y1+fx1-y1+2f-x1,…,fxk+yk+fxk-yk+2f-xkk≤fx1+y1+fx1-y1-2t1+2f-x1-t1,…,fxk+yk+fxk-yk-2tk+2f-xk-tkk+fx1+y1-2t1+fx1-y1+2f-x1-t1,…,fxk+yk-2tk-fxk-yk+2f-xk-tkk+fx1+y1-2t1+fx1-y1-2t1+2f-x1-2t1,…,fxk+yk-2tk+fxk-yk-2tk+2f-xk-2tkk+2ft1-x1+t1+2f-x1+4fx1-t1,…,2ftk-xk+tk+2f-xk+4fxk-tkk+4fx1-t1+4f-x1-t1,…,4fxk-tk+4f-xk-tkk≤7δ,2fz1+2f-z1,…,2fzk+2f-zkk≤2fz1+f-z1+t1+f-z1-t1,…,2fzk+f-zk+tk+f-zk-tkk+-f-z1-t1-fz1+t1,…,-f-zk-tk-fzk+tkk+-fz1-t1-f-z1+t1,…,-fzk-tk-f-zk+tkk+2f-z1+fz1-t1+fz1+t1,…,2f-zk+fzk-tk+fzk+tkk≤15δ.It follows from Theorem 7 that there exists unique alternative additive mapping of the first form A:X→Y satisfying (29) for all z1,…,zk∈X.
Corollary 9.
Let ((Xn,·):n∈N) be a real multinormed space, and let ((Yn,·):n∈N) be a multi-Banach space. Mapping f:X→Y satisfies alternative additive equation of the first form if and only if, for each k∈N, if(x1,…,xk)k+(y1,…,yk)k→∞ and (z1,…,zk)k→∞, one has(33)fx1+y1+fx1-y1+2f-x1,…,fxk+yk+fxk-yk+2f-xkk⟶0;fz1+f-z1,…,fzk+f-zkk⟶0.
3. Stability of Alternative Additive Equation of the Second Form
In this section we will study the stability of the alternative additive equation of the second form in multi-β-normed space and on the restricted domain. First, we investigate the general case where the domain of the mapping is the whole space. The following theorem is obtained.
Theorem 10.
Let X be a real normed space, and let ((Yn,·):n∈N) be a complete real multi-β-normed space. Suppose that δ≥0; mapping f:X→Y satisfies (34)supk∈Nfx1+y1-fx1-y1+2f-y1,…,fxk+yk-fxk-yk+2f-ykk≤δfor all x1,…,xk,y1,…,yk∈X. Then there exists unique alternative additive mapping of the second form A:X→Y such that (35)supk∈Nfx1-Ax1,…,fxk-Axkk≤22β+2β+12β2β-1δfor all x1,…,xk∈X.
Proof.
Let xi=yi=0(i=1,…,k) in (34); we get (36)supk∈Nf0,…,f0k≤δ2β.Replacing yi(i=1,…,k) with xi, we obtain (37)supk∈Nf2x1-f0+2f-x1,…,f2xk-f0+2f-xkk≤δ.Let x1=⋯=xk=0 and replace yi(i=1,…,k) with xi; we obtain (38)supk∈Nfx1+f-x1,…,fxk+f-xkk≤δ.Hence for all x1,…,xk∈X we have (39)supk∈Nf2x1-2fx1,…,f2xk-2fxkk≤supk∈Nf2x1-f0+2f-x1,…,f2xk-f0+2f-xkk+supk∈N2fx1+f-x1,…,2fxk+f-xkk+supk∈Nf0,…,f0k≤22β+2β+12βδ.Therefore, for all m, n∈N, m≥1, we have (40)supk∈N12nf2nx1-fx1,…,12nf2nxk-fxkk≤22β+2β+12βδ∑k=1n12kβ,supk∈N12n+mf2n+mx1-12nf2nx1,…,12n+mf2n+mxk-12nf2nxkk≤22β+2β+12βδ∑k=n+1n+m12kβ.We omit the following arguments because they are similar to that of Theorem 7.
Theorem 11.
Let X be a real normed space, let ((Yn,·):n∈N) be a complete real multi-Banach space, and let d>0, δ≥0. Suppose that f:X→Y satisfies (41)fx1+y1-fx1-y1+2f-y1,…,fxk+yk-fxk-yk+2f-ykk≤δ,fz1+f-z1,…,fzk+f-zkk≤δ2for x1,…,xk,y1,…,yk,z1,…,zk∈X that satisfy (x1,…,xk)k+(y1,…,yk)k≥d and (z1,…,zk)k≥d. Then there exists unique alternative additive mapping of the second form A:X→Y such that (42)supk∈Nfx1-Ax1,…,fxk-Axkk≤492δfor all x1,…,xk∈X.
Proof.
Fix k∈N; choose X=(x1,…,xk) and Y=(y1,…,yk) with (x1,…,xk)k+(y1,…,yk)k<d. If X=Y=0, then let T=(t1,…,tk)∈Xk and Tk=d. If X≠0 or Y≠0, then let(43)T=1+dXkX,Xk≥Yk;1+dYkY,Xk<Yk.If Xk≥Yk, then Tk=Xk+d>d. If Xk<Yk, then Tk=Yk+d>d. Therefore,(44)X-Tk+Y+Tk≥2Tk-Xk+Yk≥d;X-Tk+Y-Tk≥2Tk-Xk+Yk≥d;X-2Tk+Yk≥2Tk-Xk+Yk≥d;Tk+Yk≥d;T-Yk≥d;T+Yk≥d.It follows from (41) that (45)fx1+y1-fx1-y1+2f-y1,…,fxk+yk-fxk-yk+2f-ykk≤fx1+y1-fx1-y1-2t1+2f-y1+t1,…,fxk+yk-fxk-yk-2tk+2f-yk+tkk+fx1+y1-2t1-fx1-y1+2f-y1-t1,…,fxk+yk-2tk-fxk-yk+2f-yk-tkk+fx1+y1-2t1-fx1-y1-2t1+2f-y1,…,fxk+yk-2tk-fxk-yk-2tk+2f-ykk+2ft1+y1-2ft1-y1+4f-y1,…,2ftk+yk-2ftk-yk+4f-ykk+2ft1+y1-2f-t1+y1,…,2ftk+yk+2f-tk-ykk≤7δ,2fz1+2f-z1,…,2fzk+2f-zkk≤2fz1+f-z1+t1-fz1+t1,…,2fzk+f-zk+tk-fzk+tkk+2f-z1+fz1+t1-f-z1+t1,…,2f-zk+fzk+tk-f-zk+tkk≤14δ.According to Theorem 10, there exists unique alternative additive mapping of the second form A:X→Y such that (42) holds true.
Corollary 12.
Let ((Xn,·):n∈N) be a real multinormed space and let ((Yn,·):n∈N) be a multi-Banach space. Mapping f:X→Y satisfies alternative additive equation of the second form if and only if, for each k∈N if(x1,…,xk)k+(y1,…,yk)k→∞ and (z1,…,zk)k→∞, one has (46)fx1+y1-fx1-y1+2f-y1,…,fxk+yk-fxk-yk+2f-ykk⟶0;fz1+f-z1,…,fzk+f-zkk⟶0.
Competing Interests
The authors declare that they have no competing interests.
Authors’ Contributions
All authors conceived of the study, participated its design and coordination, drafted the paper, participated in the sequence alignment, and read and approved the final paper.
Acknowledgments
This work is supported by the National Natural Science Foundation of China (Grant 11371119), the Key Foundation of Education Department of Hebei Province (Grant ZD2016023), and Natural Science Foundation of Education Department of Hebei Province (Grant Z2014031).
UlamS. M.1960New York, NY, USAWileyMR0280310HyersD. H.On the stability of the linear functional equation194127422222410.1073/pnas.27.4.222MR0004076RassiasT. M.On the stability of the linear mapping in Banach spaces197872229730010.2307/2042795MR507327ZBL0398.47040AgarwalR. P.XuB.ZhangW.Stability of functional equations in single variable2003288285286910.1016/j.jmaa.2003.09.032MR2020201ZBL1053.390422-s2.0-0347604002GajdaZ.On stability of additive mappings199114343143410.1155/s016117129100056xMR1110036GavrutaP.A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings1994184343143610.1006/jmaa.1994.1211MR12815182-s2.0-0001036579JungS.-M.RassiasJ. M.A fixed point approach to the stability of a functional equation of the spiral of Theodorus200820087945010MR2425680ParkC.RassiasJ. M.Stability of the Jensen-type functional equation in C*-algebras: a fixed point approach200920091736043210.1155/2009/360432MR24856402-s2.0-62749122737XuB.BrzdekJ.Hyers-Ulam stability of a system of first order linear recurrences with constant coefficients20152015526935610.1155/2015/269356MR33215812-s2.0-84925335210XuB.BrzdękJ.ZhangW.Fixed-point results and the Hyers-Ulam stability of linear equations of higher orders2015273248349810.2140/pjm.2015.273.483MR33177762-s2.0-84925268799YangX.ChangL.LiuG.ShenG.Stability of functional equations in (n;β)-normed spaces2015201511218Zbl1309.39022ZhaoX.YangX.PangC.-T.Solution and stability of a general mixed type cubic and quartic functional equation20132013867381010.1155/2013/673810Brillouët-BelluotN.BrzdękJ.CieplińskiK.On some recent developments in Ulam's type stability201220124171693610.1155/2012/716936MR2999925BrzdękJ.FechnerW.MoslehianM. S.SikorskaJ.Recent developments of the conditional stability of the homomorphism equation20159327832610.15352/bjma/09-3-20MR32961402-s2.0-84930867197HyersD. H.IsacG.RassiasTh. M.1998Basel, SwitzerlandBirkhäuser10.1007/978-1-4612-1790-9MR1639801CzerwikS.2002Hackensack, NJ, USAWorld Scientific10.1142/9789812778116MR1904790KannappanP.2009New York, NY, USASpringerSpringer Monographs in Mathematics10.1007/978-0-387-89492-8MR2524097JungS.-M.201148New York, NY, USASpringerSpringer Optimization and Its Applications10.1007/978-1-4419-9637-4MR2790773DalesH. G.PolyakovM. E.Multi-normed spaces and multi-Banach algebrasDalesH. G.MoslehianM. S.Stability of mappings on multi-normed spaces200749232133210.1017/s0017089507003552MR23472632-s2.0-34547830906MoslehianM. S.Superstability of higher derivations in multi-Banach algebras2008244417427MR2503707ZBL1175.39022MoslehianM. S.NikodemK.PopaD.Asymptotic aspect of the quadratic functional equation in multi-normed spaces2009355271772410.1016/j.jmaa.2009.02.017MR25217472-s2.0-62549089106WangL.LiuB.BaiR.Stability of a mixed type functional equation on multi-Banach spaces: a fixed point approach20102010928382710.1155/2010/283827MR2645110YangX.ChangL.LiuG.Orthogonal stability of mixed additive-quadratic Jensen type functional equation in multi-Banach spaces20155632533210.4236/apm.2015.56031RassiasJ. M.RassiasM. J.Asymptotic behavior of alternative JENsen and JENsen type functional equations2005129754555810.1016/j.bulsci.2005.02.001MR21541542-s2.0-22944486401