«До захисту допущено» Клесов О.І. грудня...

27
1 НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ УКРАЇНИ «КИЇВСЬКИЙ ПОЛІТЕХНІЧНИЙ ІНСТИТУТ імені ІГОРЯ СІКОРСЬКОГО» Фізико-математичний факультет Кафедра математичного аналізу та теорії ймовірностей «На правах рукопису» УДК ______________ «До захисту допущено» Завідувач кафедри __________ Клесов О.І. «07» грудня 2018 р. Магістерська дисертація на здобуття ступеня магістра зі спеціальності 111 «Математика» на тему: «Дослідження асимптотичної поведінки деяких багатовимірних дифузій» Виконала: студентка VI курсу, групи ОМ-71мп Попік Наталія Вікторівна __________ Керівник: доктор фізико-математичних наук, професор Пилипенко А.Ю. __________ Рецензент: с.н.с., д.ф.-м.н., зав. відділом тектонофізики Інституту геофізики ім. С.І. Субботіна НАН України Арясова О.В. __________ Засвідчую, що у цій магістерській дисертації немає запозичень з праць інших авторів без відповідних посилань. Студентка _____________ Київ – 2018 року

Upload: ngophuc

Post on 08-Aug-2019

218 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

1

НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ УКРАЇНИ

«КИЇВСЬКИЙ ПОЛІТЕХНІЧНИЙ ІНСТИТУТ

імені ІГОРЯ СІКОРСЬКОГО»

Фізико-математичний факультет

Кафедра математичного аналізу та теорії ймовірностей

«На правах рукопису»

УДК ______________ «До захисту допущено»

Завідувач кафедри

__________ Клесов О.І.

«07» грудня 2018 р.

Магістерська дисертація

на здобуття ступеня магістра

зі спеціальності 111 «Математика»

на тему: «Дослідження асимптотичної поведінки деяких

багатовимірних дифузій»

Виконала:

студентка VI курсу, групи ОМ-71мп

Попік Наталія Вікторівна __________

Керівник:

доктор фізико-математичних наук, професор

Пилипенко А.Ю. __________

Рецензент:

с.н.с., д.ф.-м.н., зав. відділом тектонофізики

Інституту геофізики ім. С.І. Субботіна НАН України

Арясова О.В. __________

Засвідчую, що у цій магістерській

дисертації немає запозичень з праць

інших авторів без відповідних

посилань.

Студентка _____________

Київ – 2018 року

Page 2: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

2

Національний технічний університет України

«Київський політехнічний інститут імені Ігоря Сікорського»

Фізико-математичний факультет

Кафедра математичного аналізу та теорії ймовірностей

Рівень вищої освіти – другий (магістерський) за освітньо-науковою

програмою

Спеціальність (спеціалізація) – 111 «Математика» («Страхова та

фінансовва математика»)

ЗАТВЕРДЖУЮ

Завідувач кафедри

________ Клесов О.І.

«30» жовтня 2018 р.

ЗАВДАННЯ

на магістерську дисертацію студенту

Попік Наталії Вікторівни

1. Тема дисертації «Дослідження асимптотичної поведінки деяких

багатовимірних дифузій», науковий керівник дисертації доктор фізико-

математичних наук, професор Пилипенко А.Ю., затверджені наказом по

університету від «01» листопада 2018 р. № 4058-с

2. Термін подання студентом дисертації: 10.12.2018 р.

3. Об’єкт дослідження: стохастичні диференціальні рівняння

4. Предмет дослідження: знаходження точного порядку r t , зростання

модуля розв′язків стохастичного диференціального рівняння в

багатовимірному просторі

5. Перелік завдань, які потрібно розробити:

1) Ознайомитись з теорією про асимптотичну поведінку розв′язків

стохастичних диференціальних рівнянь в одновимірному просторі.

2) Знайти стохастичні диференціальні рівняння для радіусу r t та кута

t двовимірної дифузії.

3) Дослідити поведінку r t при t .

Page 3: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

3

4) Дослідити асимптотику зростання r t при t .

5) Перевірка умов стабілізації кута t при t .

6. Орієнтовний перелік графічного (ілюстративного) матеріалу: 12 слайдів

