Вейвлет Хаара - Haar wavelet

Вейвлет Хаара

В математике Вейвлет Хаара представляет собой последовательность масштабированных "квадратных" функций, которые вместе образуют вейвлет семья или основа. Вейвлет-анализ похож на Анализ Фурье в том, что он позволяет представить целевую функцию в интервале в виде ортонормированный базис. Последовательность Хаара теперь признана первой известной основой вейвлетов и широко используется в качестве обучающего примера.

В Последовательность Хаара был предложен в 1909 г. Альфред Хаар.[1] Хаар использовал эти функции, чтобы дать пример ортонормированной системы для пространства квадратично интегрируемые функции на единичный интервал [0, 1]. Изучение вейвлетов и даже термина «вейвлет» появилось гораздо позже. Как частный случай Вейвлет Добеши, вейвлет Хаара также известен как Db1.

Вейвлет Хаара также является самым простым из возможных вейвлетов. Технический недостаток вейвлета Хаара заключается в том, что он не непрерывный, и поэтому не дифференцируемый. Однако это свойство может быть преимуществом для анализа сигналов с внезапными переходами, например, для контроля отказа инструмента в станках.[2]

Материнская вейвлет-функция вейвлета Хаара можно описать как

Его функция масштабирования можно описать как

Функции Хаара и система Хаара

Для каждой пары п, k целых чисел в Z, то Функция Хаара ψп,k определяется на реальная линия р по формуле

Эта функция поддерживается на право-открытый интервал яп,k = [ k2п, (k+1)2п), т.е., Это исчезает вне этого интервала. Он имеет интеграл 0 и норму 1 в Гильбертово пространство  L2(р),

Функции Хаара попарно ортогональный,

куда δя,j представляет Дельта Кронекера. Вот причина ортогональности: когда два опорных интервала и не равны, то они либо не пересекаются, либо меньшая из двух опор, скажем , содержится в нижней или верхней половине другого интервала, на котором функция остается постоянным. В этом случае следует, что произведение этих двух функций Хаара кратно первой функции Хаара, следовательно, произведение имеет интеграл 0.

В Система Хаара на реальной линии - набор функций

это полный в L2(р): Система Хаара на прямой является ортонормированным базисом в L2(р).

Свойства вейвлетов Хаара

Вейвлет Хаара имеет несколько примечательных свойств:

  1. Любую непрерывную вещественную функцию с компактным носителем можно равномерно аппроксимировать формулой линейные комбинации из и их смещенные функции. Это распространяется на те функциональные пространства, где любую функцию в нем можно аппроксимировать непрерывными функциями.
  2. Любую непрерывную действительную функцию на [0, 1] можно равномерно аппроксимировать на [0, 1] линейными комбинациями постоянной функции1, и их смещенные функции.[3]
  3. Ортогональность в виде

    

Здесь δя,j представляет Дельта Кронекера. В двойная функция из ψ (т) есть ψ (т) сам.

  1. Функции вейвлета / масштабирования с различным масштабом п иметь функциональные отношения:[4] поскольку
следует, что коэффициенты масштаба п можно рассчитать по коэффициентам масштаба п + 1:
Если
и
тогда

Система Хаара на единичном интервале и родственные системы

В этом разделе обсуждение ограничено единичный интервал [0, 1] и функциям Хаара, которые поддерживаются на [0, 1]. Система функций, рассмотренная Хааром в 1910 г.,[5]называется Система Хаара на [0, 1] в этой статье, состоит из подмножества вейвлетов Хаара, определенных как

с добавлением постоянной функции 1 на [0, 1].

В Гильбертово пространство слагаемых, эта система Хаара на [0, 1] является полная ортонормированная система, т.е., ортонормированный базис, для пространства L2([0, 1]) суммируемых с квадратом функций на единичном интервале.

Система Хаара на [0, 1] - с постоянной функцией 1 в качестве первого элемента, за которым следуют функции Хаара, упорядоченные в соответствии с лексикографический заказ пар (п, k)- далее монотонный Основа Шаудера для космоса Lп([0, 1]) когда 1 ≤ п < ∞.[6] Эта основа безусловный когда 1 < п < ∞.[7]

Есть связанный Система Радемахера состоящий из сумм функций Хаара,

Обратите внимание, что |рп(т) | = 1 на [0, 1). Это ортонормированная система, но не полная.[8][9]На языке теория вероятности, последовательность Радемахера является экземпляром последовательности независимый Бернулли случайные переменные с иметь в виду 0. Неравенство Хинчина выражает тот факт, что во всех пространствах Lп([0, 1]), 1 ≤ п < ∞, последовательность Радемахера есть эквивалент к базису единичных векторов в ℓ2.[10] В частности, замкнутый линейный пролет последовательности Радемахера в Lп([0, 1]), 1 ≤ п < ∞, является изоморфный к ℓ2.

