線形のシュレディンガー方程式の初期値問題を関数解析的に扱った本はないでしょうか?