Случайные процессы
Броуновское движение
Цена акции завтра - случайная величина. Молекула диффундирует в жидкости по случайному пути. Шум в электрической цепи непредсказуем. Все эти явления описываются броуновским движением - самым фундаментальным случайным процессом в непрерывном времени, основой всего стохастического анализа.
- **Финансовые рынки** - модель Блэка-Шоулза предполагает, что логарифм цены акции - броуновское движение с дрейфом
- **Диффузионные модели (Diffusion Models, DDPM)** - шумовой процесс добавления и удаления броуновского шума лежит в основе современной генеративной AI
- **Физика** - броуновская диффузия, уравнение Фоккера-Планка, квантовая механика Фейнмана используют пути броуновского движения
Предварительные знания
Броуновское движение
В 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)] = t | B(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) | Диффузия вещества |
| Геометрическое BM | exp(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 может быть только положительным. Почему это физически разумно для модели цены акции?