实对称矩阵的某些不等式

1980年,Bellman,R.在文〔1〕中证明了下面的不等式 tr(AB)≤{tr(A~2)tr(B~2)}~(1/2) (1) 2tr(AB)≤tr(A~2)+tr(B~2) (2)这里A,B是同阶正定矩阵。 本文得到了与(1)、(2)类似的不等式 tr((AB)~m)≤{tr(A~(2m))tr(B~(2m))}~(1/2) (3) 2tr((AB)~m)≤tr(A~(2m))+tr(B~(2m)) (4) 其中A、B是同阶实对称矩阵,m=2~k(k为非负整数)     

Hermite矩阵迹的一个不等式

对于n阶半正定Hermiter矩阵A和B及自然数m,本文证明了不等式:tr(A~(1/2)BA~(1/2))~(m/2)(B~(1/2)AB~(1/2))~(m/2)≤tr(AB)~m≤tr(AB~2A)~(m/2)特别当m=2~K时,Bellman猜想成立,即有tr(AB)~(2k)≤trA~(2k)B~(2k)     

关于半正定矩阵初等和完全对称函数的一些不等式

对于n阶半正定矩阵A ,B的初等和完全对称函数 ,得到如下的不等式 :　Er[(AB) m]≤Er(AmBm) ,　hr[(AB) m]≤hr(AmBm) ,　Er[AαB1-α]≤ [Er(A) ]α[Er(B) ]1-α,　hr[AαB1-α]≤ [hr(A) ]α[hr(B) ]1-α.其中 ,m是任意正整数 ,0≤α≤ 1,Er(A) ,hr(A)分别为半正定矩阵A的r阶初等和完全对称函数。当A ,B都是正定矩阵时 ,有　E2 r(A B)≤Er(A)Er(B) ,　h2 r(A B)≤hr(A)hr(B) .其中 ,A B =A1/ 2 (A-1/ 2 BA-1/ 2 ) 1/ 2 A1/ 2 称为A与B的几何平均矩阵     

关于系统可靠性的一个不等式的证明

在本文中,对不等式[1-(1-P)~m]~n>1-(1-P~n)~m 进行了研究。其中,0相似文献   

正交函数级数绝对求和

