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Ωu2dxE(t) = \frac{1}{2}\int_\Omega u^2\,dx.

Taking time derivative: dEdt=Ωuutdx=ΩuΔudx\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): =Ωu2dx0= -\int_\Omega |\nabla u|^2\,dx \leq 0

By Poincaré inequality, u2Cu2\int u^2 \leq C\int|\nabla u|^2, so: dEdt1CE(t)\frac{dE}{dt} \leq -\frac{1}{C}E(t)

Gronwall's inequality gives E(t)E(0)et/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: ddtBR(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.