非線形微分方程式では関数解析って役に立たないんですか?