关于行列式等于1的12元和13元恒正二次型

1.设f_n=sum from i,j=1 to n(a_(ij)x_ix_j) (a_(ij)=a_(ji))是一个系数a_(ij)为整数,行列式为D_n的恒正二次型。对于已给的n和D_n我们用C_n,D_n来表示他们的类数。行列式等于±|的整系数线性变换能够把f_n变成它自己的叫做一个自守变换。二次型f_n的自守变换的个数的倒数叫做f_n所代表的这个类的权,而同一个目内所有不同各类的权的和叫做这个目的权。     

关于行列式为1的恒正二次型

是一个系数a_(ij)均为整数,行列式为D_n的二次型。如果除开所有的x_i都等于零以外,对于x_i取任何实数值都能使得f_n>0,我们说f_n是恒正的。f_n是恒正的充分必要条件是D_n的左上角的主子式都大于零,如果对于x_i取任何实数值时都有f_n≥0,而且至少有一组x_i不全为零的实值存在使得f_n=0,我们说f_n是准恒正的。无论是恒     

两类特殊行列式的计算

本文主要解决了两类特殊行列式的计算问题,得出了两个有趣的对称的计算公式,即n阶循环行列式的计算公式D_n=multiply form i=1 to n(K=1)(a_1 a_2ω_k … a_nω_k~(n-1))和n阶顺序递增行列式的计算公式E_n=(-1)~[(n-1)/2]multiply from i=1 to n(k=1)(a_1 a_2ω_k … a_nω_k~(n-1))     

完全非负矩阵上的Oppenheim不等式的推广

完全非负矩阵在Hadamard乘积意义下是不封闭的。对于两个三对角完全非负矩阵A=(a_(ij)),B=(b_(ij)),Markham证明了它们的Hadamard乘积的行列式满足Oppenheim不等式。我们应用完全非负矩阵的Hadamard中心的性质,改进了Markham的相应结果,给出了新的下界(A_1为删去第一行的A的主子矩阵):det(AB)≥(multiply from i=1 to n b_(ii))detA+(multiply from i=1 to n a_(ii))detB-detAdetB+(detA)((multiply from i=2 to n a_(ii)/detA_1)-1)(b_(11)detB_1-detB)+(detB)((multiply from i=2 to n b_(ii)/detB_1)-1)(a_(11)detA_1-detA)。     

行列式的公理化定义

