Partial Differential Equations I: Basic Theory
This volume introduces basic examples of partial differential equations, arising in continuum mechanics, electromagnetism, complex analysis, and other areas. It develops a number of tools for their analysis, including Fourier analysis, distribution theory, Sobolev spaces, energy estimates, and maximum principles. There is also a basic account of the theory of vector fields and ODE. This serves to introduce the variational method of deriving differential equations in physics and geometry, in a simpler context, and it also provides valuable tools for the analysis of PDE.
Contents
- 1. Basic Theory of ODE and Vector Fields
- The derivative
- Fundamental local existence theorem for ODE
- Inverse function and implicit function theorem
- Constant-coefficient linear systems; exponentiation of matrices
- Variable-coefficient linear systems of ODE; Duhamel’s principle
- Dependence of solutions on initial data and on other parameters
- Flows and vector fields
- Lie brackets
- Commuting flows; Frobenius’s theorem
- Hamiltonian systems
- Geodesics
- Variational problems and the stationary action principle
- Differential forms
- The symplectic form and canonical transformations
- First-order, scalar, nonlinear PDE
- Completely integrable Hamiltonian systems
- Examples of integrable systems; central force problems
- Relativistic motion
- Topological applications of differential forms
- Critical points and index of a vector field
- 2. The Laplace Equation and Wave Equation
- Vibrating strings and membranes
- The divergence of a vector field
- The covariant derivative and divergence of tensor fields
- The Laplace operator on a Riemannian manifold
- The wave equation on a product manifold and energy conservation
- Uniqueness and finite propagation speed
- Lorentz manifolds and stress-energy tensors
- More general hyperbolic equations; energy estimates
- The symbol of a differential operator and a general Green-Stokes formula
- The Hodge Laplacian on k-forms
- Maxwell’s equations
- 3. Fourier Analysis, Distributions, and Constant-Coefficient Linear PDE
- Fourier series
- Harmonic functions and holomorphic functions in the plane
- The Fourier transform
- Distributions and tempered distributions
- The classical evolution equations
- Radial distributions, polar coordinates, and Bessel functions
- The method of images and Poisson’s summation formula
- Homogeneous distributions and principal value distributions
- Elliptic operators
- Local solvability of constant-coefficient PDE
- The discrete Fourier transform
- The fast Fourier transform
- 4. Sobolev Spaces
- Sobolev spaces on Rn
- The complex interpolation method
- Sobolev spaces on compact manifolds
- Sobolev spaces on bounded domains
- The Sobolev spaces H0s(Omega)
- The Schwartz kernel theorem
- Sobolev spaces on rough domains
- 5. Linear Elliptic Equations
- Existence and regularity of solutions to the Dirichlet problem
- The weak and strong maximum principles
- The Dirichlet problem on the ball in Rn
- The Riemann mapping theorem (smooth boundary)
- The Dirichlet problem on a domain with rough boundary
- The Riemann mapping theorem (rough boundary)
- The Neumann boundary problem
- The Hodge decomposition and harmonic forms
- Natural boundary problems for the Hodge Laplacian
- Isothermal coordinates and conformal structures on surfaces
- General elliptic boundary problems
- Operator properties of regular boundary problems
- 6. Linear Evolution Equations
- The heat equation and wave equation on bounded domains
- The heat equation and wave equation on unbounded domains
- Maxwell’s equations
- The Cauchy-Kowalewsky theorem
- Hyperbolic systems
- Geometrical optics
- The formation of caustics
- Boundary layer phenomena for the heat equation
- A. Outline of Functional Analysis
- Banach spaces
- Hilbert spaces
- Frechet spaces; locally convex spaces
- Duality
- Linear operators
- Compact operators
- Fredholm operators
- Unbounded operators
- Semigroups
- B. Manifolds, Vector Bundles, and Lie Groups
- Metric spaces and topological spaces
- Manifolds
- Vector bundles
- Sard’s theorem
- Lie groups
- The Campbell-Hausdorff formula
- Representations of Lie groups and Lie algebras
- Representations of compact Lie groups
- Representations of SU(2) and related groups