Hermitian矩阵不等式(英文)

考虑复数域上n阶定正的Hermitian方陣。本文結果基于凸函数的一个引理2.1。假定(?)是E~n上的一个凸域,而Φ(x)=Φ(x_1,x_2,…,x_n)是(?)上对称連續凸函数,若x,y∈(?)且滿足(1.1)(x)<(y),則Φ(x)≤Φ(y)。若A,B皆定正,a_1≥a_2≥…≥a_n,b_1≥b_2≥…≥b_n与c_1≥c_2≥…≥c_n分别为A,B与C=A B的特征根,Φ于(?)={x=(x_1,x_2,…,x_n)|x_i>0 i=1,2,…,n}上滿足引理2.1条件且Φ(λx)=λΦ(x) (对任实λ),則Φ(c)≤Φ(a) Φ(b). 习知Φ=(sum from i=1 to n x_i~p)~(1/p),(p>1);sum from i=1 to ∞x_i~p/sum from i=1 to ∞x_i~(p-1),(11)而当p<1(p(?)0)时,上述不等式反号(定理3.6)。若对p取极限导出著名的Minkowski不等式;定理5.1 tr(A B)~p/tr(A B)~(p-1)≤trA~p/trA~(p-1) trB~p/trB~(p-1),(11,q=p/p-1。当p<1(p(?)0)。正文中,經上式直接导出定理3.5与3.6。本文得到的其他結果,例如定理3.1 tr(AB)≤(trA~p)~(1/p)(trB~q)~(1/q),(p>1,1/p 1/q=1)及当p<1(p(?)0)时,不等式反号(定理3.2)以及定理8.1d(r AB)≥(1 1/tr(AB)/n)~nd(A)d(B)等也是有趣的矩陣不等式。     

Neumann级数积分定理的一般形式

本文的主要结果是证明了下述定理定理:设f(x)=sum from n=0 to ∞a_nJ_n(x)的收敛半径不小于1,其中a_n终规为正,即存在正整数N,当n≥N时,有a_n≥0。且sum from n=0 to ∞a_nJ_n′(1)=…=sum from n=0 to ∞a_nJ_n~(h-1)(1)=0 记δ_n=(a_n)/(2~nn!) 则当∞=k时,I(k)存在的充要条件是∑n~(h-1)δ_nlogn收敛。当k<ω相似文献   

愉快图的充分条件

本文给出了一个n个顶点的圈C_n:x_1 x_2 x_3……x_n x_1加上两条边K_(k1) x_(k2),x_(k_1) x_(k3)(其中k_3=k_2+2,k_2=k_1+k-1)是愉快图的充分条件,并完成了它们的证明。     

等差数列的两个充要条件

我们知道,如果{a_n}为等差数列(以下简记为A·P),那么它的通项和前n项和分别是: a_n=a_1 (n-1)d ① S_n=na_1 n(n-1)d/2 ② 整理,得 a_n=d_n (a_1-d) ③ S_n=d/2n~2 (a_1-d/2)n ④ ③、④二式表明:当d≠0时,A·P的a_n是n的一次式,S_n是n的二次式;当d=0时,A·P的a_n是常数,S_n是n的一次式。 现在的问题是:如果一个数列的通项a_n=kn b(k,b为常数),那么这个数列是否是A·P?如果前n项和S_n=pn~2 q~n r,这个数列是否是A·P?下面的两个定理分别解决了这个问题。 定理1 数列{a_n}为A·P的充要条件是:a_n=kn b(其中k,b是常数)。     

关于MYCIELSKI方程的推广

Jan Mycielski 曾研究一类不定方程:x~xx~y=Z~z;x~xy~zZ~y=x~yy~z=z~x。本文将来上述方程推广为x_1~(x_2)x_2~(x_3)………x_k~(x_y) x_2~(x_1)=1(?),x>2,z>1,k≥3x_1~(x_1)x_2~(x_3)x_3~(x_4)………x_(k-1)~(x_(k-1))x_(k-1)~(x_k)=x_k~(x_2),x~2>1,k≥3x_1~(x2)x………x_(k-2)~(xk-1)x_(k-1)~(xk)=x_k~(x1),x_2>1,k≥3对于这些方程,我们分别地给出整数解(6-1)、(6-2);(7-1),(7-2)和(8-1),(8-2)。     

判别Hamilton图的一个方法

本文研究寻找Hamilton的圈的一个方法,证明了如下定理:设G是单图,V(G)={V_1,V_2,…,V_n},则G是Hamilton图的充分必要条件是X_(ki)取1或0时,方程组(*)有解,其中sum from i=1 to n sum from j=1 to n x_(ki)x_(k+1)jV_iV_j=1而x(n+1)j=x_(1j) sum from i=1 to n x_(ki)~2=1 sum from i=1 to n x_(ik)~2=1 而V_iV_i=1 当V_i和V_j邻接时, 0 当V_i和V_j不邻接时。     

幂级数与勒襄特级数的积分定理

令设且其收敛半径至少为1。令S_n=c_0+c_1+c_2+…+c_n。我们有下述定理: 定理1 设ω为实常数。如果s_n终归不变号,则I(ω)存在的充要条件是∑n~(ω-2)S_n收敛。设这里P_n(x)为勒襄特多项式。令我们有下述定理: 定理2 设当n→∞时, c_m=o(n~(1/2)),B_n=o(1)。如果ΔB_n终归不变号,则当0<∞<1时,I(ω)存在的充要条件为∑n~(2ω)ΔB_n收敛。     

奇异Ulam集的判定

如果允许 1次说谎的 Ulam 集 U~(1)=(x_1,x_0)为 n 可解,则恒有x_1(n 1) x_0≤2~n(见[3]命题3(ii)).现设 U~(1)的解为 k,又设 l=min(x_1(n 1) x_0≤2~n),本文证明,k=l 当且仅当 x_1为奇数且 x_0相似文献   

次序统计量分布的参数识别

设x_1,x_2,…,x_n是n个相互独立的随机变量,第k个(1≤k≤n)次序统计量x(k)的分布是否能唯一决定每个随机变量x_i(i=1,2,…,n)的分布,当k=n时,Anderson TW等对一定类型的随机变量作出了肯定的回答。本文将对一定类型的相互独立同分布(i.i.d.)的随机变量,研究k为任意正整数(1≤k≤n)时上述提出的问题。     

差分方程xn+1=(α+B1xn-1+B3xn-3+…+B2k+1xn-2k-1)/(A+B0xn+B2xn-2+…+B2kxn-2k)的动力学

考察差分方程x_(n 1)=(α B_1x_(n-1) B_3x_(n-3) … B_(2k 1)x_(n-2k-1))/(A B_0x_n B_2x_(n-2) … B_(2k)x_(n-2k)),n=0,1,…的动力学行为,在4种情形下分别讨论方程解的性质.     

第五章 射影簇的次数

§5A.deg(X)、mult_xX、Blow—upB_r(X)的定义,投射的影响;例题。令 X~rP~n 为 r 维的簇,X 的次数乃是交点的个数,此交点乃是几乎所有线子空间 L~(n-r)P~n 与 X 相交的交点。(y~s 表 S—维簇)(5.1)定理.对一切子簇 X~rP~n 存在整数 d≥1 以致若 L~(n-r)P~n 为线性空间满足下列:a)L∩X=有限集{x_1,…,x_k)b)_i,x_i 为光滑于 X 上,而 T_(xi),P~n 的2个子空间T_(xi),x,T_(xi),_L 在0处相交。则 k=d。     

