ОБ ОГРАНИЧЕННОСТИ РЕШЕНИЙ КВАЗИЛИНЕЙНОЙ СИСТЕМЫ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ Текст научной статьи по специальности «Математика»

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ И

ПРОЦЕССЫ УПРАВЛЕНИЯ N. 2, 2023 Электронный журнал, рег. Эл. N ФС77-39410 от 15.04.2010 ISSN 1817-2172

http://diffjournal, spbu. ruf e-mail: jodiff@mail.ru

Теория обыкновенных дифференциальных уравнений

ОБ ОГРАНИЧЕННОСТИ РЕШЕНИЙ КВАЗИЛИНЕЙНОЙ СИСТЕМЫ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ

УРАВНЕНИЙ

Мухамадиев Э., Наймов А. Н.

Вологодский государственный университет emuhamadiev@rambler.ru naimovan@vogu35.ru

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

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

1 Введение

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

x'(t) = Ax(t) + f (t,x(t)), x(t) e Rn, t e (-го, +го). (1)

Здесь n > 1, Rn - пространство n-мерных вещественных векторов с евклидовым скалярным произведением (•, •), А - квадратная вещественная матрица порядка n, f (t,y) : R1+n ^ Rn - непрерывное отображение, ограниченное по t при каждом фиксированном y и удовлетворяющее условию

lim |y|-1 sup |f (t,y)| =0. (2)

|уИго teR

В силу условия (??) систему уравнений (??) называем квазилинейной.

Из общих свойств решений систем обыкновенных дифференциальных уравнений [?, гл. 2, §3] следует, что при выполнении условия (??) любое решение x(t) системы уравнений (??) определено при всех t e (-го, +го). Решение x(t) называем ограниченным, если

sup |x(t)| < го.

teR

Исследование ограниченных решений систем обыкновенных дифференциальных уравнений представляет интерес с точки зрения теории и приложения дифференциальных уравнений [?] - [?]. Качественное поведение решений в целом определяется существованием ограниченных решений и взаимным расположением их фазовых траекторий. Ограниченными решениями описываются периодические, почти-периодические и рекуррентные движения в динамических системах.

A

ний, то система уравнений (??) имеет хотя бы одно ограниченное решение [?, гл. 5, §10], [?, гл. 1, §13]. При этом находить ограниченное решение аналитиче-

A f

ограниченное решение системы уравнений (??). Поэтому представляется актуальным вопрос об исследовании ограниченности произвольного решения x(t) системы уравнений (??) при дополнительной информации об ограниченности так называемых наблюдаемых значений вида (ck, x(t)), k = 1,... , m с заданными векторами ck, k = 1,... ,m. Замысел исследования восходит к

одному результату, доказанному в работе [?, гл. 5] и обобщающему теорему Эсклангона для системы линейных неоднородных обыкновенных дифференциальных уравнений с постоянными коэффициентами. Аналог теоремы Эсклангона для нелинейных обыкновенных дифференциальных уравнений высшего порядка исследован и применен в работах [?], [?].

В настоящей работе исследованы условия на матрицу А и векторов ск, к = 1,..., ш, обеспечивающие ограниченность произвольного решения ж(£) квазилинейной системы уравнений (??) при ограниченности наблюдаемых значений (ск, ж(£)), к = 1,... ,ш. Сформулированы и доказаны теоремы, дополняющие известные результаты о наблюдаемости динамических систем [?], [?]. В частности, найдено достаточное условие, которое равносильно условию полной наблюдаемости, известному в математической теории управления [?, гл. 3, §2].

Установление ограниченности произвольного решения ж(£) при обнаружении ограниченности наблюдаемых значений (ок, ж(£)), к = 1,..., ш можно назвать задачей идентификации ограниченных решений для системы уравнений (??). Нам не известно, исследована ли в каких-либо работах задача идентификации ограниченных решений для линейных и нелинейных систем обыкновенных дифференциальных уравнений. В теории управления достаточно изучена задача наблюдаемости для линейных систем (см., напр., [?], [?]), она состоит в однозначном определении ж(£) по наблюдаемым значениям (ск, ж(£)), к = 1,... ,ш.

