一般隐函数组定理的证明

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

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

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

全局性隐函数定理及其应用

得到两个全局性隐函数定理:定理1设D_1是第一可数的拓扑空间E_1的开子集.D_2是Banach空间E_2的开子集.映象f:(?)_1×(?)_2→Y(?)E关于第一变元连续且满足条件:1°|f(x,y_1)-f(x,y_2)|≤L(x)|y_2-y_1|.Ax∈(?)_1.y_1.y_2∈D_2.其中Y=D_2或D_2=Y=E_2,L(x)<1.L:(?)_1→R~+连续.则方程f(x.y)=y有连续解y:(?)_1→Y,即f(x.y(x))=y(x).(?)x∈(?)_1.定理2 设f:(?)_1×(?)_2→C((?)_2)满足条件:1°d(f(x,y_1).f(x,y_2))≤k|y_2-y_1|.(?)x∈(?)_1.y_1.y_2∈(?)_2.其中k<1是常数.d(·,·)表示:对有界闭子集A_1,A_2(?)(?)_2d(A_l,A_2)=sup{|y_1-y_2||y_1∈A_1,y_2∈A_2}2°(?)y∈(?)_2,多值映象,f(·,y)弱下半连续.C((?)_2)为(?)_2的有界闭凸子集类.则包含方程y∈f(x,y)有连续单值解y;(?)_1→(?)_2即y(x)∈f(x,y(x)) (?)x∈(?)_1还给出了对随机映象不动点存在性的一个应用.     

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

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

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

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

隐函数定理的一个推广及其应用

对数学分析中的隐函数定理进行了适当的改进，使它的适应范围有所扩大。     

t-P-K-等价的隐函数定理与余维估计

证得光滑映射芽在t-P-K-等价关系下的隐函数定理,并对其余维进行估计.所得结果可为对具有区别参数的光滑映射芽的分类研究提供有力工具,也可成为讨论完全可积微分方程芽分支的基础.     

隐函数存在定理的两个推广

利用解析函数和矩阵分析知识,得到了解析函数隐函数存在定理和矩阵函数存在定理，推广了已有的结果。     

多元函数最大值,最小值的一个判定方法

从Ｒ＾ｎ→Ｒ＾ｎ同胚映射的角度研究了多元函数最大值、最小值问题，获得了相应的判定定理（充分条件）。     

运用几何画板解读隐函数存在性定理

本文从隐函数定义出发,运用《几何画板》的图形动画功能,直观且动态地解读隐函数存在性定理,说明图形直观在辅助教学方面有重要作用。     

中值定理证明中辅助函数构造法及其比较

本文作者结合教学实践总结了微分中值定理证明中辅助函数的各种构造法,并对其进行了比较。     

K.Fan逼近定理的推广

由于Ｋ．Ｆａｎ定理具有深刻的理论意义和广阔的应用前景。二十多年来，人们不断从各个角度进行推广和改进，结果不断深化。本文引入半闭１－集压缩映象这一更为广泛的映象，给出相应于这种映象的Ｋ．Ｆａｎ定理的若干结论。     

角域内解析函数的一个定理

设f(z)在角域Ω=Ω(α,β)={z|α相似文献   

积分C－半群及其谱映射定理

第一节在没有指数有界的假设条件下，讨论了积分Ｃ－半群的一些性质，以及积分Ｃ－半群与Ｃ－半群的关系，推广了［５，定理２］。第二节讨论了积分Ｃ－半群的谱映射定理。主要结果如下：设Ａ为积分Ｃ－半群｛Ｔ（ｔ）｝的生成元，ρｃ（Ａ）≠Φ，则（ｉ）ｔ＞０（ｉｉ）（ａ）反之，若存在ｘ∈Ｘ，ｘ≠０，使得对任何ｔ＞０那么，（Ａ）。（ｂ）若（Ａ），则对任何ｔ＞０，ｔ（Ｔ（ｔ）Ｃ－１）。反之，若对任何ｔ＞０，ｔ（Ｔ（ｔ）Ｃ－１），且存在Ｘ∈Ｘ，Ｘ≠０，使得Ｔ（ｔ）Ｃｘ＝ｔＸ，则，０（Ａ）（ｉｉｉ）｛（ｔ）。     

一类分数阶微分方程解的存在性

研究一类分数阶微分方程的边值问题.首先给出了格林函数及其简单性质,其次运用Schauder抉择定理和Banach压缩映射原理给出该问题存在唯一解的充分条件,最后推广已有的某些结果.     

关于亚纯函数唯一性的一个定理

本文证明了定理:设f(z)和g(z)是两个非整函数的亚纯函数,如果0,∞是f(z)和g(z)的两个CM分担值,1是f_((z))~((n))和g_((z))~((n))的一个CM分担值,且 那么f_((z))~((n))·g_((z))~((n))≡1或者f(z)≡g(z) (n∈/N)