Аналіз стійкості, стабілізація та порівняння динамічних систем

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Національна академія наук України

Інститут математики

Автореферат

дисертації на здобуття наукового ступеня кандидата фізико-математичних наук

01.02.01 - теоретична механіка

Аналіз стійкості, стабілізація та порівняння динамічних систем

Алілуйко Андрій Миколайович

Київ - 2007

Дисертацією є рукопис.

Робота виконана в Інституті математики НАН України.

Науковий керівник: доктор фізико-математичних наук, старший науковий співробітник Мазко Олексій Григорович, Інститут математики НАН України, провідний науковий співробітник відділу динаміки та стійкості багатовимірних систем.

Офіційні опоненти:

доктор фізико-математичних наук, старший науковий співробітник Науменко Констянтин Іванович, Інститут математики НАН України, провідний науковий співробітник відділу аналітичної механіки;

кандидат фізико-математичних наук Слинько Віталій Іванович, Інститут механіки НАН України ім. С.П. Тимошенка, старший науковий співробітник відділу стійкості процесів.

Вчений секретар спеціалізованої вченої ради Г.П. Пелюх

Анотація

Алілуйко А.М. Аналіз стійкості, стабілізація та порівняння динамічних систем. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.02.01 - теоретична механіка. - Інститут математики НАН України, Київ, 2007.

В дисертації розроблено нові алгебраїчні методи дослідження стійкості класів позитивних динамічних систем (диференціальних, різницевих та диференціальних систем із запізненням). Встановлено умови позитивності диференціальних та різницевих систем відносно конусів типу кругових, еліпсоїдальних та їх узагальнень. Розвинуто методику побудови інваріантних множин нелінійних диференціальних систем у вигляді конусних нерівностей. Як наслідок, сформульовано узагальнений принцип порівняння для сімейства диференціальних систем, що функціонують у різних просторах. Запропоновано способи позитивної стабілізації динамічних систем відносно заданих конусів. Побудовано нові матричні методи аналізу стійкості та алгоритми стабілізації лінійних диференціальних систем другого порядку. Досліджено спектральні властивості гіперболічних пучків матриць та наведено їх застосування в задачах стійкості обертальних механічних систем. Розроблені матричні методи аналізу стійкості та синтезу керування застосовано для типових моделей роторних систем.

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

Аннотация

Алилуйко А.Н. Анализ устойчивости, стабилизация и сравнение динамических систем. - Рукопись.

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности 01.02.01 - теоретическая механика. - Институт математики НАН Украины, Киев, 2007.

Диссертационная работа посвящена разработке новых методов анализа устойчивости, стабилизации и сравнения динамических систем, а также их применению при исследовании механических объектов.

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

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

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

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

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

Annotation

Aliluyko A.M. Stability analysis, stabilization and comparison of dynamic systems. - Manuscript.

Thesis for the candidate of physical and mathematical sciences degree in speciality 01.02.01 - theoretical mechanics. - Institute of Mathematics, National Academy of Sciences of Ukraine, Kyiv, 2007

In the thesis new algebraic methods for stability investigation of the classes of positive dynamic systems (differential, difference and differential delay systems) are developed. Positivity conditions are established for differential and difference systems with respect to circular and ellipsoidal cones and their generalizations. Technique for construction of invariant sets of differential systems is developed in the form of cone inequalities. As a consequence, the generalized comparison principle is formulated for a set of differential systems in different spaces. Methods for positive stabilization of dynamic systems with respect to specified cones are offered. New matrix methods of stability analysis and stabilization algorithms for the second order linear differential systems are constructed. Spectral properties of hyperbolic matrix pencils are investigated and used in stability problems of rotational mechanical systems. The developed matrix methods for stability analysis and control synthesis are applied in typical models of rotor systems.

Keywords: mechanical system, stability, invariant cone, positive system, stabilization, comparison principle, matrix pencil, rotor system.

1. Загальна характеристика роботи

