El primer término no es cero en ningún sentido directo, de hecho, la expresión diverge claramente. La razón por la que en física puedes salirte con la tuya fingiendo que es cero es qued
y su derivadod′
en realidad no son funciones con una expansión de Fourier convergente en primer lugar, sino, como a menudo se les llama, distribuciones .
En mi opinión, la forma más fácil de entenderlo es que son vectores duales de un espacio funcional. Específicamente,d
está en el dual del espacio(C0( R ))∗
del espacio de funciones continuas, yd′
es en(C1( R ))∗
es decir, funciones continuamente diferenciables. Una manera fácil y rigurosa de definirlos es
dX0F: =d′X0F: =F(X0)−F′(X0)
es decir, el argumento de
d
es en realidad una
función , no un número real. Cualquier cosa escrita en el
d( X -X′)
El estilo es, de hecho, solo pseudo-notación, que solo se vuelve bien definida cuando aparece en una integral:
∫Ωd xδ ( X -X0) ⋅ f( X ) : =dX0F=F(X0)si X0∈ Ω
De manera equivalente, puedes hacer todo esto en el espacio de Fourier. La expansión
d( X ) ∝ ∫d k mi- yo k x
en realidad no converge por sí mismo, sin embargo, converge cuando se multiplica en frecuencia con la transformada de Fourier de una función continua, porque tal expansión tiene coeficientes que decaen con al menos
O (k− 1)
, entonces
∥mi- yo k x⋅ pies( f) ( k ) ∥ ≤ O (k− 1)
y se puede integrar
una función oscilante que decae de esa manera .
Del mismo modo, la expansión de Fourier que derivó parad′
tiene sentido después de multiplicarlo en frecuencia con la expansión de una función continuamente diferenciable, porque eso decae enO (k− 2)
y por lo tanto
(dd xd( X -X′) )F( X ) ∝[− k ⋅mi- yo k ( x -X′)x −X′⋅ O (k− 2) ]∣∣∣∞− ∞+ …
y aquí
k ⋅ O (k− 2)
da algo en
O (k− 1)
, que por lo tanto desaparece en el infinito, lo que significa que su derivación es correcta.
John