7. Дата видачі завдання: 30.10.2018

Календарний план №

з/п

Назва етапів виконання

магістерської дисертації

Термін виконання етапів

магістерської дисертації Примітка

1 Ознайомлення з теорією про

асимптотичну поведінку розв′язків

стохастичних диференціальних

рівнянь в одновимірному просторі.

03.09.2018-28.09.2018 виконано

2 Знаходження стохастичних

диференціальних рівнянь для радіусу

r t та кута t двовимірної

дифузії.

28.09.2018-12.10.2018 виконано

3 Дослідження поведінки r t при

t .

12.10.2018-26.10.2018 виконано

4 Дослідження асимптотики зростання

r t при t .

26.10.2018-05.11.2018 виконано

5 Перевірка умов стабілізації кута

t .

05.11.2018-15.11.2018 виконано

6 Підготовка магістерської дисертації. 15.11.2018-10.12.2018 виконано

Студент Попік Н.В.

Науковий керівник дисертації Пилипенко А.Ю.

Page 4: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

4

Реферат Магістерська дисертація: 27 сторінок, 12 посилань

В магістерській дисертації виконується дослідження асимптотичної

поведінки розв′язків багатовимірних стохастичних диференціальних рівнянь із

коефіцієнтами поліноміального типу.

Метою роботи є знаходження точного порядку зростання норми розв′язку r t

та умов стабілізації полярного кута t при t .

Ключові слова: стохастичне диференціальне рівняння, точний порядок

зростання розв′язків стохастичного диференціального рівняння.

Page 5: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

5

Abstract

Master's thesis: 27 pages, 12 links

In the master's dissertation, the asymptotic behavior of solutions of

multidimensional stochastic differential equations with power type coefficients are

investigated.

The purpose of the work is to find the exact order of the growth of the norm of the

solution r t and conditions of stabilization for the polar angle t with t .

Key words: stochastic differential equation, exact order of growth of solutions of

stochastic differential equation.

Page 6: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

6

Зміст Вступ……………………………………………………………………..7

Розділ 1 Теоретичні відомості

1.1 Вінерівський процес………………………………………………………….10

1.2 Інтеграл Іто……………………………………………………………………11

1.3 Формула Іто……………………………………………………………………12

1.4 Стохастичні диференціальні рівняння та їх властивості………………….13

Розділ 2 Основна частина

§1 Постановка задачі………………………………………………..…16

§2 Дослідження радіусу……………………………………………….17

2.1 Стохастичне диференціальне рівняння для r t …………………………..17

2.2 Доведення теореми 2.1……………………………………………………....18

2.3 Дослідження асимптотики зростання r t при t …………………….20

§3 Дослідження поведінки t ………………………………………22

3.1 Стохастичне диференціальне рівняння для t ………………………….22

3.2 Стабілізація t ……………………………………………………………23

Висновки………………………………………………………………25

Список використаних джерел………………………………………26

Page 7: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

7

Вступ Дослідження властивостей розв'язків стохастичних диференціальних

рівнянь є важливою задачею теорії випадкових процесів. Особливе значення

має вивчення асимптотичних властивостей розв′язків при t . Такими

задачами займались багато математиків, наприклад, Гіхман Й.І., Скороход

А.В., Хасьмінський Р.З., Da Prato G., Zabczyk J. та багато інших. При цьому

розрізняють два принципово різних режима. При одному система

стабілізується при великих значеннях часу, а при другому збігається до

нескінченності.

Задачі стабілізації, існування стаціонарного розподілу, швидкості збіжності

до стаціонарного розподілу є добре вивченими, дивись наприклад: [1], [2], [3],

[4].

Друга задача про дослідження асимптотичної поведінки розбіжних систем

досліджена менше. Одним з перших результатів про знаходження умов, коли

розв′язок стохастичних диференціальних рівнянь прямує до нескінченності

майже напевно було одержано Гіхманом Й.І., Скороходом А.В. [5]. Вони

довели, що розв′язки стохастичних диференціальних рівнянь вигляду:

dx t a x t dt b x t dw t ,

де ,a b - ліпшицеві функції, 0b x , x R або збіжні до нескінченності майже

напевно, або майже напевно осцилюють. Тобто

Або lim 1t

