Las funciones de Walsh son una familia de funciones que forman un sistema ortogonal y toman valores solo +1 y −1 en todo el dominio de definición.
En principio, las funciones de Walsh se pueden representar en forma continua, pero más a menudo se definen como secuencias discretas de elementos. Un grupo de funciones de Walsh forma una matriz de Hadamard .
Las funciones de Walsh se han generalizado en las comunicaciones por radio, donde se utilizan para implementar canales de división de código ( CDMA ), por ejemplo, en estándares celulares como IS-95, CDMA2000 o UMTS .
El sistema de funciones de Walsh es una base ortonormal y, como resultado, permite descomponer señales de forma de onda arbitrarias en una serie de Fourier generalizada .
Una generalización de las funciones de Walsh al caso de más de dos valores son las funciones de Vilenkin-Chrestenson .
Sea la función de Walsh definida en el intervalo [0, T ]; fuera de este intervalo, la función se repite periódicamente. Introduzcamos el tiempo adimensional . Entonces la función de Walsh numerada k se denota como . La numeración de las funciones depende del método de ordenación de las funciones. Hay un orden de Walsh: en este caso, las funciones se indican como se describe arriba. Los pedidos Paley ( ) y Hadamard ( ) también son comunes .
En cuanto al momento , las funciones de Walsh se pueden dividir en pares e impares. Están etiquetados como y respectivamente. Estas funciones son similares a los senos y cosenos trigonométricos . La relación entre estas funciones se expresa de la siguiente manera:
Hay varias formas de formar. Considere uno de ellos, el más ilustrativo: la matriz de Hadamard se puede formar por un método recursivo construyendo matrices de bloques de acuerdo con la siguiente fórmula general:
Así es como se puede formar la matriz de longitud de Hadamard :
Cada fila de la matriz de Hadamard es una función de Walsh.
En este caso, las funciones están ordenadas según Hadamard. El número de función de Walsh se calcula a partir del número de función de Hadamard reorganizando los bits en la notación binaria del número en orden inverso, y luego convirtiendo el resultado del código Gray .
EjemploNúmero de Walsh | forma binaria | Convertir desde código Gray | Intercambio de bits | Número según Hadamard |
---|---|---|---|---|
0 | 000 | 000 | 000 | 0 |
una | 001 | 001 | 100 | cuatro |
2 | 010 | 011 | 110 | 6 |
3 | 011 | 010 | 010 | 2 |
cuatro | 100 | 110 | 011 | 3 |
5 | 101 | 111 | 111 | 7 |
6 | 110 | 101 | 101 | 5 |
7 | 111 | 100 | 001 | una |
El resultado es una matriz de Walsh en la que las funciones están ordenadas por Walsh:
El producto punto de dos funciones de Walsh diferentes es cero:
EjemploSupongamos que n = 1, k = 3 (ver arriba). Después
El producto de dos funciones de Walsh da la función de Walsh:
donde es el módulo 2 de suma bit a bit de números en el sistema binario.
EjemploSupongamos que n = 1, k = 3. Entonces
Como resultado de la multiplicación, obtenemos:
Es un caso especial de la transformada de Fourier generalizada , en la que el sistema de funciones de Walsh actúa como base.
La serie de Fourier generalizada está representada por la fórmula
donde es una de las funciones base y es un coeficiente.
La expansión de la señal en las funciones de Walsh tiene la forma
En forma discreta, la fórmula se escribe de la siguiente manera:
Los coeficientes se pueden determinar realizando el producto escalar de la señal descompuesta por la función de Walsh básica correspondiente:
Debe tenerse en cuenta la naturaleza periódica de las funciones de Walsh.
También hay una transformada rápida de Walsh [1] . Es mucho más eficiente que la transformada de Walsh-Hadamard [2] . Además, para el caso especial con dos variables, las funciones de Walsh se generalizan como superficies [3] . También existen ocho bases de funciones binarias ortogonales similares a las funciones de Walsh [4] que se diferencian por su estructura irregular, que también se generalizan al caso de funciones de dos variables. Para cada una de las ocho bases, se ha demostrado la representación de funciones "escalón" en forma de suma finita de funciones binarias, ponderadas con los coeficientes apropiados [5] .