- Lecturer: Melanie Rupflin

General Prerequisites:

B4.1 Functional Analysis I is an essential pre-requisite. A4 Integration is also essential; the only concepts which will be used are the convergence theorems and the theorems of Fubini and Tonelli, and the notions of measurable functions, integrable functions, null sets and \(L^p\) spaces. No knowledge is needed of outer measure, or of any particular construction of the integral, or of any proofs. A good working knowledge of Part A Core Analysis (both metric spaces and complex analysis) is expected.

Course Term: Hilary

Course Lecture Information: 16 lectures

Course Weight: 1

Course Level: H

Assessment Type: Written Examination

Course Overview:

The course provides further introduction to the methods of functional analysis. It builds on core material in Part A analysis and linear algebra and in Part B B4.1 Functional Analysis I. On one hand, it delves deeper into operator theory on Banach spaces, and on the other, it gives a systematic study of Hilbert spaces, operators on Hilbert spaces and their special features. The techniques and examples studied in the course, together with that in B4.1, support, in a variety of ways, many advanced courses, in particular in analysis and partial differential equations, as well as having applications in mathematical physics and other areas.''

Learning Outcomes:

Students will appreciate the role of completeness through the Baire category theorem and its consequences for operators on Banach spaces. They will have a demonstrable knowledge of the properties of a Hilbert space, including orthogonal complements, orthonormal sets, complete orthonormal sets together with related identities and inequalities. They will be familiar with the theory of linear operators on a Banach or a Hilbert space, including adjoint operators, compact, self-adjoint and unitary operators with their spectra. They will know the \(L^2\)-theory of Fourier series and be aware of the classical theory of Fourier series and other orthogonal expansions.

Course Synopsis:

Orthogonality, orthogonal complement, closed subspaces.

Linear operators on Hilbert space, adjoint operators. Self-adjoint operators, orthogonal projections, unitary operators.

Baire Category Theorem and its consequences for operators on Banach spaces (Uniform Boundedness, Open Mapping, Inverse Mapping and Closed Graph Theorems). Strong convergence of sequences of operators.

Weak convergence. Weak precompactness of the unit ball (proof for Hilbert spaces).

Orthonormal sets, Pythagoras, Bessel's inequality. Complete orthonormal sets, Parseval. \(L^2\)-theory of Fourier series, including completeness of the trigonometric system. Examples of other orthogonal expansions (Legendre, Laguerre, Hermite etc.).

Spectral theory in Banach and Hilbert spaces, in partiular spectra of self-adjoint and unitary operators. Spectral theorem for compact self-adjoint operators.

Brief contextual comments on the classical theory of Fourier series and modes of convergence; exposition of failure of pointwise convergence of Fourier series of some continuous functions.

Linear operators on Hilbert space, adjoint operators. Self-adjoint operators, orthogonal projections, unitary operators.

Baire Category Theorem and its consequences for operators on Banach spaces (Uniform Boundedness, Open Mapping, Inverse Mapping and Closed Graph Theorems). Strong convergence of sequences of operators.

Weak convergence. Weak precompactness of the unit ball (proof for Hilbert spaces).

Orthonormal sets, Pythagoras, Bessel's inequality. Complete orthonormal sets, Parseval. \(L^2\)-theory of Fourier series, including completeness of the trigonometric system. Examples of other orthogonal expansions (Legendre, Laguerre, Hermite etc.).

Spectral theory in Banach and Hilbert spaces, in partiular spectra of self-adjoint and unitary operators. Spectral theorem for compact self-adjoint operators.

Brief contextual comments on the classical theory of Fourier series and modes of convergence; exposition of failure of pointwise convergence of Fourier series of some continuous functions.