广义极分解

本文使用下列符号:C~(m×n)表示m×n复矩阵的集合,C_r~(m×n)表示秩为r的m×n复矩阵的集合,A~H和A~+分别表示矩阵A的共轭转置和Moore-Penrose广义逆,|| ||_2表示向量的Euclid范数和矩阵的谱范数,|| ||_F表示Frobenius范数,R(A)表示A的列     

关于极点配置的一点注记

§1.引言 首先说明几个符号.R~(m×n)是所有m×n实矩阵的全体,R_r~(m×n)是R~(m×n)中秩为r的矩阵的全体,R~n=R~(n×1);A~T是矩阵A的转置,I~((n))是n×n单位矩阵,O是零矩阵;λ(Λ)是矩阵A的特征值的全体,|| ||_2是向量的欧氏范数和矩阵的谱范数,|| ||_F是矩阵的Frobenius范数; N(·)表示零空间.     

等式约束加权线性最小二乘问题的解法

1 引言 在实际应用中常会提出解等式约束加权线性最小二乘问题 min||b-Ax||_M,(1.1) x∈C~n s.t.Bx=d, 其中B∈C~(p×n),A∈C~(q×n),d∈C~p,b∈C~q,M∈C~(q×q)为Hermite正定阵. 对于问题(1.1),目前已有多种解法,见文[1—3).本文将利用广义逆矩阵的知识,给出(1.1)的通解及迭代解法.本文中关于矩阵广义逆与投影算子(矩阵)的记号基本上与文[4]的相同.例如,A~+表示A的MP逆,P_L表示到子空间L上的正交投影算子,λ_(max)(MAY)表示矩阵M~(1/2)AY的最大特征值.我们还要用到广义BD逆的概念: 设A∈C~(n×n),L为C~n的子空间,则称A_(L)~(+)=P_L(AP_L+P_L⊥)~+为A关于L的广义BD逆.     

关于Kahan定理的一个注记

设A∈C~(n×n),B∈C~(k×k)均为Hermite矩阵,它们的特征值分别为{λ_j}_(j=1)~n和{μ_j}_(j=1)~k(k≤n);Q∈~(n×k)为列满秩矩阵.令 (1) 则存在A的k个特征值λ_(j_2),λ_(j_2),…,λ_(j_k),使得 (2) 其中σ_k为Q的最小奇异值,||·||_2表示矩阵的谱范数.这是著名的Kahan定理·1996年曹志浩等在[2]中将(2)加强为 (3) 这是Kahan的猜想.在本文中,我们讨论将Kahan定理中“B为k阶Hermite矩阵”改为B为k阶(任意)方阵后,特征值的扰动估计,有以下结果. 定理 设A∈C~(n×n)为Hermite矩阵,其特征值为{λ_j}_(j=1)~n,B∈C~(k×k)的特征值为{μ_j}_(j=1)~k,而Q∈C~(n×k)为列满秩矩阵.则存在A的k个特征值λ_(j_1),λ_(j_2),…,λ_(j_k),使得     

G.W.STEWART一个待解问题的肯定回答

本文用凸分析基本方法给出Stewart待解问题一个肯定回答。使用下述记号.‖‖_2代表向量的2-范数或矩阵的谱范数;σ_(min)(C)表示矩阵C的最小奇异值,σ_(min)~+(C)代表矩阵C的最小非零奇异值;R(X)表示矩阵X的列空间;M表示集合M的闭包;λ_(min)(H)表示Hermite阵H的最小特征值。此外     

矩阵特征值的几个扰动定理

1 引言 设A∈C~(n×m),B∈C~(m×m)(m≤n),它们的特征值分别为{λ_k}_(k=1)~n和{μ_k}_(k=1)~m.令 R=AQ-QB (1)这里Q∈C~(n×m)为列满秩矩阵.Kahan研究了矩阵A在C~(n×m)上的Rayleigh商的性质,证明了下列定理:设A为Hermite矩阵,Q为列正交矩阵,即Q~HQ=I,而B=Q~HAQ,则存在 1,2,… ,n的某个排列π,使得 {sum from j=1 to m │μ_j-λ_(π(j))│~2}~(1/2)≤2~(1/2)‖R‖_F (2)其中R如(1)所示,‖·‖_F为矩阵的Frobenius范数.刘新国在[2]中将此定理推广到B为可对角化矩阵的情形,并且还建立了较为一般的扰动定理:设A为正规矩阵,B为可对角化矩阵;存在非奇异矩阵G,使得G~(-1)BG为对角阵,则存在1,2,…,n的某个排列π,使得 │μ_j-λ_(π(j))│≤2(2~(1/2))nK(G)_(σ_m~(-1))‖R‖_F,j=1,2,…,m. (3)     

线性流形上Hermite-广义反Hamilton矩阵反问题的最小二乘解

1.引言 令Rn×m表示所有n×m实矩阵集合,Cn×m表示所有n×m复矩阵集合,Cn=Cn×1,HCn×n表示所有n阶Hermite矩阵集合,UCn×n表示所有n阶酉矩阵集合,AHCn×n表示所有n阶反Hermite矩阵集合,R(A)表示A的列空间,N(A)表示A的零空间,A+表示A的Moore—Penrose广义逆,A*B表示A与B的Hadamard积,rank(A)表示矩阵A的秩.tr(A)表示矩阵A的迹.矩阵A,B的内积定义为(A,B)=tr(BHA),A,B∈Cn×m,由此内积诱导的范数为||A||=√(A,A)=[tr(AHA)]1/2,则此范数为Frobenius范数,并且Cn×m构成一个完备的内积空间,In表示n阶单位阵,i=√-1,记OASRn×n表示n×n阶正交反对称矩阵的全体,即     

