Práctica estándar de la transformada de Fourier para la física

Estoy muy confundido acerca de la definición de la transformada inversa de Fourier entre espacios de tiempo y frecuencia. En muchos lugares, incluida Wikipedia , los pares de transformadas de Fourier se definen por:

F ( t ) = F ~ ( ω ) mi i ω t d ω 2 π F ~ ( ω ) = F ( t ) mi i ω t d t .

En otras fuentes, como la "Teoría cuántica de muchos cuerpos en la física de la materia condensada" de Bruus y Flensberg, o estas notas de clase , en cambio, se definen por:

F ( t ) = F ~ ( ω ) mi i ω t d ω 2 π F ~ ( ω ) = F ( t ) mi i ω t d t .

¿Por qué existen estas dos definiciones diferentes? Pensé que tal vez significan lo mismo, pero este solo parece ser el caso para F ~ ( ω ) = F ~ ( ω ) y no veo por qué esto debería ser cierto en general.

De hecho, originalmente noté esta discrepancia cuando traté de calcular la impedancia de un capacitor usando la segunda definición anterior y obtuve:

Z = 1 i ω C ,
y cuando busqué la solución, descubrí que generalmente se acepta que es:
Z = 1 i ω C ,
que es lo que obtengo usando la segunda definición anterior. No entiendo cómo estas dos funciones podrían tener la misma interpretación física. Es por eso que pregunté aquí en lugar del cambio de pila matemática, porque estoy seguro de que se pueden definir formalmente de cualquier manera, pero parece que si queremos pensar físicamente sobre el tiempo y la frecuencia, uno debe ser correcto.

¿Alguien puede decirme cuál es el correcto o explicar por qué son equivalentes?

Hay muchos sabores diferentes de transformada de Fourier en la naturaleza, más de los que enumeró. Todos ellos trabajan. No hay convención. Tienes que tomar la convención del autor y trabajar con ella.
No solo según el comentario de @garyp, la convención en muchos textos de mecánica cuántica es tener el factor de 1 / 2 π dividido en dos factores de 1 / 2 π a las transformadas directa e inversa son más "simétricas".
El único (¡ja!) lugar donde la diferencia en las convenciones causa problemas es al tratar de comparar o combinar los resultados derivados o declarados bajo diferentes convenciones. Lo que quiere decir que este es un dolor real, pero no muy importante más allá de eso.

Respuestas (2)

Hay muchas opciones posibles con respecto a los coeficientes de escala generales, así como el tiempo y la frecuencia de conversión del coeficiente de escala. Es posible resumir estas convenciones sucintamente usando dos números a y b . Uso la misma notación que se usa en la función Transformada de Fourier de Mathematica.

Definimos la Transformada de Fourier:

F T a , b [ F ( t ) ] ( ω ) = | b | ( 2 π ) 1 a + mi + i b ω t F ( t ) d t

y la transformada inversa de Fourier

F T a , b 1 [ F ~ ( ω ) ] ( t ) = | b | ( 2 π ) 1 + a + mi i b ω t F ~ ( ω ) d ω

Dejar

F ~ a , b ( ω ) = F T a , b [ F ( t ) ] ( ω )
F ˇ a , b ( t ) = F T a , b 1 [ F ~ a , b ( ω ) ] ( t )

Se puede demostrar mediante el teorema de inversión de Fourier que para las clases de funciones que nos interesan en física F ˇ a , b ( t ) = F ( t ) para cualquier a y b . Es decir, para estas definiciones de transformada de Fourier y transformada de Fourier inversa, las dos operaciones son inversas entre sí.

Resulta que en la literatura científica y de ingeniería hay muchas convenciones que las personas eligen dependiendo principalmente de a lo que están acostumbradas.

La primera convención en el OP es ( a , b ) = ( 1 , 1 ) que se usa comúnmente en física, tan comúnmente como ( a , b ) = ( 1 , + 1 ) que es la segunda convención que has mostrado.

Además también verás convenciones donde ( a , b ) = ( 0 , ± 1 ) donde el factor de 2 π se divide en partes iguales entre la transformada y la transformada inversa que aparece con una raíz cuadrada.

Además, por lo general, en matemáticas o procesamiento de señales, se encontrará con el ( a , b ) = ( 0 , ± 2 π ) convención en la que NO hay prefactor de 2 π en la transformada o la transformada inversa, pero ahora en lugar de la frecuencia angular ω representa una frecuencia cíclica y una 2 π aparece en todas las exponenciales.

