Causalidad

ADVERTISEMENT
From SEG Wiki
Jump to: navigation, search
This page is a translated version of the page Dictionary:Causality and the translation is 100% complete.

Other languages:
English • ‎español


La propiedad de una secuencia tal que hay energía cero antes de un tiempo de inicio finito. Las ondas de fase mínima son causales pero las ondas de fase cero no lo son.


Causalidad y la Transformada de Fourier

El problema de la causalidad afecta a los datos tanto en el dominio del tiempo como en el dominio de la frecuencia. Este hecho es evidente cuando se considera la transformada de Fourier de funciones causales.

Una convención de transformación de Fourier común para las transformaciones temporales directas e inversas es, respectivamente,




Aquí los límites de implican que es causal y, por lo tanto por .

De esta forma, la transformada de Fourier inversa debe producir un resultado que concuerde con la causalidad.


La transformada de Fourier inversa como una integral de contorno

Si interpretamos la transformada de Fourier inversa como una integrada de contorno

y consideramos sólo los problemas donde tiene polos o puntos de ramificación que existen en o cerca del eje real, entonces sólo hay una opción particular de contorno de integración que produce un resultado causal para

Este es el caso de la parte de paralela al eje real que pasa sobre los polos.

Para realizar una integral de contorno, se requiere que el contorno de integración se cierre, y que Teorema de Cauchy y, para las integrales de Fourier, un resultado conocido como el Lema de Jordan se aplicará para mostrar que la contribución del contorno en el infinito desaparece. El cierre en el semiplano superior de arrojará el resultado de (porque no se incluye el polo dentro del contorno) y corresponde al caso . El cierre del contorno en el semiplano inferior de (donde uno o más polos se incluyen dentro del contorno) dará un valor distinto de cero de y corresponderá a los valores de para

Para ver por qué esto es así, considere como una variable compleja y reescriba la exponencial en la definición de la transformada inversa de Fourier como

La integral sólo puede converger cuando el integrando está decayendo, por lo que (que corresponde al cierre en el semiplano superior de ) implica que y (que corresponde al cierre en el semiplano inferior de ) implica que

"Figura 1: Para las convenciones de signo de exponente de la transformada de Fourier aquí, este es el contorno de integración que produce un resultado causal."


Para esta convención del signo exponente, seria un contorno que pasa sobre las singularidades del integrando. Ya que no hay singularidades en la mitad superior del plano de la causalidad se identifica exactamente con la analiticidad en algún semiplano de que, en el caso de estas convenciones del signo de exponente de la transformada de Fourier, es el semiplano superior.


Causalidad y la transformada de Hilbert

Consideramos formalmente que una función causal es donde es la función de paso de Heaviside

Queremos encontrar la transformada de Fourier de que se puede demonstrar que es unaconvolución del dominio de frecuencia


El paso de Heaviside no es par ni impar, pero puede escribirse en términos de la función constante y la



donde


Necesitamos calcular la transformada de Fourier de

Las primeras dos integrales se pueden realizar por medios elementales (con el signo apropiado elegido para la parte imaginaria de para asegurar el decaimiento exponencial del integrando), y puede combinarse en base a la propiedad de continuación analítica, y el tercero sigue de la definición de la Dictionary:función Dirac

Formando la convolución del dominio de la frecuencia


La primera integral tiene sentido sólo como una integral de valor principal de Cauchy, y la segunda se puede realizar aplicando la propiedad de tamizadode la función delta



Porque es una función de valores complejos, y podemos escribir esta función en términos de sus partes reales e imaginarias

Sin embargo, porque es analítica en el semiplano superior de las relaciones de la transformada de Hilbert existen entre las partes reales e imaginarias de



y


excepto posiblemente en una colección finita de valores de

Donde es analítica.


Las relaciones Kramers-Kronig

Por lo tanto, la transformada de Fourier de una función causal puede escribirse en términos de pares de transformadas de Hilbert

Este resultado a menudo es conocido como la relación Kramers-Kronig.