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