О задаче минимальной реализации Текст научной статьи по специальности «Математика»

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

УДК 519.71

О ЗАДАЧЕ МИНИМАЛЬНОЙ РЕАЛИЗАЦИИ

В.М. Адуков

Предполагается, что для линейной конечномерной стационарной динамической системы £ с дискретным временем известна степень МакМиллана S и конечная последовательность ее марковских параметров Gi,..., Gm, m ^ 2S. Рассматриваются задачи восстановления по этим данным переходной матрицы-функции G(z) системы, минимальных индексов и взаимно простых дробных факторизаций G(z), минимальных решений соответствующих уравнений Безу, минимальной реализации £. Для каждой из них существует отдельный алгоритм решения. В данной работе предлагается единый подход к исследованию этих проблем. Он основан на методе индексов и существенных многочленов конечной последовательности матриц. Этот метод был ранее разработан для явного решения задачи факторизации Винера - Хопфа мероморфных матриц-функций. Показано, что решение всех вышеуказанных задач может быть получено, как только будут найдены индексы и существенные многочлены последовательности Gi,. .. ,Gm. Вычисление индексов и существенных многочленов можно осуществить средствами линейной алгебры. Для матриц с элементами из поля рациональных чисел алгоритм реализован в среде Maple в виде процедуры ExactEssPoly.

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

Введение

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