Новизна настоящей работы состоит в том, что с применением метода предельных уравнений [?] выведены условия, из которых следует ограниченность произвольного решения квазилинейной системы при ограниченности наблюдаемых значений решения. Данный подход позволяет исследовать задачу идентификации ограниченных решений и в тех случаях, когда в системе уравнений (??) матрица А зависит от £ и ж. Практическая значимость получаемых условий заключается в том, что они выводятся в терминах свойств правых частей системы уравнений. Таким образом, не решая систему уравнений вида (??) аналитически или численно, удается вывести условия, из которых следует разрешимость задачи идентификации ограниченных решений. На основе полученных результатов, в дальнейшем, можно исследовать задачу идентификации периодических решений, состоящей в установлении ¡¡-периодичности произвольного решения ж(£) при ¡¡-периодичности наблюдаемых значений.

2 Основные результаты

Вопрос об ограниченности произвольного решения x(t) квазилинейной системы уравнений (??) при ограниченности наблюдаемых значений (ck, x(t)), k = 1,..., m сведем к следующей оценке:

/ m \

max |z(t)| < Ml max |z'(t) - Az(t)| + V max |(ck ,z (t))| ) . (3)

a<t<a+1 \ a<t<a+1 ' W V 71 ^a<i<a+1n V " ' / W

k=1"- /

Данная оценка должна быть верна для любых z(t) G C1 ([a, a + 1]; Rn) и a g ^^e I = [0, или I = (-го, 0], и число M > 0 не зависит от z(t) и a. В силу условия (??) оценка (??) обеспечивает ограниченность решения x(t) системы уравнений (??) па промежутке I при ограниченности (ck, x(t)), k = 1,..., m на I. Заметим, что если оценка (??) верна при a = 0, то она верна при любом a, так как матрица A и векторы ck, k = 1,..., m не зависят от t.

Оценка (??) заимствована из оценки вида

max |y(j}(t)| < Mo Г max |g(t)| + max+1 |y(t)|) , j = 1,... ,n, (4)

a<t<a+1 \ a<t<a+1 a<t<a+1 I

доказанной в теории линейных обыкновенных дифференциальных уравнений [?, гл. 13, §7] для производных y(j)(t), j = 1,..., n произвольного решения y(t) уравнения

y(n)(t) + b1(t)y(n-1)(t) + ... + bn(t)y(t) = g(t), (5)

где b1(t),... , bn(t),g(t) G C[a, a + 1]. В (??) чиело M0 > 0 зависит только от числа b0 > 0, удовлетворяющего условию

bo > Jmax_1 |bj(t)1, j = 1,...,n.

a<t<a+1

Из оценки (??), в частности, вытекает теорема Эсклангона [?, гл. 6, с. 98, 100] об ограниченности на промежутке I производных y(j)(t), j = 1,... ,n решения y(t) при ограниченности y(t) и b1(t),... , bn(t), g(t) па промежутке I.

Если уравнение (??) преобразовать в систему уравнений вида (??), вводя обозначения z1(t) = y(t),z2(t) = y'(t),..., zn(t) = y(n-1)(t), то оценка (??) принимает вид (??), где m = 1 и c1 = (1,0,..., 0)т. Следовательно, оценка (??) верна, если A - матрица Фробениуса и m = 1 c1 = (1, 0,..., 0)т. В

A

и (ck, x(t)) = xk(t) - k-я координата x(t), k = 1,..., m.

Исследуем условия, обеспечивающие оценку (??). Без ограничения общности можно считать, что векторы с\ к = 1,... ,ш линейно независимы. В этом случае 1 < ш < пи матрица

