熱方程式の基本解（熱核）

定義 2.1（「熱方程式」§2）

$x\in\mathbb{R}^n$ 、 $t\gt0$ について

\Phi(x,t)=\frac1{(4\pi t)^{n/2}}\exp\Bigl(-\frac{|x|^2}{4t}\Bigr)

とおき、熱核（熱方程式の基本解）という。 $\Phi_t=\Phi(\cdot,t)$ とも書く。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。