物理学 › 量子力学 › 演算子と物理量

期待値が満たすニュートンの運動方程式

系 7.2（「演算子と物理量」§7） ・ ✓公理まで証明済み

H^=P^22m+V(X^)\hat H = \dfrac{\hat P^2}{2m} + V(\hat X)（VV は微分可能な実数値関数）のとき

ddt⟨X^⟩=⟨P^⟩m,ddt⟨P^⟩=−⟨V′(X^)⟩.\frac{d}{dt}\langle\hat X\rangle = \frac{\langle\hat P\rangle}{m}, \qquad \frac{d}{dt}\langle\hat P\rangle = -\bigl\langle V'(\hat X)\bigr\rangle .

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

これを使っている定理

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