Range of Gateaux differentiable operators and local expansions (Q1056893)

Let \(X\) and \(Y\) be Banach spaces, and \(P:X\to Y\) a Gateaux differentiable operator having closed graph. Suppose that there is a continuous function \(c: [0,\infty)\to (0,\infty)\) satisfying \[ dP_ x(\bar B(0;1))\supseteq \bar B(0;c(\| x\|)). \] Then it is shown that for any \(K>0\) (possibly \(K=\infty\)), \(P(B(0;K))\) contains \(B(P(0);\int^{K}_{0}c(s)ds)\), where we denote by \(B(w;r)\) the set \(\{y;\| y-w\| <r\}\), and \(\bar B(\)w;r) its closure. Similar results are obtained for local expansions and locally strongly \(\phi\)-accretive operators. These results extend a number of known theorems by giving the precise geometric estimations for normal solvability of \(Px=y\).