>>507
回答ありがとうございます。
たしかにスピンまで含めると、
(位置固有状態で張られるヒルベルト空間) ⊗ (スピン固有状態で張られるヒルベルト空間)
内での時間発展を考える必要があるので仰る通りややこしくなると思います。
したがって、
> 任意の非可換量を含むハミルトニアンに対して一般にラグランジアンを求めることは多分できないと思います
には私も賛成です。

しかし、スピンがない場合については、時間依存するケットを引き数とする汎関数として作用を記述できませんかね？
そのような作用から、最小作用の原理を経由してケットに対するシュレーディンガー方程式を導出してみたいのですが……