##  [Heat Kernel](/heat-kernel-0) 

 Definition

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

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

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

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

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

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

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

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

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.