CC BY
107
ВЕСТНИК ПЕРМСКОГО УНИВЕРСИТЕТА
2011 ЭКОНОМИКА Вып. 2(9)
РАЗДЕЛ II. ЭКОНОМИКО-МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
УДК 330.4
ГИБРИДНЫЕ МОДЕЛИ В ЗАДА ЧАХ ЭКОНОМИЧЕСКОЙ
ДИНАМИКИ
В.П. Максимов, д. ф.-м. наук, проф. кафедры информационных систем и математических методов в экономике А.Л. Чадов, асп. кафедры информационных систем и математических методов в экономике
ГОУ ВПО «Пермский государственный университет», 614990, г. Пермь, ул. Букирева, 15 Электронный адрес: maksimov@econ.psu.ru
Динамические модели, рассматриваемые в этой работе, с одной стороны, представляют собой конкретную реализацию абстрактных функционально-дифференциальных уравнений. С другой стороны, они охватывают широкий класс моделей, возникающих при исследовании реальных экономических и эколого-экономических процессов с учетом эффектов последействия (запаздывания) и импульсных возмущений (шоков), приводящих к скачкообразному изменению основных показателей функционирования изучаемой системы. Рассматриваемые модели содержат одновременно как уравнения, описывающие динамику показателей в непрерывном времени на конечном промежутке, так и уравнения с дискретным временем, характерным для эконометрических моделей. Для указанного класса систем исследуется вопрос о представлении решений, даются постановки краевых задач как задач о достижимости заданных значений показателей, задач управления и приводятся условия разрешимости этих задач в форме, допускающей эффективное исследование с использованием современных компьютерных технологий.
Ключевые слова: модели экономической динамики; гибридные модели; краевые задачи; задачи целевого управления; вычислительный эксперимент.
Введение
В современных исследованиях по математической экономике все более ощущается потребность в более совершенных математических моделях. Это было предсказано В. Леонтьевым еще в 1953 г. [12, с.101]: «Некоторые из структурных отставаний (лагов), встречающихся в текущих описаниях эмпирических взаимоотношений между затратами производства и выпуском продукции, включают, например, наличие причинности, действующей в промежутке времени - некоторого мистического взаимоотношения, которое при более тонком и детальном рассмотрении может свестись к интуитивно более удовлетворительной и математически более удобной дифференциальной формулировке».
Наиболее популярным в теоретических и прикладных исследованиях является класс моделей динамики с дискретным временем и постоянными параметрами (коэффициентами).
В линейном случае такая модель имеет вид системы разностных уравнений:
z(1,) = YB]z(1]) + YJFtu(tt) + f(J,\ : 0.1.//. (1)
7=1 k=1
где 0 = < /, <... < t = 7 . векторная пере-
менная z = col (г, ,...,zn) (набор эндогенных переменных) описывает состояние моделируемой системы в моменты времени ^; и = col(?/j,..- набор экзогенных (в том числе управляющих) переменных, предыстория всех переменных считается заданной:
^(£) = <р(4), и(£) = w(4), если 4 < 0 •
Основная причина наибольшей распространенности моделей (1) - детально разработанная теория идентификации таких моделей — эконометрика. В рамках эконометрического подхода получены ответы на многие вопросы, имеющие прямое отношение к обоснованию и оценке возможностей практического применения моделей векторной авторегрессии (VAR) [см., напр.:28], разработаны методы построения оптимальных точечных и интервальных оценок параметров (элементов матриц B . ,Fk) системы
© Максимов В.П., Чадов А.Л., 2011
ІЗ
(1), процедуры проверки гипотез о значимости этих параметров и требования к исходным данным, которые используются для идентификации модели. Принципиальный момент здесь — гипотеза о постоянстве параметров модели. Модели вида (1) составляют основу инструментария информационно-аналитических систем (ИАС), разрабатываемых компанией «Прогноз» (г. Пермь) [3, с.60-164; 6].
Вопросы построения моделей с дискретным временем и переменными коэффициентами рассматриваются в рамках теории протомоделей, построенной В.Д. Фурасовым [21]. При этом из множества моделей, совместимых с наблюдаемыми вход-выходными последовательностями, выделяются подмножества моделей, обладающие специальными свойствами, и синтезируются уравнения протомоделей, порождающих соответствующие подмножества моделей исследуемой системы. Эти модели используются, в частности, для исследования так называемых индексов развития динамических процессов и корректной формализации понятий спада и подъема.
Задача построения моделей с непрерывным временем при условии непрерывных наблюдений может решаться на основе идеи операторной интерполяции, высказанной Н.В. Азбелевым в 1988 г. Таким задачам в рамках функционально-дифференциальных моделей с последействием посвящен цикл работ С.Ю. Култышева и Л.М. Култышевой [9, 10, 11]. Отметим также новый подход к построению дифференциальных уравнений произвольных динамических процессов, предлагаемый в работе [19].
Оставляя в стороне вопросы обоснования выбора и построения упомянутых моделей, мы сосредоточимся на проблеме синтеза моделей с дискретным временем и функциональнодифференциальных моделей с непрерывным временем. Один из основных аспектов этой проблемы — возможность использовать в полной мере отдельно полученные к настоящему времени теоретические результаты для функционально-дифференциальных моделей [1, 2, 27] и для моделей в форме разностных уравнений [4,
5, 24]. Термин «гибридные» по отношению к системам уравнений и моделям используется достаточно широко и нередко в различных смыслах [см., напр.: 22, 23, 15, 16, 17]. В нашем случае он кажется вполне уместным. Напомним, что «гибрид» (от лат. Ыbrida - помесь) — организм, полученный в результате скрещивания генетически различающихся родительских форм (видов, линий и др.)» [20]. Вопрос о существенности генетических различий разностных уравнений и уравнений дифференциальных (и их обобщений) имеет философский подтекст. Приведем в связи с этим высказывание А.Н. Колмо-
горова: «Весьма вероятно, что с развитием современной вычислительной техники будет понятно, что в очень многих случаях разумно изучение реальных явлений вести, избегая промежуточный этап их стилизации в духе представлений математики бесконечного и непрерывного, переходя прямо к дискретным моделям» [8, а28].
Динамические модели, рассматриваемые в этой работе, с одной стороны, представляют собой конкретную реализацию абстрактных функционально-дифференциальных уравнений. С другой стороны, они охватывают широкий класс моделей, возникающих при исследовании реальных экономических и экологоэкономических процессов с учетом эффектов последействия (запаздывания) и импульсных возмущений (шоков), приводящих к скачкообразному изменению основных показателей функционирования изучаемой системы. Рассматриваемые модели содержат одновременно как уравнения, описывающие динамику показателей в непрерывном времени на конечном промежутке, так и уравнения с дискретным временем, характерным для эконометрических моделей. Для указанного класса систем исследуется вопрос о представлении решений, ставятся краевые задачи о достижимости заданных значений показателей, задачи управления и приводятся условия неразрешимости этих задач в форме, допускающей эффективное исследование с использованием современных компьютерных технологий.
1. Предварительные сведения. Функционально-дифференциальные уравнения с импульсным воздействием
Приведем здесь необходимые для дальнейшего сведения из [1, 2, 26, 27].
Обозначим через Ь = Ь [0,Т] пространство суммируемых функций
т
V: [0,Т] ^ Я" с нормой РVР = 11 у(^) \п ,
о
где \ • \п — норма в Я" (далее, если размерность пространства очевидна, индекс у нормы будем опускать).
Зафиксируем отрезок [0,Т] с Я и конечное множество точек
О <т1<...<тт<Т и, следуя А.В.
Анохину [7], введем пространство ОБ" (т) кусочно абсолютно непрерывных функций у: [0, Т] ^ Я", представимых в виде
г I т
у(') = !/(•*)<* + у(0) + Т ^)АУ(тк ), (2)
■,0 к=1 [ткт ]
где V е Ь", Ау (тк ) = у (тк ) - у (тк - 0),
т] ^) — характеристическая функция отрезка [гк,т ].
Элементы пространства ОБ" (т) — это функции, абсолютно непрерывные на каждом из промежутков [0и непрерывные справа в точках Г|,..., Тт.
Если норма в ОБ" (т) определяется равенством
т
?у^(т)=?у^ +1 ^(°) I п +£ I АХ^)|Я,
к =1
то ОБ" (т) — банахово пространство.
Сделаем несколько замечаний об изучении импульсных систем с использованием
пространства ОБ" (т). Подход к изучению дифференциальных уравнений с разрывными решениями связан с теорией так называемых «обобщенных дифференциальных уравнений», предложенной J. Кш^еП [29]. К настоящему времени эта теория хорошо разработана [см., напр.: 32, 25]. Согласно принятому подходу импульсные уравнения рассматриваются в классе функций ограниченной вариации. В этом случае под решением понимается функция ограниченной вариации, удовлетворяющая интегральному уравнению с интегралом Лебега-Стильтьеса или Перрона-Стильтьеса. Интегральные уравнения в пространствах функций ограниченной вариации представляют интерес сами по себе и детально изучаются [см. 33]. Напомним, что функция ограниченной вариации представима в виде суммы абсолютно непрерывной функции, разрывной функции и сингулярной компоненты (непрерывной функции с производной, равной нулю почти всюду). Решения уравнений со скачками, рассматриваемые ниже, не содержат сингулярной компоненты и могут терпеть разрывы только в конечном числе заданных точек. Эти уравнения рассматриваются в пространстве ОБ" (т) - конечномерном расширении традиционного пространства абсолютно непрерывных функций. Такой подход к уравнениям со скачками был предложен в [7]. Он не использует сложную теорию обобщенных функций и находит много приложений в тех случаях, когда вопрос о сингулярной компоненте не возникает.
Рассмотрим в пространстве ОБ" (т) уравнение [14]:
У (0 = Цк1 + ^)у(Ъ) +
т (3)
+ £4 ({) Ау(Тк) + /V), (е [0,Т].
к=1
Здесь элементы k1(t,s) ядра Kl(t,s) измеримы на множестве {(t, s):0 „ s „ t „ T} и имеют общую, суммируемую на [0,T], мажоранту:
\k\(t,s)\„ K(t) i,j = \,...,n, t е[0,Г],
а (иxи)-матрицы А^,...,А^ имеют суммируемые на [0,T] элементы. Уравнение (3) охватывает дифференциальные уравнения с сосредоточенным или распределенным запаздыванием и интегродифференциальные системы Вольтерра.
Напомним [1, 2], что пространство
DSn (m) изоморфно прямому произведению Ln х Rn+mn, изоморфизм J = {Л, 0}:
L х Rn+mn ^ DSn (m) задается равенствами
t
^v)(t ) = jv(s)ds; (03)(t ) = 0(t)A
0
где ®it) = [еп,Еп ■ -,E„ ■ ,
3 e Rn+mn, En - единичная (n х n) -матрица. Обратный оператор
J - = —,r]: DSn (m) ^ Ln х Rn+mn определяется равенствами
Sy = j; ry = col (>■(()), А,у(тг),..Ay(rj).
Тогда
У = Л5у + 0ry. (4)
Уравнение (3) является частным случаем линейного абстрактного функциональнодифференциального уравнения (АФДУ)
L у = р, (5)
где L : DSn (m) ^ L - линейный ограниченный оператор. Применяя оператор L к обеим частям равенства (4), получим
L y = (L A)Sy + (L &)ry = QSy + Агу = /. (6)
Оператор Q = L Л:L ^ L называют главной
частью оператора L , a A=L®.Rn+mn^Ln — конечномерной частью оператора L . В уравнении (3) оператор Q является вольтерро-вым:
t
(Qv)(t) = v(t) - j K1 (t,s)v(s)ds
0
и обратимым. Обратный оператор Q - имеет представление
t
Qf )(t ) = f (t) + j R(t,s)f (s)ds,
0
где R(t,s) - резольвентное ядро, соответствующее ядру AT1 (t.s). Оператор А в (6) для
уравнения (3) задается матрицей
А = (-4-А1,...-А1).
Получим представление решения уравнения (3). Применим б- к обеим частям последнего равенства в выражении (6):
5у = 0Г11-0Г1Агу и проинтегрируем полученное равенство от 0 до
г:
г г г
|(£у)00<* = |(б_1/)(5)Л - |(бЧЛ)(5)Л -Гу.
Так как
t
|(5у)(у^ = А5у = у - &гу ,
то
у{г) = | 0(0 - гу + =
0 ) 0 і
= (©(і) + X (і}) ГУ + |(Є_1/)(у) ds.
(7)
Каждый столбец х (г) (" х (" + т")) -
матрицы
Х(/) = -§(<2 'АХ^сЬ = Л(і) + |і?(і,г)Л(г)й?г|(І5
0 I 0
является решением задачи Коши
о (8)
х(0) = 0, г е [0,Т],
где <5,(0 - / -й столбец матрицы А .
Однородное уравнение (3)
(/(0 = 0, г е [0,Т]) в силу представления (7) имеет фундаментальную матрицу У (г) размерности " х (" + т") :
У (г) = ©(г) + X (г).
Решение уравнения (3) с начальными условиями
Х0) = 0, Ау(т,) = 0,...,Ау(тт) = О
имеет представление
г г
у(г) = | (б"1/) № = (с;/) (г) = | С^м)/(5)Ж,
о о
где С (г,5) — матрица Коши [12, 13]. Эта матрица является решением матричного уравнения
—С (М) = [к\г,т)—С (т,я)Лт+к1(/,л), 0 „ 5 „ г „ Т дг : Ят
с условием С (5,5) = Еи .
Матрица С (г,5) выражается через резольвентное ядро Я(г,5):
| = Е,
С1 (і,у) = Еп +| Я(т^^т.
В самом деле,
_[С!(г,5) / (5)й5 = | (д-1/) (5)л = N/ (5)+|я(5,т) / (т)^т I л =
0 0
і і і
вид
= |/(s)ds + ||Я(5,т)^5/(Т)^Т = N Еп + |я(т,5)(1т I/(5)Ж.
0 0 т 0 I 5 J
Общее решение уравнения (3) имеет
г
у(г) = У (г)а + | С (г,5) / (я)^, (9)
0
_ -пн+тн ~ гл
где а е Я - произвольный вектор. Это представление позволяет свести исследование краевых задач и задач управления к исследованию систем линейных алгебраических уравнений.
Рассмотрим общую линейную краевую задачу для уравнения (3):
г
у( 0 = | К1 (г1,5) Я-?)-* + 4 (0^(0) +
0
т (10)
+^Л\(г)• Ау(Тк) + /(г), ге[0,Т],
к=1
£у = Г,
где ^ :/)Л'” (/и) —> ^И+Я!И — линейный ограниченный вектор-функционал. Всякий такой вектор-функционал имеет представление
^ т
= |Ф(5)^>(5)<* + % • ХО) + '£Ч?к • Ау(тк).
О к=\
Здесь элементы ((" + т") х ") -
матрицы Ф измеримы и ограничены в существенном, Ч,0,...,Ч/т — постоянные
((" + т") х ") -матрицы.
Применяя вектор-функционал £ к обеим частям (9), получим систему линейных алгебраических уравнений относительно вектора а :
£у = £Уа + ^ | |С(-,5)/(.у)й& | = у.
Таким образом, необходимое и достаточное условие однозначной разрешимости краевой задачи (3), (9) имеет вид:
йсИУ Ф 0.
Рассмотрим задачу управления
Х0 = |^Чм)Я«)* + 4(ОЯ0) + ^4(О-Лу(гг) +
0 к=1 (11)
+(¥ и) (г) + /(г), г е[0,Т] у(0) = а0, 1у = у&^. (12)
В уравнении (11) ¥ :Ь,[0,Т] ^Ь[0,Т] - линейный ограниченный оператор, Ьг2 - про-
0
0
0
0
у
странство функций и: [0,Т] ^ Я2, суммируемых с квадратом, с нормой ||и|| 2 = и,и > ,
где
т
< и,V >= |иТ(у)у(у^у .
0
знак транспо-
нирования.
Запишем решение уравнения (11), используя формулу (9):
+
і
У (і) = У (і) • со1(«0,ст) + | Сі (і,у)/(у№
0
і
+ |С (і,у) (Е и) (s)ds,
0
где СГ = СОІ ( Лу(т1 )>•••> Ау(тт ) ) . Применим к последнему равенству вектор-функционал I :
£у = Є{У(-)}со1(а0,сг) +(-,5)/(5)б/5 і +
-£■
|сД^)(Е «)(*)<&[.
Для первого слагаемого имеем: е {7(0} со1(а0 ,<т) = | }ф(г)У (г)Л + ¥„7 (0) +[У (г, ) - У (г, - 0)]
т
хсо1{а0,ст} = н а + Н2 •Ау + ^а0 + ^УкАу(гк),
к=1
где (Ы х (" + т")) -матрица
т
Е = |ф(г)7(г)й?г = (Е1,Е2), — (Ыхп)-
0
матрица, состоящая из первых " столбцов матрицы Н , для второго слагаемого имеем:
,||С1(,)Л^! = |Ф(<) +/(г) =
Т ТТ р. Т
= |ф(5)/(5)^5 + Цф(т) С(г,5)йТ • /(5)о5 = (5)/(5)<^5,
0 0 5 дТ 0
Т Я
где V(5) = Ф(5) +[ф(т)----------С(т5^т .
: дт
Таким образом,
Т
[Е2+(^,...,^]СТ + |К(*)^ «)(*)& =
= Г-1 V(у)/(у)йУ-(н +Т0)«0-
(13)
Запишем
т
| V(у)(Е и)(у^у
в виде
т
|(Е ‘V)(у) • и(?)сЬ,
0
где Е *:(Ц) ^(Ц) - сопряженный к Е
оператор.
Будем искать управление и в виде ли-
N
нейной комбинации и = [Е V]Т (s)d = ,
і=і
где щ — і -й столбец матрицы [Е V]Т. Напомним, что в силу теоремы об ортогональном разложении гильбертово пространство Ц можно представить как прямую сумму:
4 =Бр(у1,...,уы)®8р(у1,...,уы)1, где Л/;( V,,..., 1\.) - линейная оболочка элементов а — ее ортого-
нальное дополнение. Запишем (13) как систему линейных алгебраических уравнений относительно (тп + N) — вектора ео1(ст^),
стє Ятп, d є ^ :
[Е2+<Ч'„...,Ч'т)]сг+Ш =
т
= Г-\V(у)/(у)йУ -(Ні +^0К,
(14)
где (Ы х N) -матрица М определена равен-
Т
ством М = | [Е VJ (5) •[¥ VJ (5^5 .
0
Тогда разрешимость задачи управления
(11) - (12) равносильна разрешимости системы (14) относительно вектора со1(ст,^). Каждое
решение со1(сг0 ,с!и). а0 = со1(сг,',..., сг"’),
системы (14) определяет решение задачи (11) -
(12), включающее управление
и = &Щ, и є Ц ,
і =1
Ьу(тк) = о*,к = \,...,т.
скачки
2. Предварительные сведения. Модели с дискретным временем
Зафиксируем множество
J = {t0,t1,...,tм}, 0 <^<...<^=Т. Через
ЕОУ (ц) обозначим пространство функций г :3 ^ ЯУ с нормой:
ЕПу (м)
і-0
Рассмотрим в пространстве ЕПу (м) уравнение
1-і
<0=Т,ВгА{^ + ё((гХ (15)
7=0
где Б? — постоянные (у х у) -матрицы.
Т
0
и
0
0
0
Для разностного уравнения (15) можно записать разностные аналоги определений, задач и утверждений п.1. [см.: 4].
Фундаментальная матрица однородного уравнения (15) (^(^ ) = О, / = (),...,//) является решением начальной задачи 1-1
2(0 = 2>,^д * = 1,г(о = Еу.
У=0
Матрица Коши С2 (,, у) определяется рекуррентными соотношениями
г-1
С2(1,у) = Л 1„ у „ г „ /М
к=У
и дает представление решения уравнения (11) при условии г(г0) = 0 :
<0 = (С2^Х0 = 2р2(г'У = 1 >■■■,/*■ (16)
7=1
Как обычно, здесь и далее будем считать, что
I
= 0 для любых р , если I < к.
г=к
Таким образом, общее решение уравнения (15) имеет вид
2(^) = ^<)^ + (С,2?)(0» * = 0,...,//, (17) где Р е Я - произвольный вектор.
Представление (17), как и его аналог для функционально-дифференциального уравнения (9), позволяет свести вопрос о разрешимости краевой задачи и задачи управления к исследованию систем линейных алгебраических уравнений.
Рассмотрим общую линейную краевую задачу для уравнения (15):
1-1
*(*,) = ' = 1,--,^
у=0 (18)
Яг = у,
где Я :РО (м) ^ Яг — линейный ограниченный вектор-функционал. Всякий такой вектор-функционал имеет представление:
м
Яг=Егкг(гк),
к = 0
где Г\,А: = 0,1,...,/г — постоянные (кхк)-матрицы.
Применяя вектор-функционал Я к обеим частям равенства (17), получаем систему линейных алгебраических уравнений относительно вектора Р :
Яг = (гк )Р + £Гк (С2 g ) (гк ) = г
к=0 к=0
и критерий её однозначной разрешимости УРеЯу:
м
ае1 £г к^ (гк) ф 0.
к = 0
Рассмотрим задачу управления
/-1
= + + »' = !=■■■=/“= (19)
У=0
г(г0) = а, Яг = у е ЯЫ, (20)
где линейный ограниченный оператор Р \РОУ (м) ^РО (м) имеет представление:
= г=1,...,/г.
к=\
Все решения задачи Коши (задачи (19) с начальным условием г (г0) = а) имеют вид:
г(г,)=(г)а+(С2 g)(г,)+(С2ри)(г,).
Применяя к последнему равенству вектор-функционал Я, получаем
Яг = Я2а + ЯС2g + ЯС2Ри = у.
Все управления, решающие задачу Коши, — это решения системы ЯС2Ри = Р, где Р = у — ЯZа — ЯС2g, относительно и :
М г у
ЛСР = £г, £с2(/, У) • №&) = н • и = Р,
,=1 У =1 к =1
где Н - матрица размерности (Ы х ри), и = со/(м(^м(^ )) - вектор размерности
РМ, Р е ЯЫ.
Будем искать управление в виде
N
и=нт а = £ (нт), • а,,
г =1
где (Нт )( - г -й столбец матрицы Нт .
Тогда критерий разрешимости задачи управления (19)-(20) имеет вид:
ёе1(ННт) Ф 0.
3. Гибридные модели Мы рассмотрели уравнение (3), описывающее динамику показателей, входящих в у(г), в непрерывном времени на конечном промежутке, и уравнение с дискретным временем (15), характерное для эконометрических моделей. Запишем уравнения (3) и (15) в операторной форме:
У=ТиУ+/ г = Т 22г + g
где Тп : Ж" (т) ^ Цп; и
Т22: ЕП (м) ^ РОу (м) - линейные ограниченные операторы:
(тпу)( 0 = |^ЧмЖФ^+4(0у(0)+
+
2А1(і)ЛУ(ткX і є[0,т],
(Т11)
к=1
(Т22г)(г,) = £В^г(гУ), г =1,...,М- (Т22 )
У=0
Введем связывающие операторы
Т12: РОу (м) ^ Ь" и Т 21: ОБ" (т) ^ РО у(м):
(Т12 г)(г) = £ В] (г) г(гу), г е[0,Т ], (Т12),
0':гУ ^г—А1}
где элементы матриц В^,У = 0,,...,м, суммируемы на [0, Т], А - 0;
(^,>0(0 = |0'ГА2 + А^У( 0)+
т ( Т 21 )
+£ Л1 Ау(тк ),г' = 0,l,..., /м
к=1
где элементы матриц К2 измеримы и ограничены в существенном на [0,Т] и Л - постоянные (у х ") -матрицы, г = 0,1,..., м,
к = 0,1,...,т, А2 - 0 .
Рассмотрим систему, включающую одновременно уравнения обоих типов:
У=Т\\У + тиг+/,
г _ Т 21у + Т 22г + ^
Систему (21) естественно назвать «гибридной» системой или системой непрерывно-дискретных функционально-дифференциальных уравнений.
Применим представления (9) и (17) к первому и второму уравнениям системы (21) соответственно:
у = Уа+ СТ12 г + С1/, г = Z Р + С2Т 21у + С2 g,
или
( I —СТи) (у^ (У 0^ Га^
(21)
(22)
-С Т
V С2Т 21
I -
Р.
+
(23)
0С
2 )
где - единичный оператор в соответствующем пространстве.
Для получения представления общего решения системы (21) и записи равенств, определяющих фундаментальную матрицу и оператор Коши системы (21), решим (23) относитель-
но вектора х = со1 (у,г) . Для этого воспользуемся следующей леммой.
Лемма. Пусть А и А в определении операторов Т и Т таковы, что
А+А2Ф 0. (24)
Тогда оператор
Р =
-С Т Л
'—•1-і 1 о
-С Т
С 2Т 21
'V- 12
I
: ОБп (т) х РПу (м)
)
^ ОБ" (т) х РОу (м) обратим.
Доказательство. Легко проверить, что (I Л ^
линейный оператор М =
vБ 1
с линейными
операторами А: 2 ^ У и Б: У ^ 2 (У и 2 -банаховы пространства) обратим, если оператор (I — БА): 2 ^ 2 имеет обратный оператор
(I — БА)1 : 2 ^ 2 . При этом также существуют обратные операторы (I — АБ) 1 и
Ґ (I — АБ)-1 —(I — АБ)-1 а
—Б^ — АБ)-1 (I — БА)—1
В условиях леммы оператор
БА = СТ2 С Т12: РПу (м) ^ РОу (м) является т -вольтерровым [13, с.106] оператором с
т = Л + Л и, следовательно, нильпотентным оператором. Таким образом, спектральный радиус оператора БА равен нулю. □
В дальнейшем будем предполагать, что условие (24) выполнено. Тогда из (23) получаем
(у Л ( Н„ #„ Л( У 0 Л (а
V Н21 Н 22 )
0 2
Р.
+
+
где
(Н11 Н12Л
V Н21 Н22 )
(С 0 Л
0 С
2 )
(25)
Н„ = (I — С,Т 12С2 Т 21)—1; Я12 = -(I -С,Т12С2Т 21Г‘С1Т
Г (26)
Н21 = С2г21(/ -С1Т12С2Т21)-‘; Н22 = (I -С2Т1 12Г‘.
Таким образом, общее решение
: ОБ" (т) х РОу (м) системы (21)
имеет вид:
х =
ГУЛ
с а
р.
с
g
(27)
4^У 40/ фундаментальная матрица X связана с фундаментальными матрицами У и Z равенством
X =
V Н21У Н222)
X,, X,
(28)
21 22 )
Оператор Коши С выражается через операторы Коши С и С равенством
С =
(НС НС Л (с с Л Н11С1 Н12С2 С11 с12
Н С Н С
VН 21С1 Н 22С2)
V С с
V С21 с22 )
(29)
4. Краевые задачи для гибридных моделей
Общей линейной краевой задачей называется система (21) вместе с линейными ограничениями
£х = £
ГуЛ
'■г, Г1
:Я
(30)
Гт
| Ф(^Ж^ + %у(0) +
где £: ОБ" (т) х /7)' (/г) —> Л - линейный
ограниченный вектор-функционал, имеющий представление:
е[у;
(31)
т м
+£^ к Ау(тк)+£Г Уг (гУ).
к=1 У=0
Здесь х¥к, к = 0,1,...,т - постоянные (Ы х п) -матрицы; Г ., / = 0,1- постоянные (Ы х у) -матрицы; Ф - (N х ") -матрица с измеримыми и ограниченными в существенном на [0,Т] элементами. Предполагается, что
компоненты £ ( : 1)Б" (/и) х /7)' (/г) —> 7?,
/ = 1,..., -/V, вектор-функционала
= со1{1х,..., ^д.) линейно независимы.
Отметим, что в виде выражения (31) может быть записана, в частности, совокупность начальных условий у(0) = у0 и условий на ве-
ли4ину скачков у(тк )= Л(тк ) у(тк — 0) + Ук и др., встречающиеся во многих работах [см., напр.: 22].
При условии N = " + т" + у краевая задача (21),(30) однозначно разрешима при любых /, g тогда и только тогда, когда (N х N) -матрица
£Х =(£Х\...,£Х п+пт+у), (32)
где X 1 - У -й столбец X , невырождена, т. е.
йеНХ Ф0. (33)
Таким образом, справедлива Теорема 1: Пусть N = " + т" + у . Тогда краевая задача (21),(30) однозначно разрешима при любых /, g тогда и только тогда, когда выпол-
нено условие (33), где (И х И) -матрица £Х определяется равенствами (32),(31),(28),(26).
моделей
де
5. Задачи управления для гибридных
1
Запишем гибридную систему (21) в ви-5х = ©х + р, (34)
где х =
р=
ГуЛ
\ОБп (т) х РПу (м) ,
■:ЬП х РОУ (м) ,
© =
V® )
( Т 1 11
Т
Vі 21
Т
1 12 Т Т
Ґу\
:ОБп(т)хЕОу(/и)
8х =
22 )
^ Цп х РОу (м)
и рассмотрим гибридную систему управления 5х = ©х + Ри + р. (35)
Здесь и є Н - управление, Н - гильбертово пространство со скалярным произведением (у), Р: Н ^ Ц х РОу (М) - линейный ограниченный оператор, отвечающий за реализацию управляющих воздействий на систему. Зафиксируем целевой вектор-функционал
£: 1)Б" (т) х /7)' (/г) —> IV , представленный в виде (31). Назовем задачей управления относительно заданной системы ограниченных функционалов ^ соі{іх,...,£ы') = £ для гибрид-
ной системы управления (35) задачу
х(0) =
8х = ©х
( У(0) Л = (
г (0)) = р
- Ри + р,
еіГ+г; £х = уеЯ
(36)
как задачу выбора такого управления и є Н, что краевая задача
8х = ©х + Ри +р,
' ' (37)
: е.х = г
х(0) = ; £х = у
разрешима. Если такое управление существует для любых р е Ь х РОу (м), а е Я" , Ре Я, уе Я4, то гибридная система управления (35) называется управляемой относительно вектор-функционала £ .
Получим условия разрешимости задачи управления (36) используя равенство (27), дающее представление всех решений (35) с начальными условиями у (0) = а е Я", г (0) = Ре Я у :
x = Х
P
+ Cp + C Fu.
(38)
Здесьсг = со1 {Ау(т1\...,Ау(тт))&ВТ - произвольный вектор. Применяя вектор-функционал I к обеим частям (38) и учитывая цель управления - доставление заданному функционалу 1х значения у е 11 на траекториях, определяемых системой (36), получаем уравнение
ІХ
a
P
+ 1C ср + 1C Fu = у
(39)
т~>т" т т
относительно се Я и и е Н .
Сведем (39) к системе линейных алгебраических уравнений. Заметим, что поскольку Л = 'I"' - линейный ограниченный функци-
онал, определенный на гильбертовом пространстве н, то найдется такое V ■ е Н, что
знак
ис-
Л=Ь’М) (гдс VJ=(C,,')
пользуется для обозначения сопряженного оператора).
Будем искать управление и в виде линейной комбинации
N
и =
г=1
(напомним, что гильбертово пространство Н может быть представлено как прямая сумма
$р(у1,...,у„)0[5!рО,1,...,у„)]±, где 8р(•) -
линейная оболочка соответствующих элементов). Получим, что
£С1ч1 =Ус1, (40)
где V = V) .У( - (ТУ х ТУ) -матрица
Грама для системы е Н .
Запишем матрицу № в форме
^=(^|Нд|Нг), (41)
где размерности матриц Н , Н, Н — (N х "), ^ х (т")) и (N х у) соответственно.
Таким образом, вопрос о разрешимости задачи управления сведен к вопросу о разрешимости системы линейных алгебраических уравнений
’Еьр + У(1 = у-1Сф-’Еуа-’Е113 (42)
Сформулируем этот результат в виде следующей теоремы.
Теорема 2 (ср. с теоремой 2 [30]). Задача управления (36) для гибридной системы управления (35) разрешима тогда и только тогда,
когда система линейных алгебраических уравнений (42) разрешима относительно (тп + N -вектора ео1(о, d). Каждое решение со!(сг{1 ,с10), сг0 = со1(сг10сг™) системы (42) определяет управление, решающее задачу (36), содержащее импульсы Лу(тк ) = ^,
к = \,...,т, и управление її єН,
L ,. . . , /
^N
= У N d(
У j=i 1
j=i 0jvj .
6. Доказательный вычислительный эксперимент
Эффективное исследование поставленной задачи (краевой задачи (21),(30) или задачи гибридного управления (36)) основывается на исследовании системы линейных алгебраических уравнений (СЛАУ), (X ■ с=у для краевой задачи и (42) для задачи управления. Очевидно, что коэффициенты этих систем могут быть найдены только приближенно. Поэтому исследование разрешимости СЛАУ требует использования специальной техники: так называемого доказательного вычислительного эксперимента (ДВЭ) [1, 2, 27, 18]. Как теоретические основы, так и практическая реализация ДВЭ требуют разработки специальных конструктивных методов, основанных на фундаментальных утверждениях общей теории и современном программном обеспечении. Основная задача таких методов - установить факт разрешимости задачи. Затем, если это удалось, построить приближенное решение с гарантированной оценкой погрешности. ДВЭ как инструмент исследования дифференциальных и интегральных моделей активно разрабатывается в течение последних двадцати лет. Существует несколько основных направлений исследования в этой области: изучение задачи Коши для обыкновенных дифференциальных уравнений (ОДУ) и для некоторых классов уравнений в частных производных (УЧП) (H. Bauch, M. Berz, G. Corliss, Б.С. Доб-ронец, E. Kaucher, W. Miranker); изучение краевых задач для ОДУ и УЧП (С.К. Годунов, Н.А. Ронто, А.М. Самойленко, M. Plum); изучение интегральных уравнений (С.А. Колмыков, Ю.И. Шокин, З.Х. Юлдашев, R. Moor). Общая идея, лежащая в основе этих исследований, заключается в выполнении интервальных вычислений в конечномерных и функциональных пространствах и применении специальной техники округления в ходе вычислений. Используемый нами подход [1,18] позволяет рассматривать существенно более широкий класс задач, имеющих такие особенности, как нелокальность операторов, наличие разрывных решений, наличие оператора внутренней суперпозиции, краевые условия общего вида. Кроме того, при та-
u
ком подходе не используются интервальные вычисления, для которых характерен быстрый рост длины результирующего интервала. Вместо этого используется арифметика рациональных чисел со специальной техникой направленного округления. Основная идея конструктивного подхода заключается в том, что для исходной задачи строится приближенная задача с точно известными параметрами, которые позволяют провести доказательную вычислительную проверку условий разрешимости. Если приближенная задача разрешима, итоговый результат зависит от близости к ней исходной задачи (напомним, что неравенство
|| £Х — ~£Х ||< 1/1| [IX ]-1 || для приближений
£, X к £ , X , означает, что IX обратима). Теоремы, лежащие в основе ДВЭ, допускают эффективную компьютерную проверку условий разрешимости исходной задачи. Если эти условия не выполняются, приходится строить новое, более точное приближение исходной задачи, и снова проверять эти условия. Реализация конструктивных методов в виде компьютерной программы (разумеется, такая программа ориентирована на строго определенный класс задач) позволяет изучать конкретную задачу, многократно повторяя ДВЭ. Теоретическое обоснование и детали практической реализации ДВЭ для изучения функционально-
дифференциальных систем представлены в [18]. Ясно, что ДВЭ подразумевает построение и достаточно точную аппроксимацию основных параметров СЛАУ с гарантированными оценками погрешностей. Эффективная доказательная (компьютерно-ориентированная) техника таких построений для определенных классов функционально-дифференциальных уравнений предложена в [31] (см. также [27]).
Работа выполнена при поддержке Российского фонда фундаментальных исследований, грант № 10-01-96054.
Список литературы
1. Азбелев Н.В., Максимов В.П., Рахматуллина Л.Ф. Введение в теорию функционально-дифференциальных уравнений. М.: Наука, 1991. 280 с.
2. Азбелев Н.В., Максимов В.П.,
Рахматуллина Л.Ф. Элементы современной теории функционально-дифференциальных уравнений. М.: Ин-т компьютерных
исследований, 2002. 384 с.
3. Аналитика-капитал. Т. XI: Генезис информатики и аналитики в корпоративном и административном управлении / под ред. Д.Л. Андрианова, С.Г. Тихомирова. М.:ВИНИТИ РАН, 2005. 350 а
4. Андрианов Д.Л. Краевые задачи и задачи управления для линейных разностных систем с последействием // Известия вузов. Математика. 1993. №5. С.3-16.
5. Андрианов Д.Л., Симонов П.М. Краевые задачи для нелинейных разностных уравнений // Вестник Перм. ун-та. Математика. Механика. Информатика. 2008. №4. С. 55-69.
6. Андрианов Д.Л. и др. Целевое
управление процессами социально-
экономического развития субъектов Российской Федерации: моделирование, информационное, математическое и инструментальное обеспечение / Перм. гос. ун-т. Пермь, 2008. 240с.
7. Анохин А. В. О линейных импульсных
системах для функционально-
дифференциальных уравнений // ДАН СССР. 1986. Вып. 286, № 5. С. 1037-1040.
8. Колмогоров А.Н. Комбинаторные основания теории информации и исчисления вероятностей // Успехи матем. наук. 1983. Вып. 38, № 4. С. 27-36.
9. Култышев С. Ю., Култышева Л. М.
К вопросу об идентификации функциональнодифференциальных систем с последействием //Известия вузов. Математика. 1998. №3. С. 16-
27.
10. Култышев С. Ю., Култышева Л. М. Об идентификации некоторых классов операторных моделей эволюционного типа // Известия вузов. Математика. 2004. №6. С. 3040.
11. Култышев С. Ю., Култышева Л. М. Идентификация линейных стохастических моделей реальных объектов // Вестник Перм. гос. техн. ун-та. Прикладная математика и механика. 2008. №7. С. 114-119.
12. Леонтьев В. Исследования структуры американской экономики. М.: Госстатиздат. 1958. 640 с.
13. Максимов В.П. Формула Коши для функционально-дифференциального уравнения // Дифференциальные уравнения. 1977. Вып. 13, №4. С.601-606, 770-771.
14. Максимов В.П. Вопросы общей теории функционально-дифференциальных уравнений / Перм. гос. ун-т. Пермь, 2003. 306 с.
15. Максимов В.П., Румянцев А.Н. Краевые задачи и задачи импульского управления в экономической динамике. Конструктивное исследование // Известия вузов. Математика. 1993. №5. С.56-71.
16. Марченко В. М., Поддубная О.Н. Представление решений и относительная управляемость линейных дифференциально -алгебраических систем с многими запаздываниями // Докл. РАН. 2005. Вып. 404б, № 4. С. 465-469.
17. Марченко В. М., Зачкевич З.
Представление решений управляемых гибридных дифференциально -разностных
импульсных систем // Дифференциальные уравнения. 2009. Вып. 45, № 12. С. 1775-1786.
18. Румянцев А.Н. Доказательный
вычислительный эксперимент в исследовании краевых задач / Перм. гос. ун-т. Пермь, 1999. 174 с.
19. Смольяков Э.Р. Методы поиска
дифференциальных уравнений произвольных динамических процессов // Дифференциальные уравнения. 2009. Вып. 45, № 12. С. 1704-1715.
20. Советский энциклопедический словарь. М.: Большая советская энциклопедия, 1982. 1600 с.
21. Фурасов В. ^Моделирование плохоформализуемых процессов. М.: Academia, 1997. 223 с.
22. Agranovich G.A. Some problems of discrete/continuous systems stabilization // Functional Differential Equations. 2003. Vol. 10, 1-
2. Р.5-17.
23. Agranovich G.A. Observability criteria of linear discrete-continuous system // Functional Differential Equations. 2009. Vol. 16, 1. Р.35-51.
24. Andrianov D.L. Difference equations
and the elaboration of computer systems for monitoring and forecasting socioeconomic
development of the country and territories // Proceedings of the Conference on Differential and Difference Equations and Applications, Hindawi Publishing Corporation. New York-Cairo, 2006. Р. 1231-1237.
25. Ashordia M. On the stability of solutions of the multipoint boundary value problem for the system of generalized ordinary differential equations // Memoirs on Diff. Equations and Math. Phys. 1995. Vol. 6. Р. 1-57.
26. Azbelev N. V., Rakhmatullina L.F. Theory of linear abstract functional differential equations and applications // Memoirs on Diff. Equations and Math. Phys. 1996. Vol. 8. Р.1-102.
27. Azbelev N.V., Maksimov V.P., Rakhmatullina L.F. Introduction to the theory of functional differential equations: methods and applications Hindawi Publishing Corporation. New York; Cairo, 2007. 314 p.
28. Davidson J.Econometric theory. Blackwell Publishers. Oxford, 2000. 499 p.
29. Kurzweil Ja. Generalized ordinary differential equations and continuous dependence on a parameter // Czechoslovak Math.J. 1957. Vol.
7. Р.418-449.
30. Maksimov V. P. Theory of Functional Differential Equations and Some Problems in Economic Dynamics // Proceedings of the Conference on Differential and Difference Equations and Applications Hindawi Publishing Corporation. New York; Cairo, 2006. Р. 74-82.
31. Maksimov V.P., Rumyantsev A.N. Reliable computing experiment in the study of generalized controllability of linear functional differential systems // Mathematical modelling. Problems, methods, applications Ed. by L.Uvarova, A.Latyshev Kluwer Academic: Plenum Publishers. 2002. P.91-98.
32. Schwabik S. Generalized ordinary differential equations World Scientific. Singapore, 1992. 248 p.
33. Schwabik S., Tvrdy M., Veivoda O. Differential and integral equations. Boundary value problems and adjoints Academia. Prague, 1979. 252 p.