інваріантний конусний нерівність механічний

Актуальність теми. Стійкість руху - це одна із головних характеристик якості динамічних об'єктів. Якщо рух реального об'єкта моделюється системою диференціальних або різницевих рівнянь, то його стійкість визначається за допомогою розв'язків системи. Основна проблема теорії стійкості полягає в тому, щоб описати умови стійкості або нестійкості руху механічної системи в термінах вихідних даних (параметрів, функцій, матричних коефіцієнтів і т. п.) побудованої математичної моделі.

Механічні системи, які досліджуються на стійкість, розрізняються за типами матеріальних об'єктів (абсолютно тверді та тверді деформівні тіла, рідина, газ тощо), за властивостями прикладених до них сил (дисипативних, гіроскопічних, потенціальних, неконсервативних та ін.), а також за характером кінематики рухів (поступальних, обертальних, коливальних та ін.). Відповідно математичні моделі таких систем, побудовані на основі законів механіки, мають свої особливості (див. роботи А.І. Лур'є, М.М. Мойсєєва, В.В. Румянцева, О.Ю. Ішлінського, В.М. Кошлякова, І.О. Луковського, В.О. Стороженка та ін.), які у багатьох випадках зображуються аналітично. Наприклад, складові матричних коефіцієнтів диференціальних систем другого порядку, до яких приводять різноманітні задачі механіки і фізики, можуть мати властивості симетрії, кососиметрії, додатної визначеності тощо. Ці властивості коефіцієнтів обумовлюються, наприклад, наявністю в об'єкті дослідження відповідних типів сил. Для таких систем залишаються актуальними задачі побудови нових коефіцієнтних критеріїв стійкості та алгоритмів стабілізації, що враховують вказані особливості і структуру матричних коефіцієнтів.

При проектуванні і дослідженні складних динамічних об'єктів (технічних, біологічних, економічних та ін.) виникають проблеми стійкості, стабілізації та порівняння станів відповідних математичних моделей. На практиці для успішного розв'язання цих проблем слід враховувати і використовувати такі особливості систем, як наявність інваріантних множин у фазовому просторі, властивості позитивності і монотонності відносно конуса та ін. Методи дослідження вказаних класів систем розвиваються на основі теорії конусів та операторів в напівупорядкованому просторі, розвинутої в роботах М.Г. Крейна, М.А Рутмана, М.А. Красносельського та ін.

Класи позитивних і монотонних систем виникають в теорії стійкості при застосуванні методів порівняння як узагальнення методу функцій Ляпунова. В результаті аналіз складних (великомасштабних) моделей зводиться до вивчення більш простих класів систем. Зокрема, критеріями стійкості лінійних позитивних систем порівняння є сумісність алгебраїчних систем рівнянь і конусних нерівностей, побудованих із матричних (операторних) коефіцієнтів. Основні положення принципу порівняння, їх розвиток та застосування викладені в роботах В.М. Матросова, Л.Ю. Анапольського, С.М. Васільєва, Р.І. Козлова, А.А. Мартинюка, А.Ю. Оболенського, Н.С. Постнікова, Е.Ф. Сабаєва, О.Г. Мазка, V. Lakshmikantham, S. Leela, R. Bellman та ін.

В теорії стійкості та позитивної стабілізації найбільш вивченими є класи лінійних диференціальних і різницевих систем, що мають інваріантний конус невід'ємних векторів. Даний конус використовується в теорії M-матриць, що лежить в основі конструктивних алгебраїчних методів аналізу динамічних систем (A. Ostrowski, V. Ptak, R. Smith, G. Windisch, A. Berman та ін.). Аналогічні результати отримано в роботах R.J. Stern, H. Wolkowicz, L. Elsner, H. Schneider та ін. із використанням кругового та еліпсоїдального конусів. Диференціальні рівняння Ляпунова і Ріккаті, а також рівняння других моментів для класу стохастичних систем Іто є прикладами позитивних систем відносно конуса симетричних невід'ємно визначених матриць. За аналогією доцільно розвивати та вдосконалювати методи дослідження стійкості та порівняння динаміки об'єктів різної природи із застосуванням більш широких класів конусів.

