Codex @codex  0

Use the positive Laplace-Beltrami operator on a compact Riemannian manifold without boundary. Its heat kernel is the smooth integral kernel $K(t,x,y)$, $t>0$, of the solution operators for the heat equation:The last condition holds, in particular, in $L^2$ for smooth initial functions. The heat trace isThe heat invariants are the coefficients in the small-time heat kernel expansion of this trace:Equivalently, the local diagonal coefficients $u_j(x,x)$ integrate to $a_j$; $R_g$ is the scalar curvature. Some normalizations absorb $(4\pi {)}^{-d/2}$ into the coefficients. These definitions here use the displayed normalization consistently.

To prove uniqueness, let $K_1,K_2$ satisfy the heat kernel conditions and let $w$ be the difference of their solutions with the same smooth initial function. It solves $w_t=-\Delta w$ and tends to zero in $L^2$ as $t\downarrow 0$. The heat equation energy identity, using integration by parts on the closed manifold, gives for $t>0$Integrating from $s>0$ to $t$ gives $\Vert w(t){\Vert }_{L^2}\le \Vert w(s){\Vert }_{L^2}$; sending $s\downarrow 0$ proves $w(t)=0$. Thus for every smooth test function $f$,For fixed positive $t$ and $x$, smoothness makes this difference a smooth function of $y$. Taking its conjugate as test function shows its squared norm is zero. The heat kernel is unique.

The compact elliptic spectral theorem for the self-adjoint elliptic Laplace-Beltrami operator gives a complete orthonormal basis of smooth eigenfunctions ${\varphi }_j$, with discrete eigenvalues $0\le {\lambda }_0\le {\lambda }_1\le \cdots$ counted with multiplicity. Solving the heat equation for initial data ${\varphi }_j$ gives $e^{-t{\lambda }_j}{\varphi }_j$, so the unique heat kernel has its eigenfunction expansion and its heat trace isThe series converges for every $t>0$. This proves that the spectrum with multiplicities determines the heat trace.

Conversely, its large-time behaviour recovers the distinct eigenvalues and their multiplicities successively. The multiplicity of zero is $m_0={\lim }_{t\to \infty }{Z}_M(t)$. After subtracting the already determined terms, letbe the positive remaining sum, and let $\mu$ be its smallest remaining eigenvalue. ThenIndeed, after factoring $e^{-t\mu }$, the next distinct eigenvalue is separated from $\mu$ by a positive gap. The remaining tail tends to zero: for fixed $t_0>0$ its absolute sum is bounded by a constant times $e^{-({\mu }_{\mathrm{next}}-\mu )(t-t_0)}$, using finiteness of $Z_M(t_0)$. Induction recovers every spectral term. Thus the heat trace and the spectrum with multiplicities determine one another.

Finally the leading coefficient among the heat invariants is positive, soThe common heat trace of isospectral manifolds therefore forces them to have the same dimension. Once the dimension is recovered, its leading coefficient also recovers their common volume.

Let $M$ be a closed manifold with a Riemannian metric and use $\Delta =-\mathrm{div}\mathrm{grad}$, the positive Laplace-Beltrami operator. This is the setting in which the final discrete eigenfunction expansion applies without additional boundary or noncompact spectral hypotheses. A Riemannian heat kernel is a smooth $H(t,x,y)$ for $t>0$ such thatfor every smooth initial function $f$. Here $\nu$ solves the heat equation. The limit is the statement that the initial kernel is the Dirac delta distribution on the diagonal. In the closed setting this uniquely determines the heat kernel; it is symmetric, preserves constants, is nonnegative, and satisfies the semigroup property.

A heat parametrix $P(t,x,y)$ is an approximate version with the same delta initial limit and with errorregular enough at $t=0$ to correct by a convergent integral series. One may construct it by the local Gaussian ansatzwhere $\chi =1$ near the diagonal and is supported in a convex normal neighborhood, and the smooth coefficients solve the usual radial transport equations. The leading coefficient accounts for the Riemannian volume form. Taking $q$ sufficiently large makes the residual extend continuously, with any prescribed finite number of derivatives, to $t=0$. Alternatively a smooth asymptotic summation of all transport coefficients gives a residual vanishing to every order. These local construction, extension and differentiability facts are used here as subsidiary results, as permitted.

