О робастной устойчивости систем дифференциально-алгебраических уравнений Текст научной статьи по специальности «Математика»

Серия «Математика» 2016. Т. 16. С. 117—130

Онлайн-доступ к журналу: http://isu.ru/izvestia

ИЗВЕСТИЯ

Иркутского государственного университета

УДК 517.922, 517.977.1, 517.926.4 ЫБС 34А09, 34Б20, 37С75

О робастной устойчивости систем

дифференциально-алгебраических уравнений *

А. А. Щеглова, А. Д. Кононов

Институт динамики систем и теории управления СО РАН, Иркутск

Аннотация. Рассматриваются линейные стационарные системы обыкновенных дифференциальных уравнений с вырожденной матрицей при производной искомой вектор-функции. Такие системы называются системами дифференциально-алгебраических уравнений (ДАУ). Мерой неразрешенности ДАУ относительно производных служит целочисленная величина, называемая индексом. Анализ проводится в предположении существования структурной формы с разделенными дифференциальной и алгебраической подсистемами. Эта структурная форма эквивалентна искомой системе в смысле решений, а оператор, преобразующий исходную систему ДАУ к этой структурной форме, обладает левым обратным оператором. Построение структурной формы носит конструктивный характер и не использует замену переменных, при этом автоматически решается проблема согласования начальных условий. Доказано, что в стационарном случае достаточным условием существования структурной формы является регулярность матричного пучка системы. Показана связь между индексом матричного пучка, порядком линейного дифференциального оператора, преобразующего исходные ДАУ к структурной форме и индексом неразрешенности ДАУ. Этот подход использует понятие г-продолженной системы, где г — индекс неразрешенности. Необходимым и достаточным условием существования структурной формы является наличие в матрице, описывающей г-продолженную систему неособенного минора порядка п(г + 1), где п — размерность рассматриваемой системы ДАУ. В статье исследуется проблема асимптотической устойчивости ДАУ в условиях неопределенности, задаваемой с помощью матричной нормы. Возмущение, привносимое в систему ДАУ, не нарушает ее внутренней структуры и тесно связано с расположением упомянутого минора в матрице, описывающей продолженную систему. Для систем индекса 1 и 2 получены достаточные условия робастной устойчивости. При получении результатов использовались значения для вещественного и комплексного радиусов устойчивости для системы обыкновенных дифференциальных уравнений, разрешенных относительно производных. Для иллюстрации полученных результатов рассмотрен пример.

Ключевые слова: дифференциально-алгебраические уравнения, робастная устойчивость.

1. Введение

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

Ax'(t)+ Bx(t) = 0, t е T = [0, (1.1)

где A и B — заданные вещественные (n х п)-матрицы, x(t) — искомая п-мерная функция. Предполагается, что det A = 0. Системы такого рода называются дифференциально-алгебраическими уравнениями (ДАУ). Важнейшей характеристикой ДАУ является индекс неразрешенности, отражающий сложность внутренней структуры системы.

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

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

Известны результаты по робастной устойчивости и оценке радиуса устойчивости стационарных ДАУ [6; 9; 10], полученные с помощью приведения системы к канонической форме Кронекера-Вейрштрасса. Что касается ДАУ с периодическими коэффициентами, то известны результаты для систем индекса 1, использующие tractability index подход, базирующийся на построении проекторов на ядро [8; 7].

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

2. Эквивалентная структурная форма для линейных ДАУ

Для системы (1.1) определим (n(r + 1) х п)-матрицы

Br = colon (B,O,...,O), Ar = colon (A, B,O,...,O),

* Работа выполнена при частичной финансовой поддержке Российского фонда фундаментальных исследований (проект № 16-31-00101) и Комплексной программы фундаментальных научных исследований СО РАН № II.2.

(п(г + 1) х пг)-матрицу

Лг

(О о

А О В А

О О ОО

О О\

ОО

ОО

А О В А )

и (п(г + 1) х п(г + 2)) - матрицу

Бг = ( В г Аг Лг ).