x t

, (1)

або 00sup inf 1lim lim

t t ttx t x t x t x t

. (2)

Більш того, в [5] був знайдений явний критерій, коли виконується (1) або (2).

Припустимо тепер, що виконується (1). Природним питанням є вивчення

швидкості зростання x t при t . Наприклад, цікаво дослідити, чи існує

детермінована функція f t така, що x t f t при t . В монографії [4]

наведено достатні умови, коли майже напевно маємо

еквівалентність ,x t y t t , де y t − розв′язок рівняння

dy t

a y tdt

.

Тобто випадковий шум має малий ефект на швидкість зростання x t .

Page 8: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

8

Узагальнення цього результату було одержано Келлером Г. та ін. [6], а

також у працях Булдигіна В.В., Клесова О.І., Штайнебаха Й.Г. [7]. У статті

Булдигіна В.В., Тимошенко О.А. [8] розглядалась подібна задача для

стохастичного диференціального рівняння з коефіцієнтом зсуву та дифузії, які

залежать від часу, а саме було розглянуто рівняння

,g t x t g x , ,t x t x .

Припускалось, що g , та - неперервні додатні функції, - неперервна

функція.

Також Тимошенко О.А. [9] розглядала задачу про дослідження стохастичних

рівнянь із знакозмінним коефіцієнтом зсуву. Було знайдено умови, за яких

рівняння

d t g t t dt t t dw t , 0t , 0 , 0b b

має розв'язок такий, що

lim 1t

t

t

майже напевно на множині lim

tt

,

де - розв′язок звичайного диференціального рівняння, яке відповідає

стохастичному диференціальному рівнянню при 0 .

Випадок, коли випадкові збурення породжуються самоподібними

випадковими процесами розглядали Пилипенко А.Ю. , Проске Ф. [9].

В багатовимірному випадку задачі еквівалентності розв′язків стохастичного

диференціального рівняння та звичайного диференціального рівняння майже

не розглядались. Виключенням є роботи Новака І. Г., Станжицького О.М.,

Самойленка А.М. [11] та Булдигіна В.В., Коваля В.О. [12].

У відповідних роботах вивчались збурення багатовимірних лінійних

диференціальних рівнянь вигляду

dx t A t x t dt

та порівнювались із розв′язками стохастичних диференціальних рівнянь

, ,t t t tdy A t y f t y dt b t y dw t .

В роботи [11] були наведені умови, при яких якщо кожному розв′язку

стохастичного диференціального рівняння 0 00,y y y можна поставити у

відповідність розв′язок звичайного диференціального рівняння 0, yx t з

Page 9: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

9

початковими даними 0 00,x y y такий, що 2

0 0lim , , 0t

E y t y x t y

і майже

напевно 0 0lim , y , 0t

y t x t y

.

В магістерській дисертації досліджено асимптотику розв′язку стохастичного

диференціального рівняння в загальному вигляді. Було досліджено

асимптотичну поведінку розв′язків багатовимірних стохастичних

диференціальних рівнянь із коефіцієнтами поліноміального типу. Було

знайдено точний порядок зростання норми розв′язку r t та достатні умови

стабілізації полярного кута t при t .

Page 10: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

10

Розділ 1

Теоретичні відомості

В даному розділі ми наведемо основні означення та теореми теорії

стохастичних диференціальних рівнянь, а саме вінерівский процес, інтеграл та

формула Іто, теорема про існування та єдиність розв′язків стохастичного

диференціального рівняння, їх властивості, тощо.

1.1 Вінерівський процес

Означення1

Гауссівський випадковий процес , 0w t t називається вінеровим процесом

або броуніським рухом, якщо

1) 0w t , 0t

2) cov( , ) min , , , 0w s w t s t s t

Властивості

1. , 0w t t має неперервну по t модифікацію

2. 0,w t N t

0 0w майже напевно 0 0w , 0Dw t

3.(Однорідність приростів)

Процес , 0w t t є процесом з однорідними приростами тобто для будь-яких

, 0t s випадкова величина w t s w t має такий же розподіл, що й

0 0,w s w w s N s

4.(Незалежність приростів)

Процес , 0w t t має незалежні прирости, тобто для будь-яких

