ほぼできたように思う。収束しなかったと思い込んでいたところがδ的に収束することに気付いた。これでオッケー。

拡張までもう一歩。要するにtransfer operator methodなのだが。

8年越しの塩漬け問題がやっとすっきり解けたというか力学系的に解釈できた。