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\}$ におけるディリクレ熱方程式の正の解に対する勾配推定を確立するという問題に取り組んでいる。古典的なリ・ヤウの不等式は、境界のない完備リーマン多様体上の拡散に関する鋭い制御を提供しているが、吸収境界の存在は熱核の構造を根本的に変化させる。先行研究においてハミルトン（Hamilton）は、ディリクレ境界が逆二乗の補正項を導入することを確立したが、ハミルトンの証明は非線形最大値原理の議論に依存していたため、この補正項の解析的な起源は熱核構造の中に直接的には見えていなかった。本論文は、この境界補正の直接的な熱核に基づく解釈を提供することを目指している。

手法
著者は、推定を導出するために「熱核期待値アプローチ」を用いている。核心となる手法は以下の3つのステップからなる：

1. 核表現（Kernel Representation）： 解 $w(x,t)$ は、鏡像法によって構成されるディリクレ熱核 $K_D(x, y, t)$ を用いて表現される：
   $$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. 正規化確率測度（Normalized Probability Measure）： 固定された $(x, t)$ に対して、正規化された核誘導確率測度が導入される：
   $$d\mu_{x,t}(y) = \frac{K_D(x, y, t)g(y)}{w(x, t)} dy,$$
   ここで $g(y)$ は非負の初期データである。この変換により、解の対数微分を、明示的な核の量の期待値として表現することが可能になる。
3. 双曲解析とイェンセンの不等式（Hyperbolic Analysis and Jensen's Inequality）： 核の対数微分が明示的に計算される。反射されたガウス項は、$\coth\left(\frac{x_n y_n}{2t}\right)$ を含む双曲構造を生成する。イェンセンの不等式を適用し、$z > 0$ に対して $0 < z \operatorname{csch} z < 1$ という鋭い初等的な評価を利用することで、著者は得られた期待値を抑え込み、勾配推定を導出する。

主要な結果
主要な結果は、明示的な境界補正を伴うリ・ヤウ型の勾配推定である。$\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}.$$

さらに、対応する積分ハーナック不等式を導出している。半空間内の滑らかな曲線 $\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.$$

意義と貢献
本論文は、拡散における境界効果の理解に関して、いくつかの具体的な貢献を主張している：

• 直接的な熱核による解釈： 非線形最大値原理を用いたハミルトンのアプローチとは異なり、本研究は、境界補正がディリクレ熱核の反射ガウス構造から本質的に生じることを示している。この補正項は、双曲恒等式 $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}$ と特定されており、吸収境界の影響が距離の二乗に反比例して減衰することを示している。
• ハミルトンの推定の回収： 本論文は、一次元の場合（$n=1$）において、導出された不等式がハミルトンによる簡略化されたリ・ヤウの推定（$l_{xx} + \frac{1}{2t} + \frac{1}{x^2} \geq 0$）に帰着することを示している。さらに、ハミルトンの補助変数 $v$ を、境界相互作用項の正規化された期待値として確率的に解釈している。
• 鋭さ（Sharpness）： 著者は、逆二乗の補正が最適なオーダーであることを論じている。境界付近では、ディリクレ条件の消失により、熱核の対数ヘッシアンが必然的に逆二乗の特異性を示すため、補正項を除去したり、一般的にスケーリングを改善したりすることはできない。
• 変分解釈： 結果は、境界補正が最適な拡散経路の幾何学を修正することを示唆している。ハーナック不等式は、境界を横切ることを防ぐ斥力ポテンシャル $V(x_n) = \frac{1}{x_n^2}$ を含む作用汎関数を最小化する変分問題へと導く。

本論文は、この熱核ベースのアプローチが、ユークリッド距離関数が $x_n$ に置き換わるような、より一般的な領域や境界を持つ多様体へと境界補正付き推定を拡張するための枠組みを提供することを結論づけている。