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

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

拉格朗日中值定理的证明

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

微分中值定理的几何直观表现

学过高等数学的人都能说出罗尔定理、拉格朗日定理、柯西定理的条件和结论,但对于这些定理证明过理中所引进的辅助函数是如何构造出来的?如何将中值定理推广到更一般的形式等问题?都不一定清楚.本文就从几何的角度讨论这两个问题.     

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

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

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

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

关于C.Cowen和J.Long定理的注记

利用次正常算子的特征,给出Ｃ．Ｃｏｗｅｎ和Ｊ．Ｌｏｎｇ定理一个纯算子演算的证明,此定理是否定回答Ｈａｌｍｏｓ第５问题的关键,其原始证明用的是复杂的函数论技巧,而本文用不同的方法给出了上述定理的一个简洁证明．     

利用函数的性质证明不等式

<正>本文利用函数的极值、单调性和凸性,证明了几个重要不等式.一、利用函数的极值证明不等式引理1:设m≤x≤M,则成立不等式-x~2-mx+(m+M)x≥0证明:当m=M时,(1)中等式显然成立.下设m相似文献   

一阶非线性脉冲边值问题解的存在性

研究一阶非线性脉冲周期边值问题，应用微分不等式和Schaefer不动点定理，得到了脉冲边值问题解存在的充分性判据，并给出了相应的Green函数。     

利用詹森不等式推广几个数学问题

詹森（Jensen）不等式是解决不等式问题的一个重要方法，也是发现数学问题的重要手段。运用詹森不等式的关键是通过观察所给代数式的函数特征，构造一个凹或凸的函数，以利解题。     

具有变号非线性项的三点边值问题的正解

首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。     

饱和系统的线性最优容错不变集

针对饱和系统的容错控制问题,提出了一种D稳定约束下系统吸引域的估计方法。分别以不变集和参考集的容量为优化目标,给出了两个优化容错不变集的充分条件。为解决不变集优化中出现的双线性矩阵不等式(BMI)问题,通过构造包含线性矩阵不等式(LMI)的目标函数,将它转化为非线性规划的形式进行求解。通过一个仿真实例对该方法进行验证。     

一类具有变时滞系统的α稳定性

本文对线性变量滞系统进行讨论,通过利用Lyapunov函数的方法和线性矩阵不等式,给出了该系统的一个充分条件。并对线性控制系统稳定性的应用有一定的影响。     

Tychonoff定理的又一个证法

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

积分展开定理及其应用

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

一个平凡解的稳定性定理的改进

利用K类函数改进了马尔金定理的一个结论（即在非注定系统中，若相关的定正函数V和定负函数V1满足limt→∞(dV/dT-V1)=0，则系统有稳定的平凡解），得到一个非驻定系统平凡解的稳定性定理，并通过实例说明本文给出的定理可以判别其平凡解的稳定性，而用马尔金定理的结论失效。     

一类非线性系统的自适应模糊反推近似滑模控制

针对一类含有未知非线性函数项和外界干扰的不确定纯反馈非线性系统,提出了一种自适应模糊反推近似滑模变结构控制方法。采用中值定理和隐函数定理使未知非仿射输入函数拥有显式的控制输入,利用模糊系统逼近未知非线性函数,动态面控制技术解决了反推设计中出现的"微分爆炸"问题。所提出的自适应近似滑模控制方案削弱了传统滑模控制中的抖振现象。从理论上证明了所设计的控制器能够保证闭环系统所有信号半全局一致终结有界。仿真算例验证了算法的有效性。     

一类模糊多目标双矩阵对策的粒子群优化算法

针对一类具有模糊目标的多目标双矩阵对策给出了基于粒子群优化的求解算法.讨论了当模糊目标的隶属函数是线性函数时纳什均衡解的判定定理;构造的粒子群优化算法,通过随机初始点以及迭代粒子的归一化,保证粒子群始终保持在时策的可行策略空间内,避免了在随机搜索中产生无效的粒子,提高了用粒子群优化算法求解纳什均衡解的计算性能.给出的一个数值算例验证了该算法的有效性.     

二元Edwards曲线的半分算法

利用二元Edwards曲线加法公式的对称性得到可做半分的公式.在推导半分算法过程中曲线参数有两种情况:d1≠d2和d1=d2.当曲线参数d1≠d2时,利用和Weierstrass曲线的双有理等价关系、迹函数和半迹函数,得到了Edwards曲线的半分算法.而当曲线参数d1=d2时,给出了定理证明,虽然在这种情况下倍加公式更简单,但半分算法反而更复杂.进一步分析了半分算法的效率,指出虽然在二元Edwards曲线上可以进行半分运算,但目前半分算法的效率仍然比不上倍加方法.利用ω一坐标简化半分算法并应用在标量乘计算上.     

无线网络控制系统一致性研究

通过构建李雅普诺夫函数,对具有不同拓扑结构的无线网络控制系统的一致性问题进行了研究。利用网络结构的邻接矩阵对网络拓扑结构进行描述,同时构造系统的延迟矩阵,结合复杂网络理论中的聚类系数、耦合强度的概念,对系统进行建模。针对复杂网络中常用的两种结构,构建不同的邻接矩阵和延迟矩阵,利用线性矩阵不等式的方法,给出使系统稳定的一般性条件。最后仿真结果验证了方法的有效性。     

基于领导跟随一致性理论的队形保持策略

针对多无人机编队飞行过程中的队形保持问题,提出了二阶非线性切换拓扑结构下的领导跟随一致性控制协议。利用构建的利亚普诺夫函数和线性矩阵不等式给出了判据及相应的稳定性证明。仿真结果表明利用所设计的领导跟随一致性控制协议,可有效实现多无人机在相同速度下保持期望的队形协同飞行。