The fundamental solution (integral kernel) of the heat equation that propagates initial data forward in time; equivalently the kernel of the heat semigroup exp(tL) for a Laplace-type operator L, providing time-dependent smoothing and short-time geometric asymptotics.

Principle

Time evolution under a linear parabolic operator is realized by convolution (or integral) with the heat kernel: u(t,x) = ∫ K(t,x,y) u_0(y) dy, and the kernel forms a semigroup in the time variable with composition law K(t+s)=∫ K(t,·,z)K(s,z,·) dz.

Demonstration

On R^n with L = Δ, the heat kernel is the Gaussian K(t,x,y) = (4πt)^{-n/2} exp(−|x−y|^2/(4t)), which smooths initial data instantly and whose short-time expansion on a Riemannian manifold encodes scalar curvature and other geometric invariants.

Misapplication

Treating the heat kernel as a time-symmetric Green's function or using its backward-time extension without addressing ill-posedness; or applying free-space formulas without accounting for boundary conditions or manifold topology.

Consequence

The heat kernel gives immediate regularization of data, generates the heat semigroup, provides trace formulas linking heat coefficients to spectral invariants, and supplies analytic tools for index theory and geometry.

Reversal

The reversal is attempting to use a backward heat operator (propagating negative time) as a stable inverse; backward heat evolution is severely ill-posed and amplifies high-frequency noise instead of smoothing it.

Boundary

Concerns linear parabolic operators and positive time parameter; excludes nonlinear diffusion without modification, distributional kernels that fail semigroup properties, and causal/quantum propagators that incorporate oscillatory phases instead of decay.

Semantic Tension

Tension exists between the heat kernel and elliptic Green's functions (time-integrated heat kernels relate them), and between heat kernels and unitary propagators in hyperbolic problems; terminology sometimes blurs 'fundamental solution' across contexts.

Synthesis

The heat kernel is the time-dependent inverse action of a Laplace-type operator that realizes smoothing and semigroup structure, encodes geometric information in its short-time asymptotics, and bridges analysis, spectral theory, and geometry.