On lattice-valued maps stemming from the notion of optimal average (Q1677589)

The main purpose of this paper is to study certain lattice-valued maps through associated functional equations and inequalities. The authors deal with morphisms between an algebraic structure and an ordered structure. Next, they solve a separation problem for the inequalities studied. Moreover, they also discuss the Hyers-Ulam stability of their main equation. This research is motivated by the notion of optimal average, introduced by the first author. In the second section, the authors provide some examples and basic properties of solutions of functional equations and inequalities stated for semi-lattice-valued mappings. In the third section they present their main results, which are separation and stability theorems for these inequalities and equations. One of their main result is Theorem 3.1, which is the following: Let us be given a \(\sigma\)-continuous lattice \(L\) and a commutative semigroup \((S, \ast)\) which has no elements of finite order, i.e., if \(x\in S\), then there is no number \(n\geq 2\) for which \(x^{n}=x\). Further, let \(f, g\colon S\to L\) be functionals for which \[ \begin{aligned} g(x\ast y)&\geq g(x)\vee g(y)\\ f(x \ast y)&\leq f(x)\vee f(y) \quad (x, y\in S). \end{aligned} \] Suppose that \(g(x)\leq f(x)\) and \(\lim_{n\to \infty}g\left(x^{2^{n}}\right)= \lim_{n\to \infty}f\left(x^{2^{n}}\right)\) for every \(x\in S\). Then there exists a functional \(a\colon S\to L\) such that: 1) for all \(x\in S\) there holds \( g(x)\leq a(x)\leq f(x)\); 2) for all \(x, y\in S\) there holds \( a(x\ast y)=a(x)\vee a(y). \) Moreover, the functional \(a\colon S\to L\) which fulfills 1) and 2) is uniquely determined.