En matemáticas, la ondícula de Haar es una secuencia de funciones "cuadradas" reescaladas que juntas forman una familia o base de ondículas . El análisis de ondículas es similar al análisis de Fourier en el sentido de que permite representar una función objetivo en un intervalo en términos de una base ortonormal . La secuencia de Haar se reconoce actualmente como la primera base de ondículas conocida y se utiliza ampliamente como ejemplo didáctico.
La sucesión de Haar fue propuesta en 1909 por Alfréd Haar . [1]
Haar utilizó estas funciones para dar un ejemplo de un sistema ortonormal para el espacio de funciones integrables al cuadrado en el intervalo unitario [0, 1]. El estudio de las wavelets, e incluso el término "wavelet", no llegó hasta mucho después. Como caso especial de la wavelet de Daubechies , la wavelet de Haar también se conoce como Db1 .
La wavelet de Haar es también la wavelet más simple posible. La desventaja técnica de la wavelet de Haar es que no es continua y, por lo tanto, no es diferenciable . Esta propiedad, sin embargo, puede ser una ventaja para el análisis de señales con transiciones repentinas ( señales discretas ), como la monitorización de fallos de herramientas en máquinas. [2]
La función wavelet madre de la ondícula de Haar se puede describir como
donde representa la delta de Kronecker . He aquí la razón de la ortogonalidad: cuando los dos intervalos de apoyo y no son iguales, entonces son disjuntos, o bien el menor de los dos apoyos, digamos , está contenido en la mitad inferior o superior del otro intervalo, en el que la función permanece constante. En este caso se deduce que el producto de estas dos funciones de Haar es un múltiplo de la primera función de Haar, por lo tanto el producto tiene integral 0.
El sistema Haar en la recta real es el conjunto de funciones
Está completo en L 2 ( ): El sistema de Haar en la línea es una base ortonormal en L 2 ( ).
Propiedades de las ondículas de Haar
La ondícula de Haar tiene varias propiedades notables:
Cualquier función real continua con soporte compacto puede ser aproximada de manera uniforme mediante combinaciones lineales de y sus funciones desplazadas. Esto se extiende a aquellos espacios de funciones donde cualquier función contenida en ellos puede ser aproximada mediante funciones continuas.
Cualquier función real continua en [0, 1] puede aproximarse uniformemente en [0, 1] mediante combinaciones lineales de la función constante 1 y sus funciones desplazadas. [3]
Las funciones wavelet/de escala con diferente escala n tienen una relación funcional: [4] ya que
de ello se deduce que los coeficientes de escala n se pueden calcular mediante coeficientes de escala n+1 : Si
y
entonces
Sistema de Haar sobre el intervalo unitario y sistemas relacionados
En esta sección, la discusión se limita al intervalo unitario [0, 1] y a las funciones de Haar que se apoyan en [0, 1]. El sistema de funciones considerado por Haar en 1910, [5]
llamado el sistema de Haar en [0, 1] en este artículo, consiste en el subconjunto de wavelets de Haar definidos como
con la adición de la función constante 1 en [0, 1].
En términos del espacio de Hilbert , este sistema de Haar en [0, 1] es un sistema ortonormal completo, es decir , una base ortonormal , para el espacio L 2 ([0, 1]) de funciones integrables al cuadrado en el intervalo unitario.
El sistema de Haar en [0, 1] —con la función constante 1 como primer elemento, seguida de las funciones de Haar ordenadas según el orden lexicográfico de pares ( n , k ) — es además una base de Schauder monótona para el espacio L p ([0, 1]) cuando 1 ≤ p < ∞ . [6]
Esta base es incondicional cuando 1 < p < ∞ . [7]
Existe un sistema de Rademacher relacionado que consiste en sumas de funciones de Haar,
El sistema Faber–Schauder [11] [12] [13]
es la familia de funciones continuas en [0, 1] que consiste en la función constante 1 , y en múltiplos de integrales indefinidas de las funciones en el sistema de Haar en [0, 1], elegidas para tener norma 1 en la norma máxima . Este sistema comienza con s 0 = 1 , luego s 1 ( t ) = t es la integral indefinida que se anula en 0 de la función 1 , primer elemento del sistema de Haar en [0, 1]. A continuación, para cada entero n ≥ 0 , las funciones s n , k se definen mediante la fórmula
Estas funciones s n , k son continuas, lineales por partes , soportadas por el intervalo I n , k que también soporta ψ n , k . La función s n , k es igual a 1 en el punto medio x n , k del intervalo I n , k , lineal en ambas mitades de ese intervalo. Toma valores entre 0 y 1 en todas partes.
El sistema Faber-Schauder es una base de Schauder para el espacio C ([0, 1]) de funciones continuas en [0, 1]. [6]
Para cada f en C ([0, 1]), la suma parcial
de la expansión en serie de f en el sistema Faber–Schauder es la función lineal continua por partes que concuerda con f en los 2 n + 1 puntos k 2 − n , donde 0 ≤ k ≤ 2 n . A continuación, la fórmula
proporciona una manera de calcular la expansión de f paso a paso. Como f es uniformemente continua , la secuencia { f n } converge uniformemente a f . De ello se deduce que la expansión de la serie de Faber-Schauder de f converge en C ([0, 1]), y la suma de esta serie es igual a f .
El sistema Franklin
El sistema Franklin se obtiene a partir del sistema Faber–Schauder mediante el procedimiento de ortonormalización de Gram–Schmidt . [14] [15]
Dado que el sistema Franklin tiene el mismo intervalo lineal que el sistema Faber–Schauder, este intervalo es denso en C ([0, 1]), por lo tanto en L 2 ([0, 1]). El sistema Franklin es, por lo tanto, una base ortonormal para L 2 ([0, 1]), que consiste en funciones lineales continuas por partes. P. Franklin demostró en 1928 que este sistema es una base de Schauder para C ([0, 1]). [16]
El sistema Franklin también es una base de Schauder incondicional para el espacio L p ([0, 1]) cuando 1 < p < ∞ . [17]
El sistema Franklin proporciona una base de Schauder en el álgebra de discos A ( D ). [17]
Esto fue demostrado en 1974 por Bočkarev, después de que la existencia de una base para el álgebra de discos había permanecido abierta durante más de cuarenta años. [18]
La construcción de Bočkarev de una base de Schauder en A ( D ) es la siguiente: sea f una función Lipschitz de valor complejo en [0, π]; entonces f es la suma de una serie de cosenos con coeficientes absolutamente sumables . Sea T ( f ) el elemento de A ( D ) definido por la serie de potencias complejas con los mismos coeficientes,
La base de Bočkarev para A ( D ) está formada por las imágenes bajo T de las funciones en el sistema de Franklin en [0, π]. La descripción equivalente de Bočkarev para la función T comienza extendiendo f a una función de Lipschitz par g 1 en [−π, π], identificada con una función de Lipschitz en el círculo unitario T . A continuación, sea g 2 la función conjugada de g 1 , y definamos T ( f ) como la función en A ( D ) cuyo valor en el límite T de D es igual a g 1 + i g 2 .
Cuando se trabaja con funciones continuas 1-periódicas, o mejor dicho con funciones continuas f en [0, 1] tales que f (0) = f (1) , se elimina la función s 1 ( t ) = t del sistema de Faber–Schauder, para obtener el sistema periódico de Faber–Schauder . El sistema periódico de Franklin se obtiene por ortonormalización a partir del sistema periódico de Faber–Schauder. [19]
Se puede demostrar el resultado de Bočkarev en A ( D ) demostrando que el sistema periódico de Franklin en [0, 2π] es una base para un espacio de Banach A r isomorfo a A ( D ). [19]
El espacio A r consiste en funciones continuas complejas en el círculo unitario T cuya función conjugada también es continua.
Matriz de Haar
La matriz Haar 2×2 que está asociada con la ondícula de Haar es
Utilizando la transformada wavelet discreta , se puede transformar cualquier secuencia de longitud par en una secuencia de vectores de dos componentes . Si se multiplica por la derecha cada vector con la matriz , se obtiene el resultado de una etapa de la transformada wavelet de Haar rápida. Normalmente se separan las secuencias s y d y se continúa con la transformación de la secuencia s . La secuencia s se conoce a menudo como la parte de promedios , mientras que d se conoce como la parte de detalles . [20]
Si uno tiene una secuencia de longitud múltiplo de cuatro, puede construir bloques de 4 elementos y transformarlos de manera similar con la matriz de Haar 4×4.
que combina dos etapas de la transformada rápida wavelet de Haar.
Compárese con una matriz de Walsh , que es una matriz 1/–1 no localizada.
En general, la matriz de Haar 2N×2N se puede derivar mediante la siguiente ecuación.
El producto de Kronecker de , donde es una matriz m×n y es una matriz p×q, se expresa como
A continuación se muestra una matriz de Haar de 8 puntos no normalizada.
Tenga en cuenta que la matriz anterior es una matriz Haar no normalizada. La matriz Haar requerida por la transformada Haar debe estar normalizada.
De la definición de la matriz de Haar , se puede observar que, a diferencia de la transformada de Fourier , sólo tiene elementos reales (es decir, 1, -1 o 0) y no es simétrica.
Tomemos como ejemplo la matriz Haar de 8 puntos . La primera fila de mide el valor promedio y la segunda fila de mide un componente de baja frecuencia del vector de entrada. Las dos filas siguientes son sensibles a la primera y segunda mitad del vector de entrada respectivamente, que corresponden a componentes de frecuencia moderada. Las cuatro filas restantes son sensibles a la cuarta sección del vector de entrada, que corresponde a componentes de alta frecuencia. [21]
Transformación de Haar
La transformada de Haar es la más simple de las transformadas wavelet . Esta transformada multiplica de forma cruzada una función por la wavelet de Haar con varios desplazamientos y estiramientos, al igual que la transformada de Fourier multiplica de forma cruzada una función por una onda sinusoidal con dos fases y muchos estiramientos. [22] [ aclaración necesaria ]
Introducción
La transformada de Haar es una de las funciones de transformada más antiguas, propuesta en 1910 por el matemático húngaro Alfréd Haar . Se considera eficaz en aplicaciones como la compresión de señales e imágenes en ingeniería eléctrica e informática, ya que proporciona un enfoque simple y computacionalmente eficiente para analizar los aspectos locales de una señal.
La transformación de Haar se deriva de la matriz de Haar. A continuación se muestra un ejemplo de una matriz de transformación de Haar de 4×4.
La transformada de Haar puede considerarse como un proceso de muestreo en el que las filas de la matriz de transformación actúan como muestras de resolución cada vez más fina.
Compárese con la transformada de Walsh , que también es 1/–1, pero no está localizada.
Propiedad
La transformada de Haar tiene las siguientes propiedades
No necesita multiplicaciones, solo requiere adiciones y hay muchos elementos con valor cero en la matriz de Haar, por lo que el tiempo de cálculo es corto. Es más rápida que la transformada de Walsh , cuya matriz está compuesta por +1 y −1.
La longitud de entrada y salida son iguales. Sin embargo, la longitud debe ser una potencia de 2, es decir , .
Se puede utilizar para analizar las características localizadas de las señales. Debido a la propiedad ortogonal de la función Haar, se pueden analizar los componentes de frecuencia de la señal de entrada.
Transformada de Haar y transformada de Haar inversa
La transformada de Haar y n de una función de n entradas x n es
La matriz de la transformada de Haar es real y ortogonal. Por lo tanto, la transformada inversa de Haar se puede obtener mediante las siguientes ecuaciones.
donde es la matriz identidad. Por ejemplo, cuando n = 4
Por tanto, la transformada de Haar inversa es
Ejemplo
Los coeficientes de la transformada de Haar de una señal de 4 puntos se pueden encontrar como
La señal de entrada puede entonces reconstruirse perfectamente mediante la transformada inversa de Haar.
^ Lee, B.; Tarng, YS (1999). "Aplicación de la transformada wavelet discreta al monitoreo de falla de herramienta en fresado de extremos usando la corriente del motor del husillo". Revista internacional de tecnología de fabricación avanzada . 15 (4): 238–243. doi :10.1007/s001700050062. S2CID 109908427.
^ A diferencia de la afirmación precedente, este hecho no es obvio: véase p. 363 en Haar (1910).
^ Vidakovic, Brani (2010). Modelado estadístico mediante wavelets . Wiley Series in Probability and Statistics (2.ª ed.). pp. 60, 63. doi :10.1002/9780470317020. ISBN9780470317020.
^ pág. 361 en Haar (1910)
^ ab ver pág. 3 en J. Lindenstrauss , L. Tzafriri, (1977), "Classical Banach Spaces I, Sequence Spaces", Ergebnisse der Mathematik und ihrer Grenzgebiete 92 , Berlín: Springer-Verlag, ISBN 3-540-08072-4 .
↑ El resultado se debe a RE Paley , Una notable serie de funciones ortogonales (I) , Proc. Matemáticas de Londres. Soc. 34 (1931) págs. 241-264. Véase también pág. 155 en J. Lindenstrauss, L. Tzafriri, (1979), "Espacios clásicos de Banach II, espacios funcionales". Ergebnisse der Mathematik und ihrer Grenzgebiete 97 , Berlín: Springer-Verlag, ISBN 3-540-08888-1 .
^ Walter, Gilbert G.; Shen, Xiaoping (2001). Wavelets y otros sistemas ortogonales . Boca Raton: Chapman. ISBN1-58488-227-1.
^ ver, por ejemplo, pág. 66 en J. Lindenstrauss , L. Tzafriri, (1977), "Classical Banach Spaces I, Sequence Spaces", Ergebnisse der Mathematik und ihrer Grenzgebiete 92 , Berlín: Springer-Verlag, ISBN 3-540-08072-4 .
^ Faber, Georg (1910), "Über die Orthogonalfunktionen des Herrn Haar", Deutsche Math.-Ver (en alemán) 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
^ ver Z. Ciesielski, Propiedades del sistema ortonormal de Franklin . Estudia Matemáticas. 23 1963 141–157.
^ Sistema Franklin. BI Golubov (creador), Enciclopedia de Matemáticas. URL: http://www.encyclopediaofmath.org/index.php?title=Sistema_Franklin&oldid=16655
^ Philip Franklin, Un conjunto de funciones ortogonales continuas , Math. Ann. 100 (1928), 522-529. doi :10.1007/BF01448860
^ ab SV Bočkarev, Existencia de una base en el espacio de funciones analíticas en el disco y algunas propiedades del sistema de Franklin . Mat. Sb. 95 (1974), 3–18 (ruso). Traducido en Math. URSS-Sb. 24 (1974), 1–16.
^ La pregunta aparece p. 238, §3 en el libro de Banach, Banach, Stefan (1932), Théorie des opérations linéaires, Monografie Matematyczne, vol. 1, Varsovia: Subwencji Funduszu Kultury Narodowej, Zbl 0005.20901El álgebra de discos A ( D ) aparece como Ejemplo 10, p. 12 en el libro de Banach.
^ ab Véase p. 161, III.D.20 y p. 192, III.E.17 en Wojtaszczyk, Przemysław (1991), Espacios de Banach para analistas , Cambridge Studies in Advanced Mathematics, vol. 25, Cambridge: Cambridge University Press, pp. xiv+382, ISBN 0-521-35618-0
^ Ruch, David K.; Van Fleet, Patrick J. (2009). Teoría wavelet: un enfoque elemental con aplicaciones . John Wiley & Sons. ISBN978-0-470-38840-2.
^ "haar". Fourier.eng.hmc.edu. 30 de octubre de 2013. Archivado desde el original el 21 de agosto de 2012 . Consultado el 23 de noviembre de 2013 .
Implementación gratuita del filtrado wavelet de Haar y demostración interactiva
Eliminación de ruido de wavelets de Haar y compresión de señales con pérdida gratuitas
Transformación de Haar
Kingsbury, Nick. "La transformación de Haar". Archivado desde el original el 19 de abril de 2006.
Eck, David (31 de enero de 2006). "Applets de demostración de Haar Transform".
Ames, Greg (7 de diciembre de 2002). "Compresión de imágenes" (PDF) . Archivado desde el original (PDF) el 25 de enero de 2011.
Aaron, Anne; Hill, Michael; Srivatsa, Anand. "MOSMAT 500. Un generador de fotomosaicos. 2. Teoría". Archivado desde el original el 18 de marzo de 2008.
Wang, Ruye (4 de diciembre de 2008). "Haar Transform". Archivado desde el original el 21 de agosto de 2012.