Рост траекторий броуновского движения
[7/100%]Пусть — . Используйте лемму Бореля - Кантелли, чтобы показать, что текущий максимум : = не может расти быстрее, чем , ни для какого . Используйте это, чтобы показать, что
Мы можем получить исключительное множество равномерно: на , и .
Пусть — . Примените максимальное неравенство Дуба (A.13) к экспоненциальному мартингалу , чтобы показать, что для всех
(Это неравенство можно использовать для верхней оценки в доказательстве теоремы 12.1, избегая комбинации (12.2) и верхней оценки в (12.1).)
Покажите, что доказательство закона повторного логарифма Хинчина, теорема 12.1, можно модифицировать, чтобы получить
Работа Дюпюи [4] показывает законы повторного логарифма для процессов со стационарными независимыми приращениями, используя оценки типа . Если , то закон повторного логарифма для выполняется тогда и только тогда, когда закон повторного логарифма для выполняется.
Пусть — . Используйте теорему 12.5, чтобы показать, что — верхняя функция при .
Пусть — . Выведите из теоремы 12.5 следующий критерий для верхних функций при больших временах. Предположим, что — положительная функция такая, что убывает, а возрастает. Тогда
Пусть — одномерное броуновское движение, и . Покажите, что
;
;
.
Пусть — одномерный процесс, удовлетворяющий (B0), (B1), (B2). Предположим, кроме того, что непрерывен по вероятности, т.е. для всех . Функция называется функцией регулярного роста, если существуют функции , такие что и
Покажите, что для каждого симметричного (т.е. ) процесса и возрастающей регулярного роста
Замечание. — так называемый процесс Леви. Его траектории не обязательно непрерывны, но могут иметь разрывы скачкообразного типа, которые, однако, никогда не происходят в фиксированные моменты времени. Это связано с непрерывностью "по вероятности". См. [231] и [235, Chapter X] для получения дополнительной информации по этой теме.
С небольшими изменениями это доказательство работает и для ; основное изменение требуется на шаге, использующем , который нужно заменить оценкой типа Оттавиани--Скорохода — см. [9, p.295] для подробностей.