Случайные процессы

Броуновское движение

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

  • **Финансовые рынки** - модель Блэка-Шоулза предполагает, что логарифм цены акции - броуновское движение с дрейфом
  • **Диффузионные модели (Diffusion Models, DDPM)** - шумовой процесс добавления и удаления броуновского шума лежит в основе современной генеративной AI
  • **Физика** - броуновская диффузия, уравнение Фоккера-Планка, квантовая механика Фейнмана используют пути броуновского движения

Предварительные знания

  • Martingale Inequalities and Convergence
  • Poisson Process

Броуновское движение

В 1827 году ботаник Роберт Браун наблюдал хаотичное движение пыльцевых зёрен в воде. В 1905 году Эйнштейн объяснил это беспорядочными ударами молекул. Математическую модель - **броуновское движение** (процесс Винера) - построил Норберт Винер в 1923 году. Это непрерывный случайный процесс с независимыми гауссовскими приращениями: предел нормированного случайного блуждания.

**Стандартное броуновское движение** - процесс {B(t), t ≥ 0} такой, что: 1. B(0) = 0 2. Независимые приращения: B(t)-B(s) ⊥ B(u), u ≤ s 3. Гауссовские приращения: B(t)-B(s) ~ N(0, t-s) 4. Непрерывные траектории: t ↦ B(t) непрерывна п.н.

Броуновское движение является и **мартингалом**, и **гауссовским процессом**. Ковариационная функция Cov(B(s), B(t)) = min(s, t) - это и есть полная характеристика B как гауссовского процесса. Броуновское движение - центральный объект стохастического анализа: на нём строятся интегралы Ито, уравнения Блэка-Шоулза и диффузионные модели в ML.

СвойствоФормулаСледствие
СреднееE[B(t)] = 0Мартингал
ДисперсияVar[B(t)] = tB(t)/√t ~ N(0,1)
КовариацияCov(B(s),B(t)) = min(s,t)Гауссовский процесс
Масштабированиеc·B(t/c²) ~ B(t)Самоподобие с H=1/2
Инверсияt·B(1/t) ~ B(t)Регулярность у 0 ↔ ∞

Броуновское движение дифференцируемо, так как у него непрерывные траектории

Траектории броуновского движения непрерывны, но нигде не дифференцируемы (п.н.). Они имеют бесконечную вариацию на любом интервале

Непрерывность и дифференцируемость - разные свойства. |B(t+h)-B(t)|/h ~ N(0,1/h) → ∞ при h→0. «Производная» dB/dt = белый шум - обобщённая функция, а не обычная

Чему равна Cov(B(2), B(5)) для стандартного броуновского движения?

Свойства и варианты процесса Винера

Стандартное броуновское движение - лишь один из целого семейства процессов. Геометрическое броуновское движение (цены акций), броуновский мост (мост между двумя значениями), броуновское движение с дрейфом (диффузия с направленным потоком) - все они строятся из B(t) простыми преобразованиями.

**Важные варианты:** - Броуновское движение с дрейфом: X(t) = μt + σB(t), E[X(t)] = μt - Геометрическое BM: S(t) = S(0)·exp((μ-σ²/2)t + σB(t)) - модель цены акции - Броуновский мост: X(t) = B(t) - t·B(1), t ∈ [0,1], X(0)=X(1)=0 - Процесс Орнштейна-Уленбека: dX = -θX dt + σ dB - «упругое» броуновское движение

**Рефлектированное броуновское движение** |B(t)| и **процесс Бесселя** используются в задачах с границами (очереди с «отражением»). **Дробное броуновское движение** с параметром Хёрста H ≠ 1/2 моделирует долгосрочную зависимость (H > 1/2) или антиперсистентность (H < 1/2) - важно для финансовых рынков.

ПроцессОпределениеПрименение
BM с дрейфомμt + σB(t)Диффузия вещества
Геометрическое BMexp(drift + σB(t))Цены акций (Блэк-Шоулз)
Броуновский мостB(t) - t·B(1)Статистика: тест Колмогорова
Орнштейн-УленбекdX = -θX dt + σ dBПроцентные ставки (Vasicek)
Дробное BM (H≠1/2)Долгосрочная корреляцияТрафик сетей, финансы

Геометрическое броуновское движение имеет средний рост e^{μt} с drift μ·t в экспоненте

Для среднего E[S(t)] = S(0)·e^{μt} нужен drift (μ-σ²/2)t в показателе экспоненты. Иначе дисперсия «съедает» часть роста

Jensen's inequality: E[e^X] > e^{E[X]}. Без поправки средний рост был бы быстрее желаемого e^{μt}. Поправка -σ²/2 компенсирует эффект выпуклости экспоненты

В геометрическом BM: S(t) = S(0)·exp((μ-σ²/2)t + σB(t)). Почему дрейф (μ-σ²/2), а не μ?

Квадратичная вариация и непрерывность

Классические функции ограниченной вариации имеют конечную «длину». Броуновское движение устроено иначе: его **квадратичная вариация** за время [0,T] равна T (конечная), но **полная вариация** бесконечна. Это не просто техническое свойство - именно квадратичная вариация объясняет, почему формула Ито отличается от классической формулы Ньютона-Лейбница.

