О СОХРАНЕНИИ КВАДРАТИЧНОЙ ФУНКЦИИ ЛЯПУНОВА ЛИНЕЙНОЙ ДИСКРЕТНОЙ СИСТЕМЫ ПРИ СТАЦИОНАРНЫХ ВОЗМУЩЕНИЯХ КОЭФФИЦИЕНТОВ СИСТЕМЫ
О СОХРАНЕНИИ КВАДРАТИЧНОЙ ФУНКЦИИ ЛЯПУНОВА ЛИНЕЙНОЙ ДИСКРЕТНОЙ СИСТЕМЫ ПРИ СТАЦИОНАРНЫХ ВОЗМУЩЕНИЯХ КОЭФФИЦИЕНТОВ СИСТЕМЫ
Аннотация
Для дискретной системы, описываемой линейным точечным отображением, получены достаточные условия на малость возмущений коэффициентов системы, при выполнении которых квадратичная функция Ляпунова, построенная для исходной системы, будет функцией Ляпунова и для возмущенной системы. Факт знакоотрицательности первой разности в силу системы определяется фактом отрицательности корней вспомогательного полинома, коэффициенты которого зависят от коэффициентов системы. Получены достаточные условия сохранения факта отрицательности корней построенного полинома при конечных возмущениях коэффициентов системы. Рассмотрен один из методов определения коэффициентов квадратичной функции Ляпунова, обладающей заданными свойствами: функции Ляпунова, удовлетворяющей ограничению на величину ее первой разности и удобной для использования при оценке количественных характеристик системы.
1. Введение
Развитие теории дискретных динамических систем в направлении исследования макроструктуры пространства состояний является перспективным как с теоретической, так и с прикладной точек зрения, т.к. такая постановка вопроса оказывается естественной при решении задач различного технического содержания . Для решения задачи исследования макроструктуры пространства состояний дискретных динамических систем имеет смысл использовать прямой метод Ляпунова, распространенный на дискретные системы , и позволяющий оценивать макроструктуру пространства состояний на основе принципа достаточности .
Важное место в прямом методе Ляпунова занимает задача о построении в явном виде функции Ляпунова для тех или иных классов дискретных систем. Для исследования поведения систем вблизи их равновесных состояний, а также решения задач прикладного характера таких, как построение областей притяжения, определение быстродействия и т. д. могут быть использованы функции Ляпунова квадратичного вида , . При этом функции Ляпунова могут строиться в соответствии со специальными требованиями, упрощающими решение рассматриваемой задачи. Например, при решении прикладных задач возникает потребность в ограничениях на первую разность квадратичной функции Ляпунова . Причём существенным является такой выбор её коэффициентов, при котором знакоотрицательность
обеспечивается с определенным , (иногда максимальным , ) запасом.
В данной работе изучается вопрос о том, при каких условиях квадратичная функция Ляпунова, построенная для дискретной динамической системы, описываемой линейным точечным отображением, будет оставаться функцией Ляпунова при изменении коэффициентов системы. (Подобная задача для непрерывной линейной динамической системы рассмотрена в ).
2. Квадратичная функция Ляпунова, удовлетворяющая заданному ограничению для линейного точечного отображения
Для фиксированного рассмотрим дискретную динамическую систему, описываемую линейным точечным отображением с постоянными коэффициентами
и квадратичную форму с постоянными коэффициентами
Элементы постоянных -матриц
и
вещественные. Первая разность квадратичной формы
(2) в силу дискретной системы (1) также является квадратичной формой:
Далее считаем, что собственные значения матрицы коэффициентов
дискретной системы (1), т.е. корни характеристического уравнения
, лежат внутри единичного круга и что квадратичная форма (2) положительно определена (здесь и ниже
– единичная
-матрица). Это предположение означает, в частности, что у дискретной системы (1) имеется квадратичная функция Ляпунова. В работе доказана.
Теорема 1. Пусть квадратичная форма (2) является функцией Ляпунова дискретной системы (1) и на заданной поверхности уровня функции
максимальное значение её первой разности (3) в силу (1) равно
Тогда для собственных значений
матрицы коэффициентов
справедливо неравенство
, а коэффициенты квадратичной формы (2) удовлетворяют равенству
Замечание 1. В дальнейшем матрицу квадратичной формы (3) будем обозначать
Очевидно, что матрица
симметрична:
. Пусть
. Если
и
, то для элементов матрицы
очевидны равенства
в которых учтена симметричность матрицы . В этих обозначениях (5) запишется в виде
Доказательство теоремы, приведённое в работе , основывается на решении соответствующей экстремальной задачи. Дадим другое её доказательство.
Доказательство. Так как (2) – положительно определённая квадратичнаяформа, то корректно задан регулярный пучок квадратичных форм , где
– числовой параметр. Пусть
характеристические числа этого пучка , т.е. корни уравнения
(все корни этого уравнения вещественные ). Тогда, согласно , имеет место равенство
Так как отношение указанных в (7) квадратичных форм на любой прямой, проходящей через начало координат, принимает, за исключением точки одно и то же значение (вообще говоря, своё для каждой прямой), то
Из равенств (7) и (8) заключаем, что , а значит, вследствие того, что
– корень уравнения (6), справедливо равенство (4). По условию теоремы квадратичная форма (2) является функцией Ляпунова дискретной системы (1), поэтому квадратичная форма (3) отрицательно определена, а значит,
Следовательно, для завершения доказательства теоремы остаётся установить справедливость неравенства
. Пусть, без нарушения общности, модуль собственного значения
– матрицы
не меньше, чем модули остальных её собственных значений. Могут представиться только два случая: либо 1)
, либо
. Рассмотрим каждый из них отдельно.
В случае 1) обозначим через собственный вектор матрицы
отвечающий собственному значению
. Тогда
и
. Поэтому верно равенство
в силу которого получаем оценку
В случае 2) собственному значению матрицы
отвечает в пространстве
собственный вектор
, где
Раскрывая в равенстве
скобки и отделяя вещественную и мнимую части, получаем
и, следовательно,
В силу двух последних соотношений несложно убедиться в том, что имеет место равенство
Выберем тот вектор , для которого второе слагаемое в правой части равенства (9) неотрицательно. Тогда при таком
вследствие (9) справедливо неравенство
, в силу которого и положительной определённости квадратичной формы (2) получаем оценку
.
Теорема доказана.
Заметим, что уравнение (6) может быть записано в виде , где
(причем ), а матрица
получается из матрицы
заменой столбцов с номерами
на одноименные столбцы матрицы
. Многочлен (10)-(11) получается из (6), если раскрыть определитель и разделить полученный многочлен на коэффициент при старшей степени
. Как отмечено в доказательстве теоремы 1, все корни многочлена
(см. (10)) вещественные .
Предположим, что построена квадратичная форма (2), которая является функцией Ляпунова для отображения (1). Пусть коэффициенты (1) изменились, т.е. функции последования отображения приняли вид
где – постоянная вещественная матрица. Тогда для матрицы
первой разности
квадратичной формы (2) в силу (12) очевидно равенство
Поэтому величины (см. (5)) преобразуются к виду
, где
уравнение (6) примет вид
а вместо многочлена (10) получим многочлен
где – сумма произведений всех миноров матрицы
до порядка
включительно на соответствующие им алгебраические дополнения из матрицы
. В частности, нужный нам в дальнейшем коэффициент
равен
здесь
где – алгебраическое дополнение элемента
в матрице
, а
– алгебраическое дополнение минора матрицы
, построенного на строках с номерами
и столбцах с номерами
. Многочлен (15)-(16) получается (14) при учете (13), если раскрыть определитель и разделить полученный многочлен на коэффициент при старшей степени
.
Задача, рассматриваемая в работе, состоит в нахождении условий, которым должны удовлетворять возмущения, чтобы квадратичная функция Ляпунова (2), построенная для дискретной (1), оставалась бы функцией Ляпунова и для возмущённой дискретной системы (12). Уточним постановку задачи.
2.1. Об условиях, дающих решение задачи
Функция Ляпунова (2) построенная для системы (1), будет оставаться функцией Ляпунова и для системы (12), если и только если все собственные значения матрицы будут отрицательными. Так как матрица
симметричная, то все её собственные значения вещественны . Значит, если у матрицы
все собственные значения отрицательны, то все коэффициенты её характеристического многочлена
положительны, что очевидно следует из формул Виета. Как хорошо известно , для многочлена с вещественными коэффициентами (не обязательно такого, что все его корни вещественны) условие положительности всех коэффициентов является необходимым условием того, чтобы все корни этого многочлена имели отрицательную вещественную часть, но, вообще говоря, не достаточным для многочленов степени, выше двух. В рассматриваемом же нами случае многочлена, все корни которого вещественны, это необходимое условие и достаточно. Действительно, если все коэффициенты многочлена, имеющего только вещественные корни, положительны, то значения этого многочлена на неотрицательной полуоси положительны, а значит, все его корни лежат на отрицательной полуоси. Таким образом, справедлива
Теорема 2. Квадратичная форма (2), являющаяся функцией Ляпунова для дискретной системы (1), будет оставаться функцией Ляпунова и для возмущенной системы (12), если и только если для матрицы выполняются неравенства
Таким образом, чтобы проверить, будет ли квадратичная форма (2), являющаяся функцией Ляпунова дискретной системы (1), также и функцией Ляпунова возмущенной системы (12), нужно в дополнение к найденным положительным коэффициентам (см. формулы (11)) найти величины
(см. формулы (16)) и проверить выполнимость неравенств
. Для проверки этого необходимого и достаточного условия необходимо вычислить все величины
, что связано с большим количеством довольно объёмных вычислений. Можно предложить достаточное условие, для проверки которого требуется вычислить фактически только элемент
. Чтобы сформулировать это достаточное условие, рассмотрим наряду с точечным отображением (12) также параметрическое семейство
параметр в котором изменяется на отрезке [0,1] и в которое (1) и (12) входят при
и
соответственно. Обозначим через
величину
, вычисленную при фиксированном
для (19) по формуле (16), т.е. для (19) нужно в формулах (17) и (18) заменить
на
и
на
. Тогда очевидно, что величина
представляет собой многочлен степени
переменной
с нулевым свободным членом, а именно,
Обозначим через многочлен
(см. (15)), построенный для (19). Свободный член многочлена
равен
и является многочленом степени
с положительным свободным членом. Тогда, согласно [8], будут иметь место следующие утверждения.
Лемма 1. Если многочлен при всех
положителен, то квадратичная форма (2), являющаяся функцией Ляпунова для системы (1), будет функцией Ляпунова и для системы (12).
Заметим, что матрица будет невырожденной, если норма матрицы-возмущения
не превосходит радиуса невырожденности [12] матрицы
. Другими словами, имеет место
Лемма 2. Если матрица отрицательно определена, то матрица
будет отрицательно определённой при любой матрице
, удовлетворяющей неравенству
,
где – собственные значения матрицы
. (Через
обозначена спектральная норма матрицы.)
Из леммы 2 очевидно вытекает
Лемма 3. Если матрица отрицательно определена и выполняется неравенство
то отрицательно определенной будет и матрица
.
2.2. Примеры построения в двух частных случаях квадратичной функции Ляпунова с заданным максимумом на её поверхности уровня первой разности
Пусть квадратичная функция Ляпунова для системы (1) строится в соответствии с методикой работы , основанной на переходе к каноническим координатам.
1. Рассмотрим случай, когда все корни характеристического уравнения дискретной системы (1) вещественны и различны; без нарушения общности считаем, что Тогда существует линейное невырожденное преобразование координат
приводящее точечное отображение к виду
(У матрицы её
-й столбец является собственным вектором матрицы
, соответствующим собственному значению
). При этом квадратичные формы (2) и (3) перейдут соответственно в квадратичные формы
и
, причём
.
Таким образом, не ограничивая общности, можно предполагать, что система (1) имеет канонический вид (21). Тогда равенства (5) примут вид
,
а уравнение (6) запишется следующим образом:
Построим для системы (1) квадратичную функцию Ляпунова (2), удовлетворяющую равенству , где в качестве заранее выбранной величины
можно взять любое число из полуинтервала
Квадратичную функцию Ляпунова с зададим следующим образом:
где ,
а .
То есть матрица построенной квадратичной формы имеет вид
.
Несложно убедиться, что при условии величина
принадлежит полуинтервалу
, а квадратичные формы с матрицами
и
(матрицы
и
определены в (21) и (24)) и соответственно положительно и отрицательно определены. Корнями уравнения (22)
являются: (то, что первые
из этих значений – корни уравнения (22), очевидно, в том же, что два последних из них корни, проще всего убедиться непосредственной подстановкой в уравнение (22)). При этом в рассматриваемом случае при выборе (24) матрицы квадратичной формы наименьшим и наибольшим корнями уравнения (22) будут
и
.
2. Рассмотрим случай, когда все корни характеристического уравнения системы (1) различны, причём среди корней с наибольшей вещественной частью имеются комплексно-сопряжённые между собой.
Если , и только
, то для канонической системы дифференциальных уравнений квадратичную функцию Ляпунова, удовлетворяющую условию
можно искать в виде (23), где
а , считая равными между собой коэффициенты
, если переменные
соответствуют паре комплексно-сопряжённых корней характеристического уравнения.
В самом деле, пусть корни характеристического уравнения действительны и различны, и только
. Тогда существует линейное невырожденное преобразование координат, приводящее точечное отображение к каноническому виду
При этом квадратичные формы (2) и (3) перейдут соответственно в квадратичные формы и
, причём
.
Таким образом, не ограничивая общности, можно предполагать, что система (1) имеет канонический вид (26).
Нетрудно убедиться, что корнями уравнения (6) являются: Таким образом, в рассматриваемом случае при выборе (25) матрицы квадратичной формы наибольшим корнем уравнения (6) будет
Рассмотрим теперь случай, когда среди корней есть пара комплексно-сопряженных корней, скажем
. Тогда линейным невырожденным преобразованием координат система может быть приведена к виду, подобному (26), но с матрицей
Если искать квадратичную функцию Ляпунова для канонической системы в виде можно искать в виде (23), где связаны в силу (25), считая равными между собой коэффициенты
, то корнями уравнения (6) будут:
,
. Таким образом, в рассматриваемом случае при выборе (25) матрицы квадратичной формы наибольшим корнем уравнения (6) будет
.
Случай, когда среди корней характеристического уравнения имеется несколько пар комплексно-сопряженных корней, рассматривается аналогично.
Таким образом, если наибольшему значению действительных частей корней характеристического уравнения соответствует пара комплексно-сопряженных корней, корнями уравнения (6) являются: И в рассматриваемом случае при выборе в силу (24), (25) матрицы квадратичной формы наибольшим корнем уравнения (6) будет
.
Переходя обратно от канонических переменных к исходным переменным, мы получим квадратичную функцию Ляпунова (2), удовлетворяющую заданным ограничениям.
3. Заключение
Представленная работа посвящена вопросу о сохранении квадратичной функции Ляпунова дискретной системы, описываемой линейным точечным отображением, при изменении коэффициентов системы. Получены достаточные условия ан величину возмущений коэффициентов, при которых функция Ляпунова исходной системы останется функцией Ляпунова системы возмущенной. Результаты, полученные в работе, являются продолжением исследований работы .