0

I am having trouble understanding this:

I have a function

$$ \delta (t_1-t_2) $$

but I want to prove that in the frequency domain, it is:

$$\delta(\omega_1+\omega_2) $$

So, we have:

$$F(t0,w_{1})=\int _{-\infty }^{\infty }\!\delta \left( {\it t_1}-{\it t_0} \right) { {\rm e}^{-iw_{{1}}t_{{1}}}}{dt_{{1}}}$$

$$ F(w_1,w_2)=\int _{-\infty }^{\infty }\!{{\rm e}^{-i \left( w_{{2}}+w_{{1}} \right) t_{{0}}}}{dt_{{0}}}$$

$$F(w_1,w_2)=2\pi \delta \left( w_{{2}}+w_{{1}} \right)$$

hjpotter92
  • 3,049
Jackson Hart
  • 1,600

1 Answers1

1

This is not a formal answer, just a hint of how to proceed.

The two Fourier transform of $f:\mathbb{R}^2 \to \mathbb{R}$ is given by $\hat{f}(\omega_1,\omega_2) = \int_{\mathbb{R}^2} f(t_1,t_2) e^{-i(\omega_1 t_1 + \omega_2 t_2)} d t_1 d t_2$.

With the distribution given by $f(t_1,t_2) = \delta(t_1-t_2)$, we have $f:\mathbb{R}^2 \to \mathbb{R}$ is given by \begin{eqnarray} \hat{f}(\omega_1,\omega_2) &=& \int_{\mathbb{R}} \left( \int_{\mathbb{R}} f(t_1,t_2) e^{-i(\omega_1 t_1 + \omega_2 t_2)} d t_1 \right) d t_2 \\ &=& \int_{\mathbb{R}} \left( \int_{\mathbb{R}} \delta(t_1-t_2) e^{-i(\omega_1 t_1 + \omega_2 t_2)} d t_1 \right) d t_2 \\ &=& \int_{\mathbb{R}} e^{-i(\omega_1 t_2 + \omega_2 t_2)} d t_2 \\ &=& \int_{\mathbb{R}} e^{-i((\omega_1 + \omega_2) t)} d t \\ &=& 2 \pi \delta(\omega_1 + \omega_2) \end{eqnarray} The last equation follows from the fact the transform of the distribution $t \mapsto \delta(t)$ is $\omega \to 1$. Taking the inverse transform gives the desired result.

copper.hat
  • 172,524
  • Was there something wrong with the edited question? – Jackson Hart Dec 08 '14 at 20:06
  • You are using the same $F$ for a function, the partially transformed function and the transformed function, so it makes it hard to guess what you want. – copper.hat Dec 08 '14 at 20:11
  • haha yeah, it is somewhat confusing. it seems like you wrote out the answer, even though you said it was just a hint? – Jackson Hart Dec 08 '14 at 20:14
  • Well, since we are dealing with distributions, there is a little more technical machinery to deal with which I have selfishly avoided by declaring 'informal' :-). – copper.hat Dec 08 '14 at 20:16
  • Well I am not fully sure of what this technical machinery is, but I was thinking the answer in the Question in satisfactory, as long as I declare the different F's like you were saying – Jackson Hart Dec 08 '14 at 20:19
  • Yes, probably, it depends on what sort of class you are taking. (As an aside, if the original question had mentioned that it was a 2D transform it would have been clearer. Or writing something like $(t_1,t_2) \mapsto \delta(t_1-t_2)$.) – copper.hat Dec 08 '14 at 20:22
  • Yeah, that was my mistake. Thank you so much for the help! Any ideas about http://math.stackexchange.com/questions/1055041/nonlinear-differential-equation-zero-and-first-order-solutions – Jackson Hart Dec 08 '14 at 20:24