CC BY
14
ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки
Том 23, № 124
2018
DOI: 10.20310/1810-0198-2018-23-124-726-737 УДК 517.962.8
ТЕОРЕМА БОЛЯ-ПЕРРОНА ОБ АСИМПТОТИЧЕСКОЙ УСТОЙЧИВОСТИ ГИБРИДНЫХ СИСТЕМ И ЕЕ ОБРАЩЕНИЕ
< П. М. Симонов
ФГБОУ ВО «Пермский государственный национальный исследовательский университет» 392000, Российская Федерация, г. Пермь, ул. Букирева, 15 E-mail: [email protected]
Аннотация. Рассматривается абстрактная гибридная система двух уравнений с двумя неизвестными: векторной функцией х, являющейся абсолютно непрерывной на каждом конечном отрезке [0, Г], Т > 0, и последовательностью числовых векторов у. В исследовании применяется И7-метод Н.В. Азбеле-ва. В качестве модельной используется система, содержащая функционально-дифференциальное уравнение относительно х, и разностное уравнение относительно у. Изучены пространства решений. Для гибридной системы получена теорема Боля—Перрона об асимптотической устойчивости и теорема об обращении.
Ключевые слова: теорема Воля-Перрона об асимптотической устойчивости; гибридная линейная система функционально-дифференциальных уравнений; метод модельных уравнений, теорема об обращении
Введение
Проблемам устойчивости решений линейных гибридных линейных функционально-дифференциальных систем с последействием (ГЛФДСП) посвящено крайне мало работ. В работе В.М. Марченко и Ж.Ж. Луазо [1| исследована задача об устойчивости решений стационарных ГЛФДСП. В этой работе получены необходимые и достаточное условия экспоненциальной устойчивости для систем вида
¿i(£) = A11x1(t) + A12x2(t), x2(t) = A2ix1(t) + A22x2(t h), xi(0) = xw £Rk7 х2(т) =ф(т) при т С [ h,0),
Работа выполнена при поддержке Российского фонда фундаментальных исследований (проект № 18-01-00332 А).
где к\ Л21£М<" к>к, А22 к\ ф:[ h. 0) оо К" к
— кусочно-непрерывная вектор-функция.
Данная статья продолжает исследование, начатое в [2-7]. В работах [2-5] получена теорема Воля—Перрона для ГЛФСП в случае экспоненциальной устойчивости, в работах [6, 7] — для ГЛФДСП в случае асимптотической устойчивости.
Построенная в настоящее время общая теория функционально-дифференциальных уравнений [8-10] позволила дать ясное и лаконичное описание основных свойств решений, в том числе свойства устойчивости решений. В то же время широкие и актуальные для приложений классы систем ГЛФДСП, а именно, систем гибридных линейных функционально-дифференциальных уравнений с последействием, формально не охватываются построенной теорией и во многом остаются вне поля зрения специалистов, использующих функционально-дифференциальные и разностные системы с последействием для моделирования реальных процессов. Ниже предлагаются гибридные функционально-дифференциальные аналоги основных утверждений теории функционально-дифференциальных уравнений для задач устойчивости, в частности, теорема Воля-Перрона об асимптотической устойчивости для ГЛФДСП и теорема об обраще-
1. Схема W-метода
Здесь и ниже К" — пространство векторов а = col}«1, ...,а"| с действительными компонентами и с нормой ||[o:|lk"-
Обозначим через у = }у( 1), у{0), у{ 1),..., y(N),.. бесконечную матрицу со столбцами у( 1),у(0),у(1), ..., y(N),. . ., являющимися векторами из пространства M", а через g = }(/(0),^(1), ...,g(N),.. — бесконечную матрицу со столбцами g (г) С К™, 1 = 0,1,... . Каждой бесконечной матрице у = }у( 1), у(0), у(1),у(Л^),.. . | сопоставим вектор-функцию
y(t) = у{ 1)Х[ 1,0)(Í) + y(0)X[o,i)(í) + у( 1)X[1,2)(Í) + - + y(iV)x[JVjJV+1)(£) + .. . .
Аналогично, каждой бесконечной матрице g = }g(0), ...,g(N),.. можно сопоставить вектор-функцию
g(t) = g(0)X[o,i)(t) + 9(l)X[i,2)(í) + - + g(N)X[N,N+i)(t) + ... .
Пусть [t] — целая часть действительного числа t. Символом y(t) = y[t] обозначим вектор-функцию y(t) = у([t]), t С [ 1, е ), аналогично, символом c/[í] — вектор-функцию g(t) = ff ([£]), í С [0, G ). Множество вектор-функций обозначим символом а множество вектор-функций — символом £. Положим (Ay)(í) = y(t) y(t 1) = y[t] y[t 1] при í - 1, (Ay)(t) = y(t) = y[t} = y(0) при í С [0,1).
В работе используются следующие пространства: пространство L локально сумми-
т
руемых / : [0, е ) оо М" с полунормами |||/"|||ф,т] = f IllfCOIIk" & Для всех Т > 0;
о
пространство D локально абсолютно непрерывных функций х : [0, € ) оо М" с полунормами |||)г|||Ь[о,г] = ||[¿|||k[o,T] + T > 0; пространство £ бесконечных
Т __
матриц д = }ff(0),g(l), g{N),.. .\ с полунормами = Ittftllk-i Т > ПР°"
¿=о
странство £0 бесконечных матриц у = }у( 1), у(0), у(1), ...,y(N),... с полунормами \\М\кт = Е Т > 1; 4о = Ьп0: llbllLo = \\№Ш> < I;
i= 1 к= 10 1 >ss<
ее = }д С г : HbllL = sup Hb(fc)||b-<+€ |.
Запишем абстрактную гибридную функционально-дифференциальную систему в виде
Qi\x + Q12y = х Fnx F12y = /, Qsix + 0>2y = Ay F2ix F22y = g.
Операторы Qn, Fn : D 00 L, Ql2, Fl2 : £0 00 L, Qn,F21 : D 00 £, Q¡.2lF22 : £0 00 £ предполагаются линейными непрерывными и вольтерровыми.
Пусть заданы банаховы пространства D —>D, М0 —» £0, В —>L, М —и имеет место изоморфизм D ОМ0 ^ (В OR") 0(мО®")- Если все элементы }х, у\ С D QMo обладают какими-нибудь специфическими асимптотическими свойствами, например,
sup||(r(t)llk»+ sup \Mk)\\k" < е ,
í—Я к= 1,0,1,...
и задача Коши для уравнения 2}ж,у| = col}/, д\ с линейным ограниченным оператором Q : D QMо оо В ОМ однозначно разрешима, то и решения этой задачи будут обладать такими же асимптотическими свойствами. Пусть модельное уравнение [8-10] Qnx = z и банахово пространство В выбраны так, что решения этого уравнения обладают интересующими нас асимптотическими свойствами. Пусть, кроме того, решение при любой правой части z С В записывается в виде формулы Коши x(t) = Un(t)x(0) + (Wuz)(t). Определим банахово пространство D( Qn, В) с нормой ||М1Ь( и,В) = II(Oil-1'lib + llltr(0) (вложение В —» L предполагается непрерывным). Предположим, что оператор Wn непрерывно действует из пространства В в пространство В, и оператор Un действует из пространства М" в пространство В. Это условие эквивалентно (см. [9, 10, гл. IV]) тому, что пространство D( QU, В) линейно изоморфно пространству
С.Л. Соболева ^[0,6 ) с нормой II(г 11^(1)rQ е , — l'llb + IIINIb- Будем обозначать это пространство символом Wb ■ Справедливо И в и это вложение
непрерывно. Будем говорить, что уравнение 0,цх = z с оператором Qn : D{Qíi) 00 В D(QU,B) -устойчиво [8], если для каждой правой части z С В каждое решение х принадлежит D{Qíi, В). Здесь D{Qíi) —> D — область определения оператора Qn-Уравнение Q\\X = z с оператором Qn : D( QU, В) Q W-& оо В, удовлетворяющим вышеприведенному условию, D{Qíi , В) -устойчиво ( И в -устойчиво) тогда и только тогда, когда оно сильно В -устойчиво. Уравнение Qnx = z сильно В -устойчиво, если для любого z С В каждое решение х этого уравнения обладает свойством: х С В и х С В (см. [8,10, гл. IV, §4.6]).
Операторы Qu : D оо L, Q12 : £0 00 L, Q21 : D 00 £, Q22 : £0 ос I рассматриваются как приведения на пары (D(Qn, В). В), (М0,В), (D(Qn, В), М), (М0,М). Эти операторы предполагаются линейными вольтерровыми и ограниченными.
Предположим, что общее решение уравнения Q22y = Я для д С £ принадлежит пространству £0 и представляется формулой Коши:
t
y[t] = {Y22y{ 1 ))[t] + (C22g)[t]=Y22[t}y( 1)+^С22Мф], 0.
Обозначим: Q = ( ) • Тогда (1) записывается в виде 2}ж,у| = col}/, д\ .
\ Q¿ i Q22 J
Предположим, что для любых ж(0) С М" и у( 1) С К" однозначно разрешима задача Коши для «модельной» системы
ф1х+$2у = х F^x F°2y = z, $lX+$2y = Ay F&x F¡2y = u,
где операторы Q^j, : D oo L, ^2, F^ : 00 L, £Qi,F21 : D oo £, 2, F22 : oo £ предполагаются непрерывными и вольтерровыми. Тогда модельную систему можно записать в виде Q)}x:y| = col}z, и\ . Пусть ее решение имеет представление
( Uu U12 \ ( х(0) \ ( Wn W12 \ / z \
V U21 и22 Д у( 1) ) + V W21 W22 )\ И ) '
wn w12
Здесь U = [ ) : LQ£ oo DQ£0 — непрерывный вольтерров оператор Коши
W21 W2 2
модельной системы, W= ( 11 TJÍZ I : JE" О00 D Q)£q — ее фундаментальная
( Un U12 \
\ U21 U22 J
матрица.
2. Теоремы Боля—Перрона
Для обыкновенного дифференциального уравнения еще в монографиях [11, 12], отмечались явления, которые в терминах В) -устойчивости можно сформулировать следующим образом. При определенных условиях относительно оператора Qn из В)-устойчивости следует более тонкое асимптотическое свойство, а именно Dt^jjBx)-устойчивость, где — некоторое подпространство пространства В, Следуя традиции Пермского семинара [8-10], соответствующие утверждения будем называть теоремами Боля-Перрона. В основе следующих доказательств таких теорем лежат свойства подпространства В —» L, вытекающие из их порядковой структуры, которую определим следующим образом. В векторном пространстве М" введем частичную упорядоченность: а = col}q'i,...,ап ~ 0, если at ™ 0, i = а ~ Р, если, а в ~ 0. Через ||а|| будем обозначать вектор, определяемый равенством ||з|| = col}||otiII,..., IKII ■ Будем предполагать, что в пространстве Ж" зафиксирована норма УН хЩцп, обладающая свойством монотонности-. ЩзЩр1 > если ||а||> ||б||. В соответствии с порядком в пространстве К" введем отношение порядка в пространстве L. А именно у ~ 0, если y(t) ~ 0 почти всюду на [0, е ); у ~ z, если у z ~ 0. Через ||у|| будем обозначать функцию, почти всюду на [0, € ) определяемую равенством |fc/||(t) = || Относительно банахова пространства В —>L будем предполагать,
что норма в пространстве В согласована с порядком через условие идеальности: если z С L, г/ £ В и ||г|| > то 2 L В и > Щ^/ЩЬ- Среди прочих свойств про-
странств, удовлетворяющих этому условию (банаховых идеальных пространств [13]), отметим следующие: 1) норма в таком пространстве В обладает свойством монотонности; 2) любое ограниченное по порядку подмножество пространства В имеет точные грани (В — К-пространство)-, 3) в пространстве В определены "срезки"— операторы умножения на характеристические функции Хм измеримого множества М —У [0, € ); 4) вложение В —непрерывно.
3. Асимптотическая устойчивость
Введем подмножество Во ^В всех таких функций 2 С В. что для каждой функции z выполняется равенство lim |||[\'rs е = 0. Иначе говоря, пространство В0 состоит
sooe Li;
из всех функций z С, В, стремящихся при t оо € к нулю по метрике пространства В, причем нетрудно показать, что Во является замкнутым подпространством пространства В и совпадает с замыканием по норме |||х||^ линейного многообразия всех финитных функций z С, В,
Пусть далее С0 — это подпространство пространства С, состоящее из всех таких х С С, для которых lim x(t) = 0, ||}г|||}:<0 = ЩгЦ^. Здесь и ниже С — пространство
too€
непрерывных и ограниченных функций х : [0, € ) оо М™ с нормой ||(е|||с = sup |Це(£)||Ь>*.
t—30
Будем предполагать, что для пространства В и модельного уравнения Cf^.x = z выполнены условия:
а) оператор Коши И;п действует из пространства В0 в пространство С0 и ограии-
б) столбцы фундаментальной матрицы Un уравнения (З^х = 0 принадлежат пространству С0.
Таким образом, имеет место непрерывное вложение 0(0^,60) —>С0 и асимптотическая устойчивость первого модельного уравнения.
Лемма 1. Имеет место непрерывное вложение D(Qji:B) —>С.
Таким образом, в указанных предположениях относительно пространства В и модельного уравнения, В) -устойчивость уравнения Quх = z гарантирует устойчивость по Ляпунову, a В0) -устойчивость — асимптотическую устойчивость.
Теорема 1. Пусть уравнение Qnx = f D(Qj1; В) - устойчиво и оператор Q : D(Q) 00 L действует из пространства D(Q^j,Bo) е пространство Во. Тогда это уравнение D(QJ1,B0) устойчиво.
В условиях теоремы 1 уравнение Qi\x = / асимптотически устойчиво.
Отметим, что для некоторых специальных классов уравнений аналоги теоремы 1 были получены ранее другими авторами (см. [14, 15, гл. 3, § 4, 4.1, 4.2], [16,17, §§ 2.5, 5.1], [18-25]).
Предварительно сформулируем две леммы о свойствах линейного вольтеррова ограниченного оператора U\\ : В оо В и о разрешимости функционального уравнения Uи2 = / в пространстве Во.
Лемма 2. Для линейного ограниченного волътеррова оператора Ыu : В оо В справедливо включение ¿/^Bj—
Лемма 3. Пусть линейный ограниченный оператор U ц : В оо В волътерров и UаВ0 —>В0. Тогда если этот оператор имеет обратный оператор Uп1 : В оо В, то U i/Во —»Во.
В виде замечания к лемме 3 укажем условия, при выполнении которых из включения U\\В0 —» В0 и обратимости сужения Ы110 = Wnlbo : В0 ос В0 следует обратимость оператора Uц : В оо В.
Предположим, что пространство В обладает свойством монотонной полноты нормы (свойством (В)) ([13, гл. IV, §3, 3.2, гл. X, §4, 4.1], [26, с. 143]): если для zk С В при всех к С N выполнено zu-ц ™ Zk ~ 0 и sup Zk в < t , то существует такой элемент
z С В. что Zk(t) оо 2(f) почти всюду на [0, € ), причем z в = sup Zk в-
к£ N
Предположим, далее, что линейный регулярный оператор Ы п : В оо В удовлетворяет условию порядковой непрерывности (|13, гл. X, §2, 2.1]): если fn{t) оо 0 при п оо € для почти всех t С [0, е ), |lf„|| > g С, В, то (Qnfn)(t) оо 0 при п оо € для почти всех t jC [0, € ).
Отметим, что условию порядковой непрерывности удовлетворяют линейные регулярные интегральные операторы и линейные операторы внутренней суперпозиции — два основных в приложениях класса линейных операторов.
В этих предположениях справедливо следующее утверждение.
Лемма 4. Пусть пространство В обладает свойством монотонной полноты нормы (свойством (В)) и линейный регулярный вольтерров оператор Uп : В оо В удовлетворяет условию порядковой непрерывности. Если справедливо U\\Во —»Во и обратимо сужение Wno = WnIbo : Во 00 В0, то оператор 14и : В оо В обратим.
Близкие результаты содержится в монографии [27, Ch. III, 3.2.6, 3.2.7].
Теорема 1 допускает обращение.
Теорема 2. Пусть пространство В обладает свойством монотонной полноты нормы (свойством (В) ) и оператор 1Ац = QuWn регулярен и удовлетворяет условию порядковой непрерывности. Тогда эквивалентны утверждения:
а) уравнение Q\\x = / DfÖjj, Во) устойчиво;
б) уравнение Q\\X = / . В) устойчиво и оператор Q : D(Q) оо L действует из пространства D(Qj1;Bo) в пространство В0.
Определим банахово пространство всех функций g С £°е —» £Е (д С Q —о) таких, что для каждой функции д выполняется равенство
Hm Ш[п,е JffllL = 0 ( »im Ш[п,е )SllLo = 0)-
поое гаоое
Введем банахово пространство b —>£ бесконечных матриц д = }#(()),р(1),...,g(N),.. .| с нормой llJ^lllb, а также определим банахово пространство bo —>£q бесконечных матриц у = }у( l),y(Q),y(l),...,y(N),...\ с нормой ЦЫЦ*. Вложение b ->■£ (b0-»4)
непрерывно. Пусть для пространств b. Ь0 выполнены все предыдущие условия п. 3. Определим подмножество b° —»b всех таких функций д С Ь, что для каждой функции д выполняется равенство lim ||W, е =0. Здесь и ниже хм —характеристическая
sooE '
функция множества М —>N{ 0. Иначе говоря, пространство Ь° состоит из всех функций д С Ь, стремящихся при i оо е к нулю по метрике пространства Ь. Нетрудно показать, что Ь° является замкнутым подпространством пространства b и совпадает с замыканием по норме |||х||||ь линейного многообразия всех финитных функций д С Ъ. Аналогично определяем пространство b{j.
Далее будем предполагать, что для пространства b и модельного уравнения 0>2У = и выполнены условия:
а) оператор Коши W22 действует из пространства Ь° в пространство 0 и ограничен;
б) столбцы фундаментальной матрицы U22 уравнения QUy = 0 принадлежат пространству 0.
Таким образом, имеет место непрерывное вложение D(^2;b°) —0 и асимптотическая устойчивость второго модельного уравнения.
Лемма 5. Имеет место непрерывное вложение D(Q^2,b) о-
Предположим, что линейный оператор U22 : b 00 b регулярен. В этом случае оператор U22 удовлетворяет условию порядковой непрерывности ([13, гл. X, § 2, 2.1]): если дп(т) оо 0 всюду для т С }0| { N при п оо € , Цд„|| > д СЪ. то {U22 дп){т) °о 0 всюду для т jC }0| { N при п 00 е .
Сформулируем распространение теоремы Боля-Перропа на уравнение Q}x, у\ =
}f,g\ ■
Теорема 3. Пусть операторы Q12 : D(Q^2,b) 00 В, Qu : D(QJ1;B) 00 b регулярны, причем Qi2(D(б>2■ Ь)) —>В, Q2\ В)) >b. Предположим, что уравнение Qnx = f D(Qj1;B) устойчиво и уравнение Q^y = g 0(£§2,Ь) устойчиво, а операторы Qu : D(QU) 00 L, Q22 '■ D(Q22) 00 £ регулярны из пространства D(^1;B0) и D(^2,b°) в пространства В0 и Ь°. Пусть банаховы пространства Bub обладают свойством монотонной полноты нормы ( свойством (В))г операторы Qli : D(2ii> В) ооВ. a2:D(^2,b)oo.B, ^ : D(QJ1; В) oob, Q^ : D(£g, Ь) 00 b поряд-ково непрерывны. Пусть, далее, уравнение 0±х = (Qu Q12C22Q21 )х = /1 D( Öji, В) устойчиво и оператор QiWn : В0 00 В0 ограничен и порядково непрерывен.
Тогда эквивалентны утверждения:
a) уравнение Q^x,y\ =col}/,p| является D(Qj,BoOb°) устойчивым;
b) уравнение =col}/,p| является D(Q).BOb) устойчивым.
СПИСОК ЛИТЕРАТУРЫ
1. Марченко В.М., Луазо Ж.Ж. Об устойчивости гибридных дифференциально-разностных систем // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 728-740.
2. Симонов П.М. Теорема Боля-Перрона для гибридных линейных систем с последействием// Вестник Пермского университета. Серия: Математика. Механика. Информатика. 2016. № 2 (33). С. 56-60.
3. Симонов П.М. К вопросу о теореме Боля-Перрона для гибридных линейных функционально-дифференциальных систем с последействием (ГЛФДСП) // Журнал Средневолжского математического общества. 2016. Т. 18. № 1. С. 75-81.
4. Симонов П.М. Теорема Боля-Перрона для гибридных линейных систем с последействием // Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры. 2017. Т. 132. С. 122-126.
5. Simonov P.M. The Bohl-Perron theorem for hybrid linear systems with aftereffect // Journal of Mathematical Sciences. 2018. Vol. 230. № 5. P. 775-781.
6. Симонов П.М. Теорема Боля-Перрона об асимптотической устойчивости для гибридных линейных функционально-дифференциальных систем с последействием (ГЛФДСП) // Вестник Российской академии естественных наук. 2016. Т. 16. № 3. С. 55-59.
7. Симонов П.М. Теорема Боля-Перрона об асимптотической устойчивости гибридных систем // Функционально-дифференциальные уравнения: теория и приложения: материалы конф., посвящ. 95-летию со дня рождения проф. Н.В. Азбелева. Пермь: ПНИПУ, 2018. С. 230-235.
8. Азбелев Н.В., Березанский Л.М., Симонов П.М., Чистяков А.В. Устойчивость линейных систем с последействием. IV // Дифференциальные уравнения. 1993. Т. 29. № 2. С. 196-204.
9. Азбелев Н.В., Березанский Л.М., Симонов П.М., Чистяков А.В. Устойчивость линейных систем с последействием. III // Дифференциальные уравнения. 1991. Т. 27. № 10. С. 1659-1668.
10. Азбелев Н.В., Симонов П.М. Устойчивость решений уравнений с обыкновенными производными. Пермь: Перм. ун-т, 2001. 230 с.
11. Барбашин Е.А. Введение в теорию устойчивости. М.: Наука, 1967. 224 с.
12. Массера Х.Л., Шеффер Х.Х. Линейные дифференциальные уравнения и функциональные пространства. М.: Мир, 1970. 456 с.
13. Канторович Л.В., Акилов Г.П. Функциональный анализ. 4-е изд., испр. СПб.: Невский Диалект; БХВ-Петербург, 2004. 816 с.
14. Носов В.Р. Теорема Перрона для стационарных и периодических систем дифференциально-функциональных уравнений // Дифференциальные уравнения с отклоняющимся аргументом / Ун-т дружбы народов им. П. Лумумбы. M., 1979. Т. 11. С. 44-51.
15. Колмановский В.Б., Носов В.Р. Устойчивость и периодические режимы регулируемых систем с последействием. М.: Наука, 1981. 448 с.
16. Курбатов В.Г. Об устойчивости функционально-дифференциальных уравнений // Дифференциальные уравнения. 1981. Т. 17. № 6. C. 963-972.
17. Курбатов В.Г. Линейные дифференциально-разностные уравнения. Воронеж: Изд-во Воронеж. ун-та, 1990. 168 с.
18. Пуляев В.Ф., Цалюк З.Б. К вопросу о допустимости некоторых пар пространств для линейных операторов и уравнений Вольтерра // Дифференциальные уравнения. 1983. Т. 19. № 4. С. 684-692.
19. Пуляев В.Ф. О допустимости некоторых пар пространств относительно линейных интегральных уравнений Вольтерра // Дифференциальные уравнения. 1984. Т. 20. № 10. С. 1800-1805.
20. Пуляев В.Ф. О спектре линейных непрерывных операторов // Известия Северо-Кавказского научного центра высшей школы. Естественные науки. 1985. № 4. С. 25-28.
21. Пуляев В.Ф. О спектре операторов Вольтерра // Интегральные операторы и уравнения: сб. науч. тр. Краснодар: Кубанский гос. ун-т, 1987. С. 29-37.
22. Пуляев В.Ф. О взаимосвязи нетеровости линейных непрерывных операторов и их сужений // Известия высших учебных заведений. Математика. 1990. № 8 (339). С. 65-73.
23. Пуляев В.Ф. Развитие теории линейных интегральных уравнений с периодическими и почти периодическими ядрами: автореф. дис. ... д-ра физ.-мат. наук. СПб., 2001. 31 с.
24. Пуляев В.Ф., Цалюк З.Б. Об асимптотическом поведении решений интегральных уравнений Вольтерра в банаховых пространствах // Известия высших учебных заведений. Математика. 1991. № 12 (355). С. 47-55.
25. Сокол Д.Г. О допустимости некоторых пар пространств для интегральных операторов и уравнений // Известия высших учебных заведений. Северо-Кавказский регион. Серия: естественные науки. 2000. № 1. С. 135-137.
26. Бухвалов А.В., Векслер А.И., Лозановский Г.Я. Банаховы решетки - некоторые банаховы аспекты теории // Успехи математических наук. 1979. Т. 34. Вып. 2 (206). С. 137-183.
27. Kurbatov V.G. Functional differential operators and equations. Dordrect: Kluwer Academic Publ., 1999. 433 p.
Поступила в редакцию 20 апреля 2018 г.
Прошла рецензирование 25 мая 2018 г.
Принята в печать 26 июня 2018 г.
Симонов Петр Михайлович, Пермский государственный национальный исследовательский университет, г. Пермь, Российская Федерация, доктор физико-математических наук, профессор кафедры информационных систем и математических методов в экономике, e-mail: [email protected]
Для цитирования: Симонов П.М. Теорема Боля—Перрона об асимптотической устойчивости гибридных систем и ее обращение // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2018. Т. 23. № 124. С. 726-737. БОТ: 10.20310/1810-0198-2018-23-124-726-737
DOI: 10.20310/1810-0198-2018-23-124-726-737
THE THEOREM OF BOHL-PERRON ON THE ASIMPTOTIC STABILITY OF HYBRID SYSTEMS AND INVERSE THEOREM
P. M. Simonov
Perm State National Research University 15 Bukirev St.. Perm 614990. Russian Federation E-mail: [email protected]
Abstract. We consider an abstract hybrid system of two equations with two unknowns: a vector function x that is absolutely continuous on each finite interval [0, T], T > 0, and a sequence of numerical vectors y. The study uses the l^-method N.V. Azbelev. As a model, a system containing a functional differential equation with respect to x is used, and a difference equation with respect to y. Solutions spaces are studied. For a hybrid system, the Bohl-Perron theorem on asymptotic stability and the converse theorem are obtained.
Keywords: the theorem of Bohl-Perron about the asymptotic stability; hybrid linear system of functional differential equations; method of the model equations, converse theorem
REFERENCES
1. Marchenko V.M, Luazo J.J. Ob ustoychivosti gibridnykh differentsial'no-raznostnykh sistem [On the stability of hybrid difference-differential systems]. Differentsial'nye uravneniya - Differential Equations, 2009, vol. 45, no. 5, pp. 728-740. (In Russian).
2. Simonov P.M. Teorema Bolya-Perrona dlya gibridnykh lineynykh sistem s posledeystviyem [Theorem of Bohl-Perron of hybrid linear functional differential systems with aftereffect]. Vestnik Permskogo universiteta. Seriya: Matematika. Mekhanika. Informatika - Bulletin of Perm University. Mathematics. Mechanics. Computer Science, 2016, no. 2 (33). pp. 56-60. (In Russian).
3. Simonov P.M. K voprosu o teoreme Bolya-Perrona dlya gibridnykh lineynykh funktsional'no-differ entsial'nykh sistem s posledeystviyem (GLFDSP) [On the question of the theorem of BohlPerron of hybrid linear functional differential systems with aftereffect (HLFDSA)]. Zhumal Sredne-volzhskogo matematicheskogo obshchestva - Middle Volga Mathematical Society Journal, 2016, vol. 18, no. 1, pp. 75-81. (In Russian).
4. Simonov P.M. Teorema Bolya-Perrona dlya gibridnykh lineynykh sistem s posledeystviyem [The Bohl-Perron theorem for hybrid linear systems with aftereffect]. Itogi nauki i tekhniki. Sovre-mennaya matematika i eye prilozheniya. Tematicheskiye obzory - Journal of Mathematical Sciences, 2017, vol. 132, pp. 122-126. (In Russian).
5. Simonov P.M. The Bohl-Perron theorem for hybrid linear systems with aftereffect. Journal of Mathematical Sciences, 2018, vol. 230, no. 5, pp. 775-781.
The work is partially supported by the Russian Fund for Basic Research (project № 18-01-00332 A).
6. Simonov P.M. Teorema Bolya-Perrona ob asimptoticheskoy ustoychivosti dlya gibridnykh lineynykh funktsional'no-differentsial'nykh sistem s posledeystviyem (GLFDSP) [Theorem of BohlPerron on asymptotic stability of hybrid linear functional differential systems with aftereffect (HLFDSA)]. Vestnik Rossiyskoy akademii estestvennykh nauk - Bulletin of the Russian Academy of Natural Sciences, 2016, vol. 16, no. 3, pp. 55-59. (In Russian).
7. Simonov P.M. Teorema Bolya-Perrona ob asimptoticheskoy ustoychivosti gibridnykh sistem [The Bohl-Perron theorem on the asymptotic stability of hybrid systems]. Materialy konferentsii «Funktsional'no-differentsial'nyye uravneniya: teoriya i prilozheniya», posvyashchennoy 95-letiyu so dnya rozhdeniya professora N.V. Azbeleva [Proceedings of the Conference "Functional and Dif-ferentional Equations: Theory and Applications" Dedicated to the 95th Anniversary of Professor N.V. Azbleev]. Perm, 2018, pp. 230-235. (In Russian).
8. Azbelev N.V., Berezanskiy L.M., Simonov P.M., Chistyakov A.V. Ustoychivost' lineynykh sistem s posledeystviyem. IV [Stability of linear systems with aftereffect. IV]. Differentsial'nye uravneniya - Differential Equations, 1993, vol. 29, no. 2, pp. 196-204. (In Russian).
9. Azbelev N.V., Berezanskiy L.M., Simonov P.M., Chistyakov A.V. Ustoychivost' lineynykh sistem s posledeystviyem. III [Stability of linear systems with aftereffect. III]. Differentsial'nye uravneniya - Differential Equations, 1991, vol. 27, no. 10, pp. 1659-1668. (In Russian).
10. Azbelev N.V., Simonov P.M. Ustoychivost' resheniy uravneniy s obyknovennymi proizvod-nymi [Stability of Equations Solutions with Ordinary Derivatives]. Perm, Perm State University Publ., 2001, 230 p. (In Russian).
11. Barbashin E.A. Vvedeniye v teoriyu ustoychivosti [Introduction to the Stability Theory]. Moscow, Nauka Publ., 1967, 224 p. (In Russian).
12. Massera J.L., Schaffer J.J. Lineynyye differentsial'nyye uravneniya i funktsional'nyye prost-ranstva [Linear Differential Equations and Function Spaces]. Moscow, Mir Publ., 1970, 456 p. (In Russian).
13. Kantorovich L.V., Akilov G.P. Funktsional'nyy analiz [Functional Analysis]. St. Petersburg, Nevskiy Dialekt Publ., BKHV-Peterburg Publ., 2004, 816 p. (In Russian).
14. Nosov V.R. Teorema Perrona dlya statsionarnykh i periodicheskikh sistem differentsial'no-funktsional'nykh uravneniy [Perron's theorem for stationary and periodic systems of differential functional equations]. Differentsial'nyye uravneniya s otklonyayushchimsya argumentom [Differential Equations with Deviating Argument]. Moscow, 1979, vol. 11, pp. 44-51. (In Russian).
15. Kolmanovskiy V.B., Nosov V.R. Ustoychivost' i periodicheskiye rezhimy reguliruyemykh sistem s posledeystviyem [Stability and Periodic Regimes Controlled Systems with Aftereffect]. Moscow, Nauka Publ., 1981, 448 p. (In Russian).
16. Kurbatov V.G. Ob ustoychivosti funktsional'no-differentsial'nykh uravneniy [On functional differential equations stability]. Differentsial'nye uravneniya - Differential Equations, 1981, vol. 17, no. 6, pp. 963-972. (In Russian).
17. Kurbatov V.G. Lineynyye differentsial'no-raznostnyye uravneniya [Linear Differential Equations]. Voronezh, Voronezh University Publ., 1990, 168 p. (In Russian).
18. Pulyaev V.F., Tsalyuk Z.B. K voprosu o dopustimosti nekotorykh par prostranstv dlya lineynykh operatorov i uravneniy Vol'terra [On the issue of the admissibility of certain spaces pairs for linear operators and the Volterra equations]. Differentsial'nye uravneniya - Differential Equations, 1983, vol. 19, no. 4, pp. 684-692. (In Russian).
19. Pulyaev V.F. O dopustimosti nekotorykh par prostranstv otnositel'no lineynykh integral'-nykh uravneniy Vol'terra [On the admissibility of some pairs of spaces according to linear integral Volterra equations]. Differentsial'nye uravneniya - Differential Equations, 1984, vol. 20, no. 10,
pp. 1800-1805. (In Russian).
20. Pulyaev V.F. O spektre lineynykh nepreryvnykh operatorov [On the spectrum of linear continuous operators]. Izvestiya Severo-Kavkazskogo nauchnogo tsentra vysshey shkoly. Estestven-nyye nauki - Izvestiya of the North Caucasus Scientific Centre of the Higher School. Natural Science, 1985, no. 4, pp. 25-28. (In Russian).
21. Pulyaev V.F. O spektre operatorov Vol'terra [On the spectrum of Volterra operators]. Sbornik nauchnykh trudov «Integral'nyye operatory i uravneniya» [Proceedings of Scientific Works "Integral Operators and the Equation"]. Krasnodar, Kuban State University Publ., 1987, pp. 29-37. (In Russian).
22. Pulyaev V.F. O vzaimosvyazi neterovosti lineynykh nepreryvnykh operatorov i ikh suzheniy [On interrelation of Noetherian linear continuous operators and their restrictions]. Izvestiya vysshikh uchebnykh zavedeniy. Matematika - Russian Mathematics, 1990, no. 8 (339), pp. 65-73. (In Russian).
23. Pulyaev V.F. Razvitiye teorii lineynykh integral'nykh uravneniy s periodicheskimi i pochti periodicheskimi yadrami: avtoref. dis. ... d-ra fiz.-mat. nauk [Theory of Linear Integral Equations with Periodic and Almost Periodic Kernels Development. Dr. phys.-math. sci. diss. abstr.]. St. Petersburg, 2001, 31 p. (In Russian).
24. Pulyaev V.F., Tsalyuk Z.B. Ob asimptoticheskom povedenii resheniy integral'nykh uravneniy Vol'terra v banakhovykh prostranstvakh [On the asymptotic behavior of solutions of integral Volterra equations in Banach spaces]. Izvestiya vysshikh uchebnykh zavedeniy. Matematika - Russian Mathematics, 1991, no. 12 (355), pp. 47-55. (In Russian).
25. Sokol D.G. O dopustimosti nekotorykh par prostranstv dlya integral'nykh operatorov i uravneniy [On the admissibility of certain space pairs for integral operators and equations]. Izvestiya vysshikh uchebnykh zavedeniy. Severo-Kavkazskiy region. Seriya: estestvennyye nauki - University News North-Caucasian Region. Natural Sciences Series, 2000, no. 1, pp. 135-137. (In Russian).
26. Bukhvalov A.V., Veksler A.I., Lozanovskiy G.Ya. Banakhovy reshetki - nekotoryye banakho-vy aspekty teorii [Banach lattices - some Banach theory aspects]. Uspekhi matematicheskikh nauk - Russian Mathematical Surveys, 1979, vol. 34, no. 2 (206), pp. 137-183. (In Russian).
27. Kurbatov V.G. Functional Differential Operators and Equations. Dordrect, Kluwer Academic Publ., 1999, 433 p.
Received 20 April 2018
Reviewed 25 May 2018
Accepted for press 26 June 2018
Simonov Pyotr Mikhailovich, Perm State National Research University, Perm, the Russian Federation, Doctor of Physics and Mathematics, Professor of the Department of Information Systems and Mathematical Methods in Economics, e-mail: [email protected]
For citation: Simonov P.M. Teorema Bolya—Perrona ob asimptoticheskoy ustoychivosti gibridnykh sistem i yeyo obrashche-niye [The theorem of Bohl—Perron on the asymptotic stability of hybrid systems and inverse theorem]. Vestnik Tambovskogo universiteta. Seriya: estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2018, vol. 23, no. 124, pp. 726-737. DOI: 10.20310/1810-0198-2018-23-124-726-737 (In Russian, Abstr. in Engl.).