( Xj+1 = Axj + Buj, , л

U = CXj. (1)

Здесь (A, B,C) - тройка действительных матриц размером n х n, n x q, p x n, соответственно;

векторы Uj E Rq, Xj E R”, yj E Rp принадлежат конечномерным действительным простран-

ствам, которые называются пространством входных сигналов, пространством состояний и пространством выходных сигналов, соответственно. Размерность n пространства состояний называется порядком системы, q - число входов, p - число выходов. Предполагается, что в начальный момент времени система находилась в состоянии покоя, т.е. Хо = 0. Эта модель динамической системы называется реализацией системы £ в пространстве состояний (space state model) и формально может быть отождествлена с тройкой матриц (A,B,C).

Переходной матрицей-функцией системы (1) называется правильная рациональная матрица-функция размером p х q

G(z) = C(zI - A)-1B. (2)

Разложим О(г) в ряд Лорана в окрестности бесконечно удаленной точки:

Слк-1в

ВД = £ ■

к=1

Коэффициенты Ок = САк-1В ряда называются марковскими параметрами системы. Оказывается, что в них содержится вся информация об отображении вход-выход. Параметры О к играют важную роль в теории, поскольку для их определения не нужно знать структуру £ (т.е. матрицы А, В, С); они могут быть определены по реакции системы на единичные входные импульсы.

В задачах анализа системы £ по заданной тройке (А, В, С), т.е. по известной переходной матрице-функции О (г), требуется узнать, будет ли система наблюдаемой и/или управляемой, найти такие важные целочисленные инварианты системы, как индексы наблюдаемости и индексы управляемости и т.д. (определение этих понятий см., например, в [1]).

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

САк-1В = Ок, к = 1, 2,.... (3)

Эта тройка матриц является реализацией последовательности Ок или матрицы-функции О (г). Если порядок п матрицы А будет при этом наименьшим возможным, то реализация (А, В, С) называется минимальной.

Минимальная реализация всегда существует и единственна с точностью до изменения базиса в пространстве состояний системы. Порядок п минимальной реализации О (г) называется степенью МакМиллана О (г) и соответствующей системы. Хорошо известен классический алгоритм Хо решения задачи минимальной реализации [2]. Алгоритм требует априорного знания степени МакМиллана и основан на приведении конечных блочных ганкелевых матриц, составленных из марковских параметров Ок системы, к диагональному виду.

Целью данной работы является разработка нового подхода к изучению системы £ по известным марковским параметрам. Он основан на методе существенных многочленов конечной последовательности матриц [3]. Оказалось, что знание индексов и существенных многочленов конечной последовательности, составленной из марковских параметров системы, позволяет сразу же определить индексы наблюдаемости и управляемости системы, построить дробные факторизации передаточной матрицы-функции, решить соответствующие уравнения Безу, найти минимальную реализацию системы.

Ранее этот метод был использован при решении задач из различных областей математики, например, в задаче факторизации Винера - Хопфа матриц-функций [4, 5], при исследовании равномерной сходимости промежуточных строк таблицы Паде [6] и матричных аппроксимаций Паде [7], для обобщенного обращения ганкелевых и теплицевых операторов конечного ранга [8, 9].

Предлагаемый подход может оказаться полезным в теории систем для разработки алгоритмов численного решения задачи минимальной реализации в случае, когда марковские параметры системы известны приближенно. Эта задача относится к классу неустойчивых и требует применения методов, используемых для решения некорректных задач [11, 12]. Наш оптимизм основан на том, что метод уже был успешно применен в похожей неустойчивой ситуации для нахождения скалярных аппроксимаций Паде, свободных от так называемых

дуплетов Фруссара [10]. Фактически это означает, что была построена минимальная реализация для SISO систем (т.е. систем с одним входом и одним выходом). Разработку подобного алгоритма для MIMO систем и его программную реализацию предполагается осуществить в дальнейших работах.

1. Индексы и существенные многочлены

конечной последовательности марковских параметров

Для последовательности С\,С2,..., Gm матриц размером p х q введем понятия индексов и существенных многочленов. Доказательства всех приводимых ниже утверждений даны

в [3].

Пусть A - блочная матрица с блоками из Rpxq, имеющая блочные размеры (M + 1) х (N + 1). Разобьем столбец R из правого ядра kerR A на N + 1 блоков размером q х 1: R = (Ro, Rl, ..., Rn)T и определим производящий векторный (столбцовый) многочлен этого столбца

R(z) = R0 + R1z + ... + Rn zN.

Аналогично, определим производящий векторный (строчный) многочлен от z-1 для вектора

из левого ядра kerL A.

Образуем из последовательности Gi, G2,..., Gm семейство блочных теплицевых матриц

Tk = ||Gj-j||i=k,k+i,...,m, k = 1, 2,... ,m и опишем структуру правых и левых ядер матриц Тк. i=0,’l,...,fc-’l

Поскольку удобнее иметь дело не с векторами, а с их производящими многочленами, перейдем от пространств kerR Тк к изоморфным пространствам NR производящих многочленов векторов из kerR Тк. Для удобства положим NR = 0 и обозначим NR+1 - (m + 2^-мерное пространство всех векторных (столбцовых) многочленов от z формальной степени m + 1.

Аналогично, пространство kerL Тк естественно изоморфно пространству NR производящих многочленов от z-1. Положим NR +i =0 и обозначим NM_i - (m + 2)р-мерное пространство всех векторных (строчных) многочленов от z-1 формальной степени m + 1.

Пусть а = dim NR и и = dim NR. Числа а, и назовем левым, соответственно правым, дефектом последовательности. Пусть dR = dim NR, dR = dim NR, AR = dR — dR_ 1 (1 ^ k ^ m + 1), AR = dR — dR+1 (0 ^ k ^ m). Используя формулу Грассмана, нетрудно доказать, что справедливы следующие неравенства

а = AR < AR < ... < AR < AR+1 = p + q — и,

p + q — а = AR ^ AR ^ ... ^ AR-1 ^ AR = u.

Отсюда следует, что существует p + q — а — и целых чисел ц,а+1 ^ ... ^ цр+д-ш таких, что

AR = ... = ARL+! = а,

AR

AMi + 1

AR

^p+q_^ + 1

AR+1 = p + q - и■

Если г-я строка в этих соотношениях отсутствует, то мы полагаем ц = Ц^+1- По определению положим ц1 = ... = ца = 0, если а = 0 и цр+д-ш+1 = • • • = Цр+д = т + 1, если и = 0-

Определение 1. Целые числа Ц1,..., Цр+д, определенные в (4), будем называть индексами последовательности С1, О2, • • •, 0т.

Так как Д^ = р + д — Д^+1, то мы можем получить для Д^ соотношения, подобные (4)-

В [3] показано, что NR + zNR - подпространство NR+1, и размерность hR+1 дополнения HR+1 этого подпространства равна AR+1 — AR. Из (4) следует, что hR+1 = 0 тогда и только тогда, когда k = ij (j = а +1,... ,p + q — и). В этом случае hR+1 совпадает с кратностью kj индекса fij. Следовательно, для k = ij

NR+1 = NR + zNR

и для k = ij

NR+1 = (NR + zNR)+HR+1.

Определение 2. Если а = 0, то любые многочлены R1(z),..., Ra(z), которые образуют базис пространства NR, будем называть правыми существенными многочленами последовательности G1G2,..., Gm, соответствующими индексу fa = ... = ia.

Любые многочлены Rj(z),...,Rj+.-1(z), образующие базис дополнения HR.+1, назовем правыми существенными многочленами последовательности, соответствующими индексу ij, а + 1 ^ j ^ p + q — и.

Аналогично,

NR-1 = NR + z 1Nk

для k = ij и

NR-1 = (NR + z lNk)+Hk-1

при k = ij. Выбирая базис пространств NR (если и = 0) и HR.-1(а + 1 ^ j ^ p + q — и), получим набор векторных (строчных) многочленов La+1(z),..., Lp+q(z), которые будем называть левыми существенными многочленами последовательности G1, G2,..., Gm.

Таким образом, для любой последовательности G1G2,..., Gm существует p + q индексов, p + q — и правых существенных многочленов и p + q — а левых существенных многочленов. В [3, раздел 5] показано, что всегда можно пополнить системы R1(z),..., Rp+q-w(z) и La+1(z),..., Lp+q(z) до полных систем, состоящих из p + q многочленов. Кроме того, там же доказано, что по известной полной системе правых существенных многочсленов всегда можно восстановить некоторую полную систему левых существенных многочленов, и наоборот. Подобные системы правых и левых существенных многочленов названы согласованными системами.

Описанный выше алгоритм нахождения индексов и существенных многочленов заданной последовательности был реализован в виде процедуры ExactEssPoly в системе компьютерной математики Maple для применения к задаче факторизации Винера - Хопфа [5].

2. Дробная факторизация рациональных матриц-функций

Дробная факторизация рациональной матрицы-функции является естественным обобщением на матричный случай представления рациональной дроби в виде отношения двух многочленов. Приведем некоторые сведения о дробной факторизации [1].

Определение 3. Левой взаимно простой дробной факторизацией (left coprime fractional factorization) правильной рациональной матрицы-функции G(z) называется ее представление в виде

G(z) = D-1(z)NL(z). (5)

Здесь DL(z), NL(z) - взаимно простые слева матричные многочлены от z и DL(z) - несингулярный (т.е. det DL(z) ф 0) матричный многочлен.

Взаимная простота слева матричных многочленов Вь(г), ^ь(г) означает, что эти многочлены имеют в качестве общих левых полиномиальных делителей только матричные многочлены с постоянным ненулевым определителем (унимодулярные матричные многочлены)-Условие взаимной простоты Вь(г), Nь(г), как известно, равносильно разрешимости следующего матричного левого уравнения Безу

Вь(г)Ць(г) + N (г)Уь(г) = 1р. (6)

Здесь иь(г) и Уь(г) - матричные многочлены от г-

Подобным образом определяется правая взаимно простая дробная факторизация О(г):

0(г)= Мп(г)В-1(г), (7)

где Жд(г), Вд(г) - взаимно простые справа матричные многочлены, Вд(г) - несингулярный р х р матричный многочлен- Условие взаимной простоты справа Жд(г) и Вд(г) равносильно разрешимости матричного правого уравнения Безу

ик(г)Вк(г) + Уп(г)Мп(г) = 1Я, (8)

где ия(г) и Уя(г) - матричные многочлены от г-

Известно, что любая правильная рациональная матрица-функция допускает представления (5), (7)- Эти дробные факторизации, а также соответствующие им уравнения Безу играют фундаментальную роль в теории систем- Цель этого раздела - указать способ построения дробной факторизации переходной матрицы-функции и решений уравнений Безу по конечному набору марковских параметров системы-

Ясно, что дробные факторизации строятся не единственным образом- Обычно на знаменатели дробных факторизаций, помимо несингулярности, налагаются дополнительные условия- Сформулируем их- Для любого несингулярного матричного многочлена £(г) существует унимодулярный матричный многочлен 5(г) такой, что Ь(г) = 5(г)Ь(г) имеет правильную по строкам форму [1]- Последнее означает, что постоянная матрица Ьгат, составленная из коэффициентов при старшей степени каждой строки Ь(г), является обратимой матрицей- Поэтому, умножая, если это необходимо, числитель и знаменатель в левой дробной факторизации на подходящий унимодулярный многочлен 5(г), мы можем считать, что знаменатель в представлении (5) имеет правильную по строкам форму, причем степени строк Лз матричного многочлена Вь(г) упорядочены по убыванию- Такое домножение не нарушает взаимной простоты слева факторизационных множителей-

В теории систем показано, что строчные степени Л1, • • •, Лр правильного по строкам знаменателя в дробной факторизации (5) не зависят от факторизации, а однозначно определяются О(г)- Эти инварианты О(г) называются левыми минимальными индексами матрицы-функции О(г)- Если О(г) является переходной матрицей-функцией линейной стационарной конечномерной системы, и тройка (А, В, С) является любой реализацией этой системы, то строчные степени Л1, • • •, Лр являются индексами наблюдаемости пары (А, С)- Сумма 5 индексов равна степени МакМиллана О(г)- Легко видеть, что 5 совпадает со степенью определителя знаменателя Вь(г) из левой дробной факторизации О(г)-

Аналогичным образом, знаменатель Вя(г) правой дробной факторизации О(г) может быть приведен в правильную по столбцам форму, причем столбцовые степени р^ можно считать упорядоченными по возрастанию- Обратимую матрицу, составленную из старших коэффициентов столбцов Вд(г), будем обозначать В^К Числа р1, • • •, рд называются правыми минимальными индексами матрицы-функции О(г)- Для переходной матрицы-функции системы они являются индексами управляемости пары (А, В)- Сумма правых индексов совпадает со степенью det Вд(г) и равна 5-

Оказывается, что знаменатели Вь(г), Вд(г) могут быть приведены к форме, которая является одновременно правильной и по строкам, и по столбцам- Это форма знаменателей называется формой Попова- Алгоритм приведения матричного многочлена к такой форме описан в [1, раздел 6-7-2]- В дальнейшем, если не оговорено противное, мы будем предполагать, что знаменатели дробных факторизаций взяты в форме Попова-

Связь между дробными факторизациями правильной рациональной матрицы-функции О(г) и индексами и существенными многочленами последовательности О1, • • •, 0т, составленной из лорановских коэффициентов 0(г), указана в следующих двух теоремах- В теореме 1 показано, как строить индексы и существенные многочлены последовательности в терминах дробных факторизаций-

Для матрицы А будем обозначать [А]-7 ([А]^) ее ]-й столбец (]-ю строку)-

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

