Analiza wielorozdzielcza

Analiza wielorozdzielcza ( MRA ) lub aproksymacja wieloskalowa ( MSA ) jest metodą projektowania większości praktycznie istotnych dyskretnych transformat falkowych (DWT) i uzasadnieniem algorytmu szybkiej transformaty falkowej (FWT). Został wprowadzony w tym kontekście w latach 1988/89 przez Stephane'a Mallata i Yvesa Meyera i ma poprzedników w analizie mikrolokalnej w teorii równań różniczkowych (tzw. metoda prasowania ) oraz piramidowe metody przetwarzania obrazu wprowadzone w latach 1981/83 przez Petera J. Burta, Edwarda H. Adelsona i Jamesa L. Crowleya .

Definicja

Wielorozdzielcza analiza przestrzeni Lebesgue'a składa się z sekwencji zagnieżdżonych podprzestrzeni

który spełnia pewne relacje samopodobieństwa w czasie-przestrzeni i skali-częstotliwości, a także relacje zupełności i regularności.

  • Samopodobieństwo w czasie wymaga, aby każda podprzestrzeń V k była niezmienna przy przesunięciach o całkowite wielokrotności 2 k . to dla funkcji jako również zawarte w .
  • Samopodobieństwo w skali wszystkie były skalowanie odpowiednio współczynnika dylatacji 2 k-l . dla każdego istnieje z .
  • W ciągu podprzestrzeni dla k > l rozdzielczość przestrzenna 2 l l - tej podprzestrzeni jest większa niż rozdzielczość 2 k k - tej podprzestrzeni.
  • Regularność wymaga, aby podprzestrzeń modelu V 0 była generowana jako liniowy kadłub ( algebraicznie lub nawet topologicznie zamknięty ) całkowitych przesunięć jednej lub skończonej liczby funkcji generujących lub lub . Te całkowite przesunięcia powinny przynajmniej tworzyć ramkę dla podprzestrzeni , co nakłada pewne warunki na rozpad w nieskończoności . Funkcje generujące są również znane jako funkcje skalujące lub falki ojcowskie . W większości przypadków wymaga się, aby te funkcje były fragmentarycznie ciągłe ze zwartym nośnikiem .
  • Kompletność powinno być w , i aby nie były zbyt zbędne, tj , ich przecięcie powinno zawierać tylko element zerowy .

Ważne wnioski

W przypadku jednej ciągłej (lub przynajmniej z ograniczoną wariacją) zwięźle obsługiwanej funkcji skalującej z przesunięciami ortogonalnymi, można dokonać kilku dedukcji. Dowód istnienia tej klasy funkcji pochodzi od Ingrid Daubechies .

że funkcja skalująca ma zwarte wsparcie, to że istnieje skończona dla i dla takie, że

Definiowanie innej funkcji, zwanej falką macierzystą lub po prostu falką

że przestrzeń przesunięć falki macierzystej, jest wewnątrz . Lub inaczej mówiąc, jest ortogonalną sumą (oznaczoną przez W i . Dzięki samopodobieństwu istnieją skalowane wersje W_ i dzięki kompletności

więc zestaw

gdzie jest policzalną kompletną ortonormalną bazą falkową w .

Zobacz też