A Stirling-like method with Hölder continuous first derivative in Banach spaces (Q555343)

Let \(X\) be a Banach space, and \(F:\Omega\subseteq X\to X\) be a Fréchet differentiable operator. Further, let \(x_0\in \Omega\) be such that \(y_0:=F(x_0)\in \Omega\) and the following conditions hold: {\parindent9mm \begin{itemize}\item[(i)] \(\Gamma_0:=(I-F'(y_0))^{-1}\in BL(X,X)\) and (\(\exists \beta> 0\)), \(||\Gamma_0||\leq \beta\); \item[(ii)] (\(\exists \eta> 0\)), \(||z_0-x_0||\leq \eta\), where \(z_0:=x_0-(I-F'(y_0))^{-1}(x_0-F(x_0))\); \item[(iii)] (\(\exists \alpha\in [0,1)\)), \(||F'(x)||\leq \alpha\), \(\forall x\in \Omega\); \item[(iv)] (\(\exists \delta> 0\)), \(||I-F'(x)||\leq \delta\), \(\forall x\in \Omega\); \item[(v)] (\(\exists p\in (0,1], K\geq 0\)): \(||F'(x)-F'(y)||\leq K||x-y||^p\), \(\forall x,y\in \Omega\); \item[(vi)] \(\bar B(x_0,r\eta)\subseteq \Omega\), where \(r> 0\) depends on the above data. \end{itemize}} Then, for the iterative method \[ [y_n=F(x_n),\quad z_n=x_n-(I-F'(y_n))^{-1}(x_n-F(x_n)),\quad x_{n+1}=z_n-(I-F'(y_n))^{-1}(z_n-F(z_n))] \] we have the conclusions:{\parindent10mm \begin{itemize}\item[(C1)] \((x_n)\) converges to some \(x^*\in \text{Fix}(F)\), with \(R\)-order at least \((1+p)\); \item[(C2)] the iterates \((x_n)\), \((z_n)\) belong to \(\bar B(x_0,r\eta)\); \item[(C3)] the fixed point \(x^*\) belongs to \(\bar B(x_0,r\eta)\) and is uniquely determined within \(B(x_0,2/(K\alpha\beta)-r\eta)\); \item[(C4)] the a priori error bounds on \(x^*\) is given by \(||x_n-x^*||\leq (1+qa_0)\gamma^\lambda\Delta^n\eta/(1-\gamma^\mu\Delta)\), where \(\lambda=((1+p)^n-1)/p^2\), \(\mu=(1+p)^n/p\). \end{itemize}} Two numerical examples are also given to illustrate the method.