Равномерная ограниченность решений систем дифференциальных уравнений по части переменных с частично контролируемыми начальными условиями

УДК 517.925.51

К. С. Лапин

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

Аннотация. Актуальность и цель исследования: японским математиком Т. Йосидзавой было дано развитие теории различных видов ограниченности решений систем дифференциальных уравнений. При исследовании ограниченности решений он использовал метод, который в своей сущности аналогичен прямому методу Ляпунова в теории устойчивости. Исследования различных видов ограниченности решений систем дифференциальных уравнений по части переменных и, в частности, равномерной ограниченности решений по части переменных впервые были проведены В. В. Румянцевым и А. С. Ози-ранером. С другой стороны, В. И. Воротниковым и Ю. Г. Мартышенко было разработано новое направление в теории частичной устойчивости, а именно была развита теория частичной устойчивости положения равновесия, у которого часть координат контролируется. Таким образом, возникает интересная идея создания в теории частичной ограниченности решений методов, которые были бы в идейном плане аналогичны методам указанной выше теории устойчивости по части переменных частичного положения равновесия. Основным методом исследования является метод функций Ляпунова. Теоремы в данной работе сформулированы и доказаны в терминах производной Дини. Введено понятие равномерной и тотальной ограниченности решений систем дифференциальных уравнений по части переменных с частично контролируемыми начальными условиями. Получен критерий равномерной ограниченности и достаточный признак тотальной ограниченности решений по части переменных с частично контролируемыми начальными условиями. Полученные в данной статье результаты могут применяться в исследовании реальных процессов на различные виды частичной ограниченности в естественно-технических задачах.

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

K. S. Lapin

UNIFORM BOUNDEDNESS OF DIFFERENTIAL EQUATION SYSTEM SOLUTIONS RELATING TO VARIABLES WITH PARTIALLY CONTROLLED INITIAL CONDITIONS

Abstract. Background. Japanese mathematician T. Yoshizawa developed the theory of various types of boundedness of solutions of systems of differential equations. In the investigation of boundedness of solutions he used a method which is similar to the direct method of Lyapunov in the stability theory. Research of different types of boundedness of solutions of systems of differential equations with respect to variables and, in particular, of the uniform boundedness of solutions with respect to variables were first carried out by V. V. Rumyantsev and A. S. Oziraner. On the other hand, V. I. Vorotnikov and Yu. G Martyshenko developed a new direction in the theory of partial stability, namely, the theory of

partial stability of the equilibrium position with a controlled part of the coordinates. Thus, there is an interesting idea to create in the theory of partial boundedness of solutions the methods that would be conceptually similar to those of the above-mentioned theory of the stability with respect to a part of the variables of partial equilibrium positions. The main research method in this paper is the method of Lyapunov functions. All the main theorems in this paper are stated and proved in terms of the Dini derivative. The author introduces the concept of the partial uniform boundedness of solutions of systems of differential equations with partially controlled initial conditions. The researcher obtains a criterion of the partial uniform boundedness of solutions with partially controlled initial conditions and a sufficient condition for partial total boundedness. The results obtained in this paper can be applied in research of real processes to different types of partial boundedness in the natural and technical problems.

Key words: boundedness of solutions, partial boundedness, Liapunov’s function, partially controlled initial conditions.

Введение

В классической работе Т. Йосидзавы [1] была развита теория различных видов ограниченности решений систем дифференциальных уравнений. Основным средством исследования ограниченности решений в работе [1] является метод, который в своей сущности аналогичен прямому методу Ляпунова в теории устойчивости. Исследования различных видов ограниченности решений систем дифференциальных уравнений по части переменных и, в частности, равномерной ограниченности решений по части переменных, впервые были проведены В. В. Румянцевым и А. С. Озиранером [2]. С другой стороны, В. И. Воротниковым и Ю. Г. Мартышенко [3] было разработано новое направление в теории устойчивости по Ляпунову относительно части переменных, а именно в [3] была развита теория частичной устойчивости положения равновесия, у которого часть координат контролируется. В связи с этим возникает интересный вопрос о возможности создания в теории ограниченности решений по части переменных методов, которые были бы в идейном плане аналогичны методам указанной выше теории устойчивости по части переменных частичного положения равновесия.