含幺交换环R上有限生成模不同基的势相等的证明

定理设R为含幺的交换环,S和T是有限生成自由R—模M的两个基,则|S|=|T|。证法1 设S={x_1,x_2,…,x_n},T={y_1,y_2,…,y_m}为R—模M的两个不同基。由于R是含幺交换环,知存在R极大理想m,使k=R/m为域。下边考虑R—模M的子模:而M/mM可视为R—模,但,故M/mM可作为R/m—模。另一方面,S={x_1,x_2,…,x_n}是M的基,可知是R/m—模M/mM的生成元而且是k=R/m线性无关的。     

压缩映象原理的扩充

本文的主要结果是下列定理,它是压缩映象原理和裴鹿成的定理的推广. 定理设f是把完备距离空间X的元素变为X的元素的连续变换,从x_0出发,取x_(n 1)=f(x_n),设序列{x_n}满足σ(Sk,N_(k 1))≤ασ(S_(k-1),N_k),k=1, 2,3……其中σ(n,m)=max σ[x_(n j),x_(n j 1)], o≤j相似文献   

多调和算子组的谱估计

设Ω是R~m(m≥2)中一个有界区域,考虑多调和算子组的特征值问题AΛ(△)u~T=λu~T,x∈Ωu~k=(?)u~k/(?)n=…=(?)~(k-1)u~k/(?)n~(k-1)=0,x∈(?)Ω,k=1,2,…,N其中,u=(u~1,u~2,…,u~N),n是(?)Ω的单位外法向量。将特征值按增加的顺序排列为0<λ_1≤λ_2≤…≤λ_n≤…则成立如下不等式λ_(n 1)≤λ_n 4/m~2n~2(sum from i=1 to n sum from h=1 to N λ_i~(1/k))(sum from i=1 to n sum from k=1 to N k(2k m-2)λ_i~(1-1/k)) sum from i=1 to n sum from k=1 to N λ_i~(1/k)/λ_(n 1)-λ_i≥m~2n~2/(sum from i=1 to n sum from k=1 to N 4k(2k m-2)λ_i~(1-1/k))     

