[论文解读] The Implicit Function Theorem for continuous functions

Carlos Biasi, Carlos Gutiérrez+1 more|ArXiv.org|Jun 26, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 4

一句话总结

本文为拓扑流形上的连续映射建立了同调版本的隐函数定理，证明了在局部度与开性条件下的连续局部隐函数的存在性。该研究将经典结果推广至无需$C^1$正则性的可微映射，并利用度理论提出了新的同调版本的达布定理。

ABSTRACT

In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of these classic theorems are proved when we consider differenciable (not necessarily C^1) maps.

研究动机与目标

• 通过同调方法将经典隐函数定理推广至拓扑流形上的连续映射。
• 建立在映射非$C^1$时仍存在连续局部隐函数的条件。
• 通过度理论论证，将达布定理推广至连续或可微映射。
• 为具有连续右端项的微分方程提供解存在的充分条件。
• 利用局部度与开性性质统一并推广经典结果。

提出的方法

• 使用整系数奇异同调定义映射在某一点的局部度。
• 通过相对同调群$H_n(X,X\setminus\{x_0\}) \to H_n(Y,Y\setminus\{y_0\})$上诱导同态定义局部度$\deg(f,x_0)$。
• 应用引理3.1，该引理断言：若连续映射在定向流形上存在符号相反的局部度点，则存在一点其局部度为零。
• 假设对每个$x$，$f_x: Y \to Z$是开且离散的，以确保局部度定义良好。
• 利用度条件$|\deg(f_{x_0}, y_0)| = 1$保证$f(x,g(x)) = z_0$的局部可解性。
• 应用皮亚诺定理，从连续隐函数构造微分方程的解。

实验结果

研究问题

• RQ1 在何种条件下，连续映射$f: X \times Y \to Z$允许存在连续局部隐函数$g: V \to Y$，使得$f(x,g(x)) = z_0$？
• RQ2 经典隐函数定理能否推广至拓扑流形上无需$C^1$正则性的连续映射？
• RQ3 如何利用度理论将达布定理推广至连续或可微映射？
• RQ4 局部度在确保具有连续非线性项的微分方程解的存在性中起什么作用？
• RQ5 在无临界点时，可微映射的局部度是否必然保持符号恒定？

主要发现

• 定理4.1在$f_{x_0}$具有$\pm 1$局部度且为开与离散映射时，建立了连续局部隐函数$g: V \to Y$的存在性。
• 推论4.2证明了对于无临界点的可微映射$f: X \times U \to \mathbb{R}^n$（即使非$C^1$），也存在连续隐函数。
• 推论4.3表明，对于连续$F$且在$y$上无临界点的微分方程$F(t,x,x')=0$，可通过连续隐函数获得局部解。
• 定理5.1提供了达布定理的同调版本：若连续映射存在局部度为负与正的点，则必存在一点其局部度为零。
• 推论5.2证明了若可微映射$f: M \to N$满足$\det[f'(x_0)] < 0$且$\det[f'(x_1)] > 0$，则必存在临界点。
• 推论5.5表明，对于可微映射$f: U \to \mathbb{R}^n$，若在两点处特征多项式具有奇数与偶数重数，且在$\alpha$处符号相同，则$\lambda$接近$\alpha$时，必存在某点$x_2$使得$\lambda$为特征值。