共查询到20条相似文献,搜索用时 135 毫秒
1.
2.
广义严格对角占优阵的判定程序 总被引:3,自引:1,他引:2
陈神灿 《高等学校计算数学学报》1997,19(4):324-329
1 引言和符号 在本文中,均采用下列符号而不再重申.恒用N表示前n个自然数的集合;而用Mn(C)和Mn(R)分别表示所有n阶复矩阵和所有n阶实矩阵的集合. Z_N={A|A=(a_(ij))_(n×n)∈Mn(R),a_(ij)≤0,i,j∈N,i≠j},I恒表示单位矩阵. 如果A∈Mn(R)且A的所有元素都为非负实数,则称A为非负方阵,并记为A≥0;若A的所有元素都为正数,则称A为正矩阵,并记为A>0. 对A=(a_(ij))(n×n)∈Mn(C),令A_i(A)=sum from j=1 j≠i to n (|a_(ij)|(i=1、2…… n)) ;若把A的非零元用1代替 而得到—个n阶(0,1)矩阵。称为A的导出矩阵。记为;而把A的比较矩阵记为 u(A)=(b_(ij))_(n×n))其中b_(ij)=|a_(ij)|,b_(ij)=-|a_(ij)|(i,j∈N i≠j) 相似文献
3.
钟文体 《数学的实践与认识》2016,(12):253-264
设m阶方阵A,B满足AB=αBA,其中α=e~(2kπi/n),k,n为互素整数且n≥2.证明了σ(AB)■{α~(j-((n-1)/2))λ_AλB|λA∈σ(A),λB∈σ(B),j=0,1,…,n-1}及其它相关的结果,其中σ(A)表示方阵A的所有特征值的集合. 相似文献
4.
用Mn表示所有复矩阵组成的集合.对于A∈Mn,σ(A)=(σ1(A),…,σn(A)),其中σ1(A)≥…≥σn(A)是矩阵A的奇异值.本文给出证明:对于任意实数α,A,B∈Mn为半正定矩阵,优化不等式σ(A-|α|B) wlogσ(A+αB)成立,改进和推广了文[5]的结果. 相似文献
5.
设A=(a_(ij))_(n×n)为n阶复矩阵,记 σ_i=sum from j=1,j≠i to n(|a_(ij)|,i=l,2,…,n)。若|a_(ij)|>σ_i(i=1,2,…n),则称A为(按行)严格对角占优阵,记为A∈D,若|a_(ii)|·|a_(jj)|>σ_iσ_j(i≠j,i,j=1,2,…,n)则称A为严格对角乘积占优阵,记为A∈D_p(在〔1〕中此类矩阵称为广义对角占优阵,并记为GD)。若存在非奇对角阵Q=diag(q_l,…,q_n)使Q~(-1)AQ∈D,则称A为准严格对角占优阵,记为A∈D′(见〔2〕)。若存在非奇对角阵Q=diag(q_1,…,q_n)使Q~(-1)AQ∈D_p,则称A为准严格对角乘积占优阵。记为A∈D′_p。 相似文献
6.
两类对角占优矩阵的特征值分布 总被引:4,自引:0,他引:4
§1.引言 由于矩阵特征值分布的重要性,迄今已有许多人对其进行研究,国内这方面的主要工作参见[1]—[5]。本文将进一步研究以下两类矩阵的特征值分布。 定义1 设A=(a_ij)_n×n为n阶复矩阵,记,若对任意都成立,称A∈DD_0(R). 定义2 若2|Rea_(ij)|+|Rea_(ij)|>以Λ_i+Λ_j对任意i≠j,i,j∈N均成立,称A∈SD(R).若|Rea_(ij)|+|Rea_(ij)|≥Λ_i+Λ_j对任意i≠j,i,j∈N均成立,称A∈SD_0(R). 相似文献
7.
全矩阵环的一类基 总被引:3,自引:0,他引:3
胡付高 《数学的实践与认识》2007,37(10):188-191
设P是一个域,Fij(i,j=1,2,…,n)是全矩阵环Mn(P)中n2个n×n矩阵,且满足FijFkl=δjkFil(i,j,k,l=1,2,…,n),其中δij={1,i=j0,i≠j为Kronecker符号.则或者所有Fij(i,j=1,2,…,n)全为零,或者存在可逆矩阵T∈Mn(P),使得Fij=T-1EijT(i,j=1,2,…,n),其中Eij表示(i,j)位置是1, 相似文献
8.
有限局部环Z/q~kZ上矩阵广义逆的几个计数结果 总被引:2,自引:1,他引:1
吴炎 《数学的实践与认识》2004,34(10):159-164
设 R =Z/ qk Z是模整数 qk的有限局部环 ,其中 q是素数 ,k>1 .对 R上给定的 n阶矩阵 A,设 W1={X∈ Mn( R) |PAXP- 1=Q- 1XAQ, 1 P,Q∈ GLn( R) },W2 ={X∈ Mn( R) |AX =XA},W3={X∈ Mn( R) |AXA =A},W4 ={X∈ Mn( R) |XAX =X}.若 Wi≠Φ( i=1 ,2 ,3 ,4) ,用 n( Wi)表示 Wi中所有元素的个数 ,主要计算出 n( Wi) ( i =1 ,2 ,3 ,4) 相似文献
9.
非奇异H-矩阵的新判据 总被引:1,自引:0,他引:1
1引言与记号设A=(a_(ij))∈C~(n×n),记N={1,2,…,n},∧_i(?)∧_i(A)=sum from j≠i|a_(ij)|,S_i(?)S_i(A)=sum from j≠i|a_(ij)|,(?)i,j∈N。若|a_(ij)>∧_i(A),(?)i∈N,则称A为严格对角占优矩阵。 相似文献
10.
§1. IntroductionThispaperisconcernedwiththeasymptoticbehavioroftheoscillatorysolutionsofnonlin-earforcedneutraldelaydifferentialequationsoftheform[x(t)-∑mi=1pi(t)x(t-τi)]′ ∑nj=1qj(t)f(x(t-σj))=r(t), t≥t0,(1)wherepi,qj,r∈C([t0,∞),R),τi,σj≥0,i=1,2,…,m;j=1,2,…,n,f∈C(R,R),xf(x)>0forx≠0.Whenpi(t)≡0,i=1,2,…,m,Eq.(1)reducestox(t) ∑nj=1qj(t)f(x(t-σj))=r(t), t≥t0,(2)whoseasymptoticbehaviorofallsolutionshasbeenstudiedinJ.R.Yan[5].Whenr(t)≡0,f(x)≡xandm=n=1,Eq.(1)reducesto[… 相似文献
11.
本文证明了一类本质正规算子A'(Ω';1)(T∈A'(Ω';1),如果T满足(1)T,T|H(T)分别是本质正规算子;(2)σ(T)=Ω,ρF(T)∩σ(T)=Ω;(3)ind(T-λ)=-1,nul(T-λ)=0,λ∈Ω';(4)σ(T|H(T))是一完全集,这里Ω'是一连通的解析Cauchy域, Hl(T)= V{ker(T-λ)*:λ∈ρrs-F(T)}是模小紧相似的. 相似文献
12.
13.
14.
设m,n∈N;m≥2,n≥2,mn≥6,f(x)=xm+a1xm-1+…+am∈Z[x],H=max(|a1|,…,|am|).本文运用组合分析方法证明了:当m≡0(modn),a1,…,am不全为零,而且其中第一个非零系数as与n互素时,方程f(x)=yn,x,y∈Z,仅有有限多组解(x,y),而且这些解都满足|x|<(4mH)2m/n+1以及|y|<(4mH)4m2/n2+m/n+1 相似文献
15.
关于图的L(2,1)标号核图 总被引:3,自引:0,他引:3
图的L(2,1)标号核图来自频率分配问题而导致的图论问题.在本文中,我们证得(i)对任意简单图G,存在G的一个标号核图Gcore,使得L(G)=L(Gcore)和L(G)≥|V(Gcore)|-1;(ii)设图G有p个顶点且边集|E(G)|≠φ,存在路
Pi G(1≤i≤m)和路Hs G(1≤s≤n),其中在G中V(Pi)∩V(Pj)=φ(i≠j),在G中V(P,)∩V(Pt)=φ(s≠t),则有m∑t=1|V(Pt)|+n∑s=1|V(Hs)|-(m+n)≥p;(iii)G是p(p≥5)个顶点的简单图,则有p+3≤L(G)+L(G)≤3p-4. 相似文献
16.
特征数≠2的非交换主理想整环上线性群的自同构 总被引:1,自引:0,他引:1
<正> 华罗庚和J.Dieudonné研究了体上线性群的自同构问题,而华罗庚和Ⅰ.Reiner以及作者则研究了整数环上线性群的自同构问题.因为整数环是一种特殊的环,所以一般体上线性群的自同构的结果不能从整数环上线性群的自同构的结果导 相似文献
17.
18.
高维空间的一个Heilbronn型问题 总被引:2,自引:2,他引:2
本文研究了以下Heilbronn型问题:设S是欧氏空间按R~k 中由有限个点A_1,A_2,…,A_n组成的集合,令d(S)=min{A_iA_j|1≤i相似文献
19.
Let P(z) =n∑j=0 a_jz~j be a polynomial of degree n and let M(P, r) = max|z|=r|P(z)|. If P(z) ≠ 0 in |z| 1, then M( P, r) ≥ ((1 + r)/ (1 + ρ))~ n M( P, ρ).The result is best possible. In this paper we shall present a refinement of this result and some other related results. 相似文献
20.
An m-cycle system of order ν and index λ, denoted by rn-CS(ν, λ), is a collection of cycles of length m whose edges partition the edges of λκ_v. An m-CS(ν, λ) is α-resolvable if its cycles can be partitioned into classes such that each point of the design occurs in precisely α cycles in each class. The necessary conditions for the existence of such a design are m|λν(ν-1)/2,2|λ(ν-1), m|αν,α|λ(ν-1)/2 It is shown in this paper that these conditions are also sufficient when m = 4. 相似文献