LAGRANGE'S THEOREM FOR A CLASS OF NONHOLONOMICSYSTEMS AND ITS APPLICATION

The stability problem for the manifold of equilibrium positions of a class of nonholonomic systems is studied is studied in this paper .Based on Liapunov's direct method and the definition of stability , Lagrange's theorem of holonomic systems is extended to a class of nonholonomic conservative systems and dissipative systems ,and a new expression is made to the relation between asymptotic stability for the manifold of equilibrium positions of this class of nonholonomic systems and dissipative forces .Twoexamples are finally given to illustrate the application of the theorems .

第一积分中值定理中间点的渐近性质

得到了第一积分中值定理中间点渐近性质的主要结果。

高等数学教学中几个问题的探讨

在高等数学的教学中,发现几个值得思考的问题,比如有的定理不完整;有的定理证明过程不严格;有的定理虽然正确,但是使用起来不太方便.针对这些问题,将结合自己的教学实践和教学认识,给出自己的一点看法.

一个重要极限的证明策略

极限理论是数学分析中研究函数的重要工具,是学好高等数学的理论基础之一,而函数极限limx→0sixn x=1是高等数学中常用到的一个重要极限。综合运用不同知识,给予证法比较,以期有助于复习巩固所学知识,从而提高教学质量。

函数凸性判定定理的证法及应用

利用拉格朗日中值定理、函数的单调性及泰勒中值公式给出了凸函数一个定理的三种新的证明方法,还给出了定理的一个推论。

微分中值定理的推广

用Schwarz导数的概念 ,把罗尔定理、拉格朗日定理和柯西定理做出改进和推广 .

关于Taylor定理的余项

讨论了利用微分中值定理“中间点”的渐近性，改进Taylor公式的问题；证明了在f（x0＋h）的Taylor公式中，用中间点ξ的渐近值x0+Ah替换余项中的ξ，可以得到一个推广的Taylor公式，而且推广后公式的余项中的中间点η也有渐近性．同时，证明了“中间点”渐近性的递推性，给出了一个更一般的结果（定理二）．

一类可非线性控制系统的降维观测器设计与仿真

论文主要研究为一类Lipschitz非线性系统设计全维和降维观测器.基于微分中值定理和一个重要的矩阵不等式,研究了这类非线性系统观测器存在的充分条件,并且以线性矩阵不等式的形式给出,所得结论至少是已有文献的补充.此外,获得的充分条件要比文献中这类非线性系统降维观测器的设计方法要减少保守性.同文献[1]相比,避免了解高阶线性矩阵不等式,而且线性矩阵不等式的可解性也更优于已有文献中矩阵不等式的可解性.最后,仿真算例验证了结论的有效性.

2-致光滑且2-致凸Banach空间上的下半连续函数的Proximal次微分与广义中值定理

证明在 2 -致光滑且 2 -致凸 Banach空间 X上 ,一般下半连续函数的逼近中值定理在 Proximal次微分意义下也成立。

一类函数列的积分中值点的渐近性

主要探讨了非负连续严格单调函数列的积分中值点的渐近性,得到了函数列积分中值点的几个渐近性定理.

对数核Toader平均的Schur凸性和Schur几何凸性

为了研究对数核Toader平均Lr（a,b）在R（＋＋）2上的Schur凸性和Schur几何凸性,利用控制不等式的相关理论得到结论：当r≥1/2时,Lr（a,b）在R（＋＋）2上是Schur凹函数;当r≥0时,Lr（a,b）在R（＋＋）2上是Schur几何凸函数;当r≤0时,Lr（a,b）在R（＋＋）2上是Schur几何凹函数,最后,依据Lr（a,b）的Schur凸性和Schur几何凸性建立了新的不等式.