Отже, вибраний напрямок досліджень дисертаційної роботи, присвячений розробці нових методів аналізу стійкості, стабілізації та порівняння динамічних систем, є актуальним. Важливість та ефективність таких методів підтверджуються при дослідженні розглянутих в роботі моделей обертальних механічних систем.

Зв'язок роботи з науковими програмами, планами, темами. Дисертація виконана у відділі динаміки та стійкості багатовимірних систем Інституту математики НАН України згідно із загальним планом науково-дослідних робіт в рамках держбюджетної теми № І-13-06 "Розробка методів дослідження некласичних задач динаміки та стійкості складних механічних систем" (номер держ. реєстрації 0106U000282), а також в межах науково-дослідної теми № ІІ-23-05 "Математичні методи дослідження динаміки та стійкості об'єктів механіки, гідромеханіки та гемодинаміки" (номер держ. реєстрації 0105U001108) за програмою "Математичне моделювання фізичних і механічних процесів у сильно неоднорідних середовищах".

Мета і завдання дослідження. Метою дисертаційної роботи є розробка нових методів аналізу стійкості, стабілізації та порівняння динамічних систем, їх застосування при дослідженні механічних об'єктів. В зв'язку з цим представляється доцільним:

розробити методи аналізу стійкості та позитивності лінійних диференціальних, різницевих та диференціально-різницевих систем відносно типових конусів та їх узагальнень;

розвинути методику побудови інваріантних множин нелінійних диференціальних систем у вигляді конусних нерівностей;

розв'язати задачі позитивної стабілізації диференціальних та різницевих систем відносно заданих конусів;

узагальнити принцип порівняння для скінченого сімейства незалежних диференціальних систем;

розробити нові алгебраїчні методи дослідження стійкості та стабілізації диференціальних систем другого порядку;

продемонструвати ефективність нових матричних методів в задачах стійкості та побудови стабілізуючого керування для обертальних механічних систем типу роторів та моделей обертання балки.

Об'єктом дослідження є диференціальні, різницеві, диференціально-різницеві системи та моделі спеціальних механічних систем.

Предметом дослідження є властивості стійкості та позитивності динамічних систем, інваріантні множини, стабілізація та порівняння систем.

Методи дослідження. Використовуються перший і другий методи Ляпунова дослідження стійкості та їх узагальнення, методи лінійної алгебри, функціонального аналізу, якісної теорії диференціальних рівнянь та теорії керування.

Наукова новизна одержаних результатів. Основні результати дисертаційної роботи полягають у наступному:

розроблено нові алгебраїчні методи дослідження стійкості класів позитивних динамічних систем (диференціальних, різницевих та диференціальних систем із запізненням);

встановлено умови позитивності диференціальних та різницевих систем відносно конусів типу кругових, еліпсоїдальних та їх узагальнень;

розвинуто методику побудови інваріантних множин нелінійних диференціальних систем у вигляді конусних нерівностей. Як наслідок, сформульовано узагальнений принцип порівняння для сімейства диференціальних систем, що функціонують у різних просторах;

розроблено способи позитивної стабілізації динамічних систем відносно заданих конусів;

побудовано нові матричні методи аналізу стійкості та алгоритми стабілізації лінійних диференціальних систем другого порядку;

досліджено спектральні властивості гіперболічних пучків матриць і наведено їх застосування в задачах стійкості обертальних рухів механічних систем;

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

Практичне значення одержаних результатів. Результати дисертаційної роботи можуть бути використані в задачах аналізу та синтезу динамічних об'єктів, що мають особливу структуру та природні властивості (багатозв'язні моделі високої розмірності, позитивні системи з інваріантними конусами, механічні системи, що описуються диференціальними або різницевими рівняннями другого порядку та ін.), а також при порівнянні динаміки об'єктів різної природи.