给定域F上的n阶方阵A=(a_(ij)),A的行列式的通常定义是定义1 |A|=sum from σ(sgnσ)a_(1,j1)a_(2,j2)…a_(n,jn) (1) 这里sum from σ是对所有n阶排列σ=j_1 j_2…j_n求和,符号 sgnσ={1,当σ为偶排列时,-1,当σ为奇排列时。 由(1)可推出许多众所周知的行列式性质,我们能否从中筛选出最本质的几条,来建立行列式的理论?这实际上是涉及行列式定义的公理化问题。在教学中提出并解决这个问题,对培养学生的数学素质、开拓智力是有作用的。     

超越函数Det(a_(ij) b_(ij)e~(λr)-δ_(ij)λ)_n×n零点全分布在复平面左半部的代数充分准则

本文对超越函数f_n(λ,x)■Det(aij bije~(-λι)-δijλ)_(n×n)零点全部分布在复平面部的问题进行讨论,无需将行列式展开,直接根据a_(ij),b_(ij)之间的简单的代数关系,给出了五则充分的显式代数判别准则。     

一类三次系统的定性研究

文本在[1]的基础上研究如下的平面三次系统 dx/dt=sum from 1≤i+j≤3 to(a_(ij)x~iy~i) dy/dt=sum from 1≤i+j≤2 to(b_(ij)x~iy~i) 其中a_(ij)、b_(ij)∈R。假定(1)有一条二次代数闭轨和一条直轨线,定性地研究了(1)的全局结构,证明了极限环的唯一性,给出了(1)的全局相图,指出三次系统具有一些二次系统不具备的性质,并试图给出一种新的确定高阶奇点邻域中轨线性态的方法。     

两个判别法的等价性

在文[1]中,介绍了判别正项级数敛散性的一种方法,其方法如下:设sum from n=1 to ∞ a_n为正项级数,如果(?)(a_(n 1~))/a_n)<(1/e),则级数收敛;如果(a_(n 1~(?)))/a_n>(1/e),则级数发散。本文要指出:此判别法与拉阿伯(Raabe)判别法是等价的,仅在于表现形式不同。为讨论问题方便,先列出拉阿伯判别法:设sum from n=1 to ∞ a_n为正项级数,如果(?)(a_(?)/a_(n 1~))>1,则级数收敛;如果(a_n/a_(n 1)-1<1,则级数发散。     

用向量比较原理证明生态大系统的稳定性

对于给定的几种群Lotka—Volterra生态大系统x_i=x_i(e_i sun from j=1 to n(a_(ij)x_j)(i=1,2,…,n)(1)如果它的m个孤立于系统都具有Volterra 乘子D,则原生态大系统的稳定性可以由一个较低维的线性定常系统的稳定性得到.     

常系数线性微分方程组的李雅普诺夫函数公式

§1引言 给定实常系数线性微分方程组 dxi/dt=sum from j=1 to n(a_(ij)x_j (i=1.2.……n) (1) 李雅普诺夫早已证明:如果(1)的特征方程的根皆具有负实部,则 (2)对于任意给定的u次齐次负定(正定)多项式(x_1,……,x_n),恒存在唯一m次齐正定(负定)多项式V(x_1,……,x_n),满足方程。 (3) 另一方面,根据路斯——霍维茨(Routh-Hurwitz)定理,(2)的根皆具负实部的充要条件是行列式     

缓变系数线性时滞系统零解的渐近稳定性

考虑如下的时滞系统 (dx_1(t))/(dt)=sum from j=1 to n[a_(ij)(t)x_j(t)+b_(ij)(t)x_i(t-τ)其中,a_(ij)(t),b_(ij)(t)≥t_0上连续可微有界,而时滞τ为非负常数, 当τ很小时,将系统(1)写成下面的形式     

求不相容线性方程组最好近似点的逆矩阵法

§1.前言设有不相容线性方程组sum from j=1 to n=a_(ij)x_j+b_i=o,i=1,2,…,m,m>n.(1) 若点X~*=(x_1~*,x_2~*,…,x_n~*)使得量     

n阶行列式的一个等式

文[2]证明了一个关于三阶行列式的等式。本文利用矩阵及其子式的运算,将等式推广到n阶行列式,且证明更加简洁。 设有n阶方阵A=(a_(ij))_(n×n),B=(b_(ij))_(n×n)。A中的元素工、a_(ij)的代数余子式记作A_(ij),A之伴随矩阵记作A,即A=(A_(ji))_(n×n)。A的子矩阵、子式、代数余子式的表示全按文献[1]记为:块A     

关于恒正二次型的极小值

是n个变元x_1,…,x_n的一个实系数恒正二次型,且设minF_n表示当变元x_i取过不全为零的整数值时F_n的极小值(由F_n的恒正性和x_i的整数性,我们就不难说明其存在性),△(F_n)表示F_n的系数行列式,即△(F_n)=|a_(ij)|。那末,所谓“恒正二次型的极小值问题”就是要寻求     

dx_i/dt=-a_(ii)(t)f_(ii)(x_i)+sum(a_(ij)(t)f_(ij)(x_j)) from j=1(j≠i) to n 的解的全局稳定性

讨论了系统dx_i/dt=-a_(ii)(t)f_(ii)(x_i)+sum(a_(ij)(t)f_(ij)(x_j)) from j=1(j≠i) to n(i＝1,...,n),应用大系统的分解理论,得到了该系统零解全局稳定的充分条件.此条件简明扼要,容易验证,实用方便.     

线性泛函的广义Sard逼近

本文利用具有重结点的自然样条函数,讨论了线性泛函Ff=sum from i=0 to n-1[integral from a to b a_i(x)D~i f(x)dx+sum from j=0 to L~1 b_(ij)D~i f(x_(ij))]的广义Sard逼近问题。文中给出了线性泛函Lf=sum from i=0 to k sum from j=0 to k_1-1 a_(ij)D~j f(x_i)逼近F为n-1阶准确的存在定理与唯一性定理;给出了L做为F的广义Sard逼近的充分必要条件。     

具有非零元素链的对角占优矩阵为非奇异的定理的一个简短证明

设 A=(a_(ij))是 n 阶对角占优矩阵,即若记 N={1,2,…,n},则对任意 i∈N 都有|a_n|≥sum from j=1 j≠i to n |a_(ij)|.本文所涉及的矩阵总假定是对角占优的。记 J(A)={i∈N||a_(ii)|>sum from j=1 j≠i to n |a_(ij)|}.当 J(A)=N 时,A 为严格对角占优矩阵,当 J(A)≠Φ,且 A 不可约时,A 是不可约对角占优矩阵,这两种矩阵都是非奇异的。当 J(A)≠Φ,A 为可约矩阵时,一九七四年 P.N.shivakumar 和 kim Ho Chew 给出了它为非奇异的一个充分条件:定理.设 A 为可约矩阵,J(A)≠Φ,若对每个 (?)J(A),都存在由 A 中非零元素构成的序列(也叫非零元素链):a_(ii_1),a_(i_1i_2),…,a_(i_(s-1))i_s,i_s∈J(A),那末 A 是非奇异的.P.N Shivakumar 和 kim Ho Chew 在证明此定理时,引用了 M—矩阵的性质,篇幅     

线性抛物型时滞微分方程组解的振动性定理

本文研究线性抛物型时滞微分方程组(δU_i)/(δt)+∑sum from j=1 to m P_(ij)(x,t)U_i(x,t-τ(t))=a_i(t)ΔU_i+∑sum from j=1 to m_1 a_(ij)(t)ΔU_i(x,t-δ_j),i=1,2,…,m (1)解的振动性,其中(x,t)∈Ω×(0,∞),ΩR~n 是具有逐片光滑的边界的有界区域,U_i=U_i(x,t),ΔU_i=∑sum from j=1 to n (δ~2U_i(x,t))/(δ)x_j~2),获得了方程组(1)的所有解振动的充分条件,同时给出了应用这些充分条件的例子。     

求解一次不定方程的Petri网方法(Ⅲ)——Frobenius问题研究

本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤(sum from i=2 to n)a_i(d_i-1)/d_i-(sum from i=1 to n)a_i时,不定方程a_1x_1+a_2x_2+…+a_nx_n=m有非负整数解的两个不同的充分必要条件;并根据充分必要条件的不同提法,给出求n元线性型最大不可表数的两个算法。     

关于模R^（n）的一类乘法子模

设R是有单位元的交换环,M是R-模,如果对M的任意子模N,存在R的理想I,使得N=I·M,则称M是乘法R-模,本文主要结论是:设M=Rx_1+…+Rx_(?),其中x_i=(a_(1i),a_(2i),…,a_(?))∈R~(1×n),i=1,2,…,n,并且sum from i=1 to (?)a_(ii)=1,那么当R是下列环之一时:(1)整环;(2)半局部环;(3) J(R)=0,有:M是乘法R-模当且仅当F_2(A)=0,其中F_2(A)表示矩阵A=(a_(ij)_(?)中一切2阶子式在R中生成的理想。