О(г) = Мп(г)В-1(г) (О(г) = В-1(г)Мь(г))

- правая (левая) взаим,но-прост,ая дробная факторизация О(г) с матричным многочленом Вд(г) ((Вь(г)), правильным по столбцам (строкам). Обозначим р1 ^ ••• ^ рд (Л1 ^ ^ Лр) - столбцовые (строчные) степени Вд(г) (Вь(г)).

Пусть (иь(г), Уь(г)), (ид(г), Уд(г)) - минимальные решения уравнений Безу (6), (8), соответственно.

Тогда числа

р1,^ •,рд, т — Л1 + 1,•••,m — Лр + 1 (9)

- индексы, векторные многочлены

гР1 [Вд(г-1)]1, • • ^,гРч [Вд(г-1)]д, гт-Х1+1[Уь(г-1)]1, гт-Хр+1[Уь(г-1)]р (10)

- правые существенные многочлены, и

[Уд(г-1)]1, • • •, [Уд(г-%, [Вь(г-1)]Ь • • •, [Вь(г-1]р

- левые существенные многочлены последовательности О1, • • •, 0т для любого т > 25 > 0.

Доказательство. Изложим только схему доказательства, поскольку она аналогична схеме доказательства теоремы 6 из работы [9]-

Считая известными дробные факторизации рациональной матрицы-функции 0(г) и минимальные решения соответствующих уравнений Безу, нетрудно проверить, что для последовательности О1, • • •, 0т справедливо

гр. [Вд(г-1)]7 еНД.+1, гт-Х>+1[Уь(г-1)]7 еН^-х.+1•

Это означает, что числа (9) являются кандидатами на роль индексов, а векторные многочлены (10) - на роль правых существенных многочленов последовательности- Чтобы убедиться в этом, достаточно применить критерий существенности (теорема 4-1) из [3]- Аналогично может быть доказана вторая часть теоремы- □

В теореме 1 построены существенные многочлены, которые дополнительно имеют следующие свойства:

1) свободные члены векторных многочленов К1(г), • • •, Яд (г) образуют обратимую матрицу, а свободные члены многочленов Яд+1(г), • • •, Яр+д(г) равны нулю;

2) формальные старшие коэффициенты многочленов Ь1(г), • • • ,Ьд(г) равны нулю, а старшие коэффициенты многочленов Ьд+1(г), • • •, Ьр+д(г) образуют обратимую матрицу-

Существенные многочлены Я\(г),..., Кр+д(г); Ь\(г),..., Ьр+д(г), обладающие такими свойствами, будем далее называть факторизационными существенными многочленами последовательности. Можно показать, что если системы многочленов Кі(і),..., Кр+д(г), Ь\(г),..., Ьр+д(г) согласованы, и выполняется свойство 1 (свойство 2), то автоматически выполняется свойство 2 (свойство 1). Другими словами, любая последовательность имеет согласованные факторизационные существенные многочлены.

Теперь мы можем установить главный результат этого раздела, позволяющий находить дробные факторизации и минимальные индексы рациональной матрицы-функции Є (г), а также получать минимальные решения соответствующих уравнений Безу в терминах индексов и существенных многочленов конечной последовательности лорановских коэффициентов

ед.

Теорема 2. Пусть О(г) - правильная рациональная матрица-функция размером р х д, 5

- ее степень МакМиллана, С\,..., Єт - последовательность, образованная из лорановских

т

коэффициентов Є (г) при т ^ 25, и 0(т\г) — ^ —к - производящая функция последова-

к=1 г

тельности.

Пусть ці,..., цр+д - индексы, а Кі(г),..., Кр+д(г); Ьі(г),..., Ьр+д(г) - произвольные существенные многочлены последовательности.

Тогда правые и левые минимальные индексы Є (г) находятся по формулам

р1 — ц1і . . . ; рд — цд; ^1 — т цд+1? . . . , ^р — т цр+д.

Обозначим

( Ьд+1 (г-1) \

Ба(г) — {г»1 К1(г-1) ...г»* Кд (г-1)), Бь(г) —

V Ьр+д(г-1) )

Тогда ёе1 Бк(г) ф 0, ёе1 Бь(г) ф 0, и матричные многочлены Бк(г), Бь(г) являются знаменателями некоторых взаимно простых дробных факторизаций матрицы-функции С(г):

Є(г) — Мп(г)Б-1(г), Є(г) — Б-1 (г)Мь(г).

Матричные многочлены (г), ^ь(г) восстановливаются по последовательности

Є1,..., Єт следующим образом,:

МЕ(г) — Г+(Ст\г)ВЕ(г)), Мь(г) — Р+ (Вь(г)С(т\г)).

/ к д к

Здесь Р+ - оператор проектирования, действующий по правилу Р+1 ^ aj г^) — ^ aj г^.

