Характеристические функции
Фурье-представление закона, существующее даже без моментов.
Чему научимся
Этот инструмент превращает сумму независимых величин в произведение функций и позволяет доказывать предельные теоремы даже тогда, когда обычные моменты не существуют.
Главная идея. Характеристическая функция φX(t) = E[exp(itX)] кодирует весь закон через усреднение комплексного вращения. Она существует всегда, потому что модуль exp(itX) равен единице.
План рассуждения и проверка понимания
- Запишите φX(t) как ожидание exp(itX) и сразу проверьте базовые свойства φX(0) = 1 и |φX(t)| ≤ 1.
- Для aX + b замените аргумент на at и умножьте на exp(itb), внимательно сохраняя знак и масштаб преобразования.
- Для суммы независимых X и Y перемножьте φX(t) и φY(t); без независимости произведение ожиданий не следует из экспоненты суммы.
- При извлечении моментов через производные сначала докажите их конечность; формальное дифференцирование у нуля не создаёт несуществующий момент.
Частая ошибка. Считать любое произведение характеристических функций законом суммы зависимых величин или получать моменты производными без проверки интегрируемости.
Как проверить себя. Факторизация E[exp(itX)exp(itY)] требует независимости. Производная в нуле связана с моментом только при условиях, позволяющих перенести дифференцирование под ожидание.
Наглядная модель: Характеристические функции
Фурье-представление закона, существующее даже без моментов.
- Характеристические функции → Характеристические функции
- Характеристические функции → expectation-integral
- Характеристические функции → independent-variables
Проверка пониманияОбъясните тему своими словами
Выведите характеристическую функцию суммы n независимых N(0,1) и объясните, как exp(−nt²/2) распознаёт нормальный закон с дисперсией n.
В хорошем объяснении есть:
- Использовано произведение из-за независимости.
- Степень n применена к exp(−t²/2).
- Параметр дисперсии прочитан из итоговой функции.
Закон через колебания
Характеристическая функция переводит вероятностный закон в комплекснозначную функцию вещественного аргумента. Она усредняет вращение exp(itX). Модуль каждого такого множителя равен 1, поэтому ожидание существует для любой вещественной случайной величины, даже если у неё нет среднего.
Основные свойства
Значение в нуле равно 1, модуль не превосходит 1, а значение при −t является комплексным сопряжением значения при t. Характеристическая функция непрерывна и однозначно определяет закон. Не всякая функция с этими простыми свойствами является характеристической: требуется ещё положительная определённость.
Зачем она нужна
У суммы независимых величин характеристические функции перемножаются: экспонента суммы равна произведению, а независимость позволяет разнести ожидание. Это заменяет свёртку более простой алгеброй. У аффинного преобразования aX+b функция равна exp(itb)·φX(at).
Если абсолютный момент порядка k конечен, можно k раз дифференцировать в нуле и получить соответствующий момент с множителем i в степени k. Без условия существования момента такое формальное дифференцирование не гарантирует правильного вывода.
Набросок предельного аргумента
Теорема непрерывности Леви связывает поточечную сходимость характеристических функций к функции, непрерывной в нуле, со слабой сходимостью законов. Именно поэтому характеристические функции удобны для доказательства ЦПТ. Это утверждение о распределениях, а не о сходимости конкретных траекторий почти наверное.
Три примера
- Для постоянной X=c функция равна exp(itc). При c=0 она тождественно равна 1.
- Для Бернулли с вероятностью p характеристическая функция 1−p+p·exp(it). При t=π она равна 1−2p.
- У стандартной нормальной величины φ(t)=exp(−t²/2). Произведение n таких функций соответствует нормальному закону суммы с дисперсией n.
Формула, смысл и ограничения
Главные формулы с расшифровкой
Формула словами: t — вещественное число, i²=−1. Второе равенство требует независимости X,Y.
От простого к сложному
Проверьте себя
Сначала запишите решение самостоятельно. Затем можно открыть намёк, сравнить каждый переход с пошаговым разбором и только после этого посмотреть ответ. Прогресс сохраняется в этом браузере.
Открываем задание…
Открываем задание…
Открываем задание…
Источники и соглашения
Объяснения и задачи — авторские. Источники помогают проверить определения, условия и школьную привязку. Обозначения и параметризация указаны в статье.