Многомерные нормальные распределения
[8/0%]Пусть и — положительно определённые матрицы. Для пусть обозначает плотность на . Покажите, что
следуя этим шагам.
Используйте обращение Фурье, чтобы показать, что .
Обоснуйте дифференцирование под знаком интеграла, чтобы показать, что
и
Соберите члены.
Предположим, что имеет многомерное нормальное распределение и . Покажите, что также имеет многомерное нормальное распределение.
Пусть — независимые случайные величины, каждая распределена . Покажите, что распределение концентрируется в основном в диапазоне порядка , следуя этим шагам. Определим и .
Вспомните (Приложение D), что функция хвоста убывает как при , в том смысле, что отношение этих двух функций стремится к 1. Для фиксированной константы определим . Покажите, что сходится к при .
Выведите, что .
Выведите, что сходится по распределению при .
Пусть и — случайные величины, для которых как , так и , для всех . Покажите, что для всех неотрицательных .
Пусть — замкнутое подмножество с сечениями , имеющими гауссову меру . Пусть обозначает 1-сдвиг, как в Лемме .
Лемма 14: Для замкнутого множества с сечениями определим соотношением ( — стандартная нормальная функция распределения), и пусть — 1-сдвиг множества --- множество, полученное сдвигом и растяжением каждого -сечения множества в полубесконечный интервал с той же -мерой, так что -сечения множества имеют ту же -меру, что и соответствующие сечения . Тогда является улучшением : и для всех (где обозначает -окрестность ).
Если , покажите, что , в смысле поточечной сходимости индикаторных функций. (Если бесконечно часто, выведите, что .)
Если , используйте лемму Фату, чтобы доказать, что .
Если и , покажите, что , то есть .
Сведите одномерную версию Теоремы к случаю, когда является конечным объединением интервалов, следуя этим шагам. Пусть .
Теорема 7: Гауссова мера окрестности минимизируется, при заданном значении , выбором в качестве замкнутого полупространства. В более общем виде, , для любого борелевского подмножества пространства с .
Покажите, что достаточно доказать, что для каждого , поскольку при убывании до нуля.
Определим открытое множество . Покажите, что . Указание: множество открыто.
Покажите, что существует счётное семейство непересекающихся замкнутых интервалов, для которого .
Выберите так, чтобы замкнутое множество имело -меру больше . Покажите, что утверждение Теоремы для влечёт .
(Неравенство Слепиана (1962)) Пусть и оба имеют центрированные многомерные нормальные распределения с для каждого и для всех . Докажите, что для всех вещественных чисел .
Пусть — неотрицательная случайная величина с для всех , для положительных констант и .
Покажите, что .
Для докажите, что .