PDE Refresher II: Fourier Transform
Indraneel Kasmalkar (Neel), ICME
(ineel@stanford.edu)
PDE Refresher II : Fourier Transform Indraneel Kasmalkar (Neel), - - PowerPoint PPT Presentation
PDE Refresher II : Fourier Transform Indraneel Kasmalkar (Neel), ICME (ineel@stanford.edu) IMPORTANT IMPORTANT Refresher classes are NOT comprehensive. The best way to refresh you memory is to solve problems . Problem sets available
Indraneel Kasmalkar (Neel), ICME
(ineel@stanford.edu)
topics you hate, or do not understand. The first few phrases that pop up in your mind when you think PDEs.
topics you hate, or do not understand. The first few phrases that pop up in your mind when you think PDEs.
topics you hate, or do not understand. The first few phrases that pop up in your mind when you think PDEs.
topics you hate, or do not understand. The first few phrases that pop up in your mind when you think PDEs.
topics you hate, or do not understand. The first few phrases that pop up in your mind when you think PDEs.
It is a different perspective of looking at functions
x f(x) 0.1 0.01 2 4 r r2
g(x) = Aeix + Be-2ix + Ce2.7ix
g(x) = Aeix + Be-2ix + Ce2.7ix
The coefficients are more important than the output value.
g(x) = Aeix + Be-2ix + Ce2.7ix
The coefficients are more important than the output value.
ζ ranging over all real numbers.
ζ ranging over all real numbers.
ζ ranging over all real numbers.
ζ ranging over all real numbers.
DIFFERENTIATION IS SIMPLER!
ζ ranging over all real numbers.
g(x) = Aeix + Be-2ix + Ce2.7ix
DIFFERENTIATION IS SIMPLER!
ζ ranging over all real numbers.
g(x) = Aeix + Be-2ix + Ce2.7ix g'(x) = iAeix + -2iBe-2ix + 2.7iCe2.7ix
DIFFERENTIATION IS SIMPLER!
ζ ranging over all real numbers.
g(x) = Aeix + Be-2ix + Ce2.7ix g'(x) = iAeix + -2iBe-2ix + 2.7iCe2.7ix So easy to get new coefficients!!
DIFFERENTIATION IS SIMPLER!
More formally, as an integral:
More formally, as an integral:
The coefficients A(ζ) can be thought of as a function. This function is the Fourier transform of ƒ:
More formally, as an integral:
The coefficients A(ζ) can be thought of as a function. This function is the Fourier transform of ƒ:
The coefficients Multiplying by inverse special function to (sort of) isolate the coefficient
With the above definition, hopefully you get back ƒ as sum of Fourier coefficients times special functions.
With the above definition, hopefully you get back ƒ as sum of Fourier coefficients times special functions.
If ƒ is a discrete sequence:
If ƒ is a discrete sequence: Discrete Fourier Transform
If ƒ is a discrete sequence: Discrete Fourier Transform
If ƒ is 2π-periodic function:
If ƒ is 2π-periodic function: Fourier Series
If ƒ is 2π-periodic function: Fourier Series
If ƒ is 2π-periodic function: Fourier Series !!
Only true for smooth functions.
...Integration by parts
...Integration by parts
... ƒ decays
...Integration by parts
... ƒ decays
g(x) = Aeix + Be-2ix + Ce2.7ix g'(x) = iAeix + -2iBe-2ix + 2.7iCe2.7ix
g(x) = Aeix + Be-2ix + Ce2.7ix g'(x) = iAeix + -2iBe-2ix + 2.7iCe2.7ix
g(x) = Aeix + Be-2ix + Ce2.7ix g'(x) = iAeix + -2iBe-2ix + 2.7iCe2.7ix
Caution: Just an analogy. Fourier Transforms are integrals, not discrete sums.
New factor in coefficient
How would I have even guessed this??
This is one of those special functions!
This is one of those special functions!
Fourier Transform is coefficients of special functions.
Fourier Transform is coefficients of special functions. How would you draw the Fourier Transform?
is equal to 1 for ζ = 3.2, and 0 for everything else.
is equal to 1 for ζ = 3.2, and 0 for everything else. 1 ζ = 3.2
is equal to 1 for ζ = 3.2, and 0 for everything else.
is equal to 1 for ζ = 3.2, and 0 for everything else.
f is the 'infinite sum' of coefficients times special functions
is equal to 1 for ζ = 3.2, and 0 for everything else.
f is the 'infinite sum' of coefficients times special functions
Integrand equals zero almost everywhere!
is equal to 1 for ζ = 3.2, and 0 for everything else.
f is the 'infinite sum' of coefficients times special functions
Integrand equals zero almost everywhere! After integral, ƒ(x) = 0?
is equal to 1 for ζ = 3.2, and 0 for everything else. 1 ζ = 3.2
is equal to 1 for ζ = 3.2, and 0 for everything else. 1 ζ = 3.2
Delta "function".
Delta "function". Not really a function.
Purely defined by its effect inside an integral.
f is the 'infinite sum' of coefficients times special functions
f is the 'infinite sum' of coefficients times special functions
f is the 'infinite sum' of coefficients times special functions
f is the 'infinite sum' of coefficients times special functions
f is the 'infinite sum' of coefficients times special functions
It Works!
CANDIDATE A CANDIDATE B
CANDIDATE A CANDIDATE B
CANDIDATE A CANDIDATE B This is a function.
CANDIDATE A CANDIDATE B This is a function. This is a distribution.
CANDIDATE A CANDIDATE B This is a function. This is a distribution. Each point has equal weight, so integral is zero. Cannot capture the behavior we want.
CANDIDATE A CANDIDATE B This is a function. This is a distribution. Each point has equal weight, so integral is zero. Cannot capture the behavior we want. All the weight concentrated at point 3.2. Integral behaves exactly how we want.
This is one of those special functions!
This is one of those special functions!
Solve over the whole real line:
Solve over the whole real line: FOURIER TRANSFORM!
Solve over the whole real line: FOURIER TRANSFORM!
Solve over the whole real line: FOURIER TRANSFORM!
Solve over the whole real line: FOURIER TRANSFORM!
Solve over the whole real line: FOURIER TRANSFORM!
Solve over the whole real line: FOURIER TRANSFORM! Differentiation was converted to polynomial algebra!
Solve over the whole real line:
Solve over the whole real line: INVERSE FOURIER TRANSFORM!
Solve over the whole real line: INVERSE FOURIER TRANSFORM!
Solve over the whole real line: INVERSE FOURIER TRANSFORM!
Solve over the whole real line: INVERSE FOURIER TRANSFORM!
Solve over the whole real line: INVERSE FOURIER TRANSFORM!
Solve over the whole real line: INVERSE FOURIER TRANSFORM!
Why did we not need boundary conditions?
Solve over the whole real line:
Solve over the whole real line: Fourier Transform has given you ONE solution. This solution is the one which does not grow exponentially.