Случайные процессы
[28/21%]Предположим, что — случайный процесс на и . Покажите, что существует счётное подмножество множества , для которого с вероятностью 1. Замените случайной величиной и докажите аналогичный результат.
Пусть произвольно, и пусть — вещественная функция на . Предположим, что симметрична в том смысле, что , и неотрицательно определена в том смысле, что при из и вещественных . Покажите, что существует процесс , для которого имеет центрированное нормальное распределение с ковариациями .
*Эту тему можно опустить.
Пусть — борелевское множество на прямой, пусть состоит из борелевских подмножеств , и пусть состоит из всех отображений из в . Определите соответствующее понятие цилиндра, и пусть — -алгебра, порождённая цилиндрами. Сформулируйте вариант Теоремы 36.1 для . Предположите, что счётно, и докажите эту теорему не подражая предыдущему доказательству, а заметив, что является подмножеством и лежит в .
Предположим, что случайные величины принимают значения 0 и 1 и б.ч. . Пусть — распределение на ( 0,1 ] суммы . Покажите, что на единичном интервале с мерой цифры нетерминирующего диадического разложения образуют случайный процесс с теми же конечномерными распределениями, что и .
36.3 ↑ Существует бесконечномерный вариант теоремы Фубини. В конструкции из Задачи 36.3 положим , пусть состоит из борелевских подмножеств , и предположим, что каждое -мерное распределение является -кратным произведением лебеговой меры на единичном интервале. Тогда — счётное произведение копий ( 0,1 ), его элементы — последовательности точек ( 0,1 ), и теорема Колмогорова гарантирует существование на произведения вероятностных мер для . Пусть обозначает -мерный единичный куб.
Определим формулой
Покажите, что измерима , а измерима . Покажите, что , где — -мерная лебегова мера, ограниченная на .
Пусть — функция, измеримая и, для простоты, ограниченная. Определим
иными словами, проинтегрируем координаты по одной. Покажите с помощью Задачи 34.18, теории мартингалов и закона нуля и единицы, что
за исключением из множества -меры 0.
Придерживаясь точки зрения пункта (a), пусть — результат интегрирования переменной (относительно ) из . Это можно наглядно записать как
Покажите, что за исключением из множества -меры 0.
Пусть — интервал прямой. Покажите, что не содержит множеств: линейных функций, многочленов, констант, неубывающих функций, функций ограниченной вариации, дифференцируемых функций, аналитических функций, функций, непрерывных в фиксированной точке , борелевски измеримых функций. Покажите, что он не содержит множества функций, которые: обращаются в нуль где-то в , удовлетворяют для некоторой пары с , имеют локальный максимум где-либо, не имеют локального максимума.
Пусть — множество непрерывных функций на . Покажите, что из и следует . Покажите, с другой стороны, что из и не следует .
Не все системы конечномерных распределений могут быть реализованы случайными процессами, для которых — единичный интервал. Покажите, что на единичном интервале с лебеговой мерой не существует процесса , для которого независимы и принимают значения 0 и 1 с вероятностью каждое. Сравните с Задачей 1.1.
Вот применение теоремы существования, в котором не является подмножеством прямой. Пусть — пространство с мерой, и пусть состоит из множеств конечной -меры. Задача состоит в построении обобщённого пуассоновского процесса — случайного процесса , такого что (i) имеет пуассоновское распределение со средним , и (ii) независимы, если дизъюнктны. Указание: чтобы определить конечномерные распределения, обобщите следующую конструкцию: для из рассмотрите независимые случайные величины , имеющие пуассоновские распределения со средними , и положим равным распределению .
36.2 ↑ Покажите, что неотрицательно определена; используйте Задачу 36.2, чтобы доказать существование процесса с конечномерными распределениями, предписанными для броуновского движения.
Пусть — независимые стандартные нормальные величины, по одной для каждого диадического рационального (Теорема 20.4; в качестве вероятностного пространства можно использовать единичный интервал). Пусть и . Предположим, что уже определена для диадических рациональных ранга , и положим
Докажите по индукции, что для диадических имеют конечномерные распределения, предписанные для броуновского движения. Теперь постройте броуновское движение с непрерывными траекториями с помощью рассуждения, ведущего к Теореме 37.1. Это позволяет избежать обращения к теореме существования Колмогорова.
↑ Для каждого определим новые величины , полагая для диадических чисел порядка и интерполируя линейно между ними. Положим и покажите, что
Конструкция из предыдущей задачи показывает, что здесь разность нормальна с дисперсией . Найдите положительные , такие что и оба сходятся, и заключите, что вне множества вероятности 0, сходится равномерно на ограниченных интервалах. Замените на . Это даёт ещё одну конструкцию броуновского движения с непрерывными траекториями.
36.6 ↑ Пусть , и пусть — вероятностная мера на , имеющая конечномерные распределения, предписанные для броуновского движения. Пусть состоит из непрерывных элементов .
Покажите, что , или (см. (3.9) и (3.10)). Таким образом, пополнение не даст вероятность 1.
Покажите, что .
Предположим, что — некоторый случайный процесс с независимыми стационарными приращениями, удовлетворяющий и . Покажите, что если конечномерные распределения сохраняются преобразованием (37.11), то они обязательно являются распределениями броуновского движения.
Покажите, что содержит только множества вероятности 0 и 1. Сделайте то же самое для ; приведите примеры множеств в этой -алгебре.
Покажите с помощью прямого рассуждения, что с вероятностью имеет неограниченную вариацию на : Пусть . Покажите, что имеет среднее и дисперсию не более . Заключите, что .
Покажите, что пуассоновский процесс, определённый формулой ( 23.5 ), измерим.
Покажите, что при координатный процесс на неизмерим.
Распространите Теорему 37.4 на множество .
Пусть — момент первого достижения броуновским движением уровня . Покажите, что распределение имеет на плотность
Покажите, что . Покажите, что имеет то же распределение, что и , где — стандартная нормальная величина.
Покажите с помощью строго марковского свойства, что и независимы и что последняя имеет то же распределение, что и . Заключите, что . Покажите, что имеет то же распределение, что и .
Покажите, что каждая устойчива — см. Задачу 28.10.
Предположим, что независимы и каждая имеет распределение (37.46).
Покажите, что также имеет распределение (37.46). Сопоставьте это с законом больших чисел.
Покажите, что при . Свяжите это с Теоремой 14.3.
Пусть — вероятность того, что траектория броуновского движения имеет хотя бы один нуль в . Из (37.46) и марковского свойства выведите
Указание: обусловьте относительно .
Покажите, что вероятность отсутствия нуля в равна и, следовательно, что положение последнего нуля, предшествующего 1, распределено на с плотностью .
Аналогично вычислите распределение положения первого нуля, следующего за моментом 1.
Вычислите совместное распределение двух нулей из (a) и (b).
Покажите с помощью Теоремы 37.8, что и обе сходятся по распределению к при . Докажите аналогичный результат для супремума.
Пусть — событие, состоящее в том, что , положение в момент в симметричном случайном блуждании, равно 0 хотя бы при одном из диапазона , и покажите, что .
Пусть — наибольшее , такое что и . Покажите, что асимптотически имеет распределение с плотностью на . Поскольку эта плотность больше на концах интервала, чем в середине, последний за ночь игры момент, когда игрок был "при своих", с большей вероятностью приходится на раннее или позднее время, чем на окрестность полуночи.
Покажите, что . Проверьте это с помощью (37.47), а также с помощью того факта, что преобразования (37.11) и (37.12) сохраняют свойства броуновского движения.
Выведите с помощью принципа отражения, что имеет плотность
на множестве, где и . Теперь выведите из Теоремы 37.8 соответствующую предельную теорему для симметричного случайного блуждания.
Покажите с помощью преобразования (37.12), что для положительных и вероятность того, что процесс находится в пределах границ для всех достаточно больших , равна 1. Покажите, что — вероятность того, что последнее касание происходит сверху, а не снизу.
Вычисление с мартингалом, использованное для (37.39), работает и для наклонных границ. Для положительных пусть — наименьшее , такое что либо , либо , и пусть — вероятность того, что выход происходит через верхнюю границу, то есть .
Для мартингала из доказательства Леммы 2 покажите, что . Действуя вначале формально, заключите, что
Положите и заметьте, что тогда равно , если выход происходит сверху (вероятность ), и , если выход происходит снизу (вероятность ). Выведите
Покажите, что при , что согласуется с (37.39).
Осталось обосновать (37.48) для . Из выведите
для неслучайного . С помощью рассуждений из доказательств Лемм 2 и 3 покажите, что (37.49) выполняется для простых моментов остановки , для ограниченных, для , для .