Fundamental solution to the heat equation, given boundary values
In the mathematical study of heat conduction and diffusion, a heat kernel is the fundamental solution to the heat equation on a specified domain with appropriate boundary conditions. It is also one of the main tools in the study of the spectrum of the Laplace operator, and is thus of some auxiliary importance throughout mathematical physics. The heat kernel represents the evolution of temperature in a region whose boundary is held fixed at a particular temperature (typically zero), such that an initial unit of heat energy is placed at a point at time t = 0.
The most well-known heat kernel is the heat kernel of d-dimensional Euclidean space Rd, which has the form of a time-varying Gaussian function,
which is defined for all and . This solves the heat equation
where δ is a Dirac delta distribution and the limit is taken in the sense of distributions, that is, for every smooth function ϕ of compact support, we have
On a more general domain Ω in Rd, such an explicit formula is not generally possible. The next simplest cases of a disc or square involve, respectively, Bessel functions and Jacobi theta functions. Nevertheless, the heat kernel still exists and is smooth for t > 0 on arbitrary domains and indeed on any Riemannian manifold with boundary, provided the boundary is sufficiently regular. More precisely, in these more general domains, the heat kernel the solution of the initial boundary value problem
It is not difficult to derive a formal expression for the heat kernel on an arbitrary domain. Consider the Dirichlet problem in a connected domain (or manifold with boundary)U. Let λn be the eigenvalues for the Dirichlet problem of the Laplacian
Let ϕn denote the associated eigenfunctions, normalized to be orthonormal in L2(U). The inverse Dirichlet Laplacian Δ−1 is a compact and selfadjoint operator, and so the spectral theorem implies that the eigenvalues of Δ satisfy
The heat kernel has the following expression:
(1)
Formally differentiating the series under the sign of the summation shows that this should satisfy the heat equation. However, convergence and regularity of the series are quite delicate.
The heat kernel is also sometimes identified with the associated integral transform, defined for compactly supported smooth ϕ by
The spectral mapping theorem gives a representation of T in the form
There are several geometric results on heat kernels on manifolds; say, short-time asymptotics, long-time asymptotics, and upper/lower bounds of Gaussian type.
In the mathematical study of heat conduction and diffusion, a heatkernel is the fundamental solution to the heat equation on a specified domain with appropriate...
A heatkernel signature (HKS) is a feature descriptor for use in deformable shape analysis and belongs to the group of spectral shape analysis methods...
the relation by the inverse Mellin transformation to the trace of the kernel of heat equations. The first example in which zeta function regularization is...
Integral kernel or kernel function, a function of two variables that defines an integral transform Heatkernel, the fundamental solution to the heat equation...
conjecture by Grigori Perelman in 2003. Certain solutions of the heat equation known as heatkernels provide subtle information about the region on which they...
In statistics, kernel density estimation (KDE) is the application of kernel smoothing for probability density estimation, i.e., a non-parametric method...
using the Fourier transform directly (as in the case of the Poisson kernel and heatkernel already mentioned). For more complicated operators, it is sometimes...
used for partial shape matching. The heatkernel signature makes use of the eigen-decomposition of the heatkernel: h t ( x , y ) = ∑ i = 0 ∞ exp ( −...
linearly related to √t; this time-varying Gaussian is described by the heatkernel. More generally, if the initial mass-density is φ(x), then the mass-density...
differential geometry, and functional analysis, including the study of heatkernels on infinite-dimensional groups. Gordina is the daughter of mathematician...
^{2}T}{\partial z^{2}}}\right)} with a fundamental solution famously known as the heatkernel. By integrating the differential form over the material's total surface...
The Mehler kernel is a complex-valued function found to be the propagator of the quantum harmonic oscillator. Mehler (1866) defined a function E ( x ,...
states in which the usual Gaussian on Euclidean space is replaced by the heatkernel on K. The parameter space for the coherent states is the "complexification"...
{1}{2}}{\big (}|k|^{2}+m^{2}{\big )}} (the quantum kernel is nonlocal from a classical heatkernel viewpoint, but it is local in the sense that it does...
However, this is the canonical form of the heat equation. which has the solution given by the heatkernel: p ( τ , ξ ) = 1 4 π τ exp ( − ξ 2 4 τ ) {\displaystyle...
formula Pseudosphere Grigor'yan, Alexander; Noguchi, Masakazu (1998), "The heatkernel on hyperbolic space", The Bulletin of the London Mathematical Society...
invertible, because convolution by a gaussian is just convolution by the heatkernel, so given any μ ∈ P ( R n ) {\displaystyle \mu \in {\mathcal {P}}(\mathbb...
special relativity: the Green function associated to the heat equation (also known as heatkernel) has support that extends outside the light-cone, leading...
harmonic functions: the kernel of the Laplace operator. This leads to such functions as the spherical harmonics, and to heatkernel methods of studying manifolds...
L^{2}} -space of functions on a compact Lie group with respect to a heatkernel measure. This decomposition has then led to many other developments in...
y ) {\displaystyle p(t,x,y)} of Brownian motion is the minimal heatkernel of the heat equation. Interpreting the paths of Brownian motion as characteristic...
takes the form of 1D heat equation. The one-dimensional PDF below is the Green's function of heat equation (also known as Heatkernel in mathematics): P...
followed by the taking of a limit so as to remove the regulator. The heatkernel or exponentially regulated sum is ⟨ E ( t ) ⟩ = 1 2 ∑ n ℏ | ω n | exp...