В данной работе введено понятие равномерной ограниченности решений систем дифференциальных уравнений по части переменных с частично контролируемыми начальными условиями. Это новое понятие является в идейном плане родственным понятию равномерной устойчивости относительно части переменных частичного положения равновесия из работы [3]. В терминах производной Дини получен критерий равномерной ограниченности решений по части переменных с частично контролируемыми начальными условиями. Проведено сравнение этого критерия с критерием равномерной ограниченности решений систем по части переменных [2]. Далее в работе введено понятие тотальной ограниченности (или, по-другому, ограниченности при постоянно действующих возмущениях систем дифференциальных уравнений по части переменных с частично контролируемыми начальными условиями. В терминах производной Дини получен достаточный признак тотальной ограниченности решений систем по части переменных с частично контролируемыми начальными условиями.

1. Критерий равномерной ^-ограниченности решений систем дифференциальных уравнений с ^-контролем

Пусть задана произвольная система дифференциальных уравнений от п переменных

ЛХ = F^ х), F

Л

правая часть которой задана и непрерывна в области О = {(^ х) еЯ + хЯп },

где Я + = { е Я 11 > 0} . Предполагается, что каждое решение системы (1) про-

должимо на всю полуось Я+ .

Далее под Ц-Ц везде будем понимать обычную евклидову норму. Для

каждого х = (Х1,..., хп) е Яп и любого фиксированного числа к , 1 < к < п , будем использовать обозначения у = (Х1,...,Хк)е Як и г = (Хк+1,. .,хп)е Яп к .

Определение 1 [2]. Говорят, что решения системы (1) равномерно ограничены по части переменных у = (Х1,...,Хк), или, более кратко, равномерно у -ограничены, если для каждого неотрицательного числа ае Я существует такое положительное число Р(а) е Я, что для любой точки (^, Хо) еО , |Хо|| <а , выполнено условие ||у (t, Хо, ^)|| < в при t > to , где Х = х(^Хо,^) - произвольное решение системы (1), проходящее через точку ^, хо).

Легко видеть, что на геометрическом языке равномерная у -ограниченность решений системы

радиуса а с центром в начале системы координат О е Яп, будут во все последующие моменты времени находиться в п -мерном полном бесконечном

цилиндре Вк (О, в(а)) X Яп~к , радиус сечения которого в(а) не зависит от момента времени старта решений.

Определение 2. Будем говорить, что решения системы (1) равномерно ограничены по части переменных у = (Х1,...,Хк) с контролируемой частью начальных условий уо = ((Хо)1,...,(Хо)к), или, более кратко, равномерно у -ограничены с уо -контролем, если для каждого неотрицательного числа ае Я существует такое положительное число в(а)е Я , что для любой точки (^, Хо) еО , ||уо|| <а выполнено условие ||у^, Хо, ^)|| <в при t > ^, где х = х(^Хо,to) - произвольное решение системы (1), проходящее через точку ^, хо).

На геометрическом языке, по сравнению с определением равномерной у-ограниченности, равномерная у -ограниченность с уо -контролем решений системы (1) означает, что решения этой системы, стартующие в произвольный момент времени из точек п-мерного полного бесконечного цилиндра

Bfc (O, а) X Rn k радиуса сечения а, будут во все последующие моменты времени находиться в n-мерном полном бесконечном цилиндре Bk (O, в(а)) X Rn k, радиус сечения которого в(а) не зависит от момента времени старта решений.

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

Ясно, что если решения системы (1) равномерно у-ограничены с уо-контролем, то решения этой системы являются и просто равномерно у-ограниченными, поскольку множество Ва = {x е Rn :||х|| <а} является подмножеством множества Ва X Rn k = {x е Rn :||у|| <а} . Обратное, вообще говоря, неверно, т.е. из равномерной у-ограниченности решений системы (1), вообще говоря, не следует равномерная у-ограниченность с уо -контролем решений этой системы.

