数学 › 微分幾何学 › Hodge 理論と Laplace–Beltrami 作用素

熱核の局所展開（Minakshisundaram–Pleijel）

定理 7.4（「Hodge 理論と Laplace–Beltrami 作用素」§7）・ ✓公理まで証明済み

$M$ をコンパクトな $n$ 次元 Riemann 多様体とする。熱核 $K_t$ は存在し、 $\Delta$ の固有値 $0=\lambda_0\le\lambda_1\le\dots$ （重複込み）と L² 正規直交固有関数 $\phi_j$ により $K_t(x,y)=\sum_je^{-t\lambda_j}\phi_j(x)\phi_j(y)$ と展開される。さらに $t\to0$ で

K_t(x,x)\sim(4\pi t)^{-n/2}\bigl(a_0(x)+a_1(x)t+a_2(x)t^2+\cdots\bigr),\qquad a_0=1,\quad a_1=\frac{s}{6},

で、各 $a_k$ は曲率とその共変微分の普遍的な多項式である。とくに $\sum_je^{-t\lambda_j}\sim(4\pi t)^{-n/2}\bigl(\operatorname{vol}(M)+\tfrac t6\int_Ms\,\mathrm{vol}+O(t^2)\bigr)$ 。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 255 件、定義なども含めて 294 件）。

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

前提をたどる証明が使う定理・定義（直接 9 件）

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

関数の Laplacian と Dirac 型作用素の 2 乗✓命題 2.3・熱核の漸近展開
- 接続 Laplacian の計算規則✓補題 2.2・熱核の漸近展開（上で展開済み）
- 形式的随伴✓補題 8.6・Hodge 理論と Laplace–Beltrami 作用素
  - 関数の Laplacian✓命題 3.3・Hodge 理論と Laplace–Beltrami 作用素この先をたどる →
熱核によるスペクトル分解✓定理 5.2・熱核の漸近展開
- 熱作用素の基本性質✓命題 5.1・熱核の漸近展開この先をたどる →
- Hilbert–Schmidt 作用素の性質✓命題 6.3・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラス
  - Hilbert–Schmidt ノルムの基底によらなさ✓命題 6.1・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラスこの先をたどる →
  - 有限ランク近似✓定理 3.4・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラスこの先をたどる →
- Hilbert–Schmidt の定理✓定理 4.2・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラス
  - ノルムは固有値として達成される✓補題 4.1・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラスこの先をたどる →
  - コンパクト作用素は閉じた両側イデアル✓命題 3.2・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラス
  - 対角作用素のコンパクト性✓命題 3.6・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラスこの先をたどる →
- スペクトル定理（エルミート行列）✓定理 4.2・スペクトル定理この先をたどる →
- 接続 Laplacian の計算規則✓補題 2.2・熱核の漸近展開（上で展開済み）
- 正規直交基底の特徴づけ（パーセバルの等式）✓定理 6.4・Hilbert 空間の基礎
  - 二重直交補空間と稠密性の判定✓系 3.7・Hilbert 空間の基礎この先をたどる →
  - ベッセルの不等式✓定理 6.2・Hilbert 空間の基礎
  - 命題 3.2✓Hilbert 空間の基礎
- Schatten クラスとトレースクラス定義 7.3・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラス
- Schatten クラスの基本性質✓定理 7.4・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラスこの先をたどる →
- トレースの定義と基本性質✓定理 7.7・コンパクト作用素・Hilbert–Schmidt 作用素・トレースクラスこの先をたどる →
熱核の存在・一意性・近似✓定理 4.6・熱核の漸近展開
- 誤差の評価✓補題 3.4・熱核の漸近展開この先をたどる →
- Volterra 級数✓補題 4.2・熱核の漸近展開
  - 積分記号下の微分✓系 7.4・ルベーグ積分の定義と収束定理この先をたどる →
- Duhamel の公式✓補題 4.3・熱核の漸近展開この先をたどる →
- 近似核の作用の評価✓補題 4.1・熱核の漸近展開この先をたどる →
- 熱方程式の解の一意性✓補題 4.4・熱核の漸近展開この先をたどる →
Laplace 型作用素の熱核定義 4.5・熱核の漸近展開
熱核定義 7.1・Hodge 理論と Laplace–Beltrami 作用素
接続 Laplacian の計算規則✓補題 2.2・熱核の漸近展開
- Clifford 加群と Dirac 型作用素定義 5.2・Hodge 理論と Laplace–Beltrami 作用素
- 発散の座標表示✓命題 5.5・Riemann 計量と Levi-Civita 接続この先をたどる →
- 関数の Laplacian✓命題 3.3・Hodge 理論と Laplace–Beltrami 作用素この先をたどる →
- 形式的随伴✓補題 8.6・Hodge 理論と Laplace–Beltrami 作用素（上で展開済み）
熱核の小時間漸近展開✓定理 6.1・熱核の漸近展開
- 熱核の存在・一意性・近似✓定理 4.6・熱核の漸近展開（上で展開済み）
- 熱核によるスペクトル分解✓定理 5.2・熱核の漸近展開（上で展開済み）
係数 a₀ と a₁✓命題 6.3・熱核の漸近展開
- 輸送方程式の解✓命題 3.2・熱核の漸近展開この先をたどる →
- 接続 Laplacian の計算規則✓補題 2.2・熱核の漸近展開（上で展開済み）
- 正規座標での計量の展開✓補題 6.2・熱核の漸近展開この先をたどる →
- 関数の Laplacian✓命題 3.3・Hodge 理論と Laplace–Beltrami 作用素この先をたどる →
係数の局所性と普遍性✓命題 6.4・熱核の漸近展開
- 接続 Laplacian の計算規則✓補題 2.2・熱核の漸近展開（上で展開済み）
- 輸送方程式の解✓命題 3.2・熱核の漸近展開この先をたどる →
- 関数の Laplacian と Dirac 型作用素の 2 乗✓命題 2.3・熱核の漸近展開（上で展開済み）
- 正規座標での計量の展開✓補題 6.2・熱核の漸近展開この先をたどる →
- 係数 a₀ と a₁✓命題 6.3・熱核の漸近展開（上で展開済み）

これを使っている定理

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

熱核の局所展開（Minakshisundaram–Pleijel）

閉包の状態

前提をたどる 証明が使う定理・定義（直接 9 件）

これを使っている定理

関連するノック 3 問

前提をたどる証明が使う定理・定義（直接 9 件）