$\newcommand{\Ds}{\displaystyle} \newcommand{\PP}{{\mathbb P}} \newcommand{\RR}{{\mathbb R}} \newcommand{\KK}{{\mathbb K}} \newcommand{\CC}{{\mathbb C}} \newcommand{\ZZ}{{\mathbb Z}} \newcommand{\NN}{{\mathbb N}} \newcommand{\TT}{{\mathbb T}} \newcommand{\QQ}{{\mathbb Q}} \newcommand{\Abs}{{\left|{#1}\right|}} \newcommand{\Floor}{{\left\lfloor{#1}\right\rfloor}} \newcommand{\Ceil}{{\left\lceil{#1}\right\rceil}} \newcommand{\sgn}{{\rm sgn\,}} \newcommand{\Set}{{\left\{{#1}\right\}}} \newcommand{\Norm}{{\left\|{#1}\right\|}} \newcommand{\Prob}{{{{\mathbb P}}\left[{#1}\right]}} \newcommand{\Mean}{{{{\mathbb E}}\left[{#1}\right]}} \newcommand{\cis}{{\rm cis}\,} \renewcommand{\Re}{{\rm Re\,}} \renewcommand{\Im}{{\rm Im\,}} \renewcommand{\arg}{{\rm arg\,}} \renewcommand{\Arg}{{\rm Arg\,}} \newcommand{\ft}{\widehat{#1}} \newcommand{\FT}{\left(#1\right)^\wedge} \newcommand{\Lone}{{\left\|{#1}\right\|_{1}}} \newcommand{\Linf}{{\left\|{#1}\right\|_\infty}}$

# Harmonic Analysis ### University of Crete

Teacher: Mihalis Kolountzakis

Announcements

1. 6-6-2020: Final exam: Tue 23 June, 2020, 14:00-16:00. Exam is in class (as everybody asked for), not online.
2. Final examination planning: please respond to this questionnaire.
3. 21-3-2020: A discussion forum for this class and a place to post your solutions to the problem sets has been created at:
https://polygon.math.uoc.gr/1920/moodle/course/view.php?id=18.
Please use the discussion forum in there and upload your solutions there, NOT by email to me.
4. 18-3-2020: The University is still shut. The course resumes in online form only until further notice. Check at the bottom of this page for videos and exercises. They will not necessarily appear regularly, so check often.

5. 10-3-2020:    University of Crete (as all universities in Greece) have just shut down for 2 weeks because of the coronavirus problem. No classes therefore for (at least) two weeks. Our midterm exam will also not happen on the date announced. It will happen later, after we reopen. As the plans become more clear I will be posting more details here. Until then, keep safe. Studying harmonic analysis will help you a lot in that direction.
6. 20-2-2020:    Reduced office hours on Monday Feb 24, only 11:00-11:45. Please come also on Thursday at 11:00 if you want.
7. 6-2-2020:    Intermediate exam: Monday March 23, 2020, 9-11, in our usual classroom.
Those of you who have a significant reason to be exempt from this exam must contact me by email until Monday, March 16, 2020. No exceptions beyond that date.

Exceptions listed here.
8. 23-1-2020:     Το μάθημα θα διδαχθεί στα Αγγλικά μια και στο ακροατήριο θα υπάρχουν φοιτητές από το πρόγραμμα Erasmus. Θα γίνει με τέτοιο τρόπο ώστε με μια στοιχειώδη γνώση Αγγλικών να μην έχει κανείς πρόβλημα να το παρακολουθήσει. Όλες οι ασκήσεις και τα διαγωνίσματα θα είναι και στις δύο γλώσσες.

Schedule

Room A208. Mon and Thu, 9-11.

Teacher's office hours: Mon 11-1.

Course description

Goal: Introduction to harmonic analysis, mostly Fourier Series.

Contents: Quick introduction to Lebesgue measure on the real line. Periodicity, trigonometric polynomials, orthogonality. Fourier coefficients and Fourier series of periodic functions. Absolute convergence and size of Fourier coefficients with respect to function smoothness. Uniqueness, convolution, kernels, Cesaro means, Fejer's theorem and applications. The $L^2$ theory. Pointwise convergence of Fourier series. Norm convergence. Localization. Bernsterin's inequality.

Books and lecture notes

1. [K]: Y. Katznelson, An introduction to Harmonic Analysis, 3rd corrected edition, Cambridge Univ. Press, 2004.
2. [KP]: M. Kolountzakis and Ch. Papachristodoulos, Fourier Analysis, 2015. In Greek.
Book last updated on: January 09 2022 21:50:11.
3. [SS]: E. Stein and R. Shakarchi, Fourier Analysis: an introduction, Princeton Univ. Press, 2003.

Student evaluation

Intermediate exam 40%, final exam 60%. This remains the same for all further examination periods.

Class diary

#### Mon, 3 Feb. 2020:

Today we talked about Lebesgue measure on the real line, how it is defined, saw some examples (for instance, we proved that all countable setss have measure 0) and listed some basic properties of the set function $m(E)$ (the Lebesgue measure of the set $E \subseteq \RR$). We proved some (but not all) of these properties. We also defined the ternary Cantor set and saw that it has measure 0 without being a countable set.

#### Thu, 6 Feb. 2020:

We used the concept of Lebesgue measure to define the integral of arbitrary functions. First we defined the integral of simple functions (functions that take finitely many values only) and then we defined, using them, the integral of arbitrary nonnegative functions. The integral of signed (or complex valued) functions is obtained by linearity. We also defined the function space $L^1(A)$, which consists of those functions defined on $A \subseteq \RR$ for which $\int_A \Abs{f} \lt \infty$. Using these definitions we proved several statements regarding the integral (exercises 1.9, 1.10, 1.12, 1.13 (Markov’s inequality)). We stated (without proof) the monotone convergence theorem and, using it, we did exercises 1.15, 1.16.

#### Mon, 10 Feb. 2020:

Today we talked about the Dominated Convergence Theorem and its applications. Then we talked about Lebesgue measure in $\RR^2$ and also saw that the Lebesgue integral in $\RR^2$ is defined in exactly the same way as in $\RR$. We stated Fubini’s theorem on repeated integration and saw how this is applied in order to show that the convolution of two functions in $L^1(\RR)$ is defined almost everywhere and its integral is bounded by the product of the integrals of the absolute values of the factors: $\int_\RR \Abs{f*g} \le \int_\RR \Abs{f} \int_\RR \Abs{g}$. Finally we talked about norms in vector spaces and saw their axioms and that the $L^1(A)$ norm $$\Norm{f}_1 = \int_A \Abs{f}$$ for functions in $L^1(A)$ has these properties provided we do not distinguish functions that differ only on a set of measure 0.

#### Thu, 13 Feb. 2020:

Today we completed our crash-course on Lebesgue measure and integration (Chapter 1 of [KP]). We studied $L^p$ spaces and the basic inequalities for $L^p$ norms (Hölder and Cauchy’s inequalities) and saw that $L^p(A) \subseteq L^q(A)$ if $m(A) \lt \infty$ and $p \gt q$. We also saw that $C_0(\RR)$ is dense in $L^p(\RR)$ (for $p\lt\infty$) and saw how to use this to prove (a) that translation is continuous in $L^p(\RR)$ ($p\lt\infty$) and also to prove the Riemann-Lebesgue lemma for the Fourier Transform on $L^1(\RR)$.

#### Mon, 17 Feb. 2020:

We talked about periodic functions and then about trigonometric polynomials. We proved (uniqueness theorem) that a trigonometric polynomial of degree $\le N$ which is 0 at $2n+1$ different points in $[0, 2\pi)$ is necessarily the zero polynomial (has all its coefficients equal to 0). Then we defined the inner product on $[0, 2\pi)$ and saw some of its elementary properties. Please read the entire Chapter 2 of [KP].

#### Thu, 20 Feb. 2020:

We covered § 3.1 and 3.2 of [KP]. We defined the Fourier coefficients and the Fourier series of a function in $L^1(\TT)$ and saw some elementary properties of it, such as the bound $$\Abs{\ft{f}(n)} \le \Lone{f} = \frac{1}{2\pi}\int_0^{2\pi}\Abs{f},$$ which implies that, for any $k \in \ZZ$, the linear map $f \to \ft{f}(k)$ is a bounded and, therefore, continuous map from $L^1(\TT) \to \CC$. We computed the Fourier series of some simple functions. We spoke about general trigonometric series (as opposed to Fourier series) and saw that an absolutely convergent trigonometric series converges uniformly to a continuous function and it is the Fourier series of that function. Finally we defined the so-called Poisson kernel via its Fourier series and found a formula for it, from which we derived some of the properties of this function as the parameter $r \to 1 -$.

#### Mon, 24 Feb. 2020:

Today we saw how some simple changes in the function (translation, modulation, etc) translate in the Fourier side, i.e., what the Fourier coefficients of the changed function are compared to those of the unchanged function. Then we introduced the $O(\cdot)$ and $(o(\cdot)$ asymptotic notations and proved that if $f \in C^j(\TT)$ then $\ft{f}(n) = O(n^{-j})$. In particular, if $f \in C^2(\TT)$ it follows that the Fourier series of $f$ is absolutely and uniformly convergent. We finished Chapter 3 of [KP].

#### Thu, 27 Feb. 2020:

We proved our first interesting uniqueness theorem today. A nice corollary of it is that for $f \in C^2(\TT)$ its Fouier series converges uniformly to it on $\TT$. Then we reviewed some basic facts about convolutions of functions (that we had already seen earlier in the course) and talked about convolution on $\TT$ and its properties. Then we saw that the partial sums of a Fourier series of a function are given by convolving the function with the so-called Dirichlet kernel $D_N(x)$. Read [KP, § 4.1-4.4].

#### Thu, 5 Mar. 2020:

We started by proving the lower bound $\Lone{D_N} \ge C \log N$ for the $L^1$ norm of the Dirichlet kernel. This is an inequality that is at the heart of the difficulties in many problems of convergence of the partial sums of a Fourier series to the corresponding function. We then defined the so-called Cesaro means $$\sigma_N f = \frac{S_0f + S_1f + S_2 f+ \cdots + S_N f}{N+1},$$ and we saw that $\sigma_N f = f*K_N$ where $$K_N(x) = \sum_{k=-N}^N \left(1-\frac{\Abs{k}}{N+1}\right) e^{ikx} = \frac{1}{N+1}\frac{\sin^2 \frac{(N+1)x}{2}}{\sin^2\frac{x}{2}}.$$ This is the so-called Fejer kernel and we saw that it has several good properties. We stated and proved Fejer's theorem (that $\sigma_n f \to f$ uniformly for $f \in C(\TT)$) and saw that it implies the uniqueness theorem for all of $L^1(\TT)$. Read [KP, § 4.5-4.7].

#### Mon, 9 Mar. 2020:

We did several problems from previous homework sets. Then we started talking about equidistribution of sequences. We defined the concept and saw an example of a sequence which is equidistributed. Then we stated Weyl's equidistribution criterion but did not finish the proof of it. Read part of [KP, § 4.9].

Slides here.

Solutions here.

Slides here.

Solutions here.

#### Sun, 29 Mar. 2020:

1. video: The Weierstrass Approximation Theorem (9 min).
2. video: Bernstein's proof of the Weierstrass Approximation Theorem, part 1 (5 min).
3. To refresh your probability you might want to look at the following series of videos which prove Markov's and Chebyshev's inequality: 1, 2, 3, 4, 5, 6.
4. video: Bernstein's proof of the Weierstrass Approximation Theorem, part 2 (12 min).
5. video: Bernstein's proof of the Weierstrass Approximation Theorem, part 3 (20 min).

Slides here.

Solutions here.

#### Fri, 3 Apr. and Sat, 4 Apr. 2020:

1. video: $L^2$: inner product (15 min).
2. video: $L^2$: orthogonal expansion (12 min).
3. video: $L^2$: completeness of $L^2$ (16 min).
4. video: $L^2$: orthogonality of the exponentials (3 min).
5. video: $L^2$: projection (7 min).
6. video: $L^2$: Bessel's inequality (15 min).
7. video: $L^2$: complete orthnormal systems and Parseval's identity (9 min).
8. video: $L^2$: the exponentials as an orthonormal system (4 min).
9. video: $L^2$: $\ell^2(\ZZ)$ and applications (11 min).

Slides here.

Solutions here.

#### Sat, 11 Apr. 2020:

1. video: the isoperimetric inequality (34 min).

Slides here.

#### Sun, 12 Apr. 2020:

1. video: Normed Spaces (7 min).
2. video: Operator norms (9 min).
3. video: Operator examples 1 (10 min).
4. video: Operator examples 2 (12 min).
5. video: Fejer's theorem again (12 min).
6. video: Banach spaces (6 min).
7. video: The Banach-Steinhas theorem and a continuous function whose Fourier series diverges at a point (16 min).

Slides here.

Solutions here.

Slides here.

Solutions here.

Slides here.

Solutions here.