
doi: 10.7153/mia-06-27
Let \(X\) be a real vector space and let \(Y\) be a real Banach space. For a function \(f:X\to Y\) the difference operator is given by \(\Delta_yf(x)=f(x+y)-f(x)\). Let \(\Delta_y^1f(x)=\Delta_yf(x)\), \(\Delta_y^{k+1}f(x)=\Delta_y\bigl(\Delta_y^kf(x)\bigr)\). A general solution of the functional equation \(\Delta_y^nf(x)=0\) was given by \textit{D. Z. Djoković} [Ann. Polon. Math. 22, 189-198 (1969; Zbl 0187.39903)] and by \textit{S. Mazur} and \textit{W. Orlicz} [Studia Math. 5, 50-68, 179-189 (1935; Zbl 0013.21002)]. Observe that \(\Delta_y^4f(x)=f(x+4y)-4f(x+3y)+6f(x+2y)-4f(x+y)+f(x)\). By replacing \(x+2y\) by \(x\) the functional equation \(\Delta_y^4f(x)=0\) can be written in the form \[ f(x+2y)+f(x-2y)+6f(x)=4f(x+y)+4f(x-y).\tag{1} \] This functional equation is considered in the present paper. Its general solution is reproved. The main purpose of the paper is the investigation of the Hyers-Ulam-Rassias stability problem for the equation (1) (for stability results concerning the equation \(\Delta_y^nf(x)=0\) cf. \textit{M. A. Albert} and \textit{J. A. Baker} [Ann. Polon. Math. 43, 93-103 (1983; Zbl 0436.39005)] and \textit{M. Kuczma} [An introduction to the theory of functional equations and inequalities, Cauchy's equation and Jensen's inequality (1985; Zbl 0555.39004)]). Namely, the functional inequality \[ \bigl\|f(x+2y)+f(x-2y)+6f(x)-4f(x+y)-4f(x-y)\bigr\|\leq\phi(x,y)\tag{2} \] is considered for suitably chosen function \(\phi:X^2\to[0,\infty)\). It is proved that if \(f\) fulfils (2) and the approximately cubic condition \[ \bigl\|f(2x)+8f(-x)\bigr\|\leq\delta\tag{3} \] for some \(\delta\geq 0\), then close to \(f\) there exists a unique function \(T:X\to Y\) satisfying (1). The function \(T\) is given by \(T(x)=\lim_{n\to\infty}\frac{f(3^nx)}{27^n}\). If (3) is replaced by the approximately quadratic condition \(\bigl\|f(2x)-4f(-x)\bigr\|\leq\delta\), it is proved that close to \(f\) there exists a unique quadratic function \(Q:X\to Y\) given by \(Q(x)=\displaystyle\lim\limits_{n\to\infty}\frac{f(3^nx)}{9^n}\). If (3) is replaced by the approximately odd condition \(\bigl\|f(2x)+2f(-x)\bigr\|\leq\delta\), it is proved that close to \(f\) there exists a unique additive function \(A:X\to Y\) given by \(A(x)=\lim_{n\to\infty}\frac{f(3^nx)}{3^n}\). Similar results are proved for mappings between Banach modules over a unital Banach algebra.
difference operator, additive functional equation, cubic functional equation, Banach space, Systems of functional equations and inequalities, functional inequality, Stability, separation, extension, and related topics for functional equations, Functional equations for functions with more general domains and/or ranges, Hyers-Ulam-Rassias stability, quadratic functional equation, Banach module
difference operator, additive functional equation, cubic functional equation, Banach space, Systems of functional equations and inequalities, functional inequality, Stability, separation, extension, and related topics for functional equations, Functional equations for functions with more general domains and/or ranges, Hyers-Ulam-Rassias stability, quadratic functional equation, Banach module
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 25 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