0n 1 2 30 nt t t t випадкової величини

1 2 1 3 2 1, , , , n nw t w t w t w t w t w t w t незалежні в сукупності

5. 0t 0w t

Вінерівський процес недиференційовний майже напевно.

Page 11: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

11

1.2 Інтеграл Іто

Нехай tF - потік алгебр, тобто

1 21 2 : t tt t F F

Вінерівський процес , 0w t t узгоджений з потоком tF (або tw t F -

вінеровим процесом ), якщо:

1) 0:t w t - вимірна відносно tF

2) 0, 0t s : прирости ( )w t s w t незалежні від tF .

Позначимо через 0 клас процесів вигляду:

1

1

,0

1k k

n

k t t tk

t

, де

k обмежена випадкова величина, яка вимірна відносно kt

F .

Означення 2

Нехай 0t , 1

1

,0

1k k

n

k t t tk

t

. Інтегралом Іто 0

T

t dw t називається

випадкова величина 1

1

0

n

k k k

k

w t w t

.

Властивості

1) Якщо 1 2 0,t t , 1 2,a a то

1 1 2 2 1 1 2 2

0 0 0

T T T

a t a t dw t a t dw t a t dw t

2) 0

0

T

t dw t

3)

2

2

0

T T

o

s dw s s ds

4) 1 2 1 2 1 2

0 0 0 0

T T T T

t dw t t dw t t t dt t t dt

Ця властивість означає, що інтеграл Іто зберігає норму. Отже, за

неперервністю інтеграл Іто можна продовжити за неперервністю на замикання

0 в 2L . Це замикання позначають

2 . Продовження інтегралу

позначатимемо 0

T

t dw t . Для нього 1)-4) також виконуються.

Page 12: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

12

5) Нехай 2t , 0 t T . Тоді 0,

0 0

1

t T

s ts dw s s dw s

6) Локальність

Нехай 2,t t , t t , ,t o T , w A , де A - деяка вимірна

множина. Тоді 0 0

T T

t dw t t dw t для майже всіх w A .

1.3 Формула Іто

Означення 3

tF - вимірний процес t , ,t o T має стохастичний диференціал

d t a t dt b t dw t ,

якщо

0 0

0

t t

t a s ds b s dw s , ,t o T майже напевно та інтеграли є

коректно визначеними.

Теорема 1.1

Нехай , 0, , 1,jw t t T j m незалежні вінерові процеси. Припустимо, що

1

, 0, , 1,m

i i ij j

j

d t a t dt b t dw t t T i n

(тобто 0 0

0

t t

i i i i j

j

t a s ds b s dw s )

Нехай 1, , , nf f t x x неперервно диференційована по t та двічі

неперервно по всіх x . Нехай 1 , , nt t t .

Тоді

1

1

, 1 1

, , , , ,

1, .

2

i

i j

n

n t x i

i

n m

x x ik jk

i j k

df t t t f t t dt f t t d t

f t t b t b t dt

Page 13: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

13

1.4 Стохастичні диференціальні рівняння та їх властивості

Означення 4

Нехай ,a a t x , ,b b t x - вимірні функції. tF - вимірний процес t ,

,t o T називається розв′язком стохастичного диференціального рівняння

, ,d t a t t dt b t t dw t

з початковою умовою 00 , якщо

0

0 0

, ,

t t

t a s s ds b s s dw s , ,t o T майже напевно,

де всі інтеграли коректно визначені.

Теорема 1.2 (існування та єдиність розв′язку)

Нехай 0 2 0L ,F , . Припустимо, що a t,x та b t,x задовільняють

наступним умовам:

1) умову Ліпшиця за x , тобто

L 0t ,T та 1 2x ,x R :

1 2 1 2a t,x a t,x L x x

1 2 1 2b t,x b t,x L x x

2) умову лінійного зросту за x :

c 0t ,T та x :

1a t,x c x

1b t,x c x

Тоді існує розв′язок рівняння

0

0 0

, ,

t t

t a s s ds b s s dw s . (3)

При цьому

2

0,

sup .t T

t

Більш того, якщо 0t ,t ,T розв′язок рівняння

(1) такий, що

2

0,

supt T

t

, то 0 1t t ,t ,T .

