Convergence of iterative methods for unbounded operator equations (Q1101944)

A linear operator \(C:X\to Y\) is called a linearizing operator of a nonlinear (unbounded) operator \(A:X\to Y\) at \(\hat x\in {\mathcal D}(A)\) if \({\mathcal D}(A)\subset {\mathcal D}(C)\) and numbers \(\epsilon\geq 0\) and \(\delta >0\) can be found such that \[ \| A(x)-A(\hat x)-C(x-\hat x)\| \leq \epsilon \| x-\hat x\| \] for all \(x\in {\mathcal D}(A)\) with \(\| x- \hat x\| <\delta\). A point \(x^*\in X\) is called a strong solution of an equation \(A(x)=0\) if there is \(\{x_ n\}\subset {\mathcal D}(A)\) such that \(x_ n\to x^*\) and \(\| A(x_ n)\| \to 0.\) Theorem. Let \(A:X\to Y\) possess a linearizing operator \(C_ x\) (with constants \(\epsilon_ x,\delta_ x)\) for every \(x\in U^ 0\) such that \(C_ x\) is invertible, \(\| c_ x^{-1}\| \leq \gamma_ x\leq \gamma\), \(\epsilon_ x\cdot \gamma_ x\leq \vartheta <1\), \(\gamma_ x\| A(x)\| /\delta_ x<K\), \(\gamma \| A(x^ 0)\| /(1- \vartheta)<r\). Then the equation \(A(x)=0\) has a strong solution in \(S(x^ 0,r)\) and the sequence \(\{x^{(n)}\}\subset U^ 0\) where \(x^{(0)}=x^ 0\) and \[ x^{(n+1)}=x^{(n)}-C_ x^{- 1}(n)(A(x^{(n)}))/\max (1,K)\quad (n\geq 0) \] converges to it. A special type of A of the form \(A=T+F\) where T is linear unbounded and F is Fréchet differentiable is then investigated and an application to the boundary value problem for the equation \(\partial_ tu= a\partial_ x u+ f(x,t,u)\) is given.