Drude の電気伝導度

定理 2.2（「自由電子気体」§2）・ ✓公理まで証明済み

一様な電場 $\boldsymbol{E}$ のもとで、定常状態の電流密度は $\boldsymbol{j}=\sigma\boldsymbol{E}$ （Ohm の法則）で、

\sigma=\frac{ne^2\tau}{m}

である。より一般に、電子の平均運動量 $\boldsymbol{p}(t)$ は $\dfrac{d\boldsymbol{p}}{dt}=-\dfrac{\boldsymbol{p}}{\tau}+\boldsymbol{F}(t)$ に従う。

閉包の状態

✓ 公理まで証明済み

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

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

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