Напомним теперь [1], что производной Дини функции G(t,x) в силу

системы (1) называется функция GF(tx)(t, x), которая определяется следующей формулой:

^ G(t + h, x + F(t, x)h - G(t, x) 'I

sup --------------------------- .

/ге(0;а] h I

GF (t, x)(t, x) = lim а^+0

Легко видеть, что для любой фиксированной точки ^, х) указанный выше предел существует всегда, но может обращаться в бесконечность. Поэтому условие существования производной Дини х) (^ х) в силу системы

(1) как функции от (^ х) со значениями в Я равносильно условию не обращения в бесконечность данного предела (2) для любой точки (^ х).

Для функции О^, х), заданной в некоторой области

Е с {^,х) е Я+XЯп}, будем употреблять запись О^, х) е Ь(^, х), если для любого ограниченного подмножества В с Е, замыкание которого принадлежит Е, выполнено условие Липшица по переменным t и х, т.е. существует такая постоянная Липшица Ь, зависящая от В, что для любых точек (^ х), (/, х') е В справедливо следующее неравенство:

|О^, х) - О^', х')| < Ь -- -1'| + |х - х'|).

В случае, когда функция О^, х) имеет непрерывные частные производные по переменным t, Х1,..., хп (соответственно по переменным Х1,..., хп), будем употреблять запись О(t, х) е , х) (соответственно запись

О^, х) е В(х)).

Отметим, что если О^, х) е , х), то производная Дини существует как функция со значениями в Я, т.е. функция О^х)^,х) не обращается

в бесконечность ни в одной точке из области своего определения. Действительно, так как О^, х) е Ь^, х) и ^^, х)| < +°° , для любой точки получаем

GF

< lim

а——+0

f |G(t + h, x + V(t, x)h - G(t, x)| ^

sup ------------------------------------------

/ге(0;а] h

<

< lim

а—+0

/

f m. . hr,* .л\7.Л

= L (1 + \V (t, x)| )<~ .

L(h + |V (t, x)| h) sup ----------------------—

/ге(0;а] h

Напомним утверждение из работы [1], которое связывает верхнюю производную Дини Ор^ х)(:,х) с решениями системы (1).

Теорема 1. Для произвольной функции О ^, х) е Ь^, х), t > о, х е Яп , условие Ор(г х) (t, х) < о выполнено тогда и только тогда, когда для любого решения х = х^) системы (1) функция О^, х^)) от переменной t является невозрастающей.

Сформулируем и докажем теперь достаточный признак равномерной у-ограниченности с уо -контролем системы (1) в терминах производной Дини.

Теорема 2. Пусть для системы (1) имеется неотрицательная функция

V(^ х), определенная в области t > о, х = (у, г) е Яп , у е Як , ||у|| > Я, где Яо > о - некоторое фиксированное число, для которой выполнены следующие условия:

1) »(|у) < V^, х) < а(|у||), где а(г) > о и Ь(г) > о - непрерывные возрастающие функции и Ь(г) при г ;

2) VF+t x)(t, х) < о внутри области t > о, х е Яп , |у| > Яо .

Тогда решения системы (1) равномерно у -ограничены с уо -контролем.

Доказательство. Требуется доказать, что для каждого а> о существует такое число в(а) > о, что для любых t > о, х е Яп , ||уо || < а выполнено условие |у^,хо,^)|| < в при всех t > to . Сразу отметим, что без ограничения общности доказательство достаточно провести только для тех решений х = х(:,Хо,^), которые при ||уо|| > Яо удовлетворяют условию

||у^,Хо,Го)|>Яо, и для тех а>о, которые удовлетворяют условию а>Яо . Приступим теперь к доказательству. Пользуясь условием 1 из формулировки доказываемой теоремы, получаем, что для любого решения х = х^,хо,to) системы (1) имеет место неравенство Ь(|| у(t, Хо, to ||) < V^, х(:, Хо, to)). Из условия 2 доказываемой теоремы следует, что для любого решения х = х^,хо,to) системы (1) функция V^,х^,Хо,^)) от переменной t является невозрастаю-

