Skip to content

Commit 21e2515

Browse files
committed
one single fourier transform thing
1 parent 8b8ac20 commit 21e2515

2 files changed

Lines changed: 40 additions & 3 deletions

File tree

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
---
2+
description: Fourier Transform
3+
layout: page
4+
title: Fourier Transform
5+
---
6+
7+
8+
:::theorem
9+
$$\hat{\hat{f}}(\omega) = f(-\omega).$$
10+
11+
::::proof
12+
First we just write the definition:
13+
$$ \hat{\hat{f}}(\omega) = \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^{\infty} \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^{\infty} f(x) e^{- i k x} dx e^{-ik \omega} dk $$
14+
15+
Now we move the outer exponential into the inner integral, which is allowed since it's constant in $x.$:
16+
17+
$$ \hat{\hat{f}}(\omega) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(x) e^{- i k (x + \omega )} dx dk $$
18+
19+
Now we swap the order if integration. We do this in calc 3... some justify it with Fubini's theorem, it's not clear exactly why this is allowed but this is how it goes (TODO: figure this out)
20+
21+
$$ \hat{\hat{f}}(\omega) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(x) e^{- i k (x + \omega )} dk dx $$
22+
23+
Now pull out $f(x)$ from the inner integral since it's a constant in $k:$
24+
25+
$$ \hat{\hat{f}}(\omega) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} f(x) \int_{-\infty}^{\infty} e^{- i k (x + \omega )} dk dx $$
26+
27+
The inner integral is just a delta function:
28+
29+
$$ \hat{\hat{f}}(\omega) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} f(x) 2 \pi \delta(x + \omega). dx $$
30+
31+
Now by, the sifting property of the delta function, this just reduces to
32+
33+
$$ \hat{\hat{f}}(\omega) = f(-\omega). $$
34+
35+
::::
36+
:::
37+

content/applied-math/differential-equations/partial-differential-equations/intro.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -36,9 +36,9 @@ The basic transport equation is
3636

3737
$$ u_t + c u_x = 0, \quad u(0, x) = f(x). \tag{a} $$
3838

39-
We'll find its characteristic curves. First, let's parameterize $u(t,x)$ to get $v(t, x(t)) = u(t, x).$ Now,
39+
We'll find its characteristic curves. First, let's parameterize $u(t,x)$ to get $h(t, x(t)) = u(t, x).$ Now,
4040

41-
$$ \frac{dv}{dt} = \frac{\partial u}{\partial t} \frac{dt}{dt} + \frac{\partial u}{\partial x} \frac{dx}{dt} = u_t + \frac{dx}{dt} u_x. \tag{b} $$
41+
$$ \frac{dh}{dt} = \frac{\partial u}{\partial t} \frac{dt}{dt} + \frac{\partial u}{\partial x} \frac{dx}{dt} = u_t + \frac{dx}{dt} u_x. \tag{b} $$
4242

4343
Comparing (b) to (a), we see that if if $u_t + c u_x = 0,$ then $\frac{dx}{dt} = c.$ Now, we solve that ODE:
4444

@@ -72,7 +72,7 @@ v_t - c v_{\xi} + c v_{\xi} & = 0 \\
7272
v_t = \frac{dv}{dt} = 0.
7373
\end{aligned} \tag{d} $$
7474

75-
Note: we can go from $v_t to \frac{dv}{dt}$ because $v(t, x - ct)$ is only a function of $t,$ because $x - ct$ is constant.
75+
Note: we can go from $v_t$ to $\frac{dv}{dt}$ because $v(t, x - ct)$ is only a function of $t,$ because $x - ct$ is constant.
7676

7777
Now we solve this ODE:
7878

0 commit comments

Comments
 (0)