Asymptotic estimates of a projection-difference method for an operator-differential equation (Q2863114)

The article deals with the Cauchy problem NEWLINE\[NEWLINEu'(t) + Au(t) + K(t)u(t) = h(t), \;\;u(0) = 0,\tag{1}NEWLINE\]NEWLINE where \(A\) is a self-adjoint positive definite operator in a separable Hilbert space \(H\) with the domain \(H_1\) which is a separable Hilbert space densely and compactly embedded in \(H\), \(K(t)\) is a strongly continuously differentiable on \([0,T]\) operator-function and such that NEWLINE\[NEWLINE\|K(t)v\| \leq c\|Av\|^\alpha \|v\|^{1 - \alpha}, \;\;0 \leq \alpha < 1,NEWLINE\]NEWLINE NEWLINE\[NEWLINE\|K'(t)v\| \leq c\|Av\|^{\alpha_1} \|v\|^{1 - \alpha_1}, \;\;0 \leq \alpha_1 < 1.NEWLINE\]NEWLINE The approximate solution to (1) is defined due to the Petrov-Galerkin method as solutions to the following Cauchy problem NEWLINE\[NEWLINEP_nu_n'(t) + Au_n(t) + P_nK(t)u_n(t) = P_nh(t), \;\;u_n(0) = 0,\tag{2}NEWLINE\]NEWLINE where \(P_n\) is the orthogonal projection in \(H\) onto the linear span \(H^n\) of the elements \(\{e_1,\dots,e_n\}\) from a complete orthogonal system \(\{e_1,\dots,e_n,\dots\}\) and \(u_n(t) = \sum_{s=1}^n \alpha_s(t)A^{-1}e_s\). The main result is the theorem about the convergence in \(\overset{\circ}{W_2^1}(H,H_1)\) of the approximate solutions \(u_n(t)\) of (2) to the exact solution \(u(t)\) of (1) and the estimates for \(\|u_n - u\|\) of type \(O(g^\frac12(n))\) where \(g(n) = \|A^{-1}(I - P_n)\|_{H \to H}\). Further, the Cauchy problem (2) is changed onto its full discretization with the step \(\tau\) and the corresponding final errors are obtained in the form \(O(\tau + g^\frac12(n))\). The abstract theorems are illustrated with two examples of parabolic equations.