[論文レビュー] An implicit function theorem for non-smooth maps between Fréchet spaces

Ivar Ekeland, Éric Séré|arXiv (Cornell University)|Feb 5, 2015

Quantum chaos and dynamical systems参考文献 5被引用数 5

ひとこと要約

本稿は、Fréchet空間間の非滑らか写像に対して、Gâteaux微分可能性と線形化作用素の一様有界右逆作用素を用いることで、導関数の損失を克服する新しい陰関数定理を確立する。主な貢献は、導関数を失う写像に適用可能な硬い逆関数定理であり、新規の近似スキームを用いて証明され、従来の結果と比較して正則性損失の境界が改善された等長埋め込み問題への応用がなされている。

ABSTRACT

We prove an inverse function theorem of Nash-Moser type for maps between Fréchet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome the lack of derivatives. In fact, our theorem holds when the map to be inverted is not C^2

研究の動機と目的

• 滑らかでない写像のFréchet空間間の陰関数定理を、古典的な $ C^2 $ の仮定を超えて開発すること。
• 連続性とGâteaux微分可能性のみに依存する枠組みを構築することで、非線形問題における導関数損失の課題に対処すること。
• 正則性損失を制御可能なスケールのバナッハ空間上での非線形方程式の解法の理論的基盤を提供すること。
• Kolmogorov-Arnol’d-Moserの伝統に従い、写像の滑らかさ仮定を弱めるために、既存の結果を改善すること。

提案手法

• 滑らかさ射影 $ \Pi_N $ が特定のノルム推定を満たすように、スケールのバナッハ空間 $ (X_s, \\_\|\cdot\\|_s) $ と $ (Y_s, \\_\|\cdot\\|_s^\prime) $ を導入する。
• 連続性、Gâteaux微分可能性、および導関数とその右逆作用素の均一有界性を用いて、写像 $ F: B_0(R) \to Y_0 $ が「正則性損失 $ \mu $ を伴う粗い tame 性質」を有することを定義する。
• 線形化作用素 $ L_N(x) = \Pi_N^\prime DF(x)|_{E_N} $ に対して右逆作用素推定を確立し、$ \|[L_N(x)]_r^{-1}k\|_s \leq \gamma_A^{-1} N^\mu (\|k\|_s^\prime + \|x\|_s \|k\|_0^\prime) $ を満たすことを保証する。
• 有限次元射影に基づく近似手続きを用いて主要定理を導出し、無限次元問題を有限次元の可逆性問題の列に還元する。
• 抽象的結果を等長埋め込み問題に応用するため、ノルムを $ \|x\|_s^* = \|x\|_{s+\mu} $、$ \|y\|_s^* = \|y\|_{s+\mu-1} $ として再定義し、必要な推定を検証する。
• 計量テンソルに関連する線形化作用素が非ゼロ行列式条件のもとで可逆であることを証明し、正則性の増加を制御可能な形で解の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでない写像のFréchet空間間の陰関数定理は、$ C^2 $ の正則性を仮定せずに確立可能か？
• RQ2 写像が連続かつGâteaux微分可能である場合、非線形方程式における導関数損失をどのように克服できるか？
• RQ3 バナッハ空間のスケールにおいて、線形化作用素の均一有界右逆作用素が存在するための条件は何か？
• RQ4 等長埋め込みのような導関数損失を伴う問題において、解の正則性をどの程度向上させられるか？
• RQ5 抽象定理は、従来の手法よりも良い正則性境界を達成する、等長埋め込みのような古典的幾何学的問題に応用可能か？

主な発見

• 本稿は、$ C^2 $ の滑らかさを仮定しない、連続かつGâteaux微分可能な写像のFréchet空間間の硬い逆関数定理を確立する。
• 主な結果は、導関数の右逆作用素が一様有界である限り、$ F(\bar{x}) = \bar{y} $ に対して $ \|\bar{x}\| \leq m \|\bar{y}\|' $ を満たす解 $ \bar{x} \in X_0 $ の存在を保証する。
• 等長埋め込み問題において、本手法は正則性損失を $ \sigma - \mu \geq 4\mu - 1 $ にまで低減し、$ \mu > 3 $ の場合、Moserの境界40を著しく上回る。
• $ \mu > 3 $ の場合、$ x^0 \in H^\mu $ かつ $ g^0 \in H^\sigma $ で $ \sigma \geq 5\mu - 1 $ ならば、解は $ H^{\mu + \alpha} $ に存在し、$ \|x - x^0\|_{\mu + \alpha} \leq C \|g - g^0\|_{\mu + \delta - 1} $ を満たす。$ \delta $ と $ \alpha $ に関する明示的条件が与えられる。
• $ x^0 $ と $ g^0 $ が滑らかであれば、定理は任意の $ \alpha < \delta - \mu $ に対して $ H^{\mu + \alpha} $ 内で $ C^\infty $ 解の存在を保証し、完全な正則性の回復を示す（$ \delta > \mu > 3 $）。
• 証明では、$ \varepsilon $ が小さいとき、線形化作用素 $ \Pi_N M(x) \Pi_N $ が可逆であり、その逆作用素ノルムが $ \|M(x(\theta))^{-1}\| $ の最小値に依存することを示し、右逆作用素条件が成立することを保証する。