Perron的一个关于线性方程组的特征数的定理的推广

O.Perron曾经证明了这样一个定理:若复数域上的线性齐次微分方程组:y_ i(t)=sum from to (n j=1) f_(ij)(t)y_j(t),0≤t<∞,i=1,…,n,(0)满足:(ⅰ)当i≠j时lim f_(ij)(t)=0;t→∞(ⅱ)存在正数C及t。使R_e[f_(j-1,j-1)(t)-f_(jj)(t)]≥C对t≥t。及2≤j≤n成立,那末,方程组(0)的解的第j个特征数λ_j=■ 1/t integral from n=0 to t(Re f_(jj)(τ)dτ,j=1,…,n.)关于这个定理,某些微分方程方面的著作给出了详细的介绍,例如[1.pp.132-146],[2.pp.187-193],等等。本文则推广了这个定理,取消了上述两个对f_(ij)(t)的较为严格的限制条件而代之以一些较为宽容的条件。按照本文的结论,我们(ⅰ)不必要求t-∞时f_(ij)(t)→0,甚至不必要求f_(ij)(t)有界;(ⅱ)不必要求Re[f_(j-1,j-1)(t)-f_(jj)(t)]≥C对某一正数C及t≥t_o成立,甚至不必要求Re[f_(j-1,j-1)(t)-f_(jj)(t)]≥0在t≥t_o之后永远成立,但我们最后仍能根据系数矩阵(f_(ij)(t))给出方程组(0)的特征数的估计式。     

关于不定方程x~3-1=3pqy~2的整数解研究

设pi≡1(mod 6)(1≤i≤s)为奇素数.关于不定方程x3-1=3s∏i=1piy2(s≥2)的初等解法至今仍未解决.主要利用Pell方程的解的性质、递归序列、同余式、平方剩余等证明了p≡q≡1(mod 6)为奇素数,pq≡7(mod 12),(p/q)=1时,不定方程x3-1=3pqy2仅有平凡解(x,y)=(1,0).     

关于Euler函数φ(n)的一个均值估计

本文用解析方法得到了均值估计sum from n≥3 to n≤x 1/logφ(n)=x sum from j=1 to a-a_j/log~jx O(x/log~(a 1)x)其中φ(n)是Euler函数,a为任意自然数,a_1=1,a_2=1-sum from p 1/plog(1-1/p),一般地 a_j=(-1)~(j-1)E~(j-1)(t)|t=0这里 E(t)=1/(t 1) multiply from p(1-1/p)(1 1/p(1-1/p)~(t-1))     

二连通图的最长圈

本文证明:设G为n阶2连通图,D(x)={y|y∈V(G),d(x,y)≤2},d_d~*(x)表示D(x)中所有的点的度排成的非减度序列:d_1~*,d_2~*,…,d_j~*,d_(j+1)~*,…,d_(|D(x)|)~*中当下标j=d(x)时的度。δ_0=min{d(x)|x∈V(G)},D(δ_(i-1))={x|x∈V(G),d(x)≥δ(i-1)}(i=1,2,…,k),δ_i=min{d_(d(x))~*|x∈D(δ(i-1))}(i=1,2,…,k)且δ_0<δ_1<δ_2<…<δ_(k-1)≤δ_k,则C(G)≥min{n,2δ_k}。此外也给出δ_k的算法。     

丢番图方程x~3-1=3Py~2的整数解

设P=∏si=1p_i(s≥2),p_i≡1(mod 6)(1≤i≤s)为奇素数.主要利用同余式、平方剩余、Pell方程的解的性质、递归序列证明了P=pq,p≡13(mod 24)为奇素数,q=12s~2+1(s∈Z~+,2■s)为奇素数,(p/q)=-1时,丢番图方程x~3-1=3Py~2仅有平凡解(x,y)=(1,0).     

关于二元连续周期函数用Vallèe—Poussin和逼近