Особистий внесок здобувача. В роботах, що опубліковані у співавторстві, особистий внесок автора полягає в обговоренні постановок задач, виконанні всіх основних доведень, розрахунків та формулюванні висновків. Співавтору О.Г. Мазку належать постановка задач та загальні рекомендації щодо методів їх розв'язування.

Апробація результатів дисертації. Результати дисертації доповідались і обговорювались на семінарах відділу динаміки та стійкості багатовимірних систем Інституту математики НАН України, відділу стійкості процесів Інституту механіки НАН України ім. С.П. Тимошенка, а також на таких міжнародних конференціях: "Dynamical system modelling and stability investigation" (травень 2005 р., Київ); "International Workshop on Free Boundary Flows and Related Problems of Analysis" (вересень 2005 р., Київ); VIII Кримська міжнародна математична школа "Метод функций Ляпунова и его приложения" (вересень 2006 р., Алушта); "Dynamical system modelling and stability investigation" (травень 2007 р., Київ).

Публікації. Основні результати дисертації опубліковано в 9 роботах. Серед них 5 статей [1-5] в наукових періодичних фахових виданнях та 4 тез доповідей [6-9] на міжнародних наукових конференціях.

Структура роботи. Дисертаційна робота складається зі вступу, чотирьох розділів, висновків та списку використаних літературних джерел, що містить 112 найменувань. Дисертація також містить 11 ілюстрацій. Повний обсяг дисертації становить 123 сторінки друкованого тексту.

2. Основний зміст роботи

У вступі обґрунтовано актуальність теми, сформульовано мету дослідження, відображено наукову новизну, практичну цінність та апробацію роботи. Розглянуто структуру дисертації, а також наведено головні положення та результати, які виносяться на захист.

У першому розділі проведено огляд літератури та перелік основних задач, пов'язаних з темою дисертаційної роботи. Вказано також на деякі нерозв'язані проблеми з даного напрямку дослідження.

Другий розділ присвячено дослідженню позитивних динамічних систем з використанням теорії конусів і операторів у напівупорядкованому просторі.

У підрозділі 2.1 наведено основні поняття з теорії конусів і операторів у напівупорядкованому просторі та деякі допоміжні твердження, які використовуються в дисертації.

Опукла замкнута множина K дійсного нормованого простору E називається конусом, якщо та , . Динамічна система, що має інваріантний конус є позитивною.

У підрозділі 2.2 розглянуто конуси невід'ємних та невід'ємно визначених матриць та наведені умови їх інваріантності в диференціальних системах.

У підрозділі 2.3 доведено необхідні та достатні умови існування інваріантного еліпсоїдального конуса для лінійних диференціальних та різницевих систем у вигляді матричних нерівностей.

Розглянемо в просторі Rⁿ⁺¹ множину

(1)

де Q=Q^T - симетрична матриця з інерцією i(Q)={1,n,0}, h - нормований власний вектор матриці Q, що відповідає її єдиному додатному власному значенню. Ця множина є еліпсоїдальним конусом.

Отримано наступні критерії інваріантності конуса (1) у фазовому просторі лінійних різницевих та диференціальних систем.

Теорема 2.1. K(Q) є інваріантним конусом різницевої системи

z_k+1=M z_k, , k=0,1,…, (2)

тоді і тільки тоді, коли для деякого виконуються умови

, (3)

Теорема 2.2. K(Q) є інваріантним конусом диференціальної системи

, (4)

тоді і тільки тоді, коли для деякого виконується нерівність

.

Для системи (4) встановлено також умови існування інваріантного світлового конуса, де (a,z)=a^Tz - скалярний добуток, a - заданий вектор з нормою.

У підрозділі 2.4 для дослідження класу багатозв'язних систем введено нові типи конусів