Теорема 1.3 [5]

Нехай a x b , 0x при x a,b , а u x тотожньо не дорівнює

константі 210

2x u x a x u x

Page 14: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

14

на відрізку a,b .

Тоді ap x,b - ймовірність того, що x t потрапить в точку a раніше, ніж

в точкуb дорівнює a

u x u bp x,b

u a u b

Теорема 1.4 [5]

Нехай t є розв′язком рівняння

d t a t dt t dw t ,

коефіцієнти якого задовільняють наступним умовам:

1) a x та x такі, що 1tlim t

2) зростаюча двічі неперервно диференційована функція f x , для якої

f x при x , 210

2lim a x f x f x x C

та

f x x обмежена.

Тоді

1t

f tlim C .

t

Наслідок 1

Якщо коефіцієнти a x та x такі, що 1tlim t

і виконується :

1) x a x C , C const

2) 2

1lim 0x

x

x

3)

lim 0x

x

x

то

1

11

1

1 1t

tlim C

t

1

11r t a t , t майже напевно.

Теорема Леві

Нехай 0M t ,t ,T - неперервний мартингал, 0 0M , квадратична

характеристика якого дорівнює t майже напевно. Тоді 0M t ,t ,T є

вінеровим процесом.

З теореми Леві маємо такий наслідок

Page 15: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

15

Теорема 1.6

Якщо 1 , , mw t w t - незалежні tF вінерові процеси

1,k k mt

,

tF -

потік алгебр, 2

1

1m

k

k

t

майже напевно, 0,t T , то

1 0

tm

k k

k

B t s dw s

- вінеровий процес.

Page 16: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

16

Розділ 2

Основна частина

§1 Постановка задачі

Розглянемо систему стохастичних диференціальних рівнянь:

1 1

2 2

cos

sin

dx t ar t t dt br t dw t

dx t ar t t dt br t dw t

, 0a , b (4)

де 1 cosx t r t t , 2 sinx t r t t , 2 2

1 2r t x t x t (5)

1 10x x , 2 20x x , 1 2 0= x ,x

1w , 2w - незалежні вінерові процеси, задані на одному ймовірнісному

просторі. Оскільки коефіцієнти рівняння задовольняють умову Ліпшиця

скрізь, крім початку координат, то існує єдиний розв′язок (1), визначений до

моменту потрапляння в 0.

Основними задачами, які розглядаються в дипломній роботі є наступні:

а) знаходження умов, що забезпечують не потрапляння розв′язку в 0 майже

напевно 0 0 0t : r t ;

б) знаходження умов, що забезпечують 1tlimr t

; (6)

в) знаходження порядку точного зростання r t при t , якщо виконується

(6);

г) знаходження умов при яких кут стабілізується при t майже напевно,

тобто умов, що забезпечують 1tlim t

.

Основними результатами даної роботи є наступні теореми:

Теорема 2.1

Якщо 1 , 2 1 0 , то 0

0 1t

inf r t

та 1tlimr t

.

Теорема 2.2

Нехай 0 1 . Тоді 1

11 ,r t a t t майже напевно та

lim 1.t

t

Page 17: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

17

§2 Дослідження радіусу

2.1 Стохастичне диференціальне рівняння для r t

Для розв′язку задачі спочатку знайдемо стохастичний диференціал процесу

2 2

1 2r t x t x t

Застосуємо багатовимірну формулу Іто:

1 2 1 1

2 2 1 2 2 1

1 2 1 2 1 2 1 1 2 2 1 2 1 1

1 2 2 2 1 2 1 2 1 2 2 1

1, , , , , , , , , ,

2

1 1 1, , , , , ,

2 2 2

t x x x x

x x x x x x

df t x x f t x x dt f t x x dx f t x x dx f t x x dx dx

f t x x dx dx f t x x dx dx f t x x dx dx

Обчислимо частинні похідні

0tr , 1

1

2 2

1 2

x

xr

x x

,

2

2

2 2

1 2

x

xr

x x

,

1 1

2

2

32 2

1 2

x x

xr

x x

,

2 2

2

1

32 2

1 2

x x

xr

x x

,

1 2

1 2

32 2

1 2

x x

x xr

x x

.

Тоді

1 2

