Fourier Analysis - Theory and Applications
: 18.103 (Spring 2005)
-
Lectures
Lectures are by
Jeff Viaclovsky on Tuesdays and Thursdays
at 1-2:30PM, in Room 2-102. I will have office hours on Tuesdays
and Thursdays in 2-175 at 2:30 - 3:30 PM.
-
Textbooks
Lebesgue Integration on Euclidean Space by Frank Jones is
the required text.
-
Graders
The grader is Zhongtao Wu (ztwu AT mit.edu).
-
Examinations and Homework
There will be several homework assignments,
2 in-class tests, and no final. The homework will
count for 50% of the final grade, and the
2 exams will count for 50%.
The first exam will be held on Thursday, March 17.
The second exam wil be held on Thursday, May 5.
- HW #1, due Thursday, February 10: (Chapter 2) #2, 4(abc), 6, 7, 12, 15,
16, 18, 21 ,23.
- HW #2, due Thursday, February 17: (Chapter 2) 24, 25, 26, 29,
30, 31, 32, 34, 35. Extra credit: 47.
- HW #3, due Tuesday, March 1: (Chapter 5) 13, 14, 15, 17, 19, 20,
21, 22, 23.
- HW #4, due Tuesday, March 8: (Chapter 6) 1, 2, 5, 9, 10, 11, 12, 14,
16, 17.
- HW #5, due Tuesday, March 15: (Chapter 6) 19, 21, (Chapter 7) 6,
(Chapter 8) 1, 2, 3, 4, 5, 6.
- HW #6, due Tuesday, March 29: (Chapter 8) 7, 8, 9, 10, 11, 12,
16, 17, 18.
- HW #7, due Tuesday, April 5: (Chapter 10) 1 - 10.
- HW #8, due Thursday, April 15: (Chapter 10) 12, 13, 18, 20,
(Chapter 12) 2, 8, 12, 13.
- HW #9, due Tuesday, April 26: (Chapter 14) 4, 5, 8, 14, 15, 16, 29, 30, 31, 32.
- HW #10, due Tuesday, May 3: (Chapter 13) 2, 3, 4, 5, 6, 7,
(Chapter 14) 41, 42, 43, 44, 45.
- Extra Credit for Exam II, due Thursday, May 12:
Write up complete and correct solutions to ALL problems on Exam II,
to add 7 extra points to Exam II score.
-
Brief Lecture notes
- Lecture 1: February 1
- Measure of regtangles, polygons, open sets, compact sets.
- Lecture 2: February 3
- Properties of measure for compact and open sets.
- Remarks about Lebesgue integral and Riemann integral.
- Lecture 3: February 8
- Cantor ternary set.
- Outer measure and inner measure.
- Lebesgue measurability for finite outer measure.
- Main approximation theorem (measurable <-> can
approx. by G open and K closed such that G \ K
has arbitrarily small measure).
- Lecture 4: February 10
- Lebesgue measurability.
- Unions and complements.
- Countable subadditivity.
- Lecture 5: February 15
- Properties of Lebesgue measure.
- Approximation theorem.
- Caratheodory criterion.
- Lecture 6: February 17
- Axiom of choice -> existence of a non-measurable set.
- Sigma-algebras.
- Borel sets = sigma-algebra generated by the open sets.
- A Lebesgue measurable set which is not Borel.
- Holiday, no class on February 22
- Lecture 7: February 24
- The extended real number system.
- Measurable functions.
- Sums, products, and compositions of measurable functions.
- Simple functions.
- Lecture 8: March 1
- Approximation of measurable functions by simple functions.
- Integral of simple function.
- Integral of measurable functions.
- Lebesgue's monotone convergence theorem.
- Lecture 9: March 3
- Fatou's Lemma.
- General measurable functions.
- Lebesgue's dominated convergence theorem.
- Almost everywhere.
- Lecture 10: March 8
- Integration on subsets of R^n.
- Riemann integral.
- Comparison of Lebesgue and Riemann integral.
- Lecture 11: March 10
- Fubini's Theorem for nonnegative functions.
- Lecture 12: March 15
- Fubini's Theorem for L^1 functions.
- Exam review.
- March 17
- Exam I.
- Lecture 13: March 29
- L^p spaces.
- Holder inequality.
- Minkowski inequality.
- Lecture 14: March 31
- Metric spaces and completeness.
- Normed spaces, Banach spaces.
- Riesz-Fischer Theorem (completeness of L^p).
- Convergence in L^p.
- Lecture 15: April 5
- Essentially bounded functions.
- L^{\infty} is a Banach space.
- The limit of L^p norms as p -> \infty.
- Definition of L^p(X), for X a measurable subset of R^n.
- If \lambda(X) < \infty, then L^q(X) \subset L^p(X)
for p < q.
- Lecture 16: April 7
- Local L^p spaces.
- Convexity relations between L^p norms.
- Convolutions.
- Young's Inequality.
- Lecture 17: April 12
- Urysohn functions.
- C_c dense in L^1.
- C^{\infty} functions and mollifiers.
- Lecture 18: April 14
- Differentiating under the integral sign.
- C^{\infty}_c dense in L^p, 1 \leq p < \infty.
- Continuity of translation in L^p.
- Hilbert spaces
- Cauchy-Schwartz inequality.
- Periodic functions, f: S^1 -> C.
- Patriots Day, no class on April 19
- Lecture 19: April 21
- Absolutely convergent Fourier series.
- Complete orthonormal sequence in Hilbert spaces.
- Partial Fourier sums converge in norm.
- Parseval's equality.
- Real and complex forms of Fourier series.
- Properties of Fourier coefficients.
- Examples of Fourier series (square wave, sawtooth wave...).
- Lecture 20: April 26
- Fourier Transform
- FT of L^1 function is bounded and continuous.
- FT of convolutions.
- Riemann-Lebesgue Lemma.
- Examples of Fourier Transforms.
- Lecture 21: April 28
- Pointwise convergence of Fourier Series for Lipschitz functions.
- Uniform convergence for globally Lipschitz functions.
- Fourier Inversion Theorem for Fourier series in L^2.
- Lecture 22: May 3
- Fourier Inversion Theorem for Fourier transform.
- Schwartz class.
- Fourier-Plancheral Transform.
- Exam Review.
- May 5
- Exam II.
- Lecture 23: May 10
- Fejer kernel and Cesaro summation.
- Fourier inversion theorem for absolutely convergent Fourier Series.
- Weierstrass approximation theorem.
- Gibbs phenomenon.
- Application of Fourier transform to heat equation and Laplace's equation.
- Lecture 24: May 12, NOTE:
Class to be held in 2-131.
- Shannon sampling theorem.
- Computer audio demonstration.