Todas estas diferentes convenciones tienen ventajas y desventajas que pueden hacer que una elección de convención sea más atractiva que otra dependiendo de la aplicación. El punto principal es que en cualquier problema, cualquiera que sea la convención elegida, debe mantenerse igual durante todo el problema.

Para volver a la pregunta principal del OP ahora. En el idioma configurado en esta respuesta, el OP básicamente pregunta si importa si b = + 1 o b = 1 . La respuesta corta es que no importa. De cualquier manera funciona y convierte la señal original en función del tiempo en función de la frecuencia. La diferencia tiene que ver con cómo interpretamos las frecuencias positivas y negativas. Considerar

F 1 ( t ) = mi + i ω 0 t
F 2 ( t ) = mi i ω 0 t

El fasor de la primera función gira en sentido contrario a las agujas del reloj en el espacio de fase, mientras que el segundo gira en el sentido de las agujas del reloj en el espacio de fase.

Si elegimos el b = 1 convención entonces F ~ 1 , 1 1 ( ω ) tendrá una contribución distinta de cero en + ω 0 mientras F ~ 1 , 1 2 ( ω ) tendrá una contribución distinta de cero en ω 0 . podríamos decir F 1 es una señal de frecuencia positiva mientras que F 2 es negativo

Sin embargo, si elegimos b = + 1 entonces todo se invierte. F ~ 1 , + 1 1 ( ω ) tendrá una contribución distinta de cero en ω 0 mientras F ~ 1 , + 1 2 ( ω ) tendrá una contribución en + ω 0 . ahora F 1 es frecuencia negativa y F 2 es frecuencia positiva!

Así vemos que ambos b = + 1 y b = 1 dar respuesta que podemos interpretar como frecuencias con la única diferencia entre los dos que llamamos frecuencias positivas y negativas. Como nota personalmente prefiero ( a , b ) = ( 1 , + 1 ) porque hace que la fórmula de la transformada de Fourier (que uso con más frecuencia que la transformada inversa) sea lo más simple posible. Sin prefactor y sin signo menos en el exponente.

editar: como ha señalado, a veces estos signos pueden tener un efecto sustancial en alguna cantidad física, como invertir el signo (invertir la fase) de la impedancia compleja de un condensador. Desafortunadamente, esto es algo con lo que tenemos que lidiar y tratar de ser consistentes con nuestras propias convenciones y las utilizadas por las referencias que consultamos. Por supuesto, encontrará que ambas convenciones dan la misma respuesta para una cantidad medible real como V ( t ) a través de la resistencia.

Realmente creo que esta es una muy buena pregunta. Ambas convenciones son correctas y aquí intento explicar por qué. Entonces, la transformada de Fourier se deriva de la serie básica de Fourier. Para señales aperiódicas no podemos definir un valor real legítimo de periodicidad e ir a por la transformación permitiendo que el período se extienda hasta el infinito.

La serie de Fourier se define como

F ( X ) = 0 + { A k porque 2 π k X X 0 + B k pecado 2 π k X X 0 } A 0 = 1 X 0 X 0 F ( τ ) d τ , A k = 2 X 0 X 0 F ( τ ) porque 2 π k τ X 0 d τ , B k = 2 X 0 X 0 F ( τ ) pecado 2 π k τ X 0 d τ
Convirtiendo el seno y el coseno de la primera ecuación en formas exponenciales, obtenemos
F ( X ) = k = 0 { ( A k i B k 2 mi i 2 π k X / X 0 ) + ( A k + i B k 2 mi i 2 π k X / X 0 ) } = k = 0 { ( C k mi i 2 π k X / X 0 ) + ( D k mi i 2 π k X / X 0 ) }

Ahora bien, es comprensible que C k = D k Entonces, puedo escribir

F ( X ) = k = + C k mi i 2 π k X / X 0 = k = + D k mi i 2 π k X / X 0
Entonces, en mi opinión, ahí es donde comienza la divergencia del camino. Cuando comencé a derivarlo del primero ( C k ) convención, terminé con
F ( ω ) = + F ( X ) mi i ω X d X
Y cuando usé la segunda convención ( D k ), terminé derivando
F ( ω ) = + F ( X ) mi i ω X d X

Su definición de la Serie de Fourier parece asumir que F ( X ) es una función de valor real. A menudo no lo es, y definir F ( X ) = C k mi 2 π i k X / X 0 dónde C k es complejo es más natural. Si luego escribes C k = PAG k + i q k dónde PAG k y q k son reales, tienes otra fuente de diferentes convenciones de signos.
si, pero también puedes usar el D k convención y escribir D k = PAG k + i q k