щей. Из этого при (> ¿о получаем неравенство V(^,х^,хо,¿о)) < V(¿о,Хо). Так как при ||уо|| <а справедливо неравенство V (¿о, Хо) < а (а), то имеем неравенства:

Ь(||у^,хо,¿о)||) < V^,хЦ,хо,¿о)) < V(¿о,хо) < а(а) .

Пользуясь теперь условием Ь(г) ^го при г ^го, выберем такое число в, которое зависит от а , но не зависит от ¿о, что а(а) < Ь(в). Из этого получаем неравенство Ь(||у^,Хо,¿о)||) < Ь(в). Так как функция Ь(г) является непрерывной и возрастающей, то для этой функции имеется обратная функция, которая также является возрастающей. Применяя эту обратную функцию к неравенству Ь(||у(^Хо,¿о)||)<Ь(в), получим неравенство ||у(^ хо,¿о)|| <в . Таким образом, показано, что решения системы (1) равномерно у -ограничены с уо-контролем. Теорема доказана.

Отметим, что если V^, х) е , х), то VF+(t х) ^, х) совпадает с обычной

производной функции V (^, х) в силу систем (1).

Сформулируем и докажем теперь необходимый признак равномерной у-ограниченности с уо -контролем решений системы (1) в терминах производной Дини.

Теорема 3. Пусть для правой части ^(^, х) системы (1) выполнено условие ^(¿, х) е В(х) и решения системы (1) равномерно у-ограничены с уо-контролем. Тогда в области t > о, х = (у, г) е Яп, у е Як , ||у|| > Яо = в(о), где в(а) - функция из определения 2, имеется неотрицательная функция V^, х) е Ь(^, х), обладающая следующими свойствами:

1) Ь(||у||) < V^, х) < а(||у||), где а(г) > о и Ь(г) > о - непрерывные воз-

растающие функции и Ь(г) ^го при г ^го ;

2) VF+(t х) ^, х) < о внутри области t > о, х е Яп, ||у|| > Яо .

Доказательство. Определим сначала функцию V^,х). Рассмотрим на

отрезке 0<т<t произвольное решение х = х(т, х, t) системы (1). Так как решение х = х(т, х, t) продолжимо на всю полуось т> о, то оно определяет

функцию ||у (т, х, t )||2 , которая непрерывна при изменении т от т = до т = о .

Определим в области t > о, х е Яп неотрицательную функцию V^, х), полагая

V^, х) = шт{||у(т, х, t)||2 : о < т < ¿}.

т

Проверим, что функция V^, х) обладает свойством 1. Из определения функции V^, х) видно, что V^, х) <|у||2 . Таким образом, если в качестве функции а (г) взять функцию а(г) = г2, то получим V ^, х) < а(|| у||). По опре-

делению равномерной у -ограниченности с уо -контролем решений имеем ||у^,хо,¿о)|<в(а) при ||уо|| < а. Без ограничения общности можно считать, что в(а) является непрерывной возрастающей функцией от а . В самом деле, если это не так, то функцию в(а) всегда можно заменить непрерывной возрастающей функцией у(а), для которой выполнено условие в(а) < у(а). Итак, будем считать, что функция в(а) является непрерывной возрастающей функцией от а . Из неравенства ||у^, хо, ¿о )|| < в(а) при ||уо || <а, где в(а) -непрерывная возрастающая функция от а , получаем неравенство ||у(^Хо,¿о)|2 <(в(а))2 . Очевидно, что (в(а))2 - непрерывная возрастающая функция от а . Обратная функция 5(г) > о к функции (в(а)) определена на множестве г >(в(о)) . При помощи функции 5(г) из неравенства ||у(^Хо,¿о)||2 <(в(а))2 получаем для каждого ||о||2 >(в(о))2 неравенство 5(11 у|12 ) < V^,х). Если теперь в качестве Ь(г) > о взять функцию 5(г2), которая определена при г > Яо , где Яо = в(о), то для каждого х е Яп , ||у|| > Яо получим неравенство Ь(||у||) < V^,х). Ясно, что функция Ь(г) является возрастающей и Ь(г) ^ го при г ^го . Также ясно, что полученное выше для любого х е Яп неравенство V^, х) < а(||у||) является справедливым и для каждого

