Convergence rates for boundedly regular systems (Q2230696)

Let \(\mathcal{H}\) be a real Hilbert space; an operator \(T \colon \mathcal{H} \to \mathcal{H}\) is called Hölder regular on \(U \subseteq \mathcal{H}\) if there exist \(\kappa > 0\) and \(\gamma \in (0,1)\) such that \[ d(y, \mathrm{Fix }\,T) \leq \kappa \parallel y - T(y) \parallel^\gamma \quad \forall y \in U. \] If \(T\) is Hölder regular on each bounded subset of \(\mathcal{H}\) then it is called boundedly Hölder regular. If the corresponding property is true for \(\gamma = 1,\) the operator \(T\) is called boundedly linearly regular. The main result. Let \(T\) be nonexpansive with Fix\(\, T \neq \emptyset\) and \(\lambda \colon [0, +\infty) \to [0,1]\) be Lebesgue measurable function with \(\lambda^\star := \inf_{t\geq0} \lambda (t) >0.\) Let \(x\) be the unique strong global solution of the equation \[ \dot{x}(t) = \lambda (t)(T(x(t)) - x(t)), \quad x(0) = x_0. \] If \(T\) is boundedly linearly regular, then there exists \(\overline{x} \in \mathrm{Fix }\,T\) such that for almost all \(t \in [0,+\infty)\) the following estimate holds: \[ \parallel x(t) - \bar{x} \parallel \leq 2 \exp \Big(- \frac{\lambda^\star}{2\kappa^2}t\Big)\, d(x_0, \mathrm{Fix }\,T). \] An analogous result is also valid for the case of a boundedly Hölder regular operator \(T.\)