Inexact orbits of holomorphic mappings in complex Banach spaces

From MaRDI portal
Publication:2255135





This note contains two stability results on infinite-dimensional holomorphic dynamical systems. Let \(\Omega\subset X\) be a bounded convex domain in a complex Banach space \(X\), and \(f:\Omega\to\Omega\) a holomorphic self-map of \(\Omega\). Assume that \(f(\Omega)\) is strictly inside \(\Omega\), that is, that the distance between \(f(\Omega)\) and \(\partial\Omega\) is strictly positive. Then it is well known that under these assumptions \(f\) has a unique fixed point \(z_f\in\Omega\), and that the orbit (under the action of \(f\)) of any point \(z_0\in\Omega\) converges to~\(z_f\). Here the authors show that \(z_f\) is stable under perturbations on~\(f\): for any \(\varepsilon>0\) there exists \(\delta>0\) such that any holomorphic self-map \(g:\Omega\to\Omega\) satisfying \(\|g(z)-f(z)\|\leq\delta\) for all \(z\in\Omega\) has a unique fixed point \(z_g\in\Omega\) and, moreover, \(\|z_g-z_f\|\leq\varepsilon\). The authors also show that for any \(\varepsilon>0\) there exists \(\delta>0\) such that any \(\delta\)-pseudo-orbit \(\{z_j\}\) (i.e., \(\|z_{j+1}-f(z_j)\|\leq\delta\) for all \(j\geq 0\)) is eventually \(\varepsilon\)-close to~\(z_f\), that is \(\|z_j-z_f\|\leq\varepsilon\) for all \(j\) large enough.











This page was built for publication: Inexact orbits of holomorphic mappings in complex Banach spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255135)