Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Флуктуации в динамических системах под действием малых случайных возмущений

..pdf
Скачиваний:
4
Добавлен:
12.11.2023
Размер:
21.91 Mб
Скачать

§ 1]

НУЛЕВОЕ ПРИБЛИЖЕНИЕ

71

хаотических интегралов:

t

< 4 6 V ] 2 JM [a] (X®)]2ds = е2б 2a2(t). (1.8)

Из оценок (1.6)—(1.8) вытекает последнее утверждение теоремы.

В теореме 1.2 мы в некоторых отношениях делаем более сильные предположения, чем в теореме 1 .1 ,— счи­ таем, что коэффициенты удовлетворяют условию Лип­ шица, а не просто непрерывны. При этом мы получаем и более сильный результат — не только доказываем схо­

димость XBi к xt, но получаем и некоторые оценки скорости этой сходимости. Если сделать еще более сильные пред­ положения относительно гладкости коэффициентов, то

м >жно более точно оценить разность Хв x t. Мы вер немея к этому вопросу в следующем параграфе, а сейчас приведем один результат о нулевом приближении для дифференциального уравнения с правыми частями до­

вольно

общего

вида.

 

 

 

 

 

 

 

Рассмотрим

в Rr дифференциальное уравнение

 

 

 

 

 

Х|

= Ь (е ,/,.М .со ) 1

X

 

 

 

 

Здесь

Ь(е,

f, х,

со)

(Ьг(г, U х,

со),

. . .,

Ьг(е, t, х,

со))—

r-мерный

вектор,

определенный

при

х е Rr,

t ^

О,

в > О,

со е= Q.

что

поле Ь(е, £, х,

со)

непрерывно по

t

Предположим,

и х цри почти всех со для любого е >

О,

 

 

 

 

 

 

sup

М|6 (е, t, Xj(o) |2 <

оог

 

 

 

 

1>о,бе(0,1)

 

 

 

 

 

 

п при некотором

К >

0 почти наверное

 

 

 

 

|Ь(е, /, х,

со)

Ь(е, tt у,

со)| <

К\х у|

 

 

для любых х} у е Rrt 02 е *> 0. Заметим* что непре­

72 ВОЗМУЩЕНИЯ НА КОНЕЧНОМ ОТРЕЗКЕ ВРЕМЕНИ [ГЛ. 2

рывность по е при фиксированных t, хг со не предпола­

гается.

Т е о р е м а 1.3. Предположим, что существует такая

непрерывная функция b(t, a:),

t >

0 , х е

й г,

что

/г/ш лю­

бых б > О, Г >

02 i e

i i r

равномерно

по t0^

О

 

 

 

/о+Г

 

 

=

0. (1.9)

 

со)

J

5(f,a;)d/

> 6

Тогда уравнение

 

 

 

 

 

 

 

xt *=b(t,xt)9

 

= *

 

 

(1.10)

имеет единственное решение,

и для всяких Т >

О, б > 0

П т Р { max

| X f —

1> б} = 0.

 

 

е»о

ко<г<т

 

;

 

 

 

Д о к а з а т е л ь с т в о . Прежде всего заметим, что

функция Ь(£, а:) обязана удовлетворять условию Липшица по а: с той же постоянной, что и функция Ь(е, t, а:, со).

Действительно, так как функция b(t, х) непрерывьа, то по теореме о среднем

«+д _

j Ъ(s, x)ds — Ъ(tx х) Д + о (Л), Д—►0. t

Отсюда, с учетом (1.9), получаем

Ib(t,x) — b (*, у) I = <+А

 

Л

J b (s,x )d s — j b(s, i/) ds

 

 

 

 

 

 

t

(

 

 

 

 

 

 

 

t+A

i

о (Д)

j

£

< 4- j

b (e, Sj x, со) ds —

j 6 (e, s, у, со) ds

+

- д “

+

°e <

 

 

 

 

 

оШ

 

 

 

 

< K \ x-y\ + ° - ^ + S l

где бе =

бe(£,

со) -+ 0 по

вероятности при

e

0 ,

 

 

§ ti

Нулевое приближений

ft

 

Так как это неравенство справедливо при произволь­

но малых е и Д, то

 

 

|b(tt х) b(t, у)| < К\х у\.

(1 .11)

Из (1.11) вытекает* что уравнение (1.10) имеет единствен­ ное решение.

По определению

X]

