No label defined (Q4710174)

Let \(S\) be a semigroup and let \(Y\) be a real normed space. A map \(M:S\to Y\) is called monomial of order \(n\), if \(\Delta_y^nM(x)=n!M(y)\), where \(\Delta_y^n\) stands for \(n\)th iterate of the usual difference operator \(\Delta_y\). The functional inequality \[ \bigl\|n!F(y)-\Delta_y^nF(x)\bigr\|\leq n!f(y)-\Delta_y^nf(x)\tag{1} \] is dealt with. The following result is proved: Theorem. Let \((S,+)\) be an Abelian semigroup and let \(\bigl(Y,\|\cdot\|\bigr)\) be a \(k\)-dimensional real normed linear space. Let further \(f:S\to{\mathbb R}\) be a function such that \(\Delta_y^nf(x)\geq 0\) for all \(x,y\in S\) and \(F:S\to Y\) be a mapping such that the inequality (1) holds for all \(x,y\in S\). Then there exists a monomial mapping \(M:S\to Y\) of order \(n\) such that \(\bigl\|F(x)-M(x)\bigr\|\leq k\cdot f(x)\) for all \(x\in S\). If \((S,+)\) is an Abelian semigroup with a neutral element, then the mapping \(M\) is unique provided that there exists an \(\alpha\geq 0\) such that \[ \mathop{\lim\inf}\limits_{m\to\infty}{f(mx)\over m^n}\leq\alpha\quad\text{for all \(x\in S\)}. \] It is also proved that if \(S\) is a real Banach space, \(Y\) is a normed space, \(\Delta_y^nf(x)\geq 0\), \(x,y\in S\), the maps \(f\) and \(F\) are continuous and (1) holds true for all \(x,y\in S\), then \(\bigl\|F(x)\bigr\|\leq c\cdot\|x\|^n+f(x)\), \(x\in X\) for some constant \(c\geq 0\).