Kernel de calor

En el estudio matemático de la conducción y difusión del calor, un kernel de calor, o núcleo de calor, es la solución fundamental para la ecuación del calor en un dominio específico con condiciones de contorno apropiadas. También es una de las herramientas principales en el estudio del espectro del operador de Laplace y, por lo tanto, tiene una importancia auxiliar en la física matemática. El kernel de calor representa la evolución de la temperatura en una región cuyo límite se mantiene fijo a una temperatura particular (típicamente cero), de modo que una unidad inicial de energía térmica se coloca en un punto en el momento $t=0$.

Kernel de calor en un espacio arbitrario

El kernel de calor más conocido es el del espacio euclidiano $d-$dimensional ${ℝ}^d$, que tiene la forma de una función gaussiana variable en el tiempo,

$K(t,x,y)=\frac{1}{(4\pi t{)}^{d/2}}{e}^{-|x-y{|}^2/4t}$

Esto resuelve la ecuación del calor

$\frac{\partial K}{\partial t}(t,x,y)={\mathrm{\Delta }}_{x}K(t,x,y)$

para todo tPlantilla:Esd>Plantilla:Esd0 y $x,y$Plantilla:Esd∈Plantilla:Esd, ${ℝ}^d$ donde $\mathrm{\Delta }$ es el operador laplaciano, con la condición inicial

$\underset{t\to 0}{\lim }K(t,x,y)=\delta (x-y)={\delta }_x(y)$

donde $\delta$ es una distribución delta de Dirac y el límite se toma en el sentido de distribuciones. A saber, para cada función suave φ de soporte compacto,

$\underset{t\to 0}{\lim }\underset{{𝐑}^d}{\int }K(t,x,y)\varphi (y)dy=\varphi (x).$

En un dominio más general $\mathrm{\Omega }$ en ${ℝ}^d$, tal fórmula explícita no es generalmente posible. Los siguientes casos más simples de un disco o cuadrado involucran, respectivamente, funciones de Bessel y funciones theta de Jacobi. Sin embargo, el kernel de calor (por ejemplo, el problema de Dirichlet) todavía existe y es uniforme para t > 0 en dominios arbitrarios y de hecho en cualquier variedad de Riemann con límite, siempre que el límite sea suficientemente regular. Más precisamente, en estos dominios más generales, el kernel de calor para el problema de Dirichlet es la solución del problema del valor límite inicial

$\begin{array}{cc}& \frac{\partial K}{\partial t}(t,x,y)=\mathrm{\Delta }K(t,x,y)\text{ para todo }t>0\text{ y }x,y\in \mathrm{\Omega }\\ & \underset{t\to 0}{\lim }K(t,x,y)={\delta }_x(y)\text{ para todo }x,y\in \mathrm{\Omega }\\ & K(t,x,y)=0,x\in \partial \mathrm{\Omega }\text{ o }y\in \partial \mathrm{\Omega }.\end{array}$

Aplicación de la teoría espectral

Definiciones generales

si $\mathrm{\Omega }$ un dominio compacto de ${ℝ}^n$ a bordo $\partial \mathrm{\Omega }$. En esta área, consideramos que el operador positivo $\hat{H}=-\mathrm{\Delta }$ donde $\mathrm{\Delta }$ es el Laplaciano, con condiciones de frontera en el borde $\partial \mathrm{\Omega }$ dominio (Dirichlet, Neumann, mixto) que soluciona completamente el problema.

El operador positivo $\hat{H}=-\mathrm{\Delta }$ es el generador de un semigrupo continuo en $L^2(\mathrm{\Omega })$. Entonces podemos escribir para cualquier función $f$ de cuadrado sumable:

$e^{-t\hat{H}}f(x)=e^{+t\mathrm{\Delta }}f(x)=\underset{\mathrm{\Omega }}{\int }dyK(x,y,t)f(y)$

La función $K(x,y,t)$ se llama kernel de calor. De hecho, la función:

$f(x,t)=e^{+t\mathrm{\Delta }}f(x)$

es claramente una solución de la ecuación de calor:

$\frac{\partial f(x,t)}{\partial t}=\mathrm{\Delta }f(x,t)$

Además, el semigrupo tiende a la identidad cuando el tiempo $t$ se aproxima a cero:

$f(x,t)=e^{+t\mathrm{\Delta }}f(x){\to }_{t\to 0^{+}}f(x)$

de modo que el núcleo de calor K debe tener el comportamiento asintótico:

$K(x,y,t){\to }_{t\to 0^{+}}\delta (x-y)$

donde $\delta (x)$ es la distribución de Dirac. Por lo tanto, el núcleo de calor $K(x,y,t)$ parece ser una función de Green, o solución elemental, de la ecuación de calor.

Teoría espectral

Cuando el dominio $\mathrm{\Omega }$ es compacto, el operador positivo $\hat{H}=-\mathrm{\Delta }$ tiene un espectro discreto de valores propios con el que se asocia una base de datos de autovectores de Hilbert (aquí se usa la notación de Dirac):

$\hat{H}|{\psi }_n⟩={\lambda }_n|{\psi }_n⟩,0\le {\lambda }_1\le {\lambda }_2\le \dots \le {\lambda }_n\le \dots \le +\mathrm{\infty }$

Entonces uno puede escribir introduciendo dos veces la relación de cierre:

$K(x,y,t)=⟨y|e^{-t\hat{H}}|x⟩=\sum _{n,m=1}^{+\mathrm{\infty }}⟨y|{\psi }_m⟩⟨{\psi }_m|e^{-t\hat{H}}|{\psi }_n⟩⟨{\psi }_n|x⟩$

se convierte en:

$K(x,y,t)=\sum _{n=1}^{+\mathrm{\infty }}⟨y|{\psi }_n⟩⟨{\psi }_n|x⟩e^{-t{\lambda }_n}=\sum _{n=1}^{+\mathrm{\infty }}\overline{{\psi }_n}(y){\psi }_n(x)e^{-t{\lambda }_n}$

Traza del kernel de calor

La traza del kernel de calor se define por:

$\mathrm{T}\mathrm{r}{e}^{-t\hat{H}}=\sum _{n=1}^{+\mathrm{\infty }}{e}^{-t{\lambda }_n}$

Los estados propios están ortoromados, notamos que podemos escribir:

$\underset{\mathrm{\Omega }}{\int }dxK(x,x,t)=\sum _{n=1}^{+\mathrm{\infty }}{e}^{-t{\lambda }_n}\underset{\mathrm{\Omega }}{\int }dx|{\psi }_n(x){|}^2=\sum _{n=1}^{+\mathrm{\infty }}{e}^{-t{\lambda }_n}$

Entonces tenemos la relación fundamental:

$\mathrm{T}\mathrm{r}{e}^{-t\hat{H}}=\underset{\mathrm{\Omega }}{\int }dxK(x,x,t)$

Esta relación está relacionada con muchas «fórmulas traza» como la geometría hiperbólica de Selberg o la aproximación semiclásica de Gutzwiller.

Funciones espectrales

Definimos la función de conteo de los autovalores:

$𝒩(\lambda )=\mathrm{T}\mathrm{r}\theta (\hat{H}-\lambda )=\sum _{n=1}^{+\mathrm{\infty }}\theta ({\lambda }_n-\lambda )$

donde $\theta (x)$ es la distribución de Heaviside. La función de recuento es una función de paso positiva cada vez mayor que proporciona el número total de autovalores menores o iguales a $\lambda$. Su derivada es la densidad espectral de valores propios:

$\rho (\lambda )=\mathrm{T}\mathrm{r}\delta (\hat{H}-\lambda )=\sum _{n=1}^{+\mathrm{\infty }}\delta ({\lambda }_n-\lambda )$

La traza del núcleo de calor está conectado a estas funciones mediante una transformación de Laplace:

$\mathrm{T}\mathrm{r}{e}^{-t\hat{H}}=\sum _{n=1}^{+\mathrm{\infty }}{e}^{-t{\lambda }_n}=\underset{0}{\overset{+\mathrm{\infty }}{\int }}{e}^{-t\lambda }\rho (\lambda )d\lambda =\underset{0}{\overset{+\mathrm{\infty }}{\int }}{e}^{-t\lambda }d𝒩(\lambda )$

Función zeta espectral