设Q={(x,y) |-≤x,y<π},△=a~2/ax~2+a~2/ay~2是Laplace算符,函数类△~rH 1, _2(r=0,1,2,……)由C(Q)中有直到2r阶偏导数并满足下述条件的函数f(x,y)组成:记ψ(x,y)=△~r(f)=△(△~r(-1)(f)),(△~o(f)=f),则对任意的-π≤x,x′,y,y′<π,成立着:|ψ(x,y)—ψ(x′,y′)|≤ψ_1(|x—x′|)+ω_2(|y—y′|),其中ω_1(t),ω_2(s)是任意给定的连续模,又f(x,y)∈C(Q),S_i,i(f:x,y)为f的Fourier部分和,而f(x,y)的Vall e-Poussin和是指量σ_(nm)~(kp)(f:x,y)=1/k+1 1/p+l sum from j=0 to sum from i=0 to pSn-j,m-i(f:x,y)文中讨论了量当n.m→∞时的渐近状态,在一定的条件下得到了渐近等式。所得结果是[3]中r=0时结果的推广,同时,简化了[3]中的余项。     

任意矩阵特征值的秩1修正扰动界

设A是一个n阶的任意复矩阵且E是A的Hermite秩1扰动,即E=xx',其中x是n维的复列向量,x'是x的共轭转置向量.则A+E为矩阵A的Hermite秩1修正矩阵.基于矩阵分析理论中Hermite矩阵特征值分布的性质,研究得到了矩阵A特征值的任意Hermite秩1修正扰动的上下界限,即给出了矩阵A+E特征值的上下界限:λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤λ_i(H(A))+u_i(x)+δ'_i(i=1,n),λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤min{λ_i(H(A))+u_i(x),λ_(i-1)(H(A))}+δ'_i(2≤i≤n-1),且λ_(min)(-SH(A)τ)≤S(λ_i(A+xx'))≤λ_(max)(-SH(A)τ)(1≤i≤n),其中δ_i=sgn(‖SH(A)‖_2)[λ_(min)(H(A))-λ_(i-1)(H(A))-u_i(x)],δ'_i=sgn(‖SH(A)‖_2)[λ_(max)(H(A))-λ_i(H(A))-l_i(x)+‖x‖_2~2],gap_i=λ_(i-1)(A)-λ_i(A),i=2,…,n,H(A)和SH(A)分别代表矩阵A的Hermite部分和反Hermite部分,τ=(-1)~(1/2),sgn(·)代表符号函数.当A为Hermite矩阵时,上述结果退化为已有的结果λ_i(A)-‖x‖_2~2≤R(λ_i(A+xx'))≤λ_i(A)+‖x‖_2~2.     

关于改进以素数幂为模的一次同余方程组转换定理的一个注记

设P~l伪任一素数幂,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记X=max(1,|x|),定义(a)p~l为满足(a)_(P~l)=a(mod_(p~l)),—P/2<(a)_(P~l)≤P/2的整数。考察两组对偶的一次同余方程组sum from j=1 to s a_(ij)x_j+X_(1+i)≡0 (modp') (1≤i≤t)(1)与sum from i=1 to t e_(ij)y_i +y(j+t)≡0 (modp') (1≤j≤s)(2)及其适合条件—p~l/2相似文献   

关于一次同余方程组转换定理的推广

设p为任一素数,l、s、t为任意自然数,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记x=max(1,|x|),p_1=[(p~1-1)/2],p_2=[p~1/2],(a)p~1表示(a)p~1量a(modp~1)且-p_1≤(a)p~1≤p_2的整数。考虑对偶一次同余方程组及其满足条件-p_1≤x_v≤p_2,-p1≤y_v≤p_2,1≤v≤s+t的非平凡解x=(x_1,…,x_s,…,x_(s+t))和y=(y_1,…,y_t,…,y_(s+t)),记q=q(a_(11),…,a_(ts))为所有乘积x_1…x_s…x_(s+t)中的最小值,Q=Q(a_(11),…,a_(ts))为所有乘积y_1…y_t…y_(s+t)中的最小值。本文将证明: q与Q满足不等式(Q~(β-1))/q≤(s+t+1)~βp~(β[l(s+t-1)-t]),其中β是适合0≤β≤s+t的任一实数。     

关于递推关系aai-1,j-1＋βai-1,j=ai,j

研究了满足ααi-1,j-1+βαi-1,j=αi,j的序列{αi,j}.用发生函数法得到了n+1阶矩阵A=(αi,j)(n+1)×(n +1)的精确表达式.用数学归纳法证明(1-βx-αxy)-n中一般项xiyj(i≥j)的系数为αjβi-j(i+n-1/n-1)(i j).导出了一些有关二项式系数(n k)的新的组合恒等式.     

关于Hamy平均的一个优化不等式

关于n个正数的k次Hamy平均σ_n(a,k)=1/C_n~k sum from 1≤i1…ik≤n(multiply from j=1 to k a_(ij))~(1/k),利用最值压缩定理,证明了与Hamy平均、算术平均和几何平均有关的一个双向不等式(A_n(a~(1/k)))~(kp)·(G_n(a~(1/k)))~(k(1-p))≤σ_n(a,k)≤qA_n(a)+(1-q)G_n(a),其中q=n-k/n-1和p=n-k/kn-k为最佳,从而得到一个较理想的优化不等式.     

关于递推关系ααi-1,j-1+βαi-1,j=αi,j

研究了满足ααi-1,j-1+βαi-1,j=αi,j的序列{αi,j}.用发生函数法得到了n+1阶矩阵A=(αi,j)(n+1)×(n +1)的精确表达式.用数学归纳法证明(1-βx-αxy)-n中一般项xiyj(i≥j)的系数为αjβi-j(i+n-1/n-1)(i j).导出了一些有关二项式系数(n k)的新的组合恒等式.     

关于丢番图方程x3＋1＝3pqy2的整数解

设P=3i∏pi(s≥2),其中pi=1(mod 6)(i=1,2,…,s)为奇素数.关于丢番图方程x3+1=Py2的初等解法至今仍未解决.主要利用同余式、平方剩余、Pell方程的解的性质以及递归序列证明了:当p≡q≡1(mod6)为奇素数,pq≡7(mod 24),(p/q)=-1时,丢番图方程x3+1=3pqy2仅有平凡解(x,y)=(-1,0).     

关于反周期函数的2-周期(0,p(D))三角插值

目的为了克服以2π为周期的三角插值问题所对应的插值空间Tn,ε(ε=0或1)对平移运算和求导运算不封闭,给出以π为周期的反周期函数的2-周期(0,p(D))三角插值。方法采用不同于Franz-Jurgen Delvos等人(Franz-Jurgen Delvos.BIT,1993,33(1),113-123;Franz-Jurgen Delvos,Ludger Knoche,BIT,1999,39(3):430-450.)的研究方法,通过不断求解给出结果。结果与结论给出了问题正则的充分必要条件及正则时基多项式的明显表达式,即r2v(x)=-(1/n)sum from j=1 to 2n( C2j-1cos(2j-1)(x-x2v)-D2j-1sin(2j-1)(x-x2v))/(Δ2j-1) ,q2v 1(x)=1/n sum from j=1 to n(1/Δ2j-1)[A2j-1cos(2j-1)(x-x2v 1)-iB2j-1sin(2j-1)(x-x2v 1)],其中v=0,1,…,n-1。     

介于欧拉和雅可比的一个结论

设Q(q)=multiply from n=1 to ∞((1-q~n)(|q|<1))欧拉的五边形数定理为 Q(q)=sum from n=0 to ∞((-1)~nq~(n(3n+1))/2)(1-q~(2n+1))雅可比得到Q(q)~3=sum from n=0 to ∞((-1)~n(2n+1)q~(n+1)/2)本文得到Q(q)~2=sum from n=0 to ∞((-1)~nq~(n(n+1)/2)(1-q~(2n+2))p_n(q))其中p_n~h(q)=sum from r=0 to n(q~r(n-r)) 证明:由[1;p.36,eq.(3.3.6)] sum from j=0 to N((Q)_v/(q)_1(q)_(n-j)(-1)~iZ~iq~(j(j-1)/2))=(z)_N. (1)及[1;p.19,Cor.2.3.α=b=0,i=q,c=q~(2r+1)]     

带可变核奇异积分算子的交换子在Herz型Hardy空间上的有界性

主要讨论一类带可变核奇异积分算子的交换子Tbf(x)=p.v.Rn∫K(x,x-y)(b(x)-b(y))f(y)dy从齐次Herz型Hardy空间HKq,bn(1-1/q)+δ,p(Rn)到齐次弱Herz型空间WKnq(1-1/q)+δ-β,p(Rn)的有界性,及从齐次Herz型Hardy空间HKq,bα,p(Rn)到齐次Herz型空间Kqα-β,p(Rn)的有界性.     

dx_i/dt=-a_(ii)(t)f_(ii)(x_i)+sum(a_(ij)(t)f_(ij)(x_j)) from j=1(j≠i) to n 的解的全局稳定性

讨论了系统dx_i/dt=-a_(ii)(t)f_(ii)(x_i)+sum(a_(ij)(t)f_(ij)(x_j)) from j=1(j≠i) to n(i＝1,...,n),应用大系统的分解理论,得到了该系统零解全局稳定的充分条件.此条件简明扼要,容易验证,实用方便.     

以有限域上的多项式为模的原根

本文证明了定理 设F是一个特征为P的含P~a个元的有限域.f(x)=f_1(x)~l1…f_k(x)~lk是f(x)在多项式环F[x]中的标准分解式,f_i(x)是最高系数为1、次数为n_i的不可约多项式.那么f(x)有原根的充分必要条件为当p≥3时:k=1同时l_1=1,α及n_1为自然数或k=1同时l_1=2,α=n_1=1;当P=2,k=1时:l_1=1,α及n_1为自然数或l_1=2,α=n_1=1或l_1=3,α=n_1=1;当P=2,k>1时:α=1以及下面五种情形之一:一、f(x)=x~2f_1(x)…f_(k-1),这里(x,f_i(x))=1,(n_i,n_j)=1,i≠j;二、f(x)=(x+1)~2f_1(x)…f_(k-1)(x),这里(x+1,f_i(x))=1,(n_i,n_j)=1,i≠j;三、f(x)=x~3f_1(x)…f_(k-1)(x),这里(x,f_i(x))=1,(n_i,n_j)=1,i≠j;四、f(x)=(x+1)~3f_1(x)…f_(k-1)(x),这里(x+1,f_i(x))=1,(n_i,n_j)=1,i≠j;五、f(x)=f_1(x)…f_k(x),这里(n_i,n_j)=1,i≠j;     

关于递推关系αa_(i-1,j-1) βa_(i-1,j)=a_(i,j)

研究了满足ααi-1,j-1 βαi-1,j=αi,j的序列{αi,j}.用发生函数法得到了n 1阶矩阵A=(αi,j)(n 1)-(n 1)的精确表达式.用数学归纳法证明(1-βx-axy)中一般项xiyi(i≥j)的系数为αjβi-j i n-1 n-1 ij.导出了一些有关二项式系数(nk)的新的组合恒等式.     

Maclaurin不等式的最优化加强

设A(x) ,G(x) ,∑kn(x)分别为n个正实数x1 ,… ,xn 的算术平均 ,几何平均 ,k次对称平均 本文证明了使不等式 (A(x) ) p(G(x) ) 1 -p ≤ ∑kn(x)≤qA(x) + ( 1-q)G(x)成立的p的最大值是pn,k =n -kk(n - 1) ,q的最小值是qn ,k =nn - 1k1- kn .其中 2 ≤k≤n- 1.