Scientific journal
Modern problems of science and education
ISSN 2070-7428
"Перечень" ВАК
ИФ РИНЦ = 1,006

ABOUT POINT COMPLETENESS OF EQUATION SYSTEMS IN PARTIAL DERIVATIVES OF THE HYPERBOLIC TYPE

Василева М.В.
The theory of optimal system control with distributed parameters has wide practical application in controlling the technological processes which are based on substance, impulse and energy transfer events. In the present paper the author proves the point completeness of the equation systems in partial derivatives of the hyperbolic type which are used to describe objects with distributed parameters.

Теория управления объектами с распределенными параметрами стала разрабатываться уже после того, как были получены основные результаты в теории оптимизации для обыкновенных дифференциальных уравнений [1] и в отличие от последней, имеет гораздо менее завершенный характер. Это связано с трудностью исследования уравнений в частных производных, при наличии сложных граничных и начальных условий, а также с усложнением характера дополнительных ограничений, вызванных конкретными практическими постановками задач.

В настоящее время есть много работ, освещающих те или иные проблемы теории оптимального управления объектами, состояние которых описывается дифференциальными уравнениями в частных производных. Среди них: оптимальные задачи, вопросы существования и апроксимации оптимальных решений, управляемость, наблюдаемость и идентификация объектов, необходимые и достаточные условия оптимальности процесса и др.

В данной работе исследуется вопрос о точечной полноте систем уравнений в частных производных гиперболического типа.

Понятие точечной полноты впервые было введено L. Weiss’ом, [3], который использовал его при исследовании управляемости систем с запаздыванием. До сих пор доказана точечная полнота линейных систем без запаздывания, при достаточно малом запаздывании [2] и др.

Пусть состояние объекта с распределенными параметрами описывается следующей системой уравнений в частных производных гиперболического типа:

                                   (1)

где x - n вектор, характеризирующий состояние системы,  постоянные матрицы, 

Для того, чтобы однозначно определить решение системы, зададим дополнительные условия типа Гурса на характеристиках  и  системы:

                                                             (2)

и условие согласованности:

Определение: Систему (1) – (2) назовем точечно полной, если для любого n - вектора p,  ¹ 0 и любых  выполняется:

  0

Попробуем найти условия, при которых система (1) – (2) будет точечно полной. Для этого сначала запишем решение системы в более компактном виде. Вводим неизвестную матричную функцию  размерности , для которой предполагаем, что непрерывна по совокупности аргументов вместе с производными по  и . Умножим систему (1) слева на  и проинтегрируем в пределах от 0 до t и от 0 до s:

Применяя формулу интегрирования по частям и замены порядка интегрирования, преобразуем все интегралы в левой и правой части последнего равенства, после чего получаем:

Поскольку функция  неопределенная, потребуем от нее выполнения следующих условий:

          (3)

                                     (4)

 

                                              (5)

где  единичная матрица.

Сопряженная с системой (1) система (3), вместе с дополнительными условиями (4) на прямых  и  и условие (5) в точке  полностью определяют функцию , которую по аналогии с математической физикой можно назвать матричной функцией Римана.

Теперь, учитывая (3) - (5), можем записать решение системы (1) - (2) в следующем компактном виде:

                (6)

Допустим теперь, что система (1) не является точечно полной. Тогда, согласно определению точечной полноты, существует n – вектор  , что для любых  выполняется:

Имея ввиду (6) это условие запишется в виде:

                    (7)

Поскольку функции и  произвольные, для выполнения (7) необходимо и достаточно выполнения следующих условий:

                                                   (8)

Обозначим теперь через  вектор функцию:

Из формул (3) и (8) следует, что  удовлетворяет следующему дифференциальному уравнению:

                    (9)

с дополнительными условиями на прямых  и :

 

 

Поскольку (9) - однородное относительно функции , а начальные условия - нулевые, то следует, что:

 для  и                                (10)

Таким образом показали, что система (1) - (2) будет точечно неполной тогда и только тогда, когда существует n – вектор p, , что выполняется условие (10).

Допустим, что система (1) - (2) точечно неполная. Тогда существует вектор p, ,что выполняется  в . Вычислим  в точке . Поскольку имеет место (10), то:

С другой стороны, согласно (5) имеем:

Выполнение последних двух равенств возможно лишь при условии, что . Это противоречит допущению, что . Таким образом доказали следующую теорему:

Теорема:

Система (1) - (2) точечно полная.

СПИСОК ЛИТЕРАТУРЫ:

1. Габасов Р., Ф.Кириллова. Качественная теория оптимальных процессов. Москва, „Наука”, 1971.

2. Зверкин А.М. О точечной полноте систем с запаздыванием. // Дифференциальные уравнения. 1973, том IX, №3

3. Weiss, L. On the Controllability of Delay-Differential Systems,. SIAM, J. Control,. vol. 5, No. 4, 1967, PP. 575-587.