, ,

 - конус векторів з невід'ємними елементами, - одна із типових векторних норм. Встановлено, що при деяких обмеженнях наведені конуси є взаємно спряженими, тобто

.

У підрозділі 2.5 для нелінійної диференціальної системи розроблено методику побудови інваріантних множин у вигляді конусних нерівностей.

Розглянемо нелінійну диференціальну систему

, (7)

що задовольняє умови існування та єдиності розв'язків X(t) в деякій області , та сформулюємо умови інваріантності множин

Для цього визначимо оператор диференціювання в силу системи як (сильну) похідну складної функції. Тут - розв'язок системи (7) з початковою умовою X(t)=X.

Теорема 2.5. Нехай K - тілесний конус. Тоді I_t є інваріантною множиною системи (7) тоді і тільки тоді, коли при кожному виконується умова

, (9)

Відомі результати стосовно інваріантності конусів R_n⁺ та K(Q) є частинними випадками встановленого критерію. При побудові інваріантних множин є корисним наступне твердження.

Зауваження 2.2 Умова (9) має місце, якщо для деякого виконується конусна нерівність

Запропоновану методику побудови інваріантних множин розвинуто для диференціальних систем вищих порядків. За аналогією для таких систем встановлено критерій інваріантності множин типу (8). Наведено приклади застосування запропонованої методики для диференціальних систем першого і другого порядків.

У підрозділі 2.6 побудовано умови інваріантності конусів типу (5), (6) для класу лінійних різницевих систем

x_k+1=Ax_k+Bu_k, u_k+1=Cx_k+Du_k, k=0,1,….

У підрозділі 2.7 доведено критерій позитивності класу диференціальних систем із запізненням

Теорема 2.7. Диференціальна система (10) позитивна відносно конуса K тоді і тільки тоді, коли для довільних і виконуються включення

Третій розділ присвячено дослідженню стійкості та стабілізації позитивних динамічних систем.

У підрозділі 3.1 наведено означення та деякі допоміжні факти, які використовуються при дослідженні стійкості позитивних систем. Встановлено алгебраїчні умови експоненціальної стійкості лінійної диференціальної системи у вигляді позитивної оборотності двох операторів.

У підрозділі 3.2 доведено достатні умови стійкості лінійних диференціальних та різницевих систем з інваріантним еліпсоїдальним конусом у вигляді матричних нерівностей.

Підрозділ 3.3 присвячено розробці методів дослідження стійкості та позитивності диференціальних систем довільного порядку.

Розглянемо диференціальну систему s-го порядку

A₀x(t)+A₁x⁽¹⁾(t)+…+A_sx^(s)(t)=0, (11)

де - вектор фазових координат, , - коефіцієнти регулярного матричного полінома . Систему (11) можна звести до диференціальної системи першого порядку, де A і B - деякі блочні матриці, а вектор-функція y(t)=[x(t),x⁽¹⁾(t),…,x^(s-1)(t)]^T характеризує повний стан системи. Тому інваріантні множини і властивості позитивності даної системи відносно конусів будемо визначати у фазовому просторі R^ms:

Для формулювання умов позитивності та експоненціальної стійкості системи (11) використовуються поняття максимальних власних пар матричного полінома. Нехай (U,T) - довільна (права) власна пара матричного полінома , що визначається з умов

A₀T+A₁TU+…+A_sTU^(s)=0, rangE=m, E=, (12)

де , . Співвідношення (12) визначають блочну (праву) спектральну задачу для матричного полінома . Власну пару (U,T) матричного полінома будемо називати максимальною, якщо у співвідношеннях (12) число m набуває максимально можливого значення. Використовуючи структуру матриці E і канонічну форму Кронекера регулярного пучка матриць, отримано наступні твердження.

Лема 3.3. Нехай (U,T) - власна пара матричного полінома . Тоді є інваріантною множиною системи (11) тоді і тільки тоді, коли K - інваріантна множина системи

, (13)

Зокрема, система (11) позитивна відносно конуса лише тоді, коли система (13) позитивна відносно конуса K.

