Schrödinger equation
時間発展演算子が満たすべき方程式は、シュレーディンガー方程式より、