О слабых решениях нагруженного гиперболического уравнения с однородными краевыми условиями

Abstract

Рассматривается смешанная задача с однородными краевыми условиями для нагруженного волнового уравнения, содержащего интеграл по пространственной переменной от натуральной степени модуля решения. Вводится определение слабого решения данной задачи, для которого исследуются вопросы существования и единственности. Для доказательства существования решения используется метод компактности, который формально заключается в том, что при доказательстве сходимости приближенного решения, построенного методом Галеркина, существенно используются вполне непрерывные вложения пространств Соболева. Для использования метода необходимы априорные оценки решения задачи, которые частично установлены в предыдущих работах автора и в предлагаемой статье. Вслед за этим строятся приближенные галеркинские решения. Существование приближенных решений доказывается с помощью теоремы существования для обыкновенных дифференциальных уравнений. После этого производится предельный переход, соответствующий устремлению размерности пространства к бесконечности. Здесь возникает основная трудность применения метода, связанная с нелинейностью уравнения и состоящая в доказательстве компактности семейства приближенных решений. Для этого используются теоремы о компактности вложения пространств Соболева заданного порядка в пространства Соболева меньшего порядка. Единственность слабого решения доказывается стандартной процедурой из теории линейных и нелинейных гиперболических уравнений. A mixed problem with homogeneous boundary conditions is considered for the loaded wave equation containing an integral over the spatial variable from the natural degree of the solution module. The definition of the weak solution of this problem is introduced, for which the questions of existence and uniqueness are studied. The compactness method is used to prove the existence of the solution. The idea of the method is that when proving the convergence of an approximate solution built by the Galerkin method, completely continuous embeddings of Sobolev spaces are essentially used. A priori estimates of the solution of the problem are necessary for use this method. Those estimates are partially established in the previous works of the author, and partially are established in the proposed article. Following this, the approximate Galerkin solutions are built. The existence of approximate solutions is proved by the existence theorem for ordinary differential equations. After that, a limit transition is made, as corresponding to the aspiration of the space dimension to infinity. Here comes the main difficulty of applying this method. It is related to the nonlinearity of the equation and consists in proving the compactness of the family of approximate solutions. For this purpose, theorems on the compactness of embedding Sobolev spaces of a given order in Sobolev spaces of a smaller order are used. The uniqueness of the weak solution is proved by a standard procedure from the theory of linear and nonlinear hyperbolic equations.