En matemáticas , la transformada de Zak [1] [2] (también conocida como la función de Gelfand ) es una operación que toma como entrada una función de una variable y produce como salida una función de dos variables. La función de salida se llama transformada de Zak de la función de entrada. La transformada se define como una serie infinita en la que cada término es un producto de una dilatación de una traslación por un entero de la función y una función exponencial . En aplicaciones de la transformada de Zak al procesamiento de señales, la función de entrada representa una señal y la transformada será una representación mixta de tiempo - frecuencia de la señal. La señal puede tener un valor real o un valor complejo , definido en un conjunto continuo (por ejemplo, los números reales) o un conjunto discreto (por ejemplo, los números enteros o un subconjunto finito de números enteros). La transformada de Zak es una generalización de la transformada de Fourier discreta . [1] [2]
La transformada de Zak había sido descubierta por varias personas en diferentes campos y se la conocía por diferentes nombres. Se la llamó "mapeo de Gelfand" porque Israel Gelfand la introdujo en su trabajo sobre expansiones de funciones propias . La transformada fue redescubierta independientemente por Joshua Zak en 1967, quien la llamó "representación kq". Parece haber un consenso general entre los expertos en el campo para llamarla transformada de Zak, ya que Zak fue el primero en estudiar sistemáticamente esa transformada en un contexto más general y reconocer su utilidad. [1] [2]
Al definir la transformada de Zak de tiempo continuo, la función de entrada es una función de una variable real. Por lo tanto, sea f ( t ) una función de una variable real t . La transformada de Zak de tiempo continuo de f ( t ) es una función de dos variables reales, una de las cuales es t . La otra variable puede denotarse por w . La transformada de Zak de tiempo continuo se ha definido de diversas formas.
Sea a una constante positiva. La transformada de Zak de f ( t ), denotada por Z a [ f ], es una función de t y w definida por [1]
El caso especial de la Definición 1 obtenido al tomar a = 1 a veces se toma como la definición de la transformada de Zak. [2] En este caso especial, la transformada de Zak de f ( t ) se denota por Z [ f ].
La notación Z [ f ] se utiliza para indicar otra forma de la transformada de Zak. En esta forma, la transformada de Zak de f ( t ) se define de la siguiente manera:
Sea T una constante positiva. La transformada de Zak de f ( t ), denotada por Z T [ f ], es una función de t y w definida por [2]
Aquí se supone que t y w satisfacen las condiciones 0 ≤ t ≤ T y 0 ≤ w ≤ 1/ T .
La transformada de Zak de la función
viene dado por
donde denota el entero más pequeño no menor que (la función ceil ).
En lo que sigue se supondrá que la transformada de Zak es la que se da en la Definición 2.
1. Linealidad
Sean a y b cualesquiera números reales o complejos. Entonces
2. Periodicidad
3. Cuasi-periodicidad
4. Conjugación
5. Simetría
6. Convolución
Sea la convolución con respecto a la variable t .
Dada la transformada de Zak de una función, la función se puede reconstruir utilizando la siguiente fórmula:
Sea una función de una variable entera (una secuencia ). La transformada de Zak discreta de es una función de dos variables reales, una de las cuales es la variable entera . La otra variable es una variable real que puede denotarse por . La transformada de Zak discreta también se ha definido de diversas formas. Sin embargo, a continuación solo se da una de las definiciones.
La transformada de Zak discreta de la función donde es una variable entera, denotada por , se define por
Dada la transformada discreta de una función , la función se puede reconstruir utilizando la siguiente fórmula:
La transformada de Zak se ha utilizado con éxito en física, en la teoría cuántica de campos [3] , en ingeniería eléctrica, en la representación de señales en tiempo y frecuencia, y en la transmisión de datos digitales. La transformada de Zak también tiene aplicaciones en matemáticas. Por ejemplo, se ha utilizado en el problema de representación de Gabor.