Интегрирование стохастических уравнений — различия между версиями
WikiSysop (обсуждение | вклад) (Новая страница: «{| width="100%" | width="40%"|Квадратичный функционал << ! width="20%"|Оглавление …») |
WikiSysop (обсуждение | вклад) |
||
(не показаны 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> сносом и волатильностью. | ||
+ | |||
+ | Стохастические интегралы — это очень изящная математическая конструкция. Однако до сих пор в этих лекциях мы их не использовали, получая решения уравнений другими методами. (<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). Так как среднее стохастического интеграла по равно нулю, то для среднего значения процесса Орнштейна - Уленбека имеем:
Дисперсия процесса равняется:
Для вычисления среднего необходимо воспользоваться (5.13):
Удобнее, конечно, при помощи (5.12) сразу записать решение через гауссову переменную , а затем вычислять средние.
В следующей главе (стр. \pageref{int_logistic_from_ito_N}) при помощи многомерной версии леммы Ито мы получим интегральное представление решения логистического уравнения и уравнения с линейным по сносом и волатильностью.
Стохастические интегралы — это очень изящная математическая конструкция. Однако до сих пор в этих лекциях мы их не использовали, получая решения уравнений другими методами. ( C).
Квадратичный функционал << | Оглавление | >> Единственность решений |
---|
Стохастический мир - простое введение в стохастические дифференциальные уравнения