数学 › 未解決問題と大定理 › ポアンカレ予想 I

スカラー最大値原理(ODE との比較)

定理 5.1(「ポアンカレ予想 I」§5) ・ ✓公理まで証明済み

MM を閉多様体、g(t)g(t)(t∈[0,T]t\in[0,T])を MM 上の Riemann 計量の滑らかな族、F ⁣:R→RF\colon\mathbb{R}\to\mathbb{R} を局所 Lipschitz 連続な関数とする。u ⁣:M×[0,T]→Ru\colon M\times[0,T]\to\mathbb{R} を滑らかな関数、φ ⁣:[0,T]→R\varphi\colon[0,T]\to\mathbb{R} を常微分方程式 φ′=F(φ)\varphi'=F(\varphi) の解とする。

  1. ∂u∂t≥Δg(t)u+F(u)\dfrac{\partial u}{\partial t}\ge\Delta_{g(t)}u+F(u) かつ u(⋅,0)≥φ(0)u(\cdot,0)\ge\varphi(0) ならば、M×[0,T]M\times[0,T] 上で u≥φu\ge\varphi。
  2. ∂u∂t≤Δg(t)u+F(u)\dfrac{\partial u}{\partial t}\le\Delta_{g(t)}u+F(u) かつ u(⋅,0)≤φ(0)u(\cdot,0)\le\varphi(0) ならば、M×[0,T]M\times[0,T] 上で u≤φu\le\varphi。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。

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

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。

これを使っている定理 証明で参照している 3 件

関連するノック 1 問