Suponemos aquí que el fundamental ${\lambda }_1\ne 0$. Por analogía con la función zeta de Riemann, la función zeta espectral es introducida por la serie de tipo Dirichlet :

$\zeta (s)=\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{{\lambda }_n^s}$

que converge para $\mathrm{\Re }\mathrm{e}\left[s\right]$ lo suficientemente grande Esta función zeta está conectada a la traza del núcleo de calor mediante una transformada de tipo Mellin:

$\zeta (s)=\frac{1}{\mathrm{\Gamma }(s)}\underset{0}{\overset{+\mathrm{\infty }}{\int }}dt{t}^{s-1}\mathrm{T}\mathrm{r}{e}^{-t\hat{H}}$

En particular, la función zeta se utiliza para regularizar los determinantes de los operadores que aparecen durante los cálculos de las integrales de trayectoria en la teoría cuántica de campos. De hecho, el determinante del operador $H$ se define por:

$\mathrm{d}\mathrm{e}\mathrm{t}\hat{H}=\prod _{n=1}^{+\mathrm{\infty }}{\lambda }_n$

Con la identidad:

$\ln \mathrm{d}\mathrm{e}\mathrm{t}\hat{H}=\ln \left(\prod _{n=1}^{+\mathrm{\infty }}{\lambda }_n\right)=\sum _{n=1}^{+\mathrm{\infty }}\ln {\lambda }_n=\mathrm{T}\mathrm{r}\ln \hat{H}$

la relación formal se demuestra fácilmente:

$\mathrm{d}\mathrm{e}\mathrm{t}\hat{H}=\exp [-{\zeta }^{\prime }(0)]$

donde la derivada de la función zeta se evalúa en s = 0.

Extensión para compactar variedades de Riemann

No es difícil derivar una expresión formal para el kernel de calor en un dominio arbitrario. Considere el problema de Dirichlet en un dominio conectado (o variedad con frontera) $U$. Donde ${\lambda }_n$ son los valores propios para el problema de Dirichlet del Laplaciano