||у|| > Яо . Очевидно, что а(г) = г2 > о при г > Яо . Таким образом, проверка того, что неотрицательная функция V^, х), рассматриваемая в области t > о,

х е Яп , ||у|| > Яо, обладает свойством 1, завершена.

Для доказательства справедливости условия V^, х) е Ь(:, х) заметим сначала, что для произвольной точки (¿, х) из области определения функции

V ^, х) найдется такое о <т/ < t, что имеет место равенство

V ^, х) =| у (т , t, х)||2 . Действительно, в силу компактности отрезка [о; t] и непрерывности функции ||у(т',t,х)|| на этом отрезке, такое о <т' <t всегда существует. Покажем теперь, что V(¿, х) е Ь(^, х). Рассмотрим сначала разность V(¿, х) - V^, х'). Пусть V^, х') = ||у(т, х', t)|| . Тогда имеем

Здесь А - некоторая константа в 5 -окрестности и(Р, 5) точки Р = ^, х), где ^, х') е и(Р, 5), определяемая условием существования непрерывных частных производных функции ||у (т , х, t )||2 по переменным Х1,...,хп

2

в этой окрестности. Пусть теперь V^, х) =|у(т2, х, t)|| . Тогда имеем

V ^, х) - V ^, х') >|| у(т2, Х, t )||2 —| у (т2, х', t )||2 > - А\х - х'|.

Таким образом, в окрестности и(Р, 5) точки Р = (¿, х) справедливо следующее неравенство:

V^, х) - V^, х')| < А|х - х'|.

Теперь рассмотрим V^, х) - V^', х) при t < ¿'. Пусть

V^' , х) =|у(т', х, t')||2, где о <т' < t. Тогда имеем

V^, х) - V^', х) <|у(т', х, t)||2 -1|х(т', х, t')||2 =

где X = x(t, х, t'). Здесь С1 - некоторая константа в 5 -окрестности и(Р, 5) точки Р = ^, х), где ^', х) е и(Р, 5), определяемая условием непрерывной

дифференцируемости функции ||у(т, х, t)||2 по переменной t в этой окрестности. Аналогично получаем неравенство V(¿,х)-V(¿',х) >-С1 ^-¿'|. Пусть теперь V^, х) =|у(т", х, t)|| и равенство V^', х) = ||у(т', х, t')|| выполнено при t <т < ¿'. Тогда имеем

V(¿, х) - V^', х) =|у(т', х, t)||2 -1у(т', х, 1')||2 <|у^, х, t)||2 -1у(t, х, 1')||2 +

+|y(t, Х, 1')||2 -1у(т', х, t')||2 < А\х - Х| + С2 ^ - т'| < С1 ^ - ¿'| + С2 ^ - ¿'| = С^ - ¿'|,

где С = С1 + С2; С2 - некоторая константа, определяемая условием непрерывной дифференцируемости функции ||у^, х, t')|| по переменной t .

Аналогично получаем, что V^, х) - V^', х) > -С ^ - ¿'|. Итак, в окрестности и (Р, 5) точки Р = (¿, х) справедливо следующее неравенство:

V^,х) - V

Из неравенств (3) и (4) в окрестности и (Р, 5) точки Р = ^, х) получаем

V ^, х) - V ^', х')| = | V (¿, х) - V ^', х) + V ^', х) - V ^', х')| <

где Ь = шах(С, А).

Таким образом, доказано, что V(¿, х) е Ь^, х). Из этого, как было показано выше, следует, что для функции V(¿, х) внутри области t > о, х е Яп существует производная Дини VF+(t х)^, х) в силу системы (1).

Докажем теперь, что VF+(t х) ^, х) < о внутри области t > о, х е Яп . Для этого заметим сначала, что для любого решения х = х^) системы (1), проходящего через точку (¿о,Хо), функция V^,х^)) является невозрастающей. В самом деле, пусть заданы произвольные о < ¿1 < ¿2 . Тогда имеем

