[论文解读] On global inverse and implicit functions

Olivia Gutú|arXiv (Cornell University)|Aug 27, 2015

Advanced Differential Geometry Research参考文献 39被引用 3

一句话总结

本文建立了非负指标非线性弗雷德霍姆算子在巴拿赫空间之间全局逆函数定理，通过涉及满射指标的度量条件，将哈达玛积分条件推广至无穷维情形。证明了对于一个次浸入映射 $ f $，若 $ \varrho(r) = \int_0^r \eta(\rho)\,d\rho $，其中 $ \eta(\rho) $ 由满射指标定义，则 $ B_{\varrho}(f(x_0)) \subset f(B_r(x_0)) $，在度量控制下确保局部可逆性可全局扩展。

ABSTRACT

Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between infinite-dimensional Banach-Finsler manifolds, which are the focus of this work. Emphasis is given to the nonlinear Fredholm operators of nonnegative index between Banach spaces. The results are based on good local behavior of $f$ at every $x$, namely: $f$ is a local homeomorphism or $f$ is locally equivalent to a projection. The general structure includes a condition that ensures a global property for the fibres of $f$, ideally, expecting to conclude that $f$ is a global diffeomorphism or equivalent to a global projection. A review of such these results and some relationships between different criteria are shown. Also, in this context, a global version of Graves Theorem is obtained.

研究动机与目标

• 将哈达玛的全局逆定理推广至无穷维情形，特别是巴拿赫空间之间的非线性弗雷德霍姆算子。
• 建立确保局部同胚或次浸入映射为全局微分同胚或全局投影的充分度量与拓扑条件。
• 通过估计半径 $ \varrho(r) $ 提供格雷夫斯定理的全局版本，使得 $ B_{\varrho}(f(x_0)) \subset f(B_r(x_0)) $ 成立，其中 $ \eta(\rho) $ 为满射指标。

提出的方法

• 使用满射指标 $ \eta(\rho) = \inf_{\|x-x_0\|=\rho} \text{Sur}\,df(x) $ 定义全局可逆性的度量条件。
• 通过 $ df $ 的局部Lipschitz右逆 $ s $ 应用路径提升性质，构造满足 $ \partial_t q = s(q)w $ 的半流 $ q(t,x,w) $。
• 采用基于沿路径延拓局部逆的单值性论证，确保局部逆的全局延拓。
• 施加条件 $ \int_0^r \eta(\rho)\,d\rho = \varrho(r) $，以确保 $ f $ 在球 $ B_r(x_0) $ 上的像包含球 $ B_{\varrho}(f(x_0)) $。
• 依赖巴拿赫-芬斯勒流形的完备性及解对初值的连续依赖性，确保半流 $ q(t,x,w) $ 的最大存在性。
• 使用反证法证明：当 $ t \in [0,1) $ 时，半流保持在 $ B_r(x_0) $ 内，且若 $ |w| < \varrho(r) $，解可超越 $ t=1 $ 延拓，与最大性矛盾。

实验结果

研究问题

• RQ1 在何种度量与拓扑条件下，巴拿赫-芬斯勒流形之间的局部同胚为全局微分同胚？
• RQ2 能否通过满射指标 $ \eta(\rho) $ 将哈达玛积分条件推广至无穷维情形？
• RQ3 对于次浸入映射 $ f $，使得 $ B_{\varrho}(f(x_0)) \subset f(B_r(x_0)) $ 的精确半径 $ \varrho(r) $ 是什么？其与满射指标有何关联？
• RQ4 条件 $ \int_0^r \eta(\rho)\,d\rho = \varrho(r) $ 如何通过路径提升与半流延拓确保全局可逆性？
• RQ5 在全局逆定理中，帕莱斯-斯梅尔条件或类似紧致性准则在多大程度上可被度量条件替代？

主要发现

• 本文证明：若 $ \eta(\rho) = \inf_{\|x-x_0\|=\rho} \text{Sur}\,df(x) $，则 $ \varrho(r) = \int_0^r \eta(\rho)\,d\rho $ 满足 $ B_{\varrho}(f(x_0)) \subset f(B_r(x_0)) $，从而提供格雷夫斯定理的全局版本。
• 当 $ |w| < \varrho(r) $ 时，路径 $ p(t) = f(x_0) + tw $ 可被提升为 $ B_r(x_0) $ 中的路径 $ q(t,x_0,w) $，确保 $ f(q(1,x_0,w)) = f(x_0) + w \in f(B_r(x_0)) $。
• 半流 $ q(t,x,w) $ 对所有 $ t \in [0,1) $ 存在，且满足 $ f(q(t,x,w)) = f(x) + tw $，只要 $ |w| < \varrho(r) $，就有 $ d_X(q(t,x,w),x_0) < r $ 对所有 $ t \in [0,1) $ 成立。
• 若 $ \eta(r) > 0 $，解保持在 $ B_r(x_0) $ 内，且最大区间 $ J(x_0,w) $ 延伸至 $ t=1 $ 之外，若 $ b(x_0,w) \leq 1 $，则与最大性矛盾。
• 当 $ \eta(r) = 0 $ 时，仍可通过取 $ r' < r $ 使得 $ \eta(r') > 0 $ 进行逼近，令 $ \varrho(r) = \int_0^{r_0} \eta(\rho)\,d\rho $，其中 $ r_0 = \sup\{\rho > 0 : \eta(\rho) > 0\} $，结论仍成立。
• 满射指标 $ \eta(\rho) $ 作为有限维情形中雅可比行列式下界的度量推广，使得哈达玛型定理可推广至无穷维情形。