输出反馈极点配置问题的一个算法

在线性多变量控制理论中,存在一个代数特征值反问题——输出反馈极点配置问题。问题叙述如下: 问题PAO.给定A∈R~(n×n),B∈R_m~(n×m),C∈R_p~(p×n)和?={λ_1,λ_2,…,λ_n},?在复共轭下封闭.求K∈R~(m×p),使得A+BKC具有事先给定的特征值λ_1,λ_2,…,λ_n。 [2]和[5]等证明了     

状态反馈极点配置问题的一个新算法

§1.引言 极点配置问题是控制理论中的一个重要的问题,描述如下: 问题(P1).给定A∈R~(n×n),B∈R~(n×m),Λ={λ_1,λ_2,…,λ_n},Λ在复共轭下封闭.求F∈R~(m×n),使得     

关于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),使得     

具有左、右特征向量及特征值约束下逆特征值问题

§1 问题的提法R~(n×m)表示所有 n×m 阶实阵集合,(A)表示矩阵 A 的列空间,A~+表示 A 的 Moore-Penrose 广义逆,P_A=AA~+表示到(A)的正交投影核子;I_n 表示 n 阶单位阵,‖·‖_F 表示 Frobenius 范数。问题Ⅰ给定X,Y∈~(n×m),Λ=diag(λ_1,λ_2,…,λ_m)∈R~(m×m),找 A∈R~(n×m),使得问题Ⅱ给定 A~*∈R~(n×n),找∈S_E,使得‖A~*-‖_F=‖A~*-A‖_F,其中 S_E是问题Ⅰ的集合。本文讨论问题Ⅰ有解的充分与必要条件,且求出 S_E的表达式,同时给出的表达式。     

实对称矩阵广义特征值反问题

本文研究如下实对称矩阵广义特征值反问题: 问题IGEP,给定X∈R~(n×m),1=diag(λ_II_k_I,…,λ_pI_k_p)∈R~(n×m),并且λ_I,…,λ_p互异,sum from i=1 to p(k_i=m,求K,M∈SR~(n×n),或K∈SR~(n×n),M∈SR_0~(n×m),或K,M∈SR_0~(n×n),或K∈SR~(n×n),M∈SR_+~(n×n),或K∈SR_0~(n×n),M∈SR_+~(n×n),或K,M∈SR_+~(n×m), (Ⅰ)使得 KX=MXA, (Ⅱ)使得 X~TMX=I_m,KX=MXA,其中SR~(n×n)={A∈R~(n×n)|A~T=A},SR_0~(n×n)={A∈SR~(n×n)|X~TAX≥0,X∈R~n},SR_+~(n×n)={A∈SR~(n×n)|X~TAX>0,X∈R~n,X≠0}. 利用矩阵X的奇异值分解和正交三角分解,我们给出了上述问题的解的表达式.     

PROBLEM OF EQUALITIES IN EIGENVALUE INEQUALITIES FOR PRODUCTS OF POSITIVE SEMIDEFINITE HERMITIAN MATRICES

Let A∈C~(m×n),set eigenvalues of matrix A with |λ_1 (A)|≥|λ_2(A)|≥…≥|λ_n(A)|,write A≥0 if A is a positive semidefinite Hermitian matrix, and denote∧_k (A)=diag (λ_1(A),…,λ_k(A)),∧_((n-k).(A)=diag (λ_(k+1)(A),…,λ_n(A))for any k=1, 2,...,n if A≥0. Denote all n order unitary matrices by U~(n×n).Problem of equalities to hold in eigenvalue inequalities for products of matrices was     

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

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)     

解广义特征值反问题的同伦方法

1.引言 我们讨论下列广义特征值反问题: (G)已知B是n×n阶对称半正定矩阵,λ=(λ_1,…,λ_(2n-1))~T∈R~(2n-1),且{λ_i}~(n_3),和{λ_i}_(n+1)~(2n-1)严格交错。问题是欲求一个实对称三对角n×n阶矩阵A,使得λ_1…,λ_n是Ax=λBx的特征值,λ_(n+1),…,λ_(2n-1)是A_(n-1)x=λB_(n-1)x的特征值,其中A_(n-1),B_(n-1)分别是矩阵A,B的前n-1阶主子阵。     

一类对称正交对称矩阵反问题的最小二乘解

1 引言 本文记号R~(n×m),OR~(n×n),A~+,I_k,SR~(n×n),rank(A),||·||,A*B,BSR~(n×n)和ASR~(n×n)参见[1].若无特殊声明文中的P为一给定的矩阵且满足P∈OR~(n×n)和P=P~T. 定义1 设A=(α_(ij))∈R~(n×n).若A满足A=A~T,(PA)~T=PA则称A为n阶对称正交对称矩阵;所有n阶对称正交对称矩阵的全体记为SR_P~n.若A∈R~(n×n)满足A~T=A,(PA)~T=-PA,则称A为n阶对称正交反对称矩阵;所有n阶对称正交反对     

时滞微分系统中的一个Ляпунов泛函存在性定理

曾建立了一条著名的定理:如果(1.1)之特征方程 det(λI-A)=0的任意两个特征根λ_1,λ_2,恒满足λ_1+λ_2≠0,则对任意给定的实对称矩阵 W∈R~(n×n),存在实对称阵 T∈R~(n×n),使得令 V(x)=x~TTx时,沿(1.1)之解成立 V(x(t))=-x~T(t)Wx(t).特别地,若 det(λI-A)=0之根均具有负实部,则 W 正定(?)T 为正定.     

A geometrical vorticity measure

Summary Supplementing the known vorticity measures of Truesdell [1], Mockros [2] and Oswatitsch [3], this paper introduces a vorticity measure, drawing a comparison between the vorticity and the instantaneous and local path curvatures.

---

Zusammenfassung In Ergänzung der bestehenden Wirbelmasse von Truesdell [1], Mockros [2] und Oswatitsch [3] wird hier ein Wirbelmass eingeführt, das einen Vergleich zieht zwischen der Wirbelstärke und den momentanen und lokalen Bahnkrümmungen.

     

A HOPF INDEX THEOREM FOR A REAL VECTOR BUNDLE

The authors generalize the works in [5] and [6] to prove a Hopf index theorem associated to a smooth section of a real vector bundle with non-isolated zero points.     

A generalization of parallel addition

Summary Parallel addition of positive operators, a concept introduced by W. N. Anderson and R. J. Duffin [1] in connection with network theory, has already been studied by several authors. We specifically mention W. N. Anderson and G. E. Trapp [2] and [3], T. Ando [4], K. Nishio [12], E. L. Pekarev and J. L. Smul'jan [13], as well as the article [10] by the present authors.The purpose of this note is to study a generalization of parallel addition. In particular, it will be shown (Theorem 3.2) that the corresponding quasi-units, a concept introduced in [10], are again the extreme points of the convex sets, formed by the positive operators less than or equal to some fixed operator.     

A generalization of the AZ identity

The identity discovered in [1] can be viewed as a sharpening of the LYM inequality ([3], [4], [5]). It was extended in [2] so that it covers also Bollobás' inequality [6]. Here we present a further generalization and demonstrate that it shares with its predecessors the usefullness for uniqueness proofs in extremal set theory.     

一个失误的反例

文[1]的作者对于文[2]中的定理2举了一个粗心的反例W_t(x,y)=xy(x-y)(x-ty)．为此,我们不得不与文[1]的作者商榷某些主要问题．     

A NOTE ON A NONLINEAR BOUNDARYVALUE PROBLEM

Asiswellknown,nonlineartwo-pointboundaryvalueproblemisaclassicalbasicproblem.Theresultsofthisproblemareusuallyratherperfect.But,somenewproofsandimprovementsoftheseresultswillbeverymeaningfulandprofittherelatedproblem.Considerthefollowingboundaryvalueproblemwhereh(t,xl,x2)andf(t,xl,x2)arecontinuous,f(t,xl)x2)isboundedfortE[0,r],--co相似文献   

