关于《连对角占优矩阵的一些性质》的注记

本文指出[1]中一些结论是错误的,并说明产生错误的原因. 为了便于说明问题,我们采用文[1]中的定义和记号.首先将[1]中引理2叙述如下: 引理2 若A∈C~(m×n)为不可约矩阵,又假定A的一个特征值λ是卵形|z-a_(ii)||z-a_(jj)|≤Λ_iΛ_j的并集的一个边界点,则所有n(n-1)/2个卵形圆周|z-a_(ii)||x-a_(ii)|=Λ_iΛ_j(i≠i,i,j=?)都通过点.     

定常Navier-Stokes方程的有限元法

的近似解。为叙述简单起见,术文只讨论Ω是R~2中的有界开集,且其边界Γ是足够光滑的情形。在[1]中作者利用[2]的想法把[3]的方法应用于非凸光滑区域上的Stokes问题。术文则是把[1]中的方法应用于(1.1)。 本文§2给出问题(1.1)有限元近似解所满足的方程,§3证明有限元解的存在唯一,§4给出误差估计。     

约束可微多目标最优化的正则性条件

文[1]在纠正了文[2]中的错误后,提出了几个值得进一步研究的问题.本文将在§1中部分回答这些问题.在§2中,指出并纠正文[3]的§3中证明中的错误,并将纠正后的结果推广到多目标规划的情形.     

Fan K_y 引理的推广及其应用

§1.引言在多值映像的不动点理论中,Fan Ky 引理(见[1,引理4])是一个很简单的基本命题,它往往是证明更复杂结果的关键工具,例如见[2].本文首先要推广 Fan Ky 引理,然后再给出它的一些应用.     

“关于厄米特矩阵的一个不等式”的几点注记

<正> 文[1]提出并证明了下面的定理.设 A_j,B_j,…,C_j(j=1,2,…,k) 都是正定的同阶 (≥2) 厄米特矩阵,α,β,…,γ都是正实数,且 α+β+…+γ=1,则有sum from i=1 to k|A_j|~α|B_j|~β…|C_j|~γ<|sum from i=1 to k A_i|~α·|sum from i=1 to k B_i|~β…|sum from i=1 to k C_i|~γ.以下几点意见,供参考.第一,文[1]中的引理1和引理2是早有的结果.引理1见[2]p.15,[3]p.16及p.13,引理2是 Minkowski 行列式定理的直接推论,见[4].事实上,文[1]的定理是 H(?)lder 不等式和 Minkowski 行列式定理的自然结果.因为     

关于独立和子序列完全收敛性的两个问题

§1 引言及若干引理自从许宝禄和 Robbins 1947年引入完全收敛性的概念以来,这个方向上的问题已被用不同的方式加以研究。Asmussen 和 Katz 于1980年首先讨论了 iid 随机变量部分和的子序列的完全收敛性。随后 Gut 于1985年推进了[2]中的结果,并简化了[2]中的证明,获得了关于一阶矩存在同某类子序列完全收敛的等价性条件.本文意在[3]的基础上,对问题作进一步的深入讨论,并在更广的范围内探讨有关的等价性条件。若非特殊说明,本文总假定{X_i,i≥1}是 iid 的随机变量序列,S_n=sum from (?)=1 to n X_(?),n≥1.C     

关于几种三角形板元等价性的注记

1．引言求解薄板弯曲问题的广义协调元法近年来有了发展,本文讨论几种三角形板元之间的等价关系．我们证明,[2]中构造的GCⅢ－T9元等价于Specht元问．同一作者在[4]中构造的GCⅡ－T9元实际上也等价于Specht元,因此,它们彼此等价．另外,[7]中用对称列式构造的一个广义协调元是和作者在问中所引进的单元等价．例已指出,[7]中的那个元等价于问中的VZ1元,所以[7]和[6]中的两个广义协调元均等价于已知的VZ1元．2．广义协调GCⅢ－T9单元设三角形单元K的三个顶点依反时针方向分别为p i（xi,yi）,节点参数是pi点处的函数值及其一阶导…     

关于哥德巴赫问题的一点注记