Система Фабера – Шаудера

В Система Фабера – Шаудера[11][12][13] - семейство непрерывных функций на [0, 1], состоящее из постоянной функции1, и кратных неопределенные интегралы функций системы Хаара на [0, 1], выбранных с нормой 1 в максимальная норма. Эта система начинается с s0 = 1, тогда s1(т) = т - исчезающий в 0 неопределенный интеграл функции1, первый элемент системы Хаара на [0, 1]. Далее для каждого целого числа п ≥ 0, функции sп,k определяются формулой

Эти функции sп,k непрерывны, кусочно-линейный, поддерживаемый интервалом яп,k который также поддерживает ψп,k. Функция sп,k равен 1 в средней точке Иксп,k интервала яп,k, линейная на обеих половинах этого интервала. Он везде принимает значения от 0 до 1.

Система Фабера – Шаудера - это Основа Шаудера для космоса C([0, 1]) непрерывных функций на [0, 1].[6] Для каждогож в C([0, 1]) частичная сумма

из расширение серии из ж в системе Фабера – Шаудера - непрерывная кусочно-линейная функция, согласованная сж на 2п + 1 точки k2п, куда 0 ≤ k ≤ 2п. Далее формула

дает возможность вычислить расширение ж шаг за шагом. С ж является равномерно непрерывный, последовательность {жп} равномерно сходится к ж. Отсюда следует, что разложение в ряд Фабера – Шаудера ж сходится в C([0, 1]), а сумма этого ряда равнаж.

Система Франклина

В Система Франклина получается из системы Фабера – Шаудера Процедура ортонормировки Грама – Шмидта.[14][15]Поскольку система Франклина имеет ту же линейную оболочку, что и система Фабера – Шаудера, эта оболочка плотна в C([0, 1]), поэтому в L2([0, 1]). Таким образом, система Франклина является ортонормированной основой для L2([0, 1]), состоящий из непрерывных кусочно-линейных функций. П. Франклин доказал в 1928 г., что эта система является основой Шаудера для C([0, 1]).[16] Система Франклина также является безусловным базисом Шаудера для пространства Lп([0, 1]) когда 1 < п < ∞.[17]Система Франклина обеспечивает основу Шаудера в дисковая алгебра А(D).[17]Это было доказано в 1974 г. Бочкаревым, после того как существование основы дисковой алгебры оставалось открытым более сорока лет.[18]

Бочкаревым базиса Шаудера в А(D) выглядит следующим образом: пустьж быть комплексно оцененным Функция Липшица на [0, π]; тогдаж это сумма косинусный ряд с абсолютно суммируемый коэффициенты. ПозволятьТ(ж) быть элементом А(D), определяемые комплексом степенной ряд с такими же коэффициентами,

Бочкарева для А(D) формируется изображениями подТ функций системы Франклина на [0, π]. Эквивалентное описание Бочкарева для отображенияТ начинается с расширения ж для четное Функция Липшицаграмм1 на [−π, π], отождествляемой с липшицевой функцией на единичный круг  Т. Далее пусть грамм2 быть сопряженная функция изграмм1, и определим Т(ж) быть функцией вА(D), значение которого на границе Т изD равнограмм1 + яграмм2.

Имея дело с 1-периодическими непрерывными функциями, а точнее с непрерывными функциями ж на [0, 1] такие, что ж(0) = ж(1), убирают функцию s1(т) = т из системы Фабера – Шаудера, чтобы получить периодическая система Фабера – Шаудера. В периодическая система Франклина получается ортонормировкой из периодической системы Фабера – Шаудера.[19]Результат Бочкарева можно доказать на А(D), доказав, что периодическая система Франклина на [0, 2π] является базисом для банахова пространства Ар изоморфен А(D).[19] Космос Ар состоит из сложных непрерывных функций на единичной окружности Т чей сопряженная функция также непрерывно.

Матрица Хаара

Матрица Хаара 2 × 2, связанная с вейвлетом Хаара, имеет вид

С использованием дискретное вейвлет-преобразование, можно преобразовать любую последовательность четной длины в последовательность двухкомпонентных векторов . Если умножить каждый вектор вправо на матрицу , получается результат одной стадии быстрого вейвлет-преобразования Хаара. Обычно последовательности разделяют s и d и продолжает преобразовывать последовательность s. Последовательность s часто называют средние часть, тогда как d известен как Детали часть.[20]

