Предельные теоремы для полумарковских случайных эволюций и их применение тема автореферата и диссертации по математике, 01.01.05 ВАК РФ
Овищук, Анатолий Витальевич
АВТОР
|
||||
доктора физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Киев
МЕСТО ЗАЩИТЫ
|
||||
1992
ГОД ЗАЩИТЫ
|
|
01.01.05
КОД ВАК РФ
|
||
|
АКАДЕМИЯ НАУК УКРАИНЫ
.ордаа трудового красного знамен^ ннцтитут Штемтики
На правах руномюи
ОЕИЩ7К Анатолий Витальевич
г
ПРЕДЕЛЬНЫЕ ТЕОРИИ ДЛЯ ГЙЭЯУМАРКОЕСКИХ СЛУЧАЙНЫХ ЭЕСЙЮЩЙ И- ИХ ПРЛМЕНШЕ -
' • / " 01.01,05 - теория вэроятностей и
матеыатичеЛая /латисти?
Авт'орефора диссертации на соискание учеь. д5>кгора дйзйко-математическюс на.
Киев - 1902
. / ^ у
/ ,.
Работа выполнена в Ордена Трудового Красного Знамени >, Институте математики АН Украины.
Научный консультант--академик АН Украины, доктор физико-математических наук, пр'офеосЬр Корохш Б.С_.
Официальны^ оппоненты!
доктор „физико-математических наук, профессор. ПОРТЕНКО H.H., доктор физико-математических наук, профессор АНИСИЮВ Б.В., доктор физико-математических наук, профессор ВЕРЕТЕННИКОВ А.Ю.
, Бе,дущая юрганизецкя Институт кибернетики АН Украины
199 с^- г.
Защита диссертации состоится С-^
в часов на заседали специализированного совета
Д 016.50.01 при Институте математики АН Украины по адресу: , . 252601 Киев 4, ГСП, ул.Репина,3.
С диссертацией можно ознакомиться в библиотеке института.
• у
Автореферат разослан ' О ")_199 ¿¿о г
. Ученый секретарь специализированного совета
ГУСАК Д.Б.
>»
3. „ .„г-Г: > ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
v-тлея ? »ссс j
«^.-^—"■-НАктуальность теми. Работа посвящена систематическому изучению полумарковских случайных оволюций (ШЗЗ), доказательству предельных теорем усреднения и даКузионной аппроксимации для ГЕ.'СЭ, используя аналитические и мартингалыше метода, a также применению предельных теорем к моделям эволюционных стохастических систем в полумаркоЕСКои случайной среда.
Случайные эволюции (CS) представляют собой операторные динамические системы в банаховом пространства, зависящие от случайного процесса.В разных областях науки и техники функшюшфо-ванве систем происходит под влиянием внешней случайной среди. Математическая модель эволюции системы состоит из двух объектов: динамической системы и случайного процесса. При фиксированном состоянии среды эволюция системы происходит в соответствии с внутренними законами данной динамической системы.Еероятностпые характеристики внешней случайной среды не зависят от эволюции системы.
Различают СЭ как по.типу динамической системы, так и по виду случайного процесса. Таким образом, ПШЭ являются операторными динамическими cncTei.iai.Ui, зависящими от полумарковского процесса.
Изучение динамических систем под влиянием случайных воздействий восходит к работам Крылова Н.1.1., Боголюбова H.H., Гих-ыана И.И., Ыигронольского ¡O.A. Термин "случайная эволюция" впервые появился в I9G9 г. в работе Р.Грего и Р.Херша, посвященной эволвциям на конечной цепи Маркова» Пуассоновские СЭ изучались М.Кацем (1954 г,), непрерывные иарковские СЭ исследовались Р.Хершем, Дк. Папаши: олаоу (IS7I г.), Т.Куртцем (IS73 г.) В.С.Королюком, А.5.Турбшши (I2E2 г.), ькнеровекпе и ди^Тузион-ныв СЭ - Д.Кгайрннгом (1972 г*), диокретные полумзркоЕсгае СЭ -Р.Кертцем (1978 г.), независимые и стационарные - Дч.Уоткин-сом (ISG4 г., 1£е5 Ы.
М.Пине кий (1975 г.) исследсгал марковские СЭ с точки зрения мультипликативных операторных функционалов от марковского lipo— цесса» Эволюционные стохасткчесше уравнения в гильбертовом и банаховом пространствах изучались II.Г..Крыловым, Л»Е.Розовским (Ii72 г., КСЗ г.), S.A.EepetiiKWiKOBUM ( 1£сЗ г., 1£91 г.) к др.
Вашим аспектом исследовашш СЭ являются предельные теоремы усреднения ( аналог закона больших чисел), диффузионной аппроксимации ( аналог центральной предельной теоремы) и асимптотического фазового укрупнения. Специфика данных теорем для СО состоит в том, что операторы, порождающие динамическую систему, являются неограниченными и не коммутируют между собой. Случайный процесс, описывающий внешнюю среду, имеет сложную структуру.
При доказательства предельных теорем для СЭ в схеме серий используются аналитические и мартингалыше методы.
Аналитические методы связаны с асимптотическим анализом детерминированных дифференциальных уравнений для средних от марковских СЭ и уравнений марковского восстановления для средних от ШСЭ.
Предельные теоремы для непрерывных марковских СО исследовались Р.Грего, Р.Хершем (1971 г.), Дж.Папашколаоу (1972 г.), Т.Куртцем (1973 г.), для.разрывных марковских СЭ и дискретных ШСЭ - Р.Кертцем (1972 г., 1978 г.). Предельные.теоремы для марковских и стационарных СЭ изучались в работах Р.З.Хасьмипокого (1969 Г.), А.Д.Вентцеля, М.Фрейдлина (1983 г.), Е.Ф.Царькова (1988 г.), А.Б.Скорохода, В.В.Сарафяна (1985 г.) и др. Асимптотическое фазовое укрупнение для марковских СЭ впервые получено В.С.Королюком, А.Ф.Турбшшм (1982 г., IG83 г.), а также В.В.Ани-симовыы - для переключаемых процессов (1984 г.).
Ыартингальные метода исследования СЭ оказываются полезными при доказательство слабой сходимости СЭ в предельных теоремах, решении ыартингальной проблемы для СЭ и построении операторных уравнений для предельных СЭ. Д.Струк и В.С.В.Варадан ( 1969 г.) впервые использовали мартингальное сеойство для характеризации марковских процессов. Связь СЭ с мартингалами впервые рассматривалась М.Пинским (1975 г.). Дк.Уоткинс (1985 г.) использовал мартиш'алыше методы для исследования независимых и стационарных СЭ.
Мартинг^льныи метод доказательства предельных теорем усреднения и диффузионной аппроксимации рассматривался A. L.Скороходом (1287 г.) при изучении динамических систем с быстрыми марковскими переключениями.
Е,;СЭ представляют также интерес для изучения и с точки арония многочисленных приложений, включающих различные стохастически
модели оиотем в полумарковской олучайной среда.
Цель работы. Изучить ШСЭ как решения случайных операторных уравнений в банаховых пространствах. Еывасти операторные уравнения марковского восстановления (УМВ) для усредненных ШСЭ. На основании УЫВ для однородных и неоднородных ШСЭ в схеме серий получить предельные теоремы усреднения и диффузионной аппроксимации в эргодическом и приводимом олучаях. Изучить слабую охо-дшость ШСЭ в схема серий и найти предельные представления для них в предельных теоремах, используя мартингалыше методы.
Установить эквивалентность существования решения мартингаль-ной проблема для ШСЭ и существований решения стохастического операторного интегрального уравнения для предельной ШСЭ. Доказательство единственности решения Мартингальной проблемы с помощью сопряженных ШСЭ. Применение предельных теорем для ПМСЭ к стохастическим моделям сиотем о полумарковской случайной среде.
Общая методика исследований. Попользуются метода теории вероятностей, теории случайных процессов в сепарабелышх банаховых проотранотвах, мартингалов и Функционально!^ анализа. Применяется аскмптотичеокая теория обращения операторов( возмущенных на спектре, для УМВ. Попользуются критерии слабой сходимости для банаховозначных процессов, Разработаны Новый аналитические методы асимптотического анализа операторных УМВ для однородных и неоднородных ШСЭ. Развиты также мартингальныо методы в исследовании предельных теорем для ШСЭ й схема серий в эргодическом и приводимом случаях.
Научная новизна. Впервые получены: доказательство существования и единственности случайного операторного уравнения для ШСЭ) операторное УМВ для усредненных ШСЭ} доказаны теоремы усреднения и диффузионной аппроксимации для однородных и неоднородных ШСЭ в схеме серий в эргодическом и приводимом случаях; доказана слабая сходимость ПМСЭ в предельных Теоремах усреднения и диффузионной аппроксимации в эргодическом и приводимо?.! случаях; получены предельные представления ШСЭ в виде решения мар-тингальннх проблем} доказана эквивалентность существований решения мартингальной проблемы и решения стохастического интегрального операторного уравнения для предельной ПМСЭ а диффузионной аппроксимации} получено доказательство единственности несения ■ мартиИгальной пройте.ма для ШСЭ с помоегьп сопряженных П;'£3; при-
ведены применения предельных теорем для ШСЭ к различным стохастическим моделям систем в полумарковской случайной среде.
Теоретическая И практическая значимооть. Полученные в диссертации аналитические и мартингальные методы, предельные теоремы и предельные представления в виде решения ыартингальных проблем и доказательства их единственности позволяют развивать научные исследования в теории случайных процессов в бесконечномерных пространствах, в теории стохастичеоких операторных интегральных уравнений, а также в теории стохаотичеоких динамичеоких систем. Совокупность полученных результатов образует новое направление - аналитические и мартингальные методы исследования СЭ. Эти результаты применяются к моделям эволюционных стохастических систем в полумарковской случайной ореде! процессам переноса и запасания, ветвящимся и Иготатиотическим процессам, аддитивным функционалам и отохастическш дифференциальным уравнениям, волновым процессам и колебаниям маятника, процессам с независимыми приращениями с полумарковскими переключениями..
Апробация работы. Результаты диссертации докладывались:
-- На 1У и У Международных Вильнюсских конференциях по теории вероятностей и математической статистике (1285, 1989 гг.);
на Международной летней школе по теории вероятностей и математической статистике (г.Варна, Болгария, 1985 г.)}
на Республиканской школе-семинаре по теории случайных процессов (г.Львов, 1986 г.)|
- . на Всесоюзной школе-семинаре по теории 41-статистик (г.Киев, 1988 г.);
на Республиканских школах-оешшарах по теории случайных эволюция (г.Киев, 1968 г.} п.Кацивели, Крым, 1989 г.);
на семинаре по прикладной статистике при Киевском государственном университете (1988 г.)}
на Республиканских конференциях молодых ученых и специалистов (г.Киев, 1986, 1988, 1990 гг.)}
на XI Международной Пражской конференции по теории случайных процессов (1990 г.);
на У1 Советско-Японском симпозиуме по теории вероятностей и математической статистике (г.Киев, 1991 г.);
- на Всесоюзной конференции "Еероятностные методы процессов управления, надежности и случайных процессов" (г.Донецк, 1£90 г.);
на семинаре по теории вероятностей и математической статистике при Новосибирском математическом институте (IS9I г.);
на семинаре по асимптотическим методам теории случайных эволюций при Институте математики АН Украины (1986-1991 гг.),*
па Ученом совете Института математики АН Украины (1991 г.); на секции теории вероятностей и математической статистики при Ученом совете Института математики АН Украины (1990 г., IS9I г.);
на семинаре по теории вероятностей при Институте проблем передачи информации (г.Москва', 1992 г.).
Публикации. Основные результаты диссертации опубликованы в работах [ I ] - [ 35 3 .
Структура и объем работы. Диссертация состоит из списка условных обозначений и сокращений, введения, четырех глав, которые разбиты на 17 параграфов, и занимает 3.x' страниц машинописного текста. Нумерация параграфов, теорем, лемм и формул в главах следуювдя: первая цифра соответствует номеру главы, вторая -номеру параграфа, теоремы, леммы или формулы в главе» Список литературы содержит 189 наименований.
СОДЕРЖАНИЕ РАВЭТЫ
Формулируемые ниже определения, леммы и теорема имеют те ке номера, что и в диссертации. Нумерация формул самостоятельная.
Во введении приводится обзор исследований по теории случайных эвшюций, обоснование актуальности работы, краткая харак-теристикй основных результатов.
Глава I. НЕОЕХОДИЕ С2ВДШИЯ И ПРЕДЕАРОТЕДЫШЕ РЕЗУЛЬТАТУ
Приводятся обозначения, понятия, определения и теоремы, которые используются в диссертации,
В 5 1.1 приводятся определения процесса марковского восстановления, полумарковского процесса, теоремы восстановления и уравнения марковского восстановления.
Пусть - полное вероятностное пространство,
(*,<$) - измеримое пространство со счетно-порожденной (5-алгеброй Ш , S^j tv>,0) - процесс марковского восстановления (ШЗ). Определю.! полумарковокое ядро
IMtft'&i1*' x^fAtB^ ¿il v*3 -РМ'б,"'. (I)
где Pi*,Л) - переходная вероятность цепи Маркова (к^ п-'/О) g (■» - функция распределения С > h. » * е Ч j .A fi 3!,
t*«A + .
Определение 1.3. Полу Маркове кий процеоо (IMI) задается следующим соотношением:
ШЛ » , (2)
(п.
П-» - считающий процесс, 8, .
Предполагается регулярность ШП
$ [toi t»-} »1, fteM+. (3)
В § 1.2 содержатся теоремы обращения замкнутых операторов, возмущенных на споктре, полученные в работах В.С.Королюка и А.Ф.Турбина.
В § 1.3 приводятся примеры построе1Шя компактов в банаховых пространствах.
В § 1.4 сформулированы критерии слабой { или относительной) компактности случажых процессов со значениями в сеиарабеяьных . банаховых пространствах. Они сводятся к проверке слабой компактности последовательностей действительнозначных процессов -значений линейных непрерывных (функционалов на данных банахово-значных процессах.
В § 1,5 изучается маркшгальная проблема и. стохастическое интегральное уравнэш1е в банаховом пространстве. Приводен мар-тингалышй метод доказательства единственности решения мартин-гапыюй проблемы в банаховом пространстве.
Пусть (в,«3,1И) - вещественное сепарабельное банахово пространство с (^-алгеброй борелеЕСКих множеств В и кормой II- Ц , а В* сопряженное к JB пространство, разделяю-
щее точки 0 . Предположим, что - борелевская <зг-алгебра' измеримых шдшояеств ¿? , t & 3 , с , tA < tj , 51 "V <f б J3 Функция .MitVp. 5? —» J3 1 сильно измерима относительно и интегрируема в смысле Еохнара -V-t С0Э С Л. (Л .f t g называется сильным .".артингалом в
В , если
Е [мit)/ I 3 «лсс ввр.1 при g ¿t, ^ £ J3 ,
(4)
где Е - знак сшьного математического ожидания относительно
£> . Если С ( (ЛШ/), } 1 е СО, Г - действительный мартингал, | [б В* , то " (КШ/,^, ^ £С0,!ГЛ) зываетсд слабым мартингалом в 3
Под характеристикой мартингала С-М^-р, с? Ь&С0,Т])в В понимается характеристика действительного мартингала (И-МШ/), г 6 С0,!ГЗ)> . Б случае дискрет-
ного времени характеристика мартингала в В еоть
11Ч ,
характеристика действительного мартингала £ 5
Ct'ccj^W/M.-i Л, (5>
Определенно 1,2 П., Стохастическим ин^гоальним уравнением в JB называется уравнение вида:
i t
yi4f=cf + J faMt* tVisylfUltJ^eU j JACto.S.ViSJfJVwLj/s),
где & и J» измеримые функции из ^«ft «JB в В , Т>ГС1, t) -непрерывная no t локальная ортогональная мартингальная мера с характеристикой ¡pCA^i Л & iF, t '<= Ж + 4 / & В .
Уравнение (6) имеет слабое решение. если мо.кно построить вероятностное пространство ¿Г) и на пом два непрерывных процесса в и Tit)/ в В так. чтобы + выполнялось равенство (6).
Если слабое реезние уравнения (5) такоо, что сроисс YMf
- Б -
согласовано «-алгеброй * Ф «Р, 0* * ,
то такое решение казыиаат сильнш. Заметит.!, что под решением уравнения (6) понимается пара процессов
Решение (6) единственно в сильном смысле, если для любых двух решений ^СА,«, Vj.it)/) и С У4 Щ
заданных на одном вероятностной пространстве, из равенства Л ««Г,«,Я + следует, что
- II ? "0.
Если же любые два решения и
имеют одинаковые конечномерные распределения, то решение уравнения (6) единственно в слабом смисло.
С уравнением (6) теоно связана мартингальная постановка задачи его решения. Пусть СО,^ <*> ) пространство непрерывных на Г0,+ <*>) функций оо значениями в £ .
Определение 1.26. Прогрессивно измеримый процесо ТГй)^ в 3 являетоя решением цартингадьной проблемы, если можно поотроить вероятноотную меру на ( СО,Гво),!?) такую,
что выполнены условия: I) процесс
я1 $ £ и^бвЧ)- (7)
является квадратично интегрируемым мартингалом относительно
IfffCtsML • I
2) характеристика мартингала rn
равна
t й (8) { J £ (i C«jte, Via rf ))J=> «is ?.
Связь (6) и (7)-(6) устанавливается следующей теоремой.
Теорема I.I7. Мартингальная проблема (7)-(8) с коэффициентами й. и is имеет единственное решение тогда к только тогда, когда стохастическое интегральное уравнение имеет единственное решение в слабом сшслз.
. Приводится построение стохастического интеграла в банаховой пространстве по мартингальной мера. Доказана эквивалентность существования и единственности слабого решения мартингальной проблемы и стохастического интегрального уравнения в банаховом пространстве. Приводится метод доказательства единственности решения мартингальной проблемы на основа сопряженных процессов и дуального тождества.
Вводятся понятия полумаркоЕских случайных эволаплй (ЕМСЭ) и уравнения марковского восстановления ( УыВ) доя среднего от ПМСЭ ( § 2.1). Доказываются теоремы усреднения и дирТузионной аппроксимации ( в эргодическом и приводимом случаях) для однородных ( § 2.2 - 3 2.3) и неоднородных ( § 2.4) ШСЗ в схеме серии. Доказательства основаны на асимптотическом анализе УМЕ с малым параметром для преобразований Лапласа по грэмени от усредненных ГЯ.1СЭ в схеме серий. Для этого используются предельные теоремы обращения операторов, возмущенных на спектра (см.§ 1.2).
Усредненная эволюция и ее диффузионная аппроксг.иадая в условиях баланса представляют собой соответственно первое и второе приближение ШСЭ в схеме серий. Рассмотрено двойное приближенно ПМСЭ в схеме усреднения, когда условие баланса на выполнено С 34 2 ■
Е § 2.1 приводятся опредшшше и свойства ГЗ.'СЗ, а тотао выводится У1.ГО для ШСЗ. Пусть & X} обозначают сово-
купность некоммутируищих при разных х 6 У производящих
операторов с общей областью определения ^ £ат не
. *<2 X
зависящей от X и плотной в Б . поро.-щающих при кадцом
X <= X семейства сильно непрерывных егкимающх полугрупп линейных операторов ^ -Г*к С* 1 ^ % $ X, , причем стобра-хенио
ГСх)^: л —> .¡3 является 3 ¡& -измеримым, ^еП Д>»(Г(«)},
Предположим тают, что задана совокупность л-шейных с.тмаю-пл!Х некеммутлруаыих при разных х,ц б X операторов
Пример 2.3, J3,s ш CtVUV« / /СЯеС ÜR),
с л ы er « о
где удовлетворяет задаче Коши:
е с tylM.fcl.O, <j,ut*,0)s* еЛ, <э>
C(i,x) - ограниченная и непрерывная функция на Л * X . Тогда ГС») ft« яСсг,«,4 fid), fCkie = Л j>0m. irc«)
^ .ai " u *£)ч
Пример 2.9. JB;»ffi0CjR), © CMjbfCii; = /(£ +ас*,р)}
где - ограниченная и непрерывная функция на
Определение 2.1. Полумарковской случайной эволюцией называется случайный операторный процесс Tit} , удовлетворяющий уравнению:
t je«
Ttti^^ + Хкш^Усб^в f £ ¡¡at, .^-urcto-f
где
Tif -JieVi^-0), f L - , ... , хй) - НМЛ в .(2).
Пример 2.15. ß:c(noija), ГСМ иЭс*,1р определены в примерах 2.3 и 2.9 соответственно.
Тогда Vit) Jd) efCHt)),
где ¿Ct) удовлетворяет уравнению
t .Ott)
2 it J с f +■ J CCäcs), XCS)US + • (II)
о bi
Из определения 2.1 следует, что П,;СЭ VCt^r б J5 СО, +■ «>), V'jf <£ 3 , - пространство функций па С0,+ «О со значениям! в JB без разрывов второго рода. Если <£)c*,ij) 2 I , то из (10) вытекает, что V"(t)ji е £ß С0,+ ви).
Теорема 2.1. Рсвение уравнения (10) существует, единственно и А -измеримо
СледстЕие 2.1. Решение уравнения (10) представимо в ввде
Vlt)f z-ruv(flt))TCvCt))J > £JB>
где YCW SJ^.x^ViVV.
pt):s t-Vlt), mttii = r0[t) ltiT,l. Следствие 2.2. ШСЗ Tctlj: представима такна в видё:
«г««, in*« л a H) r^j, as)
Произведение в (12) направлено в порядка убывания индексов. Из определения операторов Г^ Ct) и следует
UVUljiil 4 lljMI, ¥ , Vj! S В, (13)
Средним от ШСЭ YCtl называется семейство операторов
ait,«:* ГШрк* й% CVitiJCUt))2i (14)
где Y ci) определено в (10), xi*' - пыл в (2), a ^WéJBttf при фиксированном % : Si*)'» [ tfiiï'- * А - «Э/а -
.измеримое отображение такое, что вар» llj?c*H +
Ê)t в-(14) - это математическое о:кидание по траекториям к Ctl 1 начинающимся в К й »
Теорема 2.2 (Уравнение марковского восстановления дяя среднего от ПГ,!СЭ ). Пусть (VCtlj^^-S Î - 1ИСЭ в
(10), С Ç.ÉM.'fc') %eïLfA.£8iit6A±')- полумарковское ядро в (I).
Тогда функция ц, в (II) удовлетворяет HSî
t
U.tt,0*f J ас^Дй) Л-О^ГиПий'а,^* (15)
* 0 4 ff h ct)i»-(il/m,
где в,СМ»« 1*9 , М (сл. (I)).
Следствие 2.6. Решение уравнения (15) существует, единственно и ограничено.
В § 2,2 рассматривается фазовое усреднение ПМСЭ в схеме серий в эргодическом и приводимом олучаях. Предположим, что операторы обС,*»^} зависят от малого параметра & следующим образом: 6
при Ц6)
где X} _ семейство линейных замкнутых операто-
ров о областью определения
Л^ЛУП С&^а^ II 0(^11 /4 £0 .
Определение 1.7. ПМСЭ в схеме серий определяется случайным операторным Процессом Т/^как решение операторного уравнения:
%
t е
О 1-1 к (17)
^ еВ.
Из теоремы 2.1 вытекает,что решение уравнения
(17) при кавдом фиксированном &уО существует, единственно и -измеримо.
Ьведем среднее от ПМСЭ в схеме серий
и£М" У^счеВС*-), (18)
Гд0 й(х) определено в (14).
Б дальнейшем предполагается относительная компактность семейства ПГЛСЭ ( см.глгшу Щ.
Теорема 2.4 (Эргодическое усреднение для И.'СЭ б схеме
- - сепий).
Пусть выполнены следующие условия:
1) СХд п.'/0) равномерно эргодическая со стационарным распределением ^ МЬ А & И ,
2) величины равномерно интегрируемы по X £ К
- 133) множество JrL'3 П J5om i-ГС»)) П J50m. С
плотно в Б ;
4) операторы
Л
и
Г: = I'M и S: = J f>c4*) J (19)
i XX
А Л
замкнуты с общей областью определения J3a . и оператор ,Tf<£) порождает (С ) -полугруппу, где
3id*mCM, m |t I? Cdt), (20)
a
S(d%)t* j} Cd%) m(%J /m.j
m к
5) sop lirMjIlt* <*» > II £)lt,yijll H-oo^jeM
4
Тогда шеет место предельное соотношение £un ЦД<1*)а кл(Ь)
6-fd 6
для любого t из компакта в Л + равномерно по * , где U0(t) ~ единственное решение задачи Коши:
duit)/dt= ajit.it), 0 6 (21)
X
Далео рассматривается усреднение в приводимом олучае.Пред-роложпм, что задан ПГ.1В CjC^",; а>di в UjtK) , зависящий от малого параметра £>У0 таким образом, что ПМВ имеет вид:
(22)
где переходные вероятности гозм;тенной гепи Маркова
С К ^ ; я ?/ О ) имеют представление
Pfi(MJ -¿^Си./О* (22)
Здесь - переходные вероятности невозмущенной цепи
"Маркова , Рл (к, Л' -мера по А и измеримая функ-
ция по X .
Фазовое пространство X допускает эргоднческую декомпози-
щш
Кц., Хи.ПХ^! *ф, (24)
14 £ 11
где С "Ц-, £11 - измеримое фазовое пространство о бг-алгеброй , содержащей одноточечные подмножества. Разбиением (24) определяется измеримая функция, называемая функцией укрупнения:
и. СХ»Г К 11 (25)
н определяемая таким образом: ис*)* и при X й и
Сигма-алгебры «X и ЭД согласованы таким образом, что И. й й тогда и только тогда, когда А б 21 , где Х'«и ¥-Д 6 »21 . Переходные вероятности рС*, А)
А иед
также согласованы о расщеПлонием (24) фазового пространства К :
_, \ X, х е Хи.
РСц, К , 1 * < ' 111
11 I о, хе*а
(25)
Заметим, что Рла,Х)аО в (23) и Р4£1}})*0 . если К и ^ не принадлежат одному классу, и Рл Си, Н) * О, Ч<= Н . Определение 2.8. ПМСЭ в схеме серий в приводимом случае определяется решением следующего операторного уравнения:
■ ь >9 та
*$ + $гсЛ^г^ла^ с® с%£ /) - (26)
о кЧ к
где Х£й1гйх6,
О ? «г
Введем среднее от Ш1СЭ в (26):
где ¿!Си.)<= & СИ): = £ ^ц.).' И - 3 ~ ¿9 /1£ - измеримо и ¿р И^сшИ С- Л! « Б С' 1ц*)яаЗ .
и.
Теорема 2.5. (Усреднение для ШСЭ в схеме серий в приводимом случае). Пусть выполнены следующие условия!
1) ¡«возмущенная цепь Маркова (х^п^О) равномерно эргодична в каждом классе )(а со стационарным распределением
С А) , и е % Л е 35 •
2),3),5) теоремы 2.4; 4 ) операторы
Геи)! = с4*тО И
С К
замкнуты при какдом Ч £ 11 с общей областью определения
и операторы ГСа) + ¿э (ц.5 поро:эдают при каядом ивЧ СС01 -Потугруппу, где
гаем.»« Г дс^мтсм, /шил
Хц.
6)
Хц. (29)
^а (> ^ 0 м
Тогда шеет место предельное соотношение ^ 1£,и)-ц.
6-*<3
для любого 4 из компакта в Л ± , где цйЙ,а1 - единственное ^и. в 'Л решение задачи Коши: Л
¿ц.0/Ж а +
* * „ , (20) + С Г а $
иЛо,и.>: = ^ = хеи),
•где ^ СиШ^Й (11.): = [¿(иУ И-+3 - ¿2», -ггл/ериио,
'' if'a' " ^ + • &e~ -алге^Р3 борелевских множеств
б i3e ,
л
Л/iu)! » a>M(m.w2jLa), Pj4u): » )/i(u)Jjriujj;3I)
U.
Ftu) £ J&ilO.
л
Предельная эволюция Vit) для Ш0Э в теореме 2.4 является
детерминированной и имеет вид:
fa'*1****. <32)
л .
Предельная эволюция Y 't) для ШСЭ »¿Ct) в теореме 2.5 /шляется укрупненной марковской эволюцией, удовлетворяющей операторному уравнению
ii-V (t ) * А л л
-Г—= С Г(5«»+ «S)i*ctJJJ T(t), (33)
dt л
Vépî
* л л
где операторы J'iu.) и SHu.) определены в (28), a ait) есть укрупненный однородный марковский процесс в фазовом пространстве £11,21) о производящим оператором Л ( р - I ) в (31) и переходной вероятностью q_(a,H3t)-'= fiu,H) Q- е )f
и Peu,H) определены в (3i). Предельные функции в теоремах 2.4 и 2.5 имеют вид соответственно: cr + i>)i
и V*,s е
/ч л
где fit) определена в (33), a ¿fCu) - в (30).
Результат, аналогичный теореме 2.5, можно построить и в бо-• лее общей ситуации С 5 2
В § 2.3 изучается днуТУузионная аппроксимация ШСЭ в схеме сепий в оргодическом и приводимом случаях. Предположим, что задано семейство х с J производящих операторов с об-
ластью определения П .Dom СГ i*^ л плотной в В , порож-* & x
дающих сильно непрерывные сжимающие полугруппы линешшх операторов {_ Гi it) i xeX,t <sЛ ,¿>0} и допускающих разложение вида
4
ГА<>0/ +£ J^cwf i-oC&lf при £->0,(34)
где ^I^UJjXäX} - замкнутые линейные операторы с областью определения П £о<п СГХ (О) П Нош (Г э f, ||o(6)i4l I ¿> -+Q ■
*&% i S I г п
Операторы скачков тлеют разложение следующего вида:
£) +£ 3) + " 3)ä ix.^uofe '¿f, при <s 0,(35)
где j^ciU*,^); 6 Xj - замкнутые линейные операторы с областью определения Л Dom iSjU.ij)) П J)om. C$4 Ujij)) sj^
"иоса*)^ 0.
Определение 2.10. Е.ЙЭ в схеме серий называется случайный операторный процесс У £ £И, являющийся решением операторного уравнения:
б £ «•" _ .. 6 сзд1
Усо^ [эсч
о ^ ^
V ей.
Из теоремы 2.1 следует, что при ка:здом фиксированном ¿уО решение уравнения (36) существует, единственно, ограничено и -измеримо. £
Рассмотри среднее от ПГ.'СЗ "V М в (35):
и.6н,%)-. = [у^/б^'х и/в')).],
Теорзка 2.6 (ДифТузнокная аппроксимация ЕЛЗЗ в сор;;;: в епгод:пчос;;ом случае). Пусть кыполиеич сл-^устае услогич: I) услугня теоргмн 2.1;
2) величина Bt равномерно интегрируема по * <S ;
3) множество JB : »
П-ПотС®^*.^) плотно в fof'i *
4) оператор
iii « J j>U%)LUMm.,
где
iUMi« Стсц)Гл«*) + Ра и.ОЗЛ [mimJ^CiO+PS) +
* о 1
+ пи*)Д ШР& С*,тлюГ,ui+mcniJim+Pa., * i ал g с ■>
замкнут и поровдает (С)-полугруппу, где frit*),-» Q. idi), е> 6 J0 *
Л0 - потенциал цепи (\ и > а) ;
5) условие баланса;
S^CCIIODTUM^U) tPS^lKj-jJ/s 0, ij" eBei *
6) «Up <*>i Atp iTifif^UlfU+M,
sup II йт^-Г.ИО/ II 4 + с*>, M
' £ о
Тогда имеет место предельное соотношение iun U. it,%) -и. it)
m & Q
для любого t из компакта в Jv + равномерно по л , где цвit) единственное решение задачи Коши:
Г /Lu'lti/dt s Lu^Ct) (39)
л
где оператор L определен в (26), а функция £ - в (21).
Далее рассматривается диффузионная аппроксимация ШСЭ в схеме серий в приводимом случае. Предположим, что заданы объекты :: '34),(35) и в (22)-(25), но вместо (23) имеет место следующее для Pf С ) :
£ (40)
' а,А) = Р i А) - "<sfi С *, А).
- 19 V
Определение 2.11. ШСЭ в схеме оерий определяется решением операторного уравнения:
С * , £ « 4т * ш л «
■
Решение уравнения (41) при каждом фиксированном &>0 существует, единственно, ограничено и с?^ -измеримо, что следует из теоремы 2.1.
Рассмотрим среднее от ПМСЭ в (41):
V¿тмЛЫ. (42)
Теорема 2.7 (Диффузионная аппроксимация ПШЭ в приводимом случае). Пусть выполнены следующие условия:
1) условия теоремы.2.5}
2),3),6) теоремы 2.6}
4) оператор
Ьшг.в ? |ЗГ 1«1хШ)0 Лпчи1 -замкнут, (43)
и I
где определен в (38), и порождает при каждом и. £ Ц
(С0) -полугруппу;
5) условие баланса:
Тогда для любого 1 из компакта в Ж+ имеет место предельное соотношение:
&>г и.&и,и) га" ({, а), £ —»О
где ц. И, ц.) - единственное ^Ц-Й^ решение задачи Копи:
= (Р-1>а0и,и>+ ¿Са1ави,а), (44). и.°(о,ю= Г fса^ли;: =
и о и
л
где оператор Л. CP " I) определен в (SI), ¿íul- в (43).
Из гаореы 2.6 и 2.7 вытекают следующие леши, описывающие иределыша_эволющщ в диффузионной аппроксимации. Предельная эволюция V'*' дая Ш.;СЭ V^ftte) в диффузионной аппроксимации в эргодическом случае является детерминированной и имеет вид:
8 (45)
Предельная эволюция VW для ШСЭ V в диффузионной
аппрокоимации в приводимом случае являетоя укрупненной марковской эволюцией, являющейся решением операторного уравнения:
«¿VrtJ д (46)
VtO) «I,
где оператор ¿(CiiJ определен в (43), а укрупненный мар-
ковский процесс в С, определенный в (33).
Продольные функции в теоремах 2.6 и 2.7 имеют соответственно вид:
u°ttj * е ut¡
и
U.°lt,U ) = ¿^ [ Vit) JÍ £ш)2 . (47)
В § 2.4 доказываются теоремы усреднешм и днЗТ.узионной аппроксимации для неоднородных ШСЭ (НГПХЗ) в схеме серий в зрго-дическом и приводимом случаях.
Пусть задана совокупность сильно непрерывных по S и t с;дшающих полугрупп лиле&шх операторов ^Г^ ís^í), ie%.¡ s,t таких, что .
Через £ Vis,S6.R } будем обозначать совокупность
производящее операторов, соответствующих этим полугруппам, с
областью определения П -Pont ÍPCs, чЛ плотной в J5 *s Л *
' s е R +
Определение 2.13. НП?,;СЭ называется случайный операторный процесс Yí&,s 1-t) удовлетворяющий операторному уравнению:
- 21 -
s+t «Jar
VCs,s*t)f =/ + Jl'Cs^caJíVís.aljrJu+S -
5 (48)
-1Д TCS.S + ^O/, V¿f6 JB, íCilMáX.
Теорема 2.8. решение уравнения (48) существует, единственно Vs<3ü»+ и являотся -измеримым случайным процессйл в 3 , где Ss: «в )fl
it'o.i.a,... ¡ УД"1 s В1** J .
Следствие 2.II. Решение уравнения (48) мо;кно представить в виде:
VCsC8+*ít1,e4-t)rCs,í+vii)tyt
где V(s,s + ? )=S>Cx ,х )V(S,S + T -h- T(s,5+?-Jfís,s<-v)f,
' IV jv-A rv ^J 1 <J »4»
Из определения 2.13 НШСЭ следует, что 1Tí5,á+tJg a «)3V5fiJí+ и
II Ves, s+tíj? 114 lljfj , f íjtí^ 5 ej. (49)
Средним от HffiigD называется семейство операторов
£<jS cm»+t ^(»(«и, {50)
V fin 6 3c 'i 5,t s Я+ .
Из (49) и (50) Еытекает, что
ПГСМ^СЮИ ¿ £up I!^Чх) И. (51)
Teope.va 2.В ( УМВ для НШСЭ). Среднее U<5.t,xí¡я ¡Tíí/t^oo ■ от НШСЭ удовлетворяет У1.Ш t
Uls.t,*)-J f q, ¿Síüj.átHSlC*,^.^ (S.S+tfjlUí+tr, i-v,y) = a t
* l¿,e + t)tfís), f/misSU). (52)
Из теоремы 2.8 и (49)-(5I)-следует, что решение уравнения (52) существует, единственно и ограничено.
Далее рассматривается усреднение и диффузионная аппроксимация НПШЭ в вргодическом случае. .
НШСЭ в схеме серий называется случайным операторным процесс У (г 5 +О удовлетворяющий операторному уравнению:
« ^ + £ Г (в, «(и./б^ТГЦв+и^З
*<*> ! (53)
+ ¿1 С "и .V - гз Г", 1*1
где операторы Й^сц.у} определены в (16).
Решение уравнения (53) при каздом фиксированном &>0 существует, единственно и -измеримо, что вытекает из теоремы 2.8. Введем среднее от НШСЭ в схеме серий:
И У^ОИ<£ £СХ5. (54)
& к, б
•Георема 2.10 (Эргодичеокое усреднение НШСЭ б схеме серий). Пусть выполнены следующие условия: 1)-2) теоремы 2.4)
3) множество & I * П .ЕвмЧГ(«,*)) Л Лил (£) (*,ч)} плотно в ¿5 ;
4) операторы
14« | с $ И £> ( см. (19))
и Л л А
замкнуты TS б JR + и оператор Г (я> +■ g)
порождает
(Сд) -полугруппу;
5) Sop llPti.xVfU + ««, if Я «в, V^f £lfli
6) JJj (5,t) дважды ограниченно дифференцируема no s3
и Vt e JR+.
Тогда имеет место предельное соотношение для любых 8 и t из компакта в равномерно по х :
iW 11, Ci.t.x) * 1tflCS,t>:
£ -ИЗ
(55)
С f«J + Sjj-U0ts,t< + i 11(5,4),
duni S,t) .А л ,
-it--Crui+aj*.«.«^
я Л
•Uo(S,0) s J ¿TUiO^iO » jf .
Е приводимом случав в теореме усреднения получим задачу Кошп (55) с дополнительным слагаемым в право- чаоти (55) в виде ЛСР- t®.t. , а операторы la) (сч.(28)) а
j?cju.):=f & t¿%") Ils,%) заменяют ® и ооответствен-
но.
Перейдем к диффузионной аппроксимации НПШЭ в схеы£ серий. Пусть [ T,f C5,t); Xj бЛ+,а>0} - совокупность сильно непрерывных по S и t сжимающих полугрупп линейных операторов о семейством производящих операторов {i1 íM'jS й* е % , & >oJ
с областью определения , Г» Som. плотной в J3 ,
s а я >
; й * (> о
допускающих разложение вида:
д
Г CS,l)¿ = cs.nVf + (Srá OÍSbf, (36)
где xeX;S(jJl + 3 - замкнутые линейные операторы,
/ е^Л ¿JW tr£CS,%)) ПЛ5опг Ц (5, *)) f| -Dorn. IlOíS'/n/fi
Определение 2.19. ШНСЭ в схеме серий называется случайный операторный процесс s+t), являющийся решением оператор-
ного уравнения
a £ £
V U,s+ty =¿4 j Г ís,ní4/s))Vis,s + u.)^¿s + (с7)
<ШГ £ S ¿ и
f2 [а ,K.)-JJV 15,54.4*-?/, TjeM,
Решение уравнения (57) при каждом &>0 и 5 + существует, единственно и ¿F^9 -измеримо, что штекает из теоремы 2.8. Введем среднее от НПКСЭ в схеме серий:
£
1L С = £ [У С / l*(*//))J , eBCX?.
(58)
Теорема 2.12 (Диффузионная аппроксимация НПШЭ в эргоди-
ческсм случае). Пусть выполнены следующио условия:
I),21 теоремы 2.6; ¿ ¿
3) множество В ■■ - í\ Hont Crcj,mnDom.trcsJxOriJ5ofn(ac»)H))n 0 *.ч- i * 1 '
Л Я.
£>О
flDom.
плотно в В (
4) условие баланоа;
V"1 б *В„ »
5) операторы
* С (59)
Г
где
I £ I +т.с*»д 2 ^ [т-СмГ С+
Л Ц
+ (^£»11 £*,«)-Рд * 10 + } (60)
порождав! 1Са) -полугруппу ¥ В в & + *
6) ¿Цр 11рЛ|,Ю^|| А**.,
4*р 16,»)* Ц ¿ + г;
3, * и
7) Гц £8,*) четырежды ограничено дифференцируемы по .5 ,
Тогда имеет место Предельное соотношение для любых г п t из компакта в Л+ ■ равномерно по я :
ЙЛ1
¿и/с«,*) - р изг)
——-г
В приводимом случав в диффузионной аппроксимации получим задачу Кош (62) с дополнительным слагаемым Л И^иД, а),
а оператор ЩН заменяется операторами £ и,и.): * $ р (<1хН (9,*}.
* 11
и-
Глава Ш. МАРТШГАЛШЕ МЕТОДУ ШСЛЦОБАШШ ¿¿/ЧАЙНЫХ ЭЕОЛЮЦЙЙ
В главе Ш исследуется слабая сходимость ШСЭ в теоремах усреднения и диффузионной аппроксимации ( в эргодическоМ и приводимом случаях ( § 3.1), используя критерий относительной компактности процессов со значениями в сепарабельном банаховом пространстве, а также мартингвльше метода. Обосновываются предельные представления ШСЭ в терминах мартингальной проблемы в виде операторных интегральных уравнений, как детермиНиройаНных (теоремы усреднения), тан и стохастических (диффузионная аппроксимация и теоремы укрупнения) (§ 3.2).
Ыартингальный метод получения предельных теорем для ШСЭ оо-нован на решении следующих трех задач!
1) относительная компактность семейства мер, Пороаденшх последовательностью ШСЭ;
2) каждая предйльная точка этого семейства мер является решением мартингальной проблемы;
3) решение мартингальной проблемы является единственным.
Условия 1)-2) гарантируют существование слабо сходящейся
подпоследовательности, а условие 3) - единственность слабого предела.
Решена мартингальная проблема для ШСЭ в случае диффузионной аппроксимации, что позволяет выписать стохастическое интегральное операторное уравнение для предельной ШСЭ, вычислив характеристику предельного мартингала ( § 3.3).
Доказана единственность решения мартингальной проблемы, используя сопряженные ПМСЗ. Это позволяет утверздать такяэ о единственности решения предельного уравнения для ШСЭ (§ 3.4).
1,'артингалышй подход позволяет получить некоторые оценки скорости сходимости в предельних теоремах для ШСЭ С24,29 2 •
В ^ 3.1 доказывается относительная компактность ШСО в схеме усреднения п диффузионной аппроксимации в эргодическом л приго-
димом случаях. Вазда в глава Ш предполагаются выполненными следующие условия: ^
J>¿) операторы Tí*) и Г (*', X являются дисси-пативнимл на лзбом гильбертовом пространстве Н и Н соответственно являвшимися подпространствами JB и JB ;
J^) операторы Ё> и определении ПМСЭ
являются сжимающими в любом гильбертовом пространстве И и И* , вложенными в банаховы пространства JB и В* ;
•£¡3 ) существует гильбертово пространство Н компактно вложенное в сепарабельное банахово пространство Ju , и HcJ3Q.
Пример I. £¡e Ш £ .'в С* СПИ, H = Vf,¿ CíRl,
здесь W¿,á(G) с lliO.
Пример 2. s <СЧ R), Н а V '¿C R»,
здесь Vt,SÍÜ) с ЙЧ RJ с u¿ СЮ.
Из условия следует, что -Tí*) и Г Ыпороздают
сжимающие сильно непрерывные полугруппы ^ (ti и Т* tt) в Н и И' соответственно;
Из условий J) J - Jb¿ ) вытекает, что ПМСЭ VLt) является сяимающиы оператором S Й , f t е R +, и l|Vít)¿fllw -полумартингал ¥ ¿f lá Н.
Условия ЪА ) - ) обеспечивают справедливость сле-
дующего результата.
Основная лемма* ПШЭ . Vi tí/ удовлетворяет условию компактной принадлежности, т.е. f ¿ >0 существует компакт К^ :
^ [ ТсB)¿ 6K¿J ы-л, Vt е С о, ¡r Л. (63)
Б теоремах 3.1 - 3.4.доказывается .относительная компактность ШСЭ ( соответственно дискретных без операторов!скачков, непрерывных , дискретных со скачками и разрывных- в схеме усреднения в зргодическом случае, При этом устанавливается непрерывность траекторий предельных эволюций при £ —► О.
Теорема 3.4. Если выполнены условия теоремы 2.4 и условия J>i )- Dá ), то последовательность И.ЮЭ V& относитель-
но компактна в «¡Djg CÚ(+wj) с предельными точками в Со,+ »}.
В теореме 3.5 устанавливается относительная компактность ПМСЭ в схеме укп.упнеШш ( приводами случай). Предполагается,что
выполнены условия (22)-(25). Доказательство основано на следующей лемме. г
Лег.-ма 3.9. Пусть Я - потенпцал цепи (Х^п^О) и iJ^i^'j ц аЧ,Ае£, & >о ) - стационарные распределения возмущенной цепи Маркова i j 1 . Тогда Имеет место прод-стаЕление:
К = * Л1 ^ ^ (64)
£
где Л , и Р, - операторы, порожденные соответственно ядрами д4,^ и Р, не И, *сзХ, ¿а й,
Теорема 3.5. Предполс:тпм, что выполнены условия теоремы 2.5 и условия )- .Рд ). Тогда ШСЭ YgiiJji в определении
2.8 ( см. (2G)) относительно компактна в С а, * с» ) о продольными точками в iCg СО, + w»).
В теоремах 3.6 - 3.9 доказывается относительная компактность ШСЭ ( соответственно дискретных без операторов скачксв, непрерывных, дискретных со скачками и разрывных) в диффузионной апдроксиыд-щм в эрг одическом случае. Устанавливается непрерывность траектории предельных зволюцпй при <5 —»0 .
Теорема 3.2. Предположим, что выполнены условия теоремы 2.6 а условия -Dj )- ). Тогда последовательность ШСЭ Y^iils)^
относительно компактна в JD« Со,+ с*) с предельным! точками в Со,+ «Л .
На основании леммы 3.9 доказывается следующая теорема об относительной компактности ПМСЭ в диффузионной аппроксимации з приводим ад случае.
Теорема 3.10. Предположим, что выполнены условия теоремы 2.7 и условия -D* )- J5ä ). Тогда ШСЭ в определении 2.II
(см.(41)) относительно компактна в JD^ о предельными точ-
• кш.1и в С о, +• «О.
Б 5 3.2 рассматриваются предельные представления для ШСЭ в схеме усреднения и диффузионной аппроксимации в яргодичоском случае.
В теоремах 3.II - 3.14 устанавливается вид предельных опора-торных интегральных урагаений_дляJTjCЭ. дическом случае,. Эти уравнения являются детерминированными.
Теоромп 3.14. Предполапш-, что выполнит условия теоремы 3.4. Тогда последовательность ШСЗ V.ltJf С%(*!с)1 слабо сходится при
ь-А
& О к процесоу V »
^ + «О, ¥/еВ0 , (65)
Ой £ л
где оператор Г+£> опредаден в (19), $ - в (21).
Следствие 3.4, Из теоремы 3.14 вытекает, что мартингальная проблема ^ля ШСЭ в схеме усреднения в эргодическом случае имеет решение Т^ , удовлетворяйте уравнешш (65), а также выполнены условия! ^
а) ~ непрерывный
«^-мартингал, | г
б) характеристика 4 мартингала т. (О тождественно равна нулю.
Предельный продеоо в схеме усреднения в эргодическом случае характеризуется в терминах марпшгальной нроблеш. Пределышй мартингал равеа нулю, так как характеристика его в теореме 3.14 равняется нулю. Поэтому предельное уравнение (65) детерминированное.
Далее рассматривается стохастические интегральные представления 1КСЭ в диффузионной аппроксимации в эргодическом случае. Характеристика предельного мартингала в мартингалыюй проблеме здесь отлична от нуля. Поэтому и пределышй мартингал отличен от нуля, так что предельноз уравнение в диффузионной аппроксимации стохастическое.
В теоремах 3.15, 3.17, 2.19, 3.21 предельная ПГ.ХЗЭ характеризуется б терминах мартингалыюй проблема соответственно для дискретных ШСЭ без скачков, со скачками, непрерывных и разрывных.
Творила 3.21. Предположим, что выполнены условия теоремы 3.9 и оператор Ь ( см. (33)) порождает С"С0) -полугруппу.Тогда процесс слабо сходится при £—»6 к процес-
су УМ/ : 4 _ л
- / - I Ь ПбЦЛа-.ь 11 / - (66)
а г
непрерывен ^ -мартингал, Ь определен в (38).
Б теоремах 3.16, 3.18, 3.20, 3.22 вычисляются характеристики предельных мартингалов для Ш.'.СЭ соответственно дискретных без скачков, со скачками, непрерывных и разрывных.
Теорема 3.22. Предположим , что выполнены уоловия теоремы 3.21. Тогда характеристика мартингала Я / в (66) равна Ч1е$>* ь Ь
<еш = (67)
* о X
где <ЗГа(*)» = Ст^*»-тасх)Л/(п.
Таким образом, из теорем 3.15 - 3.23 вытекает следствие. Следствие 3.8.[.'артингальная проблема ДО разрывных И.'СЭ в. дадфуэионной аппроксимации имеет значение , удовлетво-
ряющее уравнению (66), а также!
а) м си.- = IСТ1«/-/- $ и V«'/Л- ¡0 * £ / ) (68) о
- непрерывный Ж -мартингал;
б)
характеристика мартингала £ ít) равна:
Vít):» iuLtíy i* (Sí%1jlí%) Ví$)£)j3 U*)cLs . (69)
O X
Далее рассматриваются предельные представления для ПМСЭ в схеме усреднения ( Т.3.23) и диффузионной аппроксимации (Т.3.24) в приводимом случае,
Теорема 3.25. Предположим, что выполнены условия теоремы 3.5. Тогда последовательность ШСЭ V^W^CliíAt/cW слабо сходится при £ —*-0 к процессу t
-0,
■где xtt) - укрупненный марковский процесо в а производя-
щим^оператором JIÍP-I) ( см. (30)-(31)), операторы f(a.l и & Си.) определены в (28),в (30).
Теорома S.24. Предположим, что выполнены условия теоремы 3.10. Тогда последовательность ПЖЭ y&í*¡£)^l14\eí*l£i))') слабо сходится при о к процессу уít) J (£ ítj) :
yctíjí LsítD-Jíu.)-JC Lisia)) +ACP-I)J V(s)f CxüO)¿s.-=(7I)
o
л
непрерывный -мартингал, где ¿у. * С {к и) ; о А 5 - ¿3
а оператор опредолон в (43). _ Л
Следствие 3,9. Характеристика мартингала 11 ^ £ в (71) имеет вид: На В*
"г А ^ <3 — Л
1(Я ¿М)> е Г у I (би.иШОТСбтчОрали« (72)
где е-^^.и.?;« -гпСхО/пгси.), и. е&.
Предельные процессы для ПШЭ в схеме усреднения как в эрго-дическом, так и вАпр1тодаыом случаях характеризуются полностью операторам! Г^Ь $£и.1, ввиду того, что пре-
дельный мартингал нулевой.
Б диффузионной аппроксимации в эргодцческом и приводимом случаях предельный процесс для ШСЭ характеризуется в терминах мартингальных проблем для операторов и с отлич-
ными от нуля предалышми мартингалами а М соот-
ветственно. А *
Характеристики мартингалов и Л ^ (и1, найденные
соответственно в теореме 3.22 и следствии 3.9, а также свойства мартингальнцх мор Позволяют найти представления этих мартингалов и, следовательно, вид Предельных уравнений в диффузионной аппроксимации.
Теорема 3.25. Пусть выполнены условия теоремы 3.22.Тогда предельный процесс в диффузионной аппроксимации в эргоди-
ческом случае является решением следующего стохастического интегрального операторного уравнения!
л л * * «л
у и*,¿в)} (7Э)
о о и
где к определен в (3£), - в (67), о - вине-
розская ортогональная мартийгальная мера с характеристикой
лей, * й .
Следствие З.Ю. Если выполнены условия теоремы 5.25 и оператор и порождает сильно непрерывную полугруппу Ш*) , то удоьютворяет также уравнению!
- 31 -
л t -л
Уау = + ©ЪоЧШ-вэГыУ*«^ ЪГСс1я,ЛяУ. (74) ох
Теорема 3.26. Пусть выполнены условия теоремы 3.24. Тогда процесс УМ^Св (71) удовлетворяет следующему уравнении:
ус«/схс«) = + { С иСлсвя +л+
о
+ ¡V £¿5, ксл» у'св)/ 5 «р (75)
где ^ = | V *М«1 ЕУс»,и) по^,
и - винеровская ортогональная мартингаЛьная мера с
характеристикой ^ «¡2, I > Ий«!!,
Следотвка 3.11. Пели выполнены условия теоремы 3.28 и оператор йи) является решением операторной задачи Кош
¿0Ш5 » - „
ггг .. . л .л
то процесс С х 1-Н) удовлетворяет такяе следующему урав-
нении:
- йси^с*«})* ^«¿й-ви +
Ь й
. «« «и* ^ «А Л <4
+ 5 ЩЙ-вЛ^аа.лсяЙУса^С^йО, (?в)
где Т/ропределен в (75).
В § 3.4 рассматриваются сопряженные ШСЭ и единственность решения мартингальной проблема для ШСЭ.
Если процесс УСИ^ - единственный в 3 , то могло ут-Ееркдать, что ~ диффузионный процесс в В в тем емгсле,-
что ^ £ £ Б* процесс ¿(ТМ^) - диффузионный в Л .
Для установления единственности предельного процесса введем сопряженные ШСЭ. .
ЧерёзГ^ОО обозначим операторы на В*, сопряженные Л*), ^«е X , о плотно^ облаатыа определения , не зависящей от X. Пусть - процесс марковского восстановления
на X* А + , не зависящий от Сб^гц-О), но тлеющий одинаковые распределения с *** О* : РС», <4) и АеХ,
Через обозначаются операторы на $>*^ сопряженные опе-
раторам
Определение ЭЛ. Сопряженной ШСЭ в схеме серий называется решение следующего операторного уравнения на В* :
где «'£«« « ггш* (а. ^ ¿Ц, . § .
Аналогично уравнению (10) можно Покаввть, что^ решение уравнеНия (77) существует, бйинотвейно и А1 -измеримо, где
^(Пс^мМи',,,,^)*^, е А™}
( см. теорему 2.1)» Причем решение (77) можно представать в виде ( см. (12))!
4*1 #
>!* Г* Ш«»«, )) Я Й>*(Х д)Г,14в!}. (78)
Для сопряженных ПШЭ Можно применять аналитические методы исследования и мартингалыше, аналогично гл.П и гл.Ш для ШСЭ, Здесь мы остановились на ЫартингаЛЬных методах , которые полезны при доказательстве единственности предельной 1ШСЭ. ' ' ; ,.
Иопользуя результаты § 1*5 и § 3^4, приходим к следующему результату.
Теорема 3.31. Если выполнены условия теорем 3.25 и 3.27( то процесс УСО^ . в (73) является единственным по распределению, $ £ Во 1 Я решение мартинГальной проблемы для "^"Й)^ еданст-1бчно. В частности^ решение уравнения (73) также является един-с ценным по распределений;
Глава 17. ПРИМЕНЕНИЕ ПРВДЕНЬШХ ТЕОРЕМ ДОЯ ШСЭ К СТОХАСТИЧЕСКИМ МОДЕЛЯМ СИСТЕМ
Рассматриваются отохастячеонйв Модели эволюционных оиотем в полумарковской среде. Они служат реализацией ЕШ9. Ёвделяются две ооновные стохастические модели! импульоныв продасоы переноса (процессы запасания ил$ накопления) И процессы переноса (Помимо переключающихся процессов о независимыми приращеНйяМй й аддитивных функционалов), а также физические Модели« ветвящиеся процессы, случайные движения на группах Ли, 'Ц.-статистики и волновые процессы ( § 4.1). К данным моделям применяются теоремы усреднения (§ 4.2) и диффузионно^ аппроксимации (§ 4.3) из глав П и Ш. Исследуется также двойное приближение данных процессой в охема усреднения ( § 4.4). Имеет место общий резулЬФат о двойной аппроксимации ЕМСЭ в схеме усреднения С34 3 •
В § 4.1 описываются модели эволюционных стохастических систем в полумарковской случайной среде»
Б § 4.2 теоремы усреднения глав П и Ш применяются к моделям систем 5 4.1.
В § 4.3 теоремы о диффузионной аппроксимации глав П и Ш применяются к моделям £истем § 4.1. Существенным условием здесь является условие баланса.
В § 4.4 рассматривается двойное приближение эволюционных стохастических систем в полумарковской случайной среде в схеме усреднения в том случае, когда уоловиэ баланса Не выполнено. В данном случае можно также получить диффузионную аппроксимацию эволюционных систем.
Основные положения диссертации опубликованы в следующих работах!
1. Кородюк B.C., Свину к Л,В. Фазовое укрупнение полумарковских случайных авашоцай и теория запасов // 1У Междунар.Еильнюс. конф.по теории вероятн.и мат....статистике, Еильнюс, 24-20 июня 1985г.¡Тез.докл.-Вильнюс,I9B5.-Т.2.-С.62-64.
2. Свищук A.B. Предельная теорема для процесса запасания // Ана-. литические методы в теории надежности. - Киев: Ин-т математики АН УСОР, 1665. - 0<115-116.
3. Муравейников Г. ,,0вищук A.B. Закон больших чисел для случайных эволюций на группах Ли //xIX Зимняя школа по теории веро-ятн. и мат» статистика, БаКурианй,7-17 морта 1905г.-Тбилиси,
.1235...-С.За. - '-
4f Swishuhuk A,¥,»KorolyUk Y»S. Betni-Marlcov random evolutionsPhase Étgregation // IHt Proeeeditigs of Intern.Summer School, irh.mid liathiStat, - Varna» Üald Bände» 25-31 Aug. 1985.' Boíiat BulBiAoe.d,SBi6tt.(l90ö» - Pp.156-171.
5» Свищук A.B. Фазовое укрупнение полумарковоких случайных эволюций порядка ¿>1 // Применение аналитических методов в (теории вероятностей^ ¿-'Киев! Ин-т математики АН УССР, 1986. -, С.100-104.
64 Королюк BíC., Йвищук A.Bé Центральная предельная теорема для полумарковйких случайных эволюций // Укр.мат» журн. - 1986.-■ 38, Ii 3, - С. В30-В34.
7. Королюк B.Bi, Королюк В»См Свищук A.B. Центральная предельная теорема .для полуыарковбких случайных эволюций в схеме (разового
. укрупнения // же i • ~ 1Ш7• ~ Ш< J; 3- - с- 314-319.
8. Свищук A.B. Предельные теоремы для полумарковских случайных эволюций на группах Ли // Асимптотические методй в исследовании стохастических моделей. - Киев: Ин-т математики АН УССР, 1987. - С. 103-109,
9. Свищук A.B. Предельные теоремы для .ветвящихся процессов в полумарковской случайной ореде.-Киев,1966.-28 с.-(Пропп. ./Ж Укргн-ны.Ин-т математики ;86.В4).
Ю.Свищук A.B¿ Мартингалышй подход к полуМарковеким случайным эволюцияМi - M. » 1987. - С. 10-109. - Деп.п ЕШШ 25.09. 87, J¿ 6907 .
11. Сешкук А.Б. Предельные теоремы для отохастичеоких дифференциальных уравнений о полумсчрковокими переключениями // Аналитические методы в вероятностных задачах. - Киев: Ин-т математики АН УССР, I9C8. - С. 82-91.
12. Королюк B.C., Свтцук A.B. Фазовое усреднение неоднородных . полумарковских случайных эволюция// Укр уат, журн. - 1989. -41, .'.• 2. - С. IG3-I70.
13. Королшс Б.С., Свищук A.B. Слабая сходимость полумарковских случайных эголипдй в схеме усреднения // Теория воролтн. и мпт, статистика. - 1920. - 42; - 0. 80-90.
14. Свищук A.B. Представление мультипликативных операторных функционалов б'г полумарковокого процесса // Докл.АН УССР.Сор.А.-1988. - 10. - С. 27-28.
15. Свищук A.B. Диффузионная аппроксимация операторных марковских процессов случайными эволюциями // . Там же . . .
П. -'С. 23-25..
IG. Королюк Б.С.,Свищук A.B. Центральная предельная теорема для неоднородных полумарковегак случайных эеолюций // Укр.мат курн. - I9C9. - 41, л' II. - C.I0G4-I070.
17. Свищук A.B. 1,!арковскпо и эволюционные полугруппы. - М., I9G9. - С.62-65, -■ Деп . в ВИНИТИ 20.01.89, Je 487
18. Королюк B.C., Свищук A.B. Продельные представления Для полумарковских случайных эволюции в схеме усреднения // Укр.мат. дурн. - I9C9. - 41, ü II. - С. I47G-I482.
19. Свищук A.B. Слабая сходамооть полупарковоких случайных эволюции в схеме усреднения ( марткнгальный подход)// .
. тем не . - Я 12. - С. IC00-I666.
20. Свшцук A.B. Мартингальный подход н ЦПТ в схемо усреднения для полумарковских случайных эеолюций// Аналитические методы исследования эволюцпй стохастических систем. - Киев: Ин-т мате-матша: АН УССР, 1989. - С. 95-107.
21. orolyulc v.s.jSvvishohulc A.V. Weak comrergenca of semi-Markov random evolutions (martingal9 approach) // V Intern.LVilniua Conf.on Prob.,TH,and Math.Stat., Abstracts, 1989,part 2,
P. 321-322.
22. Стащу к A.B. Продельные теоремы для ^-статистик на цепях Маркова // Применение информатики и вычислительной техники г. решению" п/х задач, Минск,'4-7 мая I9C9 г.: Тез.докл. -Минск, Ц-Ж. - С.84.
23. Swishchuk A.V, Stochastic integral representations for semi-Markov random evolutions // III Hungarian Colloq. on limit th. in Prob.and Stat,,3-7 Aug.1989,Pecs,Hungary,Abstracts.-P.56.
24. Свшцук А.В. Скорости сходимости в предельных теоремах для полумарковоких случайных вволюций // Стохастические системы и их применение. - Киев» Ин-т-математики АН УССР, 1290. -С.86-92.
25. Korolyuk VrS,f3wiehohuk A.V, WeaJc convergence of semi-Markov random evolutions (martingale approach) // iheory Prob.and Math.Stat,»1990»-Р.1-9. Science Preas /Mokslas.VSP.
26. Свшцук A.D, Решение мартингальной проблемы для полумарковских случайных вволюций // Асимптотические и прикладные задачи теории случайных звбЛаций. - Киев: Ин-т математики АН УССР, IS90. - C.I02-III, . .
27. Королюк B.C., Свищук А.В. Прикладные задачи теории случайных еволюций, - Киев: 0-во "Энашха" Украины, РД31ТИ. -
• 30 с.
28. Свищук А.В. Единственность реиешя мартингальной проблемы для полумарковских случайных эволюций // П Донецк .. конф. по теории управления, наделшооти случайных процессов: Тез.докл. - Донецк, 1990. - 63 с.
29. Swishchuk A.V. On the rates of convergence in the limit theorems for aemi-MarkoV random evolutions // II-th Prague conf.on inrorm.th,,Stat.decia.funa»and random proc.,Abstr'. .Prague, 27-31 aug.1990. -P.170.
30. Swishchuk A.V. The solution of martingale problem for semi-Markov random evolutions // II nd Bernoulli Society World
Сongres3(Abstracts, Sweden, 13-1SA ug,1990.- P.190.
31. Swishchuk A.V'. Operators methods in statistics // Intern, conf.on prob.and stat¿"Probastat 91", 26-30 aug.1991.-Bratis-lavmCzechoslovakia.Abstracts of lectires .-pp.81-82.
32. Swishchuk A.V, Stochastic integral operator equation for the limiting semi-Markov random evolutions in lumping scheme // VI UbSR-Japan simposium on Prob.th.and math,stat.,Kiev,5-10 Aug.1991 .Abstr , of Conr,munic.-P.127.
33. Смицук A.E. Единственность решения мартингальной проблемы для полумарковоких случайных oeojuoihi!: // Асимптотические ме-
тодн в задачах теории случайных эвалщий, --Киев: Ин-т математики АН ГССР, IS9I. - С. 92-107. \ '
34. Свищук .A.B. Двойная агшрокстдашя-полумарковскгас "случайных эволюций в схеме усреднения //'Укр.мат, .яурн.1992. -44, № 3. - С.400 - 408. ' ' . 4
35. Королмк B.C., Сшщук A.B. 'Полумарковские случайные эволюции.
' .Киев: Наук.думка,1-1992. - 300 с.
Подп. в печ'.29.02.92. -Формат 60x84/16. Бумага тип. Офс. печать. Усл.печ.л. 2,32, Усл.кр.-отт. 2,32. Уч.-изд.л. т 95 Тирва 120 экз. Зак. 75 . Беоплатно._ ' _
Подготовлено и отпечатано в Институте математики АН Украины. - ? 2 5 2601 Киев 4, ГСП, ул. Репина, -3