Сплайн вейвлет - Spline wavelet

Анимация, показывающая компактно поддерживаемые кардинальные вейвлеты 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-сплайнов

Элементарные свойства

  1. Поддержка из является отрезком .
  2. Функция неотрицательна, то есть для .
  3. для всех .
  4. Кардинальные B-сплайнов заказов м и м-1 связаны идентичности: .
  5. Функция симметрична относительно , то есть .
  6. Производная от дается выражением .

Двухмасштабное отношение

Кардинальный 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-сплайн
BSplineOfOrder1.png
TwoScaleRelationForBSplineOfOrder1.png

Линейный B-шлиц

B-сплайн 2-го порядка, а именно линейный B-сплайн. Это дается

Двухмасштабное соотношение для этого вейвлета:

Линейный B-шлиц
CardinalBSplineOfOrder2.png
TwoScaleRelationForCardinalBSplineOfOrder2.png

Квадратичный B-сплайн

B-сплайн 3-го порядка, а именно квадратичный B-сплайн. Это дается

Двухмасштабное соотношение для этого вейвлета:

Квадратичный B-сплайн
CardinalBSplineOfOrder3.png
TwoScaleRelationForCardinalBSplineOfOrder3.png

Кубический B-сплайн

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

Двухмасштабное соотношение для кубического B-сплайна имеет вид

Кубический B-сплайн
CardinalBSplineOfOrder4.png
TwoScaleRelationForCardinalBSplineOfOrder4.png

Примечание : условные обозначения желтого графика должны быть

Биквадратичный B-сплайн

Биквадратичный B-сплайн - это кардинальный B-сплайн порядка 5, который обозначается через . Это дается

Двухмасштабное соотношение:

Квинтик B-сплайн

Пятый B-сплайн - это кардинальный B-сплайн порядка 6, который обозначается через . Это дается

Анализ с несколькими разрешениями, генерируемый кардинальными B-сплайнами

Кардинальный B-сплайн порядка m генерирует анализ с несколькими разрешениями . В самом деле, из элементарных свойств этих функций , изложенных выше, следует , что функция является интегрируемым квадратом и является элементом пространства квадратично интегрируемых функций. Для настройки анализа с несколькими разрешениями используются следующие обозначения.

  • Для любых целых чисел определите функцию .
  • Для каждого целого числа , определяет подпространство в качестве закрытия из линейной оболочки множества .

То, что они определяют анализ с несколькими разрешениями, следует из следующего:

  1. Пространства удовлетворяют свойство: .
  2. Замыкание объединения всех подпространств есть все пространство .
  3. Пересечение всех подпространств представляет собой одноэлементное множество, содержащее только нулевую функцию.
  4. Для каждого целого числа набор является безусловным основанием . (Последовательность { 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 с компактным носителем имеет вид

который является хорошо известным вейвлетом Хаара .

Характеристики

  1. Опора - закрытый интервал .
  2. Вейвлет - это уникальный вейвлет с минимальной поддержкой в ​​следующем смысле: если генерирует и имеет поддержку, не превышающую по длине, то для некоторой ненулевой константы и для некоторого целого числа .
  3. симметричен для четного 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-сплайновых вейвлетов с компактным носителем

CardinalBSplineWaveletOfOrder1.png
CardinalBSplineWaveletOfOrder2.png
B-сплайн вейвлет порядка 1 B-сплайн вейвлет порядка 2
CardinalBSplineWaveletOfOrder3.png
CardinalBSplineWaveletOfOrder4.png
CardinalBSplineWaveletOfOrder5.png
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: несколько имен: список авторов ( ссылка )