若当标准形的计算

在线性代数与矩阵论中,一个重要问题是如何将复数域C上的任意n阶方阵A相似到尽可能简单的方阵J．也就是说：寻找适当的可逆方阵P,使P^-1AP=J．     

用若当链构成分块矩阵计算若当标准形与相似变换矩阵

复数域上亏损矩阵的广义特征子空间的基的每个向量生成若当链,构成分块矩阵,施以初等变换,可求出若当基.获得若当标准形与相似变换矩阵的新算法.     

若当标准形：一个老的证明

这里介绍的一个矩阵若当标准形的证明方法,对于比较熟悉高斯消元法而不太熟悉其他线性代数知识的学生来说,是一个极妙的简单证明.因为它的证明,从开始到结束,仅用了归     

双线性系统能达(能观)不变量、标准形与最小实现

本文给出了双线性系统能达(能观)不变量、标准形及在实现理论中的应用。在§1中给出了双线性系统的适宜选择路线δ_b(δ_o)的概念并利用树、子树的概念定义了不变量集合TR_b(TR_c),在§2中针对某一适宜选择路线δ_b(δ_c)给出了双线性系统的能达(能观)不变量、标准形,在§3中将前两节的理论应用于实现理论,得到了双线性系统的能达(能观)标准形的最小实现。     

Riemann流形上的一类标准共形不变度量

任意紧Riemann面上都存在一个仅依赖于共形类且拥有常曲率的度量.Harbermann和Jost用Yamabe算子对应的Green函数在数量曲率为正的局部共形平坦流形上构造了一个标准共形不变度量.在此之后,这类标准共形不变度量被推广到了数量曲率为正的球型CR流形上.进一步的,应用相应的Yamabe算子对应的Green...     

线性系统标准分解的解耦问题

本文解决了线性系统标准分解在其分解的四个子空间上解耦为四个独立子系统的问题。     

广义上同调群和Постников不变量

<正> 广义上同调理论是代数拓扑学近年来的重要课题,文[11]说明广义上同调群的Atiyah-Hirzebruch-Whitehead 谱序列(以后简称 A.H.W 谱序列)的微分算子就是定义这个广义上同调群的谱的 Cartan 覆盖谱的不变量所定义的上同调运算.本文讨论这些不变量的性质,我们将证明很多空间的谱序列是可裂的,利用这些我们可以确定很多重要空间对一些常见的谱的广义上同调环.我们的结果说明,近代文献上的一些重要空间(如 BU(n),BU,MU)的广义上同调群的计算是不确切的(详见§6),应按本文的结果加以更正.     

同伦不变量与一对矩阵的范型

<正> 是Steenrod平方运算,则称{H(X),μ,△,γ_p~i}为一个上同调系统. 若考虑更多的Steenrod平方,或考虑其它上同调运算,或其它系数群,则可得到更复杂的上同调系统.但本文只考虑上述的上同调系统. 定义 设存在同构g_k,G~k,k=0,1,…,使下图可换:     

可换环上上三角矩阵代数的局部若当导子和局部若当自同构

Let R be a commutative ring with identity, Tn （R） the R-algebra of all upper triangular n by n matrices over R. In this paper, it is proved that every local Jordan derivation of Tn （R） is an inner derivation and that every local Jordan automorphism of Tn（R） is a Jordan automorphism. As applications, we show that local derivations and local automorphisms of Tn （R） are inner.     

矩阵若当标准化的一种新方法

给出了同步求解矩阵若当标准型及过渡矩阵的一种新方法:行列互逆初等变换法.     

线性系统的完全不变量,标准形实现与编码

线性定常系统的完全不变量的研究,不仅在代数上有理论意义,而且对系统的最小实现与辨识有重要应用价值.Popov 等给出了线性定常系统的完全不变量;一组完全不变量对应了系统的一种标准形.Bucy 等曾研究了由系统的 Markov 参数直接求得系统标准形的实现算法(称为标准形实现).Guidorzi给出了由系统输入输出数据得到系统标准形的实现算法与结构辨识算法.     

CANONICAL FORMS FOR PARTICLE LAGRANGIANS OF THE LINEAR SECOND-ORDER EQUATION

Abstract

A particle Lagrangian of a linear scalar second-order ordinary differential equation can admit maximally one of 1,2,3 or 5 Noether point symmetries. Moreover, canonical forms of particle Lagrangians of the linear equation are presented according to the number (and algebra) of Noether point symmetries they admit.     

微分代数系统的标准型和分支

我们首先把微分代数系统归结为受限微分方程,且讨论了受限微分系统的参数化问题,即系统的状态空间形式。然后,借助于受限系统的状态空间形式,我们得到了受限微分系统平行于常微分方程的线性化问题和Ｈｏｐｆ分支理论问题的有关结果。     

AN ALGORITHM FOR JORDAN CANONICAL FORM OF A QUATERNION MATRIX

In this paper, we first introduce a concept of companion vector, and study the Jordan canonical forms of quaternion matrices by using the methods of complex rep resentation and companion vector, not only give out a practical algorithm for Jordan canonical form J of a quaternion matrix A, but also provide a practical algorithm for corresponding nonsingular matrix P with P-1AP = J.     

INITIAL FORMS OF STABLE INVARIANTS FOR ADDITIVE GROUP ACTIONS

The Derksen–Hadas–Makar-Limanov theorem (2001) says that the invariants for nontrivial actions of the additive group on a polynomial ring have no intruder. In this paper, we generalize this theorem to the case of stable invariants. We also prove a similar result for constants of locally finite higher derivations.     

ITERATIVE ILU PRECONDITIONERS FOR LINEAR SYSTEMS AND EIGENPROBLEMS

Iterative ILU factorizations are constructed,analyzed and applied as preconditioners to solve both linear systems and eigenproblems.The computational kernels of these novel Iterative ILU factorizations are sparse matrix-matrix multiplications,which are easy and efficient to implement on both serial and parallel computer architectures and can take full advantage of existing matrix-matrix multiplication codes.We also introduce level-based and threshold-based algorithms in order to enhance the accuracy of the proposed Iterative ILU factorizations.The results of several numerical experiments illustrate the efficiency of the proposed preconditioners to solve both linear systems and eigenvalue problems.     

具有慢变与快变模型的线性次优滤波

我们讨论具有白噪声的线性系统(?) (1)的线性滤波问题,其中 {w(t)} 均值为零,方差为 I 的 Gauss 白噪声.系统(1)的模型噪声与量测噪声独立,即 (?) D~τ=0.并设 R=DD~τ>0.系统初值 x~0,z~0与噪声 w(t)相互独立.μ为大于零的小参数.     

BILINEAR FORMS AND LINEAR CODES

Abraham Lempel et al^[1] made a connection between linear codes and systems of bilinear forms over finite fields. In this correspondence, a new simple proof of a theorem in [1] is presented; in addition, the encoding process and the decoding procedure of RS codes are simplified via circulant matrices. Finally, the results show that the correspondence between bilinear forms and linear codes is not unique.