Все выпуски

Доказывается принцип максимума для терминальной задачи оптимизации нелинейной управляемой системы Гурса–Дарбу с полной каратеодориевской правой частью уравнения при общих условиях, позволяющих искать решения системы в классе функций с суммируемой в некоторой степени смешанной производной.

The maximum principle in the terminal optimization problem for general nonlinear Goursat–Darboux system is proved. The right part of differential equation is Caratheodory function. We consider the case when a mixed derivative of system solution is summable function.

Рассматривается терминальная задача оптимизации нелинейной управляемой системы Гурса-Дарбу с полной каратеодориевской правой частью уравнения в случае, когда необходимо искать решения системы в классе функций с суммируемой в некоторой степени $p>1$ смешанной производной. Показывается, что если правая часть аффинна по производным и они в ней аддитивно отделены от управления, то вырождение поточечного принципа максимума (необходимого условия оптимальности первого порядка при игольчатом варьировании управления) всегда является сильным, то есть на особом управлении принципа максимума одновременно с принципом максимума вырождаются и условия оптимальности второго порядка. Приводятся необходимые условия оптимальности особых управлений в этой ситуации, обобщающие известные сходные условия, относящиеся к случаю решений с ограниченной смешанной производной и более гладких правых частей уравнений.

The paper deals with the terminal optimization problem connected with the Goursat-Darboux control system. The right-hand side of the differential equation is a full nonlinear Caratheodory function. We consider the case in which solutions of the Goursat-Darboux system necessarily belong to a class of functions with $p$-integrable (for some $p>1$) mixed derivatives. In our case a choice of this class is defined by boundary functions. We study singular controls in the sense of the pointwise maximum principle that are controls for which this principle is strong degenerate, i.e., degenerate together with second-order optimality conditions. It is shown that for strong degeneration of the pointwise maximum principle it is sufficient that right-hand side with respect to state derivatives is affine and these derivatives and control are separated additively. Necessary optimality conditions of the singular controls are given for this case. These conditions generalize similar necessary optimality conditions which were obtained for more smooth right-hand sides in the case of solutions with bounded mixed derivatives.

Пусть n,m, ℓ, s ∈ N – заданные числа, П ⊂ Rⁿ – измеримое по Лебегу множество, X, Z – банаховы идеальные пространства измеримых на П функций. Рассматривается нелинейное операторное уравнение:

x = θ + AF[x], x ∈ X^ℓ, (1)

где A : Z^m → X^ℓ – линейный ограниченный оператор, F : X^ℓ → Z^m – некоторый оператор. Уравнение (1) является естественной формой описания широкого класса сосредоточенных и распределенных систем. Ранее В.П. Политюковым был предложен метод монотонизации для обоснования разрешимости уравнения вида (1) и получения поточечных оценок решения. Суть его состояла в том, что разрешимость уравнения (1) доказывалась (помимо прочих условий) для случая, когда I) оператор F допускал поправку вида G = λI до монотонного оператора F[x] = F[θ+x]+G[x] такую, что II) (I +AG)⁻¹A > 0 (λ > 0, I  тождественный оператор). Как видно из примеров, приведенных в данной статье, условия I) и II) могут противоречить друг другу, что сужает сферу применения метода. Основной результат статьи в том, что в случае оператора A, обладающего свойством вольтерровости, естественным для эволюционных уравнений, требование монотонизируемости I) можно заменить требованием оценки оператора F на некотором конусном отрезке сверху и снизу через линейный оператор G плюс фиксированный элемент. Доказывается, что для глобальной разрешимости начально-краевой задачи, связанной с полулинейным эволюционным уравнением, достаточно, чтобы аналогичная начально-краевая задача, связанная с линейным уравнением, полученным путем оценки правой части исходного полулинейного уравнения на некотором конусном отрезке, имела положительное решение. В качестве иллюстрации рассматривается применение указанных результатов к системе Гурса–Дарбу, задаче Коши для волнового уравнения и первой краевой задаче для уравнения диффузии.

Let  n,m, ℓ, s ∈ N be given numbers, П ⊂ Rⁿ be a set measurable by Lebesgue and  X, Z  be some Banach ideal spaces of functions measurable on . We consider a nonlinear operator equation of the form as follows:

x = θ + AF[x], x ∈ X^ℓ, (1)

where A : Z^m → X^ℓ is bounded linear operator, F : F : X^ℓ → Z^m is some operator. Equation (1) is a natural form of lumped and distributed parameter systems from a wide enough class. Formerly, by V.P. Polityukov it was suggested monotonization method for justification of solvability of equation (1) and obtaining pointwise estimations for solutions. The matter of this method consisted in that solvability of equation (1) was proved (besides other conditions) under following: I) operator F allows some correction of the form G = λI to monotone operator F[x] = F[θ+x]+G[x] such that II) (I +AG)⁻¹A > 0 (λ > 0, I is identity operator). As our examples show, conditions I) and II) may be contradictory to each other, that narrows a sphere of application of the method. The main result of the paper is that for the case of operator A, possessing the Volterra property, which is natural for evolutionary equations, the requirement I) of ability to be monotonized can be replaced by the requirement of some upper and lower estimates for operator F on some cone segment through linear operator G and additional fixed element. We prove that for global solvability of a boundary value problem associated with a semilinear evolutionary equation it is sufficient that analogous boundary value problem associated with linear equation, derived from the original equation by estimating of a right-hand side on some cone segment, have a positive solution. The application of results obtained is illustrated by Goursat–Darboux system, Cauchy problem associated with wave equation and first boundary value problem associated with diffusion equation.