[論文レビュー] Finite order differentiability properties, fixed points and implicit functions over valued fields

Helge Glöckner|ArXiv.org|Nov 8, 2005

Fixed Point Theorems Analysis参考文献 27被引用数 24

ひとこと要約

本稿は、可除体上の位相線形空間からバナッハ空間への $C^k$-写像に対して、可除体上の位相線形空間からバナッハ空間への一般化された陰関数定理を確立する。メトリシティの仮定を必要とせず、微分可能性の次数を損なわず、一般化された陰関数定理を構築する。そのために、一様な収縮写像族における固定点の $C^k$-依存性を証明し、従来の制限を回避する新たな証明戦略を採用する。この戦略により、$k \geq 2$ の場合、局所解が $C^k$-滑らかであることが保証される。主たる貢献は、非アーベル的および実数／複素数設定における陰関数の統一的枠組みを提供し、微分可能性を完全に保持する点にある。

ABSTRACT

We prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of contractions of a Banach space. Similar results are obtained for k times strictly differentiable maps, and for k times Lipschitz differentiable maps. In the real case, our results subsume an implicit function theorem for Keller C^k_c-maps from arbitrary topological vector spaces to Banach spaces.

研究の動機と目的

• 可除体上の任意の位相線形空間からバナッハ空間への $C^k$-写像に対する陰関数定理を一般化し、メトリシティや微分可能性の次数の損失といった従来の仮定を排除する。
• バナッハ空間における一様な収縮写像族に対する固定点のパラメータ依存性が $C^k$-性質を示すことを確立し、主たる結果の基盤を提供する。
• 微分可能性の高次のクラスである $SC^k$ および $LC^k$ を導入・利用することで、標準的な $C^k$ よりも強力な微分可能性性質を陰関数に与える。
• 実数／複素数および非アーベル的設定における既存の陰関数および逆関数定理を統合・拡張し、特にケラーの $C^k_c$-理論の文脈で有効である。

提案手法

• パラメータ依存収縮写像に基づく新しい技術的枠組みを用いて、バナッハ空間における一様な収縮写像族に対する固定点の $C^k$-依存性を証明する。
• 微分可能性クラスとして $C^k$、$SC^k$（厳密微分可能）、$LC^k$（リプシッツ微分可能）の3つを導入・分析し、$LC^k \Rightarrow SC^k \Rightarrow C^k$ の包含関係を示す。
• 主要な技術的道具としてリプシッツ逆関数定理を導出し、これを固定点構成に応用することで、一般化された陰関数定理を導出する。
• パラメータ依存収縮写像 $g_x$ の固定点として陰関数 $\lambda(x)$ を構成し、固定点の $C^k$-依存性を活用して $\lambda$ が同じ微分可能性クラスを有することを保証する。
• 局所的パラメータ化戦略を用いる：$f(x,y) = 0$ に対して $g_x(y) = y - f_{x_0}^\prime(y_0)^{-1} f(x,y)$ を定義し、$\lambda(x)$ を $g_x$ の固定点とみなす。その後、固定点依存性定理を適用する。
• 完全な可除体、局所コンパクト体、有限次元の像空間、超距離体の設定に応用する。有限次元性の下では $C^1$-写像に対しても結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 可除体上の任意の位相線形空間からバナッハ空間への $C^k$-写像に対して、メトリシティを仮定せず、陰関数定理を一般化できるか？
• RQ2 バナッハ空間における一様な収縮写像族に対して、固定点のパラメータ依存性が $C^k$-性質を示すか？この性質を用いて陰関数定理を証明できるか？
• RQ3 無限次元の像空間では従来、微分可能性の次数が1つ損なわれる現象が観察されたが、この損失を陰関数定理で回避できるか？
• RQ4 $SC^k$ および $LC^k$ のような微分可能性の高次のクラスは、標準的な $C^k$-写像とどのように関係し、陰関数の文脈でどのような利点を提供するか？
• RQ5 有限次元の設定において、任意の可除体または局所コンパクト可除体上の $C^1$-写像に、結果をどの程度まで拡張できるか？

主な発見

• 可除体上の位相線形空間からバナッハ空間への $C^k$-写像に対して、一般化された陰関数定理が成り立つ。解 $\lambda$ は、入力写像 $f$ と同じ $LC^k$ または $SC^k$ の微分可能性クラスを保持する。$k \geq 2$ の場合に成立する。
• バナッハ空間における一様な収縮写像族に対して、固定点のパラメータ依存性が $C^k$-性質を示すことが確立され、固定点写像 $p \mapsto x_p$ は族 $f_p$ の微分可能性クラスをそのままで継承する。
• 定義域空間のメトリシティを要件とせず、無限次元の像空間においても微分可能性の次数が1つ損なわれる現象を回避し、$C^k$-方程式に対して $C^k$-解を保証する。
• 有限次元の像空間（$\dim F < \infty$）を有する局所コンパクト体上では、$C^k$-写像に対し、メトリシティを仮定せずとも陰関数定理が成り立ち、$\lambda$ は $C^k$-滑らかである。
• 有限次元の設定では $C^1$-写像に対しても結果が拡張される。任意の可除体上および超距離体上での $C^1$-写像に対し、$F$ が有限次元で標準位相を備える限り、陰関数定理が成り立つ。
• 本フレームワークは、ケラーの $C^k_c$-理論および解析の便利な設定における既存の結果を統合・一般化し、非アーベル的および実数／複素数設定における陰関数の整合的な理論を提供する。