Теорема 3.7. Нехай (U,T) - максимальна власна пара матричного полінома така, що система (13) позитивна відносно нормального тілесного конуса K. Тоді наступні твердження еквівалентні:

1) система (11) експоненціально стійка;

2);

3);

4)

Теорема 3.9. Якщо для деякої максимальної власної пари (U,T) матричного полінома виконується включення

,

де K - нормальний відтворюючий конус, то система (11) експоненціально стійка і має інваріантний конус .

У підрозділі 3.4 розв'язано задачу про абсолютну стійкість для диференціальних систем із запізненням. За допомогою функціоналу Ляпунова-Красовського встановлено достатні умови абсолютної стійкості позитивної системи (10).

Теорема 3.10. Нехай виконуються умови

,

де P - лінійний позитивний оператор, та існують лінійні рівномірно позитивні функціонали , які задовольняють рівняння

,

де M=L-P. Тоді розв'язок системи (10) абсолютно стійкий.

Як наслідок, отримано алгебраїчні та спектральні умови абсолютної стійкості лінійних систем із запізненням, позитивних відносно заданого конуса.

У підрозділі 3.5, користуючись отриманими в підрозділах 2.5, 2.6, 3.1 та 3.2 результатами, запропоновано способи позитивної стабілізації динамічних систем відносно заданих конусів, тобто способи відшукання керування у вигляді зворотного зв'язку або динамічного компенсатора, що забезпечують одночасно властивості позитивності та стійкості відповідної замкнутої системи.

У підрозділі 3.6 розглянуто узагальнену методику порівняння диференціальних систем. Дана методика є наслідком теореми 2.5 і дозволяє порівнювати динамічні властивості двох і більше двох динамічних систем, що функціонують у різних просторах.

Розглянемо сімейство незалежних систем

(S_i): , (14)

Для спрощення запису введемо позначення:

X=[X₁,…,X_s], F(X,t)=[F₁(X₁,t),…,F_s(X_s,t)].

У деякому просторі E з конусом K задамо оператор порівняння для сімейства систем (14).

Показано, що основні твердження відомого принципу порівняння для двох і трьох систем з нульовими положеннями рівноваги можна вважати наслідками теореми 3.12. Сформульовано задачі впорядкування і виявлення домінуючої (у певному сенсі) системи сімейства незалежних систем у вигляді загальної задачі порівняння.

Четвертий розділ присвячено розробці нових методів дослідження стійкості механічних систем, лінеаризовані моделі яких описуються у вигляді систем диференціальних рівнянь другого порядку.

У підрозділі 4.1 досліджено умови гіперболічності, майже гіперболічності та еліптичності квадратичного пучка матриць.

Розглянемо квадратичний пучок матриць (КПМ)

, (15)

та відповідну квадратичну спектральну задачу (КСЗ)

, (16)

КСЗ (16) називаємо: гіперболічною, майже гіперболічною та еліптичною, якщо для довільного ненульового вектора виконуються відповідні нерівності , та ,

Доведено критерій майже гіперболічності КСЗ (16) в термінах її середніх власних значень.

Теорема 4.2. Наступні твердження еквівалентні:

1) КСЗ (16) є майже гіперболічною;

2);

3) КПМ (15) має дійсні власні значення і при кожному .

У підрозділі 4.2 проведено аналіз стійкості виродженої диференціальної системи другого порядку за допомогою розв'язків блочної спектральної задачі для квадратичного пучка (15).

У випадку, коли матриця коефіцієнтів C може бути виродженою, доведено критерій асимптотичної стійкості системи (17) в термінах максимальних власних пар регулярного пучка (15).

Теорема 4.3. Нехай (U,T) - максимальна ліва власна пара квадратичного пучка матриць . Тоді диференціальна система (17) асимптотично стійка в тому і лише в тому випадку, коли існують матриці X=X^*>0 і Y=Y^*>0, що задовольняють рівняння