正交函数级数绝对求和的讨论,我们所见到的最早的是唐多利[1]证明的定理A。对任何有限区间上的就范正交函数系{ψ_n(x),正交函数级数∑a_nψ_n(z) (1) 都是几乎处处|c,1|可和的充要条件是∑A_m<∞(2) 其中A_m(a_(2~m 1)~2 …a_(2~m 1)~2)~1/2,(m=0,1,2,……)。拉因特娄儿[2]证明定理B.正交函数级数∑a_nψ_n(x)是|c,a|(-1相似文献   

构造随机试验解代数问题

巧妙地构造随机变量解代数问题,不但使一些复杂的公式命题具体化,而且使枯燥的数学公式命题趣味横生.本文将通过数例分析概率论在解决代数问题中的一些应用.1 在排列组合方面的应用例1 求证 C_(n-1)~(n-1) C_n~(n-1) C_(n 1)~(n-1) … C_(n-1 m)~(n-1)=C_(m n)~n(=C_(m n)~m).证明原式可变形为C_(n-1)~0 C_n~1 C_(n 1)~2 … C_(n-1 m)~m=C_(n m)~m,即 sum form r=0 to m C_(n-1 r)~r/C_(n m)~m=1.构造概率模型如下:在 n 1个可分辨的盒中放     

椭圆曲线y~2=x(x-2~m)(x+q-2~m)的非平凡奇数点

设m是正整数,q和q-2~m是奇素数.本文运用初等数论方法证明了:椭圆曲线y~2=x(x-2~m)(x+q-2~m)有适合2(?)x以及y≠0的整数点(x,y)的充要条件是:m2且q=n~2+(2~(m-2)+1)~2,其中n是偶数.当此条件成立时,该椭圆曲线仅有整数点(x,y)=(-(2~(m-2)-1)~2,±(2~(2m-4)-1)n)适合2(?)x以及y≠0.     

广义边冠图的Normalized Laplacian谱

设G和H_1,H_2,…,H_m是简单图,其中G的边数为m.对每一个i∈{1,2,…,m},把G的第i条边的每一个顶点与Hi的每一个顶点相连,得到的图记为G[Hi]_1~m,称为由G和H_1,H_2,…,H_m得到的广义边冠图.主要研究了G[Hi]_1~m的normalized Laplacian谱,计算了G[Hi]_1~m的degree-Kirchhoff指标和生成树的数目.     

关于除环上矩阵秩的几个等式

推广和改进了文[2]的一些结果,建立了除环K上关于幂等矩阵秩的几个等式:(i)设A,B∈Pn(K),则r(A+B-AB)=r-r(B)=r(B)+r[AB B0]-r(B)=r(B)+r[(I-B)A(I-B)];(ii)设c}K≠2,A,B∈Pn(K),则(1)r(A+B)=r[AB B0]-r(B);(2)r(A+B)=r(B)+r[(I-B)A(I-B)];(iii)设chK=2,A,B∈Pn(K),则 r(A+B)=r(A+AB)+r(B+AB).并得到几个推论.     

关于半正定矩阵等和完全对称函数的一些不等式

对于n阶半正定矩阵A,B的初等和完全对称函数,得到如下的不等式,Er[(AB)^m]≤Er(A^mB^m),hr[(AB)^m]≤(A^mB^m),Er[A^aB^1-a]≤[Er(A]^a[Er(B)]^1-A,HR[A^aB^1-a]≤[hr(A)]^a[hr(B)]^1-a.其中,m是任意正整数,0≤a≤1,Er(A),hr(A)分别为半下定矩阵A的r阶初等和完全对称函数。当A,B都是正定矩阵时,有E^2r(A#B)≤Er(A)Er(B),h^2r(A#B)≤hr(A)hr(B),其中,A＃B＝A^1/2BA^-1/2)^1/2A^1/2称为A与B的几何平均矩阵。     

关于f-P~n[f']的值分布

讨论了f-P~n[f']的值分布问题,得到关于Hayman问题的一个推广:定理1 设f为超越亚纯函数,a_j(j=1,2,…,m-1)为f的小函数,m,n,为自然数.记P[f']=(f')~m+a_1(f')~(m-1)+...+a_(m-1)f'则当n≥3时,,f-P~n[f']取任意有穷复数无穷多次.     

关于半正定矩阵初等和完全对称函数的一些不等式

对于n阶半正定矩阵A,B的初等和完全对称函数,得到如下的不等式Er[(AB)m]≤Er(AmBm),hr[(AB)m]≤hr(AmBm),Er[AαB1-α]≤[Er(A)]α[Er(B)]1-α,hr[AαB1-α]≤[hr(A)]α[hr(B)]1-α.其中,m是任意正整数,0≤α≤1,Er(A),hr(A)分别为半正定矩阵A的r阶初等和完全对称函数.当A,B都是正定矩阵时,有E2r(A#B)≤Er(A)Er(B),h2r(A#B)≤hr(A)hr(B).其中,A#B=A1/2(A-1/2BA-1/2)1/2A1/2称为A与B的几何平均矩阵.     

2^m（2k＋1）^2阶平方幻方的构作方法

本文给出了构造2~m(2k+1)~2’(m≥3,k=1,2,…)阶平方幻方的一种方法,类似地构造了一个七十二阶双重幻方,提出了关于2~m(2k+1)~n(m≥3,n≥2,k=1,2,……)阶双重幻方存在的猜想。     

二项式系数与Fibonacci数4m次幂的关系

若■=n!/(i!(n-i)!)(n,i∈N~*且n≥i)表示二项式系数,第l个Fibonacci数为F_l,其中,l是非负的整数;对任意正整数n和非负整数k,数列{■}_(i=0)~n和{F_(k+i)~p}_(i=0)~n的卷积为f(k,p,n)=■F_k~p+■F_(k+1)~p+…+■F_(k+n)~p.论文利用初等数论方法证明了p=4m(m∈N~*)时,等式f(k,4m,n)=1/25~m[L_(2m)~n·L_(4mk+2mn)+C_(4m)~1(-1)~(k+n+1)L_(2m-1)~nL_((4m-2)k+(2m-1)n)+C_(4m)~2L_(2m-2)~n L_((4m-4)+(2m-2)n)+C_(4m)~3(-1)~(k+n+1)L_(2m-3)~nL_((4m-6)k+(2m-3)n)+…+C_(4m)~(2m)·2~n]成立.     

含负折射率介质的光子晶体量子阱的透射谱特性研究

构建具有双量子阱结构的一维光子晶体(AB)m(CD)n(AB)m(CD)n(AB)m的物理模型[(AB)5(CD)n]2(AB)5,考虑介质为正折射材料或负折射材料情况,利用传输矩阵法对不同的n取值及C、D材料进行色散关系和透射能带谱的数值计算与分析,揭示光子遂穿多量子阱结构时谱线条数及其分裂的规律性.结果表明,当重复...     

关于二项分布的Poisson逼近

当n相当大,P很小,而λ=uP大小适中时,二项分布可用下式近似: b(m;n,P)=C_n~mP~m(1-P)~(n-m)≈(λ~m)/(m!)e~(-λ) (A)这就是著名的二项分布的Poisson逼近。本文给出了在上述条件下的一个新的近似公式 b(m;n,P)≈(λ~m)/(m!)e~(-λ){1 (m-(m-λ)~2)/(2n)} (B)对这个公式进行的理论分析和实际计算表明,式(B)比式(A)具有高得多的精确度。本文还讨论了二项分布的Poisson逼近的绝对误差和相对误差,给出了使其绝对误差和相对误差都收敛于0的充要条件。     

一类常微分算子Green函数的递推关系

1.微分算子的递推关系给定[a,b]区间上的函数组{(?)_i(x))_(i-1)~m,(?_i)(x)(?)C~m[a,b],i=1,2,…,m.(?)W((?)_1(x),…,(?)_i(x))≠0,i=1,2,…,m, (1.1)其中W((?)_1(x),…,(?)_i(x))表示函数组(?)_1(x),…,(?)_i(x)的Wronsky 行列式.由{(?)_i(x)}_(i=1)~m 可以定义线性微分算子     

具临界指数的Baouendi-Grushin方程显式整解及Sobolev嵌入常数

给出了具临界指数的Baouendi-Grushin方程Pu=-uQQ+-22的显式解为u=c[(2|z|2)2+4|t|2]-Q4-2,其中P=Δz+|z|2Δt为α=1时的广义Baouendi-Grushin算子,z∈Rn,t∈Rm,Q=n+2m为齐次维数,c=[(Q-2)n2]Q4-2,>0.本文还由此导出算子P的精确Sobolev不等式中的嵌入常数为S=2Qmπ-2(nn++2mm){n[n+2(m-1)]}21×Γ(n+m)Γ(n+2m)1n+2m,极值函数为[(1+|z|2)2+4|t|2]-41.当n=m=1时,本文的结论与Beckner[4]的结果一致.     

一个新的超塑性的m-δ~*关系式

在本文中,在m-δ~*关系研究的评述[1]的基础上,以σ=k∈~m式为根据,推导出了一个新的关于超塑性的m-δ~*关系式如下: δ_F(%)=[C_F∈~(m_F-m_0)-1]×100(试棒拉断)或δ_I(%)=[C_I∈~(m_I-m_0)-1]×100(拉伸过程中)其中∈为真应变速率(min~(-1)或S~(-1))m为应变速率敏感性指数。C_F=R_F/k_0,C_I=k_I/k_0。应变速率敏感性指数m和系数k均随应变(δ)的增加而变化[1」。m_0(≠0),m_I(m_(I1),m_(I2),m_(I3)……),m_F;k_0(≠0),k_1(k_(I1),k_(I2),K_(I3)……),k_F是分别和试棒的起始延伸率δ_0(=0.00%),拉伸期时各个阶段的延伸率δ_I(δ_(I1),δ_(I2),δ_(I3)……),拉断时的总延伸率δ_F相对应的各个数量。采用国外学者们公开发表的关于六种材料的试验结果进行的验证,是令人满意的。     

关于(0,1)Hermite插值

关于结点组{x_中}_1~(民+1)C[-1,1],我们考虑2n+1阶的Hermite插值过程H_(2n+1)(f,x):C_([-1,1]~1→C_[-1,1]~1。众所周知,并非对任何函数f(x)∈C_[-1,1]~1,都存在在[-1,1]上一致地成立。 现在取{x_k=cos[(2k-1)π/(2n+1)]}_1~(n+1),此时的2n+1阶Hermite插值过程H_(2n+1)(f,x),有,‖H′_(2n+1)(f,x)‖=O(n‖f′‖),其中‖f′‖=(?)|f′(x)|,因此对于函数f(x)∈C_([-1,1]~2,(1)式在[-1,1]上都一致地成立。记