C^∞_c(R^n)間の非線形な作用素を線形化する時、一旦Banach空間(Sobolev空間)に拡張してそこでフレシェ微分するのがスタンダードらしい?けどそうして線形化した結果得られる作用素がC^∞_c(R^n)をC^∞_c(R^n)の中に移すのって非自明ですよね。