用泛函观点看LEBESGUE积分

从泛函分析观点来看Lebesgue积分,使得Lebesgue积分可以用泛函分析最简单最基本的方法独立导出．基本做法是将Riemann对于区间[0,1]上的连续函数的积分看成连续函数空间C[0,1]上的连续线性泛函,再将它“自然”延拓到C[0,1]在积分范数意义下的完备化空间,而这个完备化空间正是Lebesgue可积函数空间L1[0,1]．     

A partial model of NF with ZF

The theory New Foundations (NF) of Quine was introduced in [14]. This theory is finitely axiomatizable as it has been proved in [9]. A similar result is shown in [8] using a system called K. Particular subsystems of NF, inspired by [8] and [9], have models in ZF. Very little is known about subsystems of NF satisfying typical properties of ZF; for example in [11] it is shown that the existence of some sets which appear naturally in ZF is an axiom independent from NF (see also [12]). Here we discuss a model of subsystems of NF in which there is a set which is a model of ZF. MSC: 03E70.     

A NOTE ON THE GLOBAL SOLUTIONS OF A SEMILINEAR REACTION DIFFUSION SYSTEM

ＡＮＯＴＥＯＮＴＨＥＧＬＯＢＡＬＳＯＬＵＴＩＯＮＳＯＦＡＳＥＭＩＬＩＮＥＡＲＲＥＡＣＴＩＯＮＤＩＦＦＵＳＩＯＮＳＹＳＴＥＭ（王明新，吴永辉）￥ＷａｎｇＭｉｎｇｘｉｎ（Ｄｅｐｔ．ｏｆＭａｔｈｅｍａｔｉｃｓＭｅｃｈａｎｉｃｓ，ＳｏｕｔｈｅａｓｔＵｎｉｖ，...     

A class of congruences on a posemigroup

V-completions of partially ordered algebraic systems have been studied by many authors, see Jaffard [7]. In particular, Burgess and McFadden [3] considered V-completions of posemigroups by means of ideal systems. In seemingly unrelated work, McFadden [10] characterized certain what we shall call ‘strongly isotone’ m-homomorphisms on posemi-groups; while Bigard [1], Dubreil-Jacotin [6] and McFadden [11] studied group homomorphisms on posemigroups. By determining certain coreflections [8], we prove that any surjective isotone homomorphism on a posemigroup can be factored into an injective strongly isotone homomorphism followed by a surjective strongly isotone m-homorphism. This result is used to bring the previous theories together and to generalise them.