V(t,xft)) = min ||y(т,x(^),^)||> min \\y(т,х(^),t2)| = V($2,xfe)).

0<x<tj 0<T<t2

Применяя теперь к функции V(t, x) теорему 1, получаем, что

VF+t x)(t, x) < 0 внутри области t > 0, x е Rn . Таким образом, проверка того, что неотрицательная функция V(t, x), рассматриваемая в данной области, обладает свойством 2, завершена.

Объединяя теперь утверждения теорем 2 и 3, получаем следующий критерий равномерной y-ограниченности с Уо -контролем решений системы (1) в терминах производной Дини.

Теорема 4 (Критерий равномерной y-ограниченности с Уо -контролем решений систем дифференциальных уравнений). Для того чтобы решения системы (1), где F(t, x) е D(x), были равномерно y-ограничены с Уо-контро-лем, необходимо и достаточно существование неотрицательной функции V(t, x) е L(t, x), определенной в области t > 0, x = (y, z) е Rn , у е Rk , ||у|| > Ro, где Ro > 0 - некоторое фиксированное число, которая обладает следующими свойствами:

1) %1) < V(t, x) < a(|y||), где a(r) > 0 и b(r) > 0 - непрерывные возрастающие функции и b( r) ^ro при r ^ro ;

2) VF+{t x) (t, x) < 0 внутри области t > 0, x е Rn , ||y|| > Ro .

Проведем теперь сравнение полученного выше критерия со следующим критерием равномерной y-ограниченности из работы [2].

Теорема 5 (Критерий равномерной y-ограниченности решений систем дифференциальных уравнений). Для того чтобы решения системы (1) были равномерно y-ограничены, необходимо и достаточно существование неотрицательной функции V(t, x), определенной в области t > 0, x е Rn , ||y|| > Ro, где Ro > О - некоторое фиксированное число, которая обладает следующими свойствами:

1) b(||y\|) < V(t,x) < a(|x||), где x = (y,z) е Rk XRn-k , a(r) > О и b(r) > О -непрерывные возрастающие функции и b(r) при r ;

2) для любого решения x = x(t) системы (1), удовлетворяющего условию ||y(t)| > Ro , функция V(t, x(t)) является невозрастающей.

Представляется важным указать на то, что в работе [2] не рассматривался вопрос о том, можно ли выбрать функцию V (t, x) в теореме 5 так, чтобы она удовлетворяла условию Липшица V(t, x) е L(t, x). Если рассмотреть этот вопрос, то можно показать, что при выполнении условия F(t, x) е D(x) ответ на него положительный. Действительно, аналогично тому, как это сделано в доказательстве теоремы 3, доказывается, что функцию V (t, x) в теореме 5 можно выбрать так, чтобы она удовлетворяла условию V(t, x) е L(t, x), из которого вытекает существование Vp(t x) (t, x). Как следствие получаем утверждение, которое уточняет теорему 5.

Теорема 6. Для того чтобы решения системы (1), где Е(¿, х) е В(х), были равномерно у-ограничены, необходимо и достаточно существование неотрицательной функции V^, х), определенной в области t > о, х е Яп , ||у|| > Яо, где Яо > о - некоторое фиксированное число, которая обладает следующими свойствами:

1) Ь(||у||) < V^, х) < а(||х\|), где х = (у, г) е Як X Яп-к , а(г) > о и Ь(г) > о -непрерывные возрастающие функции и Ь(г) ^го при г ^го ;

2) VF(Г х) (t, х) < о внутри области t > о, х е Яп, ||у|| > Яо .

Сравнивая теперь теоремы 4 и 6, а также пользуясь очевидным неравенством ||у|| < | |х||, получаем следующее утверждение, которое устанавливает связь между равномерной у-ограниченностью решений системы (1) и равномерной у-ограниченностью с уо -контролем решений этой системы.