$\{\begin{array}{cc}\mathrm{\Delta }\varphi +\lambda \varphi =0& \text{en }U\\ \varphi =0& \text{en }\partial U.\end{array}$

Donde ${\varphi }_n$ denota las funciones propias asociadas, normalizadas para ser ortonormales en $L^2(U)$. El Laplaciano inverso de Dirichlet ${\mathrm{\Delta }}^{-1}$ es un operador compacto y autoadjunto, por lo que el teorema espectral implica que los valores propios satisfacen

$0<{\lambda }_1<{\lambda }_2\le {\lambda }_3\le \cdots ,{\lambda }_n\to \mathrm{\infty }.$

El kernel de calor tiene la siguiente expresión:

Plantilla:NumBlk

Formalmente la diferenciación de la serie bajo el signo de la sumatoria muestra que esto debería satisfacer la ecuación de calor. Sin embargo, la convergencia y la regularidad de la serie son bastante delicadas.

El kernel de calor también se identifica a veces con la transformación integral asociada, definida para smooth compacto liso de forma compacta

$T\varphi =\underset{\mathrm{\Omega }}{\int }K(t,x,y)\varphi (y)dy.$

Hay varios resultados geométricos en granos de calor en variedades; por ejemplo, asintóticos de corta duración, asintóticos de larga duración y límites superiores o inferiores de tipo gaussiano.

Desarrollo asintótico del núcleo de calor

El término diagonal del núcleo de calor admite un desarrollo asintótico rápido.

Variedad compacta de Riemann sin borde

Para una variedad Riemanniana compacta M de dimensión d sin borde, se tiene el desarrollo de Minakshisundaram-Pleijel (1949):

$K(x,x,t)\sim \frac{1}{t^{d/2}}\sum _{n=0}^{+\mathrm{\infty }}{a}_n(x)t^n(t\to 0^{+})$

donde los coeficientes $a_n(x)$ son funciones suaves en M, que dependen de la métrica y sus derivadas en x. Mediante la integración en todos los puntos x, se deduce que la traza del núcleo del calor también admite un desarrollo asintótico en un tiempo reducido:

$\mathrm{T}\mathrm{r}{e}^{-t\hat{H}}\sim \frac{1}{t^{d/2}}\sum _{n=0}^{+\mathrm{\infty }}{A}_n{t}^n(t\to 0^{+})$

donde las constantes $A_n$ están definidos por:

$A_n=\underset{M}{\int }{a}_n(x)d\mu (x)$

para la medición inducida por la métrica. Estas constantes muestran algunas características geométricas globales de $M$; por ejemplo, la constante $A_0$ es proporcional al hipervolumen de la variedad: $\mathrm{m}\mathrm{e}\mathrm{s}(M)$, donde:

$\mathrm{m}\mathrm{e}\mathrm{s}(M)=\underset{M}{\int }d\mu (x)$

Variedades con borde

La existencia de un desarrollo asintótico puede extenderse a variedades suficientemente regulares con borde. El operador de Laplace-Beltrami debe contar con las condiciones de contorno apropiadas.

Espectro y geometría

Plantilla:Artículo principal. El desarrollo de la traza del núcleo de calor está conectado con el de la función de recuento de valores propios (o su derivada, la densidad espectral). El teorema del mapeo espectral da una representación de $T$ en la forma

$T=e^{t\mathrm{\Delta }}.$

Bibliografía

Obras de referencias

• Plantilla:Citation
• Plantilla:Citation.
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Marcel Berger, Paul Gauduchon & Edmond Mazet; Le spectre d'une variété Riemanienne, Lecture Notes in Mathematics 194, Springer-Verlag (1971).

Algunos artículos

• S Minakshisundaram & A Pleijel; Some properties of the eigenfunctions of the Laplace-operator on Riemannian manifolds, Canadian Journal of Mathematics 1 (1949), 242–256.
• H. P. McKean & I. M. Singer; Curvature and the eigenvalues of the Laplacian, Journal of Differential Geometry 1 (1) (1967), 43-69.
• Peter B. Gilkey; The spectral geometry of a Riemannian manifold, Journal of Differential Geometry 10(4) (1975), 601-618.
• Yves Colin de Verdière; Propriétés asymptotiques de l'équation de la chaleur sur une variété compacte, d'après P. Gilkey, Séminaire Bourbaki (novembre 1973).
• Yves Colin de Verdière; Spectre du laplacien et longueurs des géodésiques périodiques (I), Compositio Mathematica 27 (1) (1973), p.|83-106. Numdam.
• Yves Colin de Verdière; Spectre du laplacien et longueurs des géodésiques périodiques (II), Compositio Mathematica, 27 (2) (1973), p.|159-184. Numdam.
• María Teresa Arede; Géométrie du noyau de la chaleur sur les variétés, Thèse de troisième cycle, Université de Marseille (1983).
• Teresa Arede; Manifolds for which the heat kernel is given in terms of geodesic lengths, Letters in Mathematical Physics 9 (2) (1985), 121-131.
• Peter B Gilkey; Heat Equation Asymptotics, Proc. Symp. Pure and Applied Math. V54 (1993), 317-336.
• Klaus Kirsten; Spectral functions in mathematics and physics, Chapman & Hall/CRC, Boca Raton, FL (2002), Plantilla:ISBN.
• Peter B. Gilkey; Asymptotic formulae in spectral geometry, Studies in Advanced Mathematics, vol. 43, Chapman & Hall/CRC, Boca Raton, FL (2004), Plantilla:ISBN

Enlaces web

• Claude Bardos & Olivier Laffite; Une synthèse de résultats anciens et récents sur le comportement asymptotique des valeurs propres du Laplacien sur une variété riemannienne, (1998). PostScript.
• M. van den Berg, S. Desjardins & P B Gilkey; Heat content asymptotics of Riemannian manifolds, dans : Differential Geometry and its Applications, O. Kowalski & D. Krupka (éditeurs), proceedings of 5th international conference 1992 on differential geometry and its applications at Silesian University (1993), Plantilla:ISBN, p.Plantilla:Esd61-64. PostScript.
• D. V. Vassilevich; Heat kernel expansion: user's manual, Physics Report 388 (2003), 279-360. ArXiv : hep-th/0306138.
• Arlo Caine; The heat kernel on a Riemannian manifold, pdf.
• Daniel Grieser; Notes on the heat kernel on manifolds with boundary, pdf Plantilla:Wayback.