Интегрирование стохастических уравнений — различия между версиями
WikiSysop (обсуждение | вклад) |
WikiSysop (обсуждение | вклад) |
||
Строка 15: | Строка 15: | ||
{| width="100%" | {| 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> | | 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">'''( | + | | <div width="10%" align="right" style="color:#0000CC">'''(5.22)'''</div> |
|} | |} | ||
− | Пределы интегрирования выбраны таким образом, чтобы автоматически выполнялось начальное условие <math>\textstyle x_0=x(t_0)</math>. На самом деле (), конечно, не решение, а ''интегральное уравнение'', которое обычно решить сложнее, чем исходное дифференциальное. | + | Пределы интегрирования выбраны таким образом, чтобы автоматически выполнялось начальное условие <math>\textstyle x_0=x(t_0)</math>. На самом деле (5.22), конечно, не решение, а ''интегральное уравнение'', которое обычно решить сложнее, чем исходное дифференциальное. |
При формальном обосновании стохастических уравнений сначала определяется стохастическое интегрирование, затем записывается интегральное уравнение, и только после этого рассматриваются дифференциальные уравнения. Мы в этой книге приняли обратную форму изложения. | При формальном обосновании стохастических уравнений сначала определяется стохастическое интегрирование, затем записывается интегральное уравнение, и только после этого рассматриваются дифференциальные уравнения. Мы в этой книге приняли обратную форму изложения. | ||
Строка 26: | Строка 26: | ||
:<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> | :<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> | ||
− | Как мы знаем из (), этот интеграл выражается через скалярную гауссову величину <math>\textstyle \varepsilon\sim N(0,1)</math>: | + | Как мы знаем из (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>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> | ||
Строка 48: | Строка 48: | ||
:<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> | :<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> | ||
− | Обычно это решение в таком виде и остаётся, а вычисление средних проводится по формулам, подобным (). Так как среднее стохастического интеграла по <math>\textstyle \delta W</math> равно нулю, то для среднего значения процесса Орнштейна - Уленбека имеем: | + | Обычно это решение в таком виде и остаётся, а вычисление средних проводится по формулам, подобным [[Интегралы Ито|(5.13)]]. Так как среднее стохастического интеграла по <math>\textstyle \delta W</math> равно нулю, то для среднего значения процесса Орнштейна - Уленбека имеем: |
:<center><math>\left\langle x(t)\right\rangle = \alpha + (x_0 - \alpha)\,e^{-\beta t}.</math></center> | :<center><math>\left\langle x(t)\right\rangle = \alpha + (x_0 - \alpha)\,e^{-\beta t}.</math></center> | ||
Строка 58: | Строка 58: | ||
</center> | </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> | :<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> | ||
− | Удобнее, конечно, при помощи () сразу записать решение через гауссову переменную <math>\textstyle \varepsilon</math>, а затем вычислять средние. | + | Удобнее, конечно, при помощи (5.12) сразу записать решение через гауссову переменную <math>\textstyle \varepsilon</math>, а затем вычислять средние. |
В следующей главе (стр. \pageref{int_logistic_from_ito_N}) при помощи многомерной версии леммы Ито мы получим интегральное представление решения логистического уравнения и уравнения с линейным по <math>\textstyle x</math> сносом и волатильностью. | В следующей главе (стр. \pageref{int_logistic_from_ito_N}) при помощи многомерной версии леммы Ито мы получим интегральное представление решения логистического уравнения и уравнения с линейным по <math>\textstyle x</math> сносом и волатильностью. |
Текущая версия на 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).
Квадратичный функционал << | Оглавление | >> Единственность решений |
---|
Стохастический мир - простое введение в стохастические дифференциальные уравнения