Differential Equations and Green Operators
A differential expression does not determine its inverse until the allowed solutions and boundary or initial conditions are specified. This chapter connects ordinary differential equations, PDE type, weak solutions, and Green operators to explain how those choices determine propagation and spectra.
Enter this chapter
Section titled “Enter this chapter”Begin with Linear ODEs, Evolution Operators, and Wronskians for the evolution viewpoint. For a field equation, Symbols, Characteristics, and PDE Type identifies the relevant propagation or boundary problem.
Topics
Section titled “Topics”- Linear ODEs, Evolution Operators, and Wronskians — Constructs homogeneous evolution and the response to forcing.
- Sturm–Liouville Problems and Eigenfunction Expansions — Shows how a weight and boundary domain produce an eigenfunction expansion.
- Symbols, Characteristics, and PDE Type — Uses the highest-derivative terms to identify characteristics and equation type.
- Weak Solutions, Sobolev Spaces, and Well-Posedness — States existence, uniqueness, and stability in suitable function spaces.
- Fundamental Solutions and Green Operators — Distinguishes a fundamental solution from an inverse with prescribed conditions.
- Hyperbolic Equations and Causal Propagators — Builds advanced and retarded responses with the correct causal support.
- Elliptic Boundary Problems and Heat Kernels — Relates boundary realizations, zero modes, and heat evolution.
How the ideas fit together
Section titled “How the ideas fit together”A Green kernel solves an inhomogeneous equation, while the difference between two such kernels solves the homogeneous equation. Boundary or support conditions remove this freedom. For a normally hyperbolic operator on a globally hyperbolic spacetime, retarded and advanced Green operators are selected by future and past support; their difference is a homogeneous causal solution operator. See Bär, Ginoux, and Pfäffle 2007, § 3.4.
The analogous elliptic question is not causal support but the boundary domain and spectrum. A zero mode prevents an inverse on the whole space even when the local differential expression is elliptic. Eigenfunction expansions and Green functions must therefore solve the same boundary problem.
Review the chapter
Section titled “Review the chapter”Why does the Laplacian with Neumann boundary conditions on a connected compact region need a compatibility condition for its source?
Solution
Constants are zero modes. Integrating the equation over the region and using the vanishing normal derivative gives zero total source. Even when this condition holds, adding a constant leaves the solution unchanged; fixing its mean removes that ambiguity.
Where to go next
Section titled “Where to go next”Continue to Functional and Spectral Analysis for operator domains, self-adjoint realizations, and spectral measures.