On some equation for set-valued functions (Q2375908)

Let \(X\) be a topological vector space, \(n(X)\) the family of nonempty subsets of \(X\), \(cc(X)\) the family of compact and convex elements of \(n(X)\). -- If \(X\) is a real vector space, a set \(K\subseteq X\) is called a cone if \[ (\forall t\in(0,+\infty))(tK\subseteq K). \] The author proves the following Theorem: Let \(f:\mathbb{R}\to \mathbb{R}\) be given by \[ (\forall t\in\mathbb{R})\Biggl(f(t)= \sum^{+\infty}_{n=0} a_n t^n\Biggr)\text{ with }(\forall n\in\mathbb{N})(a_n\geq 0), \] \(K\) be a closed convex cone in a real Banach space \((X,\|\cdot\|)\), \(H:K\to cc(K)\) be a linear and continuous set-valued function, \(F^t: K\to cc(K)\) be given by \[ (\forall t\geq 0)(\forall x\in K)\Biggl(F^t(x)= \sum^{+\infty}_{n=0} a_n t^n H^n(x)\Biggr) \] and \[ (\forall x\in K)((H\circ (I+H))(x)\subset ((I+ H)\circ H)(x)), \] where \[ (\forall x\in K)(\forall(t,s)\in (0,+\infty)\times (0,+\infty))\Biggl((F^t\circ F^s)(x)+ \sum^{+\infty}_{n=0} c_n H^n(x)\Biggr), \] where \[ (\forall n\in\mathbb{N}_0)\Biggl(c_n= \sum^n_{k=0} a_k a_{n-k} t^k s^{n-k}\Biggr). \] This theorem is a generalization, independent of the coefficients of the series, of the paper by \textit{A. Smajdor} [Aequationes Math. 75, No. 1--2, 149--162 (2008; Zbl 1148.39020)].