CC BY
13
УДК 519.6
DOI: 10.18698/1812-3368-2021-4-40-56
ВЫЧИСЛИТЕЛЬНАЯ ДИАГНОСТИКА НЕУСТОЙЧИВЫХ ПО ЯКОБИ ДИНАМИЧЕСКИХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ГИБРИДНЫХ АЛГОРИТМОВ ГЛОБАЛЬНОЙ ОПТИМИЗАЦИИ
П.М. Шкапов1
A.В. Сулимов2
B.Д. Сулимов1
[email protected] [email protected] [email protected]
1 МГТУ им. Н.Э. Баумана, Москва, Российская Федерация
2 Филиал МГУ в г. Севастополе, Севастополь, Российская Федерация
Аннотация
Рассмотрены задачи восстановления и анализа свободных параметров динамических систем по косвенной, приближенно заданной информации. В контексте теории Косамби — Картана — Черна введено геометрическое описание эволюции системы во времени. Для исследуемой системы определены пять геометрических инвариантов. Собственные значения второго инварианта дают оценку устойчивости системы по Якоби. Подобное исследование представляет интерес в практических приложениях, где требуется идентифицировать области, в которых имеют место одновременно устойчивость по Ляпунову и устойчивость по Якоби. Сформулирована обратная задача вычислительной диагностики системы по заданным приближенно собственным значениям второго инварианта. Решение регуляризованной обратной задачи определено с использованием оптимизационного подхода. Скалярные критериальные функции предполагаются непрерывными, многомерными, локально липшицевыми, не обязательно всюду дифференцируемыми. При поиске глобальных решений применены новые гибридные алгоритмы, интегрирующие стохастические алгоритмы сканирования пространства переменных и детерминированная процедура локальной минимизации. Численная процедура сканирования реализована с использованием двух модифицированных версий кратного алгоритма столкновения частиц (обучение с построением квазиоппозиций и обучение методом вращений). В фазе локального поиска введены двухпараметрические сглаживающие аппроксимации критериальных функций. Приведены
Ключевые слова
Динамическая система, управление, устойчивость по Якоби, геометрический инвариант, вычислительная диагностика, глобальная оптимизация, гибридный алгоритм
примеры решения задач вычислительной диагностики неустойчивых по Якоби динамических систем: Поступила 08.10.2020 системы Лоренца и эллиптического маятника Принята 16.11.2020 с управлением © Автор(ы), 2021
Введение. Во многих практических исследованиях устойчивости динамических систем применяют метод Ляпунова [1]. Отдельное направление составляют задачи управления, например обеспечение робастной устойчивости системы, синтез оптимального управления, поиск оптимальной программы управления в заданном классе аппроксимаций [2, 3]. В общем случае конфигурационное пространство системы не является евклидовым. Описание динамики неголономных систем на касательных расслоениях и формулировка соответствующей задачи оптимального управления приведены в [4]. Класс задач оптимального управления системой на римано-вых многообразиях рассмотрен в [5]. Один из методов исследования устойчивости динамических систем представляет теория Косамби — Картана — Черна (теория ККЧ) [6]. Фундаментальным в теории ККЧ является предположение о существовании взаимно-однозначного соответствия между динамической системой (автономной или неавтономной) второго порядка и уравнениями геодезических в ассоциированном пространстве Финс-лера [7]. В рамках указанной теории реализован дифференциально-геометрический подход к вариационным дифференциальным уравнениям, описывающим отклонение целой траектории динамической системы от ближайших траекторий. При геометрическом описании, вводимом теорией ККЧ, могут быть определены пять геометрических инвариантов системы. Второй инвариант (тензор кривизны отклонения) устанавливает оценку устойчивости системы по Якоби: соответствующий критерий устойчивости формулируется с использованием собственных значений указанного инварианта. Анализ устойчивости динамической системы по Якоби связан с изучением ее робастности (меры нечувствительности и адаптации к изменению параметров собственно системы и окружающей среды) [8]. Применение теории ККЧ актуально во многих практических приложениях, где требуется идентифицировать области, в которых одновременно существуют устойчивость по Ляпунову и устойчивость по Якоби. Подход может быть распространен на динамические системы произвольной размерности [7, 8].
Пусть для исследуемой динамической системы, обладающей заданной структурой, определен тензор кривизны отклонения. Предполагается, что собственные значения указанного тензора не только дают оценку устойчи-
вости системы по Якоби (в соответствии с теорией ККЧ), но также несут и некоторую информацию о самой системе (структура системы известна). Возможна постановка задачи, в которой требуется определить существенные характеристики исследуемой системы по заданным собственным значениям тензора кривизны отклонения. Входные данные задачи могут быть получены из эксперимента посредством прямых измерений с последующей компьютерной обработкой. В качестве искомых могут рассматриваться, например, физические и геометрические характеристики системы, характеристики управления и др. Формулируется задача вычислительной диагностики исследуемой динамической системы, связанная с восстановлением и анализом существенных характеристик системы по косвенной информации, представленной конечным множеством собственных значений тензора кривизны отклонения. Методы вычислительной диагностики находят широкое применение, например, в индустриальных технологиях, физике и химии (исследования плазмы), биоинформатике [9-11]. Обратные задачи вычислительной диагностики относятся к классу некорректно поставленных задач, при решении которых требуется применение специальных методов регуляризации [12]. В настоящее время методы регуляризации обратных задач хорошо разработаны и продолжают совершенствоваться [13, 14]. Одним из основных подходов к решению задач вычислительной диагностики является оптимизационный, связанный с минимизацией некоторой критериальной функции (функции рассогласования). В практических условиях необходимо учитывать неполноту входной косвенной информации, зашумленность измеряемых данных, возможное наличие кратных собственных значений и др. [12]. Ввиду естественной ограниченности энергии изменений в системе справедливо предположение о том, что отношения приращений критериальных функций к приращениям аргументов не превышают некоторого порога, характеризуемого константой Липшица [2]. В общем случае критериальные функции обратных задач являются непрерывными, многомерными, локально липшицевыми, многоэкстремальными, не обязательно всюду дифференцируемыми. Следовательно, для решения обратных задач вычислительной диагностики требуется применение алгоритмов глобальной недифференцируемой оптимизации [15]. Рассматриваемый подход основан на разработке и применении математических моделей систем, методов определения геометрических структур и анализа устойчивости систем по Якоби, методов теории обратных задач, методов глобальной оптимизации.
Геометрические инварианты теории Косамби — Картана — Черна. Предполагается, что переменные динамической системы xi, г = 1, 2,.., п,
определены на действительном гладком п-мерном многообразии М; касательное расслоение многообразия М обозначается как ТМ. Рассматривается открытое связное подмножество О. евклидова (2п + 1)-мерного пространства Яп х Яп х Я1. На подмножестве О, вводится (2п + 1)-мерная система координат (х1, у1, t), I = 1, 2,.., п, где х1 = (х1, х2,..., хп),
y1 = (y1, y2,• ••, yn), y1 =
f dx^ dx^ dx^ ^ dt dt dt ^
, t — время.
Уравнения движения лагранжевой механической системы (М, Ь, Ц) могут быть получены с использованием функции Лагранжа Ь: ТМ ^ Я и уравнений Эйлера — Лагранжа:
й дЬ дЬ г dxl
-- — = Ц, у =—, г = 1, 2, ..., п, (1)
dt ду1 дх1 dt
где (применительно к механическим системам) Ц, I = 1, 2,..., п, представляют внешние силы. Если лагранжиан Ь является регулярным, то уравнения (1) эквивалентны следующей системе обыкновенных (обычно нелинейных) дифференциальных уравнений второго порядка [6]:
й 2х1
dt2
- + 2G1 (x1, y1, t) = 0, 1 e {1, 2, ..., n}. (2)
Здесь каждая функция О1 (х1, у1, t) имеет класс гладкости Сю в окрестности некоторых начальных условий ((х )0,( у )0, t0) на О (при этом функции О1 (х1, у1, t) определены в локальной системе координат на ТМ). Существенно, что в случае произвольной системы дифференциальных уравнений второго порядка вида (2) возможно изучение траекторий системы по аналогии с траекториями уравнений Эйлера — Лагранжа [6]. Для несингулярных преобразований координат ККЧ-производная
д
векторного поля ^ = (х)—т на открытом подмножестве Яп х Яп
дх1
определяется в виде
^=^+м; ь >, dt dt ;
где локальные коэффициенты нелинейной связности определены как
дО1
N =—-. Тогда первый ККЧ-инвариант в1 получается при у1 =
' ду}
= % : м;у; -Ю1 =-£г'.
Варьирование траекторий хг(£) уравнений (2) относительно ближайших траекторий приводит к уравнениям в ковариантной форме [6, 7]:
dt
dG dN rp-г
где Pi = -2 — -20Цк +/—L + ЩЩ; G)k =
= Pi lj, (3)
2 }
! дх! !к 7 дхк к Г }к ду!дук'
Уравнение (3) называется уравнением Якоби, а тензор Р- — вторым
ККЧ-инвариантом (тензором кривизны отклонения). В рамках рассматриваемой теории могут быть определены пять ККЧ-инвариантов исследуемой динамической системы.
Определение [6]. Траектории системы дифференциальных уравнений (2) устойчивы по Якоби, если и только если действительные части собственных значений тензора Р- всюду строго отрицательны, и неустойчивы по Якоби в противном случае.
Постановка обратной задачи. Обратная задача вычислительной диагностики в рамках выбранной математической модели описывается операторным уравнением
Ах = у, х е X, у е У,
где А — компактный линейный оператор, действующий из X в У;
X, У — гильбертовы пространства. Правая часть возмущенного операторного уравнения представляет собой приближенные входные данные у , определенные по результатам эксперимента. Предполагается, что погрешность задания входной информации 5 известна и имеет место
у8 — у <5. Требуется определить устойчивые приближенные решения
по заданной приближенно информации у8. Существенно, что во многих приложениях обратные задачи являются некорректно поставленными. Далее реализуется подход, основанный на методе регуляризации [12, 13].
Приближенное решение рассматриваемой обратной задачи предполагает поиск минимума функционала Тихонова
/а( х) = 1 Ах - у8
2 , II 1|2 у +а11 Х ¡К'
где
Ax - y8 Ц^ — функционал невязки (квадрат нормы в пространстве
У); а || х ||Х — стабилизирующий функционал; а — параметр регуляризации, а > 0. Регуляризованное решение задачи минимизации:
х £ = а^шт ] а (х).
xeX
Система Лоренца. Рассматривается применение теории ККЧ к системе дифференциальных уравнений, связанных с механикой жидкости. Исследуется система Лоренца, описываемая системой трех нелинейных обыкновенных дифференциальных уравнений [16]
I ^ = _Х + 7, ^ = X + -7, — = XV -PZ, а dt dt dt
где X — координата, представляющая собой поле скоростей; 7, Z — координаты, представляющие собой поле температур; а, р, Р — некоторые свободные параметры. Представленные обыкновенные дифференциальные уравнения аппроксимируют систему дифференциальных уравнений в частных производных, описывающих конвекцию (с конечной амплитудой) в слое жидкости, подогреваемой снизу. Параметры а, р и Р интерпретируются с физической точки зрения как число Прандтля, нормализованное число Рэлея и геометрический фактор (содержит информацию о геометрии конвективной ячейки) соответственно. Существенно, что система уравнений Лоренца является детерминированной, однако ее решение демонстрирует хаотическое поведение при р > а (а + Р + 3) / (а - Р - 1)
и а>Р + 1. После ввода обозначений X = X1, X = 71, Z = X2, 11 - 72,
7 = X3 система Лоренца может быть представлена уравнениями вида (2):
d 2 XI
+ 2О1 (X1, 71) = 0, I = 1, 2.
dt2
В контексте анализа устойчивости по Якоби в [16] указаны следующие точки равновесия динамической системы Лоренца: 5()(0, 0), если
р<1, а также 5+ \/Р(Р_1), р-1 и -^/р(р-1), р-1 , если р>1. Далее рассматривается точка равновесия 5+, р > 1: в этом случае компоненты тензора кривизны отклонения определяются как
Р/^) = -4(1 + а)2, Р^ ) = -а^р(р-1),
ч л/р(р-1)[(-7 а +1) р-а2 +1)] ч _ ч
Р[2(5+) = ^-Ц, р22(5+) = р2 -р(р-1).
4а
Теорема [16]. Если свободные параметры Р, р>1 и а системы Лоренца удовлетворяют одновременно условиям
р(Р-Р +1) + (о +1)2 /4 < 0
Р {р [-7ро + р + о(о + 9)] - 2а (р - 1)(о +1)} /4 > 0, то точки равновесия
мы Лоренца устойчивы по Якоби; в противном случае эти точки равновесия неустойчивы по Якоби.
Эллиптический маятник с управлением. Рассматривается применение теории ККЧ к системе обыкновенных дифференциальных уравнений, описывающих динамическую систему с управлением. Исследуется система с двумя степенями свободы — эллиптический маятник, состоящий из ползуна массой т.1 = М, жесткого невесомого стержня длиной I, а также материальной точки массой Ш2 = т на конце стержня. Для описания движения системы вводятся две обобщенные координаты: х — перемещение ползуна вдоль горизонтальной направляющей; 9 — угол отклонения осевой линии стержня от вертикали. Управляющее входное воздействие представлено приложенной к ползуну активной силой Б. После определения (регулярного) лагранжиана полученные с использованием уравнений Эйлера — Лагранжа (1) дифференциальные уравнения движения, линеаризованные в окрестности положения равновесия (х = 0; 0 = 0), имеют вид [17]:
х = т£е + ±Рг е = -(М±тке + ±Рг (4)
ММ М М1
где g — ускорение свободного падения, g = 9,81 м/с. Управляющее воздействие задано в виде Б = -(К1х + К2 х + К39 + К4 9), Кг, г = 1,... ,4 — коэффициенты усиления обратной связи.
Показано в [17], что система (4) является управляемой и, следовательно, существуют соответствующие коэффициенты усиления обратной связи. В частности, для рассматриваемой системы заданы следующие (стандартные) параметры и коэффициенты усиления: т1 = 0,6 кг; т2 = 0,4 кг; I = 1 м; К3 = 8 Н/рад; К4 = 10 Н • с/рад.
Исследуется устойчивость по Якоби линеаризованной динамической системы (с двумя степенями свободы), описываемой дифференциальными уравнениями второго порядка:
й2 хг ; йх! и ) _ . . , .
—-г- + а\— + Ъ\х! = 0, г,) = 1, 2,
йг2 } йг }
где а] и Ц заданы с помощью постоянных коэффициентов уравнения (4).
Локальные коэффициенты нелинейной связности, кривизны нулевой связности и связности Бервальда имеют вид
N = 2 а], 1 = 2 Ц, 0)к = 0.
Компоненты первого и второго (тензора кривизны отклонения) инвариантов системы определены в форме [17] в1 = 1 а]у] + Ь]х], Р] =
= -Ь] +1 а]ак, при этом
] 4 ] ] г
Р1 = /(К2)2 - К2К4 - 41МК1 Р1 = 1К2К4 - (К4)2 - 41М(К3 - mg) 1 41М2 , 2 4/М2
р2 = К2К4 - 1(К2)2 - 41МК1 р2 = (К4 )2 - 1К2К4 + 41М{Кз - (М + т)^}
1 4/2М2 , 2 4/2 М2 .
Гибридные алгоритмы глобальной оптимизации. Гибридные методы глобальной недифференцируемой оптимизации структурно объединяют стохастические методы сканирования пространства переменных и процедуры локального поиска. Подход к решению задач глобальной и локальной оптимизации с использованием методов прямого поиска представлен в [18]. Некоторые современные методы решения задач локальной недифференцируемой оптимизации описаны в [19-21]. Обзор актуальных детерминированных и стохастических методов глобальной оптимизации приведен в [22, 23]. Гибридный подход к решению задач глобальной оптимизации (в том числе при наличии ограничений) представлен в [24-27].
В настоящей работе используется два новых гибридных алгоритма глобальной недифференцируемой оптимизации:
1) QOM-PCALMSI объединяет стохастический кратный алгоритм QOM-PCA столкновения частиц (с построением квазиоппозиций) [25] в фазе сканирования пространства переменных и детерминированный алгоритм LMSI, реализующий метод линеаризации с построением сглаживающих аппроксимаций и итерационным уточнением в фазе локального поиска [28];
2) RBM-PCALMSI объединяет стохастический кратный алгоритм ЯВМ-РСА столкновения частиц (с выборкой на основе вращений) [26] и алгоритм LMSI [28].
Численные примеры. Пример 1. Предполагается, что по результатам анализа экспериментальных данных для системы Лоренца установлены
приближенные собственные значения тензора кривизны отклонения: ^-104,1; X2 ~ 67,8. Приведенная косвенная информация, полученная моделированием системы Лоренца при стандартных значениях ее параметров, представляет входные данные для решения обратной задачи. Относительная погрешность входных данных не превышает 0,1 %. Свободными переменными являются относительные (определяемые в процентах) величины х1, х2, х3, соответствующие искомым параметрам а, р, р. Критериальная функция рассматриваемой обратной задачи определена как
2 2 2 Р(х) = ^ У ¿$2(х) + а| х||2,
/=1
где уI, (х) — весовой коэффициент и частный критерий, соответствующие 1-му собственному значению X/, $ {(х) = (X] -X/(х)), I = 1, 2; а —
параметр регуляризации; х е Я3.
При решении используется гибридный алгоритм QOM-PCALMSI. Изменение свободных переменных х/, / — 1,...,3, при возрастании числа итераций в заключительной фазе локального поиска показано на рис. 1, а, соответствующее изменение значений критериальной функции Р(х) и нормы Ит(м) (м — вектор направления поиска) — на рис. 1, б.
По завершении 24 итераций получено: х24 «69,75 %, х24 ~ 74,14 %, ' 66,67 %. Восстановленные значения параметров системы равны:
,24
X
24
а ^9,921; р^ 28,345; ß^2,667. Наибольшая относительная погрешность
хг101
7,5 7,0 6,5 6,0 5,5 5,0
А /
__ Г
т
10 15
а
20 N,
iter
F(x),Nr(w)
20 Niu
Рис. 1. Изменения значений свободных переменных Х\ (1), Х2 (2) и Хз (3) (а), критериальной функции (1) и нормы вектора направления поиска Ыг( 1^) (2) (б) при возрастании числа итераций
решения (определяется восстановленным значением параметра р) здесь не превышает 1,3 %. Вычислены параметры системы Лоренца, значения которых близки к стандартным: а* = 10; р * = 28; Р* = 2,(6).
Пример 2. Предполагается, что по результатам анализа экспериментальных данных для эллиптического маятника с управлением установлены следующие приближенные собственные значения тензора кривизны отклонения: ^-18,33; ^2 ~ 105,76 (получены моделированием управляемой системы при стандартных значениях ее параметров). Относительная погрешность входных данных не превышает 1,0 %. Требуется восстановить значения параметров системы, при этом свободными переменными являются нормированные величины: х1 (соответствует массе т материальной точки), а также хг, соответствующие коэффициентам усиления обратной связи К1_1, г = 2,...,4; х е Я4.
При решении используется гибридный алгоритм RBM-PCALMSI. Сходимость решения в заключительной фазе локального поиска показана на рис. 2. По завершении 11 итераций получено: х}1«0,9673; Х21« 0,9922; х31 « 0,99997; х41 ~ 1,0336. Восстановленные приближенные значения параметров системы равны т « 0,3877 кг; К1 « 39,688; К2 « 24,9993; К3 « 8,269. Наибольшая относительная погрешность решения (определяется значением коэффициента усиления К3) не превышает 3,4 %.
F(x), Nr(w)
Niter
Niter
0 4
а б
Рис. 2. Изменения значений свободных переменных х\ (1), х2 (2), х3 (3) и х4 (4) (а), критериальной функции ¥(х) (1) и нормы вектора направления поиска ЫтМ (2) (б) при возрастании числа итераций Niter
Выводы. Рассмотрены задачи вычислительной диагностики неустойчивых по Якоби динамических систем, связанные в рамках теории ККЧ
с определением второго геометрического инварианта. Предложена методика восстановления характеристик систем по собственным значениям тензора кривизны отклонения. Представлены новые гибридные алгоритмы глобальной оптимизации. Проведено модельное восстановление характеристик системы Лоренца и динамической системы с управлением. Точность приближенных решений согласована с точностью задания входной информации.
ЛИТЕРАТУРА
[1] Hafstein S.F., Valfells A. Efficient computation of Lyapunov functions for nonlinear systems by integrating numerical solutions. Nonlinear Dyn., 2019, vol. 97, no. 3, pp. 1895-1910. DOI: https://doi.org/10.1007/s11071-018-4729-5
[2] Квасов Д.Е., Сергеев Я.Д. Методы липшицевой глобальной оптимизации в задачах управления. Автоматика и телемеханика, 2013, № 9, с. 3-19.
[3] Велищанский М.А., Крищенко А.П., Ткачев С.Б. Синтез алгоритмов переориентации космического аппарата на основе концепции обратной задачи динамики. Известия РАН. Теория и системы управления, 2003, № 5, с. 156-163.
[4] Colombo L.A. A variational-geometric approach for the optimal control of nonho-lonomic systems. Int. J. Dynam. Control, 2018, vol. 6, no. 2, pp. 652-662.
DOI: https://doi.org/10.1007/s40435-017-0326-6
[5] Bloch A.M., Gupta F., Kolmanovsky I.V. Neighboring external optimal control for mechanical systems on Riemannian manifolds. J. Geom. Mech., 2016, vol. 8, iss. 3, pp. 257-272. DOI: http://dx.doi.org/10.3934/jgm.2016007
[6] Böhmer C.G., Harko T., Sabau S.V. Jacobi stability analysis of dynamical systems — applications in gravitation and cosmology. Adv. Theor. Math. Phys., 2012, vol. 16, no. 4, pp. 1145-1196. DOI: http://dx.doi.org/10.4310/ATMP.2012.v16.n4.a2
[7] Harko T., Pantaragphong P., Sabau S.V. Kosambi — Cartan — Chern (KCC) theory for higher order dynamical systems. Int. J. Geom. Methods M., 2016, vol. 13, no. 2, art. 1656014. DOI: https://doi.org/10.1142/S0219887816500146
[8] Abolghasem H. Liapunov stability versus Jacobi stability. J. Dyn. Syst. Geom. Theor., 2012, vol. 10, iss. 1, pp. 13-32. DOI: https://doi.org/10.1080/1726037X.2012.10698604
[9] Лаврентьев М.М., Жаринов С.Ю., Зекаль С.М. и др. Вычислительная диагностика поверхностных характеристик протяженных цилиндрических объектов методами активной локации. Сибирский журнал индустриальной математики, 2002, т. 5, № 1, с. 105-113.
[10] Charles C., Bish A., Boswell R.W., et al. A short review of experimental and computational diagnostics for radiofrequency plasma micro-thrusters. Plasma Chem. Plasma Process., 2016, vol. 36, no. 1, pp. 29-44.
DOI: https://doi.org/10.1007/s11090-015-9654-5
[11] Oulas A., Minadakis G., Zachariou M., et al. Systems Bioinformatics: increasing precision of computational diagnostics and therapeutics through network-based approaches. Brief. Bioinformatics, 2019, vol. 20, iss. 3, pp. 806-824.
DOI: https://doi.org/10.1093/bib/bbx151
[12] Wang Y., Yang C., Yagola A.G. (eds). Optimization and regularization for computational inverse problems and applications. Berlin, Heidelberg, Springer, 2010.
DOI: https://doi.org/10.1007/978-3-642-13742-6
[13] Andreev R. Tikhonov and Landweber convergence rates: characterization by interpolation spaces. Inverse Probl., 2015, vol. 31, no. 10, art. 105007.
DOI: https://doi.org/10.1088/0266-5611/31/10/105007
[14] Sprung B., Hohage T. Higher order convergence rates for Bregman iterated variational regularization of inverse problems. Numer. Math., 2019, vol. 141, no. 2, pp. 215252. DOI: https://doi.org/10.1007/s00211-018-0987-x
[15] Xu Y.-T., Zhang Y., Wang S.-G. A modified tunneling function method for non-smooth global optimization and its applications in artificial neural network. Appl. Math. Model., 2015, vol. 39, iss. 21, pp. 6438-6450.
DOI: https://doi.org/10.1016/j.apm.2015.01.059
[16] Harko T., Ho C.Y., Leung C.S., et al. Jacobi stability analysis of the Lorenz system. Int. J. Geom. Methods M, 2015, vol. 12, no. 7, art. 1550081.
DOI: https://doi.org/10.1142/S0219887815500814
[17] Yajima T., Yamasaki K. Jacobi stability for dynamical systems of two-dimensional second-order differential equations and application to overhead crane system. Int. J. Geom. Methods Mod. Phys, 2016, vol. 13, no. 4, art. 1650045.
DOI: https://doi.org/10.1142/S0219887816500456
[18] Custodio A.L., Madeira J.F.A. GLODS: global and local optimization using direct search. J. Glob. Optim., 2015, vol. 62, no. 1, pp. 1-28.
DOI: https://doi.org/10.1007/s10898-014-0224-9
[19] Du Y., Ruszczynski A. Rate of convergence of the bundle method. J. Optim. Theory Appl., 2017, vol. 173, no. 3, pp. 908-922.
DOI: https://doi.org/10.1007/s10957-017-1108-1
[20] Davis D., Drusvyatskiy D., MacPhee K.J., et al. Subgradient methods for sharp weakly convex functions. J. Optim. Theory Appl., 2018, vol. 179, no. 3, pp. 962-982. DOI: https://doi.org/10.1007/s10957-018-1372-8
[21] Curtis F.E., Robinson D.P., Zhou B. A self-correcting variable-metric algorithm framework for nonsmooth optimization. IMA J. Numer. Anal., 2020, vol. 40, iss. 2, pp. 1154-1187. DOI: https://doi.org/10.1093/imanum/drz008
[22] Floudas C.A., Gounaris C.E. A review of recent advances in global optimization. J. Glob. Optim., 2009, vol. 45, no. 1, pp. 3-38.
DOI: https://doi.org/10.1007/s10898-008-9332-8
[23] 2ilinskas A., Zhigljavsky A. Stochastic global optimization: a review on the occasion of 25 years of Informatica. Informatica, 2016, vol. 27, no. 2, pp. 229-256.
[24] Liu J., Zhang S., Wu C., et al. A hybrid approach to constraint global optimization. Appl. Soft Comput., 2016, vol. 47, pp. 281-294.
DOI: https://doi.org/10.1016/j.asoc.2016.05.021
[25] Torres R.H., de Campos Velho H.F., da Luz E.F.P. Enhancement of the Multi-Particle Collision Algorithm by mechanisms derived from the opposition-based optimization. Sel. Mat, 2019, vol. 6, no. 2, pp. 156-177.
[26] Torres R.H., de Campos Velho H.F. Rotation-based sampling Multi-Particle Collision Algorithm with Hooke — Jeeves. Proc. Ser. Brazil. Soc. Comput. Appl. Math., 2017, vol. 5, no. 1, art. 01473. DOI: https://doi.org/10.5540/03.2017.005.01.0473
[27] Xu J., Yan F., Yun K., et al. Dynamically dimensioned search embedded with piecewise opposition-based learning for global optimization. Sci. Program., 2019, vol. 2019, art. 2401818. DOI: https://doi.org/10.1155/2019/2401818
[28] Сулимов В.Д., Шкапов П.М., Сулимов А.В. Оптимизация сингулярных чисел матриц, зависящих от параметров, с использованием гибридных алгоритмов. Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки, 2016, № 5 (68), с. 46-66. DOI: https://doi.org/10.18698/1812-3368-2016-5-46-66
Шкапов Павел Михайлович — д-р техн. наук, профессор, заведующий кафедрой «Теоретическая механика» им. профессора Н.Е. Жуковского МГТУ им. Н.Э. Баумана (Российская Федерация, 105005, Москва, 2-я Бауманская ул., д. 5, корп. 1).
Сулимов Андрей Валерьевич — старший преподаватель кафедры физики и геофизики Филиала МГУ в г. Севастополе (Российская Федерация, 299001, Севастополь, ул. Героев Севастополя, д. 7).
Сулимов Валерий Дмитриевич — старший преподаватель кафедры «Теоретическая механика» им. профессора Н.Е. Жуковского МГТУ им. Н.Э. Баумана (Российская Федерация, 105005, Москва, 2-я Бауманская ул., д. 5, корп. 1).
Просьба ссылаться на эту статью следующим образом:
Шкапов П.М., Сулимов А.В., Сулимов В.Д. Вычислительная диагностика неустойчивых по Якоби динамических систем с использованием гибридных алгоритмов глобальной оптимизации. Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки, 2021, № 4 (97), с. 40-56. DOI: https://doi.org/10.18698/1812-3368-2021-4-40-56
COMPUTATIONAL DIAGNOSTICS OF JACOBI UNSTABLE DYNAMICAL SYSTEMS WITH THE USE OF HYBRID ALGORITHMS OF GLOBAL OPTIMIZATION
P.M. Shkapov1 [email protected]
A.V. Sulimov2 [email protected]
V.D. Sulimov1 [email protected]
1 Bauman Moscow State Technical University, Moscow, Russian Federation
2 Lomonosov Moscow State University, Sevastopol Branch, Sevastopol, Russian Federation
Abstract
The study focuses on the problems of restoration and analysis of free parameters of dynamical systems from indirect, approximately given information. In the context of the Kosambi — Cartan — Chern theory, a geometric description of the time-evolution of the system is introduced. Five geometric invariants are determined for the system under study. The eigenvalues of the second invariant estimate the Jacobi stability of the system. Such a study is of interest in practical applications, where it is required to identify the regions in which both Lya-punov stability and Jacobi stability occur simultaneously. The inverse problem of computational diagnostics of the system is formulated for approximately given eigenvalues of the second invariant. The solution to the regularized inverse problem is determined using an optimization approach. Scalar criterion functions are assumed to be continuous, multidimensional, locally Lipschitzian, and not necessarily everywhere differentiable. When searching for global solutions, we used new hybrid algorithms that integrate stochastic algorithms for scanning the space of variables and a deterministic local minimization procedure. The numerical scanning procedure is implemented with the use of two modified versions: quasi-opposition-based and rotation-based learning mechanisms. In the phase of local search, two-parameter smoothing approximations of criterion functions are introduced. Examples of solving problems of computational diagnostics of Jacobi unstable dynamical systems are given: the Lorentz system and a controllable elliptical pendulum
Keywords
Dynamical system, control, Jacobi stability, geometrical invariant, computational diagnostics, global optimization, hybrid algorithm
Received 08.10.2020 Accepted 16.11.2020 © Author(s), 2021
REFERENCES
[1] Hafstein S.F., Valfells A. Efficient computation of Lyapunov functions for nonlinear systems by integrating numerical solutions. Nonlinear Dyn, 2019, vol. 97, no. 3, pp. 1895-1910. DOI: https://doi.org/10.1007/s11071-018-4729-5
[2] Kvasov D.E., Sergeyev Ya.D. Lipschitz global optimization methods in control problems. Autom. Remote Control, 2013, vol. 74, no. 9, pp. 1435-1448.
DOI: https://doi.org/10.1134/S0005117913090014
[3] Velishchanskiy M.A., Krishchenko A.P., Tkachev S.B. Synthesis of spacecraft reorientation algorithms using the concept of the inverse dynamic problem. J. Comput. Syst. Sci. Int., 2003, vol. 42, no. 5, pp. 811-818.
[4] Colombo L.A. A variational-geometric approach for the optimal control of nonho-lonomic systems. Int. J. Dynam. Control, 2018, vol. 6, no. 2, pp. 652-662.
DOI: https://doi.org/10.1007/s40435-017-0326-6
[5] Bloch A.M., Gupta F., Kolmanovsky I.V. Neighboring external optimal control for mechanical systems on Riemannian manifolds. J. Geom. Mech., 2016, vol. 8, iss. 3, pp. 257-272. DOI: http://dx.doi.org/10.3934/jgm.2016007
[6] Böhmer C.G., Harko T., Sabau S.V. Jacobi stability analysis of dynamical systems — applications in gravitation and cosmology. Adv. Theor. Math. Phys., 2012, vol. 16, no. 4, pp. 1145-1196. DOI: http://dx.doi.org/10.4310/ATMP.2012.v16.n4.a2
[7] Harko T., Pantaragphong P., Sabau S.V. Kosambi — Cartan — Chern (KCC) theory for higher order dynamical systems. Int. J. Geom. Methods M., 2016, vol. 13, no. 2, art. 1656014. DOI: https://doi.org/10.1142/S0219887816500146
[8] Abolghasem H. Liapunov stability versus Jacobi stability. J. Dyn. Syst. Geom. Theor., 2012, vol. 10, iss. 1, pp. 13-32. DOI: https://doi.org/10.1080/1726037X.2012.10698604
[9] Lavrent'yev M.M., Zharinov S.Yu., Zekal' S.M., et al. Computational diagnostics of surface characteristics of lengthy cylindrical objects by means of active location. Sibir-skiy zhurnal industrial'noy matematiki, 2002, vol. 5, no. 1, pp. 105-113 (in Russ.).
[10] Charles C., Bish A., Boswell R.W., et al. A short review of experimental and computational diagnostics for radiofrequency plasma micro-thrusters. Plasma Chem. Plasma Process, 2016, vol. 36, no. 1, pp. 29-44. DOI: https://doi.org/10.1007/s11090-015-9654-5
[11] Oulas A., Minadakis G., Zachariou M., et al. Systems Bioinformatics: increasing precision of computational diagnostics and therapeutics through network-based approaches. Brief. Bioinformatics, 2019, vol. 20, iss. 3, pp. 806-824.
DOI: https://doi.org/10.1093/bib/bbx151
[12] Wang Y., Yang C., Yagola A.G. (eds). Optimization and regularization for computational inverse problems and applications. Berlin, Heidelberg, Springer, 2010.
DOI: https://doi.org/10.1007/978-3-642-13742-6
[13] Andreev R. Tikhonov and Landweber convergence rates: characterization by interpolation spaces. Inverse Probl., 2015, vol. 31, no. 10, art. 105007.
DOI: https://doi.org/10.1088/0266-5611/31/10/105007
[14] Sprung B., Hohage T. Higher order convergence rates for Bregman iterated variational regularization of inverse problems. Numer. Math., 2019, vol. 141, no. 2, pp. 215252. DOI: https://doi.org/10.1007/s00211-018-0987-x
[15] Xu Y.-T., Zhang Y., Wang S.-G. A modified tunneling function method for non-smooth global optimization and its applications in artificial neural network. Appl. Math. Model., 2015, vol. 39, iss. 21, pp. 6438-6450.
DOI: https://doi.org/10.1016/j.apm.2015.01.059
[16] Harko T., Ho C.Y., Leung C.S., et al. Jacobi stability analysis of the Lorenz system. Int. J. Geom. Methods M., 2015, vol. 12, no. 7, art. 1550081.
DOI: https://doi.org/10.1142/S0219887815500814
[17] Yajima T., Yamasaki K. Jacobi stability for dynamical systems of two-dimensional second-order differential equations and application to overhead crane system. Int. J. Geom. Methods Mod. Phys, 2016, vol. 13, no. 4, art. 1650045.
DOI: https://doi.org/10.1142/S0219887816500456
[18] Custodio A.L., Madeira J.F.A. GLODS: global and local optimization using direct search. J. Glob. Optim., 2015, vol. 62, no. 1, pp. 1-28.
DOI: https://doi.org/10.1007/s10898-014-0224-9
[19] Du Y., Ruszczynski A. Rate of convergence of the bundle method. J. Optim. Theory Appl., 2017, vol. 173, no. 3, pp. 908-922.
DOI: https://doi.org/10.1007/s10957-017-1108-1
[20] Davis D., Drusvyatskiy D., MacPhee K.J., et al. Subgradient methods for sharp weakly convex functions. J. Optim. Theory Appl., 2018, vol. 179, no. 3, pp. 962-982. DOI: https://doi.org/10.1007/s10957-018-1372-8
[21] Curtis F.E., Robinson D.P., Zhou B. A self-correcting variable-metric algorithm framework for nonsmooth optimization. IMA J. Numer. Anal., 2020, vol. 40, iss. 2, pp. 1154-1187. DOI: https://doi.org/10.1093/imanum/drz008
[22] Floudas C.A., Gounaris C.E. A review of recent advances in global optimization. J. Glob. Optim., 2009, vol. 45, no. 1, pp. 3-38.
DOI: https://doi.org/10.1007/s10898-008-9332-8
[23] 2ilinskas A., Zhigljavsky A. Stochastic global optimization: a review on the occasion of 25 years of Informatica. Informatica, 2016, vol. 27, no. 2, pp. 229-256.
[24] Liu J., Zhang S., Wu C., et al. A hybrid approach to constraint global optimization. Appl. Soft Comput., 2016, vol. 47, pp. 281-294.
DOI: https://doi.org/10.1016/j.asoc.2016.05.021
[25] Torres R.H., de Campos Velho H.F., da Luz E.F.P. Enhancement of the Multi-Particle Collision Algorithm by mechanisms derived from the opposition-based optimization. Sel. Mat., 2019, vol. 6, no. 2, pp. 156-177.
[26] Torres R.H., de Campos Velho H.F. Rotation-based sampling Multi-Particle Collision Algorithm with Hooke — Jeeves. Proc. Ser. Brazil. Soc. Comput. Appl. Math., 2017, vol. 5, no. 1, art. 01473. DOI: https://doi.org/10.5540/03.2017.005.01.0473
[27] Xu J., Yan F., Yun K., et al. Dynamically dimensioned search embedded with piecewise opposition-based learning for global optimization. Sci. Program., 2019, vol. 2019, art. 2401818. DOI: https://doi.org/10.1155/2019/2401818
[28] Sulimov V.D., Shkapov P.M., Sulimov A.V. Optimization of singular values of parameter dependent matrices using hybrid algorithms. Herald of the Bauman Moscow State Technical University, Series Natural Sciences, 2016, no. 5 (68), pp. 46-66 (in Russ.). DOI: https://doi.org/10.18698/1812-3368-2016-5-46-66
Shkapov P.M. — Dr. Sc. (Eng.), Professor, Head of the Department of Theoretical Mechanics, Bauman Moscow State Technical University (2-ya Baumanskaya ul. 5/1, Moscow, 105005 Russian Federation).
Sulimov A.V. — Assist. Professor, Department of Physics and Geophysics, Lomono-sov Moscow State University, Sevastopol Branch (Geroev Sevastopolya ul. 7, Sevastopol, 299001 Russian Federation).
Sulimov V.D. — Assist. Professor, Department of Theoretical Mechanics, Bauman Moscow State Technical University (2-ya Baumanskaya ul. 5/1, Moscow, 105005 Russian Federation).
Please cite this article in English as:
Shkapov P.M., Sulimov A.V., Sulimov V.D. Computational diagnostics of Jacobi unstable dynamical systems with the use of hybrid algorithms of global optimization. Herald of the Bauman Moscow State Technical University, Series Natural Sciences, 2021, no. 4 (97), pp. 40-56 (in Russ.). DOI: https://doi.org/10.18698/1812-3368-2021-4-40-56
