ProofComplete

Parabolic and Hyperbolic Equations - Key Proof

ProofEnergy Estimate for Parabolic Equations

Consider ut=Δuu_t = \Delta u in Ω\Omega with u=0u = 0 on ∂Ω\partial\Omega.

Define energy E(t)=12∫Ωu2 dxE(t) = \frac{1}{2}\int_\Omega u^2\,dx.

Taking time derivative: dEdt=∫Ωu⋅ut dx=∫ΩuΔu dx\frac{dE}{dt} = \int_\Omega u \cdot u_t\,dx = \int_\Omega u\Delta u\,dx

Integrating by parts (using u=0u = 0 on ∂Ω\partial\Omega): =−∫Ω∣∇u∣2 dx≤0= -\int_\Omega |\nabla u|^2\,dx \leq 0

By Poincaré inequality, ∫u2≤C∫∣∇u∣2\int u^2 \leq C\int|\nabla u|^2, so: dEdt≤−1CE(t)\frac{dE}{dt} \leq -\frac{1}{C}E(t)

Gronwall's inequality gives E(t)≤E(0)e−t/CE(t) \leq E(0)e^{-t/C}, proving exponential decay.

■
ProofFinite Speed for Hyperbolic Equations (Sketch)

For utt=c2uxxu_{tt} = c^2u_{xx} with compact support data, energy in ball BRB_R satisfies: ddt∫BR(ut2+c2ux2)=boundary flux\frac{d}{dt}\int_{B_R}(u_t^2 + c^2u_x^2) = \text{boundary flux}

The flux travels at speed cc, so energy cannot escape BRB_R faster than ctct. Thus support remains in BR+ctB_{R+ct}. Full proof uses characteristic coordinates and careful estimation of boundary terms.

■