ConceptComplete

The Heat Equation - Key Properties

The heat equation exhibits remarkable smoothing and decay properties that reflect the dissipative nature of diffusion processes.

DefinitionMaximum Principle

Strong Maximum Principle: If uu satisfies ut=kβˆ‡2uu_t = k\nabla^2 u in a space-time domain Ω×(0,T]\Omega \times (0, T], then:

  1. The maximum of uu occurs either at t=0t = 0 or on the spatial boundary βˆ‚Ξ©\partial\Omega
  2. If the maximum occurs at an interior point (x0,t0)(x_0, t_0) with t0>0t_0 > 0, then uu is constant in Ω×[0,t0]\Omega \times [0, t_0]

This principle has immediate physical interpretation: temperature cannot develop hot spots in the interiorβ€”the hottest point is either present initially or maintained by boundary conditions.

Infinite Propagation Speed: Unlike wave propagation, heat diffusion has infinite speed. If u(x,0)u(x,0) has compact support, then u(x,t)>0u(x,t) > 0 for all xx and any t>0t > 0. However, the effect decays exponentially with distance.

DefinitionSmoothing Property

Solutions to the heat equation are infinitely differentiable for all t>0t > 0, regardless of the regularity of initial data. If u(x,0)=f(x)u(x,0) = f(x) with ff merely continuous (or even in L2L^2), then u(x,t)∈C∞u(x,t) \in C^\infty for all t>0t > 0.

Remark

This smoothing property contrasts sharply with the wave equation, which preserves the regularity of initial data. The heat equation acts as a "mollifier," immediately smoothing out discontinuities and irregularities.

ExampleEnergy Decay

For the heat equation on a bounded domain with homogeneous boundary conditions, the L2L^2 energy: E(t)=∫Ωu2(x,t) dxE(t) = \int_\Omega u^2(x,t)\,dx satisfies: dEdt=βˆ’2kβˆ«Ξ©βˆ£βˆ‡u∣2 dx≀0\frac{dE}{dt} = -2k\int_\Omega |\nabla u|^2\,dx \leq 0

Energy monotonically decreases, approaching zero as tβ†’βˆžt \to \infty. This reflects the irreversible approach to thermal equilibrium.

Uniqueness: The maximum principle immediately implies uniqueness. If u1u_1 and u2u_2 are two solutions with the same initial and boundary data, then w=u1βˆ’u2w = u_1 - u_2 satisfies wt=kβˆ‡2ww_t = k\nabla^2 w with zero initial and boundary data. By the maximum principle, w≑0w \equiv 0.

These properties make the heat equation fundamentally different from elliptic and hyperbolic PDEs, reflecting the physics of irreversible diffusion processes.