The solution existence and convergence analysis for linear and nonlinear differential-operator equations in Banach spaces within the Calogero type projection-algebraic scheme of discrete approximations (Q2268526): Difference between revisions

The article deals with projective methods of solving differential operator equations of type \[ Au = f(u)\tag{1} \] in an open region \(\Omega \subset {\mathbb R}^q\) with a linear differential operator \[ A = \sum_{|\beta|=0}^m a_\beta(x) \frac{\partial^\beta}{\partial x^\beta} \] with smooth coefficients and a nonlinear operator \(f: X \to Y\), where \(X\) and \(Y\) are Banach spaces; it is assumed that \(A\) is dense defined and \(\overline{\text{Range} \, A} = Y\) or even \(\text{Range} \, A = Y\). Further, the authors write (the numerous references are omitted): ``Aiming to construct discrete approximations of equation (1), suitable for effective computer calculations we develop further a projective-algebraic approach, based on functional-analytic Lie-algebraic scheme of works \dots Making use of general properties \dots of approximating finite-dimensional Banach subspaces, we present first necessary convergence conditions of the projecion-algebraic discrete approximation method \dots for a constant mapping \(f: X \to Y\) both in general case and in the case of functional-interpolation scheme of discrete approximations, added for finite-dimensional quasi-representation of basic Heisenberg-Weil operator algebra. Next, employing results of works \dots on the existence of solutions to nonlinear operator equations, based on a generalized Leray--Schauder type theorem, we describe sufficiently effective solvability and convergence conditions of the projective-algebraic method of discrete approximations for the case of nonlinear continuous \(A\)-compact mapping \(f: X \to Y\) and closed linear surjective operator \(A: X \to Y\).'' The results obtained in the article are similar to the classical ones touching upon nonlinear operator equations. The specific character of the results in the article is connected with the construction of finite-dimensional approximate subspaces in Sobolev spaces. However, some details in the corresponding construction are vague; in particular, the authors do not explain the role of boundary conditions.