п xt имеем

t

 

 

 

 

 

 

XJ — xt = j* [b (e,

X*, со) — b (s, xs)] ds

6

 

 

 

 

 

 

 

f

 

 

 

 

 

e

I [b (e, sx X*S1со) — b (e, s, x8, со)] ds +

 

 

 

 

 

t

 

 

 

 

 

-f

j[b (e , s, xs, со) — b(c, xs)]ds.

 

 

 

 

 

0

 

Обозначим

m(t) =

m*{t) =

max |Xf — x0\. Из предыдущей

формулы вытекает

 

неравенство

 

»

 

 

 

 

£i

 

т (t) < К

m (s) ds +

max

l [b (e, s, xe, со) — b (s* x8)]d,

Отсюда при помощи леммы 1.1

получаем

 

 

 

f

 

 

 

т (Т) ^

ект max

[ [b (е, s,

со) — Ъ(s, х3)] ds , ( 1. 12)

 

 

 

6

 

 

 

где Т — любое положительное

число.

Покажем теперь, что максимум в правой части (1.12)

стремится к нулю

по вероятности при е —►0. Пусть п

большое натуральное число, которое мы выберем позже. Используя условие Липшица при t е [0* Т]1будем иметь

t

I

[ь (е, s, xs, со) — Ъ(s, х3)] ds =

о

 

 

 

 

 

п -1 (*+1М/п

 

 

 

= 2

J

[* (ei

со) — 5 (s, xs)]cfs=s

h=0 ktJn

74

ВОЗМУЩЕНИЯ НА КОНЕЧНОМ ОТРЕЗКЕ ВРЕМЕНИ

(ГЛ. й

 

=

2

 

f

b(e,s,

"

— b /s ,^ ]\ d s +

 

 

 

ft=o

ktm

1 V

/

V

» /i

 

 

 

71—1(Ь-И)*/п г

_

 

/

_

 

 

+ 2

 

м/«

Ь(е, в.Я .ы ) — Ые, s,;r*,,to

ds +

 

 

*=о

1

 

 

4

 

п п

 

 

 

 

 

п— 1 (Л+14/n - .

ч

_

_

-I

 

 

 

 

+

2

 

bis, агА,

— b(s, ze)|£?s =

 

 

 

 

* = 0

hi/П

L V

П 7

 

 

J

 

 

 

n^_l (fc+ l)f/n

,

_

\

/ _

\1

 

 

 

 

=2

 

J

j^ e , s, ir*,, соj — b|s, :rAfjJds +

p®tl,

(1.13)

где

|p®,(|

< C > l/n ,

С — постоянная,

зависящая от

кон-

станты Липшица К и от Г.

При фиксированном п сумма в последней части форму­ лы стремится к нулю по вероятности в силу условия (1.9). Таким образом, из (1.13) вытекаем что при п>АС1&

kTtn

e-*Q

 

i

 

>lj =°-

lim Р [ шах

\ [b(e, s,zs,co) — 5 (s,* s)] ds

 

 

 

 

О

 

 

(1.14)

 

 

 

 

 

Далее

заметим,

что

 

 

р L™?TIj

I6

 

- ^^s’ *«)1ds\>б|<

 

 

(

 

*Т/я

_

 

]

< 1 Р шах

\

[b (е, s, х3, со) — Ъ(s1 х3)] ds >

+-

(0<к<п '

0J

 

 

^ J

 

(k+l)T/n

 

 

 

+ Р max

j

|б(е, s, ха, со) — Б(st xs) | > —

. (1.15)

 

h^

 

 

^ )

 

l/n

 

 

 

Последнее слагаемое оценим с помощью неравенства

§ 2]

РАЗЛОЖЕНИЕ ПО СТЕПЕНЯМ МАЛОГО ПАРАМЕТРА

75

Чебышева:

< ^ 5 ^ OS^ P0 , м [| 5 (..г.)| + | ^ . . о . . , | + 1г|хв| г <

где С\ — некоторая константа. При этом мы воспользова­

лись тем,

что

sup М |6(е, s, 0 , со)|2 <

оо.

 

s > 0.

е<=(0,1]

 

 

Из (1.14)—(1.16) вытекает, что правая часть в (1.12)

стремится к нулю по вероятности при е

0. Этим закап­

чивается

доказательство

теоремы 1.3.

 

На случайный процесс

X®, рассматриваемый в теоре­

ме 1.3, можно смотреть как на результат случайных воз­ мущений системы (1.10). Мы вернемся к изучению подоб­ ных возмущений в гл. 7.

§ 2 . Разложение по степеням малого параметра

Вернемся к рассмотрению уравнений (1.1) и (1.3). В этом параграфе мы, предполагая функции Ъ{х, у) доста­

точно гладкими, получим разложение для X® по степеням малого параметра е.

В соответствии с общей идеологией теории возмуще­

ний, чтобы найти разложение X® по степеням е

 

X? = X(t0) + eX't0 + . . . + e*Xiw + . . . ,

(2.1)

мы подставпм это разложение с неизвестными пока коэф­

фициентами Х(*0), . . ., X\k\ . . . в уравнение (1 .1) и раз­ ложим правые части по степеням е. Затем, приравнивая коэффициенты при одинаковых степенях слева п справа,

76 ВОЗМУЩЕНИЯ НА КОНЕЧНОМ ОТРЕЗКЕ ВРЕМЕНИ [ГЛ 2

получим дифференциальные уравнения для последова­

тельного определения коэффициентов Х/0), Х*!), . . .

в (2 .1).

Посмотрим, как будет разлагаться по степеням е пра­ вая часть (1.1). Пусть Х(е) — произвольный степенной ряд

с коэффициентами из Rr:

 

 

 

 

Х(е)

= с0 + схг +

. . .

+ скгк +

•» •

Обозначим

 

 

 

 

 

 

,

7Л _ 1

d 4 ( X ( B ) , e y )

== Фk

(c0i

У) '

к\

d&h

е=0

Легко видеть,

что Фк при

к ^

1

линейно зависит от ск\

по переменным у функция Ф& является многочленом сте­ пени к. В частности,

 

ф0 =

Ь (со< 0),

 

 

 

 

 

 

Ф1 =

Вх(с0, 0) сх +

Вг (св, 0) yt

 

 

где Вх(х, у)

 

(х, у)\

 

 

матрица

поряд-

— ^ — I — квадратная

ка г, В2{х, у) =

( дЬх (х , у)\

 

 

имеющая г строк

\—дуЬ

I — матрица,

и I столбцов. Вообще из определения

ясно,

что

раз­

ность

Ф* — В1(с01 0)ch =

Чк(с0,

съ . .

chlt у)

не

за­

висит

от ск.

 

 

 

 

 

 

 

 

Действуя в соответствии с планом,' изложенным выше,

разлагаем обе части (1 .1) по степеням е:

 

 

 

х<0) +

гх\" + ... + гкх\к) +

••. = ф„ (Х(Д £,) +

 

 

+ еФх(Х<Д А < 1и , ) + ... +

е?'фА(А10>1

•••! Xth\ %) + ...

Отсюда получаем дифференциальные уравнения

 

 

Л10) =

Ф0 (х(Д

1д = ь(х[°\ о),

 

 

 

 

Х1° =

фх(х \°\ х \1\ Ь) =

Вх (х<Д о)х<°> + в 2(ХД о) \ и

§ 21

РАЗЛОЖЕНИЕ ПО СТЕПЕНЯМ МАЛОГО ПАРАМЕТРА

77

=

........X,(ftU () =

( 2 - 2)

 

= В ,{ X\0\0)X\k) + Wk(X\n\

lt\

К этим дифферегщиальным уравнениям нужно приписать

начальные условия Х(00) = х, Хо4) = 0 , ..., Х(0Л) = 0 , . . .

Если функция Ь(х, у) достаточно гладкая, то уравнения (2.2) Вхместе с начальными условиями однозначно опреде­

ляют функции Х{0), Х*0), ..., Х(/°, .. . Нулевое прибли­ жение определяется из первого уравнения системы (2 .2),

которое совпадает с (1.2). Если Х*0) известно, второе уравнение в (2 .2) превращается в линейное уравнение

относительно X*1*, и вообще, если мы нашли функции Х\Ь), ..., то уравнение для Х\к) будет линей­ ным неоднородным уравнением с коэффициентами, зави­ сящими ог времени.

Т е о р е м а 2.1. Предположим, что траектории про- цесса |t((o) с вероятностью 1 непрерывны, функция Ь(х, у),

х е Rr, у е R1, имеет к + 1 ограниченных непрерывных частных производных по переменным х и у. Тогда

х? = Х Г + еХ<п + . . . + гкХ{к) + Reh+l (<),

где функции Х\г\ i = 0, 1, . . ., к, определяются из систе­ мы (2 .2), а

sup

|Я 1 н ( 0 |< С ( с о ) е * +1,

Р (ю) < оо} =

1.

Д о к а з а т е л ь с т в о .

Из

определения Xf, Х[{\

i = h0 , 1, . . ., к, вытекает, что функция

Rl+\ (0

= X* —

Л? eiXti) удовлетворяет соотношению

 

 

i=0

 

 

 

 

 

Hl+, (1) -

b (Xf, ej,) _ V

 

........j,)

 

 

i= 0

 

 

 

 

 

b (X ? ,e g ,)-M

S e 'X ^ .eE ,

+

 

 

 

1=0

 

 

 

+ b 2 е<Х,*\ eg,

-

2 в*Ф, (X (,0>t . . Х(Д g.)

(2.3)

■»=o

/

i=o

 

78

ВОЗМУЩЕНИЯ НА’КОНЕЧНОМ ОТРЕЗКЕ ВРЕМЕНИ

[ГЛ 2

Из ограниченности первых производных функции 6(х, у) вытекает, что первое слагаемое в правой части (2.3) оце­ нивается следующим образом:

 

Ь(Х1 e g , ) - 6

2 е’Х'Д eg,

 

(2-4)

 

 

i=0

 

 

где

Кг — некоторая

константа.

 

 

 

В разложении Тейлора для 6 ^ 2

е*Х*г),

вбли-

зи точки (Х*0), 0) коэффициенты при е*

равны Ф/,

вплоть

до

i /с. Отсюда вытекает, что

 

 

И i

«ь)- i .**,(*?».....

Vi= 0

1

1=0

 

<

. 2

Ktl.....

 

 

 

 

...\ x\ V \ ll\ w -K (2.5)

Здесь Kiu.u.tij — некоторые

постоянные, зависящие от

максимума

модуля

+

1)-х производных функции

Ь(х, у), от

iu . .

ij и от

размерности.

Оценку

|Х*г)1 дает следующая лемма:

Л е м м а

2.1.

Существуют константы

Ct <

оо

та­

кие, что |Х\г) |^

Ct

I I jl при всех

t ^

Т.

 

 

Д о к а з а т е л ь с т в о

проводится по

индукции

(разумеется, на основании уравнений (2 .2 )).

 

 

что

Если проинтегрировать (2.3) от 0 до t

и учесть,

/?ь_М (0) =

0, а также неравенства (2.4),

(2.5)

и

лемму

2 .1, то получим

I

k(k+1) г

 

 

,

|Д*-и ( * ) !< * , |fl*+i(s)|<fe +

tf2< 2

Iе •шах |£s|]*,

0

i= A + i L

 

 

где К2 — некоторая константа.

При е ^ (2

max |£5 |)—1

 

 

'

o<s<r

7

сумма в правой части не превосходит

I max |ls|r +1.

§ 2]

разложение по степеням малого параметра

79

Пользуемся леммой 1.1; получаем

|Дм-1 (t) |< efe+12Кгек'1(max ||s h ^ 1.

Это завершает доказательство теоремы.

Таким образом, если функция Ъ(х, у) достаточно глад­

кая, то можно вычислить X? с любой наперед заданной точностью. Для этого нужно проинтегрировать уравнения

для Х\г). Все эти уравнения линейные и имеют приблизи­ тельно одинаковую структуру. Нулевое приближение

