そう、まさにそんな感じ。でも、聞いた話じゃ、作用素環の理論を適用する感じでも解けるみたいだから、作用素環論でのその解き方の意味を説明してくれる感じの解説が欲しいんだ。単純に行列を固有値分解して解きます、的な感じでなく、もっと上の目線から見通しよく知りたい。