1 22 2 2 2

1 2 1 2

2 2

2 1

1 1 2 23 3

2 2 2 2

1 2 1 2

1 2

1 23

2 2

1 2

1 1

2 2

1

2

x t x tdr t dx t dx t

x t x t x t x t

x t x tdx t dx t dx t dx t

x t x t x t x t

x t x tdx t dx t

x t x t

Відмітимо, що

1 1 1 1

2 2

cos cos

.

dx t dx t ar t t dt br t dw t ar t t dt br t dw t

b r t dt

1 2 1 2cos sin

0.

dx t dx t ar t t dt br t dw t ar t t dt br t dw t

Page 18: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

18

2 2 2 2

2 2

sin sin

.

dx t dx t ar t t dt br t dw t ar t t dt br t dw t

b r t dt

Звідси, стохастичний диференціал матиме вигляд

1

2

2 2 2 2

2 2 2 2

3 3

2

1

2

2

2 2 1 2 2 1

cos sincos

sin

sin cos1 1

2 2

cos cos

sin sin

1 1

2 2

r t t r t tdr t ar t t dt br t dw t

r t r t

ar t t dt br t dw t

r t t r t tb r t dt b r t dt

r t r t

ar t t dt br t t dw t

ar t t dt br t t dw t

b r t dt ar t b r t

1 2cos sin .

dt

br t t dw t br t t dw t

Отже,

2 2 1

1 2

1cos sin

2dr t ar t b r t dt br t t dw t br t t dw t

(7)

Нехай 1 2

0 0

cos sin

t t

B t s dw s s dw s (8)

Тоді за теоремою 1.6 B t - вінеровий процес і маємо

2 2 11.

2dr t ar t b r t dt br t dB t

(9)

2.2 Доведення теореми 2.1

Для вивчення поведінки r t при t скористаємось Теоремою 1.3.

Знайдемо шкалу s x для розв′язку стохастичного диференціального рівняння

(7)

2

1 1

2exp ,

yx a zs x dz dy

z

(10)

де 2 2 11

2a z az b z , z bz .

Page 19: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

19

Звідси 2 2 1

2 2

1 1

2exp

yxaz b z

s x dz dyb z

.

Знайдемо спочатку розв′язок інтегралу 2 2 1

2 2 2

12 2 2 2 2

1 1 1 1 1

2 2 1 2 2ln ln .

y y y y y

yaz b z a a adz z dz dz z dz z z dz y

b z b z b b

Обчислимо перший доданок інтегралу: 2 1

2 1

212

2 2

11 2

2 1, 2 1, 2 12 2 2 1 2 12 1 .

2ln , 2 1 ln , 2 1

yy

y

a yza a b

z dzb b a

z yb

Розглянемо два випадки:

1) 2 1 y α 2 2β-1

2 2β 2

1

2az + b z 2adz = ln y + ln y

b z b

Тоді

2 2

2 2

2

2 2ln 1 1

2

1 1 1

2 222

1

2 2 2

2aexp ln y - ln y

b

11 .

2 2 2 2

a ax x xy

b b

a aab b

x b

s x dy e dy y dy

y x bx

a a a a

b b b

Оскільки 0a , то 0

limx

s x

, xlims x = 0

. Отже за теоремою 4 (див теор.

відомості) lim 1t

P r t

та 0

inf 0 1t

P r t

.

2) 2 1 y α 2 2β-1 2 1

2 2β 2

1

2az + b z 2 1dz ln .

b z 2 1 2 1

a yy

b

Тоді

2 1

2

21

2 12 1

2

1 1

2a 1exp - ln y .

b 2 1 2 1

ay

x x by e

s x dy dyy

Знайдемо

2 1 2 1

2 2

2 21 1

2 1 2 1

x x1 1

lims x = lim .

a ay y

x b be e

dy dyy y

Page 20: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

20

Позначимо 2 1C .

Тоді

2

2

21

21

C

C

ay

ab C yb C

ee

y

, 1y .

Оскільки 0C за припущенням теореми 2.1, то 2

21

lim 0Ca

yb C

yye

. Тому

знайдеться 0 0y таке, що

2

21

2

1Ca

yb Ce

y y

, 0.y y

Добре відомо, що 0