Если у вас есть последовательность длиной, кратной четырем, можно построить блоки из 4 элементов и преобразовать их аналогичным образом с помощью матрицы Хаара 4 × 4

который объединяет две стадии быстрого вейвлет-преобразования Хаара.

Сравните с Матрица Уолша, которая является нелокализованной матрицей 1 / –1.

Как правило, матрица Хаара 2N × 2N может быть получена с помощью следующего уравнения.

куда и это Кронекер продукт.

В Кронекер продукт из , куда - матрица размера m × n и матрица размера p × q, выражается как

Ненормализованная 8-точечная матрица Хаара показано ниже

Обратите внимание, что указанная выше матрица является ненормализованной матрицей Хаара. Матрица Хаара, требуемая преобразованием Хаара, должна быть нормализована.

Из определения матрицы Хаара , можно заметить, что, в отличие от преобразования Фурье, имеет только действительные элементы (т.е. 1, -1 или 0) и не является симметричным.

Возьмем 8-точечную матрицу Хаара В качестве примера. Первый ряд измеряет среднее значение, а вторая строка измеряет низкочастотную составляющую входного вектора. Следующие две строки чувствительны к первой и второй половине входного вектора соответственно, что соответствует умеренным частотным компонентам. Остальные четыре строки чувствительны к четырем участкам входного вектора, которые соответствуют высокочастотным компонентам.[21]

Преобразование Хаара

В Преобразование Хаара самый простой из вейвлет-преобразования. Это преобразование перекрестно умножает функцию на вейвлет Хаара с различными сдвигами и растяжениями, подобно тому, как преобразование Фурье перекрестно умножает функцию на синусоидальную волну с двумя фазами и многими отрезками.[22][требуется разъяснение ]

Вступление

В Преобразование Хаара - одна из старейших функций преобразования, предложенная в 1910 году венгерским математиком Альфред Хаар. Он оказался эффективным в таких приложениях, как сжатие сигналов и изображений в электротехнике и вычислительной технике, поскольку обеспечивает простой и эффективный с вычислительной точки зрения подход к анализу локальных аспектов сигнала.

Преобразование Хаара выводится из матрицы Хаара. Пример матрицы преобразования Хаара 4x4 показан ниже.

Преобразование Хаара можно рассматривать как процесс выборки, в котором строки матрицы преобразования действуют как выборки все более и более высокого разрешения.

Сравните с Преобразование Уолша, который также равен 1 / –1, но не является локализованным.

Свойство

Преобразование Хаара обладает следующими свойствами

1. Нет необходимости в умножении. Для этого требуются только дополнения, а в матрице Хаара много элементов с нулевым значением, поэтому время вычислений невелико. Это быстрее чем Преобразование Уолша, матрица которого состоит из +1 и −1.
2. Длина входа и выхода одинакова. Однако длина должна быть степенью 2, т.е. .
3. Его можно использовать для анализа локализованных характеристик сигналов. Из-за ортогональный Свойство функции Хаара позволяет анализировать частотные составляющие входного сигнала.

Преобразование Хаара и обратное преобразование Хаара

Преобразование Хаара уп функции n входов Иксп является

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

куда - единичная матрица. Например, при n = 4

Таким образом, обратное преобразование Хаара имеет вид

Пример

Коэффициенты преобразования Хаара для n = 4-точечного сигнала можно найти как

Входной сигнал может быть полностью восстановлен с помощью обратного преобразования Хаара

Заявление

Современные фотоаппараты способны создавать изображения с разрешением в несколько десятков мегапикселей. Эти изображения должны быть сжатый перед хранением и передачей. Преобразование Хаара можно использовать для сжатия изображений. Основная идея состоит в том, чтобы передать изображение в матрицу, в которой каждый элемент матрицы представляет пиксель изображения. Например, матрица 256 × 256 сохраняется для изображения 256 × 256. JPEG сжатие изображения включает в себя разрезание исходного изображения на фрагменты изображения 8 × 8. Каждое суб-изображение представляет собой матрицу 8 × 8.

Требуется двумерное преобразование Хаара. Уравнение преобразования Хаара: , куда это п × п матрица и является n-точечным преобразованием Хаара. Обратное преобразование Хаара есть

В оральной хирургии анализ структуры изображения на основе вейвлета Хаара используется для выявления потенциально опасных поражений, например лейкоплакии [DOI: 10.1155 / 2020/8831161; DOI: 10.3390 / ma13163614].

Смотрите также

