Parabolic and Hyperbolic Equations - Key Proof
ProofEnergy Estimate for Parabolic Equations
Consider in with on .
Define energy .
Taking time derivative:
Integrating by parts (using on ):
By Poincaré inequality, , so:
Gronwall's inequality gives , proving exponential decay.
■
ProofFinite Speed for Hyperbolic Equations (Sketch)
For with compact support data, energy in ball satisfies:
The flux travels at speed , so energy cannot escape faster than . Thus support remains in . Full proof uses characteristic coordinates and careful estimation of boundary terms.
■