The fundamental solution (integral kernel) of the heat (diffusion) equation for a given elliptic operator; it gives the temperature (or density) at a point and time produced by an instantaneous unit source at another point.

Principle

Solve ∂_t u = L u with initial data a Dirac delta; the heat kernel K(t,x,y) satisfies u(t,x) = ∫ K(t,x,y) u(0,y) dy and the semigroup property K(t+s,x,y)=∫ K(t,x,z)K(s,z,y) dz.

Demonstration

On Euclidean space R^n with L the Laplacian, the heat kernel is K(t,x,y) = (4π t)^{-n/2} exp(−|x−y|^2/(4t)), which instantly smooths point sources and spreads mass for t>0.

Misapplication

Treating the heat kernel as valid for negative times or using its short-time asymptotic as an accurate global description on manifolds with nontrivial geometry, leading to erroneous conclusions.

Consequence

Acts as a smoothing operator that regularizes initial data, encodes geometric and spectral information of the domain, and yields short-time expansions linked to curvature invariants.

Reversal

A propagator for a hyperbolic equation (wave kernel) transports singularities along finite-speed characteristics, whereas the heat kernel produces immediate infinite-speed smoothing.

Boundary

Defined for elliptic generators and for t>0; on manifolds boundary conditions alter the kernel; not applicable to non-diffusive or strongly nonlocal dynamics without a diffusion generator.

Semantic Tension

Close to the Green's function of the elliptic operator in time-integrated form, but the heat kernel is time-dependent and provides evolution rather than a static inverse.

Synthesis

The heat kernel is the time-dependent integral kernel that propagates and smooths initial data under diffusion, reflecting both analytic properties of the generator and geometric features of the domain.