[論文レビュー] Implicit functions from topological vector spaces to Fréchet spaces in the presence of metric estimates

Helge Glöckner|ArXiv.org|Dec 22, 2006

Stability and Controllability of Differential Equations参考文献 34被引用数 11

ひとこと要約

本稿は、Fréchet空間への$C^k_{\text{c}}$-写像について、部分微分の微分作用素に度合い推定条件を課したもとで、Fréchet空間におけるパラメータ依存固定点理論を用いて、暗黙関数定理を確立する。主な貢献は、Müllerの度合いアプローチを暗黙関数に一般化し、彼の逆写像定理を包含するとともに、Fréchet空間における常微分方程式の解の存在、一意性、パラメータ依存性に関する結果を得ることである。

ABSTRACT

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on the partial differentials. As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of contractions of a Frechet space. The investigations were stimulated by a recent metric approach to differentiability in Frechet spaces by Olaf Mueller. Our results also subsume generalizations of Mueller's Inverse Function Theorem for mappings between Frechet spaces. As an application, we prove existence and uniqueness of solutions to suitable ordinary differential equations in Frechet spaces, and study their dependence on initial conditions and parameters.

研究の動機と目的

• Banach空間を超えてFréchet空間へ暗黙関数定理を拡張する、度合いに基づく微分積分学フレームワークの構築。
• Tamenessやグレーディング条件を回避することで、Nash-Moser定理の制限を克服する。
• 無限次元設定における解のパラメータに関する$C^k$-依存性を確立する。
• Fréchet空間におけるMüllerの度合い逆写像定理を統一的かつ一般化する。
• 結果を、Fréchet空間における常微分方程式の解の存在、一意性、滑らかなパラメータ依存性に応用する。

提案手法

• 距離空間間のリプシッツ連続線形作用素を用いて、Fréchet空間上での度合い微分積分学を形式化する。
• $\mathcal{L}_{d,d'}(E,F)$を、$d$-$d'$-リプシッツ線形写像の空間と定義し、完備な距離位相を備える。
• Fréchet空間における収縮写像族の固定点がパラメータに関して$C^k$-依存することを証明する。
• 作用素の微分可能性を解析するため、合成写像$\Gamma$、左/右移動$\lambda$、$\rho$、および準逆写像$q$を用いる。
• $\mathcal{L}_d(E)$における評価写像と逆写像が連続であり、それが単位元の開部分群をもつ位相環であることを確立する。
• 微分の度合い推定を満たすことを確認することで、Fréchet空間における常微分方程式に暗黙関数定理を適用する。

実験結果

リサーチクエスチョン

• RQ1 Tamenessやグレーディング条件を要件とせず、Fréchet空間において暗黙関数定理を確立できるか。
• RQ2 $C^k_{\text{c}}$-写像に対して、暗黙関数定理が成立するための微分作用素における度合い条件は何か。
• RQ3 度合い推定のもとで、Fréchet空間における固定点のパラメータに関する$C^k$-依存性はどのように振る舞うか。
• RQ4 Müllerの度合い逆写像定理を暗黙関数やより広いクラスの写像へ一般化できるか。
• RQ5 Fréchet空間における常微分方程式の解の存在、一意性、滑らかなパラメータ依存性を保証する条件は何か。

主な発見

• 部分微分の度合い推定を満たす$C^k_{\text{c}}$-写像について、Fréchet空間への写像に対して暗黙関数定理を確立した。
• $\mathcal{L}_{d,d'}(E,F)$は、評価写像と可逆元がなす開部分群を備えた完備な距離空間をなす。
• $\mathcal{L}_d(E)$上の合成写像$\Gamma$と逆写像$q$は$MC^\infty$-滑らかであり、高階微分可能性を可能にする。
• 暗黙関数定理により、Fréchet空間における常微分方程式の解がパラメータに関して$C^k$-依存することを示した。
• 結果は、Müllerの$MC^1$-写像に関するFréchet空間における逆写像定理を包含・一般化する。
• 本手法は、局所凸でないFréchet空間における常微分方程式にも適用可能であり、古典的結果をBanach空間の枠を超えて拡張する。