2

y

dy

y

. Отже

2

21

1

.

Cay

b Cedy

y

Таким чином, ми довели, що 1limx

s x C

у випадку, коли 2 1 0 (11)

Дослідимо поведінку s x при 0x .

Маємо

2 1

2 2

2 21

2 1 2 1

a ay

b be e

y y

, 0y .

Оскільки 2

2

0 2 1

1

a

be

dyy

розбіжний, то за ознакою порівняння інтегралів

2 1

2

21

0 2 1

1

ay

be

dyy

теж розбіжний.

Отже, 0

limx

s x

. (12)

З (11) та (12) випливає, що lim 1t

P r t

та 0

inf 0 1t

P r t

.

Теорему 2.1 доведено.

2.3 Дослідження асимптотики зростання r t при t

В цьому розділі ми доведемо формулу 1

11 , 1P r t a t t

. (13)

Доведення.

Для доведення використаємо наслідок 1 з теореми 1.4.

Перевіримо чи виконуються умови наслідку:

1) x a x C , C const

2 2 11

2a x ax b x

Тоді 2 2 1 2 2 11 1

2 2x ax b x a b x

Page 21: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

21

2 1 0x , x , оскільки 1

2 1 0

Отже, 2 2 1 0b x , x .

Маємо .x a x a const

2) 2

1lim 0x

x

x

x bx

2 2 22 2 1

1 1

x b xb x

x x

Оскільки 2 1 0 , тоді 2 1 0x , x .

Отже, 2 2 1 0b x .

3)

lim 0x

x

x

x bxbx

x x

Оскільки 1 , 2 1 , 2 2

Тоді 1 , отже 0x , x .

Маємо 0bx , x .

Оскільки виконуються умови наслідку 1, отже 1

11r t a t , t

майже напевно і формулу (13) доведено.

Page 22: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

22

§3 Дослідження поведінки t

3.1 Стохастичне диференціальне рівняння для t

Для дослідження поведінки t при t спочатку знайдемо

стохастичний диференціал процесу

2

1

x tt arctg

x t .

Застосуємо багатовимірну формулу Іто:

1 2 1 1

2 2 1 2 2 1

1 2 1 2 1 2 1 1 2 2 1 2 1 1

1 2 2 2 1 2 1 2 1 2 2 1

1, , , , , , , , , ,

2

1 1 1, , , , , ,

2 2 2

t x x x x

x x x x x x

df t x x f t x x dt f t x x dx f t x x dx f t x x dx dx

f t x x dx dx f t x x dx dx f t x x dx dx

Для t знайдемо частинні похідні

0t ,

1

2

2 2

1 2

x

x tt

x t x t

,

2

1

2 2

1 2

x

x tt

x t x t

,

1 1

1 2

22 2

1 2

2x x

x t x tt

x t x t

,

2 2

1 2

22 2

1 2

2x x

x t x tt

x t x t

.

Тоді за формулою Іто

2 1

1 22 2 2 2

1 2 1 2

1 2 1 2

1 1 2 22 22 2 2 2

1 2 1 2

2 21 1

2 2

x t x tdr t dx t dx t

x t x t x t x t

x t x t x t x tdx t dx t dx t dx t

x t x t x t x t

Відмітимо, що

1 1 1 1

2 2

cos cosdx t dx t ar t t dt br t dw t ar t t dt br t dw t

b r t dt

2 2 2 2

2 2

sin sindx t dx t ar t t dt br t dw t ar t t dt br t dw t

b r t dt

Page 23: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

23

Тоді

12

2

2 2

22 4

r t sin td t ar t cos t dt br t dw t

r t

r t cos t r t sin t cos tar t sin t dt br t dw t b r t dt

r t r t

2

2 2

4

1 2

2 1

1

2 1 2 1

r t sin t cos t ar t sin t cos tb r t dt dt

r t r t

ar t sin t cos t br t sin t br t cos tdt dw t dw t

r t r t r t

br t cos t br t sin tdw t dw t

r t r t

br tcos t dw t sin t dw t br t cos t dw t sin t dw t .

r t

Отже,

1

2 1d t br t cos t dw t sin t dw t .

Нехай

2 1

0 0

cos sin

t t