Kj=-l } j=0

Если существенные многочлены дополнительно выбраны факторизационными, то знаменатель Бд(г) будет иметь форму, правильную по столбцам, а Бь(г) - правильную по строкам.

Наконец, если выбрать согласованные факторизационные существенные многочлены, то можно получить и минимальные решения уравнений Безу:

/ Ь1(г-1) \

Уь(г) — (г»*+1 Кд+1 (г-1) ...г»р+* Кр+д (г-1)), Уд(г) — .

V Ьд(г-1) )

иь(г) — Б-1(г)(1р - Иь(г)Уь(г)), Пк(г) — (Тд - Уд(г)Жд(г)) Б-1 (г).

Доказательство. Формулы для минимальных индексов и существование факторизацион-ных существенных многочленов доказаны в теореме 1.

Как выше указывалось, любая правильная рациональная матрица-функция G(z) допускает правую взаимно простую дробную факторизацию. Пусть G(z) = NR(z)D—l(z)

- любая такая факторизация. По теореме 1 тогда векторные многочлены zpi [DR(z~1)]1,..., zPq [DR(z-1)]q, являются первыми q правыми существенными многочленами. Условие m ^ 25 гарантирует, что Hq < Hq+1. Из теоремы 3.1 работы [3] о структуре ядра блочной теплицевой матрицы следует, что существуют скалярные многочлены Sij(z) от z степени не выше Hj — Hi, если Hj — Hi > 0 и Sij(z) = 0 при Hj — Hi < 0 такие, что Rj (z) = q=i Sij (z)Ri(z), j = 1,...,q. Эти равенства можно переписать в матричной форме (Ri(z)... Rq(z)) = R1 (z) ... Rq(z))S(z), S(z) = ||Sij(z)||qj=1. Отсюда получаем

