方程“π(x+33)-π(x)=10”有解的必要条件

当X >11时 ,方程“π(x +33) -π(x) =10”是否有解 ,这是素数分布中一个至今仍未解决的问题。本文给出了方程有解的一些必要条件     

随机微分方程解的存在性

利用非紧度证明了半鞅随机微分方程 X=φ(X)+F(X).M至少有一个解,从而使得严加安的半鞅随机微分方程的解的存在性定理成为本文的特例。     

实赋范线性空间中K-正定算子方程的逼近解

设X为实赋范线性空间,A:X D(A)→X为K正定算子.假定方程Ax=f( f∈R(K))有惟一解q,构造了一个迭代序列强收敛于算子方程Ax=f( f∈R(K))的惟一解q.     

关于二次Hermite矩阵方程的解的注记

给出二次Hermite矩阵方程X*AX=A的解的关系,讨论更一般的二次Hermite矩阵方程X*AX=B有解的条件和通解的表达,并在限定条件下对二次矩阵方程的一个公开问题作了解答.     

关于方程■

柯召和孙琦在文〔1〕中研究了方程又l XKn ,=1他们给出了这个方程的一些解,并且证明了 定理方程 Kx; n Xi=22 i=1若有X‘>1(i=1,…,K)的整数解,则至少存在一个i(l了i若K) K子皆除尽n Xi j=1 j勺i 我们在这里将改进这一结果,而得到 定理。方程 K xZ n X.=Z i=l使X:的每一个素因(1) XKfl若有X:>1(i=1,…,K)的整数解,则最多只有一个i。(1、,i。/K),使X;。有与i=1i今i。素的因子、:。>1。 为了证明这个定理,需要引用A.Schin:。1的一个引理(见文〔2〕): 引理。若正整数a,,aZ,b:,b,,b,,满足方程 a,a,a,二b,b!b Zb,和条件(a,,b,b,)二(aZ,…     

一个矩阵方程反问题的研究

设A、B、C都是m×n阶矩阵,当A和B满足同时奇异值分解时,文中解决了一个关于X,Y的矩阵方程的反问题,对称解,而且给出了有解的充分必要条件,也给出了它的极小Frobe-nius范数对称解.     

矩阵方程XA-YB=C的中心对称解及其最佳逼近

本文讨论了矩阵方程XA-yB=C有中心对称解X,y的充要条件及解的一般表达式,并在解集合中,给出了与给定矩阵的最佳逼近解.最后,将结果应用于一类广义特征值反问题,并给出数值算例.     

矩阵方程X~α+A*X~(-β)A=I的Hermite正定解

研究了矩阵方程Xα+A*X-βA=I的Hermite正定解的存在性问题。首先,给出矩阵方程有解的充分必要条件,即存在一个Hermite正定阵M,使得矩阵A满足如下的分解:A=(M*M)β2αN;其次,在所得结论的基础上,利用CS分解定理,得到矩阵方程有解的另一个充分必要条件:存在酉矩阵P、Q以及对角矩阵C0,D≥0,使得A=P*CβαQDP,其中C2+D2=I,CP=PC,此时方程的解可表示为X=(P*C2 P)1α;最后利用Brouwer不动点定理,证明若‖A‖≤βα+β+(αα+β)阵方程在区间[βα+βI,I]上有解X。     

合法变迁引发序列判定中的T-不变量添加

Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LFS(N,M0,X+Y)。在一般情况下,不能在待判定的解向量X中添加T-不变量。这是Petri网合法变迁引发序列判定的一个性质。     

关于代数不等式解法的一个注记

本文将给出关于含有一个未知数的代数不等式的一般解法。用此求代数不等式及分式不等式的解异常简便迅速。引理1 设(P(X))/(Q(X))是实数体上既约分式,则分式不等式(P(X))/(Q(X))>0与代数不等式P(X)·Q(X)>0同解;同样,(P(X))/(Q(X))<0与P(X)·Q(X)<0同解。这是显然的。     

矩阵方程A+X=AX广义三次矩阵解与绝对值方程的解#br#

应用广义三次矩阵的Jordan标准形, 给出AX=A+X有广义三次矩阵解的充要条件及解的形式, 并证明由AX=A+X的广 义三次矩阵解B所确定的绝对值方程Bx-|x|=b有解.     

时滞发展方程周期mild解的存在性

文章讨论了Banach空间X中半线性时滞发展方程u′(t)+Au(t)=F(t,u(t),u(t-τ)),t∈Rω-周期解的存在性,其中-A为X中的C0-半群T(t)(t≥0)的无穷小生成元,F:R×X×X→X连续,关于t以ω为周期,τ0为常数。通过对解算子的周期延拓,利用相关的不动点定理,获得了时滞发展方程ω-周期mild解的存在性结果。最后,给出了一个例子来说明主要结果的应用。文章不再要求先验有界和非线性项Lipschitz连续,这极大地改进和推广了现有文献的相关结果。     

求解一类非线性矩阵方程的无逆迭代法

提出了求非线性矩阵方程X+ATX-1A+BTX-1B=Q最大正定解的一个无逆迭代法.证明了由该算法产生的迭代序列单调递增有上界且收敛于原方程的最大正定解.数值实验表明该算法是十分有效的.     

双对称矩阵广义特征值反问题的解

已知矩阵X及对角阵Λ,讨论对对称矩阵广义特征值反问题AX=BXΛ的解（A,B）,给出B为非负定时的通解,在一定条件下给出解集合中满足X^TBX=I的一般解,给出一个数值算例。     

Π-凝聚环上的同调方程A=Ext_R~n(X,R)

研究Π-凝聚环R上的同调方程A=ExtnR(X,R)的一类解的存在性,得到方程A=ExtnR(X,R)以有限生成半自反右R模为解的一个充要条件.     

相容线性方程组的矩阵解法

本文讨论了相容线性方程AX=b,当rankA相似文献   

Π-凝聚环上的同调方程A=ExtnR(X,R)

研究Π-凝聚环R上的同调方程A=ExtnR(X,R)的一类解的存在性,得到方程A=ExtnR(X,R)以有限生成半自反右R模为解的一个充要条件.     

算子方程A*X+XA=B的解

设A和B是复可分Hilbert空间H上两个有界线性算子,利用算子矩阵分块技巧和算子的广义逆,在A是幂等算子或广义幂等算子的情况下,给出了算子方程A*X+XA=B有解和有自伴解的充要条件,并给出了算子方程A*X+XA=B的解和自伴解的一般形式.     

矩阵方程AXB+CXD=F广义双对称解的迭代算法

对广义自反矩阵P,即PT=P,P2=I,如果PXP=X,XT=X,称X为广义双对称矩阵.在共轭梯度思想的启发下,给出了迭代算法求解约束矩阵方程AXB+CXD=F的广义双对称解及其最佳逼近.应用迭代算法,矩阵方程AXB+CXD=F的相容性可以在迭代过程中自动判断.当矩阵方程AXB+CXD=F有广义双对称解时,在有限的误差范围内,对任意初始广义双对称矩阵X1,运用迭代算法,经过有限步可得到矩阵方程的广义双对称解;选取合适的初始迭代矩阵,还可以迭代出极小范数广义对称解.而且,对任意给定的矩阵X0,矩阵方程AXB+CXD=F的最佳逼近广义双对称解可以通过迭代求解新的矩阵方程AXB+CXD=F的极小范数广义双对称解得到.     

求AX=B的最小二乘解的一种迭代法

提出了梯度矩阵(ΔF(x))的概念,构造了一种迭代法求最小二乘问题‖AX-B‖=min。通过这种方法,给定初始矩阵X1,在没有舍入误差的情况下,经过有限步迭代,找到它的一个解。并且,通过选择一种特殊的初始矩阵,得到它的最小范数解X*。另外,给定矩阵X0,通过求最小二乘问题min‖AX-B‖(其中B=B-AX),得到它的最佳逼近解。