Лекция 12 Wavelet фильтрация
Детализация сигнала
Введем обозначение: для любой функции . Положим .
Предложение. Если выполнено условие ортогональности, то при фиксированном функции образуют ортонормированную систему.
Доказательство. Имеем
при . Нормированность проверяется очевидным образом с помощью замены переменных.
Обозначим через линейное пространство, порожденное функциями . Потребуем, чтобы имело место включение . Это весьма жесткое ограничение. Оно выполнено, например, для . Для произвольной функции положим
(1)
- проекция функции на пространство . Коэффициенты разложения это и есть дискретные wavelet преобразования. Чем больше индекс пространства, тем более точное приближение исходной функции с помощью получаем. Эта процедура и называется детализацией. Наложим на еще одно дополнительное условие: потребуем, чтобы . Последнее означает, что каждую функцию из можно приблизить с произвольной точностью подходящей функцией из . Заметим, что это выполнено для функции , поскольку каждую функцию из можно приблизить ступенчатой функцией. Как следствие получим, что это верно и для произвольной функции с носителем на интервале , с помощью которой можно приблизить функцию . Положим , где второе слагаемое есть ортогональное дополнение к первому. Теперь - прямая сумма попарно ортогональных пространств. Для так получается базис Хаара, о котором будет рассказано позже.
Wavelet фильтрация
Вычисление коэффициентов разложения является трудоемкой задачей. Покажем, каким образом она может быть упрощена с помощью фильтра специального вида. В силу сделанного предположения , поэтому имеем место разложение . Рассмотрим скалярное произведение
=
. Коэффициенты в (1) можно найти следующим образом. Положим . Тогда = (2)
Формула (2) представляет собой свертку последовательностей. Она позволяет найти коэффициенты разложение для меньших значений индексов , если известны коэффициенты разложения для больших значений. Ее можно рассматривать как применение фильтра специального вида с функцией отклика к источнику, которым являются коэффициенты разложения по большему индексу.