Stability of solutions to the Cauchy problem with respect to linear approximation, and branching equation in the root subspace (Q744301)

In the first part of this paper, the authors consider the following Cauchy problem \[ \dot{x}=Bx,\quad x(0)=x_0. \] Assuming that: {\parindent=8mm \begin{itemize}\item[I.] \(B\) is a closed linear Fredholm operator with domain \(D(B)\) that is dense in a Banach space \(E\) and with range \(R(B)\subset E\), and \(B\) is a generating operator of a strongly continuous \(C_0\)-semigroup \(U(t)\); \item[III.] the zero subspace \(N(B)\) is nontrivial; moreover, complete Jordan sets \(\{\varphi_i^{(j)}\}_{i=1,j=1}^{n,p_i}\) and \(\{\psi_i^{(j)}\}_{i=1,j=1}^{n,p_i}\) correspond to the basis elements \(\{\varphi_i\}_1^n\) in \(N(B)\) and the defect functionals \(\{\psi_i\}_1^n\) in \(N^*(B)\) of the operator \(B\); \end{itemize}} it is proved, in particular, that \(x=0\) is asymptotically stable in the class of initial values \(x_0\in E^{\infty-k_B}\cap D(B)\). Next, under two additional assumptions: {\parindent=8mm \begin{itemize}\item[II.] \(R(x)\) is a sufficiently smooth nonlinear operator, \(R(0)=0\), that is defined in \(\Omega(0)\) and satisfies the local Lipschitz condition \[ \|R(x_1)-R(x_2)\|\leq C\max{^\beta}(\|x_1\|,\|x_2\|)\|x_1-x_2\|; \] \item[IV.] the semigroup is assumed exponentially to decay on \(E^{\infty-k_B}:\;\|U(t)x\|\leq M\exp(-\alpha t)\|x\|\) for all \(x\in E^{\infty-k_B}\) and \(t\in[0,+\infty)\) with some \(M,\alpha>0\); \end{itemize}} it is proved that if \(PR(x)=0\) (\(P\) is a projector onto the root subspace), then there exist \(\rho>0\) and \(r>0\) such that for any \(x_0\in E^{\infty-k_B}\), \(\|x\|_{\rho}<0\), the Cauchy problem \[ \dot{x}=Bx-R(x),\quad x(0)=x_0, \] has a unique generalized solution \(x=x(t)\in C_{\alpha}(E)\) in the ball \(|||{x}|||_{\alpha}<r\) (\(|||{x}|||_{\alpha}=\sup_{t\in\mathbb R^+}\|x(t)\|\exp(\alpha t)\)), which is classical if \(x_0\in E^{\infty-k_B}\cap D(B)\) and is asymptotically stable.