Dr(z) = {z^1 Ri(z-1)... z»qRq(z-1))S(z), (11)

где элементы матрицы S(z) определяются формулой Sij(z) = z^j~^1 Sij(z-1). Таким образом, матричный многочлен S(z) имеет такую же блочную структуру, что и S(z). Из этой структуры видно, что он имеет постоянный определитель, а из (11) следует, что определитель отличен от нуля. Значит, S(t) - унимодулярный матричный многочлен и потому

{.z^R1(z-1)... z^qRq(z-1)) = Dr(z)S-1(z)

является знаменателем DR (z) некоторой правой взаимно простой дробной факторизации G(z).

Если дополнительно существенные многочлены являются факторизационными, то матрица DcRl является обратимой, т.е. DR(z) имеет форму, правильную по столбцам.

Для получения матричного числителя NR (z) нужно воспользоваться разложениями (2.4) из [3]. Эти соотношения вместе с равенством NR(z) = G(z)DR(z) позволяют доказать, что NR(z) является полиномиальной частью рациональной дроби G(m\z)DR(z).

Аналогично доказывается оставшаяся часть теоремы. □

Продемонстрируем полученные результаты на числовом примере. Все вычисления проделаны с использованием системы компьютерной математики Maple.

Пример 1. Рассмотрим последовательность матриц

