毕卡逐次逼近法在定理证明中应用.docVIP

毕卡逐次逼近法在定理证明中的应用 摘要 本文用毕卡逐次逼近法及数学分析知识，证明“隐函数存在定理”和一阶方程初值问题解的非局部存在性定理。 一·毕卡逐次逼近法证明隐函数存在定理 定理1· 设满足下列条件： （I）在上连续； （II）（通常称为初始条件） （III），恒有； （IV）在D上 ：即对D上任意两点，不等式 ……（1） 恒成立，L是与和无关的正常数（）。 则在区间唯一确定一个隐函数，满足。这个函数在上连续可微。其中 ……（2） ……（3） 证明：若在上能唯一确定可导的隐函数，则有,方程两边对x求导，得 。 由，得 。 因此，在上能确定唯一可导的隐函数，等价于初值问题 ……（*） 在上有唯一解。 简记 ，下面分4段证明之。 （1） 构造一个近似解的序列。 用 ……（4） 代替