TheoremComplete

The Heat Equation - Applications

The heat equation and its variants appear throughout mathematics, physics, and probability theory, with profound connections to other areas.

TheoremConnection to Brownian Motion

Let BtB_t be standard Brownian motion starting at xx. Then the solution to the heat equation: ut=12βˆ‡2u,u(x,0)=f(x)u_t = \frac{1}{2}\nabla^2 u, \quad u(x,0) = f(x) can be represented probabilistically as: u(x,t)=E[f(x+Bt)]u(x,t) = \mathbb{E}[f(x + B_t)]

This Feynman-Kac formula connects PDEs to stochastic processes, enabling probabilistic methods for solving PDEs and vice versa.

ExampleApplications Across Disciplines
  1. Physics: Heat conduction, diffusion of particles, neutron transport
  2. Finance: Black-Scholes equation for option pricing is a heat equation in disguise
  3. Image processing: Gaussian blur and diffusion filters for noise reduction
  4. Geometry: Ricci flow and mean curvature flow involve parabolic equations
  5. Probability: The transition density of diffusion processes satisfies the heat equation
TheoremAsymptotic Behavior

For the heat equation on Rn\mathbb{R}^n with integrable initial data ∫f(x) dx=M\int f(x)\,dx = M: u(x,t)∼M(4Ο€kt)n/2eβˆ’βˆ£x∣2/(4kt)asΒ tβ†’βˆžu(x,t) \sim \frac{M}{(4\pi kt)^{n/2}}e^{-|x|^2/(4kt)} \quad \text{as } t \to \infty

For bounded domains with zero boundary conditions: u(x,t)∼b1Ο•1(x)eβˆ’kΞ»1tasΒ tβ†’βˆžu(x,t) \sim b_1\phi_1(x)e^{-k\lambda_1 t} \quad \text{as } t \to \infty where Ο•1,Ξ»1\phi_1, \lambda_1 are the first eigenfunction and eigenvalue of βˆ’βˆ‡2-\nabla^2.

Remark

The long-time behavior shows universal decay patterns: Gaussian spreading on Rn\mathbb{R}^n and exponential decay to zero on bounded domains. The decay rate Ξ»1\lambda_1 (the first Dirichlet eigenvalue) has geometric significanceβ€”it measures how "round" the domain is (lower Ξ»1\lambda_1 means more elongated domain).

TheoremBackward Heat Equation (Ill-Posed)

The backward heat equation ut=βˆ’kβˆ‡2uu_t = -k\nabla^2 u with final data u(x,T)=g(x)u(x,T) = g(x) is ill-posed: solutions are not unique and do not depend continuously on data.

For example, un(x,t)=nβˆ’2en2k(tβˆ’T)sin⁑(nx)u_n(x,t) = n^{-2}e^{n^2k(t-T)}\sin(nx) satisfies the backward equation with un(x,T)=nβˆ’2sin⁑(nx)β†’0u_n(x,T) = n^{-2}\sin(nx) \to 0 as nβ†’βˆžn \to \infty, but un(x,0)=nβˆ’2eβˆ’n2kTsin⁑(nx)u_n(x,0) = n^{-2}e^{-n^2kT}\sin(nx) explodes.

This ill-posedness reflects the irreversibility of diffusion and poses challenges for inverse problems like determining the initial temperature from later measurements. Regularization techniques are needed for practical applications.