拉格朗日中值定理的证明

微分中值定理是微分学的基本定理,它的证明一直是大家关注的研究对象。通过三个不同的角度给出了中值定理三种不同的证明方法,拓宽了中值定理证明的思路。     

关于半鞅的可料表示性

利用鞅空间H1的泛函表示定理、泛函分析中的Hahn-Banach定理、半鞅向量随机积分的Girsanov定理,获得了半鞅可料表示性的特征。由于使用的是半鞅的向量随机积分,它推广了经典的结论。     

Hamilton系统辛算法的Nekhoroshev稳定性分析

研究辛算法应用于Hamilton系统时的Nekhoroshev稳定性，利用辛映射的插值定理，得到了辛算法的插值定理，进而把它应用到凸Hamilton系统，得到了辛算法的Nekhoroshev稳定性，即辛算法在指数长时间内的稳定性。     

一个新的组合恒等式及其证明

本文以定理的形式提出一个新的组合恒等式。它是在恒虚警算法研究和性能分析中经常遇到的恒等式。对此,文中给出详细的证明。在证明过程中,我们还提出了有关该定理在实际中可以直接应用的3个引理和2个推论。     

广距空间及其不动点定理

本文用一种可交换、可结合和单调不减的二元运算取代通常距离空间的三角不等式中的求和运算,建立了一种广义距离空间,简称广距空间;研究了这种空间的拓扑结构,给出了它的完备化定理;并在相当广泛的条件下建立了完备的广距空间上的压缩型映象的不动点定理.     

非线性算子及其导算子的几点注记

非线性算子和它的导算子是泛函分析研究中的主要对象。本文对[1]书中若干定理作了较大的改进。     

《微分中值定理》教学设计

微分学中值定理包括费马定理、罗尔中值定理、拉格朗日中值定理和柯西中值定理。用发现法讲授这组定理,可以使学生体验发现真理的乐趣,学习解决问题的策略。提高发现问题、分析问题、解决问题的能力。文给出了用发现法讲授微分中值定理的一种教学设计．本文给出用发现法讲授微分中值定理的另一种教学设计。     

Loeb 空间上的拟鞅提升及分解定理

本文通过非标准随机分析方法得到了标准拟鞅提升定理,并构造了非标准拟鞅的分解定理,然后再通过下推方法得到了标准拟鞅的一个分解定理。     

关于(S)_+型映射的一个区域不变定理及其应用

本文运用拓扑度方法,获得一个关于(S)_+型映射的区域不变定理。作为它的应用,本文得到了扩张映射的满值性,从而部分地回答了著名数学家L.Nirenberg提出的一个关于扩张映射满值性的公开问题。     

三角形周长等分定理及应用

给出了三角形周长二等分定理。几何分析和数学推导,均证明了所给定理的正确性。利用该定理可以实现三角形的周长二等分的作图。     

基于混沌遮掩法和孙子定理的口令验证方案

提出一种高保密性的口令验证方案,它把基于孙子定理的口令验证方法运用于基于混沌遮掩法的保密通信系统中,使保密通信系统具有更高的安全性。     

两个积分中值定理内点性的新证明

积分第一中值定理和第二中值定理是定积分理论中两个十分重要的定理,近年来关于其内点性的讨论非常广泛。首先根据连续函数的介值定理,用一种新方法证明积分第一中值定理的内点性;然后提出一个实例,说明积分第二中值定理在通常条件下不具有内点性;最后利用定积分存在的充要条件和Abel变换的手段,证明积分第二中值定理在加上一个非常一般化的条件时具有内点性。     

Malliavin唯一性定理的一个推广

改进了Malliavin在半平面上关于解析函数的唯一性定理,得到复分离条件下Phragmen-Lindelf定理离散情形的一个推广。     

两指标强鞅的停止定理

给出了两指标强鞅关于停线的停止定理及加强形式的Doob停止定理。     

条件适定性及其差分类比

讨论了各种适定性和它们之间的关系,给出ι适定性的差分类比,证明了一个类似于Lax等价定理的定理。     

中国剩余定理探析

“中国剩余定理”是中国传统数学中关于一次同余式理论的一项杰出成就,它源于中国数学典籍《孙子算经》中的“物不知数”问题,秦九韶在《数书九章》(1247)中将这一问题发展为求解一次同余式组的一般方法,称为“大衍总数术”。西方人直到1801年才由高斯明确写出这一定理,随后西方著作就把一次同余式组的这一解法称为“中国剩余定理”。     

Tychonoff定理的又一个证法

本文给出了Tychoncff 定理的又一个证法。在证明中,我们基于Zorn 引理,利用紧空间的等价命题之一——任一网都有丛点——来证明的。首先,我们引进了万有同的概念,并给出了一个例子。其次,我们证明了万有网的几个性质(即引理1,2,3,4)。最后,我们证明了一般拓扑学中著名的定理——Tychonoff 定理。     

积分展开定理及其应用

本文推证了一个积分展开定理。根据这个定理,一个闭区间上定义的具有展成泰勒级数条件的函数,可以在一个特定的基函数上展开,而其展式的系数总含有这个函数在该区间上的多重积分。然后给出一个将该定理应用于制导的例子。     

微分中值定理的n阶导数形式及其应用

本文阐述行列式函数及其求导法则,并借此给出拉格朗口是定理的一种证明方法,进而指出并推导了微分中值定理的ｎ阶导数形式。     

一种循环队列的判定定理

首尾相接的循环队列是一种动态的数据结构。本文给出了在并发进程环境下,使用循环队列的判定定理,本定理已在银河机软件实现中得到应用。