实二次型的半正定性及应用

讨论了实二次型的半正定性，介绍了其在证明不等式中的应用。尤其是证明一般的初等不等式，对如何用高等数学方法解决初等数学问题作了一点尝试。     

二次型判别的一个方法

为判别二次型,引入矩阵的初等保号变换,根据其保号等价矩阵的主对角线元素的符号,可直接判别二次型的类型.     

用初等变换法判断实二次型的类型

利用初等变换法,将实二次型的矩阵化为对角矩阵,即得到实二次型的一个标准形,从而就可以判断实二次型的类型。     

实系数二次型标准化算法及编程

ｎ阶实对称矩阵总可以化为与自身合同的对角矩阵，而且这种转化可以经过有限步操作完成，据此，得到系数二次型的标准化算法。     

状态二次型线性最优控制

本文研究一类性能指标中没有能量项,且控制是受约束的线性二次型最优控制问题,证明了两个分别适用于状态矩阵为稳定阵和非稳定阵的定理。按照本文给出的结果,最优控制是开关型的,而且容易在实时控制中实现。     

用初等变换法判断实二次型的类型

引入初等合同变换,将实对称矩阵化为对角矩阵,得到实二次型的一个标准形,从而可以用初等合同变换来判断实二次型的类型。同时也给出了正（负）定二次型的一个必要条件和不定二次型的一个充分条件。该方法易于理解,简单实用,计算量小。     

二次型正定性的判别与证明

通过给出五种不同的方法来判别二次型正定性的,从而更好的解决问题.     

正定矩阵基与正交矩阵基及其应用

给出了正定矩阵基与正交矩阵基；证明了每个实二次型都可由基本正定二次型唯一线性表出，以及欧氏空间上的每个线性变换都可由基本正交变换唯一线性表出。     

利用二次贝齐尔函数的一维优化算法

本文利用贝齐尔函数良好的保型性质,将它作为拟合函数,构造了一个一维优化算法。数值实验表明,对于高度非线性的目标函数,新算法具有很强的适应性,比同类算法更有效。     

实部半正定矩阵反问题

讨论了一类实部半正定矩阵反问题 ,得到了此类矩阵反问题有解的充分必要条件及通解的表达式 ;并就这类矩阵的最佳逼近问题进行了讨论 ,得到了解的存在唯一性     

一类具有状态约束的线性二次最优控制问题

研究具有状态积分不等式约束的线性二次控制问题，证明了最优控制的存在性和唯一性，推导出最优控制的反馈形式。     

多元正态线性模型中一个估计是最优非负二次估计的条件

考虑多元线性模型_nY_p=X_1BX_2~′+■ε～N_(np)(0,I■∑).∑~*是∑的一定意义下的最小二乘估计.对指定的非负定阵C,本文给出了tr(C∑~*)是tr(C∑)的一致最小方差非负二次无偏估计的充要条件.     

误差方差的非齐次二次型容许估计——具有共同均值的增长曲线模型

在二次损失函数下，研究了增长曲线模型误差方差的非齐次二次型估计的可容许性问题。并得到了一类非齐次二次型估计可容许的充要条件。     

矩阵A~TBA=ABA~T的充要条件

给定半正定矩阵B,考虑矩阵可交换问题A惨BA=ABA惨.运用矩阵分解的方法,给出了满足上述要求的矩阵的一个充要条件.     

Sasakian空间形式中具有平行平均曲率向量的C-全实子流形的刚性定理

讨论了Sasakian空间形式中具有平行平均曲率向量的C-全实子流形,得到了紧致的C-全实子流形的一个刚性结果.