Примечания

  1. ^ см. стр. 361 дюйм Хаар (1910).
  2. ^ Ли, Б .; Тарнг, Ю.С. (1999). «Применение дискретного вейвлет-преобразования для контроля отказа инструмента при концевом фрезеровании с использованием тока двигателя шпинделя». Международный журнал передовых производственных технологий. 15 (4): 238–243. Дои:10.1007 / s001700050062.
  3. ^ В отличие от предыдущего утверждения, этот факт не очевиден: см. С. 363 дюйм Хаар (1910).
  4. ^ Видакович, Брани (2010). Статистическое моделирование с помощью вейвлетов (2-е изд.). С. 60, 63. Дои:10.1002/9780470317020.
  5. ^ п. 361 дюйм Хаар (1910)
  6. ^ а б см. стр. 3 в Дж. Линденштраус, Л. Цафрири, (1977), "Классические банаховы пространства I, пространства последовательностей", Ergebnisse der Mathematik и ихрер Гренцгебиете 92, Берлин: Springer-Verlag, ISBN  3-540-08072-4.
  7. ^ Результат обусловлен Р. Э. Пейли, Замечательная серия ортогональных функций (I), Proc. Лондонская математика. Soc. 34 (1931) стр. 241-264. Также стр. 155 в J. Lindenstrauss, L. Tzafriri, (1979), "Классические банаховы пространства II, Функциональные пространства". Ergebnisse der Mathematik и ихрер Гренцгебиете 97, Берлин: Springer-Verlag, ISBN  3-540-08888-1.
  8. ^ «Ортогональная система». Энциклопедия математики.
  9. ^ Уолтер, Гилберт Дж .; Шен, Сяопин (2001). Вейвлеты и другие ортогональные системы. Бока-Ратон: Чепмен. ISBN  1-58488-227-1.
  10. ^ см. например стр. 66 дюйм Дж. Линденштраус, Л. Цафрири, (1977), "Классические банаховы пространства I, пространства последовательностей", Ergebnisse der Mathematik и ихрер Гренцгебиете 92, Берлин: Springer-Verlag, ISBN  3-540-08072-4.
  11. ^ Фабер, Георг (1910), "Über die Orthogonalfunktionen des Herrn Haar", Deutsche Math.-Ver (на немецком) 19: 104–112. ISSN  0012-0456; http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN37721857X  ; http://resolver.sub.uni-goettingen.de/purl?GDZPPN002122553
  12. ^ Шаудер, Юлиуш (1928), "Eine Eigenschaft des Haarschen Orthogonalsystems", Mathematische Zeitschrift 28: 317–320.
  13. ^ Голубов, Б. (2001) [1994], «Система Фабера – Шаудера», Энциклопедия математики, EMS Press
  14. ^ см. Z. Ciesielski, Свойства ортонормированной системы Франклина. Studia Math. 23 1963 141–157.
  15. ^ Система Франклина. Б.И. Голубов (составитель), Математическая энциклопедия. URL: http://www.encyclopediaofmath.org/index.php?title=Franklin_system&oldid=16655
  16. ^ Филип Франклин, Набор непрерывных ортогональных функций, Математика. Анна. 100 (1928), 522-529.
  17. ^ а б С. В. Бочкарев, Существование базиса в пространстве аналитических в круге функций и некоторые свойства системы Франклина. Мат. Сб. 95 (1974), 3–18. Перевел в математике. СССР-Сб. 24 (1974), 1–16.
  18. ^ Возникает вопрос р. 238, § 3 в книге Банаха, Банах, Стефан (1932), Теория линейных операций, Monografie Matematyczne, 1, Варшава: Subwencji Funduszu Kultury Narodowej, Zbl  0005.20901. Дисковая алгебра А(D) отображается как Пример 10, стр. 12 в книге Банаха.
  19. ^ а б См. Стр. 161, III.D.20 и стр. 192, III.E.17 в Войтащик, Пшемыслав (1991), Банаховы пространства для аналитиков, Кембриджские исследования по высшей математике, 25, Кембридж: Издательство Кембриджского университета, стр. Xiv + 382, ISBN  0-521-35618-0
  20. ^ Рух, Дэвид К .; Ван Флит, Патрик Дж. (2009). Теория вейвлетов: элементарный подход к приложениям. Джон Вили и сыновья. ISBN  978-0-470-38840-2.
  21. ^ "хаар". Fourier.eng.hmc.edu. 30 октября 2013 г.. Получено 23 ноября 2013.
  22. ^ Преобразование Хаара

Рекомендации

внешняя ссылка

Преобразование Хаара