Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
ДОКАЗАТЕЛЬСТВА ТЕОРЕМК главе 2Доказательство теоремы 2.3.1. Следует непосредственно рассмотреть соответствующие коэффициенты ряда Тейлора и сравнить их с выражением (2.3.1). Доказательство леммы 2.3.1. Начнем с необходимости условия. Если разбиение не будет неразложимым, то, согласно 2.3.5), разности Теперь о. достаточности условия. Предположим, что Но тогда любая пара Продемонстрируем справедливость другой формулировки леммы. Если не выполнено свойство неразложимости разбиения, то, в силу (2.3.5), С другой стороны, если Доказательство теоремы 2.3.2. Проведем индукцию по
где
где Из
Здесь Доказательство теоремы 2.5.1. Будем писать Далее можно предположить, что
По построению
представляет собой среднее Чезаро для ряда
и, следовательно, Доказательство теоремы 2.5.2. Пусть
при
Заметим, что и
при
матричных мер заключена между
Помимо этого, из Выражение (2.5.9) вытекает из обычной формулы обращения преобразования Фурье—Стилтьеса. Приращения Доказательство леммы 2.7.1. Исйользуя свойства линейности и временной инвариантности, получаем
Полагая
т. е. (2.7.6), где Доказательство леммы 2.7.2. Указанные свойства — это стандартные результаты, относящиеся к преобразованию Фурье абсолютно суммируемых последовательностей; см., например, Zygmund (1968). Доказательство леммы 2.7.3. Отметим, что
следовательно,
так что сумма Далее мы получим неравенства
завершающие доказательство. Доказательство теоремы 2.7.1. Введем
для
Выражение справа стремится к 0 при Доказательство леммы 2.7.4. Обозначив
видим, что операции действительно линейны и инвариантны во времени. Полагая
убеждаемся в справедливости (2.7.34) и (2.7.35). Доказательство теоремы 2.8.1. Векторный ряд
где
Поскольку
Оправдано будет и изменение порядка усреднения и суммирования, позволяющее перейти от Доказательство леммы 2.9.1. Если
Это показывает, что
Для завершения доказательства остается заметить, что Доказательство теоремы 2.9.1. Начнем с того, что при сделанных предположениях
Рассмотрим далее
Кумулянты, зависящие от значений X, согласно теореме 2.3.2, являются суммами произведений совместных кумулянтов величин
Поскольку ряд стационарен, кумулянты зависят только от разностей
где g — абсолютно суммируемая функция своих аргументов. Сделав замену переменных
убеждаемся, что кумулянты ряда Доказательство теоремы 2.10.1. Мы несколько предвосхитим дальнейшее изложение материала. В § 4.6 будет показано, что можно представить ряды в виде
где
Подстановка этих выражений в (2.9.15) показывает, что
Теперь, применив теорему 2.3.2 и воспользовавшись выписанными выражениями, получаем нужную нам формулу (2.10.10).
|
1 |
Оглавление
|