Следствие 1. Пусть решения системы (1), где Е(¿, х) е В(х), равномерно у-ограничены. Решения этой системы будут равномерно у-ограничены с уо-контролем тогда и только тогда, когда функцию V^, х) из теоремы 6 можно выбрать так, чтобы она удовлетворяла условию V^, х) < а(||у||), где а(г) > о - некоторая непрерывная возрастающая функция.

2. Достаточное условие тотальной у-ограниченности

решений систем дифференциальных уравнений с у0-контролем

Введем теперь понятие тотальной ограниченности (или, по-другому, ограниченности при постоянно действующих возмущениях) решений системы (1) по части переменных с контролируемой частью начальных условий. Пусть вместе с системой (1) задана еще одна система дифференциальных уравнений

Их

— = Е ^, х) + И О1, х), И

Ш

где Е ^, х) - правая часть системы (1) и И ^, х) - переменное векторное поле в Яп, называемое возмущением системы (1), которое является определенным и непрерывным в области П = {(^ х) е Я+ хЯп } . Далее везде будет предполагаться, что все решения системы (5), проходящие через произвольную точку (¿о, Хо), продолжимы на всю полуось t > ¿о .

Систему (5) удобно для последующих рассмотрений записать в следующем виде:

= У ^, у, г) + М ^, у, г),

Иг

— = % ^, у, г) + N ^, у, г), где х = (у, г) е Яп = Як X Яп-к , 1 < к < п , и

У^, у, г) = (Е^, х),..., Ек ^, х)),

%(, у, г) = (Ек+1 ^, х),., Еп (¿, х)),

М ^, у, г) = (Н^, х),..., Нк ^, х)),

N(¿, у, г) = (Нк+1 (¿, х),..., Нп ^, х)).

Определение 3. Будем говорить, что решения системы (1) тотально ограничены по части переменных у = (Х1,...,Хк) с контролируемой частью начальных условий уо = ((Хо)1,...,(Хо)к), или, более кратко, тотально у -ограничены с уо-контролем, если для каждого неотрицательного числа ае Я существуют такие положительные числа в(а), у(а) е Я , что для любой точки (¿о, Хо) еО , ||уо|| < а выполнено условие ||у^, Хо, ¿о )|| < в при t > ¿о , где х = х^, Хо, ¿о) - произвольное решение системы (5), удовлетворяющей при а <|у|| < в неравенству М^, х)|| < у.

Для функции О ^, у), t > о, у е Е, где Е - некоторая область в Як, далее будем употреблять запись О^, у) е Ь (у), если для любого ограниченного подмножества В с Е, замыкание которого принадлежит Е, существует такая постоянная Липшица Ь, зависящая от В, что для каждого t > о и любых у, у'е В справедливо следующее неравенство:

О^, у) - О^, у')| < Ь|у - у'|.

Отметим, что из справедливости условия О(¿,у)е Ь(^у), вообще говоря, не следует справедливость условия О^, у) е Ь (у) .

Сформулируем и докажем теперь достаточный признак тотальной у-ограниченности с уо -контролем решений системы (1) в терминах производной Дини.

Теорема 7. Пусть для системы (1) существует такая непрерывная и неотрицательная функция V ^, у), определенная в области t > о, у е Як , ||у|| > Яо, где Яо > о - некоторое фиксированное число, что V^, у) е Ь^, у) и V^, у) е Ь{ (у). Кроме того, пусть для указанной выше функции V^, у) выполнены следующие условия:

1) Ь(||у||) < VЦ,у) < а(||у|), где а(г) > о и Ь(г) > о - непрерывные возрастающие функции и Ь(г) ^го при г ^го ;

2) VF+(t, х)^, х) <-с(|| у| |) внутри области t > о, х е Яп , ||у|| > Яо, где с(г) - некоторая непрерывная функция, положительная при г > о .

Тогда решения системы (1) тотально у -ограничены с уо -контролем.

Доказательство. При помощи условия 1 точно так же, как это было сделано в доказательстве теоремы 2, выберем для произвольного а > о такое число в >а, что Ь(в) > а(а). Теперь требуется показать существование тако-

