Вейвлет, построенный с использованием сплайн-функции
Анимация, показывающая компактно поддерживаемые кардинальные вейвлеты B-сплайна порядков 1, 2, 3, 4 и 5.
В математической теории о вейвлетов , сплайн вейвлет является вейвлет построен с использованием функции сплайна . Существуют разные типы сплайн-вейвлетов. Вейвлеты интерполяционного сплайна, представленные CK Chui и JZ Wang, основаны на определенной формуле интерполяции сплайна . Хотя эти вейвлеты ортогональны , у них нет компактных носителей . Существует определенный класс вейвлетов, в некотором смысле уникальных, построенных с помощью B-сплайнов и имеющих компактные носители. Несмотря на то, что эти вейвлеты не ортогональны, они обладают некоторыми особыми свойствами, которые сделали их довольно популярными. Терминология сплайн-вейвлет иногда используется для обозначения вейвлетов в этом классе сплайн-вейвлетов. Эти специальные вейвлеты также называются вейвлетами B-сплайнов и кардинальными вейвлетами B-сплайнов . Вейвлеты Батл-Лемари также являются вейвлетами, построенными с использованием сплайн-функций.
Кардинальные B-шлицы
Пусть n - фиксированное неотрицательное целое число . Пусть С п обозначим множество всех вещественных функций , определенных на множестве действительных чисел , таких , что каждая функция в наборе, а его первые п производные являются непрерывными всюду. Би-бесконечная последовательность . . . x −2 , x −1 , x 0 , x 1 , x 2 ,. . . такое, что x r < x r +1 для всех r и такой, что x r стремится к ± ∞, когда r приближается к ± ∞, называется набором узлов. Сплайном порядка п с множеством узлов { х г } является функцией S ( х ) в С п такое , что для каждого г , сужение S ( х ) на отрезке [ х г , х г + 1 ) совпадает с многочленом с действительными коэффициентами степени не выше n по x .
Если расстояние x r +1 - x r , где r - любое целое число, между последовательными узлами в наборе узлов является постоянным, сплайн называется кардинальным сплайном . Множество целых чисел Z = {. . ., -2, -1, 0, 1, 2,. . .} - стандартный выбор для набора узлов кардинального сплайна. Если не указано иное, обычно предполагается, что набор узлов - это набор целых чисел.
Кардинальный B-сплайн - это особый тип кардинального сплайна. Для любого натурального числа m кардинальный B-сплайн порядка m , обозначаемый N m ( x ), определяется рекурсивно следующим образом.
-
, для .
Конкретные выражения для кардинальных B-сплайнов всех порядков до 5 и их графики приведены ниже в этой статье.
Свойства кардинальных B-сплайнов
Элементарные свойства
- Поддержка из является отрезком .
- Функция неотрицательна, то есть для .
-
для всех .
- Кардинальные B-сплайнов заказов м и м-1 связаны идентичности: .
- Функция симметрична относительно , то есть .
- Производная от дается выражением .
Двухмасштабное отношение
Кардинальный B-сплайн порядка m удовлетворяет следующему двухмасштабному соотношению:
-
.
Рисс собственность
Кардинальный B-сплайн порядка m удовлетворяет следующему свойству, известному как свойство Рисса: существует два положительных действительных числа и такие, что для любой суммируемой с квадратом двусторонней последовательности и для любого x ,
где - норма в ℓ 2 -пространстве.
Кардинальные B-шлицы малых заказов
Кардинальные B-сплайны определяются рекурсивно, начиная с B-сплайна порядка 1, а именно , который принимает значение 1 в интервале [0, 1) и 0 в другом месте. Для получения конкретных выражений для кардинальных B-сплайнов более высокого порядка, возможно, придется использовать системы компьютерной алгебры. Ниже приведены конкретные выражения для кардинальных B-сплайнов всех порядков до 6. Также представлены графики кардинальных B-сплайнов порядков до 4. На изображениях также показаны графики членов соответствующих двухмасштабных отношений. Две точки на каждом изображении указывают границы интервала, поддерживающего B-сплайн.
Постоянный B-сплайн
B-сплайн первого порядка, а именно постоянный B-сплайн. Это определяется
Двухмасштабное соотношение для этого B-сплайна имеет вид
Постоянный B-сплайн
|
|
|
Линейный B-шлиц
B-сплайн 2-го порядка, а именно линейный B-сплайн. Это дается
Двухмасштабное соотношение для этого вейвлета:
Линейный B-шлиц
|
|
|
Квадратичный B-сплайн
B-сплайн 3-го порядка, а именно квадратичный B-сплайн. Это дается
Двухмасштабное соотношение для этого вейвлета:
Квадратичный B-сплайн
|
|
|
Кубический B-сплайн
Кубический B-сплайн - это кардинальный B-сплайн порядка 4, обозначаемый . Он задается следующими выражениями:
Двухмасштабное соотношение для кубического B-сплайна имеет вид
Кубический B-сплайн
|
|
|
Примечание : условные обозначения желтого графика должны быть
Биквадратичный B-сплайн
Биквадратичный B-сплайн - это кардинальный B-сплайн порядка 5, который обозначается через . Это дается
Двухмасштабное соотношение:
Квинтик B-сплайн
Пятый B-сплайн - это кардинальный B-сплайн порядка 6, который обозначается через . Это дается
Анализ с несколькими разрешениями, генерируемый кардинальными B-сплайнами
Кардинальный B-сплайн порядка m генерирует анализ с несколькими разрешениями . В самом деле, из элементарных свойств этих функций , изложенных выше, следует , что функция является интегрируемым квадратом и является элементом пространства квадратично интегрируемых функций. Для настройки анализа с несколькими разрешениями используются следующие обозначения.
- Для любых целых чисел определите функцию .
- Для каждого целого числа , определяет подпространство в качестве закрытия из линейной оболочки множества .
То, что они определяют анализ с несколькими разрешениями, следует из следующего:
- Пространства удовлетворяют свойство: .
- Замыкание объединения всех подпространств есть все пространство .
- Пересечение всех подпространств представляет собой одноэлементное множество, содержащее только нулевую функцию.
- Для каждого целого числа набор является безусловным основанием . (Последовательность { x n } в банаховом пространстве X является безусловным базисом для пространства X, если каждая перестановка последовательности { x n } также является базой для того же пространства X. )
Вейвлеты из кардинальных B-сплайнов
Пусть m - фиксированное натуральное число и - кардинальный B-сплайн порядка m . Функция в является одним из основного вейвлета по отношению к функции В-сплайне кардинальной , если замыкание в линейной оболочке множества (это замыкание обозначается ) является ортогональным дополнением из в . Нижний индекс m in используется, чтобы указать, что это базовый вейвлет относительно кардинального B-сплайна порядка m . Не существует уникального базового вейвлета относительно кардинального B-сплайна . Некоторые из них обсуждаются в следующих разделах.
Вейвлеты относительно кардинальных B-сплайнов с использованием основных интерполяционных сплайнов
Фундаментальный интерполяционный сплайн
Определения
Пусть m - фиксированное натуральное число и пусть - кардинальный B-сплайн порядка m . Для данной последовательности действительных чисел проблема поиска такой последовательности действительных чисел, что
-
для всех ,
известна как проблема кардинальной сплайновой интерполяции . Частный случай этой проблемы, когда последовательность - это последовательность , где - дельта-функция Кронекера, определенная формулой
-
,
является основной задачей кардинальной интерполяции сплайнов . Решение задачи дает фундаментальный кардинальный интерполяционный сплайн порядка m . Этот сплайн обозначается и задается
где последовательность теперь является решением следующей системы уравнений:
Процедура нахождения основного кардинального интерполяционного сплайна
Основной кардинальный интерполяционный сплайн можно определить с помощью Z-преобразований . Используя следующие обозначения
из уравнений, определяющих последовательность , видно, что
откуда мы получаем
-
.
Это можно использовать для получения конкретных выражений для .
Пример
В качестве конкретного примера дело может быть расследовано. Из определения следует, что
Единственные ненулевые значения даются, а соответствующие значения равны
Таким образом сводится к
Это дает следующее выражение для .
Разделив это выражение на частичные дроби и разложив каждый член по степеням z в кольцевой области, можно вычислить значения. Затем эти значения подставляются в выражение для получения
Вейвлет с использованием основного интерполяционного сплайна
Для положительного целого числа m функция, определенная формулой
является основным вейвлетом относительно кардинального B-сплайна порядка . Нижний индекс I в используется, чтобы указать, что он основан на формуле интерполяционного сплайна. Этот базовый вейвлет не поддерживается компактно.
Пример
Вейвлет порядка 2, использующий интерполяционный сплайн, имеет вид
Выражение для now дает следующую формулу:
Теперь, используя выражение для производной в терминах функции можно положить в следующем виде:
Следующая кусочно-линейная функция является приближением к, полученным путем суммирования членов, соответствующих в выражении бесконечного ряда для .
Двухмасштабное отношение
Двухмасштабное соотношение для вейвлет-функции дается выражением
-
где
B-сплайн-вейвлеты с компактной опорой
Сплайн-вейвлеты, сгенерированные с помощью интерполяционных вейвлетов, не поддерживаются компактно. Вейвлеты B-сплайна с компактным носителем были открыты Чарльзом К. Чуи и Цзян-чжун Вангом и опубликованы в 1991 году. Вейвлет B-сплайна с компактным носителем относительно кардинального B-сплайна порядка m, обнаруженный Чуй и Вонг и обозначенный как в качестве поддержки интервал . Эти вейвлеты по сути уникальны в определенном смысле, который будет объяснен ниже.
Определение
B-сплайн-вейвлет порядка m с компактным носителем имеет вид
Это сплайн m-го порядка. Как частный случай, B-сплайн-вейвлет порядка 1 с компактным носителем имеет вид
который является хорошо известным вейвлетом Хаара .
Характеристики
- Опора - закрытый интервал .
- Вейвлет - это уникальный вейвлет с минимальной поддержкой в следующем смысле: если генерирует и имеет поддержку, не превышающую по длине, то для некоторой ненулевой константы и для некоторого целого числа .
-
симметричен для четного m и антисимметричен для нечетного m .
Двухмасштабное отношение
удовлетворяет двухмасштабному соотношению:
-
где .
Отношение разложения
Соотношение разложения для B-сплайн-вейвлета с компактным носителем имеет следующий вид:
где коэффициенты и равны
Здесь последовательность - это последовательность коэффициентов в основном интерполятном кардинальном сплайн-вейвлете порядка m .
B-сплайновые вейвлеты малых порядков с компактной опорой
B-сплайн-вейвлет порядка 1 с компактной опорой
Двухмасштабное соотношение для B-сплайн-всплеска порядка 1 с компактным носителем имеет вид
Выражение в замкнутой форме для B-сплайн-всплеска порядка 1 с компактным носителем имеет вид
B-сплайн-вейвлет порядка 2 с компактной опорой
Двухмасштабное соотношение для B-сплайн-вейвлета порядка 2 с компактным носителем имеет вид
Выражение в замкнутой форме для B-сплайн-вейвлета порядка 2 с компактным носителем имеет вид
B-сплайн-вейвлет порядка 3 с компактной опорой
Двухмасштабное соотношение для B-сплайн-вейвлета порядка 3 с компактным носителем имеет вид
-
Выражение в замкнутой форме для B-сплайн-всплеска порядка 3 с компактным носителем имеет вид
B-сплайн-вейвлет порядка 4 с компактной опорой
Двухмасштабное соотношение для B-сплайн-вейвлета порядка 4 с компактным носителем имеет вид
-
Выражение в замкнутой форме для B-сплайн-вейвлета порядка 4 с компактным носителем имеет вид
B-сплайн-вейвлет порядка 5 с компактной опорой
Двухмасштабное соотношение для B-сплайн-вейвлета порядка 5 с компактным носителем имеет вид
-
Выражение в замкнутой форме для B-сплайн-вейвлета порядка 5 с компактным носителем имеет вид
Изображения B-сплайновых вейвлетов с компактным носителем
|
|
|
B-сплайн вейвлет порядка 1 |
B-сплайн вейвлет порядка 2 |
|
|
|
|
B-сплайн вейвлет порядка 3 |
B-сплайн вейвлет порядка 4 |
B-сплайн вейвлет порядка 5
|
Вейвлеты Battle-Lemarie
Вейвлеты Батл-Лемари образуют класс ортонормированных вейвлетов, построенных с использованием класса кардинальных B-сплайнов. Выражения для этих вейвлетов даны в частотной области; то есть они определяются путем указания своих преобразований Фурье. Преобразование Фурье функции от t , скажем, обозначается через .
Определение
Пусть m - натуральное число, и пусть - кардинальный B-сплайн порядка m . Преобразование Фурье равно . Функция масштабирования для вейвлета Батл-Лемари m-го порядка - это та функция, преобразование Фурье которой имеет вид
М -го порядка Battle-Lemarie вейвлет - функция , преобразование Фурье
Рекомендации
дальнейшее чтение
-
Амир З. Авербух и Валерий А. Желудев (2007). «Вейвлет-преобразования, генерируемые сплайнами» (PDF) . Международный журнал вейвлетов, множественного разрешения и обработки информации . 257 (5) . Проверено 21 декабря 2014 . CS1 maint: обескураженный параметр ( ссылка )
-
Амир З. Авербух, Пекка Нейттаанмаки и Валерий А. Желудев (2014). Сплайна и сплайна Методы вейвлетов с приложениями к обработки сигналов и изображений , Том I . Springer. ISBN 978-94-017-8925-7 . CS1 maint: несколько имен: список авторов ( ссылка )