С = [(с1)т;... ;(с'")т],

строки которой совпадают с векторами (ск)т, к = 1,... ,ш, имеет ранг, равный ш: гапк(С) = ш. Если ш = п, то оценка (??) выполняется без каких-либо условий. Поэтому представляет интерес случай, когда гапк(С) = ш и 1 < ш < п. Составим матрицу

В = [С; С А;...; САп-1] (6)

по строкам матриц С, С А,..., САп-1. Имеет место следующая теорема.

Теорема 1 Оценка (77) верна тогда и только тогда, когда гапк(В) = п.

Следствие 1 Если гапк(В) = п, то ограниченность произвольного решения х(Ь) системы уравнений (77) вытекает из ограниченности Сх(Ь).

Теорема ?? при ш = 1 и с1 = (1,0,..., 0)т доказана в работе [?, гл. 5], где теорема Эсклангона обобщена для системы линейных неоднородных обыкновенных дифференциальных уравнений с постоянными коэффициентами.

Условие гапк(В) = п в математической теории управления [?, гл. 3, §2] называют условием полной наблюдаемости. Таким образом, установлено, что оценка (??) равносильна условию полной наблюдаемости.

В случае гапк(В) < п теорему ?? можно дополнить одним результатом. Для этого введем матрицу

Ре = П (А -ХЕ)Р(Х) П (А -ХЕ), (7)

Л € а (А), Л € а (А),

еЕеХ > 0 ЕвЛ = 0

где а(А) - спектр матрицы А 8 € {-1,1} Е - единичная матрица, р(Х) -алгебраическая кратность Л € а(А). Если множество {Л € &(А) : еЯвХ > 0}

Ре = Е Ре

вольное решение автономной системы V = Ау ограничено при еЬ < 0 лишь при выполнении условия Реу(0) = 0 (см., напр., [?, гл. 5, с. 359]).

В дополнении к теореме ?? имеет место

Теорема 2 Пусть выполнено условие

rank[B; P£] = n, (8)

где е равно —1 или 1, матрицы B и P£ определяются формулами (77) и (77). Тогда для произвольного решения, x(t) системы уравнений (77) верна импликация

sup |Cx(t)| sup |x(t)|. (9)

et>0 et>0

Теоремы (??) и (??) доказаны методом предельных уравнений, примененным в работе [?] при исследовании ограниченных решений систем обыкновенных дифференциальных уравнений. Такой подход позволяет обобщить полученные результаты в случае, когда матрица A зависит от t и x.

3 Доказательства теорем

В этом параграфе приведем доказательства теорем 77 и ??. Сначала проверим справедливость следующей леммы.

Лемма 1 Для, произвольного вектора, u G Rn тождество CetAu = 0 t G (t1,t2) равносильно равенствам

Cu = 0, CAu = 0, ..., CAn-1u = 0. (10)

Доказательство. Пусть имеет место тождество CetAu = 0 t G (t1,t2). Проверим, что CetAu = 0 t G R. Для этого достаточно показать, что при любом v G Rm функция ^>(t) = (CetAu, v) тождественно равна нулю на R.

Найдем производных функции ^>(t): ^>(k)(t) = (CAk etAu,v), k = 1, 2,.... Далее, воспользуемся тем, что согласно теореме Гамильтона-Кэли [?, с. 93] A

An + q1An—1 + ... + qn_1A + qn E = O,

An + q1An—1 + ... + qn_1A + qn = det(AE - A).

Отсюда вытекает, что функция ^>(t) удовлетворяет линейному однородному дифференциальному уравнению

y(n)(t) + q1y(n-1)(t) + ... + qn-1 y'(t) + qny(t) = 0, t G Rn.

Для данного уравнения только нулевое решение может обращаться в ноль тождественно на каком-либо интервале. Так как по условию ф(Ь] = 0, t Е (t\, t2), поэтому ф{Ь) = 0 t Е R- Следовательно, имеет место тождество CetAu = 0 t Е R. Данное тождество дифференцируя k раз и полагая k = 0,1,... ,n — 1, t = 0 получаем равенства (??).

Обратно, если имеют место равенства (??), то из теоремы Гамильтона-Кэли следует, что CAku = 0 при любом целом k > 0. Отсюда по определению матричной экспоненты выводим CetAu = 0 t Е R. Лемма ?? доказана.

Доказательство теоремы ??. Необходим ост,ь. Пусть верна оценка (??). Покажем, что rank(B) = n. Действительно, если rank(B) < n, то система уравнений (??) имеет ненулевое решение uo. Тогда для вектор-функции z0(t) = etAu0 имеем: |z0(t)| > 0 Zo(t) — Az0(t) = 0 и Cz0(t) = 0 (согласно лемме ??). А это противоречит оценке (??).

rank(B) = n

неверна. Тогда существуют бесконечные последовательности aj Е /, Zj (t) Е C1 ([aj,aj + 1]; Rn), j = 1, 2,... такие, что

max |zj(t)| >j( max |zj(t) — Azj(t)| + max |Czj(t)| ) ,j = 1, 2

aj St<aj+1 \aj <t<aj+1 aj <t<aj+1 /

Рассмотрим вектор-функции

Vj (t) = r—1zj (t + aj), t Е [0,1], j = 1, 2,...,

где rj - максимум функции |zj (t)| ^a отрезке [aj ,aj + 1]. Для этих вектор-функций имеем:

1 = max |v7-(t)| > j ( max |vj(t) — Avj(t)| + m^ |Cv7-(t)| ) ,j = 1, 2,____

0<t<v JK n \0<t<r 0<t<1 jWIJ

Переходя к пределу вдоль равномерно сходящейся подпоследовательности вектор-функций vjt(t),Vj2(t),..., получаем функцию v(t) Е C1 ([0,1]; Rn) такую, что

max |v(t)| = 1, v'(t) — Av(t) = 0, Cv(t) = 0. Отсюда выводим:

v(t) = etAv(0), v(0) = 0, CetAv (0) = 0.

Из последнего тождества, в силу леммы ??, следует, что система уравнений (??) имеет ненулевое решение, что противоречит условию rank(B) = n.

Теорема ?? доказана.

Доказательство теоремы ??. Пусть выполнено условие (??). Без ограничения общности можно считать, что е = 1. Предположим, что существует x(t)

sup |Cx(t)| < го, sup |x(t)| = го. t>0 t>0

Рассмотрим последовательность вектор-функций Xj (t) = r-1 x(t + tj), t G [-tj, j - tj], j = 1, 2,..., где tj rj - точка максимума и максимум функции |x(t)| на отрезке [0, j]. Очевидно, rj ^ +го, tj ^ +го при j ^ го. Для этих вектор-функций при каждом j = 1, 2,... имеем:

xj (t) = AXj (t)+ r"1/(t + tj j (^ t G (-tj j - tj ),

|xj(0)| = max |xj(t)| = 1, max |Cxj(t)| < r-1 sup |Cx(t)|.

tG[-tj ,j-tj ] tG[-tj ,j-tj ] j t>0

Данная последовательность вектор-функций равномерно ограничена и равностепенно непрерывна па каждом отрезке [-1,0] С (-го,0]. На основании теоремы Арцела перейдем к пределу па расширяющихся отрезках [-1, 0], I = 1, 2,.... В результате получаем ненулевое решение x0(t) системы уравнений

v'(t) = Av(t), v(t) G Cn, (11)

удовлетворяющее условиям

sup |v(t)| < го, (12)

t<0

Cv(t) = 0 при t < 0. (13)

Для решений системы уравнений (??) условие (??) равносильно условию

Р1 ^(0) = 0, где матрица р определяется формулой (??) (см., напр., [?, гл. 5, с. 359]). А условие (??) в силу леммы ?? равносильно системе уравнений

СУ(0) = 0, САи(0) = 0, ..., САп-1^(0) = 0.

Следовательно, (0) является ненулевым решением системы линейных алгебраических уравнений

[В; = 0, и е Сп.

Полученное противоречит условию (??). Теорема ?? доказана.

4 Пример

В качестве примера рассмотрим систему уравнений:

x[(t) = Х2 (t) + f\(t,X1(t),X2(t),X3(t)), x2(t) = X3 (t) + f2(t,X1(t),X2(t),Xs(t)), x3(t) = fs(t,X1(t),X2(t),X3(t)),

(14)

где / = (/1, /2, /з)т : Я4 ^ Я3 непрерывное отображение, удовлетворяющее условию (??)• Системе уравнений (??) соответствует матрица

A =

/ 0 1 0 \

0 0 1 \ 0 0 0 )

Спектр матрицы А пересекается с мнимой осью гЯ. Поэтому ни при всех воз/

при / = (0,0,1))т.

Возьмем С = (с1,с2,с3) и по формулам

77) (77

найдем

/

B = [C; CA; CA2] =

C1 С2 C3

\

P£ = A, £ E { —1, 1}.

0 С1 С2

V 0 0 01)

Условие (??) выполняется лишь при с1 = 0. В этом случае имеет место равенство гапк(В) = 3. Следовательно, согласно теореме?? для произвольного решения ж(£) системы уравнений (??) при любом а Е Я верна оценка

max |x(t)| < M

a<t<a+1

max f(t,x(t))| + max |Cx(t)|

a<t<a+1 WП a<t<a+1 Wl

(15)

где M > 0 не зависит от X(t), f и a. В силу условия (??) для любого 5 Е (0, M) существует Ms > 0 такое, что при всех t Е R, y Е R3 имеет место неравенство |f(t,y)| < 51y| + Ms. Учитывая это неравенство, из оценки (??) выводим:

max |X(t)| < (1 — 5M)—1 ( Ms + max |CX(t)|) .

a<t<a+1' V n V У ^ a<t<a+1 nJ

Таким образом, если C = (c^c2,c3) и c1 = 0, то для произвольного решения X(t) CX(t)

ность X(t). Если к том у же Ms = 0 и CX(t) ^ 0 при t ^ то X(t) ^ 0 при t ^

Если возьмем

С = ( 0 С12 С13

У 0 С22 С23

то для матриц А и С условие (??) не выполняется.

Благодарности. Авторы выражают благодарность рецензенту за высказанные ценные замечания. Исследование выполнено за счет гранта Российского научного фонда № 23-21-00032 (https://rscf.ru/project/23-21-00032/).

Список литературы

[1] Хартман Ф. Обыкновенные дифференциальные уравнения. М.: Мир, 1970.

[2] Красовский Н. Н. Некоторые задачи теории устойчивости движения. М.: ГИФМЛ, 1959.

[3] Плисс В. А . Нелокальные проблемы теории колебаний. М.: Наука, 1964.

[4] Красносельский М. А. Оператор сдвига по траекториям дифференциальных уравнений. М.: Наука, 1966.

[5] Демидович Б. П. Лекции по математической теории устойчивости. М.: Наука, 1967.

[6] Красносельский М. А., Забрейко П. П. Геометрические методы нелинейного анализа. М.: Наука, 1975.

[7] Наймов А. Н. Исследования по теории краевых задач. Диссер. на соиск. учен. степ. док. физ.-мат. наук. Худжанд, 2000.

[8] Коструб И. Д. Неравенства типа Ландау Адамара для гладких векторных функций и теорема Эсклангона для нелинейных дифференциальных уравнений п-го порядка. Вестник факультета прикл. матем. и механики. Воронеж: Изд-во Воронеж, гос. ун-та, 2010. № 8. С. 233 243.

[9] Перов А. И., Коструб И. Д. Об ограниченных решениях слабо нелинейных векторно-матричных дифференциальных уравнений п-го порядка. Сибир. матем. жури. 2016. Т. 57, № 4. С. 830-849.

[10] Воронов А. А., Ким Д. П., Лохин В. М. и др. Теория автоматического управления. Часть II. 2-е изд. М.: Высшая школа, 1986.

[11] Зубов В. И. Лекции по теории управления. Учебное пособие. 2-е изд. СПб.: Изд-во "Лань", 2009.

[12] Леонов Г. А. Введение в теорию управления. СПб.: Изд-во С.-Петерб. ун-та, 2004.

[13] Мухамадиев Э. К теории ограниченных решений обыкновенных дифференциальных уравнений. Дифференц. уравнения. 1974. Т. 10, № 4. С. 635-646.

[14] Левитан Б. М., Жиков В. В. Почти-периодические функции и дифференциальные уравнения. М.: Изд-во МГУ, 1978.

[15] Гантмахер Ф. Р. Теория матриц. М.: Наука, 1966.

ON THE BOUNDEDNESS OF SOLUTIONS OF A QUASILINEAR SYSTEM OF ORDINARY DIFFERENTIAL EQUATIONS

Mukhamadiev E., Naimov A. N.

Vologda State University emuhamadiev@rambler.ru naimovan@vogu35.ru

Abstract. In the paper, the question of the boundedness of an arbitrary solution of a quasilinear system of ordinary differential equations is investigated under boundedness of the observed values of the solution. The observed values of the solution are a finite set of scalar products of the solution with given vectors. In terms of the properties of the matrix of coefficients of the system of equations and the matrix of coefficients of observed values, theorems on the boundedness of an arbitrary solution with boundedness of the observed values are formulated and proved. The novelty of this paper is that using the method of limit equations, estimates are derived from which the boundedness or stability follows an arbitrary solution of a quasilinear system in terms of boundedness or stability of the observed values of the solution.

Keywords: quasilinear system of equations, bounded solution, observed values, limit equation method.

Acknowledgments. The authors are grateful the reviewer for the valuable remarks. The research was supported by the grant Russian Science Foundation No. 23-21-00032 (https://rscf.ru/project/23-21-00032/).