го у, что решения системы (5), правая часть которой в области а < ||у|| < в удовлетворяет условию М(Г, х)|| < у, являются равномерно у -ограничены с уо -контролем. Из теоремы 2 следует, что указанное выше число у можно найти из требования справедливости условия VF+(t х)+н(г Х)(Г, х) < о . Действительно, при а <| у|| < в имеем

(Г,х)+И (Г,х) (Г,х) = ^У (Г,х)+М (Г,х) (Г,х) =

= lim

а——+0

( sup V(t + h, y + (Y(t, x) + M(t, x))h) - V(t, y) ^

he(0;a] h

v

= lim sup —(V (t + h, y + Y (t, x)h+M(t, x)h) -а—+0 he(0;a] h

-V(t + h, y + Y(t, x)h) + V(t + h, y + Y(t, x)h) - V(t, y)).

Так как V(t, y) є L (y), то получаем

V

h

где константа Липшица Ь выбрана для множества В = {у е Як | а < ||у|| < в} . Из этого, учитывая неравенство VУ+t Х)(Г, х) < -с(||у||), имеем

тл/+ / ч 1- Г V (Г + 7, у + У (Г, х)7) - V (Г, у) ^

^{Г,х)+М(Г,х)(г,х) < 1ш+о 8иР -------------------------7-------------- + Ь||М(t,х)|| =

ч7е

а——+0

= VY+(t,х)(t,х) + L ||М(t,х)|| < -c(||у||) + L\\M(t,x)\\.

Ясно, что если -c(||у||) + L||M(t, х)|| < 0, то VY+t,x)+M(t,x)(t, х) < 0 .

Определим число Y, полагая у = min ——— .

Легко видеть, что если |M(t, х)|| < у, то справедливо неравенство

VF(t,х)+Н(t,х)(t,х) < VY(t,х)+М(t,х)(t,х) < 0

и, следовательно, решения системы (5) являются равномерно у-ограничен-ными с уо -контролем. Для завершения доказательства осталось только заметить, что число у зависит от а, но не зависит от to, поскольку числа L и min c(|| у 11), где а < || у|| < ß, зависят от а , но не зависят от to . Таким образом, показано, что при выполнении условий 1 и 2 решения системы (1) тотально у-ограничены с уо -контролем. Теорема доказана.

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

1. Yoshizawa, T. Liapunovs function and boundedness of solutions / T. Yoshizawa // Funkcialaj Ekvacioj. - 1959. - Vol. 2. - P. 95-142 (Русский перевод: Математика : сборник переводов. - 1965. - № 5. - С. 95-127).

2. Румянцев, В. В. Устойчивость и стабилизация движения относительно части переменных / В. В. Румянцев, А. С. Озиранер. - М. : Наука, 1987. - 255 с.

3. Воротников, В. И. К теории частичной устойчивости нелинейных динамических систем / В. И. Воротников, Ю. Г. Мартышенко // Известия РАН. Теория и системы управления. - 2010. - № 5. - С. 23-31.

References

1. Yoshizawa T. Funkcialaj Ekvacioj [Collection of translations “Mathematics”]. 1959, vol. 2, pp. 95-142.

2. Rumyantsev V. V., Oziraner A. S. Ustoychivost’ i stabilizatsiya dvizheniya otnositel’no chasti peremennykh [Stability and stabilization of motion relative to variables]. Moscow: Nauka, 1987, 255 p.

3. Vorotnikov V. I., Martyshenko Yu. G. Izvestiya RAN. Teoriya i sistemy upravleniya [Bulletin of the Russian Academy of sciences. Control theory and systems]. 2010, no. 5, pp. 23-31.

Лапин Кирилл Сергеевич аспирант, Мордовский государственный университет имени Н. П. Огарева

Lapin Kirill Sergeevich Postgraduate student, Mordovia State University named after N. P. Ogaryov

E-mail: klapin@mail.ru

УДК 517.925.51 Лапин, К. С.

Равномерная ограниченность решений систем дифференциальных уравнений по части переменных с частично контролируемыми начальными условиями / К. С. Лапин // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2о13. - № 2 (26). -С. 12о-132.