This talk is devoted to the numerical analysis of abstract semilinear parabolic problem in Banach space $E^\alpha$ $$ \begin{array}{l} u'(t) = Au(t) + f(u(t)), \, t \ge 0, \\ u(0)=u^0 \in E^\alpha, \end{array} $$ where $f(\cdot) :E^\alpha\ \subseteq E \to E, \, 0 \le \alpha <1,$ is assumed to be continuous, bounded and continuously Fr\'{e}chet differentiable function, the operator $A$ generates analytic $C_0$-semigroup. We are developing a general approach to establish a discrete dichotomy in a very general setting and prove shadowing theorems that compare solutions of the continuous problem with those of discrete approximation in space and time. It is well-known fact that the phase space in the neighborhood of the hyperbolic equilibrium can be split in a such way that the original initial value problem is reduced to initial value problems with exponential decaying solutions in opposite time direction. We use the theory of compact approximation principle and collectively condensing approximation to show that such a decomposition of the flow persists under rather general approximation schemes. The main assumption of our results are naturally satisfied, in particular, for operators with compact resolvents and condensing semigroups and can be verified for finite element as well as finite difference methods.

Ключевые слова: abstract differential equations in Banach spaces, discretization methods, stability of difference schemes, discrete semigroups, Banach spaces, unstable manifolds, the neighborhood of the hyperbolic equilibrium