<正> 通过文章[1]、[2]、[6]对L-函数零点分布及算术数列中素数分布两问题的研究,在1989年我们证明了:每一个奇数N≥exp(exp(11.503))都能够表示成为三个素数之和。在此我们将对这些结果的论证作一点修改和说明.我们将沿用文[1]、[2]、[6]中的记号。 (一)主要是由于第二作者的疏忽,在文[2]定理的陈述和证明中出现了一些缺陷.这就是在应用文[2]的引理10来证明定理时,在文[2]的“三、定理的证明”(第857—858     

一类平稳时间序列谱密度估计量的优良性质

本文在很一般的假定下讨沦了 f(λ)的估计量 f_N(λ)的无偏性和均方一致性,推广了A.C.Butcher〔1〕和 Rosenblett〔2〕的结果,比[2]中所给的条件简便得多.为了叙述方便,先简述几个引理。引理1 由(2)所定义的函数 Q(i,j,k,l)是四元对称函数.     

算子变形的一种方法

本文提出算子的一种变形方法,可以改善算子的逼近度.§1叙述这种变形的方法,§2讨论它的某些应用.§1.算子变形的一种方法C~n[α,b]表示区间[α,b]上具有 n 阶连续导数的函数类,用 C[α,b]表示[α,b]上的连续函数全体.有线性算子     

一道分式不等式的新证及改进

一道分式不等式：设文［1」、［Zj曾给出证明．本文将原不等式改进为再给出两种证法．先看三个引理：引理1设α1≥α2≥…≥αn＞0，0＜证明可参见［3」．引理2设αi、bi．证明可见[4]．引理3设αi、简证依引理2，并注意到幂平均不等注由题知，易得n—a＞0，而（此处由n（xf十送十…十米）＞（x；十Q＋…＋1）‘，知nb＞a‘，或nb—a‘＞0．）证法2P同证法1．不妨设x；＞x，＞…＞x－＞0，方知于是依弓l理1及幂平均不等式一道分式不等式的新证及改进@孙建斌$福建省泉州市永春县科委!3626001李长明.的灵活运用.中学数学(湖北),1996,2 2…     

马尔科夫过程的零一律

<正> 本文的目的是研究马尔科夫过程(简称马氏过程)零一律成立的充分与必要条件,并给出一些便于运用的充分条件.独立随机变量序列的零一律及其重要性是人所共知的.近来在马氏过程的研究中也常常出现概率只能是0或1的事件,它们大致可以分成无穷近的与无穷远的两种,作为前者与后者的例可分別见[6]中§Ⅱ.11的定理3及§Ⅱ.10的定理4.然而目前已有的结果大多是利用特殊的条件分别证明的,因此有一般处理的必     

关于多重赋值完全域

F.K.Schmidt曾经证明过一条定理:设域K关于二个不等价的特殊赋值都是赋值完全域,则K必然是个代数闭域(见[9],定理1)。后来,I.Kaplansky和O.F.G.Schilling又证明了:如果K关于二个不等价的特殊赋值都是Hensel域,则K必然是个可分代数闭域(见[3],定理2)。在§2和§3中我们将把这两个结果都推广到Krull赋值(即一般赋值)的情形,即当K关于二个独立的Krull赋值都是Hensel域时,K是可分代数闭域(定理1)。如果K对于其中之一是赋值完全域时,则K是个代数闭域(定理2)。这里使用的方法基本上是遵循Schmidt在[9]中所使用的方法。在§4中我们就有限阶赋值的情形     

Schwarz混乱松弛法是收敛的

§1.引论 早在1985年,Schwarz交替法就推广到了多子区域情形,并给出了带松弛因子ω的S-COR算法。[1],[2]证明,对于一致正定二阶自共轭椭圆问题,当ω∈(0,2)时,S-COR算法是收敛的。但在证明中有几处不太严格。[4]基于[3]的变分框架理论给出一新的证明,亦不严格。[4]的问题出在对引理3的使用上。尽管通过反证法可以证明,存     

一道分式不等式的概率证明及推广

设 xi ∈ ( 0 ,1 ) ,i =1 ,… ,n,且∑ni=1xi =a,∑ni=1x2i =b,求证∑ni=1x3i1 - xi≥ a2 ab - nbn - a ,( 1 )文 [1 ]～ [3]给出了 ( 1 )式不同的初等证明 ,文 [4 ]利用柯西不等式将 ( 1 )式加强为　　　 ∑ni=1x3i1 - xi ≥ b2a - b ( 2 )本文利用概率方法对 ( 2 )式作指数推广 .为此 ,作为引理 ,给出概率的 Jensen不等式 .引理　设随机变量ξ取值于区间 ( a,b) ,-∞≤ a≤ b≤ ∞ ,g是 ( a,b)上连续的凸函数 ,则当 Eξ,Ε[g(ξ) ]存在时 ,有g( Eξ)≤ E[g(ξ) ].证明　任取 x0 ∈ ( a,b) ,设曲线 y =g( x)在点 x0 的切线斜率为 k( x…     

矩阵可对角化的一个充要条件

本文给出矩阵可对角化(即可与对角矩阵相似)的一个充要条件,并推广了文[1]中的一个结果。首先叙述如下: 引理设A,B都是n阶矩阵,则有秩(AB)≥秩A+秩B-n 证明可见[2],这里从略。定理设A是数域F上的一个n阶矩阵,     

n元三次多项式不等式猜想的证明

猜想 [1]　设 x1,x2 ,… ,xn∈ R+ ,n为正整数 ,证明或否定 :n( n - 1 ) ∑ni=1x3 i + ( ∑ni=1xi) 3　≥ ( 2 n - 1 ) ∑ni=1xi∑ni=1x2i ( 1 )这是杨学枝老师近日提出的一个猜想 .经探讨发现 ,此猜想成立 .为证明 ( 1 )式成立 ,先给出如下引理 .引理 1　 x1,x2 ,… ,xn∈ R,n为正整数 ,则( ∑ni=1xi) 3 =∑ni=1x3 i + 3∑i≠ jx2ixj+ 6 ∑1≤ i相似文献   

强单调T2空间的几个性质

§1Introduction Theclassofstratifiable(=M3)spacesincludesallmetricspacesandmanytopological groups.Stratifiablespaceholdsmostofthestrongestandusefulpropertiesofmetric space.ThequestionproposedbyCederwhetherstratifiablespaceisM1spaceornotisstill opennow.ManyresearcheshavediscussedthepropertiesofMi(i=1,2,3)spacesthrough monotonenormality(see[2-7]).Borges[6]studiedthemonotonicallynormalproperties,Heath,etal.[5]gavemajorcontributiononmonotonenormality,andBuck,etal.[2]proposedseveraladditionalcha…     

奇阶亚循环p~-群的完全分类

亚循环p~-群的完全分类是由Bruce W.King在1973年首先给出的,但他的计算太繁.据[2]Ⅲ,10.2c),奇阶亚循环p~-群是正则的,于是可应用正则p~-群的理论大大简化计算.关于正则p~-群的知识可见[2]Ⅲ§10.此外,还需要一个简单的数论结果,不加证明地陈述于下 引理 设p是奇素数,n是正整数.则与p互素的正整数模p~n组成一个乘法群(依通常乘法),记作M(p~n),且|M(p~n)|=φ(p~n)=p~n—p~(n-1).M(p~n)的Sylow p~-子群S(M)={x∈ M(p~n)|x≡1(modp)},是循环群.S(M)的唯一的p~i阶子群     

关于正交设计的优良性(Ⅱ)

§1.引言 本文是[1]的继续,但有个别概念与引理与[1]略有出入。为了便于阅读本文,我们把这些概念与引理重新做了简略的叙述,所以本文与该文是独立的。有必要时可参照该文。 本文讨论正交设计在各种多因子设计中的优良性。当我们进行多因子实验设计时,我们已确定:(1)m个因子F_1,…,F_m,它们分别有s_1,…,S_m个水平;(2)实验大小(即总的实验次数)n。这时一个实验设计可以用一个矩阵Λ=(λ_(ij))来表示,其含义是: