非完整Lagrange系统的Poincare方程

以时间、广义坐标和速度特征函数构成的扩充约束运动空间为基础，讨论描述约束性质的微分向量场和确定沿系统运动的时间变化的微分向量场的性质，从相应的Ｊｏｕｒｄａｉｎ原理，导出了具有任意Ｌａｇｒａｎｇｅ函数的非完整Ｌａｇｒａｎｇｅ系统的Ｐｏｉｎｃａｒｅ方程．     

等约束条件下多元函数条件极值的充分条件

等约束条件下多元函数极值的充分条件问题通常是采用二阶微分法来判断,该方法原理虽然简单,但计算量大,尤其是随着变量和约束条件个数的增加,要计算出d2 L并判断出其符号就显得更加困难而不可行。文章用Lagrange乘数法、多元隐函数求导法以及有条件极值化无条件极值的方法推导证明了多元函数极值的充分条件,并给出易于计算且切实可行的方法和定理,从不同的角度做出了理论的探索与尝试。     

双值约束三次规划问题的全局最优性充分条件

利用拉格朗日函数L-次微分的方法,给出了双值约束的三次极小化问题的全局最优性充分条件,而且得到了此类三次规划问题在一些特殊情况下的结果,与已有文献中的相应结论是一致的;同时给出例子说明给出的最优性条件能有效用于确定给定的三次极小化问题的全局极小值;所得结果改进和推广了相关文献中的相应结果.     

非线性泛函差分系统的吸引域

讨论了具有无穷时滞的泛函差分系统的吸引域,利用谱半径ρ小于１的含参非负矩阵及属于ρ的特征子空间给出了确定这类系统吸引域的充分条件。     

用广义高阶导数刻画集值优化ε-严有效解

在实赋范线性空间中讨论了集值优化问题ε-严有效解的广义高阶导数型最优性条件.利用广义高阶切集,在没有任何凸性假设下,借助基泛函及ε-严有效解的性质,得到了集值优化问题ε-严有效解的广义高阶导数型的必要和充分条件.     

带有二次约束的一类特殊三次规划问题的全局最优性充分条件

利用拉格朗目函数和L次微分的方法,研究了带有二次约束的一类特殊三次规划问题的全局最优性条件。首先刻画出该类三次规划问题的拉格朗日函数的抽象次微分,从而得到了带有二次约束的三次规划问题的全局最优性充分条件。最后举例说明如何利用本文所给出的全局最优性充分条件来判定当前可行解就是全局最优解。     

Armijo线搜索下谱共轭梯度法全局收敛的一个充分条件

在一般假设下,提出并证明了Armijo线搜索下谱共轭梯度法全局收敛的一个充分条件,分析了充分条件的优越性。分析结果表明:1)该充分条件的一个推论是文献[9]中定理1弱化后的结果;2)谱参数对谱共轭梯度法的全局收敛性起着重要的调节作用;3)该充分条件为构造全局收敛的谱共轭梯度法提供了依据。     

关于支撑泛函唯一的充分条件

<正> 关于实或复的Banach空间 X的单位球面 S,对任一x_0∈S,都存在支撑泛函。陈道琦给出了支撑泛函唯一的一个充分条件,得到     

有限M—群的若干充分条件

本文利用ＩＯＭ一群的方法证明：若有限群Ｇ的每一子群和因子群为Ａｚ－群或Ａｂｅｌ群,则Ｇ为Ｍ－群;Ｇ既是ＩＯＭ－群又是Ａｚ－群,则Ｇ为Ｍ－群又是Ａｚ一群,则Ｇ为Ｍ－群,同时还证明出其它若干结论,简化了一些Ｍ－群中经典结论的证明。