固有値問題を無限次元にしたようなの