一些与置换群有关的不等式

本文証明了下面的定理1,并应用置換群給出Karamata不等式,Muirhead不等式的一种新的証明。設x=(x_1,x_2,…,x_n)为n維空間中的点。G为集合{1,2,…,n}上的n元置換群。G的元素用ρ、σ、τ、等表示,ρ∈G,ρx=(x(ρ1),x_(ρ2),…x_(ρn),其中ρ_k=ρ(k)。记x的G軌道为Gx,Gx的凸包为H(Gx)。定理1.設φ_1、φ_2、…、φ_n、为R→R的連續、凸函数,如果     

关于Gauss-Seidel迭代法的收敛准则

在文[1]的定理2中,给出了当 a=sum from(i=1)to n a(i)<1时,有 Gauss—Seidel 迭代法收敛.本文是在当 a=sum from(j=1)to n a(j)≥1的情形下,给出新的判别准则。它放宽了文[1]中定理2的判别条件。设线性方程组X=AX+b (1)存在唯一解 x~*=(x_1~*,x_2~*,…,x_n~*)~T,则(1)的 Gauss—Seided 迭代程序为:(2)本文的主要结果:     

关于凸函数中一个定理的证明

一般凸函数是由f(x_1+x_2/2)≤1/2[f(x_)1+f(x_2)]…(1)来定义的。在函数连续时也有用f(sum from n=1 to n λ_ix_i)≤sum from n=1 to n λ_if(x_i),λ_i为实数,而sum from n=1 to n λ_i=1…(2)来定义。但当函数连續时,由(1)可(?)(2)这是一个定理。现在用实数的二进位表示法和有限归纳内法来证明这个定理。     

关于级数几个问题的研究

1 求幂级数的收敛域应注意的问题1.1 不要忽视缺项的幂级数例∑(x~(n~2))/2~n解一由“柯西—阿达玛”定理∴R=1/ρ=1 且 x=±1时,级数收敛,从而∑(x~(n~2))/2~n收敛域为[-1,1].     

一类含有二次项的高阶有理差分方程的全局行为

本文给出方程x_(n+1)=x_nx_(n-k)αx_n+βx_(n-(k+1))的奇点集及解的表达式,并讨论了该方程解的全局行为,其中k∈N,n∈N∪{0},α,β都是实数,初始值(x_(-(k+1)),x_(-k),…,x_0)∈R~(k+2).     

临界点附近轨线的拓扑结构

我们考虑二阶自治系统 x′_1=P(x_1,x_2),x′_2=Q(X_1,x_2) (1)其中P、Q是(x_1,x_2)平面E_2上某开集D中x_1x_2的实连续函数,D内系统(1)的任意解设为x_1=x_1(t) x_2=x_2(t),在最大区间α相似文献