Differential Analysis
: 18.156 (Spring 2004)
-
Course Description: dvi
,
ps
or
pdf
Lectures
Lectures are by
Jeff Viaclovsky on Tuesdays and Thursdays
at 1-2:30PM, in Room 4-149. I will have an office hour on Tuesdays
in 2-175 at 2:30.
-
Textbooks
The required text is
Jurgen Jost, Partial differential equations, Springer, New York, 2002.
Also recommended is David Gilbarg and Neil Trudinger, Elliptic partial
differential equations of second order, second ed., Springer-Verlag,
Berlin, 1983.
-
Examinations and Homework
- HW #1, due Thursday, February 26: Jost Chapter 1: 1, 4, 5, 7, 8, 9.
- HW #2, due Thursday, March 18: Gilbarg-Trudinger Chapter 4: 4.5, 4.9.
-
Brief Lecture notes
- Lecture 1: February 3
- Course overview.
- Examples of harmonic functions.
- Fundamental solutions for Laplacian and heat operator.
- Lecture 2: February 5
- Harmonic functions and mean value theorem.
- Maximum principle and uniqueness.
- Harnack inequality.
- Derivative estimates for harmonic functions.
- Green's representation formula.
- Lecture 3: February 10
- Definition of Green's function for general domains.
- Green's function for a ball.
- The Poisson kernel and Poisson integral.
- Solution of Dirichlet problem in balls for continuous boundary data.
- Continuous + Mean value property <-> harmonic.
- Lecture 4: February 12
- Weak solutions
- Further properties of Green's functions.
- Weyl's lemma: regularity of weakly harmonic functions.
- Lecture 5: February 19
- A removable singularity theorem.
- Laplacian in general coordinate systems.
- Asymptotic expansions.
- Lecture 6: February 24
- Kelvin transform I : direct computation.
- Harmonicity at infinity, and decay rates of harmonic functions.
- Kelvin II: Poission integral formula proof.
- Kelvin III: Conformal geometry proof.
- Lecture 7: February 26
- Weak maximum princple for linear elliptic operators.
- Uniqueness of solutions to Dirichlet problem.
- A priori C^0 estimates for solutions to Lu = f, c \leq 0.
- Strong maximum principle.
- Lecture 8: March 2
- Quasilinear equations (minimal surface equation).
- Fully nonlinear equations (Monge-Ampere equation).
- Comparison principle for nonlinear equations.
- Lecture 9: March 4
- If \Delta u \in L^{\infty}, then u \in C^{1,\alpha}, any 0 < \alpha < 1.
- If \Delta u \in L^{p}, p > n, then u \in C^{1,\alpha},
p = n/(1 - \alpha).
- Lecture 10: March 9
- If \Delta u \in C^{\alpha}, \alpha > 0, then u \in C^{2}.
- Moreover, if \alpha < 1, then u \in C^{2, \alpha}
(proof to be completed next lecture).
- Lecture 11: March 16
- Interior C^{2, \alpha} estimate for Newtonian potential.
- Interior C^{2, \alpha} estimates for Poisson's equation.
- Boundary estimate on Newtonian potential: C^{2,\alpha} estimate
up to the boundary for domain with flat boundary portion.
- Lecture 12: March 18
- Schwartz reflection reviewed.
- Green's function for upper half space reviewed.
- C^{2,\alpha} boundary estimate for Poisson's equation
for flat boundary portion.
- Global C^{2, \alpha} estimate for
Poisson's equation in a ball for zero boundary data.
- C^{2,\alpha} regularity of Dirichlet problem in a ball
for C^{2, \alpha} boundary data.
- Lecture 13: March 30
- Global C^{2,\alpha} solution of Poisson's equation
\Delta u = f \in C^{\alpha}, for C^{2,\alpha} boundary
values in balls.
- Constant coefficient operators.
- Interpolation between Holder norms.
- Lecture 14: April 1
- Interior Schauder Estimate.
- Lecture 15: April 6
- Global Schauder estimate.
- Banach Spaces and Contraction Mapping Principle
- Lecture 16: April 8
- Continuity method.
- Can solve Dirichlet problem for general L provided
can solve for Laplacian.
- Corollary: Solution of C^{2\alpha} Dirichlet problem
in balls for general L.
- Solution of Dirichlet problem in C^{2\alpha}
for continuous boundary values, in balls.
- Lecture 17: April 13
- Elliptic regularity: if f and coefficients of L
\in C^{k,\alpha}, Lu = f, then u \in C^{k+2, \alpha}.
- C^{2,\alpha} regularity up to the boundary.
- Lecture 18: April 15
- C^{k,\alpha} regularity up to the boundary.
- Hilbert Spaces and Riesz Representation Theorem.
- Weak solution of Dirichlet problem for Laplacian in W^{1,2}_0
- Weak derivatives.
- Sobolev spaces.
- Lecture 19: April 22
- Sobolev imbedding theorem p < n.
- Morrey's inequality.
- Lecture 20: April 27
- Sobolov imbedding for p > n, Holder continuity.
- Kondrachov compactness theorem.
- Characterization of W^{1,p} in terms of difference quotients.
- Lecture 21: April 29
- Characterization of W^{1,p} in terms of difference quotients.
- Interior W^{2,2} estimates for W^{1,2}_0 solutions
of Lu =f \in L^2.
- Lecture 22: May 4
- Interior W^{k+2,2} estimates for solutions of Lu =f \in W^{k,2}.
- Global (up to the boundary) W^{k+2,2} estimates
for solutions of Lu =f \in W^{k,2}
- Lecture 23: May 6
- Weak L^2 maximum principle.
- Global a priori W^{k+2,2} estimate
for L u = f, f \in W^{k,2}, c(x) \leq 0
- Lecture 24: May 11
- Cube decomposition.
- Marcinkiewicz interpolation theorem.
- L^p estimate for the Newtonian potential.
- W^{1,p} estimate for N.P.
- W^{2,2} estimate for N.P.
- Lecture 25: May 13
- W^{2,p} estimate for N.P., 1 < p < \infty.
- W^{2,p} estimate for operators L with continuous
leading order coefficients.