B t s dw s s dw s

Тоді за теоремою Леві B t - вінеровий процес

Таким чином

1d t br t dB t .

3.2 Стабілізація t

Метою цього підрозділу є доведення другої частини теореми 2.2, тобто

перевірка існування границі t при t .

Ця границя майже напевно існує тоді й тільки тоді, коли майже напевно

збігається інтеграл 2

1

1

r t dt

.

Далі будемо припускати, що виконуються умови теореми 1, тобто 1

З §2 п. 2.3 ми знайшли, що 1

11r t a t , t .

Page 24: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

24

Доведемо, що 2

1

1

r t dt

Інтеграли 2

1

1

r t dt

та

21

1

1

1

1a t dt

збіжні та розбіжні

одночасно.

21 2 11

1 1

1 1

1 1a t dt a t dt

.

Цей інтеграл збіжний, коли 2 1

11

, тобто 2 2 1 2 1 .

Оскільки 1 маємо 2 2 1 .

Отже, 2 1 і значить інтеграл 2 1

1

1

1a t dt

збіжний. Звідси

випливає збіжність майже напевно 2

1

1

r t dt

. Маємо lim 1.t

t

Теорему 2.2 доведено.

Page 25: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

25

Висновки

В роботі виконувалось дослідження асимптотичної поведінки розв′язків

багатовимірних стохастичних диференціальних рівнянь із коефіцієнтами

поліноміального типу.

Було знайдено точний порядок зростання норми розв′язку r t та достатні

умови стабілізації полярного кута t при t .

Page 26: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

26

Список використаних джерел

[1] Хасьминский Р. З. Устойчивость систем дифференциальных уравнений при

случайных возмущениях их параметров. – Наука, 1969.

[2] Meyn, Sean P., and Richard L. Tweedie. Markov chains and stochastic stability.

Springer Science & Business Media, 2012.

[3] Kulik, A. (2017). Ergodic Behavior of Markov Processes: With Applications to

Limit Theorems (Vol. 67). Walter de Gruyter GmbH & Co KG.

[4] Da Prato, G., Zabczyk, J., & Zabczyk, J. (1996). Ergodicity for infinite

dimensional systems (Vol. 229). Cambridge University Press.

[5] Гихман И.И., Скороход А.В. Стохастические дифференциальные уравнения.

— К.: Наук. думка, 1968. —354 с.

[6] Keller G., Kersting G., Rosler U. On the asymptotic behaviour of solutions of

stochastic differential equations // Z. Wahrsch. Geb. — 1984. — 68. — P. 163—184.

[7] Булдигін В.В., Клесов О.І., Штайнебах Й.Г. PRV властивість функцій та

асимптотична поведінка розв’язків стохастичних диференціальних рівнянь //

Теорія ймовірностей та мат. статистика. — 2004. — № 72. —С. 63—78.

[8] Булдигін В.В., Тимошенко О.А. Точний порядок росту розв’язків

стохастичних диференціальних рівнянь // Наукові вісті НТУУ “КПІ”. — 2008.

— № 6. — С. 27—32.

[9]Тимошенко О.А. Точний порядок зростання розв′язків стохастичних

диференціальних рівнянь із знакозмінним коефіцієнтом зсуву// Наукові вісті

НТУУ “КПІ”. — 2009. — № 8. — С. 145—151.

[10] Pilipenko A., Proske F. On perturbations of an ode with non-lipschitz coeficients

by a small self-similar noise // Statistics&Probability Letters. -2018 – 32 – C. 62-73

[11] Новак, І. Г., А. М. Самойленко, and О. М. Станжицький. "Про

асимптотичну відповідність між розв'язками стохастичних та звичайних

рівнянь." Український математичний журнал // Т. 63 – 2011 - №8 – С.1103-

1127.

Page 27: «До захисту допущено» Клесов О.І. грудня р.matan.kpi.ua/public/files/2018/dis12/Popik.pdf · 7 Вступ Дослідження властивостей

27

[12] Булдигін В.В., Коваль В.О. "Про асимптотичну властивість розв'язків

лінійних стохастичних диференціальних рівнянь в dR ." Український

математичний журнал // Т. 52 – 2000- №9 – С. 1166-1175.