ハミルトニアンが時間に依存しない場合、エネルギーがformula_1と表され、初期状態が対応する固有状態formula_2である場合、時刻tでの状態formula_3は