推导质点组对质心动能定理的一种方法

本文拟从柯尼希定理入手,结合质心运动定理而推导质点组对质心的动能定理.旨在推导中避开了惯性力作功这个复杂的问题,同时又将质点组对固定点的动能定理,质心运动定理以及柯尼希定理联系起来了.     

一般隐函数组定理的证明

在数学分析教材中已有隐函数定理及一般隐函数组定理的证明,文[1]通过压缩映射证明了隐函数定理。借助矩阵范数与向量范数的表示形式,应用Banach不动点定理证明一般隐函数组定理,其证明过程比数学分析教材中原有的证明过程更为清晰、易懂。     

关于算子组本质谱的谱映象定理

本文给出一种算子组本质谱的定义,并证明关于它的谱映象定理。     

拓扑空间中涉及容许集值映象的叠合定理及应用

在非紧的一般拓扑空间中证明了一个涉及容许集值映象的叠合定理.作为应用,证明了一个极大极小不等式、一个截口定理和一个最佳逼近定理.     

对质点组动量矩定理的几点讨论

本文对理论力学教科书中给出的质点组动量矩定理的各种表达式进行归纳,讨论,指出它们间的区别、联系及其使用条件。     

不同条件下的替换定理

给出了向量组不同条件下的替换定理,其证明与经典替换定理证明不同,突出其向量组替换的方法,便于应用。     

带余数除法定理应用的一个注记

利用带余数除法定理,给出根据中国剩余定理求一次同余式组时参数M'i的一个简单求法.     

2×2上三角算子矩阵的A Weyl定理的稳定性

考虑Weyl型定理中的A-Browder定理和A-Weyl定理, 利用拓扑一致降标法得到了: 对任意的C∈B(H), 算子M_C满足A-Browder定理和A-Weyl定理微小紧摄动新的等价条件和判定方法.     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证明     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

拓扑空间内的广义R-KKM型定理及其应用

在没有任何凸性结构的非紧拓扑空间内对具有(转移)紧闭值的广义R-KKM映射建立了某些新的广义R-KKM型定理.作为应用,在拓扑空间内得到了某些极小极大不等式,鞍点定理和具有下和上界的平衡问题的平衡存在性定理.这些定理推广了最近文献中某些已知结果.     

L—凸空间内的连续选择定理和不动点定理及应用

在L-凸空间内证明了某些新的连续选择定理和不动点定理，作为应用，得到了一个新的截口定理，这些定理改进和推广了最近文献中许多已知结果。     

用行列式法证明微分中值定理

微分中值定理是微分学中的基本定理.本文从罗尔中值定理出发,这用行列式理论,不仅证明了拉格朗日中值定理和柯西中值定理,还发现了一些新的结论.     

H-空间内的重合点定理及其应用

作者在没有线性结构的 H-空间内证明了某些重合点定理,推广了江嘉禾,Lassonde,Park,Brow-der,Ben-El-Mechaiekh-Dequire-Granas,Simons,Ko-Tan 和 Takahashi 等人的结果。应用所得的重合点定理,证明了某些新的择一型定理和函数取值于 Riesz 空间的极小极大不等式,推广了 Fan,Park,Las-sonde,Browder,Kim,lohvidov,Bardaro-Ceppitelli 等人的相应结果.     

叠合定理和弱上半连续多值映象的不动点定理

本文对弱上半连续多值映象给出了一个新的叠合定理。由这叠合定理还导出了一些新的不动点定理。     

关于广义倒易定理

将Ｂｅｔｔｉ倒易定理推广有不同本构关系的两变形，提出了非耦联系统的广义倒易定理。当两变形体的体积力、边界力和边界位移都相同时，该定理成为耦联系统的广义倒易定理。当非耦联系统两变形体的本构关系相同且为线弹性时，该定理即成为Ｂｅｔｔｉ倒易定理。同时给出了两个广义倒易定理在弹性力学中的应用。     

某些重合点定理及应用(Ⅰ)

本文在没有线性结构的H-空间中,讨论以往重合点问题中单值连续函数f为集值的情形,得到某些重合点定理,应用这些定理证明了某些匹配定理和H-空间中某些KKM定理,所得结果推广了Jiang,Lassonde,Fan,Park,Bardaro-Ceppitelli等人的结果.     

FC-空间中的KKM型定理及其应用

在FC-空间中证明了一个KKM型定理,并且给出了一个匹配定理,一个不动点定理,一个极大元定理,推广了近期文献中的一些结果.最后作为其应用,得到了对抽象经济和定性对策的平衡存在定理.     

El-Nabulsi模型下非标准Lagrange函数的动力学系统的Noether定理

研究El-Nabulsi模型下基于非标准Lagrange函数的动力学系统的Noether定理.建立了基于指数Lagrange函数和Lagrange函数幂函数等两种非标准Lagrange函数的Hamilton原理,得到了系统的Euler-Lagrange方程;依据Hamilton作用量在无限小变换下的不变性,给出了Noether对称变换与准对称变换的条件,建立了动力学系统基于非标准Lagrange函数的Noether定理.文末举例说明结果的应用.     

关于有限时滞差分系统的比较定理

利用Ｌｉａｐｕｎｏｖ泛函和Ｌａｐｕｎｏｖ函数及Ｒａｚｕｍｉｋｈｉｎ条件,得出了时滞差分系统的若干比较定理．利用这些定理,由无时滞差分方程的一致稳定性、一致渐近稳定性、一致有界性及一致最终有界性等性质可以判定有限时滞差分系统的相应的性质．所得结果丰富了比较定理的内容