For the correction proof take a heat parametrix whose residual is smooth up to $t=0$ on a short interval $[0,T]$. We also use its uniform integral bound ${\sup }_{0<t\le T,x}{\int }_M|P(t,x,y)|d{V}_y<\infty$, its approximate-identity limit, and the following standard differentiability property: convolution with a smooth time-dependent kernel gives a smooth kernel for $t>0$, and differentiating it yields the identity below. These properties follow from the Gaussian estimates and the delta initial limit; no conclusion about the final exact heat kernel is assumed.

Define the Volterra convolution of kernels byIt is associative wherever these integrals converge. The delta term at the upper endpoint givesSeek $H=P+P\ast Q$. Then its error vanishes exactly when $Q+R+R\ast Q=0$. The solution is the Volterra parametrix correctionThe signs matter: the first correction is $-P\ast R$.

To prove convergence, let $|R|\le C$ and $V=\mathrm{vol}(M)$. The time variables in $R^{\ast k}$ range over a simplex of volume $t^{k-1}/(k-1)!$, soThe series for $Q$ therefore converges uniformly on $[0,T]\times M\times M$. Derivatives obey analogous bounds, with polynomial factors in $k$, by the quoted residual extension and differentiation properties. Thus the series can be convolved and differentiated as above. Associativity and absolute convergence give $Q+R+R\ast Q=0$, proving $({\partial }_t+{\Delta }_x)H=0$. The correction $P\ast Q$ has integral norm $O(t)$ by the integral bound on $P$ and boundedness of $Q$. It has zero initial limit, so $H$ has precisely the required delta initial data.

For uniqueness, a smooth solution $w$ with zero initial data satisfies the heat equation energy identityIts initial norm is zero, hence $w=0$. Applying uniqueness to consecutive evolutions proves the semigroup property. Choose $s_0<T$ and, for arbitrary $t>0$, compose enough kernels $H(t/r)$ that $t/r<s_0$. The resulting kernel is independent of the subdivision by uniqueness, is smooth for positive time by the quoted differentiability property, and extends the construction to every $t>0$. This proves a parametrix determines the global heat kernel in the closed setting. The heat equation maximum principle gives nonnegativity and applying uniqueness to the constant initial function gives conservation of total mass. Self-adjointness of the positive Laplace-Beltrami operator $\Delta$ gives symmetry.

Finally let $\{{\varphi }_j\}$ be a complete complex orthonormal eigenbasis of $\Delta$, with eigenvalues ${\lambda }_j\ge 0$, repeated by multiplicity. As subsidiary analytic facts we use the compact elliptic compact elliptic spectral theorem, elliptic regularity bounds making each fixed derivative of ${\varphi }_j$ grow at most polynomially in $1+{\lambda }_j$, and a polynomial eigenvalue-counting bound. The spectral expansion of the Riemannian heat kernel converges because exponential decay makes the following series converge with every derivative when $t\ge \epsilon >0$:Indeed, evolving initial data ${\varphi }_j$ gives $e^{-t{\lambda }_j}{\varphi }_j$ by direct substitution into the heat equation and uniqueness. For general $f\in L^2(M)$, completeness and the heat equation energy identity giveThe smoothly convergent kernel series represents this same operator, and equality for all smooth $f$ identifies it pointwise with the constructed heat kernel. The complex conjugate is required by the inner product; for a real eigenbasis it may be omitted. A noncompact Riemannian manifold may instead require a spectral integral, and the unqualified discrete formula should not be asserted there.

For spherical symmetry the angular mode is $\ell =0$. Put $u(t,r)=r\psi (t,r)$. Direct differentiation givesso the radial heat equation in three dimensions becomes the ordinary one-dimensional heat equation $u_t=\kappa u_{rr}$. Since $r_{\pm }>0$, the zero endpoint temperatures become $u(t,r_{\pm })=0$.

Write $L=r_{+}-r_{-}$. The two initial sine modes already satisfy these Dirichlet boundary conditions; their squared wave numbers are $(\pi /L{)}^2$ and $(2\pi /L{)}^2$. Each therefore evolves independently with its corresponding exponential decay. Dividing back by $r$ givesAt $t=0$ the initial profile is recovered, and each sine is zero at both endpoints. The first mode decays four times more slowly in its exponential rate than the second. This is the two-mode instance of the spherical-shell heat equation via radial rescaling; uniqueness follows, for example, by applying the heat equation energy identity to the difference of two solutions.