Existence and uniqueness of solutions of functional equations arising in dynamic programming (Q434685)

In this paper ``opt'' denotes ``inf'' or ``sup''. Suppose that \(S \subset X\) and \(D \subset Y\), where \(X\) and \(Y\) are two Banach spaces. Let \(u, p_{i}, q_{i} : S \times D \to \mathbb{R}\), \(a_{i}: S \times D \to S\) and \(A_{i}: S \times D \to \mathbb{R}\) are given functions.NEWLINENEWLINEThe authors consider the following two functional equations NEWLINE\[NEWLINEf(x) = \mathop{\text{opt}}_{y \in D}\mathop{\text{opt}} \{u(x,y), p_{i}(x,y) + A_{i}(x,y,f(a_{i}(x,y))): i = 1,2 \}\tag{1}NEWLINE\]NEWLINE and NEWLINE\[NEWLINE f(x) = \mathop{\text{opt}}_{y \in D}\mathop{\text{opt}} \{u(x,y), p_{i}(x,y) + q_{i}(x,y)f(a_{i}(x,y)): i = 1,2,3 \}.\tag{2}NEWLINE\]NEWLINE Three existence and uniqueness theorems for equations (1) and (2) and one existence theorem for (2) are proved. Some fixed point theorems (for example the Boyd-Wong theorem) are applied in the proofs.