Professor Michael Holst

Math 241B (Functional Analysis)

Course Topics: Functional Analysis
Instructor: Prof. Michael Holst (5739 AP&M, mholst@math.ucsd.edu)
Term: Winter 2009
Lecture: 9:30a-10:50a Tu-Th, APM 7421
Class webpage: http://ccom.ucsd.edu/~mholst/teaching/ucsd/241b_w09
Textbook(s):

J. Conway, A Course in Functional Analysis, Springer-Verlag, 2000, 2nd edition.

CATALOG DESCRIPTION: 241A-B. Functional Analysis (4-4)
Metric spaces and contraction mapping theorem; closed graph theorem; uniform boundedness principle; Hahn-Banach theorem; representation of continuous linear functionals; conjugate space, weak topologies; extreme points; Krein-Milman theorem; fixed-point theorems; Riesz convexity theorem; Banach algebras. Prerequisites: Math.240A-B-C or consent of instructor.

GRADES, EXAMS, DATES: Your grade in the course is based on attending the lectures and participating in the class.

ANNOUNCEMENTS, NOTES, ETC: Additional books, papers, and notes that I lectured from throughout the quarter:

E. Zeidler, Nonlinear Functional Analysis and its Applications, Springer-Verlag, 1991.
S. Kesavan, Topics in Functional Analysis and Applications, John Wiley and Sons, 1998.
D. Mitrovic and D. Zubrinic, Fundamentals of Applied Functional Analysis, John Wiley and Sons, 1998.
K. Yosida, Functional Analysis, Springer-Verlag, 1980.
M. Struwe, Variational Methods, Springer-Verlag, 2000, Third Edition.
M. Holst, G. Nagy, and G. Tsogtgerel, Rough Solutions of the Einstein Constraints on closed manifolds without near-CMC conditions. Accepted for publication in Comm. Math. Phys.. (Paper at arXiv:0712.0798 [gr-qc]) (Paper at CMP)
M. Holst, G. Nagy, and G. Tsogtgerel, Far-from-constant mean curvature solutions of Einstein's constraint equations with positive Yamabe metrics. Physical Review Letters, Vol. 100 (2008), No. 16, pp. 161101.1-161101.4. (Paper at arXiv:0802.1031 [gr-qc]) (Paper at APS)
IPAM Workshop Notes on Elliptic PDE and Approximation theory
Notes on Calculus in Banach Spaces, Variational Methods, and Mechanics

SCHEDULE FOR THE LECTURE TOPICS: The overall plan is to develop some remaining topics in linear functional analysis that were not yet covered in 241A, and then to develop some of the fundamental ideas in nonlinear functional analysis. We will motivate almost everything we do be specific examples coming from linear and nonlinear PDE applications.

The outline below will be updated as the quarter proceeds, based on how the interests of the participants and the lecturer evolve.

