¿Por qué la transformación de Fourier de un peine Dirac es un peine Dirac?

Esto no tiene sentido para mí, porque la desigualdad de Heisenberg establece que $\Delta t\Delta \omega$ ~ 1.

Por lo tanto, cuando tienes algo perfectamente localizado en el tiempo, obtienes algo completamente distribuido en frecuencia. Por lo tanto, la relación básica $\mathfrak{F}\{\delta(t)\} = 1$ donde es el operador de transformación de Fourier .$\mathfrak{F}$

Pero para el peine Dirac , aplicando la transformada de Fourier, recibirá otro peine Dirac. Intuitivamente, también deberías obtener otra línea.

¿Por qué falla esta intuición?

Creo que la falacia es creer que un peine Dirac está localizado en el tiempo. No es porque sea una función periódica y, como tal, solo puede tener componentes de frecuencia en múltiplos de su frecuencia fundamental, es decir, en puntos de frecuencia discretos. No puede tener un espectro continuo, de lo contrario no sería periódico en el tiempo. Al igual que cualquier otra función periódica, un peine de Dirac puede representarse mediante una serie de Fourier, es decir, como una suma infinita de exponenciales complejos. Cada exponencial complejo corresponde a un impulso de Dirac en el dominio de frecuencia a una frecuencia diferente. Sumar estos impulsos de Dirac da un peine de Dirac en el dominio de la frecuencia.

Tu intuición falla porque estás comenzando con suposiciones equivocadas. La incertidumbre de Heisenberg no dice lo que piensas que dice. Como ya dijiste en tu pregunta, es una desigualdad . Para ser precisos, es

No hay ninguna razón por la cual el producto de incertidumbre tiene que estar cerca de su límite inferior para todas las señales. De hecho, las únicas señales que alcanzan este límite más bajo son los átomos de Gabor. Para todas las demás señales, espere que sea más grande y posiblemente incluso infinito.

Los ingenieros eléctricos juegan un poco rápido y suelto con la función delta de Dirac, que los matemáticos insisten en que no es una función (o, al menos, no una función "regular", sino una "distribución"). El hecho matemático es que si $f(t)=g(t)$ "casi en todas partes" (lo que significa en cada valor de $t$ excepto por un número contable de valores discretos), entonces

bueno, las funciones $f(t)=0$ y $g(t)=\delta(t)$ son iguales en todas partes excepto en $t=0$ , pero los ingenieros eléctricos insistimos en que sus integrales son diferentes. pero si deja de lado esta pequeña (y, en mi opinión, no práctica) diferencia, la respuesta a su pregunta es:

1. la función de peine de Dirac

   $$\mathrm{III}_T(t) \triangleq \sum\limits_{k=-\infty}^{+\infty} \delta(t - kT)$$ es una función periódica del período $T$ y, por lo tanto, tiene una serie de Fourier: $$\mathrm{III}_T(t) = \sum\limits_{n=-\infty}^{+\infty} c_n \ e^{j 2 \pi n t/T}$$

2. si elimina los coeficientes, $c_n$ , de la serie de Fourier obtendrá:

3. so the Fourier series for the Dirac comb is

which means you're just summing up a bunch of sinusoids of equal amplitude.

4. the Fourier Transform of a single complex sinusoid is:

and there is this property of linearity regarding the Fourier Transform. the rest of the proof is an exercise left to the reader.

I shall try to give an intuition. The way we could probably think is : "One Dirac delta gives us a 1 in frequency domain. Now I give infinite number of Dirac deltas. Shouldn't I get a higher DC?" Now let us see whether by adding all those frequency components mentioned in the Dirac comb in the frequency domain(FD), we get another Dirac comb in time domain(TD). We are adding continuous waveforms and getting deltas at discrete points. Sounds weird.

Coming back to the FD. We have a Dirac comb with spacing $\omega_0$. To put it in words, we have deltas at $0,\pm\omega_0,\pm2\omega_0,\pm3\omega_0$ and so on. We thus have a DC and infinite number of cosines, namely $\cos(\omega_0 t), \cos(2\omega_0 t), \cos(3\omega_0 t)$ and so on.

Let's consider points in time domain corresponding to $t = \frac{2n\pi}{\omega_0}$. All the above cosine waves will give us value 1. Hence they all add up and give us non zero value at those points. Now what about any other t? We need to get convinced that they will all add up to zero.

Now deviating slightly, let's consider a waveform $cos(kn) ; n = 0,1,2,3,4...\infty$. We know that unless k can be expressed as a fraction multiplied by $\pi$, it's aperiodic. What does that mean? There is not a single repeating sample. Each of the samples are unique. Looking it from another perspective, we have infinite number of samples which are unique and part of a cosine wave. This means taking all the infinite points, we will be able to construct a single CONTINUOUS cosine wave completely once. What if $cos(kn)$ is periodic? We already know that the sum of samples will be zero periodically based on value of k. Hence, sum of all the samples of $cos(kn)$ will give us zero for any value of k, except $k = 2\pi$'s multiple.

Returning back to our original problem : We now take an arbitrary $t=t_0 \neq 2r\pi$. Now we have $\cos(0\omega_0 t_0)[dc] + \cos(\omega_0 t_0) + \cos(2\omega _0 t_0) + \cos(3\omega_0 t_0)$....as the value at $t=t_0$. But we have already proved this infinite sum =0 for any t except $t=\frac{2n\pi}{\omega _0}$, where all these cosines add up to give dirac deltas.