有効質量による Newton 方程式

命題 5.3（「Bloch の定理とバンド理論」§5）・ ✓公理まで証明済み

定理 5.1 の電子（外力 $\boldsymbol{F}=-e\boldsymbol{E}$ ）の加速度は、

\dot v_i=\sum_j\left(\frac1{m^*}\right)_{ij}F_j

である。1 次元では $m^*\,\dot v=F$ 。

閉包の状態

✓ 公理まで証明済み

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

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

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

半古典的運動方程式✓定理 5.1・Bloch の定理とバンド理論
- Bloch 状態の速度✓命題 2.4・Bloch の定理とバンド理論
  - ヘルマン–ファインマンの定理✓命題 3.5・摂動論

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