用Schur分拆证明一类含参数的不等式

利用对称多项式的Schur分拆方法,以及单变元多项式实根隔离算法,证明了一个不等式猜想.并将这一方法用于处理一类含有参数的有理对称不等式.     

实轮换对称型及其半正定性判定的可读证明

可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.     

一类对称函数不等式的控制证明

本文利用控制不等式理论证明一类对称函数不等式     

两个轮换对称不等式猜想的证明

文[1]提出了四个不等式猜想,其中的猜想1和猜想2已分别在文[2]和[3]中解决．在本文中,笔者将给出猜想3和猜想4的证明．     

两族孪生对称不等式的证明

应用Karamata不等式和凸函数的性质,证明了两族孪生对称不等式.     

具有半对称度量联络的复空间型中全实子流形的Chen型不等式

In this paper, we obtain Chen＇s inequalities for totally real submanifolds in complex space forms with a semi-symmetric metric connection. Also, some results of A. Mihai and C. Ozgiir＇s paper have been modified.     

代数不等式的分拆降维方法与机器证明

利用双变元对称型所构成实线性空间的特点,设计了一种特殊形式的基,基中元素是非负的.如果一个元在此基下的坐标非负,则该元自身也是非负的.于是要证明某个元非负将被归结为证明其在指定基下的坐标非负.通常坐标中的变元数,少于原对称型的变元数,从而起到了降低维数的作用.对非对称型,可通过对称化转换为对称型来处理.根据该方法编制了Maple通用程序Bidecomp.虽此方法并非完备的,但大量的应用实例表明了此种方法证明多项式型不等式的有效性.     

一类对称函数的Schur凸性与应用

对x=（x₁,x₂,…,x_n）∈R₊ⁿ及r∈{1,2,…,n},定义了对称函数F_n（x,r）=F_n（x₁,x₂,…,x_n;r）=∑_1≤i12…r≤n(∏₍j=1 x_ij/₁+x_ij^1/r,其中i₁,i₂,…,i_n是正整数.本文讨论了F_n（x,r）的Schur凸性、Schur几何凸性和Schur调和凸性,并借助于控制理论建立了若干不等式.     

构造曲线的切线证明两类对称不等式

不等式形式的优美与证明的苦涩成就其成为数学研究中永恒的话题,笔者在教学中研究发现在一些特定的条件下,通过曲线与直线的相互转化证明不等式可以收到事半功倍的效果.     

对称线性互补问题的乘性Schwarz算法

本文提出了求解对称性互补问题的乘性Schwarz算法,其中子问题用投影迭代方法求解.利用投影迭代算子的性质及投影迭代的收敛性,证明了算法产生的迭代点列的聚点为原互补问题的解,并在一定条件下,证明算法产生的迭代点列的聚点存在.     

Symmetric-Triangular Decomposition and its Applications Part I: Theorems and Algorithms

A new decomposition of a nonsingular matrix, the Symmetric times Triangular (ST) decomposition, is proposed. By this decomposition, every nonsingular matrix can be represented as a product of a symmetric matrix S and a triangular matrix T. Furthermore, S can be made positive definite. Two numerical algorithms for computing the ST decomposition with positive definite S are presented.     

实对称矩阵在相合分解下的Moore-Penrose型广义逆的通式

1引言与符号说明对m×n矩阵A,下列矩阵方程：(1)AXA=A,(2)XAX=x,(3)(AX)~T=AX,(4)(XA)~T=XA称为Penrose方程．如果X满足上述方程(i)(j),…(k),则称X为(ij…k)逆,其全体记为A(ij…k)．(1234)逆常记为A~ ．所有这种矩阵叫广义逆(矩阵)或Moore- Penrose型逆(矩阵)．广义逆矩阵在许多数学领域有广泛应用．它在解矩阵方程中的作用     

从一道习题的推广看矩阵的标准形理论

通过一道简单习题的多重推广,串联起了实对称阵与实反对称阵的正交相似标准形理论.     

子空间上的对称正定及对称半正定阵的左右特征值反问题

文[1][2][3]中讨论AX＝B的对称阵逆特征值问题,文[4][5][6]中讨论了半正定阵的逆特征值问题。本文讨论了空间了子空间上的对称正定及对称半正定阵的左右特征值反问题,给出了解存在的充分条件及解的表达式。     

Symmetric-triangular decomposition and its applications part II: Preconditioners for indefinite systems

As an application of the symmetric-triangular (ST) decomposition given by Golub and Yuan (2001) and Strang (2003), three block ST preconditioners are discussed here for saddle point problems. All three preconditioners transform saddle point problems into a symmetric and positive definite system. The condition number of the three symmetric and positive definite systems are estimated. Therefore, numerical methods for symmetric and positive definite systems can be applied to solve saddle point problems indirectly. A numerical example for the symmetric indefinite system from the finite element approximation to the Stokes equation is given. Finally, some comments are given as well. AMS subject classification (2000) 65F10     

矩阵方程XTAX=B的一类反问题

1引言 本文用Rn×m表示所有n×m实矩阵全体;SR0n×n表示所有n阶实对称半正定矩阵全体;In表示n阶单位矩阵;A-,A+分别表示矩阵A的一个广义逆和Moore-Penrose广义逆;A≥0表示A为对称半正定矩阵;Sn=(en,en-1,…,e1)∈Rn×n,其中ei为单位阵In的第i列; [n/2]表示不超过n/2的最大整数.     

对称部分为半正定的方阵

所有ｎ阶具有半正定对称部分的方阵的集合记作ＰＳＤｎ．本文给出了ＰＳＤｎ中方阵在合同下的标准形以及ＰＳＤｎ中两个方阵合同的一个充要条件,并给出了ＰＳＤｎ中一个方阵及其对称部分与斜对称部分的主子式间的一个不等式．     

L(m,3)的对称链分解

对称链是一种特殊的偏序,用它已经得到了许多非常漂亮的结果.如果一个偏序集可以分解成不相交的对称链之并,则称此偏序集具有对称链分解.但目前已证明具有这种分解的偏序集并不多.L(m,n)＝{(x₁,x₂,…,x_n)|x_i均为整数且0≤x₁≤x₂≤…≤x_m≤n},序关系≤定义为:X=(x₁,x₂,…,x_m<     

Association Schemes of Quadratic Forms and Symmetric Bilinear Forms

Let X _n and Y _n be the sets of quadratic forms and symmetric bilinear forms on an n-dimensional vector space V over , respectively. The orbits of GL _n( ) on X _n × X _n define an association scheme Qua(n, q). The orbits of GL _n( ) on Y _n × Y _n also define an association scheme Sym(n, q). Our main results are: Qua(n, q) and Sym(n, q) are formally dual. When q is odd, Qua(n, q) and Sym(n, q) are isomorphic; Qua(n, q) and Sym(n, q) are primitive and self-dual. Next we assume that q is even. Qua(n, q) is imprimitive; when (n, q) (2,2), all subschemes of Qua(n, q) are trivial, i.e., of class one, and the quotient scheme is isomorphic to Alt(n, q), the association scheme of alternating forms on V. The dual statements hold for Sym(n, q).