Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
Подписываем
КИЇВСЬКИЙ УНІВЕРСИТЕТ ІМЕНІ ТАРАСА ШЕВЧЕНКА
Спекторський Ігор Якович
УДК 519.21
СТОХАСТИЧНІ РІВНЯННЯ
В ПРОСТОРАХ ФОРМАЛЬНИХ РЯДІВ
І ФОРМАЛЬНИХ ВІДОБРАЖЕНЬ
01.01.05 - теорія ймовірностей
і математична статистика
Автореферат
дисертації на здобуття наукового ступеня
кандидата фізико-математичних наук
Київ - 1999
Дисертацією є рукопис.
Робота виконана в Національному технічному університеті України «Київський політехнічний інститут» Міністерства освіти України.
Далецький Юрій Львович
Науковий керівник:
- доктор фіз.-мат. наук, професор Національний технічний університет України «КПІ», професор
Офіційні опоненти:
- доктор фіз.-мат. наук, професор Мішура Юлія Степанівна,
Київський університет імені Тараса Шевченка, професор;
- кандидат фіз.-мат. наук Кулик Олексій Михайлович,
Інститут математики НАН України, докторант.
Провідна установа: Інститут прикладної математики та механіки НАН України, м. Донецьк.
Захист відбудеться 21 червня 1999 р. об 11.00 годині на засіданні спеціалізованої вченої ради Д26.001.37 при Київському університеті імені Тараса Шевченка за адресою:
252127, м.Київ - 127, проспект акад. Глушкова, 6, Київський університет імені Тараса Шевченка, механіко-математичний факультет.
З дисертацією можна ознайомитись в бібліотеці Київського університету імені Тараса Шевченка (вул. Володимирська, 58).
Автореферат розісланий 11 травня 1999 р.
Вчений секретар
спеціалізованої вченої ради Моклячук М.П.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ.
Актуальнiсть теми. Теорія формальних степеневих рядів, тобто степеневих рядів без вимоги збiжностi - змістовний та перспективний напрямок сучасної математики. Формальнi ряди природним чином виникають при розв’язанні багатьох прикладних проблем - зокрема, при застосуваннi метода степеневих рядiв для розв'язку інтегральних та диференцiальних рiвнянь з аналiтичними коефiцiєнтами. Формальні операторні ряди як самостійний алгебраїчний об’єкт розглядались в роботах Харді, Бурбакі, а пізніше - в роботах Ю.Л. Далецького та його учнів.
Одним з найважливіших аспектів даної теорії є інтегро-диференціальні рівняння в просторах формальних степеневих рядів. Детермiнованi диференцiальнi рiвняння в просторах формальних операторних рядiв та відповідні еволюційні сімейства розглядались, зокрема, в роботах Ю.Л. Далецького та А.М. Барановича. Достатнi умови збiжностi ряда розв'язку в детермiнованому випадку, що уможливлюють застосування метода степеневих рядів до детермінованих диференціальних рівнянь з аналітичними коефіцієнтами, можна отримати за допомогою теореми Кошi-Ковалевської. Проте перенесення результатів теорії детермінованих рівнянь в просторах формальних рядів на стохастичний випадок пов’язане с певними труднощами, що обумовлені специфікою стохастичних інтегралів. Стохастичні рівняння в просторах формальних рядів та формальних відображень і є основним об’єктом дослідження даної дисертаційної роботи.
Зв’язок роботи з науковими програмами, планами, темами. Основні результати даної дисертаційної роботи були отримані в рамках досліджень по науковим держбюджетним темам, що виконувалась на кафедрі математичних методів системного аналізу Київського політехнічного інституту:
№2794 «Стохастичні диференціальні рівняння», 1994-1995 роки;
№2028 «Стохастичний аналіз та стохастичні рівняння», 1996-1997 роки.
Мета і задачі досліджень.
Отримання достатніх умов існування та єдиності для розв’язку стохастичних рівнянь в просторах формальних рядів і формальних відображень.
Розробка рекурентної процедури обчислення розв’язку рівнянь в просторах формальних рядів і формальних відображень на базі узагальнення класичної формули варіації сталої на випадок стохастичних рівнянь в гільбертовому просторі.
Отримання достатніх умов збіжності розв’язку стохастичного рівняння в просторі формальних рядів як степеневого ряду по початковій умові; отримання аналогу теореми Коші-Ковалевської для стохастичних рівнянь в гільбертовому просторі.
Методи дослiджень. У роботi використанi методи теорії стохастичного інтегрування та стохастичних рівнянь в гільбертовому просторі, а також загальні методи функціонального аналізу на гільбертових та банахових просторах.
Наукова новизна одержаних результатів. Основні результати, отримані в дисертаційній роботі, є новими.
Отримано аналог класичної формули варіації сталої для випадку лінійних стохастичних рівнянь в гільбертовому просторі;
Доведено теореми існування та єдиності розв’язку стохастичних рівнянь в просторах формальних рядів і формальних відображень та розроблен рекурентний алгоритм обчислення компонентів розв’язку.
Доведено марківську властивість розв’язку стохастичних рівнянь в просторі формальних рядів.
Доведено еволюційну властивість розв’язку стохастичного рівняння в просторі формальних відображень;
Отримано достатні умови збіжності степеневого ряду розв’язку стохастичного рівняння в просторі формальних рядів.
Доведено аналог теореми Коші-Ковалевської для стохастичних рівнянь в гільбертовому просторі у випадку лінійної дифузії і аналітичного в малому околі нуля зсуву, а також для скалярних стохастичних рівнянь з аналітичними в околі нуля дифузією та зсувом.
Практичне значення одержаних результатів. Результати, отримані в дисертаційній роботі, мають теоретичне значення.
Аналог формули варіації сталої, виведений для лінійних неоднорідних стохастичних рівнянь в гільбертовому просторі, може бути використаний для дослідження та розв’язання стохастичних диференціальних рівнянь з частинними похідними, зокрема - в теорії керування, при дослідженні поведінки лінійного об’єкта в стохастичному середовищі.
Аналог теореми Коші-Ковалевської для стохастичних рівнянь може бути використаний для дослідження та розв’язання стохастичних рівнянь з неліпшіцевими коєфіцієнтами, аналітичними в довільно малому околі нуля; такі рівняння, як правило, мають лише локальний розв’язок, і запропонований метод дає змогу отримати сильний локальний розв’язок у вигляді степеневого ряду по початковій умові.
Отримані результати щодо існування, єдиності та властивостей розв’язку стохастичних рівнянь в просторах формальних рядів і формальних відображень можуть бути використані для подальшого розвитку стохастичного аналізу на формальних алгебраїчних структурах.
Особистий внесок здобувача. Основні результати дисертаціійної роботи отримані дисертантом самостійно, при постійній увазі та підтримці з боку наукового керівника.
Апробацiя роботи. Основнi результати дисертаційної роботи доповiдалися та обговорювалися на науковому семінарі кафедри теорії ймовірностей Київського університету імені Тараса Шевченка (керівник семінару - акад. М.Й. Ядренко), науковому семінарі Київського політехнічного інституту з теорії гаусівських процесів (керівник семінару - проф. В.В. Булдигін), науковому семінарі Інституту математики НАН України «Числення Маллявена та застосування» (керівник семінару - проф. А.А. Дороговцев), 5-й Міжнародній науковій конференції ім. акад. М.Кравчука (Київ, 1996), Conferenece on Stochastic Differential and Differentia Equations (Gyr, Hungaria, 1996), 7-й Кримській осiннiй школі-симпозiумі (Севастополь, 1996), Международной конференции по стохастическому и глобальному анализу (Воронеж, 1997), Мiжнароднiй конференцiї iм. М.Крейна по теорiї операторiв та її застосуванню (Одеса, 1997), 7th Vilnius Conference On Probability Theory And Mathematical Statistics (Vilnius, Lithuania, 1998).
Публiкацiї. Основнi результати опублiкованi в шести статтях [1-6] та у тезах конференцiї [7].
Структура і обсяг дисертації. Робота складається із вступу, трьох розділів, висновків і списку літератури із 51 найменувань. Загальний обсяг роботи 114 сторінок.
ЗМІСТ РОБОТИ
У вступi обгрунтовано вибiр теми дисертацiї на основi аналiзу стану проблеми, зазначена актуальнiсть задачi дослiдження стохастичних рівнянь в просторах формальних рядів і формальних відображень та побудови їх розв`язкiв, подана загальна характеристика новизни та теоретичної цiнностi одержаних результатiв.
У першому роздiлi розглядається лiнiйне стохастичне рiвнян ня
()
в гільбертовому просторі Y (всі гільбертові простори вважаються дійсними та сепарабельними), де:
w(t) - вінерівський простір, асоційований з гільберто-шмідтовим оснащенням H+ H0 H-;
функцiї A i B - узгодженi процеси iз значеннями в L(Y) та L(Y,L2(H0,Y)) вiдповiдно, диференцiйовнi при кожному t[0,T] по бiлому шуму та обмеженi рiвномiрно по t разом iз своєю похiдною по бiлому шуму;
f та g - узгодженi процеси iз значеннями в просторах Y i L(Y,L2(H0,Y)) вiдповiдно, всi моменти яких обмеженi рiвномiрно по t[0,T].
Тут і далі L(B1, B2) позначає простір лінійних неперервних операторів, що діють з банахова простору B1 в банахів простір B2; L2(B,Y) позначає простір гільберто-шмідтових операторів, що діють з банахова простору B в гільбертів простір Y.
Зазначимо, що при даних умовах еволюцiйний оператор S(t,s) відповідного однорідного рівняння може не мати обмеженого оберненого. Роздiл носить допомiжний характер, однак отриманi результати мають самостiйне значення.
Стохастичні рівняння типу () розглядались, зокрема, в роботах Ю.Л. Далецького, де були доведені теореми існування та єдиності і досліджено ряд властивостей розв’язку. В дисертаційній роботі для рівнянь типу () наводиться аналог відомої формули «варіації сталої».
Теорема 1.4. Розв’язок рівняння () дається формулою
,
де коефіцієнти c1(t) та c2(t) визначаються рівняннями:
, ()
. ()
Тут символом позначено операцію розширеного інтегрування, D позначає операцію диференціювання по білому шуму (стохастичного диференціювання).
Наслідок 1. У випадку детермінованої дифузії B(t) розв’язок рівняння () подається у вигляді:
Наслідок 2. Якщо і дифузія B(t) і зсув A(t) є невипадковими, розв’язок рівняння () набуває вигляду, аналогічного до відомої формули варіації сталої:
. ()
Зауваження 1.1. У випадку, якщо стохастичні похідні DA(t) та DB(t) мають вигляд інтегральних функціоналів відносно траєкторій A та B, рівняння () відносно c2 є інтегральним рівнянням типу Вольтерра і має єдиний розв’язок, а c1 знаходиться із співвідношення () при відомому c2.
Приклад 1.1. Розглянемо стохастичне рівняння
, ()
де:
- невідомий узгоджений процес в гiльбертовому просторi Y;
z - узгоджений процес в гiльбертовому просторi Z, що задовольняє стохастичному рiвнянню
; ()
функцiї A: Z [0,T] L(Y) та B: Z [0,T] L(Y,L2(H0,Y)) обмеженi разом з похiдною по zZ;
f та g - узгоджені процеси iз значеннями в просторах Y та L2(H0,Y) вiдповiдно, з обмеженими по t моментами будь-якого порядку;
функцiї (t) L(Z), (t) L(Z,L2(H0,Z)) обмеженi на [0,T].
Нехай U(t,r) (r t) - еволюційний оператор, що відповідає рівнянню (). Тоді розв’язок рівняння () можна подати у вигляді
,
де коефіцієнти c1(t) та c2(t) визначаються рівняннями:
, .
Далі в розділі розглядаються рівняння типу () з невипадковими операторами дифузіїї та зсуву, причому зсув, при додатковій вимозі дисипативності, не повинен бути обмеженим. Теореми існування та єдиності розв’язку для рівнянь цього типу доведені, зокрема, Ю.Л.Далецьким та С.В.Фоміним1. В дисертаційній роботі для рівнянь даного типу доводиться аналог класичної формули варіації сталої.
Теорема 1.6. Нехай в рівнянні () коефіцієнти A та B є невипадковими, причому зсув A(t) є лінійним, можливо необмеженим оператором, що задовольняє вимогам:
(A(t), )Y 0 (дисипативність);
0, t[0,T]: (A(t)- idY)-1 C/(1+),
де C - константа, що не залежить від t. (Тут і далі idY позначає тотожній оператор в просторі Y.)
Тоді розв’язок рівняння () може бути поданий у вигляді ().
Як приклад можливого застосування теореми 1.6, наводиться стохастичне рівняння з частинними похідними.
Приклад 1.3. Нехай Y = H0 = L2(G), де G - область в Rn. Розглянемо стохастичне рівняння з частинними похідними:
де:
A = (ajk)1 j,k n - додатньо визначена матриця;
ядро Kb: [0,T] G3 R квадратично інтегровно в [0,T] G3 по мірі Лебега;
ядро Kg: [0,T] G2 R інтегровно в [0,T] G2 по мірі Лебега в будь-якій степені.
Дане рівняння задовольняє вимогам теореми 1.6 і має єдиний розв’язок, який може бути знайдений за формулою ().
У другому розділі розглядаються стохастичні рівняння в просторі формальних рядів.
Означення 2.1. Нехай B - банахiв простiр. Довiльну послiдовнiсть y = (yk)k 0, таку що k 1: ykB, назвемо формальним рядом в просторі B (yB). Якщо y0=0, формальний ряд y будемо називати центрованим.
Означення 2.2. Нехай Y - гільбертів, B - банахів простори. Довiльну послiдовнiсть операторів a = (ak)k 0, таку що k 1: ak - лiнiйний оператор з Yk в B, a0B, назвемо формальним вiдображенням, що дiє з Y в B. Будемо казати, що формальне вiдображення a з Y в B є неперервним, якщо k1: akL(Yk,B). Будемо казати, що формальне вiдображення a з Y в B є центрованим, якщо a0 = 0.
Простiр формальних вiдображень з Y в B позначається L(Y,B).
Надалі, якщо не вказано iнше, усі формальнi вiдображення вважаються неперервними.
Нехай Y1, Y2 - гільбертові простори, B - банахів простір. Для формальних вiдображень aОLҐ(Y1,Y2) та bОLҐ(Y2,B), b0 = 0, вводиться операцiя композицiї:
baО LҐ(Y,B), , n1.
Доводиться, що операцiя композицiї асоцiативна.
Для формального вiдображення aОLҐ(Y,B) і центрованого формального ряда yB вводиться формальний ряд a(y)B:
, n1.
Формальний ряд a(y) розглядається як результат дії формального відображення a на формальний ряд y. Надалі, якщо не вказано iнше, усi формальні ряди і формальні відображення вважаються неперервними та центрованими.
Далі в розділі вводяться стохастичнi рiвняння в просторi формальних рядiв. Нехай Y - гільбертів простір. Об’єктом розгляду є наступне рiвняння:
()
де a(t)ОLҐ(Y,Y), b(t)ОLҐ(Y, L2(H0,Y)), y(t) - невiдомий випадковий узгоджений процес iз значеннями в просторi Y, ys - початкова умова, вимiрна вiдносно -алгебри Fs=(w(),0\s). Вважається, що функції an та bn є вимірними обмеженими відображеннями з [0,T] в L(Yn,Y) та L(Yn, L2(H0,Y)) відповідно.
Рiвняння () розумiється покомпонентно, тобто () за визначенням еквiвалентне системi:
n1. ()
Для рiвняння () доведено iснування i єдиність розв'язку, а також марківська властивiсть розв'язку як випадкового процесу в Y.
Теорема 2.5. Рівняння () має розв’язок, єдиний з точністю до стохастичної еквівалентності.
Теорема 2.6. Розв’язок рівняння () є марківським процесом в просторі Y.
Доводиться, що компоненти розв’язку системи () можна знаходити рекурентно, розв’язуючи на кожному кроці лінійне неоднорідне стохастичне рівняння типу () за допомогою формули ()/
Для випадку "лiнiйної дифузiї" i "аналiтичного зсуву" доведена теорема про збiжнiсть розв'язку рiвняння (). Введемо позначення: , .
Теорема 2.7. Нехай bn0 при n2 («лiнiйнiсть дифузiї»), (ys)n=0 при n2, та для деякого r>0 («аналітичність зсуву»). Нехай, крiм того, a1(t) та b1(t) - гiльберто-шмiдтовi оператори.
Тодi iснують деякі константи r1,r2 >0 та момент зупинки , >s майже напевне, такі що при st:
.
Теорема 2.8. Нехай |b1(t)| > 0 для всіх t[0,T]. Нехай всі ak(t) та bk(t) (k1) диференційовні по t в інтервалі [0,T], та виконується умова: .
Тодi iснують деякі константи r1,r2 >0 та момент зупинки , >s майже напевне, такі що при st:
.
Твердження теорем 2.7 та 2.8 уможливлюють застосування метода степеневих рядів до розв’язку стохастичних рівнянь в гільбертовому просторі.
Розглянемо стохастичне рівняння в гільбертовому просторі:
()
де (t) - невідомий узгоджений процес в гільбертовому Y, A та B - вимiрнi обмеженi вiдображення з [0,T] Y в Y та в L2(H0,Y) вiдповiдно, s --- невипадкова початкова умова. Будемо вважати, що A(t,) та B(t,) - аналiтичнi функцiї по в околi нуля.
Нехай функцiям A(t,) та B(t,) вiдповiдають формальнi вiдображення a(t) L(Y), тобто:
для з радіусу аналітичності.
Означення 2.12. Нехай - момент зупинки, A(t) = A(t)(t), B(t) = B(t)(t), де (t) - характеристична функція множини {t[0,T]| t }.
Будемо казати, що () має розв'язок (t), що iснує до момента зупинки , якщо процес (t) є сильним розв'язком наступного стохастичного рiвняння:
.
Нехай (yn)n1 - розв’язок рівняння () з початковою умовою s та коєфіцієнтами a(t) та b(t), що відповідають функціям A(t,) та B(t,).
Теорема 2.9. Нехай iснують деякi константи r1,r2 > 0 i момент зупинки , >s майже напевне, такi, що при s t :
,
де .
Тоді при s||Y r2 «зупинений» процес
,
є розв’язком (), що iснує до момента зупинки .
Приклад 2.5. Скалярне стохастичне рівняння
()
В силу теореми 2.8, рівняння () задовольняє вимогам теореми 2.9. Отже, рівняння () має розв’язок до деякого додатнього момента зупинки, і цей розв’язок можна шукати методом степеневих рядів.
У розділі 3 доведено існування, єдиність та еволюційна властивість розв’язку стохастичного рівняння в просторі формальних відображень. Основним об’єктом дослідження в розділі є рівняння
()
де a(t)ОLҐ(Y,Y), b(t)ОLҐ(Y, L2(H0,Y)), S(,s) - невiдомий випадковий узгоджений процес iз значеннями в просторi Y, S(s,s) - початкова умова, вимiрна вiдносно -алгебри Fs. Вважається, що функції an та bn є вимірними обмеженими відображеннями з [0,T] в L(Y,Y) та L(Y, L2(H0,Y) відповідно.
Рiвняння () розумiється покомпонентно, тобто () за визначенням еквiвалентне системi:
n1.
Теорема 3.1. Нехай an та bn an та bn є вимірними обмеженими відображеннями з [0,T] в L2(Yn,Y) та L2(YnH0,Y) відповідно. Нехай, до того ж: S1(s,s)-idY L2(Y,Y), Sn(s,s) L2(Yn,Y) (n .2).
Тоді рівняння () має єдиний з точністю до стохастичної еквівалентності розв’язок S(t,s), причому: S1(t,s)-idY L2(Y,Y), Sn(t,s) L2(Yn,Y) (n .2).
Теорема 3.2. Нехай виконуються вимоги теореми 3.1 та S(s,s)=IdY, де (IdY)1= idY, (IdY)n=0 при n .2 (IdY - тотожнє формальне відображення в Y).
Тоді сім’я операторів S(t,s) (0 s t T) є еволюційною, тобто S(s,s) =IdY, S(t,r) S(r,s)= S(t,s) при s r t.
Висновки:
як допоміжний результат, побудован стохастичний аналог формули варіації сталої для розв’язку лінійних неоднорідних рівнянь;
доведенi теореми iснування та єдиності розв`язкiв стохастичних рівнянь в просторах формальних рядів і формальних відображень;
доведена марківська властивість розв’язку стохастичного рівняння в просторі формальних рядів;
доведена еволюційна властивість розв’язку стохастичного рівняння в просторі формальних відображень;
отримані достатні умови збіжності (протягом випадкового інтервалу часу) для ряду розв’язку стохастичного рівняння в просторі формальних рядів;
побудован аналог теореми Коші-Ковалевської для стохастичних рівнянь в гільбертовому просторі в випадку лінійної дифузії та аналітичного в околі нуля зсуву, а також для скалярних стохастичних рівнянь з аналітичними в околі нуля дифузією та зсувом;
Основнi результати дисертацiї опублiковано в роботах:
Спекторский И.Я. Явная формула для решения линейного неоднородного стохастического уравнения// Доповіді НАН України. - 1996. - №11. - С.45-52.
Spectorsky I. Stochastic Equations in Formal Mappings// Progress in Systems and Control Theory. - 1997 - Vol.23: Stochastic Differential and Difference Equations. - P. 267-272.
Спекторский И.Я. Обобщение формулы вариации постоянной для линейного неоднородного стохастического уравнения// Проблемы управления и информатики. - 1998. - №5. - C. 107-112.
Спекторский И.Я. Метод степенных рядов для стохастических уравнений с аналитическими коэффициентами// Кибернетика и системный анализ. - 1999. - №2. - C. 133-140.
Spectorsky I. Analog Of Feimann-Kac Formula for Multiplicative Functional in the Space of Formal Series.// Spectral and Evolutionary Problems. - Vol.8: Proceedings of the Eighth Crimean Autumn Mathematical School-Symposium. - P. 151-155.
Spectorsky I. Stochastic Equations and Evolution Families in the space of Formal Mappings// Spectral and Evolutionary Problems. - Vol.7: Proceedings of the Seventh Crimean Autumn Mathematical School-Symposium. - P.124-127.
Spectorsky I. Convergence of Solution of Stochastic Equation in the Space of Formal Series// 22-nd European Meeting of Stastistisians.7-th Vilnius Conference on Probability Theory and Mathematical Statistics. - Vilnius: TEV. - 1998. - P.419-420.
Користуючись нагодою, хочу відзначити постійну увагу та підтримку з боку наукового керiвника академіка НАН України Далецького Юрія Львовича, передчасна смерть якого є тяжкою втратою для вітчизняної та світової науки.
Спекторський І.Я. Стохастичні рівняння в просторах формальних рядів і формальних відображень. - Рукопис.
Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.01.05 - теорія ймовірностей і математична статистика. - Київський університет імені Тараса Шевченка, Київ, 1999.
Дисертацiю присвячено побудові елементів теорії стохастичних рівнянь в просторах формальних рядів і формальних відображень. В рамках досліджень були доведені теореми існування та єдиності розв’язку стохастичних рівнянь в просторах формальних рядів і формальних відображень. На базі отриманого стохастичного аналога формули «варіації сталої» побудован рекурентний алгоритм розв’язання стохастичних рівнянь в просторах формальних рядів і формальних відображень. Для стохастичних рівнянь в просторі формальних відображень доведена еволюційна властивість розв’язку. Для стохастичних рівнянь в просторі формальних рядів доведена марківська властивість розв’язку, побудован аналог зворотнього рівняння Колмогорова. Як можливе застосування, доведен аналог теореми Коші-Ковалевської для стохастичних рівнянь в гільбертовому просторі.
Ключoвi слова: формальний ряд, формальне відображення, стохастичне рівняння в гільбертовому просторі, лінійне стохастичне рівняння, стохастичне рівняння з аналітичними коефіцієнтами, метод степеневих рядів.
Спекторский И.Я. Стохастические уравнения в пространствах формальных рядов и формальных отображений. - Рукопись.
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности 01.01.05 - теория вероятностей и математическая статистика. - Киевский университет имени Тараса Шевченко, Киев, 1999.
Диссертация посвящена построению элементов теории стохастических уравнений в пространствах формальных рядов и формальных отображений.
Диссертационная работа включает введение, три раздела, выводы и список литературы из 51 наименования. Общий объем работы составляет 114 страниц машинописного текста.
Во введении обосновывается выбор темы диссертации на основе анализа проблемы, отмечается актуальность задачи исследования и построения решения стохастических уравнений в пространстве формальных рядов и формальных отображений, приводится общая характеристика новизны и теоретической ценности полученных результатов.
Первый раздел посвящен обобщению классического метода «вариации постоянной» на случай линейного стохастического уравнения в гильбертовом пространстве. При случайных диффузии и сносе, согласованных с винеровским потоком -алгебр, решение неоднородного стохастического уравнения сводится к решению интегральных уравнений типа Вольтерра, не содержащих стохастического интеграла. При детерминированных коэффициентах диффузии и сноса получена формула, аналогичная классической формуле вариации постоянной для детерминированных дифферен циальных уравнений. При детерминированных коэффициентах формула вариации постоянной обобщается на случай неограниченного диссипативного оператора сноса.
Основным объектом рассмотрения во втором разделе является стохастическое уравнение в пространстве формальных (степенных) рядов. Для рассматриваемых уравнений доказывается теорема существования и единственности решения, доказывается марковское свойство решения, выводится аналог обратного уравнения Колмогорова. В случае, соответствующем линейному оператору диффузии и аналитическому в некоторой окрестности нуля сносу, доказывается сходимость решения как степенного ряда в топологии гильбертова пространства до некоторого случайного момента остановки. В скалярном случае теорема о сходимости решения обобщается на случай, соответствующий произвольным аналити ческим в окрестности нуля коэффициентам диффузии и сноса. Как приложение, доказывается аналог теоремы Коши-Ковалевской для стохастических уравнений в гильбертовом пространстве.
В третьем разделе основным объектом рассмотрения является стохастическое уравнение в пространстве формальных отображений. Формальное отображение определяется как последовательность операторных коэффициентов формального степенного ряда и является аналогом аналитической функции без требований сходимости. Для рассматриваемых уравнений доказывается существование, единственность и эволюционное свойство решения как элемента в пространстве формальных отображений.
Ключевые слова: формальный ряд, формальное отображение, стохастическое уравнение в гильбертовом пространстве, линейное стохастическое уравнение, стохастическое уравнение с аналитическими коэффициентами, метод степенных рядов.
Spectorskii I.Ya. Stochastic Equations in the Space of Formal Series and Formal Mappings. - Manuscript.
Thesis for a Philosophy Doctor degree by speciality 01.01.05 - Probability theory and mathematical statistics. - Kiev Taras Shevchenko University, Kiev, 1999.
The dissertation is devoted to construct the elements of theory of stochastic equations in the spaces of formal series and formal mappings. We prove theorems for existence and uniqueness of solution to stochastic equations in the spaces of formal series and formal mappings. Using the obtained stochastic analogue of «constant variation» formula, we construct recursive algorithm to solve stochastic equations in the spaces of formal series and formal mappings. For stochastic equations in the spaces of formal mappings we prove the evolution property of solution. For stochastic equations in the spaces of formal series we prove the Markov property of solution and construct the analogue of the second Kolmogorov equation. As a possible application, we prove the analogue of Cauchy-Kovalevskaya theorem for stochastic equations in Hilbert space.
Keywords: formal series, formal mapping, stochastic equation in Hilbert space, linear stochastic equation, stochastic equation with analytical coefficients, method of power series.