土曜日

朝、昨日の寺本君から聞いたHamiltonian systems でのFDT の証明を僕なりに消化する。これも手数的には暗算レベルになった。いつものように、初期条件のカノニカル性を要求するので、何でもさくさくでる。しかし、ここでだされた形式的な　FDT と実験でかかるFDTとの間には、論理的にはギャップがあるのでそれを埋めるためにあれこれする。ちょうど木曜日の夜にやっていたことと重なってタイミングがよかった。もちろん、これは、NESS での問題にアプローチするために、平衡の場合のミクロからの理解を(できる限り）完全にしたいからである。[本当の完全な理解まだ難しい。]

想定している方針にそって考えると、だいたいよさげなんだが、ちょっとまだ筋が見えきらない。