Lectures	Topics Covered
Week 1	Quick review of the main topics in linear functional analysis (241A): Sets, fields, topological spaces, metric spaces, linear (vector) spaces, topological vector spaces, normed spaces, inner-product spaces. Cauchy sequences, convergence, closed sets, complete spaces, completion of metric spaces, Banach and Hilbert spaces, Cauchy-Schwarz and triangle inequalities, orthogonality, Parallelogram law, Pythagorean formula. Linear operators on Banach and Hilbert spaces; norms of operators; (Hilbert) adjoint operator. Nonlinear maps on metric spaces and on Banach spaces; Holder, Lipschitz, contraction conditions on maps; the Contraction Mapping Theorem (CMT) in metric spaces and in normed spaces.
Week 2	Primary motivating application for this class: A second-order quasi-linear boundary-value problem (BVP). Weak formulation of the BVP, the natural appearance of L2 and the L2-based Sobolev space H1 via the Cauchy-Schwarz inequality; Lp spaces on bounded open sets in Rn, the Lp-based Sobolev spaces W[k,p]. Lp and W[k,p] as Banach spaces. Linear functionals on Banach spaces, the dual norm, the dual space as a Banach space. Closed subspaces of a Hilbert or Banach space, the Orthogonal Complement Theorem; Convex sets, the Best Approximation Theorem; The Hilbert Space Projection Theorem. The Riesz Representation Theorem (RRT). Reflexive and Separable Banach and Hilbert spaces.
Week 3	Mappings of spaces, the four fundamental subspaces. Continuity of the norm and inner-product as operators. Continuity and boundedness of linear operators. Compact operators, projection operators. Bounded and unbounded operators; examples. Linear and bilinear forms/functionals; continuity (boundedness), coercivity, symmetry, positivity. The Equality of Forms Theorem. The Bounded Operator Theorem. The Lax-Milgram Theorem and proof via the CMT. The Lions-Stampachia Theorem and relation to Lax-Milgram and RRT. Nonlinear operators on Banach spaces: first variation, Gateaux-variation/differential/derivative, Frechet-variation/differential/derivative. Euler conditions for stationarity of a nonlinear functional; necessary and sufficient conditions for optimality. Generalized Taylor expansion. Continuity, equivalent definitions, uniform continuity; Weak/strong convergence of sequences, strong implies weak. Newton's Method for nonlinear operator equations on Banach spaces; Convergence properties of Newton's method.
Week 4	A general Variational problem for a nonlinear functional on a Banach space (P0), the condition for stationarity as a nonlinear PDE problem (P1), and the strong formulation of the nonlinear PDE problem (P2). Exploiting the connection between problems P0-P2 in Newton's method to enlarge basin of attraction; Galerkin methods for problems P0-P2. Two examples of P0-P2: Example 1: A nonlinear energy functional giving rise to a model scalar semi-linear PDE as condition for stationarity; Example 2: A nonlinear energy giving rise to the nonlinear Hamiltonian constraint in general relativity.
Week 5	The trace theorem in the Sobolev spaces W[k,p] and use in formulating and solving Dirichlet problems; The Poincare inequality. The Sobolev embedding (imbedding), compactness, density, and extension theorems for W[k,p], and special cases of Hilbert spaces when p=2. The Sobolev spaces as a Banach Algebra; general Banach Algebras and Schauder Rings. A side comment (connection to numerical analysis): General approximation theorems for Petrov-Galerkin methods for abstract linear operator equations in Banach spaces, Cea's Lemma as a special case. Linear case to get us going on USING functional analysis techniques to prove results for PDE: Well-posedness (existence, uniqueness, stability) of the linear model problem (linearized Example 1) using the Lax-Milgram Theorem.
Week 6	Stationary points of functionals on Banach spaces; necessary and sufficient conditions for stationarity (again). Proper functionals, coercive functionals, bounded-from-below functions. Convex functionals; lower-semi-continuity; closed sets. Weakly closed sets; weak-lower-semi-continuity; reflexive Banach spaces and the extraction of weakly convergent subsequences. Main theorems on existence of minimizers. Proper formulation of the nonlinear PDE in Example 1: use of Sobolev imbeddings, Holder-inequalities, and Trace inequalities to select the appropriate functions spaces that make the variational and Euler condition problems at least well-defined to start looking for solutions. Well-posedness (existence, uniqueness, stability) of the nonlinear model problem (Example 1) using variational methods. The problem with stronger nonlinearity: the Sobolev critical exponent for space dimension n, and how the variational argument has to be adjusted.
Week 7	The Brouwer-fixed point Theorem and its short proof via the no-Differentiable Retraction Theorem and the determinant lemma, as an alternative to the development of Degree Theory. Well-posedness (existence, uniqueness, stability) of the nonlinear model problem (Example 1) using the Galerkin method and energy estimates, along with the Brouwer Theorem.
Week 8	A tutorial on abstract ordered Banach spaces; the maximum principle for abstract operator equations, and the case of elliptic operators. The theory of monotone increasing maps in ordered Banach spaces; statement of the Schauder fixed-point theorem (proof later). Well-posedness (existence, uniqueness, stability) of the nonlinear model problem (Example 1) using the monotone increasing maps-based fixed-point arguments (the method of sub- and super-solutions), and a second proof using compactness-based fixed-point arguments (the Schauder Theorem). Construction of compatible barriers (sub- and super-solutions).
Week 9	The coupled Hamiltonian and momentum constraints in the Einstein equations. Well-posedness of the Momentum constraint using Riesz-Schauder Theory: generalization of Lax-Milgram for operators satisfying Garding rather than coercivity, allows for Fredholm-like "uniqueness implies existence" arguments. Well-posedness of the Hamiltonian constraint using barriers in ordered Banach spaces combined with either monotone increasing maps-based fixed-point arguments, or Variational methods, or compactness-based fixed-point arguments.
Week 10	Overview of the Schauder-based existence result of Holst, Nagy, and Tsogtgerel of non-CMC solutions to the coupled Einstein constraints. Reduction of the existence result to global barrier construction and the Schauder Theorem. Construction of global barriers (sub- and super-solutions) for the Hamiltonian constraint by scaling solutions to Yamabe-type problems. Proof of the Schauder Theorem through the Approximation Lemma and the Brouwer Theorem.