Existence theorems for \(m\)-accretive operators in Banach spaces (Q2566776): Difference between revisions

The article deals with \(m\)-accretive and \(\phi\)-expansive mappings in arbitrary real Banach spaces. An operator \(A: \;D(A) \subseteq X \to 2^X\) (\(X\) is a real Banach space) is called \(m\)-accretive if \[ \| u - v\| \leq \inf \| u - v - \lambda(Au - Av)\| \qquad (u, v \in D(A), \;0 < \lambda < \infty) \] and \((I + \lambda A)D(A) = X \;(0 < \lambda < \infty)\). An operator \(A: \;D(A) \subseteq X \to 2^X\) is called \(\phi\)-expansive if \[ \| u - v\| \geq \phi(\| x - y\| ) \qquad (u \in Ax,\;v \in Ay); \] here \(\phi: [0,\infty) \to [0,\infty)\) is a fixed continuous function such that \(\phi(0) = 0\), \(\phi(r) > 0 \;(r > 0)\). The main result is the following: if \(A\) is \(m\)-accretive and \(\phi\)-expansive, then it is surjective.