Системы стохастических уравнений — различия между версиями

Материал из synset
Перейти к: навигация, поиск
м (Защищена страница «Системы стохастических уравнений» ([edit=sysop] (бессрочно) [move=sysop] (бессрочно)))
Строка 7: Строка 7:
  
  
 +
<math>\textstyle \bullet</math> В общем случае система стохастических уравнений записывается в виде:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> dx_i = a_i(\mathbf{x},t)\, dt + b_{i\alpha}(\mathbf{x},t)\,\delta W_\alpha, </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
где <math>\textstyle i=1,...,n</math>, по повторяющемуся индексу <math>\textstyle \alpha=1,...,m</math> предполагается суммирование, и в общем случае <math>\textstyle n\neq m</math>. Можно опустить не только знак суммы, но и индексы, записав стохастическое уравнение в матричном виде:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> d\mathbf{x} = \mathbf{a}(\mathbf{x},t)\, dt + \mathbf{b}\cdot\delta \mathbf{W}, </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
где <math>\textstyle \mathbf{a}</math> &mdash; векторная функция, а <math>\textstyle \mathbf{b}</math> &mdash; матричная, размерности <math>\textstyle n\,</math>x<math>\textstyle \,m</math>. Вектор винеровских переменных, как и в одномерном случае, записывается через гауссовы случайные числа:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> \delta \mathbf{W} = \{\delta W_1,...,\delta W_m \} = \{ \varepsilon_1,..., \varepsilon_m \}\cdot \sqrt{t} = \mathbf{\epsilon}\cdot \sqrt{t}. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
Мы будем считать, что <math>\textstyle \left\langle \varepsilon_\alpha \varepsilon_\beta\right\rangle =\delta_{\alpha\beta}</math>, а эффекты корреляции переносить на матрицу <math>\textstyle b_{i\alpha}</math>. Скоррелированные величины <math>\textstyle \varepsilon'_\alpha</math> можно выразить через нескоррелированные при помощи линейного преобразования <math>\textstyle \epsilon'= \mathbf{S}\cdot \epsilon</math>, поэтому стохастический член в уравнении Ито со скоррелированными винеровскими переменными <math>\textstyle \mathbf{b}'\cdot \epsilon' \sqrt{dt}</math> эквивалентен <math>\textstyle (\mathbf{b}'\cdot \mathbf{S})\cdot \epsilon \sqrt{dt}</math>.
 +
 +
<math>\textstyle \bullet</math> Численное моделирование выполняется при помощи выбора малого интервала времени <math>\textstyle \Delta t</math>. После этого генерится вектор <math>\textstyle m</math> нормально распределённых чисел <math>\textstyle \mathbf{\epsilon} = \{ \varepsilon_1,..., \varepsilon_m \}</math> и вычисляется набор значений процессов в следующий момент времени. Для первой итерации:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> x_i= x_{0i} + a_i(\mathbf{x}_0, t_0)\,\Delta t + b_{i\alpha}(\mathbf{x}_0, t_0)\,\varepsilon_\alpha\, \sqrt{\Delta t}. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
Процессы <math>\textstyle \mathbf{x}(t)=\{x_1(t),...,x_n(t)\}</math> мы всегда нумеруем, начиная с индекса 1, а нулевой индекс <math>\textstyle x_{0i}</math> - это значение <math>\textstyle i</math>-того процесса в момент времени <math>\textstyle t_0</math>, т.е. <math>\textstyle x_{0i}=x_i(t_0)</math>.
 +
 +
Несложно проверить, что смысл коэффициентов сноса определяется средним <math>\textstyle \left\langle x_i-x_{0i}\right\rangle /\Delta t= a_i(\mathbf{x}_0, t_0)</math>, а диффузия:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> \frac{\left\langle (x_i-x_{0i})\cdot (x_j-x_{0j})\right\rangle }{\Delta t}=b_{i\alpha}(\mathbf{x}_0, t_0)\, b_{j\alpha}(\mathbf{x}_0, t_0) = (\mathbf{b}\cdot \mathbf{b}^{T})_{ij} </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
при <math>\textstyle \Delta t\to 0</math> стремится к произведению матриц волатильности, где <math>\textstyle b^{T}_{ij}=b_{ji}</math> - операция транспонирования (перестановки) индексов.
 +
 +
<math>\textstyle \bullet</math> Обобщим лемму Ито на <math>\textstyle n</math>-мерный случай. Пусть <math>\textstyle F(\mathbf{x},t)</math> &mdash; дифференцируемая функция. Разложим её в ряд Тейлора в окрестности точки <math>\textstyle \mathbf{x}_0, t_0</math>:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> F(\mathbf{x},t) = F(\mathbf{x}_0, t_0) + \frac{\partial F}{\partial t} \Delta t + \frac{\partial F}{\partial x_i}\,\Delta x_i +\frac{1}{2}\frac{\partial^2 F}{\partial x_i \partial x_j} \,\Delta x_i \Delta x_j+... </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
По повторяющимся индексам проводится суммирование, и все функции в правой части вычисляются в точке <math>\textstyle \mathbf{x}_0, t_0</math>. В соответствии с ():
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> \Delta x_i = a_i(\mathbf{x}_0, t_0)\Delta t + b_{i\alpha}(\mathbf{x}_0, t_0)\,\varepsilon_\alpha\,\sqrt{\Delta t}. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
Изменение функции <math>\textstyle dF=F(\mathbf{x},t) - F(\mathbf{x}_0, t_0) </math> подчиняется стохастическому уравнению Ито:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> dF = A(\mathbf{x}_0,t_0)\, dt + B_{\alpha}(\mathbf{x}_0,t_0)\,\delta W_\alpha. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
Подставляя () в () и сохраняя члены порядка <math>\textstyle \sqrt{\Delta t}</math>, <math>\textstyle \Delta t</math>, получаем:
 +
 +
:<center><math>F-F_0 \approx \left(\frac{\partial F}{\partial t}+\frac{\partial F}{\partial x_i}\,a_i + \frac{1}{2}\frac{\partial^2 F}{\partial x_i\partial x_j}\,b_{i\alpha}b_{j\beta}\varepsilon_\alpha\varepsilon_\beta\right)\,\Delta t +\frac{\partial F}{\partial x_i}\,b_{i\alpha}\varepsilon_\alpha \sqrt{\Delta t}.</math></center>
 +
 +
Снос <math>\textstyle A(\mathbf{x}_0,t_0)</math> по определению равен пределу <math>\textstyle \left\langle F-F_0\right\rangle /\Delta t</math> при <math>\textstyle \Delta t\to 0</math> и находится с учётом соотношений <math>\textstyle \left\langle \varepsilon_\alpha \varepsilon_\beta\right\rangle =\delta_{\alpha\beta}</math>. Для диффузии, в соответствии с (), имеем:
 +
 +
:<center><math>\frac{\left\langle (F-F_0)^2\right\rangle }{\Delta t} \;=\; \frac{\partial F}{\partial x_i}\,\frac{\partial F}{\partial x_j} \; b_{i\alpha}b_{j\alpha} \;=\; B_{\alpha} B_{\alpha}.</math></center>
 +
 +
Поэтому стохастическое уравнение для скалярной функции <math>\textstyle n+1</math> переменных <math>\textstyle F(\mathbf{x},t)</math>, в которую вместо аргументов <math>\textstyle \bf x</math> подставлены случайные процессы <math>\textstyle \mathbf{x}(t)</math>, записывается следующим образом:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> dF = \left(\frac{\partial F}{\partial t} + \frac{\partial F}{\partial x_i} \,a_i +\frac{1}{2}\frac{\partial^2 F}{\partial x_i\partial x_j}\, b_{i\alpha} b_{j\alpha}\right)\, dt + \frac{\partial F}{\partial x_i}\, b_{i\alpha} \,\delta W_\alpha. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
Если функция <math>\textstyle F</math> &mdash; не скалярная, а векторная, то это соотношение справедливо для каждой из её компонент.
 +
 +
Введя символ ''следа матрицы'', равного сумме диагональных элементов <math>\textstyle \mathrm{Tr}\,\mathbf{A} = A_{\alpha\alpha} = A_{11}+...+A_{nn}</math>, можно записать лемму Ито в матричном виде:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> dF = \left( \frac{\partial F}{\partial t} + \frac{\partial F}{\partial \mathbf{x}}\cdot \,\mathbf{a} +\frac{1}{2} \mathrm{Tr}\,\left[ \mathbf{b}^T \cdot \frac{\partial^2 F}{\partial \mathbf{x}^2} \cdot \mathbf{b} \right] \right)\, dt + \frac{\partial F}{\partial \mathbf{x}}\cdot \mathbf{b} \cdot \delta \mathbf{W}, </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(EQN)'''</div>
 +
|}
 +
 +
где <math>\textstyle \partial^2 F/\partial \mathbf{x}^2</math> &mdash; ''матрица'' вторых производных.
  
 
----
 
----

Версия 19:33, 21 февраля 2010

Скоррелированные блуждания << Оглавление >> Уравнение стохастического осциллятора


В общем случае система стохастических уравнений записывается в виде:

(EQN)

где , по повторяющемуся индексу предполагается суммирование, и в общем случае . Можно опустить не только знак суммы, но и индексы, записав стохастическое уравнение в матричном виде:

(EQN)

где — векторная функция, а — матричная, размерности x. Вектор винеровских переменных, как и в одномерном случае, записывается через гауссовы случайные числа:

(EQN)

Мы будем считать, что , а эффекты корреляции переносить на матрицу . Скоррелированные величины можно выразить через нескоррелированные при помощи линейного преобразования , поэтому стохастический член в уравнении Ито со скоррелированными винеровскими переменными эквивалентен .

Численное моделирование выполняется при помощи выбора малого интервала времени . После этого генерится вектор нормально распределённых чисел и вычисляется набор значений процессов в следующий момент времени. Для первой итерации:

(EQN)

Процессы мы всегда нумеруем, начиная с индекса 1, а нулевой индекс - это значение -того процесса в момент времени , т.е. .

Несложно проверить, что смысл коэффициентов сноса определяется средним , а диффузия:

(EQN)

при стремится к произведению матриц волатильности, где - операция транспонирования (перестановки) индексов.

Обобщим лемму Ито на -мерный случай. Пусть — дифференцируемая функция. Разложим её в ряд Тейлора в окрестности точки :

(EQN)

По повторяющимся индексам проводится суммирование, и все функции в правой части вычисляются в точке . В соответствии с ():

(EQN)

Изменение функции подчиняется стохастическому уравнению Ито:

(EQN)

Подставляя () в () и сохраняя члены порядка , , получаем:

Снос по определению равен пределу при и находится с учётом соотношений . Для диффузии, в соответствии с (), имеем:

Поэтому стохастическое уравнение для скалярной функции переменных , в которую вместо аргументов подставлены случайные процессы , записывается следующим образом:

(EQN)

Если функция — не скалярная, а векторная, то это соотношение справедливо для каждой из её компонент.

Введя символ следа матрицы, равного сумме диагональных элементов , можно записать лемму Ито в матричном виде:

(EQN)

где матрица вторых производных.


Скоррелированные блуждания << Оглавление >> Уравнение стохастического осциллятора

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