Предположим, что для некоторого г (0 < г < п) в матрице Ог найдется неособенный минор п(г + 1)-го порядка, включающий в себя Л = гапкЛг столбцов матрицы Лг и все столбцы матрицы Аг. Такой минор будем называть разрешающим минором.

Обозначим с! = пг-Л. Допустим, что известно, какие именно столбцы матрицы Ог входят в разрешающий минор. Вычеркнем п — ! столбцов матрицы Вг, которые не входят в упомянутый минор. После соответствующей перестановки столбцов из Ог получим матрицу

Гг = Бг (

О

Еа

(2.1)

где Еа — единичная матрица порядка !, ( — (п х п)-матрица перестановок2 .

Матрица ( строится следующим образом. Обозначим , г2, ..., га и га+1, ..., гп номера столбцов матрицы Вг, которые соответственно входят и не входят в разрешающий минор. Будучи умноженной на Вг слева, матрица С} переставляет в Вг каждый столбец (к =

1,п — (1) на к-ое место, а каждый (г^-ый столбец (у = 1,(1) на место с номером п — с! + Матрица ( обратима и состоит из нулей и п единиц, причем единице равны элементы с индексами (га+к, к) и (г^ ,п — с! + ]).

Лемма 1. Пусть пучок матриц сА + В регулярен (т. е. ёе1(сА + В) ф 0^. Тогда существует оператор

сс

(2.2)

1 Запись diag [Ах, ... , Ае} обозначает квазидиагональную матрицу, на главной диагонали которой расположены блоки, перечисленные в скобках, остальные элементы — нулевые.

2 О матрицах перестановок строк и столбцов см. в книге [1, е. 127, 128].

1

г

где К^ — (п х п)-матрицы (,] = 0,г), действие которого преобразует систему (1.1) к виду

л I xi(t)

1 x2(t)

+ в ( xi(t) ) = 0 t GT + B{x2(t) j~0' t e T

(2.3)

где colon (x1(t),x2(t)) = Q 1x(t), Q — матрица перестановок из (2.1),

A=( E° O ) =(RoA + RiB) Q, B =

J EO ) = RoBQ. (2.4)

Доказательство. Известно [1, с. 313], что в случае регулярности матричного пучка сА + В существуют обратимые (п х п)-матрицы Р и 5 такие, что

РАБ =

O N

En_ о- O

РВБ =

O Ео

G O

(2.5)

где N — верхнетреугольная матрица с р квадратными нулевыми блоками на диагонали, так что Nр = О, О — некоторая квадратная матрица порядка п — а.

Непосредственно из результатов, полученных в работе [4], следует, что в стационарном случае необходимым и достаточным условием существования оператора ^ (2.2) является наличие в матрице Ог разрешающего минора. Покажем, что такой минор существует при г = р.

В результате умножения матрицы Ор слева и справа на матрицы diag {Р, ...,Р} и diag {Б,. ..,5} соответственно, с учетом представления (2.5), получим

( O Ео

G O

V

O N

En—о O

O Eo

G O

O N

En—о O

O N

En—о O

O Eo G O

\

O N En-о O )

(2.6)

Очевидно, что ранг матрицы, стоящей в (2.6) справа от двойной черты, равен рангу матрицы Лр. Пользуясь блочными преобразованиями матриц, нетрудно показать, что гапкЛр = пр — а, поскольку Nр = О. Разрешающий минор в матрице (2.6) имеется: он включает в себя все блочные столбцы, в которых расположены единичные матрицы. При этом в (2.4) й = а. □

Замечание 1. Из доказательства леммы 1 следует, что вслучае регулярного матричного пучка сА + В в матрице Ог при г = р имеется разрешающий минор.

Определение 1. Наименьшее значение г, при котором в матрице найдется разрешающий минор, называется индексом неразрешен-ности ДАУ (1.1).

В статье [4] показано, что коэффициенты оператора ^ определяются единственным образом по формуле

( Ко Кг ... Кг ) = ( Еп О ... О ) Г^ (гг Г^)"'.

Определение 2. Решением ДАУ (1.1) будем называть п-мерную вектор-функцию и*(£) € Сг(Т), обращающую систему (1.1) в тождество при подстановке.

Лемма 2. Пусть пучок сА+В регулярен. Тогда системы (1.1) и (2.3), (2.4) эквивалентны в смысле решений при г = р.

Доказательство. В [4] показано, что системы (1.1) и (2.3) имеют одно и то же множество решений, если в матрице Ог найдется разрешающий минор и выполнено условие

гапкЛг+1 = гапкЛг + п. (2.7)

Согласно замечанию 1, в предположениях леммы в матрице Ог резре-шающий минор имеется. Воспользовавшись представлением (2.6) нетрудно показать, что условие (2.7) выполняется при г = р. □

Определение 3. Система (2.3), (2.4) называется эквивалентной формой для ДАУ (1.1).

3. Робастная устойчивость

Зададим для ДАУ (1.1) начальное условие

x(to) = xo, (3.1)

где to £ T, x0 £ Rra — заданный вектор.

Утверждение 1. [4] В случае регулярного матричного пучка cA + B и r = р необходимым и достаточным условием разрешимости задачи (1.1), (3.1) на интервале [to, является выполнение равенства

JiXo,i + Xo,2 = 0, (3.2)

где colon(xo,i,Xo,2) = Q-1 Xo, Xo,i £ Rra-d, Xo,2 £ Rd.

Определение 4. Начальные условия (3.1) называются согласованными с системой (1.1) в точке t0, если они удовлетворяют соотношению (3.2)

Определение 5. Решение x*(t) ДАУ (1.1) называется устойчивым по Ляпунову (кратко, устойчивым) при t ^ если для любых е > 0 и to € T найдется ö0 = öo(e,to) > 0 такое, что

1) при любых согласованных в точке t0 начальных данных (3.1) таких, что ||xo — x*(t0)||Rn < ö0, все решения x(t,t0,x0) соответствующих задач Коши определены на интервале T0 = [t0,

2) для этих решений при t € I0 справедливо неравенство Hx(t,t0,x0) — x*(t)||Rn < е.

Определение 6. Устойчивое решение x*(t) ДАУ (1.1) называется асимптотически устойчивым при t ^ если для любого t0 € T

существует ö = ö(t0) € (0,ö0) такое, что все решения x(t,t0,x0) ДАУ (1.1) обладают свойством

lim ||x(t,t0,x0) — x*(t)||Rn = 0,

как только ||x0 — x*(t0)||Rn < ö.

Система ДАУ (1.1) называется асимптотически устойчивой, если асимптотически устойчивы все ее решения.

Пусть система (1.1) асимптотически устойчива. Проблема робастной устойчивости такой системы состоит в нахождении условий, которым должна удовлетворять вещественная матрица возмущений А, для того чтобы ДАУ

Ax'(t) + (B + A)x(t) = 0, была асимптотически устойчива.

Замечание 2. В предположениях леммы 2 ДАУ (2.3), (2.4), а следовательно и система (1.1), будут асимптотически устойчивы тогда и только тогда, когда все собственные значения матрицы J имеют положительные вещественные части.

Полученные ниже условия робастной устойчивости ДАУ (1.1) базируются на известных результатах для систем, разрешенных относительно производной, из книги [2, с. 201, 203].

Пусть B — квадратная матрица порядка m в общем случае с комплексными элементами. Напомним, что упорядоченные собственные числа 0 < Ъ\ < ... < bm симметричной матрицы B*B (B* — матрица сопряженная к B) определяют сингулярные числа матрицы B

fUß) = Vh, г = 1,2,...,т.

Далее будет использоваться спектральная матричная норма

\\В\\а = у/Ьт(В*В)=Рт(В).

Определение 7. Пусть bi(B) — собственные значения (n х n) -матрицы В и Rebi(B) > 0 (г = 1 ,п). Радиусом устойчивости системы

x'(t) + (B + A)x(t) = 0, t G T, (3.3)

будем называть величину

7* = sup {7 : Rebi(B + A) >0 Vf = Tji V||A||S < 7} •

Y

Обозначим j = л/—1.

Лемма 3. Пусть все собственные значения матрицы B имеют положительные вещественные части. Система (3.3) будет асимптотически устойчива, если

||A||S <7* < inf (jwE + B),

ш

ш — вещественный параметр.

Обозначим U(ш) = Re (juE + B)-1, V(ш) = Im (juE + B)-1 и составим блочную матрицу

H(ш а) ( U(ш) -aV(ш) ^ (34) H(ш,а) = { a-1V(ш) U(ш) ), (3.4)

зависящую от двух вещественных параметров ш и а.

Лемма 4. Пусть все собственные значения матрицы B имеют положительные вещественные части. Система (3.3) асимптотически устойчива, если

||A||S <7* < inf inf вп-i (H(ш, а)). ш «6(0,1]

4. Условия робастной устойчивости ДАУ

С помощью матрицы ( из (2.1) переставим столбцы в матрицах А и В, затем полученные матрицы разобьем на блоки

АЯ = ( Аг А2 ) , ВЯ = ( Вг В2 ) ,

где блоки Аг и Вг состоят из п — с! столбцов, а блоки А2 и В2 — из с! столбцов.

Запишем ДАУ (1.1) в форме

(* *)(*(;>) + (в в)(x^)=°, (4.1)

где colon (x,(t),x2(t)) = Q ,x(t).

Введем в систему (4.1) неопределенность

(* * )( + (в+А в )( x;(t))=0, (4'2)

А — вещественная (n х (n — ^))-матрица.

Рассмотрим матрицы RoА и R,А, где Ro и R, — первые коэффициенты оператора (2.2), преобразующего ДАУ (4.1) к виду (2.3), (2.4), в котором

J

н , = ЕоБг. (4.3)

Разобьем матрицы В®А и К\А на блоки

= • *а=(£

где матрицы А1, Аэ размера йх(и-й), а А2, А: — квадратные матрицы порядка (и — 6).

Рассмотрим ДАУ (1.1) индекса 1.

Теорема 1. Пусть:

1) в матрице имеется разрешающий минор;

2) гапкЛ2 = гапкЛ1 + и;

3) все характеристические числа матрицы 32 имеют положительные вещественные части;

4) ||А:||в < 1;

5) -—-— 4 < т{Р\(уи)Е + 32), (3\ — наименьшее сингулярное

1 — ||А: ||8 ш

число матрицы + 32.

Тогда система (4.2) будет асимптотически устойчива.

Доказательство. В силу условия 1 в соответствии с доказательством леммы 1 оператор (2.2) имеет вид

7г = До + Д1^. (4.4) Подействовав этим оператором на систему (4.2), получим ДАУ

Ж2СО + З1Ж1СО + А1Ж1(*) + Аэ^СО = 0, (4.5)

х[(г) + 32Х1(г) + А2Ж1(г) + А:ж1 (Ь) = 0, (4.6)

Предположение 4 обеспечивает обратимость матрицы Е + Д4 [3, с. 140], при этом

|| (Е + А^У1 ||я < ^ . (4.7) 1 — ||Д4||«

Из уравнения (4.6) можем найти

х[(г) = — (Е + Д4)-1 (.2 + Д2) х1(1), (4.8) Подставляя (4.8) в уравнение (4.5), из (4.5), (4.8) получим ДАУ

Х2^) + (71 + Д1 — Дз(Е + Д4)-1 (.2 + Д2)) Х1(Ь) = 0, (4.9)

x/1(í) + (72 + (Е + Д4)-1 (Д2 — Д4^2)) х^) = 0, (4.10) С учетом оценки (4.7)

||(Е + Д4)-1 (Д2 — Д472) ||в <

-1,Л Л 7МI ^ 1|Д2 — Д4^2|,

1 — ||Д4||* '

Предположения 3 и 5 гарантируют справедливость утверждения леммы 3 в отношении системы (4.10). Согласно этой лемме система (4.10) асимптотически устойчива. Очевидно, что при этом асимптотически устойчива будет и система (4.9), (4.10). На основании леммы 2 можем заключить, что система ДАУ (4.2) также будет асимптотически устойчива. □

Замечание 3. Величина И в1 (]шЕ + 72) из условия 5 теоремы 1

ш

представляет собой оценку радиуса устойчивости системы (4.10).

Аналогичным образом можно получить условие робастной устойчивости, опираясь не лемму 4. Пусть

и (ш) = Ке(,?шЕ + 72)"1, V (ш) = 1ш(]шЕ + .]2 )-1, (4.11)

ш — скалярный вещественный параметр.

Теорема 2. Пусть выполнены предположения 1-4 теоремы 1. И кроме того,

||А2 ЫЬ<ы я(ш>а)> (4.12)

1 — ||Д4|5 ш ае(0,1]

в2(п-а)-1 — второе справа из упорядоченных по возрастанию сингулярных чисел матрицы Н(ш,а) (3.4). Тогда система (4.2) будет асимптотически устойчива.

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

Можно получить условия робастной устойчивости и для системы индекса 2.

2) rank

n;

Теорема 3. Пусть:

1) в матрице Б2 имеется разрешающий минор; А 2 О О В2 А\ А2

3) выполнены условия 3-5 теоремы 1, где матрица 32 находится по формуле (4-3).

Тогда система (4-2) будет асимптотически устойчива.

Доказательство. В работе [5] доказано, что в предположениях 1 и 2 теоремы оператор, преобразующий ДАУ (1.1) в систему (2.3), (2.4), имеет вид (4.4). Там же показано, что системы (4.2) и (4.5), (4.6) имеют одно и то же множество решений.

Последующие рассуждения повторяют доказательство теоремы 1.

□

В некоторых случаях для того, чтобы получить более приемлемую

||А2-А472||, , _

оценку значения -г——-- можно в формулировке теоремы 6 за-

1 _ 11^4 Не

менить условие 5 теоремы 1 на условие (4.12), где матрица Н(ш,а) определяется формулами (3.4), (4.11).

Пример 1. Рассмотрим ДАУ

10 -1 \ 2 -1 -2 0 0 -1 I x'(t) + I 0 -1 2 | x(t) = 0.

0 0 0 / V 0 0 1

(4.13)

Построим матрицу

/ 2 0 0

D2 =

V

-1 -2 1 0 -1

-1 2 0 0 -1

0 1 0 0 0

2 -1 -2 1 0 -1

0 -1 2 0 0 -1

0 0 1 0 0 0

2 -1 -2 1

0 -1 2 0

0 0 1 0

-1 -1 0

Легко видеть, что в матрице 0\ разрешающего минора нет. В матрице ^2 такой минор имеется, его столбцы обведены пунктирной линией.

Таким образом, индекс системы (4.13) r = 2, при этом d = 2, Q = E3 и гапкЛ2 = 4.

Поскольку

rank

A 2 O O B2 Ai A2

= rank

( 0 -1 0 -1 0 0

-1 -2 -1 2

V 0 1

\

1 0 -1 0 0 -1 0 0 0 /

= 3,

то, согласно доказательству теоремы 3, оператор, преобразующий ДАУ (4.13) в систему (2.3), (2.4), имеет первый порядок

К

0 -12 0 0 1 1 -1 4

0 0-1

+

d

0 0 0 и-

0 0 0 ' dt

Система с неопределенностью (4.2) будет выглядеть следующим образом

10 -1 \ / 2 + ¿1 -1 -2 \

0 0 -1 I x'(t) + I ¿2 -12 I x(t) = 0, (4.14)

0 0^ \ ¿3 01/

где colon (¿1, ¿2, ¿3) = А.

По формуле (4.3) находим матрицу J2 = (2) . Следовательно, juE + J2 = 2 + ju.

С учетом того, что

RoA

А1 А2

2¿з - ¿2 ¿3

, RiA

А3

А4

-¿3

0 0

¿1 — ¿2 + 4^3 получим

Д4 =0, Д2 — Д4.2 = (¿1 — ¿2 + 4£з).

Нетрудно вычислить сингулярное число а\{]шЕ + = л/4 + ш2, а также М а1 (]шЕ + .2) = 2.

ш

Таким образом, условие 5 теоремы 1 приобретает вид

¿1 — ¿2 + 4¿з| < 2. (4.15)

Согласно этой теореме при выполнении условия (4.15) система (4.14) будет асимптотически устойчива.

Покажем это, анализируя непосредственно систему (4.14). Подействовав на (4.14) оператором К , получим ДАУ

-¿з 0 0

0 0 0 | x'(t) +

1 0 0

-¿2 + 2¿з 1 0

¿3 0 1 | x(t) = 0,

2 + ¿1 - ¿2 + 4¿з 0 0

которая эквивалентна системе уравнений

x2(t) + (¿3(4 + ¿1 - ¿2 + 4¿з) - ¿2) xi(t) = 0, x3(t) + ¿3x1 (t) = 0, x 1 (t) + (2 + ¿1 - ¿2 + 4¿з) x1(t) = 0,

(4.16)

(4.17)

(4.18)

где colon (x1(t),x2(t),x3(t)) = x(t).

Очевидно, что при выполнении условия (4.15) уравнение (4.18) будет асимптотически устойчивым. Компоненты x2(t) и x3(t) определяются из уравнений (4.16) и (4.17) единственным образом через x1(t) Поскольку коэффициенты постоянны, то все решения уравнений (4.16) и (4.17) будут обладать свойством |x2(t)| — 0, |x3(t)| — 0 при t —

Выписав явный вид общего решения ДАУ (4.16)—(4.18), прямой подстановкой можно убедиться, что системы (4.16)—(4.18) и (4.14) имеют одни и те же решения. Таким образом, при выполнении условия (4.15) система ДАУ (4.14) будет асимптотически устойчива.

1. Гантмахер Ф. Р. Теория матриц / Ф. Р. Гантмахер. - М. : Наука, 1988.

2. Поляк Б. Т. Робастная устойчивость и управление / Б. Т. Поляк, П. С. Щербаков. - М. : Наука, 2002.

3. Треногин В. А. Функциональный анализ / В. А. Треногин. - М. : Наука, 1980.

4. Щеглова А. А. Преобразование линейной алгебро-дифференциальной системы к эквивалентной форме / А. А. Щеглова // Тр. IX Междунар. Четаевской конф. «Аналитическая механика, устойчивость и управление движением», 12-16 июня 2007 г. - Иркутск : ИДСТУ СО РАН, 2007. - Т. 5. - С. 298-307.

5. Щеглова А. А. Существование решения начальной задачи для вырожденной линейной гибридной системы с переменными коэффициентами / А. А. Щеглова // Изв. вузов. Математика. - 2010. - № 9. - С. 57-70.

6. Byers R. On the stability radius оа a generalized state-space system / R. Byers, N. K. Nichols // Linear Algebra Appl. - 1993. - N 188-189. - P. 113-134.

7. Chyan C. J. On data-dependence of exponential stability and the stability radii for linear time-varying differential-algebraic systems / C. J. Chyan, N. Y. Du, V. H. Linh //J. Differ. Equ. - 2008. - N 245. - P. 2078-2102.

8. Du N. H. Stability radii for linear time-varying differential-algebraic equations with respect to dynamics perturbations / N. Y. Du, V. H. Linh // J. Differ. Equ. - 2006.

- N 230. - P. 579-599.

9. Du N. H. Stability radii of differential-algebraic equations with structured perturbations / N. Y. Du // Syst. Control Lett. - 2008. - N 57. - P. 546-553.

10. Du N. H. Stability radius of implicit dynamic equations with constant coefficients on time scales / N. Y. Du, D. D. Thuan, N. C. Liem // Syst. Control Lett. - 2011.

- N 60. - P. 596-603.

Щеглова Алла Аркадьевна, доктор физико-математических наук, зам. директора по научной работе, Институт динамики систем и

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

теории управления СО РАН, 664033, г. Иркутск, ул. Лермонтова, 134, тел.: (3952)453059 (e-mail: shchegl@icc.ru)

Кононов Алексей Денисович, аспирант, Институт динамики систем и теории управления СО РАН, 664033, г. Иркутск, ул. Лермонтова, 134 (e-mail: my_official@rambler.ru)

A. A. Shcheglova, A. D. Kononov

On Robust Stability of Systems of Differential-Algebraic Equations

Abstract. We consider linear time-invariant systems of ordinary differential equations with degenerate matrix before the derivative of the desired vector function. Such systems are called differential-algebraic equations (DAE). The unsolvability measure with respect to the derivatives for some DAE is an integer that is called the index of the DAE. The analysis is carried out under the assumption of existence of a structural form with separated differential and algebraic subsystems. This structural form is equivalent to the input system in the sense of solution, and the operator transforming the DAE into the structural form possesses the left inverse operator. The finding of the structural form is constructive and do not use a change of variables. In addition the problem of consistency of the initial data is solved automatically. We prove that regularity of the matrix pencil is sufficient for existence of the structural form in the time-invariant case. We show the connection between matrix pencil index, unsolvability index of DAE, and the order of linear differential operator transforming the DAE into the structural form. The approach uses the concept of r-derivative array equations, where r is the unsolvability index. The existence of a nonsingular minor of order n(r + 1) in the matrix describing derivative array equations is necessary and sufficient for existence of this structural form (n is the dimension of DAE under consideration). In the paper we investigate the problem of asymptotic stability of DAE in case of perturbation which is defined by means of matrix norm. The perturbation introduced into the system of DAE does not break its intrinsic structure and is closely connected with location of the minor mentioned above in the matrix describing derivative array equations. The sufficient conditions of robust stability for index-one and index-two systems are obtained. We use the values of real and complex stability radii obtained for system of ordinary differential equations solved with respect to the derivatives. We consider the example illustrating the obtained results.

References

1. Gantmakher F.R. The theory of matrices (in Russian). Moscow, Nauka, 1988.

2. Polyak B.T. Robust stability and control (in Russian). Moscow, Nauka, 2002.

3. Trenogin V.A. Functional analysis (in Russian). Moscow, Nauka, 1980.

4. Shcheglova A.A. The transformation of a linear algebraic-differential system to an equivalent form (in Russian). Proceeding of the IX International Chetaev Conference «Analytical Mechanics, Stability and Motion Control». Irkutsk, June 2007, vol. 5, pp. 298-307.

5. Shcheglova A.A. Existence of solution to initial problem for a degenerat time-varying linear hybrid system. Russian Mathematics, 2010, no 9, pp. 49-62.

6. Byers R. On the stability radius of a generalized state-space system. Linear Algebra, Appl., 1993, no 188-189, pp. 113-134.

7. Chyan C.J. On data-dependence of exponential stability and the stability radii for linear time-varying differential-algebraic systems. J. Differ. Equ., 2008, no 245, pp. 2078-2102.

8. Du N.H. Stability radii for linear time-varying differential-algebraic equations with respect to dynamics perturbations. J. Differ. Equ., 2006, no 230, pp. 579-599.

9. Du N.H. Stability radii of differential-algebraic equations with structured perturbations. Syst. Control Lett., 2008, no 57, pp. 546-553.

10. Du N.H. Stability radius of implicit dynamic equations with constant coefficients on time scales. Syst. Control Lett., 2011, no 60, pp. 596-603.

Shcheglova Alla Arkad'evna, Doctor of Sciences (Physics and Mathematics), Deputy Director for Science, Institute for System Dynamics and Control Theory SB RAS, 134, Lermontov st., Irkutsk, 664033, tel.: (3952) 453059 (e-mail: shchegl@icc.ru)

Kononov Alexei Denisovich, Postgraduate, Institute for System Dynamics and Control Theory SB RAS, 134, Lermontov st., Irkutsk, 664033, (e-mail: my_official@rambler.ru)