Восстановим по этим марковским параметрам рациональную матрицу-функцию О(г) со степенью МакМиллана 5 = 3 и построим для нее дробные факторизации- Обращение к вышеупомянутой процедуре Ехае1Е8вРо1у дает индексы последовательности

Н1 = 1, Н2 = 2, Нз = Н4 = Н5 = 6,

и матрицы, составленные из правых и левых согласованных факторизационных существенных многочленов,

К

1 -\*2

-1 - 2г + г

0 0 0

2 г6 г4 г5

( -1

—2г

С

-і

V-!

-1 - г 1

і

0

1 г-1

2 г

1

2

1 ____ 1 г-1

2 2г

0

0

г-1

0

-1

По теореме 2 получаем следующие значения для минимальных индексов

р1 = 1, р2 = 2, Х\ = \2 = Аз = 1, знаменатели дробных факторизаций

Оп (г) =

г - 2 0 1 - 2г -1г2

°ь(г) =

г

-1 - г 1

1 г 2 г 1 2

-1- 1 г 2 2г

г 0 -1

и числители

1

0

^(г) = I 2 1 I , Мь(г) =

,0 -1- 1 г)

21 -1 0 10

Таким образом,

С(г) =

(1

X

2

X

0

1

х(х-1)(х+2) 2(х+1) х(х-1)(х+2) 1

х-1

/

Первые 6 лорановских коэффициентов этой матрицы-функции действительно совпадают с заданными матрицами .

0

3. Минимальная реализация

Применим результаты раздела 2 к задаче минимальной реализации. Знание взаимно простой дробной факторизации О (г) позволяет построить минимальную реализацию, поэтому мы можем получить решение задачи в терминах существенных многочленов конечного усечения последовательности марковских параметров О\,О2, ■ ■ ■ при условии, что нам известна степень МакМиллана 5 переходной матрицы-функции системы.

Теорема 3.

Пусть О (г) - правильная рациональная матрица-функция и 5 -ее степень МакМиллана. Для произвольного т ^ 25 составим из коэффициентов Лорана О (г) последователь-

т

ность О\, ■ ■ ■, От и ее производящую функцию От)(г) = ^ Щ.

к=1 Х

Пусть Ц\, ■ ■ ■, Цр+д - индексы, а а, и - левый и правый дефекты этой последовательности. Построим, из ее факторизационных существенных многочленов Я\(г), ■ ■ ■, Кр(г) матричные многочлены

Бк(г) = (г»1 Е1(г-1) ...г»' Щ (г-1)), МЕ(г) = Г+(От)(г)ПЕ(г))

и обозначим через Осо1 - обратимую матрицу, составленную из старших коэффициентов столбцов Оя (г), а через [О— - ]-ю строку матрицы О-. Элементы (г) нормирован-

ного матричного многочлена О-Од(г) имеют вид

&гз <г) =

/0 + /Цг + ... + 1г^і 1 + г^і, і = і,

/0 + й%І г + ... + /у _1г ^