非齐次对称特征值问题

引言 用SR~(n×n)表示所有。n×n实对称矩阵的集合。R~n表示n维线性空间。||·||_2表示向量的Euclid范数或矩阵的谱范数。 本文研究如下问题: 问题ISEP 给定矩阵A∈SR~n×n和向量b∈R~n,求实数λ和向量X∈R~n使得 AX=λX+b, (1) ||X||_2=1. (2) 若b=0,则问题ISEP就是通常的实对称矩阵特征值问题,若b≠0,则问题ISEP称为非齐次对称特征值问题,使(1)和(2)式成立的数λ和向量X分别称为非齐次特征值和相应的非齐     

伪谱的边界曲线及其跟踪算法的步长控制

1 引言 1990年L.N.Trefethen为度量矩阵的非正规性引入了矩阵的伪谱,对于任意的ε≥0,矩阵A∈C~(n×n)的ε-伪谱定义为 ∧_ε(A)={z:z∈σ(A △A),||△A||≤ε},其中σ(·)表示矩阵的特征值集合(谱集合),||·||表示矩阵的2-范数。利用预解式(zI—A)~(-1),     

实对称矩阵的两类逆特征值问题

§gi.两类逆特征值问题先说明一些记号.R~(m×n)是所有m×n实矩阵的全体,R~n=R~(n×1),R=R~1;SR~(n×n)是 所有n×n实对称矩阵的全体;OR~(n×n)是所有n×n实正交矩阵的全体;I~((n))是n阶单位矩阵;A~T是矩阵A的转置;A>0表示A是正定的实对称矩阵.?(A)是矩阵A的列空间;A~+是矩阵A的Moore-Penrose广义逆;P_A=AA~+表示到?(A)的正交投影.λ(A)是A的特征值的全体;λ(K,M)是广义特征值问题K_x=λM_x的特征值的     

一类特殊分布纪录值之和的中心极限定理

摘要：设{X，Xn,n≥1)为独立同分布的服从某连续分布F的随机变量序列，X^(1)=X1，X^(2),X^(3),…为其纪录值序列．令ψ(u)=F^-1(1-e^-u)．其中F^-1是F的反函数．本文研究当ψ(u)=log^pu时Tn=∑k=1^nX^(k)=^dn∑k=1^nψ(Sn)的极限性质．解决了户为所有正整数时Tn的中心极限定理．     

一类pnm阶群的构造

本文研究了一类特殊的pnm阶有限群的构造.利用求解数论同余方程的方法和群的扩张理论,得到了具有m阶循环正规子群,其补子群为循环群的Pnm阶有限群的构造及相关的计数定理.     

COMPARISON OF PRODUCTS OF THE VARIETIES OF LIE ALGEBRAS

Abstract

In Fortes (2001), we introduced a notion of order for associative pairs and we obtained a Goldie-like characterization of left orders in a semiprime pair coinciding with its socle. In this paper, we take up again that notion of order to establish a Faith-Utumi theorem, which studies left orders in a prime pair coinciding with its socle.     

ADDITIVE FAMILIES OF INVARIANTS OF FORMS OF DEGREE d

Abstract

Let d be a positive integer, and F be a field of characteristic zero. Suppose that for each positive integer n, I _n, is a GL _n,(F)- invariant of forms of degree d in x₁, …, x _n, over F. We call {I _n} an additive family of invariants if I _p+q (f ⊥ g) = I _p(f).I _q(g) whenever f; g are forms of degree d over F in x _l, …, x _p; …, x _q respectively, and where (f ⊥ g)(x _l, …, x _p+q) = f(x ₁, …, x _p,) + g (x _p+1, …, x _p+q). It is well-known that the family of discriminants of the quadratic forms is additive. We prove that in odd degree d each invariant in an additive family must be a constant. We also give an example in each even degree d of a nontrivial family of invariants of the forms of degree d. The proofs depend on the symbolic method for representing invariants of a form, which we review.     

小康判别函数的建立与分析

近几年，国内在研究小康水平的定量指标分析中，应用较多的有综合评分法、层次分析法和模糊识别法。这几种方法比单项指标更全面、灵活，但在权数的确定上都难以克服人为因素的影响。当指标之间存在两个或两个以上的高度相关时，对问题的研究总存在一定的局限性。为了科学地研究小康问题，本文基于判别分析，建立城市小康的判别系数，来综合评价出我国城市小康水平的定量标准。     

ESTIMATES OF N-FUNCTION AND m-FUNCTION OF MEROMORPHIC SOLUTIONS OF SYSTEMS OF COMPLEX DIFFERENCE EQUATIONS

We apply Nevanlinna theory of the value distribution of meromorphic functions to study the properties of Nevanlinna counting function and proximity function of meromorphic solutions of a type of systems of complex difference equations. Our results can give estimates on the proximity function and the counting function of solutions of systems of difference equations. This implies that solutions have a relatively large number of poles. It extend some result concerning difference equations to the systems of difference equations.     

一类线性微分方程解的零点分布

一、引言关于 k 阶线性常微分方程解的零点分布,S.Bank,G.Frank 和 I.Laine 最近证明了如下的结果.