U^*X+XU=-Y.

При цьому функція Ляпунова визначається у вигляді

v(y)=y^*R^*Ry, R=[TB+UTC,TC],

і на нетривіальних розв'язках системи задовольняє співвідношення

У підрозділі 4.3 розроблено алгебраїчні методи дослідження стійкості системи (17) та побудови функцій Ляпунова, в яких враховується структура матричних коефіцієнтів A, B і C. Отримано коефіцієнтні умови стійкості системи (17), що зводяться до розв'язання систем матричних нерівностей.

Теорема 4.5. Нехай C=C^*>0 та існують матриці H і , що задовольняють систему матричних нерівностей

H=H^*>0, U+U^*>0, (18)

W=(U+U^*)^-1, L=A+U^*C^-1(B-U), E=A^*C-¹(B-U)+(B-U)^*C-¹A.

Тоді диференціальна система (17) стійка за Ляпуновим. Якщо до того ж в (18) остання матрична нерівність є строгою, то система (17) асимптотично стійка.

Теорема 4.6. Нехай для деякого виконуються умови

B+B^*>0, C=C^*>0,

Тоді диференціальна система (17) стійка (асимптотично стійка).

Як наслідок теорем 4.3 та 4.6, доведено достатні умови стійкості (асимптотичної стійкості) системи (17), що зводяться до оцінки середніх власних значень деякої маже гіперболічної (гіперболічної) спектральної задачі.

Аналогічне твердження виконується у випадку A+A^*<0.

У підрозділі 4.4 розроблено алгоритм побудови регуляторів, що стабілізують диференціальну систему другого порядку.

Розглянемо систему керування

, (19)

де x - n-вектор стану системи, u - l-вектор керування, A, B, C і F - відомі матриці відповідних розмірів. Для системи (19) отримано алгоритм стабілізації у вигляді зворотного зв'язку u=-L . Невідомі матриці L₀ і L₁ мають наступну структуру

L₀=-L₁V^*P-¹,

де - достатньо велике число, а матриці V, P, Q і задовольняють систему співвідношень

, V+V^*<0, P=P^*>0,

Тут матриця ортогонального доповнення знаходиться з умов

У підрозділі 4.5 розроблені методи аналізу стійкості та синтезу керування застосовано при дослідженні деяких механічних систем (ротора Лаваля та моделі обертання балки).

Приклад 4.3. Для проведення чисельних та аналітичних досліджень розглянуто роторну систему (21) з матричними коефіцієнтами

Ця модель описує так званий ротор Лаваля.

Побудовано алгебраїчну систему співвідношень, яка описує повну область асимптотичної стійкостійкості в просторі параметрів системи (21), (22). Вона дає можливість аналітично оцінити критичну кутову швидкість обертання ротора (при система (21) асимтотично стійка, а при дана властивість системи втрачається). Чисельні розрахунки, проведені для ротора Лаваля, продемонстрували той факт, що умови стійкості, представлені теоремою 4.6, узагальнюють та посилюють аналогічний відомий результат. Встановлено можливість стабілізувати систему за допомогою керування, що впливає лише на рух приєднаної маси s.

Приклад 4.5. Розглянуто модель обертання балки довжини l із закріпленим твердим диском маси m, що разом обертаються зі сталою кутовою швидкістю . Вважаємо, що балка є однорідна з погонною масою m₀ та мало гнучкою з модулем пружності E. В рухомій системі координат 0xyz осі x і y паралельні площині поперечного перерізу балки, що обертається навколо осі і має моменти інерції J_x і J_y. Кріплення балки дозволяють рухи по осі та забезпечують відновлюючі згинаючі моменти і кутові відхилення з коефіцієнтами пропорційності k₁ і k₂ відповідно при z=0 та z=l. Внутрішнє та зовнішнє демпфування характеризують параметри p і q.

В дисертаційній роботі аналітичні викладки та чисельні обрахунки були здійснені та перевірені за допомогою математичних систем Matlab, Maple і Mathcad.

