ハミルトニアンの行列表示

J.J. Sakuraiのゼミをしていたとき、ハミルトニアンの行列表示について議論になった。

Diracのbraketを用いた表示で書けば、

となる。
Sakuraiだと、イコールではないことを強調して一応を用いてはいるものの、結構ポッと出な感もあるし、何よりもの中のは外のとどう違うの？とか、もう一回中に代入するってこと？みたいな誤解が起きることが分かった。確かにに直接行列表現ぶち込もうとすると訳分からんことになる。

ポイントは一本の二階微分方程式を解くモードか、微分を含まない連立方程式で解くモードかということだと思っている。

シュレーディンガー方程式から出発して、全然分からん固有状態を素性が良くわかっている固有状態で展開する（例えば何にも相互作用の無いときの固有状態である平面波とか）。

ここで、例えばを左から掛けることで、にどれだけの情報が含まれているかを見る様なことをすると、

これを他の状態でもやってあげれば、展開係数に関する連立方程式が出来る。

ここまで、は微分方程式（シュレーディンガー方程式）のハミルトニアンのままであり、別に変なことはしていない。この連立方程式を行列でまとめて書くと、

という具合になる。
なので、を求める問題が、を求める問題にすり替わり、特にを求めたければは必要なく、

を解きさえすれば良い（これがゼロでない場合には、上の行列に逆行列が存在して、（つまり）という全然興味のない答えしか得られないため、ゼロ出ないことを条件付ける訳である）。
そうすると、の微分方程式における具体的な表式は、「行列要素の値が求まっていれば」どうでも良くなり、行列形式で問題を扱って行くときにいちいち違う記号を用いるのは煩雑になる（人によって違う記号を使いだすと多分ヤバい）ので、同じを使っているのだと理解している。
最初の話に戻ると、行列の中のは実際のシュレーディンガー方程式ので、の左側にいるはただという記号を使っている行列ということになる。