1

і = І.

Обозначим і-й столбец матричного многочлена NR<г) через [Жд(г)р; это - векторный многочлен от г степени не выше цу:

[Жд(г)Р = Щ + N1 г + ... + -1.

Тогда минимальная реализация (А, В, С) рациональной матрицы-функции С(г) может, быть построена с помощью факторизационных правых существенных многочленов по следующим формулам:

А = II Ац ||? . , Ац =

II iJ \\г,з=а+1 11

( о

о

0 \

1

Ау =

\-d0S -/{ ... -^г_ і)

о о

\ -/0

где Ау - блок размером ц х цу;

( Ва+1 \

В=

где Ву - блок размером цу х д;

В у =

V В )

о

о

V [В_ы ]у )

о

о

\

-/у _1 )

С = Са+1 Са+2 ...Ся), Су = (N0 N1 ... N1 _1),

где Су - блок размером р х цу.

Доказательство. В теореме 2 показано, что Од(г), (г) являются, соответственно, зна-

менателем и числителем правой взаимно простой дробной факторизации О (г), причем знаменатель Оя (г) имеет правильную по столбцам форму, и индексы ц последовательности совпадают с левыми минимальными индексами р^ для ] = 1,... ,д.

Известно, что знание дробной факторизации переходной матрицы-функции О(г) системы позволяет построить минимальную реализацию этой системы [13].

Непосредственные вычисления с использованием полиномиальных моделей Фурмана (Хдд ) [13] тогда дают вышеприведенные формулы для А, В, С. □

Аналогичным образом минимальная реализация О(г) может быть построена с помощью факторизационных левых существенных многочленов.

Пример 2. Построим минимальную реализацию для рациональной матрицы-функции О(г) из примера 1.

Матрица Осо\ и нормированный знаменатель в этом случае имеют вид

А. = 10 Д) . А.М = (0 _2+7 +г2

Вычисление A, B, C дает следующие блочные матрицы:

A =

0 1 2 0 I 1 0

0 0 1 I , в = 0 0

0 2 —1 0 —2

C =

0 -1

Проверка показывает, что C(zI — A) lB действительно совпадает с G(z)

Литература

1. Kailath, Thomas. Linear Systems / Thomas Kailath. - N.J.: Prentice-Hall, Inc., Englewood Cliffs, 1980.

2. Калман, Р. Очерки по математической теории систем / Р. Калман, П. Фалб, М. Арбиб.

- М.: Едиториал-УРСС, 2004.

3. Adukov, V.M. Generalized Inversion of Block Toeplitz Matrices / V.M. Adukov // Linear Algebra Appl. - 1998. - V. 274.- P. 85-124.

4. Адуков, В.М. Факторизация Винера - Хопфа мероморфных матриц-функций / В.М. Адуков // Алгебра и анализ. - 1992. - Т. 4, вып. 1. - С. 54-74.

5. Адуков, В.М. Факторизация Винера - Хопфа кусочно мероморфных матриц-функций / В.М. Адуков // Математический сборник. - 2009. - Т. 200, № 8. - С. 3-24.

6. Adukov, V.M. The Uniform Convergence of Subsequences of the Last Intermediate Row of the Pade Table / V.M. Adukov // J. Approx. Theory. - 2003. - V. 122, № 2. - P. 160-207.

7. Adukov, V.M. The Essential Polynomial Approach to Convergence of Matrix Pade Approximants / V.M. Adukov // Contemporary Math. - 2001. - V. 280. - P. 71-87.

8. Adukov, V.M. Generalized Inversion of Finite Rank Toeplitz and Hankel Operators with Rational Matrix Symbols / V.M. Adukov // Linear Algebra Appl. - 1999. - V. 290. -P. 119-134.

9. Adukov, V.M. Fractional and Wiener-Hopf factorizations / V.M. Adukov // Linear Algebra Appl. - 2002. - V. 340/1 - 3. - P. 199-213.

10. Ibryaeva, O.L. An Algorithm for Computing a Pade Approximant with Minimal Degree Denominator / O.L. Ibryaeva, V.M. Adukov // J. of Computational and Applied Mathematics. - 2013. - V. 237, № 1. - P. 529-541.

11. Винокуров, В.А. Необходимое и достаточное условие линейной регуляризуемости /

B.А. Винокуров, Л.Д. Менихес // Доклады АН СССР. - 1976. - Т. 229, № 6. -

C. 1292-1294.

12. Менихес, Л.Д. О регуляризуемости отображений, обратных к интегральным операторам / Л.Д. Менихес // Докл. АН СССР. - 1978. - Т. 241, № 2. - С. 282-285.

13. Fuhrmann, P.A. Functional Models in Linear Algebra / P.A. Fuhrmann // Linear Algebra Appl. - 1992. - V. 162/164. - P. 107-151.

Виктор Михайлович Адуков, доктор физико-математических наук, профессор, кафедра «Математический анализ>, Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), adukovvm@susu.ac.ru.

