The approximation approach to construction of solutions of boundary value problems on non-compact riemannian manifolds

This paper is devoted to the development of approximation approach to the construction of solutions of boundary value problems for semilinear elliptic equations on arbitrary non-compact Riemannian manifolds. Methods of studies are essentially based on approach based on the introduction of equivalence classes of functions on Riemannian manifold [5; 6; 9]. Also it summarizes the methodology for constructing a generalized solution of the Dirichlet problem for linear elliptic equations in bounded domains of and arbitrary noncompact Riemannian manifolds (see: [2; 3, p. 237-240]). To date, there are several approaches to the introduction of the generalized solution of boundary value problems. One of them is based on Hilbert space methods and allows you to define the action elliptic operator on a much wider class functions, rather than class 𝐶2. Another approach to the construction of generalized solutions of elliptic equations originates in papers of Poincare late 19th century. He created a method allowing to consider solutions Dirichlet problem without any restrictions on the domains in which it can be solved, but remaining in the classical assumptions with respect to continuity of boundary data. Ideas of this method were embodied in papers of Perron, Vallee Poussin, M.V. Keldysh, A.A. Grigoryan. In this paper we study bounded solutions of the semilinear equation (2) Δ𝑢 = (|𝑢|)𝑢, where ( ) - nonnegative nondecreasing continuously differentiable function in the ≥ 0. We introduce the following notation. Let be an arbitrary smooth connected noncompact Riemannian manifold without boundary and let {𝐵𝑘}∞𝑘 =1 be an exhaustion of 𝑀, i.e., a sequence of precompact open subsets of such that ⊂ ⊂ 𝐵𝑘+1 and = ⋃︀∞𝑘 =1 𝐵𝑘. Throughout the sequel, we assume that boundaries are 𝐶1-smooth submanifolds. Let 𝑓1 and 𝑓2 be arbitrary continuous functions on 𝑀. Say that 𝑓1 and 𝑓2 are equivalent on and write 𝑓1 ∼ 𝑓2 if for some exhaustion {𝐵𝑘}∞𝑘 =1 of we have lim 𝑘→∞ sup 𝑀∖𝐵𝑘 |𝑓1 - 𝑓2| = 0. It is easy to verify that the relation ” ∼ ” is an equivalence which does not depend on the choice of the exhaustion of the manifold and so partitions the set of all continuous functions on into equivalence classes. Denote the equivalence class of a function by [𝑓]. A function is called asymptotically nonnegative whenever there exists a continuous function ≥ 0 on with ∼ 𝑓. Say that a boundary value problem for (2) is solvable on with boundary conditions of class [𝑓] whenever there exists a solution 𝑢(𝑥) to (2) on with ∈ [𝑓]. We introduce the concept of a generalized solution of the boundary value problem with the boundary the conditions of the class [𝑓] for the equation (2) on manifold 𝑀. To do this, we consider the sequence of decisions boundary value problems (3) in {︂ Δ𝑢𝑘,𝑓 = 𝑢𝑘,𝑓 (|𝑢𝑘,𝑓 |) i𝑛 𝐵𝑘, 𝑢𝑘,𝑓 |𝜕𝐵𝑘 = 𝑓|𝜕𝐵𝑘. It is shown that the above sequence 𝑢𝑘,𝑓 of decisions has a convergent subsequence with limit function 𝑢𝑓, which is a solution of equation (2). In the case when there are no solutions of equation (2) with the boundary conditions of the class [𝑓] on the manifold 𝑀, the function 𝑢𝑓, described above, call a generalized solution of equation (2) with the boundary conditions of the class [𝑓]. Remark. This approximate approach to the definition of a generalized solution of the boundary value problem (in particular, the Dirichlet problem) for harmonic functions in bounded domains of R𝑛 goes back to the works of Wiener and Keldysh (see [3, p. 237-296]), and similar studies for linear elliptic equations on manifolds were held earlier in [2]. Proof of the main results is based on the principle of maximum, theorem of uniqueness for solutions of linear elliptic differential equations and similar results for solutions of quasilinear elliptic differential equations on precompact subset of (see [5; 6]). The following theorem is the main result. Theorem 1. Let - asymptotically non-negative continuous bounded on function, then 1) the sequence of functions 𝑢1,𝑓,..., 𝑢𝑘,𝑓,... is a solution of (3) converges uniformly on to the limit function ; 2) the function does not depend on the exhaustion {𝐵𝑘}∞𝑘 =1 manifold and representative of the equivalence class; 3) if a class [𝑓] is valid for the equation (2), then the function is the only solution of the equation (2) on such that ∈ [𝑓], those ≡ 𝑢.