用区域收缩算法构造证明大范围隐函数定理

本文用区域收缩算法给出了大范围隐函数定理的构造证明,其结果包含了文[1]的结论,从而肯定回答了区域分析方法可以著名的隐函数存在定理给出构造性证明.     

用区域收缩算法构造证明大范围隐函数定理

本文用区域收缩算法给出了大范围隐函数定理的构造证明，其结果包含 了文[1]的结论，从而肯定回答了区域分析方法可以对著名的隐函数存在定理给出构造性证明。     

一般隐函数组定理的证明

在数学分析教材中已有隐函数定理及一般隐函数组定理的证明,文[1]通过压缩映射证明了隐函数定理。借助矩阵范数与向量范数的表示形式,应用Banach不动点定理证明一般隐函数组定理,其证明过程比数学分析教材中原有的证明过程更为清晰、易懂。     

用压缩映射原理证明较弱条件下的隐函数存在定理

在多元微积分中,隐函数存在定理及其证明是十分重要的内容,但隐函数存在定理的证明所需要的条件较强。本文提出了较弱条件下的隐函数存在定理,并且利用压缩映射原理给出证明,从而填补了较弱条件下的隐函数存在定理的证明方法,具有一定的方法论价值。     

隐函数存在的充分必要条件

采用状态方程的级数解形式分析系统能控性,它的关键是隐函数存在的判别问题。但常用隐函数存在性定理不满足能控性分析的需要。从常用隐函数存在性定理出发,放宽对隐函数唯一、连续、连续可微等性质的限制,利用解析函数的性质将其展拓,得到广义隐函数存在的充分必要条件和广义隐函数的分布特征。它是定常解析非线性系统弱能控充要条件的证明和受控对称性分析的基础,并在定常非线性系统的能控性分析中得到应用。     

隐函数存在定理及隐函数组定理的一个证明方法

利用不动点定理证明隐函数存在定理及隐函数组定理。     

隐函数存在定理证明方法探讨

隐函数存在定理是数学分析和高等代数中的一个重要定理,但是隐函数存在定理的证明是一个较为复杂,不易被学生理解和掌握的定理。本文给出了三种证明方法,并对其证明方法进行了比较,文章分别利用零点定理、压缩映射原理、多元微分中值定理证明了隐函数存在定理,并对其证明方法进行了比较。     

人工神经网络与小波变换

相应于人工神经网络逼近非线性系统问题引入了一种亲的小波变换并研究了其性质，作为推论，给出了Ｌｐ范数下定理的一个构造性证明。     

非线性映射的局部线性化

我们知道在有限维分析中有重要的反函数定理，隐函数定理及秩定理，在无穷维Ｈｉｌｂｅｒｔ空间中，当ｆ为非线性Ｆｒｅｄｈｏｌｍ映射时，文「１」中给出了类似于限维体操 一个秩定理，本文将讨论当ｆ业般非线性连续呆微映射时，ｆ在某一点可局部线性化的充分条件，从而推广了有限维分析中的反函数定理，隐函数定理及秩定理。     

向量函数隐函数定理之新证明

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.     

向量函数隐函数定理之新证明（英文）

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.     

对函数零点个数的几个判别准则

对于函数零点个数为奇数个的问题已经有了许多研究。本文基于Ｓｍａｌｅ定理对函数的零点和不动点个数为偶数的问题进行了一些研究，给出了三个判别定理，并且这些定理的证明是构造性的，可沿同伦道路求出零点。此外，还给出了一个例子。     

关于拉格朗日和柯西中值定理的一个证明和注记

对于微分中值定理的证明,高等数学教材或数学分析教材一般都是用设辅助函数的办法,《美国数学月刊》在近年里有一种构造性的证明被刊登,本文作者则采用旋转变换的这一简洁办法。同时文中给出了微分中值定理的一个更广义的结论。     

不确定非仿射非线性时滞系统的神经网络自适应控制

针对一类不确定非仿射非线性时滞系统,提出了一种神经网络的自适应控制器.利用隐函数定理、泰勒展开式和中值定理,把非仿射非线性时滞系统转化为仿射非线性时滞系统,同时利用神经网络可逼近任意非线性函数的能力,结合误差滤波理论及Young不等式处理时滞项.根据Lyapunov理论,在一定的条件下,给出了系统稳定的充分条件,并给予证明.该控制器保证了跟踪误差收敛,从而说明了该控制器的有效性.     

浅析不动点原理应用

本文介绍了不动点原理即压缩映射原理及其在积分第一中值定理,隐函数存在定理的证明方面的应用。     

Lebesgue分解定理和Radon-Nikodym定理的构造性证明

本文的主要结果是借助于Hahn分解定理给出了Lebesgue分解定理和Radon-Nikodym定理的一种构造性证明。     

Poincare-Miranda定理的推广

给出Poincare-Miranda定理的一个推广，给出满足该定理条件的集值映射的零点的单纯同伦算法和定理的构造性证明，并证明此定理与Kakutani不动点定理等价。     

带有有区别参数的光滑映射芽关于I-P-K-等价的余维估计与奇异型

用与证明传统隐函数定理类似的方法,给出了带有有区别参数的光滑映射芽在I-P-K-等价关系下的隐函数定理及余维估计定理,得到了对带有有区别参数的光滑映射芽的奇异型进行分类的方法,从而为研究Clairaut型常微分方程与偏微分方程的分支问题提供了理论依据.     

带有有区别参数的光滑映射芽关于I-P-K等价的余维估

用与证明传统隐函数定理类似的方法, 给出了带有有区别参数的光滑映射芽在I-P-K等价关系下的隐函数定理及余维估计定理, 得到了对带有有区别参数的光滑映射芽的奇异型进行分类的方法, 从而为研究Clairaut型常微分方程与偏微分方程的分支问题提供了理论依据.     

三元函数条件极值的充分条件

对三元函数条件极值的充分条件进行了讨论,通过对三元函数条件极值的充分条件的研究,改进了原定理中的条件。得出了一个更加宽松条件下的结论,并利用隐函数定理给予了证明。