RELLICH引理的新证明

Rellich引理是电磁波相关反问题理论中非常重要的一个结论,该文的目的是给Rellich引理一个全新的证明,主要采用常微分方程的基本理论以及唯一延拓性质等给出了一个相对较为简洁的证明.该证明中分析了相关方程解的性质,对引理更深层的理解有一定的帮助.     

具有冗余机器人安全系统算子的性质

研究了一个包含两个冗余机器人和一个安全装置的系统.运用泛函分析及C_0-半群理论,给出了系统算子是稠定的预解正算子的证明,得出了系统算子谱的性质和其共轭算子及定义域,并证明系统算子的增长界为0.最后运用预解正算子的相关理论,证明系统算子的谱上界也是0.     

非光滑映射的局部满射定理

本文首先将Ivar Ekeland新近证明的一个反函数定理,推广到非光滑映射的情形.以此结果为基础结合线性算子广义逆的稳定性理论给出B.H.Pourciauhas关于非光滑映射的局部满射定理的一个新的证明,新证明方法较原先作者的方法更简洁.     

Darboux定理的一个简短证明

给出了定积分理论中Darboux定理的一个非常简短的证明,指出了可用一个简单例子使学生迅速掌握此证明.     

基于认知负荷理论的中学几何证明习题教学策略研究

认知负荷理论是在工作记忆系统容量的有限性、长时记忆系统储存容量的无限性以及工作记忆处理图式能力基础上的一种优化教学设计的理论.几何证明是中学数学课程标准中重要的主题内容之一.根据认知负荷理论和几何证明教学的特点,从减少内在认知负荷和外在认知负荷出发,探究得出几何证明习题教学的策略有:减少问题所涉及几何定理的交互性;利用几何画板等教学软件实现通道效应;设计几何证明题教学样例时注意数量、质量和顺序.     

Poisson过程分解问题的一个注记

在研究Poisson过程分解问题时,现有文献的证明往往令人费解,本文主要运用极限理论,给出了一个简明易懂的证明.     

关于数学证明方法与算法实现关系的一些探讨

从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出教学中的一些建议.     

两个对称矩阵和的特征根与其乘积的关系及应用

本文主要讨论对称矩阵 A、B的特征根与 AB=0的关系 .这个问题起源于 Craig定理 :设X～ Nn( μ,I) ,则二次型 X′AX与 X′BX独立的充要条件为 AB=0 .利用随机变量的特征函数理论可知 ,本定理证明的关键在于下面的 Craig引理 .这个引理最早由 Craig提出 ,先后有五、六个证明 ,但都有错误 .直到 1 962年才由许宝禄教授在讨论班上对引理给出了一个正确的证明 ,但证明过程仍较复杂 .由于 Craig定理的结论在多元分析理论中有着十分重要的地位 ,也因其论证经历而更加著名 .所以 ,今天对 Craig引理( Craig定理 )的证明仍有意义 .本文对 Craig引理 ( Craig定理 )给出了一个极为简明的证明 ,并得到了其它的重要结论 ,其中结论之一就是著名的有关多个二次型独立的 Cochran定理成了 Craig引理的一个简单推论 .因此 ,本文对 Craig引理的正确、简明、直观的论证 ,特别是独到的论证过程 ,对多元分析理论和对称矩阵理论都有一定的意义     

微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.     

Halmiton-Caylay定理的新证明

基于商空间和不变子空间的有关结果,利用数学归纳法可证明在线性代数理论中占据重要地位的Hamilton-Caylay定理.此法有别于借助多项式矩阵及其伴随矩阵证明该定理的传统方法.     

加权Orlicz-Lorentz鞅空间的原子分解及其应用

本文研究加权Orlicz-Lorentz鞅空间的原子分解理论.利用原子分解方法,获得了加权Orlicz-Lorentz鞅空间的内插理论以及鞅变换算子的有界性证明.上述结果推广了Orlicz和Lorentz鞅空间理论相关结果.     

Kreiss矩阵定理的新证明

熟知,Kreiss矩阵定理在差分法稳定性理论中占有十分重要的位置.定理的证明相当复杂,[2]中收入的证明虽经Morton和Schechter作了适当处理,但是被称为证明核心的(R)?(S)的过程仍然繁琐.本文给出一种简单直观的新证明.在证明回路(A)?(R)?(S)?(H)?(A)中,(A)?(R)和(H)?(A)沿用[2]的证明,一并给出.顺便指出,新证明并不影响[2]中对另一重要定理(Buchanan准则)证明的简化,     

余元公式的另类证法及其应用

首先利用欧拉积分理论,证明余元公式的特殊情形.继而借助正弦函数的无穷乘积展开式及Γ函数定义,证明余元公式的一般情形.最后应用该公式,解决一些按通常方法不易计算的积分问题.     

集与导集数量关系理论的研究

在研究导集理论的基础上,着重引入集与导集之间的数量关系理论.应用集与导集之间的数量关系理论,可极其简单地证明一些著名的定理与结论.     

四次Liénard方程在奇异摄动下极限环的唯一性

Lins-de Melo-Pugh猜想在n=4时已于2012年得到证明,但证明较繁难.本文在奇异摄动框架下对这个结论给出一个简单的证明,借以展示奇异摄动方法在动力系统定性理论研究中的作用,也是本文改进慢发散量积分公式的一个应用.     

例证法与代数簇的包含关系

1986年,洪加威教授发展吴文俊机器证明理论,提出了一类平面几何定理的例证法,这一方法依赖于 Ritt-吴整序原理和吴文俊教授关于升组不可约分解的构造性理论.我们发现例证法适用于证明所有等式型几何定理,即吴几何中的定理.本文应用吴和洪的方法叙述等式型几何定理的例证法,并考虑代数簇的包含关系.目前的讨论仅停留在理论上,这种方法能否用来证明非平凡的几何定理还有待于进一步研究和尝试.     

基于概率检测组合模型的几何定理证明器

以概率性算法代替传统的确定性算法可快速证明复杂度很高的几何定理,可大幅度提高证明效率.对估算多项式中独立变元次数上界的算法进行了改进,并提出三种统计总体的采集标准,分析两种不同的实例检验方法,结合Schwartz-Zippel定理与统计推断理论,建立概率检测组合模型,并在此基础上采用Maple编程语言实现此快速的几何定理证明器——ProbProver.利用ProbProver证明器可在2秒内证明出代数法较难证明的Five Circles定理.最后给出的多组对比实验进一步表明ProbProver证明器具有明显高效性.     

勒贝格积分在数学分析中的一些应用

借助勒贝格积分理论证明勒贝格定理和阿尔采拉定理,继而利用它们解决数学分析中一些以黎曼积分理论不能或不易解决的问题.     

凸函数的两个性质的控制证明

利用受控理论给出有关凸函数的两个性质的新颖而简洁的证明.     

E~n中n维余弦定理和正弦定理的新证明

利用Grassmann代数的理论与方法,给出了n维欧氏空间En中n维单形第二余弦定理一种简单的证明.然后利用第二余弦定理给出了n维单形正弦定理一种新的简单证明.