Дискретный фильтр Винера. Оптимальная линейная фильтрация непрерывных сигналов

Определение
Последовательность { β n } называется бесконечно большой последовательностью , если для любого, сколь угодно большого числа M , существует такое натуральное число N M , зависящее от M , что для всех натуральных n > N M выполняется неравенство
|β n | > M .
В этом случае пишут
.
Или при .
Говорят, что стремится к бесконечности, или сходится к бесконечности .

Если , начиная с некоторого номера N 0 , то
( сходится к плюс бесконечности ).
Если же , то
( сходится к минус бесконечности ).

Запишем эти определения с помощью логических символов существования и всеобщности:
(1) .
(2) .
(3) .

Последовательности с пределами (2) и (3) являются частными случаями бесконечно большой последовательности (1). Из этих определений следует, что если предел последовательности равен плюс или минус бесконечности, то он также равен и бесконечности:
.
Обратное, естественно, не верно. Члены последовательности могут иметь чередующиеся знаки. При этом предел может равняться бесконечности, но без определенного знака.

Заметим также, что если какое-то свойство выполняется для произвольной последовательности с пределом равным бесконечности, то это же свойство выполняется и для последовательности, чей предел равен плюс или минус бесконечности.

Во многих учебниках по математическому анализу, в определении бесконечно большой последовательности указывается, что число M является положительным: M > 0 . Однако это требование является лишним. Если его отменить, то никаких противоречий не возникает. Просто малые или отрицательные значения для нас не представляют никакого интереса. Нас интересует поведение последовательности при сколь угодно больших положительных значениях M . Поэтому, если возникнет необходимость, то M можно ограничить снизу любым, наперед заданным числом a , то есть считать, что M > a .

Когда же мы определяли ε - окрестность конечной точки, то требование ε > 0 является важным. При отрицательных значениях, неравенство вообще не может выполняться.

Окрестности бесконечно удаленных точек

Когда мы рассматривали конечные пределы, то ввели понятие окрестности точки. Напомним, что окрестностью конечной точки является открытый интервал, содержащий эту точку. Также мы можем ввести понятия окрестностей бесконечно удаленных точек.

Пусть M - произвольное число.
Окрестностью точки "бесконечность" , , называется множество .
Окрестностью точки "плюс бесконечность" , , называется множество .
Окрестностью точки "минус бесконечность" , , называется множество .

Строго говоря, окрестностью точки "бесконечность" является множество
(4) ,
где M 1 и M 2 - произвольные положительные числа. Мы будем использовать первое определение, , поскольку оно проще. Хотя, все сказанное ниже, также справедливо и при использовании определения (4).

Теперь мы можем дать единое определение предела последовательности, которое относится как к конечным, так и к бесконечным пределам.

Универсальное определение предела последовательности .
Точка a (конечная или бесконечно удаленная) является пределом последовательности , если для любой окрестности этой точки существует такое натуральное число N , что все элементы последовательности с номерами принадлежат этой окрестности.

Таким образом, если предел существует, то за пределами окрестности точки a может находиться только конечное число членов последовательности, или пустое множество. Это условие является необходимым и достаточным. Доказательство этого свойства, точно такое, как для конечных пределов.

Свойство окрестности сходящейся последовательности
Для того, чтобы точка a (конечная или бесконечно удаленная) являлась пределом последовательности , необходимо и достаточно, чтобы за пределами любой окрестности этой точки находилось конечное число членов последовательности или пустое множество.
Доказательство .

Также иногда вводят понятия ε - окрестностей бесконечно удаленных точек.
Напомним, что ε - окрестностью конечной точки a называется множество .
Введем следующее обозначение. Пусть обозначает ε - окрестность точки a . Тогда для конечной точки,
.
Для бесконечно удаленных точек:
;
;
.
Используя понятия ε - окрестностей, можно дать еще одно универсальное определение предела последовательности:

Точка a (конечная или бесконечно удаленная) является пределом последовательности , если для любого положительного числа ε > 0 существует такое натуральное число N ε , зависящее от ε , что для всех номеров n > N ε члены x n принадлежат ε - окрестности точки a :
.

С помощью логических символов существования и всеобщности, это определение запишется так:
.

Примеры бесконечно больших последовательностей

Сначала мы рассмотрим три простых похожих примера, а затем решим более сложный.

Пример 1

.

.
Выпишем определение бесконечно большой последовательности:
(1) .
В нашем случае
.

Вводим числа и , связав их неравенствами:
.
По свойствам неравенств , если и , то
.
Заметим, что при это неравенство выполняется для любых n . Поэтому можно выбрать и так:
при ;
при .

Итак, для любого можно найти натуральное число , удовлетворяющее неравенству . Тогда для всех ,
.
Это означает, что . То есть последовательность является бесконечно большой.

Пример 2

Пользуясь определением бесконечно большой последовательности показать, что
.

(2) .
Общий член заданной последовательности имеет вид:
.

