On approximation by discrete semigroups (Q1801562)

The author considers the following main mathematical objects: A sequence \((X_ n)\) of Banach spaces approximating in some sense the Banach space \(X\); a sequence of bounded linear operators \((F_ n)\), \(F_ n: X_ n\to X_ n\); a sequence of positive reals \((\rho_ n)\), \(\rho_ n\to 0\) and the sequences \((F_ n^ k)_ k\) of discrete parameter semigroups attached to \((F_ n)\). One constructs the operators \(A_ n= \rho_ n^{-1}(F_ n-I)\), \(n=1,2,\dots\) and the operator \(\widetilde {A}: D(\widetilde{A}) \subseteq X\to X\), \(\widetilde {A}\) being the ``\(\liminf A_ n\)'' in a certain sense. It is proved that under some conditions on the invoked objects, the operator \(\widetilde {A}\) is the infinitesimal generator of a continuous semigroup \(T(t)\), \(t>0\) on \(X\) and \(T(t)\) is a ``limit'' of the sequence \((F_ n^{[t/\rho_ n]})\). The results are different from those in \textit{G. Görlich} and \textit{D. Pontzen} [Tôhoku Math. J., II. Ser. 34, 539-552 (1982; Zbl 0498.47016)] on the same theme. As an application, using finite differences one obtains a sequence of approximative solutions of a Cauchy problem in a Banach space.