Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

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

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

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

Функции Хаара и система Хаара [ править ]

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

Эта функция поддерживается на правооткрытом интервале I n , k = [ k 2 - n , ( k +1) 2 - n ) , то есть вне этого интервала она обращается в нуль . Он имеет интеграл 0 и норму 1 в гильбертовом пространстве L 2 ( R ) ,  

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

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

Система Хаара на прямой - это набор функций

Это полная в L 2 ( R ): Система Хаара на линии ортонормированный базис в L 2 ( R ).

Свойства вейвлетов Хаара [ править ]

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

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

    

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

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

Система Хаара на единичном интервале и связанные с ней системы [ править ]

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

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

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

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

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

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

Система Фабера – Шаудера [ править ]

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

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

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

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

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

Система Франклина [ править ]

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

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

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

Имея дело с 1-периодическими непрерывными функциями, или, скорее, с непрерывными функциями f на [0, 1] такими, что f (0) = f (1) , из системы Фабера – Шаудера удаляется функция s 1 ( t ) = t , чтобы получить периодическую систему Фабера – Шаудера . Периодическая система Франклина получается путем ортогонализации от периодической системы Фабера - Шаудер. [19] Можно доказать результат Бочкарева о A ( D ), доказав, что периодическая система Франклина на [0, 2π] является базисом для банахова пространства A r, изоморфного А ( D ). [19] Пространство A r состоит из комплексных непрерывных функций на единичной окружности T , сопряженная функция которых также непрерывна.

Матрица Хаара [ править ]

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

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

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

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

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

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

где и - произведение Кронекера .

Продукт Кронекера из , где есть т × п матрица и является ар × д матрица, выражается как

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

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

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

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

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

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

Введение [ править ]

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

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

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

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

Свойство [ править ]

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

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

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

Преобразование Хаара y n входной функции x n имеет вид

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

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

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

Пример [ править ]

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

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

См. Также [ править ]

  • Уменьшение размеров
  • Матрица Уолша
  • Преобразование Уолша
  • Вейвлет
  • Чирплет
  • Сигнал
  • Хаароподобная особенность
  • Вейвлет Стрёмберга
  • Диадическая трансформация

Заметки [ править ]

  1. ^ см. стр. 361 в Хааре (1910) .
  2. ^ Ли, B .; Тарнг, Ю.С. (1999). «Применение дискретного вейвлет-преобразования для контроля отказа инструмента при концевом фрезеровании с использованием тока двигателя шпинделя». Международный журнал передовых производственных технологий . 15 (4): 238–243. DOI : 10.1007 / s001700050062 .
  3. ^ В отличие от предыдущего утверждения, этот факт не очевиден: см. Стр. 363 в Хааре (1910) .
  4. ^ Видакович, Brani (2010). Статистическое моделирование с помощью вейвлетов (2-е изд.). С. 60, 63.. DOI : 10.1002 / 9780470317020 .
  5. ^ стр. 361 в Хааре (1910)
  6. ^ a b см. стр. 3 в J. Lindenstrauss , L. Tzafriri, (1977), «Классические банаховы пространства I, пространства последовательностей», Ergebnisse der Mathematik und ihrer Grenzgebiete 92 , Берлин: Springer-Verlag, ISBN 3-540-08072-4 . 
  7. ^ Результат принадлежит RE Пэли , Замечательная серия ортогональных функций (I) , Proc. Лондонская математика. Soc. 34 (1931), стр. 241-264. См. Также стр. 155 в J. Lindenstrauss, L. Tzafriri, (1979), "Классические банаховы пространства II, Функциональные пространства". Ergebnisse der Mathematik und ihrer Grenzgebiete 97 , Берлин: Springer-Verlag, ISBN 3-540-08888-1 . 
  8. ^ "Ортогональная система" , Энциклопедия математики , EMS Press , 2001 [1994]
  9. ^ Уолтер, Гилберт G .; Шен, Сяопин (2001). Всплески и другие ортогональные системы . Бока-Ратон: Чепмен. ISBN 1-58488-227-1.
  10. ^ см., например, стр. 66 в J. Lindenstrauss , L. Tzafriri, (1977), «Классические банаховы пространства I, пространства последовательностей», Ergebnisse der Mathematik und ihrer Grenzgebiete 92 , Берлин: Springer-Verlag, ISBN 3-540-08072-4 . 
  11. Faber, Georg (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. ^ Schauder, Юлиуш (1928), "Eine Eigenschaft де 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. ^ Филип Франклин, Набор непрерывных ортогональных функций , Math. Анна. 100 (1928), 522-529.
  17. ^ a b С. В. Бочкарев, Существование базиса в пространстве функций, аналитических в круге, и некоторые свойства системы Франклина . Мат. Сб. 95 (1974), 3–18. Перевел в математике. СССР-Сб. 24 (1974), 1–16.
  18. ^ Появляется вопрос стр. 238, §3 в книге Банаха , Banach, Stefan (1932), Théorie des opérations linéaires , Monografie Matematyczne, 1 , Warszawa: Subwencji Funduszu Kultury Narodowej, Zbl 0005.20901 . Дисковая алгебра A ( D ) появляется как пример 10, с. 12 в книге Банаха.
  19. ^ a b См. стр. 161, III.D.20 и стр. 192, III.E.17 в Wojtaszczyk, Przemysław (1991), Банаховые пространства для аналитиков , Cambridge Studies in Advanced Mathematics, 25 , Cambridge: Cambridge University Press, pp. 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. ^ Преобразование Хаара

Ссылки [ править ]

  • Хаара, Alfréd (1910), "Zur Теорье дер orthogonalen Funktionensysteme", Mathematische Annalen , 69 (3): 331-371, DOI : 10.1007 / BF01456326 , ЛВП : 2027 / uc1.b2619563
  • Чарльз К. Чуи, Введение в вейвлеты , (1992), Academic Press, San Diego, ISBN 0-585-47090-1 
  • Английский перевод основополагающей статьи Хаара: https://www.uni-hohenheim.de/~gzim/Publications/haar.pdf [ постоянная мертвая ссылка ]

Внешние ссылки [ править ]

  • "Система Хаара" , Энциклопедия математики , EMS Press , 2001 [1994]
  • Бесплатная реализация вейвлет-фильтрации Хаара и интерактивная демонстрация
  • Свободное шумоподавление вейвлета Хаара и сжатие сигнала с потерями

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

  • [1]
  • [2]
  • [3]
  • [4]
  • [5]