Gram矩阵在不等式中的应用

利用了Gram矩阵G(x1,x2,…,xn)的半正定性,首先研究了Gram矩阵在绝对值最大值内积空间和积分平均内积空间中的应用,然后研究了Gram行列式Γ(x1,x2,…,xn)与Γ(xi)的不等式关系.最后通过改变Ostrowski不等式的条件,得到了空间中两个向量的内积所满足的不等式.     

基于正定二次型的一个不等式及其证明

发现并证明了一个基于单纯形和正定二次型的不等式,并给出了这个不等式的一些应用实例.这个不等式用来研究多重混料系统Scheffe模型结构最优设计问题.     

基于三阶泰勒展开逼近目标函数的无约束最优化算法

针对基于二阶泰勒展开逼近目标函数精度低的牛顿法优化问题,研究基于三阶泰勒展开逼近目标函数的最优化算法意义明确,算法归结为多元二次方程组的求解,应用非线性方程组的牛顿法求解,在目标函数中加入二次函数辅助项,提出两个改进的最优化算法,改进的算法1可保证牛顿法的雅可比矩阵非奇异,改进的算法2可保证牛顿法的雅可比矩阵正定,所提出的无约束最优化算法可推广到高阶泰勒展开情形,数值分析例验证了所提出的最优化算法的有效性.     

基于随机梯度下降算法实现对环上量子游走的动态完全控制

寻找如何实现幺正量子操作是量子计算领域的基本问题，主要研究通过环上的离散时间量子游走实现任意幺正量子操作的可能.首先推广引入了特殊的环上的离散时间量子游走模型，并对模型实现任意量子操作的有效性进行了探讨.对于两量子比特的量子系统，给出了通用量子门集合与量子傅里叶变换的构造解.由于高维情况构造解较难精确给出，引入机器学习中常用的随机梯度下降算法，得以在高维系统近似实现所需要的幺正量子操作.此外，如对算法进行进一步微调，可以在位置空间上的实现任意的幺正量子操作以及两结果半正定算子测量.在高维情况下，这意味着通过控制两能级的硬币系统即可控制位置空间上大型系统，从而实现小系统对大系统的间接完全控制.这些任务的完成表明，基于随机梯度下降算法可以实现对整个环上量子游走过程的动态完全控制.     

矩阵方程X＋A^TX^—1A=1的正规亚正定解

推导出矩阵方程Ｘ＋Ａ＾ＴＸ＾－１Ａ＝Ｉ有正规亚正定解的充要条件,从而得到了它的反问题有解的充要条件及其解的一般形式,并给出其解的谱半径估计。     

两个正定Hermite矩阵间的一种半正定关系

本文证明了两个交换ｎ阶正定Ｈｅｒｍｉｔｅ矩阵Ａ≥Ｂ的如下半正定Ｈｅｒｍｉｔｅ关系：１８（Ａ－Ｂ）２Ｂ－１≥１２（Ａ＋Ｂ）－（ＡＢ）１２≥１８（Ａ－Ｂ）２Ａ－１且等号成立的充要条件为Ａ＝Ｂ     

正定正规矩阵

通过研究,得到了正定正规矩阵的若干等价命题,并得到了正定正规矩阵Kronecker积的一些性质。     

关于广义正定矩阵的进一步研究

证明了广义正定矩阵的一些性质,并对《非对称广义正定矩阵定义的再推广》（东北师大学报（自然科学版）,１９９５（４）：２６）一文中的结论提出了异议,对文中的必要条件进行了讨论。     

关于Bellman不等式的注记

本文证明了关于矩阵迹的七个命题:1.trAB≤(trA~2)~(1/2)·(trB~2)~(1/2),A′=A,B′=B,且等式成立A=kB 或B=kA(k≥0)。2.(tr(A+B)~2)~(1/2)≤(trA~2)~(1/2)+(trB~2)~(1/2),A′=A,B′=B.且等式成立A=kB 或B=kA(k≥0)。3.trAB≤tr((A+B)/2)~2,A′=A,B′=B,且等式成立A=B。4.trA~2≤(trA)~2,A 半正定,且等式成立rk(A)≤1。5.trAB≤(trA)(trB),A,B 半正定,且等号成立(?)A=0或B=0或A=kB(k>0)且rk(A)=rk(B)=1。6.tr(AB)~2≤trA~2B~2,A′=A,B′=B,且等式成立AB=BA。7.tr(AB)~2≤(trAB)~2其中A,B 为正定阵.A=TT′,B=QQ′,且等号成立rk(C)≤1,其中C=(T′Q)(T′Q)′。     

拟线性抛物型方程边值问题差分方程解的存在与惟一

数值求解拟线性抛物型偏微分方程边值问题通常可归结为解非线性方程组,非线性方程组解的存在与惟一性是解方程组的前提．为此,用差分方法建立了数值求解一类拟线性抛物型方程边值问题的非线性方程,根据同胚理论得到了该方程组解存在与惟一的结果,并通过具体例子给予了说明．