Selections of set-valued maps satisfying a linear inclusion in a single variable (Q603044)

Let \(S\) be a nonempty set, \(X\) a Banach space over \(\mathbb{K}\in\{\mathbb{R},\mathbb{C}\}\), \(a: S\to\mathbb{K}\), \(b: S\to [0,\infty)\), \(\varphi: S\to S\), \(\psi: S\to X\) given functions and \(B\subset X\) a given balanced, convex and bounded set. The main result concerns a set-valued mapping \(F: S\to 2^X\) satisfying the functional inclusion \[ a(x)F(\varphi(x))\subseteq F(x)+\psi(x)+b(x)B,\qquad x\in S. \] Under some assumptions it is proved that there exists a unique solution \(f: S\to X\) of the functional equation \[ a(x)f(\varphi(x))=f(x)+\psi(x),\qquad x\in S \] such that \(f\) is a selection of \(\text{cl}\,(F(x)+\omega(x)B)\) with suitably defined \(\omega: S\to [0,\infty)\). Several corollaries are given, in particular on the Hyers-Ulam stability of a linear functional equation and the equation of homomorphism.