Х\0) — это неслучайная функция, все приближения, на­ чиная с первого,— случайные процессы. Отметим* что

функция Х(/ } находится из уравнения

Х\1) = Вх(Х (Д

0 ) Хр> + Вг (Х<(0), 0 ) 6,; х\>1) =

0 .

Отсюда ясно, что X *0 получается из

с

помощью линей-

ного (неслучайного)

преобразования.

В

частности, если

|* — гауссовский процесс^

то Х\{) — тоже гауссовский,

и, следовательно,

Х\0) +

еХ*1) — приближение

Х\ с

точностью до величин порядка е2 — гауссовский процесс.

Остановимся подробнее на одномерном случае: Х\ — процесс в R\ |* — одномерный процесс. Тогда уравне­

ние для Х*1} может быть решено в квадратурах:

X' 0 = | Ь'г {Х[й\ 0) exp jjb\ {Х$\ 0) cfuj ds.

Выпишем уравнение для Х*2):

*!я =, ь\ (х“ , о) хр + !-[),;, и » , о)(х'/’)2 +

 

 

 

+ 2*;г(ХГ, о) А",1?, + Ь2,(Х "", 0) g],

 

X';' _

0.

Здесь b\, Ъ2 — производные по

х и у

соответственно

от

функции Ь(х, у); Ьц — вторые

производные

от

той

же

функции. Уравнение для Х*2)

