УДК 519.7
ЧИСЛЕННОЕ РЕШЕНИЕ ЗАДАЧИ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ ВЫРОЖДЕННОЙ ЛИНЕЙНОЙ СИСТЕМОЙ УРАВНЕНИЙ
С НАЧАЛЬНЫМИ УСЛОВИЯМИ ШОУОЛТЕРА - СИДОРОВА
А.В. Келлер
NUMERICAL SOLUTION OF THE OPTIMAL CONTROL PROBLEM FOR DEGENERATE LINEAR SYSTEM OF EQUATIONS
WITH SHOWALTER - SIDOROV INITIAL CONDITIONS
A.V. Keller
Предложены алгоритм и пример численного решения задачи оптимального управления вырожденной линейной системой обыкновенных дифференциальных уравнений с постоянными коэффициентами. Использованы начальные условия Шоуолтера Сидорова для расширения спектра практического применения модели. На примере Леонтьева проведено сравнение с численным решением задачи оптимального управления системой леонтьевского типа с начальным условием Коши.
Ключевые слова: численное решение, оптимальное управление, система леонтьевского типа, метод фазового пространства.
The article proposes algorithm and example of numerical solution of the optimal control problem for degenerate linear system of ordinary differential equations with constant coefficients. By using the initial condition of Showalter
- Sidorov we extend the range of practical applicability of this model. By example of Leontief we compare the results with the numerical solution of optimal control problem for Leontief type system with initial condition of Cauchy.
Keywords: numerical solution, optimal control problem, Leontief type
system, method of phase space
Введение
В [1] предложен численный алгоритм решения задачи Коши
ж(0) = xq (1)
для линейной системы обыкновенных дифференциальных уравнений
х = Sx + д, (2)
основанный на идеях теории полугрупп операторов, здесь S - квадратная матрица порядка п. В [2], [3] этот подход был распространен на задачу (1) для вырожденной системы уравнений
Lx = Мх + / (3)
с использованием идей теории вырожденных полугрупп операторов [4]. (Здесь L и М -
квадратные матрицы, порядка п, причем det L = 0 ). Одним из важных случаев системы
(3) является хорошо известная система В.В. Леонтьева «затраты-выпуск» с учетом запасов (см. в [5]), поэтому в [2] был предложен термин «система леонтьевского типа». Простота применяемого в [2], [3] алгоритма обеспечивает высокое качество получаемого программного продукта, что выгодно отличает данный алгоритм от использовавшихся ранее методов Эйлера, Рунге - Кутта, итерационных и других методов (см. библиографию в [6]).
В [7] рассмотрены задачи оптимального управления
J(v) = min J(u) (4)
u£Hg+1
задачи Коши (1) для системы уравнений
Lx(t) = Mx(t) + y(t) + Bu(t), (5)
где операторы L Е С (X; 3^), ker L ф {0}, M Е CI (X; У), В Е С (Х]У), функции и : [0; Т] —»• U,
О
у : [0; Т) —> У, Т Е R+, Нд+1 - непустое выпуклое подмножество пространства управлений
О
Нр+г, функционал качества J = J(u) имеет вид
1 Т «4-1 т
J (jv<a>(f),fw(i))w& (в)
о
В [8] рассмотрена задача оптимального управления (4) для уравнения (5) с обобщенным условием Шоуолтера - Сидорова
Рх(0) = Р(х0). (7)
В [9] представлен алгоритм численного решения задачи Шоуолтера - Сидорова
[(aL - МУ1 Ly (х{0) -х0) = 0 (8)
для системы (3).
Основная цель данной статьи - нахождение численного решения задачи оптимального управления (4) для системы леонтьевского типа (3) с начальным условием Шоуолтера -Сидорова (8). Статья кроме введения и списка литературы содержит две части. В первой дается краткое теоретическое обоснование алгоритма и приводятся основные его этапы, во второй рассмотрено численное решение примера Леонтьева.
1. Задача оптимального управления с начальными условиями Шоуолтера - Сидорова
Пусть L и М - квадратные матрицы порядка п, причем det L = 0. Пучок матриц ßL — М назовем регулярным, если существует число X Е С такое, что det (AL — М) ф 0. Условие регулярности пучка матриц эквивалентно условию L-регулярности матрицы М [2], [3]. Поэтому, как показано в [4], гл. 4, при условии регулярности пучка существуют единственным образом определяемые матрицы H,S,Mo,Li,Q порядка п, такие, что L-резольвента {¡jlL — М)~1 матрицы М разлагается в ряд Лорана
Р ОО
(цЬ - му1 = £ ßlHlM0 {I-Q) + J2 (4)
г=о i=i
в окрестности бесконечно удаленной точки, причем Н - нильпотентная матрица со степенью нильпотентности р, <2 - идемпотентная матрица, ММо,МоМ, Ь\Ь и ЬЬ\ - диагональные матрицы с нулями и единицами на главной диагонали. Поскольку с!е1;(АЬ — М) ф 0, то многочлен с!е1(А£ — М) = 0 имеет не более п различных нулей, которые расположены в круге радиуса а, а значит, при |/х| > а разложение (4) имеет место. Точка оо называется устранимой особой точкой ¿-резольвенты матрицы М , если р = 0 в (4); и полюсом порядка р £ N в противном случае. В дальнейшем, немного отходя от классического стандарта, будем называть устранимую особую точку полюсом порядка нуль. Итак, пусть пучок цЬ—М регулярен, и оо - полюс порядка р £ {0} и N ; тогда можно выбрать число а и рассмотреть начальное условие Шоуолтера - Сидорова
[^(М)]р(х(0)-х0) = 0 (9)
для задачи оптимального управления (4) системой уравнений леонтьевского типа (5). Здесь Я^{М) = {аЬ — М)~хЬ - правая ¿-резольвента матрицы М , в отличие от ее левой Ь -резольвенты 1,^ (М) = Ь (аЬ — М)~1.
Воспользуемся результатом, изложенным в [8]. При любых у £ Нр+1(2)),жо € 2#^ (Ш}у
О
- фазовое пространство уравнения (3)) и и ЕНР+1 (Ы) существует единственное решение х € Н1{Х) задачи Коши с начальными условиями (2) для уравнения (3), имеющего вид
х(1) = (А\+Аъ){у + Ви)({) + Хгхъ. (10)
Зафиксируем в последнем уравнении у = у{р) и хо и рассмотрим его как отображение
£) : и —» х(и). (11)
Лемма 1. Пусть матрица М Ь-регулярна, у £ Нр+1(2)), и хо £ Шу фиксированы. Тогда
О
отображение Б :НР+1 (К) —> Н1{Х), определенное в (11), непрерывно.
Рассмотрим множество вектор-функций, зависящее от п х т + 1 параметров
и(£) = Ф(^> °11) °12> •••) апт) (12)
О
и такое, что при всех значениях параметров вектор-функции множества принадлежат Нд+1.
О
Пусть множество (12) всюду плотно в Нд+1. Ограничив множество допустимых управлений фектор-функциями множества (12), найдем среди них ту, которая минимизирует функционал качества (6). Подставив в него (12) вместо и, выполнив необходимые преобразования, получим зависимость функционала от п х т переменных J = J(all,al2, ...,аПт)- После этого получаем значения параметров аи,а12,...,а^, дающие минимум функции J(all,al2,...,anrn). Выбрав из множества (12) вектор-функцию, отвечающую именно этим значениям параметров, мы получим требуемое приближенное решение
и(г) = Ф^,ап,а15,...,а^).
Введем в рассмотрение ряд множеств функций
ит{¿) = Фт(^) °11) ®12> •••) ®пт)| Ш = 1, 2, ...,
каждое из которых шире предыдущего в результате добавления дополнительных параметров. Через ит{£) обозначим т-ое приближение - вектор-функцию, дающую из всех вектор-функций т-го множества наименьшее значение функционала J.
Теорема 1. Пусть Фто всюду плотно в Нд+1, тогда <7 (ит(1)) —>■ J(v) при т —> оо. Доказательство приведено в [10].
Теорема 2. Для любого ит ЕН^1 справедлива оценка
}\\ 2 ^2 ! / РтМ - 4д) М < тах Щг) J{um),
р+1 Т Е
9=0 о
где матрицы из (4) и связаны равенством = Л^Л^.
Доказательство приведено в [10].
В качестве управлений при построении итерационного процесса будем рассматривать многочлены вида
т
ит(<) = XI а^1-
г=р+1
В качестве множества допустимых управлений будем расматривать шар
Р+1 £ .. 2
Е / Гт}(*) (14)
9=0 О
где т - максимальная степень многочлена, <1 - неотрицательная постоянная величина, а{ -коэффициенты многочлена.
О
Теорема 3. Множество многочленов вида (13) всюду плотно в Нр+1.
Доказательство приведено в [10].
Алгоритм решения задачи оптимального управления состоит из двух основных этапов. Этап 1 заключается в нахождении чисел а Е Д и р Е {0} и N. Рассмотрим многочлен
(1е1;(д{£ — М) = апцп + а„_ I//1-1 + ... + а\ц + ао-
Поскольку ап = Ь, то ап = 0. Коэффициент а/ есть сумма слагаемых, каждое их которых есть произведение одного из миноров порядка I матрицы I, на число, I = 1,...,п — 1 ао = det(—M). Поэтому степень многочлена det(/^L — М) не выше ранга матрицы Ь. Итак,
det(^^L — М) = ачуА + ая-+ ... + а\р, + ао,
где д = deg det(/LíJL — М) < гапкЬ. Поэтому, если взять число а Е К таким, что
\а\ > тах |1, Щ 1 |аг^ | ,
то det(аЬ — М) ф 0 , и, значит, существует матрица (аЬ — М)-1. Далее, считая, что матрица М обратима, представим det {цЬ — М) — detMdet(/^M_1L — I) . Зная, что порядок полюса в точке оо резольвенты (р,1 — М~1Ь)~1 равен нулю, легко найти, что порядок полюса Ь-резольвенты матрицы в точке оо равен п — д. Итак, числа а и р = п — д найдены.
Тогда, находя значение к, с которого можно начинать считать приближенные проекторы, получим, что при
к>щ Т, + 1
1 1 г=<н-1
мы не сможем оказаться даже вблизи точки ¿-спектра оператора М.
Этап 2 заключается в поиске многочлена, минимизирующего функционал. Воспользовавшись результатами [2], перепишем функционал (6) в виде
1 т р т
Л«) = ЕІ\\с(-Енкм^1(і-<2)іІ;и(і) + вї:аііі) + иіхо+
<7=0 0 к=0 ¿=2 т тп ,
+ /Д*-*<Э(/(5) + ВЕ - 49)ІІІх<и+
О і=2
р+1 т тп тп
+ Е ¡(ЩТ, (Е
д=0 0 г=2 г=2
Перепишем функционал (6) в виде функций от переменных ит) - коэффициентов многочлена допустимого управления. Затем воспользуемся минимизацией функции нескольких переменных, взяв за основу методы выпуклого программирования. При его реализации будем учитывать условие принадлежности многочлена управления множеству допустимых управлений.
2. Пример Леонтьева
Взяв в качестве матриц
Г ___ І Іуз _8_ I ЛД __
•и -- I 1ПП ОПЛ ОС I Ч -¿К* --
7 і 21
21° й°з ¥
100 200 25
0 0 0
з =1
-7 103054189 -70^6357
2| 1199^000 119960000
І5- ТТ І5
рассмотрим динамическую систему Леонтьева
Ьх=Мх + и. (16)
Если переобозначить Ь = В, М = I — А, то матрицы В и А почти совпадут с матрицами из классического примера [5]. «Почти»означает, что элементы Ш22 и шгз подобраны специально с целью упростить вычисления и отличаются от приведенных в примере чисел § и -§ на величины -пЦщ и щЦшо соответственно.
В.В. Леонтьев рассматривал взаимосвязи между тремя отраслями экономики - сельским хозяйством, промышленностью и домашними хозяйствами. Элемент ау матрицы А означает количество продукции г-й отрасли, необходимой для производства единицы продукции j-й отрасли. Элемент Ьу матрицы В представляет определенный технологический запас особого типа благ, производимой отраслью, который используется в отрасли j для производства единицы ее продукции. Другими словами, каждый столбец матрицы В описывает потребность некоторой отрасли в физическом капитале (в расчете на единицу ее валового выпуска) таким же образом, как соответствующий столбец матрицы А описывает ее затраты. Именно поэтому последняя строка матрицы В содержит только нулевые элементы, так как труд невозможно запасти.
Перейдя к расчетам найдем д = degdet(^lL—M) — 2,р = п — д = 1, а = 3, к = 100. Пусть матрица N0 будет диагональной: все элементы ее главной диагонали равны 0,1. То есть 10 процентов средств, собранных в виде налогов, либо направленных на финансирование отраслей, идет на содержание государственного аппарата. Пусть <1 = 200. Возьмем хо 6 %0У
Тогда наблюдение ^(¿), исходя из условия о равномерном увеличении валового выпуска отраслей за единичный отрезок, времени будет выглядеть так
- + 3£; 3 + 4<; — + Ы .
Так как р = 1, в качестве оптимального управления будем рассматривать многочлен второй степени. В качестве функционала получим
J(u) = -28,411031иц«12 + 8,9863884«?2 + 27,586248«?х + 2,931559165«?3-—7,526036725^211422 + 1,88479004«22«1з + 0,68415325«1з«п +
+0,453773«21«23 + 30,1913248«21«ц + 0,7331647«1з«21+
+4,863240111«1з«2з — 14,6617031«22«п + 2,86544218«1з«12+
+2,2858г412«2з — 1^> 234«12«21 + 9,73821«12«22 + 0,2026811«ц«2з+
+1,554«23«22 - 16,74124801«12 - 9,24457347«Хз - 5,338387«ц--30,3891247и21 + 7,66626«22 - 4,7948792«23 + 2,71533723214?!+
+8,412766?^ + 2> 473233759«|а + 60,03724539.
Приведем значения коэффициентов вектор-функции «, при которых функционал минимален, для чего продифференцируем функционал по каждому из коэффициентов, приравняем полученные производные к нулю и решим систему уравнений.
«01 = 0, Щ2 = 0, «оз = 0,
14ц = 7,406403247, и12 = 11,66295383, «13 = -0,9539033784,
«21 = -5,631563350, 1422 = -Ю, 14607244, и2 з = -0,08166019352.
При этом функционал равен J(v) = 4,017151931.
Приведем решение задачи с использованием алгоритма.
«01 = 0, «02 = 0, «оз = 0,
«п = 7,461857411, «12 = И, 760767311, и13 = -0,954971428,
«2! = -5,693110356, «22 = -10,285817347, «23 = -0,081086317.
Функционал, вычисленный по алгоритму, равен У (у) = 3,936587.
При подстановке в функционал, вычисленный точно, значений коэффициентов, вычисленных приближенно, получаем J(v) = 4,0194539019.
Сравнение результатов, полученных под действием управления V и под действием управления у, вычисленного по алгоритму, показывает незначительные расхождения.
Приведем решение задачи оптимального управления с начальными условиями Коши
«01 = 0, «о2 = 0, «оз - 0,
«и = 7,461897495, и12 = 11,760772705, «13 = -0,954971313,
и21 = -5,692871094, «22 = -10,285858154, «23 = -0,081085205.
Функционал, вычисленный по алгоритму, равен У {¡о) = 3,921287.
При подстановке в функционал, вычисленный точно, значений коэффициентов, вычисленных приближенно, получаем J{v) = 4,020573773.
Таким образом, расхождение численных решений задачи оптимального управления вырожденной линейной системой обыкновенных дифференциальных уравнений с начальными условиями Коши и Шоуолтера-Сидорова также незначительно. Это позволяет предположить, что экономический смысл начального условия Шоуолтера-Сидорова в рассматриваемых задачах аналогичен условию Коши.
.го (£) =
Литература
1. Павлов, Б.В. Об одном методе численного интегрирования систем обыкновенных дифференциальных уравнений / Б.В. Павлов, А.Я. Повзнер // Журн. вычисл. матем. и матем. физики. - 1973. - Т. 13, № 4.- С. 1056 - 1059.
2. Свиридюк, Г.А. Численное решение систем уравнений леонтьевского типа / Г.А. Свиридюк , С.В. Брычев // Изв. ВУЗ. Матем. - 2003. - № 8. - С. 46 - 52.
3. Свиридюк, Г.А. Алгоритм решения задачи Коши для вырожденных линейных систем обыкновенных дифференциальных уравнений с постоянными коэффициентами / Г.А. Свиридюк, И.В. Бурлачко // ЖВМиМФ. - 2003. - Т. 43, № 11. - С. 1677 - 1683.
4. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semi-groups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Koln; Tokyo: VSP, 2003.
5. Леонтьев, B.B. Межотраслевая экономика / B.B. Леонтьев - М.: Экономика, 1997.
6. Чистяков, В.Ф. Избранные главы теории алгебро-дифференциальных систем /
В.Ф. Чистяков, A.A. Щеглова. - Новосибирск: Наука, 2003.
7. Свиридюк, Г.А. Задача оптимального управления для одного класса линейных уравнений типа Соболева / Г.А. Свиридюк, A.A. Ефремов // Изв. ВУЗ. Матем. - 1996.-№ 12 - С. 75 - 83.
8. Федоров, В.Е. Задача оптимального управления для одного класса вырожденных уравнений / В.Е. Федоров, М.В. Плеханова // Изв. РАН. Теория и системы управления.
- 2004. - Т. 9, № 2,- С. 92 - 102.
9. Келлер, A.B. Алгоритм численного решения обобщенной задачи Шоуолтера-Сидорова для системы уравнений леонтьевского типа // Вычислительная математика: труды XIV Байкальской Междунар. шк.-семинара «Методы оптимизации и их приложения». -Иркутск, 2008. - Т. 3. - С. 96 - 102.
10. Келлер, A.B. Об оптимальном управлении системами леонтьевского типа // Оптимизация, управление, интеллект. - Иркутск, 2006. - № 1(12). - С. 82 - 89.
Кафедра общеобразовательных дисциплин,
Южно-Уральский государственный университет [email protected]
Поступила в редакцию 25 сентября 2008 г.