La transformada de Hilbert en matemáticas y procesamiento de señales es un operador lineal que asigna cada función de una variable real a una función en el mismo dominio convolucionando la función original con la función . En física , estas relaciones se conocen como relaciones de Kramers-Kronig , que relacionan las partes imaginaria y real de la función de respuesta compleja del sistema.
La transformada de Hilbert se define de la siguiente manera (aquí vp significa el valor principal de la integral impropia de Cauchy ):
o, más explícitamente:
El resultado de aplicar dos veces la transformada de Hilbert es la función original con signo opuesto:
siempre que existan ambas transformaciones.
La transformada de Hilbert da una función ortogonal a la función [1] .
La transformada de Hilbert es un multiplicador en el dominio espectral.
donde es una variante de la transformada directa de Fourier sin factor de normalización.
En la siguiente tabla, el parámetro de frecuencia es un número real.
Señal |
Transformada de Hilbert
|
---|---|
constante | 0 |
( F ( t ) es la integral de Dawson ) | |
Sinc |
|
Función característica sobre el segmento [ a , b ] |
|
Función rectangular (un caso especial de la anterior) |
|
función delta |
Para funciones periódicas, es decir, definidas en el círculo unitario, la transformada de Hilbert tiene una interpretación en términos de la geometría de espacios homogéneos de dimensión infinita . Es decir, el grupo de difeomorfismos del círculo que conservan la orientación tiene un espacio cociente con respecto al subgrupo que consta de rotaciones (es decir, isometrías del círculo que conservan la orientación). Se llama espacio de Kirillov -Yuriev y tiene una estructura compleja homogénea. El tensor asociado es la transformada de Hilbert. De hecho, el espacio tangente al espacio de Kirillov-Yur'ev es el cociente del álgebra de campos vectoriales en el círculo con respecto a campos vectoriales constantes. El paquete tangente al círculo es trivial, por lo que los campos vectoriales se pueden identificar con funciones periódicas, en cuyo caso los campos vectoriales constantes se vuelven constantes. Sobre el cociente de funciones sobre el círculo en constantes, la transformada de Hilbert sí actúa como un operador de estructura compleja (es decir, un operador al cuadrado ); su propio subespacio para un valor propio (lo que se llama un subespacio en la teoría de Hodge ) es el espacio de Hardy : los valores límite de funciones continuas en el disco unitario, holomorfas en su interior (en otras palabras, -funciones periódicas, todas cuyas armónicos de Fourier distintos de cero tienen números positivos).
El espacio de Kirillov-Yur'ev admite un paquete sobre otro espacio homogéneo de dimensión infinita , un factor del grupo de difeomorfismos con respecto a los valores límite de la transformación de Möbius de transformaciones de disco (lineal-fraccional). Es fácil ver que las fibras de este haz son espacios homogéneos biholomórficos a discos unitarios. Este paquete fue popularizado por A. G. Sergeev .
También puede trabajar al revés. Otro ejemplo bien conocido de un paquete circular cuya base tiene una estructura compleja natural es el paquete de Hopf . El cono sobre la esfera se puede identificar con el espacio vectorial complejo , del que se ha eliminado el cero. De manera similar, un grupo puede extenderse por un grupo (tal extensión es el análogo algebraico de la restauración de un cono) de tal manera que el grupo resultante tendrá la estructura de un grupo de Lie complejo de dimensión infinita. A nivel de álgebras de Lie, esta extensión viene dada por el cociclo de Gelfand - Fuchs , que se escribe en términos de funciones sobre el círculo como . El grupo correspondiente se denomina grupo Virasora (a veces Botta -Virasora) y tiene una importancia fundamental en la teoría de cuerdas y otras ramas de la teoría de campos conformes .
Transformaciones integrales | ||
---|---|---|
|
David Hilbert a la ciencia | La contribución de|
---|---|
espacios | |
axiomática | axiomática de hilbert |
teoremas | |
Operadores | |
relatividad general | |
Otro |