En el campo del análisis de tiempo-frecuencia , se utilizan varias formulaciones de señales para representar la señal en un dominio conjunto de tiempo-frecuencia. [1]
Existen varios métodos y transformaciones denominadas "distribuciones de tiempo-frecuencia" (TFD), cuyas interconexiones fueron organizadas por Leon Cohen. [2] [3] [4] [5] Los métodos más útiles y populares forman una clase denominada distribuciones de tiempo-frecuencia "cuadráticas" o bilineales . Un miembro central de esta clase es la distribución de Wigner-Ville (WVD), ya que todas las demás TFD pueden escribirse como versiones suavizadas o convolucionadas de la WVD. Otro miembro popular de esta clase es el espectrograma, que es el cuadrado de la magnitud de la transformada de Fourier de tiempo corto (STFT). El espectrograma tiene la ventaja de ser positivo y fácil de interpretar, pero también tiene desventajas, como ser irreversible, lo que significa que una vez que se calcula el espectrograma de una señal, la señal original no se puede extraer del espectrograma. La teoría y la metodología para definir una TFD que verifique ciertas propiedades deseables se dan en la "Teoría de las TFD cuadráticas". [6]
El objetivo de este artículo es ilustrar algunos elementos del procedimiento para transformar una distribución en otra. El método utilizado para transformar una distribución se toma prestado de la formulación del espacio de fases de la mecánica cuántica , aunque el tema de este artículo es el "procesamiento de señales". Teniendo en cuenta que se puede recuperar una señal de una distribución particular en determinadas condiciones, dado un determinado TFD ρ 1 ( t , f ) que representa la señal en un dominio conjunto de tiempo-frecuencia, se puede obtener otro TFD ρ 2 ( t , f ) diferente de la misma señal para calcular cualquier otra distribución, mediante un simple suavizado o filtrado; algunas de estas relaciones se muestran a continuación. Se puede dar un tratamiento completo de la cuestión en el libro de Cohen.
Si utilizamos la variable ω = 2 πf , entonces, tomando prestadas las notaciones utilizadas en el campo de la mecánica cuántica, podemos demostrar que la representación tiempo-frecuencia, como la función de distribución de Wigner (WDF) y otras distribuciones tiempo-frecuencia bilineales , se pueden expresar como
donde es una función bidimensional llamada kernel, que determina la distribución y sus propiedades (para una terminología de procesamiento de señales y el tratamiento de esta cuestión, el lector puede consultar las referencias ya citadas en la introducción).
El núcleo de la función de distribución de Wigner (WDF) es uno. Sin embargo, no se le debe dar ninguna importancia particular a esto, ya que es posible escribir la forma general de modo que el núcleo de cualquier distribución sea uno, en cuyo caso el núcleo de la función de distribución de Wigner (WDF) sería algo diferente.
La función característica es la doble transformada de Fourier de la distribución. Mediante la inspección de la ecuación ( 1 ), podemos obtener que
dónde
y donde es la función de ambigüedad simétrica. La función característica puede llamarse apropiadamente función de ambigüedad generalizada.
Para obtener esa relación supongamos que hay dos distribuciones, y , con núcleos correspondientes, y . Sus funciones características son
Divida una ecuación por la otra para obtener
Esta es una relación importante porque conecta las funciones características. Para que la división sea correcta, el núcleo no puede ser cero en una región finita.
Para obtener la relación entre las distribuciones tome la transformada doble de Fourier de ambos lados y utilice la ecuación. ( 2 )
Ahora exprese en términos de para obtener
Esta relación se puede escribir como
con
Ahora nos especializamos en el caso en el que se transforma de una representación arbitraria al espectrograma. En la ecuación ( 9 ), tanto ser el espectrograma como ser arbitrario están establecidos. Además, para simplificar la notación, , y están establecidos y escritos como
El núcleo del espectrograma con ventana, es y por lo tanto
Si sólo consideramos los núcleos para los que se cumple entonces y por lo tanto
Esto lo demostró Janssen. [4] Cuando no es igual a uno, entonces donde