**Квадратичная вариация BM:** Для разбиения π = {0=t_0 < t_1 < ... < t_n = T}: sum_i (B(t_{i+1}) - B(t_i))² → T (в L² и п.н.) Это записывается как [B,B]_T = T, или в дифференциальной форме: (dB)² = dt. **Полная вариация:** sum_i |B(t_{i+1}) - B(t_i)| → ∞ при мелких разбиениях - бесконечна. **Следствие для формулы Ито:** f(B(t)) ≠ ∫f'(B)dB; нужна коррекция (1/2)f'' dt.

Хёльдер-непрерывность: траектории BM удовлетворяют |B(t)-B(s)| = O(|t-s|^{1/2-ε}) для любого ε > 0, но не для ε = 0. Размерность Хаусдорфа траектории = 3/2. Это «промежуточный» объект между кривой (размерность 1) и квадратом (размерность 2) - фрактал.

Свойство путиЗначениеВывод
НепрерывностьНепрерывен п.н.Можно интегрировать
ДифференцируемостьНигде не дифф. п.н.Нет «скорости»
Полная вариацияБесконечнаКлассический интеграл не определён
Квадратичная вариация[B,B]_T = TФормула Ито: (dB)² = dt
Размерность Хаусдорфа3/2Фрактальная структура

Броуновское движение «ведёт себя хаотично» и не имеет регулярных свойств

BM имеет строгую математическую структуру: гёльдер-непрерывность с показателем 1/2-ε, точно определённую квадратичную вариацию [B,B]_t = t, и ковариационную функцию min(s,t)

«Хаотичность» BM - это нулевая дифференцируемость и бесконечная вариация. Но его квадратичная вариация конечна и детерминирована: [B,B]_t = t. Именно эта регулярность делает теорию Ито возможной

Почему для функции f(B(t)) нельзя просто применить цепное правило df = f'(B)dB?

Конструкция броуновского движения

Доказать существование процесса с такими свойствами - нетривиальная задача. Норберт Винер в 1923 году построил BM явно через ряды Фурье со случайными коэффициентами. Позже появились более простые конструкции через случайные блуждания (теорема Донскера) и через интеграл Ито.

**Конструкция Леви-Цискелиса (Haar wavelets):** B(t) = Z_0·t + sum_{n=0}^{inf} sum_{k=0}^{2^n - 1} Z_{n,k} · H_{n,k}(t) где Z_{n,k} ~ N(0,1) независимы, H_{n,k} - функции Хаара. **Теорема Донскера (функциональная ЦПТ):** Нормированное случайное блуждание S^n(t) = S_{floor(nt)} / sqrt(n) → B(t) слабо в C[0,1]

Теорема Донскера - **функциональный** аналог ЦПТ: сходимость не просто для одного момента времени t, а для всей траектории как элемента пространства C[0,1]. Это позволяет доказывать теоремы об экстремумах, времени нахождения выше нуля и других функционалах случайного блуждания, «переходя к пределу» - броуновскому движению.

Норберт Винер

Норберт Винер (1894-1964) - американский математик, создатель кибернетики. В 1923 году он дал первое строгое построение броуновского движения как случайного процесса на пространстве непрерывных функций, введя «меру Винера» на C[0,∞). Это потребовало серьёзного функционального анализа. Позже Ито (1944), опираясь на работы Дуба и Леви, создал стохастическое исчисление на основе BM - теорию интегралов Ито.

Броуновское движение - это просто случайное блуждание в непрерывном времени

BM - это предел нормированного случайного блуждания (по теореме Донскера), но не само блуждание. BM имеет принципиально разные свойства: непрерывные траектории, нигде не дифференцируемые; квадратичную вариацию [B,B]_t = t

Случайное блуждание в непрерывном времени означало бы CTMC с переходами ±1. BM - это математический предел, который «сглаживает» дискретные прыжки в непрерывный процесс с бесконечной вариацией

Что утверждает теорема Донскера?

Ключевые идеи

  • **Броуновское движение** - гауссовский мартингал с независимыми приращениями B(t)-B(s) ~ N(0,t-s) и непрерывными траекториями
  • **Квадратичная вариация** [B,B]_t = t - ключевое свойство; (dB)² = dt отличает BM от дифференцируемых функций
  • **Варианты** - геометрическое BM (цены), броуновский мост (статистика), Орнштейн-Уленбек (ставки)
  • **Теорема Донскера** - нормированное случайное блуждание сходится к BM; функциональный аналог ЦПТ

Связанные темы

Броуновское движение - основа непрерывного стохастического анализа:

  • Стохастические интегралы Ито — Интеграл Ито строится по траекториям BM; формула Ито - следствие квадратичной вариации
  • Финансовая математика — Цена акции в модели Блэка-Шоулза - геометрическое броуновское движение
  • Диффузионные модели (ML) — DDPM и Score-based models используют форвард-диффузию (добавление шума BM) и обратный SDE

Вопросы для размышления

  • Если BM нигде не дифференцируем, как можно говорить о «скорости» диффузии? Что такое скорость диффузии σ в уравнении dX = μdt + σdB?
  • Траектории BM - фракталы с размерностью Хаусдорфа 3/2. Что это означает для практических симуляций?
  • Геометрическое BM может быть только положительным. Почему это физически разумно для модели цены акции?

Связанные уроки

  • prob-19-brownian
Броуновское движение

0

1

Войти