Bulletin of the South Ural State University. Series «Mathematical Modelling, Programming & Computer Software>,

2013, vol. 6, no. 3, pp. 5-17.

MSC 93C05

On a Problem of Minimal Realization

V.M. Adukov, South Ural State University, Chelyabinsk, Russian Federation, adukovvm@susu.ac.ru

It’s supposed that for a discrete-time linear time-invariant system £ the McMillan degree S and a finite sequence of the Markov parameters Gi,..., Gm, m ^ 26, are known. The problems of reconstruction a transfer function G(z) of the system, minimal indices and coprime fractional factorizations of G(z), minimal solutions of the appropriate Bezout equations, the minimal realization of £ from these dates are considered. There are various algorithms to solve each of these problems. In the work we propose an unified approach to study the problems. The approach is based on the method of indices and essential polynomials of a finite sequence of matrices. This method was developed in connection with the problem of an explicit construction of the Wiener - Hopf factorization for meromorphic matrix functions. It is shown that we can obtain the solutions of all the above problems as soon as we find the indices and essential polynomials of the sequence G1,..., Gm. The calculation of the indices and essential polynomials can be realized by means of linear algebra. For matrices with entries from the field of rational numbers we have implemented the algorithm in procedure ExactEssPoly in Maple.

Keywords: discrete-time linear time-invariant systems, fractional factorization, minimal realization.

References

1. Kailath Thomas Linear Systems. N.J., Prentice-Hall, Inc., Englewood Cliffs, 1980.

2. Kalman R.E., Falb P.L., Arbib M.A. Topics in Mathematical System. N.Y., McGraw-Hill, 1969.

3. Adukov V.M. Generalized Inversion of Block Toeplitz Matrices. Linear Algebra Appl., 1998, vol. 274, pp. 85-124.

4. Adukov V.M. Wiener-Hopf Factorization of Meromorphic Matrix-Valued Functions St. Petersburg Math. J., 1993, vol. 4, no. 1, pp. 51-69.

5. Adukov V.M. Wiener-Hopf Factorization of Piecewise Meromorphic Matrix-Valued Functions. Sbornik: Mathematics, 2009, vol. 200, issue 8, pp. 1105-1126.

6. Adukov V.M. The Uniform Convergence of Subsequences of the Last Intermediate Row of the Pade Table. J. Approx. Theory, 2003, vol. 122, pp. 160-207.

7. Adukov V.M. The Essential Polynomial Approach to Convergence of Matrix Pade Approximants. Contemporary Math, 2001, vol. 280, pp. 71-87.

8. Adukov V.M. Generalized Inversion of Finite Rank Toeplitz and Hankel Operators with Rational Matrix Symbols. Linear Algebra Appl., 1999, vol. 290, pp. 119-134.

9. Adukov V.M. Fractional and Wiener-Hopf Factorizations. Linear Algebra Appl., 2002, vol. 340/1 - 3, pp. 199-213.

10. Ibryaeva O.L., Adukov V.M. An Algorithm for Computing a Pade Approximant with Minimal Degree Denominator. J. of Computational and Applied Mathematics, 2013, vol. 237, no. 1, pp. 529-541.

11. Vinokurov V.A., Menikhes L.D. A Necessary and Sufficient Condition of Linear Regularizability. Soviet Mathematics. Doklady, 197б, vol. 229, no. б, pp. 1292-1294.

12. Menikhes L.D. On Regularizability of Mappings That are Inverses of Integral Operators. Soviet Mathematics. Doklady, 1978, vol. 241, no. 2, pp. 282-285.

13. Fuhrmann P.A. Functional Models in Linear Algebra. Linear Algebra Appl., 1992, vol. 162/164, pp. 107-151.

Поступила в редакцию Ї4 мая 20Ї3 г.