можно

тоже

решить в

квадратурах; Х*2) — квадратичный функционал

от про­

80

ВОЗМУЩЕНИЙ НА КОНЕЧНОМ ОТРЕЗКЕ ВРЕМЕНИ

(ГЛ. 2

цесса

l t.

Аналогичный вид имеют

уравнения для

Х\г)

при t =

3, 4... Все

они могут быть последовательно

проинтегрированы в

квадратурах.

 

если

Эти уравнения становятся особенно простыми,

Хо =

х — положение

равновесия

невозмущенной

сис­

темы. В этом случае функции Х\г) находятся как решения линейных неоднородных уравнений с постоянными коэф­ фициентами.

Теорему 2.1 можно использовать для вычисления раз­ ложении по степеням малого параметра гладких функций

от Xf и их математических ожиданий. Например, если первые и вторые производные функции )(х) ограничены, то

М/ (АТ) = М [/ (А Н + ( V / (А(И , А Н 8 + <9 (е2)] ==

 

 

= / (А Н

+ е (V / ( А'0)),

МА(Н + О (е2),

где

функция

m(t) — MAj1’ — решение

дифференциал ь-

ного

уравнения

 

 

 

т (0 =

В, (А<0), 0)

т (/) + В2 (А<(0), 0) Mgt.

Переходим теперь к уравнению (1.3). Формально мож­ но считать, что уравнение (1.3) есть частный случай (1 .1) с Ь(х, у) = Ь(х) + о(х)у и, считая Ь(х) и а(:г) достаточно гладкими, записать для этого случая уравнения (2 .2):

 

±(°> =

ь (а Н ,

а (00) =

а ? = х,

 

 

Х\" =

В (А (0)) А, 0 +

а (А '0)) W U А'0° = 0,

 

.....................................................................................................................

 

 

 

 

(2 -6)

 

а ^

ф Д а ^

. . . ,

X[k\ щ), х Г =

0,

г,

х

[м { (*)\

все уравнения

wt входит лп-

Здесь

В(х)

= I

dxj

I. Во

нейно. Совокупность первых к уравнений системы (2.6) можно рассматривать как стохастическое дифференциаль-

ное уравнение для процесса А£+1 — (А(,0), А^, , . А^) -