A Heat Kernel Expectation Approach to Boundary-Corrected Li--Yau Estimates for the Dirichlet Heat Equation

技术摘要：一种基于热核期望的边界修正 Li–Yau 估计方法

问题陈述
本文研究了在欧几里得半空间 $\mathbb{R}^n_+ = \{x = (x_1, \dots, x_n) \in \mathbb{R}^n : x_n > 0\}$ 上建立 Dirichlet 热方程正解梯度估计的问题。虽然经典的 Li–Yau 不等式为无边界的完备黎曼流形上的扩散提供了尖锐的控制，但吸收边界从根本上改变了热核结构。此前，Hamilton 的工作确立了 Dirichlet 边界会引入一个反平方修正项，但由于 Hamilton 的证明依赖于非线性极大值原理论证，该修正项在热核结构中的解析起源并未被直接呈现。本文旨在为这种边界修正提供一种直接的基于核（kernel-based）的解释。

方法论
作者采用“热核期望方法”来推导这些估计。其核心方法论包含三个步骤：

1. 核表示： 解 $w(x,t)$ 通过 Dirichlet 热核 $K_D(x, y, t)$ 进行表示，该热核是通过镜像法（method of reflection）构建的：
   $$K_D(x, y, t) = \frac{1}{(4\pi t)^{n/2}} \left( e^{-\frac{|x'-y'|^2 + (x_n-y_n)^2}{4t}} - e^{-\frac{|x'-y'|^2 + (x_n+y_n)^2}{4t}} \right).$$
2. 归一化概率测度： 引入了一个对于固定的 $(x, t)$ 而言的归一化核诱导概率测度：
   $$d\mu_{x,t}(y) = \frac{K_D(x, y, t)g(y)}{w(x, t)} dy,$$
   其中 $g(y)$ 是非负初始数据。这种变换使得解的对数导数可以表示为显式核量的期望。
3. 双曲分析与 Jensen 不等式： 对核的对数导数进行了显式计算。反射高斯项产生了一个涉及 $\coth\left(\frac{x_n y_n}{2t}\right)$ 的双曲结构。通过应用 Jensen 不等式并利用对于 $z > 0$ 的尖锐初等估计 $0 < z \operatorname{csch} z < 1$，作者通过对这些产生的期望进行有界化处理，从而推导出梯度估计。

主要结果
主要结果是一个显式的边界修正型 Li–Yau 型梯度估计。对于 $\mathbb{R}^n_+$ 上的任何正解 $w$，以下不等式成立：
$$\Delta \log w(x, t) \geq -\frac{n}{2t} - \frac{1}{x_n^2}.$$
等价地，用拉普拉斯算子和梯度表示为：
$$\frac{\Delta w}{w} - \frac{|\nabla w|^2}{w^2} \geq -\frac{n}{2t} - \frac{1}{x_n^2}.$$

论文进一步推导了相应的积分 Harnack 不等式。对于半空间中的光滑曲线 $\gamma(t) = (x(t), t)$：
$$\log \frac{w(x(t_2), t_2)}{w(x(t_1), t_1)} \geq -\frac{1}{4} \int_{t_1}^{t_2} |x'(t)|^2 dt - \frac{n}{2} \log \frac{t_2}{t_1} - \int_{t_1}^{t_2} \frac{1}{x_n(t)^2} dt.$$

意义与贡献
该论文声称对理解边界效应有以下具体贡献：

• 直接的核解释： 与 Hamilton 使用非线性极大值原理的方法不同，这项工作表明边界修正本质上源于 Dirichlet 热核的反射高斯结构。该修正项被证明是双曲恒等式 $1 - \coth^2 z = -\operatorname{csch}^2 z$ 的直接结果。
• 几何分离： 该估计显式地将通用的扩散缩放（$-\frac{n}{2t}$）与边界贡献（$-\frac{1}{x_n^2}$）分离开来。边界项被识别为几何上的 $-\frac{1}{d(x, \partial \mathbb{R}^n_+)^2}$，这表明吸收边界的影响随距离呈平方反比衰减。
• 恢复 Hamilton 的估计： 论文展示了在 一维情况（$n=1$）下，推导出的不等式简化为 Hamilton 所得的简化 Li–Yau 估计（$l_{xx} + \frac{1}{2t} + \frac{1}{x^2} \geq 0$）。此外，它将 Hamilton 的辅助变量 $v$ 解释为边界相互作用项的一个归一化期望。
• 尖锐性： 论文论证了反平方修正项具有最优阶。在边界附近，由于 Dirichlet 条件的消失，热核的对数 Hessian 必然表现出反平方奇异性，这意味着该修正项无法被移除或在标度上得到一般性的改进。
• 变分解释： 结果表明，边界修正修改了最优扩散路径的几何结构。Harnack 不等式导出了一个变分问题，其中最优路径最小化一个包含斥力势 $V(x_n) = \frac{1}{x_n^2}$ 的作用量泛函，从而防止路径跨越边界。

论文最后指出，这种基于核的方法提供了一个框架，可将边界修正估计扩展到更一般的带边界的区域和流形，其中欧几里得距离函数将被替换为对应的距离函数。