First-order heat content asymptotics on \(\mathsf{RCD} (K, N)\) spaces (Q6086064)

Let \(\Omega\) be an open and bounded domain in a smooth Riemannian manifold \((M^n,g)\). The heat content associate with \(\Omega\) is the function \[ Q_{\Omega}(t) =\int_{\Omega} u(t,x) d\text{Vol}_g(x), \text{ for } t>0, \] where \(u:[0,\infty) \times \Omega \to \mathbb{R}\) is a solution (formally) of \(u_t=\Delta u\) for all \((t,x) \in (0,\infty) \times \Omega\), \(u(t,x)=0\) for all \((t,x)\in (0,\infty) \times \partial \Omega\), and \(u(0,x)=1\) for all \(x\in \Omega\). Van den Berg and Gilkey proved (for smooth \(\partial \Omega\)) the first-order asymptotics \[ Q_{\Omega}(t) =\text{Vol}_g(\Omega) -\sqrt{\frac{4t}{\pi}} \sigma_g(\partial \Omega) +\frac{t}{2}\int_{\partial \Omega} H d\sigma_g + o(t), \text{ as } t\to 0. \] Such asymptotics unveil a deep connection between the geometry of \(\partial \Omega\) and the small time behavior of the heat content. Motivated by the above-mentioned result, the authors prove first-order asymptotics on a bounded open set of the heat content when the ambient space in an RCD(K,N) space, under a regularity condition for the boundary. More precisely, \textbf{Theorem} Let \((X,d,\mathfrak{m})\) be an RCD(K,N) space for some \(K\in \mathbb{R}\) and \(N\in (1,\infty)\) and let \(\Omega \subset X\) be open and bounded. Assume \(\partial \Omega\) satisfies the \((\mathfrak{m}IGC)_{\epsilon}\) condition for some \(\epsilon \in (0,\infty)\), and \(\Delta \delta \in L^{1+\rho}(\{0<\delta <\epsilon\})\) for some \(\rho >0\). Then the heat content associate with \(\Omega\) satisfies \[ Q_{\Omega}(t) =\mathfrak{m}(\Omega) - \sqrt{\frac{4t}{\pi}} \text{Per}(\Omega) +O\left(t^{\frac{2(1+\rho)-1}{2(1+\rho)}} \right) \text{ as } t\to 0^+. \]