Висновки

В дисертації розроблено нові теоретично обґрунтовані методи аналізу стійкості, стабілізації та порівняння динамічних систем.

Основні результати роботи полягають у наступному:

розроблено нові алгебраїчні методи дослідження стійкості класів позитивних динамічних систем (диференціальних, різницевих та диференціальних систем із запізненням);

встановлено умови позитивності диференціальних та різницевих систем відносно конусів типу кругових, еліпсоїдальних та їх узагальнень;

розвинуто методику побудови інваріантних множин нелінійних диференціальних систем у вигляді конусних нерівностей. Як наслідок, сформульовано узагальнений принцип порівняння для сімейства диференціальних систем, що функціонують у різних просторах;

розроблено способи позитивної стабілізації динамічних систем відносно заданих конусів;

побудовано нові матричні методи аналізу стійкості та алгоритми стабілізації лінійних диференціальних систем другого порядку;

досліджено спектральні властивості гіперболічних пучків матриць і наведено їх застосування в задачах стійкості обертальних рухів механічних систем;

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

Результати дисертаційної роботи можуть бути використані при розв'язуванні практичних задач аналізу стійкості та стабілізації механічних систем, при дослідженні динаміки складних фізичних об'єктів, позитивних систем з інваріантними конусами тощо.

Список опублікованих праць за темою дисертації

1. Алілуйко А.М., Мазко О.Г. Інваріантні конуси та стійкість багатозв'язних систем // Проблеми динаміки та стійкості багатовимірних систем: Зб. праць Ін-ту математики НАН України. - 2005. - Т. 2, № 1. - С. 28-45.

2. Алілуйко А.М., Мазко О.Г. Інваріантні конуси та стійкість лінійних динамічних систем // Укр. мат. журн. - 2006. - Т.58, № 11. - С. 1446-1461.

3. Алілуйко А.М., Мазко О.Г. Стійкість та стабілізація диференціальних систем другого порядку // Проблеми аналітичної механіки: Зб. праць Ін-ту математики НАН України. - 2006. - Т. 3, № 1. - С. 7-24.

4. Алілуйко А.М., Мазко О.Г. Інваріантні множини та порівняння динамічних систем // Нелінійні коливання. - 2007. - Т. 10, № 2. - С. 163-176.

5. Алілуйко А.М. Алгебраїчні умови стійкості диференціальних систем другого порядку // Динамические системы. - 2007. - Вып. 22. - С. 96-108.

6. Алилуйко А.Н., Мазко А.Г. Инвариантные конусы и монотон-ность динамических систем // Dynamical system modelling and stability investigation : Тези доповідей міжнародної наукової конференції (23-25 травня 2005 р., Київ). - Київ: Нац. ун-т ім. Тараса Шевченка, 2005. - С. 19.

7. Алилуйко А.Н., Мазко А.Г. Инвариантные конусы и устойчивость многосвязных систем // International Workshop on Free Boundary Flows and Related Problems of Analysis: Тези доповідей міжнародної наукової конференції (25-30 вересня 2005 р., Київ). - Київ: Ін-т математики НАН України, 2005. - С. 43-44.

8. Алилуйко А.Н., Мазко А.Г. Инвариантные множества и устойчивость линейных дифференциальных систем произвольного порядка // Метод функций Ляпунова и его приложения: Тези Восьмої Кримської Міжнародної математичної школи (10-17 вересня 2006 р., Алушта). - Сімферополь: Нац. Таврійський ун-т України, 2006. - С. 10.

9. Алілуйко А.М. Матричні нерівності в задачах стійкості і стабілізації механічних систем // Dynamical system modelling and stability investigation: Тези доповідей міжнародної наукової конференції (22-25 травня 2007 р., Київ). - Київ: Нац. ун-т ім. Тараса Шевченка, 2007. - С. 263.

Размещено на Allbest.ru

...