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

Материал из synset
Перейти к: навигация, поиск
(Новая страница: «{| width="100%" | width="40%"|Квадратичный функционал << ! width="20%"|Оглавление …»)
 
 
(не показаны 3 промежуточные версии этого же участника)
Строка 7: Строка 7:
  
  
 +
<math>\textstyle \bullet</math> Стохастические интегралы являются традиционным способом записи решения стохастических дифференциальных уравнений. "Проинтегрировав" уравнение
 +
 +
:<center><math>dx = a(x,t)\,dt + b(x,t)\,\delta W,</math></center>
 +
 +
можно записать:
 +
 +
{| width="100%"
 +
| width="90%" align="center"|<math> x(t) = x(t_0) + \int\limits^t_{t_0} a(x(\tau), \tau) \, d\tau + \int\limits^t_{t_0} b(x(\tau), \tau) \, \delta W_\tau. </math>
 +
| <div width="10%" align="right" style="color:#0000CC">'''(5.22)'''</div>
 +
|}
 +
 +
Пределы интегрирования выбраны таким образом, чтобы автоматически выполнялось начальное условие <math>\textstyle x_0=x(t_0)</math>. На самом деле (5.22), конечно, не решение, а ''интегральное уравнение'', которое обычно решить сложнее, чем исходное дифференциальное.
 +
 +
При формальном обосновании стохастических уравнений сначала определяется стохастическое интегрирование, затем записывается интегральное уравнение, и только после этого рассматриваются дифференциальные уравнения. Мы в этой книге приняли обратную форму изложения.
 +
 +
<math>\textstyle \bullet</math> Если снос и волатильность не зависят от <math>\textstyle x</math>, то интегральное уравнение оказывается решением нестационарного винеровского блуждания:
 +
 +
:<center><math>x(t) = x(t_0) + \int\limits^t_{t_0} a(\tau) \, d\tau + \int\limits^t_{t_0} b(\tau) \, \delta W_\tau.</math></center>
 +
 +
Как мы знаем из (5.12), этот интеграл выражается через скалярную гауссову величину <math>\textstyle \varepsilon\sim N(0,1)</math>:
 +
 +
:<center><math>x(t) = x(t_0) + \int\limits^t_{t_0} a(\tau) \, d\tau + \left[\int\limits^t_{t_0} b^2(\tau) \right]^{1/2}\,\varepsilon,</math></center>
 +
 +
и, следовательно, сводится к обычным детерминированным интегралам. Естественно, чтобы вычислить, например, корреляцию с порождающим винеровским блужданием, необходимо учесть, что в данном случае:
 +
 +
:<center><math>\left\langle x(t)\cdot W_t\right\rangle = \int\limits^t_{t_0} b(\tau) \, d\tau.</math></center>
 +
 +
Поэтому <math>\textstyle \varepsilon</math> в решении и в записи винеровского процесса <math>\textstyle W_t=\varepsilon\,\sqrt{t}</math> являются различными скоррелированными случайными числами.
 +
 +
<math>\textstyle \bullet</math> Иногда простыми заменами можно устранить зависимость в уравнении от <math>\textstyle x</math>, тем самым превратив интегральное уравнение в решение задачи. Рассмотрим в качестве примера уравнение Орнштейна-Уленбека:
 +
 +
:<center><math>dx = -\beta\cdot (x-\alpha)\,dt + \sigma\delta W.</math></center>
 +
 +
Сделаем в нём замену переменных <math>\textstyle y=e^{\beta t}\, (x-\alpha)</math>. В силу леммы Ито новый процесс <math>\textstyle y</math> удовлетворяет следующему уравнению:
 +
 +
:<center><math>dy = \sigma e^{\beta t}\,\delta W\;\;\;\;\;\;=>\;\;\;\;\;\;\;y(t)=y(0) + \sigma \int\limits^t_0 e^{\beta \tau} \, \delta W_\tau.</math></center>
 +
 +
Отсюда решение исходного уравнения имеет вид:
 +
 +
:<center><math>x(t) = \alpha + (x_0 - \alpha)\,e^{-\beta t} + \sigma \int\limits^t_0 e^{-\beta \,(t-\tau)} \, \delta W_\tau.</math></center>
 +
 +
Обычно это решение в таком виде и остаётся, а вычисление средних проводится по формулам, подобным [[Интегралы Ито|(5.13)]]. Так как среднее стохастического интеграла по <math>\textstyle \delta W</math> равно нулю, то для среднего значения процесса Орнштейна - Уленбека имеем:
 +
 +
:<center><math>\left\langle x(t)\right\rangle = \alpha + (x_0 - \alpha)\,e^{-\beta t}.</math></center>
 +
 +
Дисперсия процесса <math>\textstyle \sigma^2_x(t)=\left\langle (x-\bar{x})^2\right\rangle </math> равняется:
 +
 +
<center>
 +
[[File:ito_eq06.png]]
 +
</center>
 +
 +
Для вычисления среднего необходимо воспользоваться [[Интегралы Ито|(5.13)]]:
 +
 +
:<center><math>\sigma^2_x(t) = \sigma^2\int\limits^t_0 e^{-2\beta (t-s)} \, ds = \frac{\sigma^2 }{2\beta}\left[1-e^{-2\beta t}\right].</math></center>
 +
 +
Удобнее, конечно, при помощи (5.12) сразу записать решение через гауссову переменную <math>\textstyle \varepsilon</math>, а затем вычислять средние.
 +
 +
В следующей главе (стр. \pageref{int_logistic_from_ito_N}) при помощи многомерной версии леммы Ито мы получим интегральное представление решения логистического уравнения и уравнения с линейным по <math>\textstyle x</math> сносом и волатильностью.
 +
 +
Стохастические интегралы &mdash; это очень изящная математическая конструкция. Однако до сих пор в этих лекциях мы их не использовали, получая решения уравнений другими методами. (<math>\textstyle \lessdot</math> C).
  
 
----
 
----

Текущая версия на 19:48, 15 марта 2010

Квадратичный функционал << Оглавление >> Единственность решений


Стохастические интегралы являются традиционным способом записи решения стохастических дифференциальных уравнений. "Проинтегрировав" уравнение

можно записать:

(5.22)

Пределы интегрирования выбраны таким образом, чтобы автоматически выполнялось начальное условие . На самом деле (5.22), конечно, не решение, а интегральное уравнение, которое обычно решить сложнее, чем исходное дифференциальное.

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

Если снос и волатильность не зависят от , то интегральное уравнение оказывается решением нестационарного винеровского блуждания:

Как мы знаем из (5.12), этот интеграл выражается через скалярную гауссову величину :

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

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

Иногда простыми заменами можно устранить зависимость в уравнении от , тем самым превратив интегральное уравнение в решение задачи. Рассмотрим в качестве примера уравнение Орнштейна-Уленбека:

Сделаем в нём замену переменных . В силу леммы Ито новый процесс Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle y} удовлетворяет следующему уравнению:

Отсюда решение исходного уравнения имеет вид:

Обычно это решение в таком виде и остаётся, а вычисление средних проводится по формулам, подобным (5.13). Так как среднее стохастического интеграла по равно нулю, то для среднего значения процесса Орнштейна - Уленбека имеем:

Дисперсия процесса равняется:

Ito eq06.png

Для вычисления среднего необходимо воспользоваться (5.13):

Удобнее, конечно, при помощи (5.12) сразу записать решение через гауссову переменную , а затем вычислять средние.

В следующей главе (стр. \pageref{int_logistic_from_ito_N}) при помощи многомерной версии леммы Ито мы получим интегральное представление решения логистического уравнения и уравнения с линейным по сносом и волатильностью.

Стохастические интегралы — это очень изящная математическая конструкция. Однако до сих пор в этих лекциях мы их не использовали, получая решения уравнений другими методами. ( C).


Квадратичный функционал << Оглавление >> Единственность решений

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