- •Случайные события
- •Стохастический мир
- •Случайные величины
- •Совместная и условная вероятности
- •Зависимость и независимость
- •Характеристическая функция
- •Модель аддитивного блуждания
- •Случайные процессы
- •Стохастические уравнения
- •Уравнение Ито
- •Остановка перед восхождением
- •Лемма Ито
- •Точные решения
- •Простые стохастические модели
- •Представление решений
- •Автокорреляция и спектр
- •Порождающий процесс Винера
- •Средние значения
- •Динамическое уравнение для средних
- •Процесс Феллера
- •Логистическое уравнение
- •Вероятности
- •Марковские плотности вероятности
- •Граничные условия
- •Стохастические интегралы
- •Площадь под траекторией Винера
- •Интегралы Ито
- •Интегрирование стохастических уравнений
- •Единственность решений
- •Метод последовательных приближений
- •Системы уравнений
- •Скоррелированные блуждания
- •Системы стохастических уравнений
- •Стохастический осциллятор
- •Линейные многомерные модели
- •Многомерие помогает одномерию
- •Как решать стохастические задачи?
- •Стохастическая природа
- •Теория броуновского движения
- •Стохастический осциллятор
- •Дрожание земной оси
- •Электронный шум
- •Хищники и их жертвы
- •Стохастическое общество
- •Финансовые рынки
- •Эмпирические закономерности
- •Диверсификация
- •Портфель на всю жизнь
- •Опционы
- •Кривая доходности
- •Компьютерное моделирование
- •Статистики
- •Случайные числа
- •Моделирование стохастических процессов
- •Ошибки вычислений и ускорение сходимости
- •Вычисление средних
- •R: Стохастический справочник
- •Основные соотношения теории
- •Системы уравнений с одинаковым шумом
- •M: Математические приложения
- •H: Помощь
- •C: Примечания
- •Рекомендуемая литература
160 |
Глава 6. |
6.3Стохастический осциллятор
В качестве примера решения стохастической задачи в двух измерениях n = m = 2 рассмотрим движение по окружности с частотой ! и по-
степенным уменьшением радиуса. Детерминированная версия подобной спирали может иметь следующую зависимость координат от времени:
y |
t |
x(t) = e t (x0 cos !t y0 sin !t) |
|
x |
y(t) = e t (x0 sin !t + y0 cos !t) |
|
|
B Начальные условия: x0 = x(0); y0 = y(0). |
|
|
B Радиус: r(t) = px2 + y2 = r0 e t. |
Примеры систем с таким поведением мы рассмотрим в следующей главе. Сейчас наша цель математическое описание стохастической динамики. Для этого найд¼м решение системы уравнений следующего вида:
dx = ( x ! y) dt + Wx dy = (+! x y) dt + Wy:
pp
Предполагается, что шум Wx = "x t, Wy = "y t по каждой координате нескоррелирован. В качестве упражнения ( l H29) стоит записать эту же систему для скоррелированного шума.
Зависимость среднего значения от времени находим из (6.16):
x_ = x ! y y_ = +! x y:
Умножим второе из уравнений на мнимую единицу { ({2 = 1) è ñëî-
жим их. В результате для комплексной величины z = x+{y и параметра= {! получим одномерное уравнение z_ = z: Оно легко инте- грируется:
z(t) = e t z0 = e t+{! t z0 = e t(cos !t + { sin !t)z0;
ãäå z0 = z(0) = x0 +{y0 начальное условие. Приравняв действительную и мнимую части:
|
|
|
(t) = e t (x0 cos !t y0 sin !t) |
(6.18) |
x |
||||
|
(t) = e t (x0 sin !t + y0 cos !t); |
|
||
y |
|
получаем решение для эволюции средних значений координат в виде спирали. По каждой координате происходят затухающие периодические колебания. Параметр ! является их частотой, скоростью затухания.
Системы уравнений |
161 |
Найд¼м теперь, как вед¼т себя среднее значение квадрата расстоя-
ния от начала координат. Воспользуемся матричной записью уравнения |
|||||||||||||||||||||
|
|
|
среднего |
|
x_2 |
|
= 2 x |
a + Tr b |
|
|
bT |
|
. В нашем случае: |
||||||||
(6.17) äëÿ |
|
x |
|
h |
|
i |
h |
ix !y |
|
|
|
1 |
0 |
|
|||||||
|
|
|
y |
|
|
|
+!x y |
; |
|
|
|
0 |
1 |
||||||||
|
|
x = |
; |
|
|
|
a = |
|
|
|
b = |
: |
|||||||||
Поэтому получаем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
x_2 = 2 x2 + 2 2 |
|
=> |
x2(t) = |
|
|
|
+ |
x02 + y02 |
|
e 2 t: |
||||||||||
|
|
|
|
|
|
Таким образом, когда колебания затухнут ( t ! 1), останется ненуле-
вая дисперсия квадрата, тем большая, чем медленнее происходило затухание! Этот результат свидетельствует о стабилизирующей роли сильного трения (большие ) при внешних стохастических толчках. Несмотря
на то, что находится в знаменателе, особенности при = 0 нет. Раскладывая экспоненту, несложно убедиться, что при = 0 среднее равно
x2 = x20 + y02 + 2 2t. Это означает, что, как и в винеровском блуждании, внешние толчки со временåм размываþт круговую траекторию. Найти асимптотическое решение x2(t), y2(t), xy(t) в ситуации скоррелированно-
го шума предлагается в качестве упражнения ( l H30).
Выразим решение задачи через гауссовы переменные. В комплексных обозначениях стохастическое уравнение имеет компактный вид:
dz = z dt + W;
p
ãäå W = " dt, " = "x + {"y комплексное гауссово число, а z и
определены выше. Перейд¼м, при помощи формулы Ито, к переменной F = ze t. Е¼ динамическое уравнение не будет содержать сноса:
dF = e t W = S(t) W;
ãäå S(t) = e t. Решим уравнение dF = S(t) W итерациями (k = 1:::n):
Xp
F = F0 + S(tk 1)"(tk) t:
Как функция S(t), так и "k являются комплексными величинами, поэто-
му необходима определ¼нная осторожность по сворачиванию этой суммы |
||||||||||||||||||||||||||
в одно гауссово число. Распишем действительные и мнимые части: |
||||||||||||||||||||||||||
X[Sx + {Sy]["x + {"y]p |
|
= X[(Sx"xS " |
Sy" |
y) + {(Sx"y + Sy"x)]p |
|
|
||||||||||||||||||||
t |
t; |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
x0 |
|
S "y0 |
|||||||||||||||||||||||
|
|
|
q |
|
|
|
|
|
|
|
| |
j {zj |
} |
| |
|
j {zj |
} |
|
|
|||||||
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
||||||||||||||
ãäå S |
j |
= |
|
S |
|
+ S |
|
|
|
модуль комплексного числа, а |
"0 , |
"0 новые нескор- |
||||||||||||||
j |
|
|
|
x |
|
|
|
y |
|
|
|
|
x |
x |
|
|
|
|
||||||||
релированные |
x0 |
" |
y0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
" |
|
|
|
= 0 гауссовы числа. |
|
|
|
|
|
|
|
|
|
|
|
162 |
Глава 6. |
Опуская штрихи и повторяя рассуждения одномерного случая (стр. 56), мы можем окончательно записать:
F (t) = F (t0) + |
2Zt |
jS( )j2d |
31=2 |
"; |
|
4 |
|
5 |
|
t0
ãäå " = "x+{"y по-прежнему комплексная гауссова случайная величина. Заметим, что действительная и мнимая части выражения "0 = e{ "
являются независимыми гауссовыми числами. Действительно, распишем
их в явном виде:
"0x = "x cos "y sin "0y = "x sin + "y cos
Прямым вычислением проверяем |
"x02 |
|
= "y02 |
= 1 è |
"x0 "y0 |
= 0. Поэто- |
|||||
му множители типа e{!t перед |
|
|
|
|
|
|
|
||||
|
комплексным гауссовым числом можно |
||||||||||
опускать, так как e{ " статистически эквивалентно просто " |
|||||||||||
Проводя интегрирование для jS( )j2 |
|
= 2 e2 и учитывая, что z = |
|||||||||
F e t, z0 = F0, äëÿ t0 = 0 получаем: |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
z = z0 e t+{!t |
|
|
p1 e 2 t " |
|
|
||||||
+ |
p |
|
|
(6.19) |
|||||||
2 |
|
или в явном виде для действительной и мнимой частей:
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
p |
||||||||
|
|
|
|
|
|
|
|||||||
x(t) |
= |
x(t) + |
p |
2 |
|
|
1 e 2 t "x |
||||||
|
|
|
|
|
|
p |
|
"y; |
|||||
y(t) |
= |
|
(t) + |
p |
|
1 e 2 t |
|||||||
y |
|||||||||||||
2 |
где x(t) и y(t) средние, определяемые выражениями (6.18). В качестве
упражнения стоит найти x2(t), y2(t), xy(t) и проверить справедливость
уравнений для средних (l H31).
Квадрат величины jzj2 = x2 + y2 является квадратом радиус-вектора,
для которого уже известно среднее значение. Сделаем это ещ¼ раз при помощи (6.19):
jztj2 = jz0j2 e 2 t + 2 1 e 2 t :
Обращаем внимание на то, что j"j2 = h"" i = "2x + "2y = 2, где зв¼здочка обозначает комплексное сопряжение.
В решении, аналогично одномерному случаю, можно выразить z в момент времени t + через z в момент t:
|
|
|
|
|
||
|
|
|
|
|||
zt+ = zte +{! + |
p |
|
p1 |
e 2 "; |
||
2 |
что легко позволяет вычислить, например, среднее hzt zt+ i (l H32).
Системы уравнений |
163 |
При больших временах t ! 1 решение забывает начальные усло-
вия, и средние стремятся к нулю. Распределение становится стационарным по каждой из координат. Однако это не означает, что периодические свойства системы исчезают. Чтобы в этом убедиться, найд¼м ковариационную функцию, например, по координате x. Выражая решение относи-
тельно начального момента времени t, имеем:
|
|
|
|
||
xt+ = e (xt cos ! yt sin ! ) + |
"x p1 e 2 |
||||
p |
|
||||
2 |
Найдем covxx(t; t + ) = hxtxt+ i hxti hxt+ i в пределе t ! 1. Так как в этом случае hxti = hyti = hxtyti = 0, à x2t = 2=2 , получаем, как и следовало ожидать, стационарную ковариационную функцию, зависящую только от > 0:
covxx(t; t + ) ! cov( ) = 2 e cos ! : 2
Она оказывается периодической функцией сдвига . Фурье-образ ковари-
ационной функции характеризует спектральные свойства процесса (стр. 68):
|
2 |
1 |
|
2 |
|
1 |
|
1 |
: |
|
S( ) = |
|
Z0 |
cov( ) cos( ) d = |
|
|
+ |
|
|
||
|
2 |
2 + ( + !)2 |
2 + ( !)2 |
Таким образом, спектр имеет максимум в окрестности = !. Он тем уже, чем меньше параметр затухания . Тем не менее, это не строго пери-
одическое движение, так как типичная частота размазана и сдвинута первым слагаемым в квадратных скобках.
На левом рисунке ниже представлена траектория стохастического осциллятора при достаточно больших временах, когда начальные условия уже забыты . Справа колебания по каждой координате:
y |
x |
x |
y |
Системы, обладающие подобным поведением, мы рассмотрим в следующей главе, а сейчас решим многомерное линейное уравнение.