Вводим числа и :
.
.

Тогда для любого можно найти натуральное число, удовлетворяющее неравенству , так что для всех ,
.
Это означает, что .

.

Пример 3

Пользуясь определением бесконечно большой последовательности показать, что
.

Выпишем определение предела последовательности, равному минус бесконечности:
(3) .
Общий член заданной последовательности имеет вид:
.

Вводим числа и :
.
Отсюда видно, что если и , то
.

Поскольку для любого можно найти натуральное число, удовлетворяющее неравенству , то
.

При заданном , в качестве N можно взять любое натуральное число, удовлетворяющее следующему неравенству:
.

Пример 4

Пользуясь определением бесконечно большой последовательности показать, что
.

Выпишем общий член последовательности:
.
Выпишем определение предела последовательности, равному плюс бесконечности:
(2) .

Поскольку n есть натуральное число, n = 1, 2, 3, ... , то
;
;
.

Вводим числа и M , связав их неравенствами:
.
Отсюда видно, что если и , то
.

Итак, для любого числа M можно найти натуральное число, удовлетворяющее неравенству . Тогда для всех ,
.
Это означает, что .

Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.

Мы определили окрестности этой точки как внешности кругов с центром в начале координат: U (∞, ε ) = {z ∈ | | z | > ε}. Точка z = ∞ является изолированной особой точкой аналитической функции w = f (z ), если в некоторой окрестности этой точки нет других особых точек этой функции. Для определения типа этой особой точки сделаем замену переменной , при этом точка z = ∞ переходит в точку z 1 = 0, функция w = f (z ) примет вид . Типом особой точки z = ∞ функции w = f (z ) будем называть тип особой точки z 1 = 0 функции w = φ (z 1). Если разложение функции w = f (z ) по степеням z в окрестности точки z = ∞, т.е. при достаточно больших по модулю значениях z , имеет вид , то, заменив z на , получим . Таким образом, при такой замене переменной главная и правильная части ряда Лорана меняются местами, и тип особой точки z = ∞ определяется количеством слагаемых в правильной части разложения функции в ряд Лорана по степеням z в окрестности точки z = 0. Поэтому
1. Точка z = ∞ - устранимая особая точка, если в этом разложении правильная часть отсутствует (за исключением, возможно, члена A 0);
2. Точка z = ∞ - полюс n -го порядка, если правильная часть заканчивается слагаемым A n ·z n ;
3. Точка z = ∞ - существенно особая точка, если правильная часть содержит бесконечно много членов.

При этом остаются справедливыми признаки типов особых точек по значению : если z = ∞ - устранимая особая точка, то этот предел существует и конечен, если z = ∞ - полюс, то этот предел бесконечен, если z = ∞ - существенно особая точка, то этот предел не существует (ни конечный, ни бесконечный) .

Примеры: 1. f (z ) = -5 + 3 z 2 - z 6 . Функция уже является многочленом по степеням z , старшая степень - шестая, поэтому z
Этот же результат можно получить по-другому. Заменим z на , тогда . Для функции φ (z 1) точка z 1 = 0 - полюс шестого порядка, поэтому для f (z ) точка z = ∞ - полюс шестого порядка.
2. . Для этой функции получить разложение по степеням z затруднительно, поэтому найдём : ; предел существует и конечен, поэтому точка z
3. . Правильная часть разложения по степеням z содержит бесконечно много слагаемых, поэтому z = ∞ - существенно особая точка. По другому этот факт можно установить исходя из того, что не существует.

Вычет функции в бесконечно удалённой особой точке .

Для конечной особой точки a , где γ - контур, не содержащий других, кроме a , особых точек, проходимый так, что область, им ограниченная и содержащая особую точку, остаётся слева (против часовой стрелке).

Определим аналогичным образом: , где Γ − - контур, ограничивающий такую окрестность U (∞, r ) точки z = ∞, которая не содержит других особых точек, и проходимый так, что эта окрестность остаётся слева (т.е. по часовой стрелке). Таким образом, все остальные (конечные) особые точки функции должны находиться внутри контура Γ − . Изменим направление обхода контура Γ − : . По основной теореме о вычетах , где суммирование ведётся по всем конечным особым точкам. Поэтому, окончательно,

,

т.е. вычет в бесконечно удалённой особой точке равен сумме вычетов по всем конечным особым точкам, взятой с противоположным знаком .

Как следствие, имеет место теорема о полной сумме вычетов : если функция w = f (z ) аналитична всюду в плоскости С , за исключением конечного числа особых точек z 1 , z 2 , z 3 , …, z k , то сумма вычетов во всех конечных особых точках и вычета в бесконечности равна нулю.

Отметим, что если z = ∞ - устранимая особая точка, то вычет в ней может быть отличен от нуля. Так для функции , очевидно, ; z = 0 - единственная конечная особая точка этой функции, поэтому , несмотря на то, что , т.е. z = ∞ - устранимая особая точка.