关于矩阵多项式的新快速算法

设A为n×n矩阵,对于计算矩阵多项式 f(A)=a_0I十a_1A a_2A~2 … a_mA~m (m(?)n)我们给出了工作量为O(mlogn)的快速算法,改进了文[1]和[2]的复杂性结果。     

一类Stiefel流形上极小化问题的低秩解

<正>1引言记冗R~(m×n)为m×n阶实数矩阵集合;A~T表示矩阵A的转置;I_p表示p×p阶单位矩阵.对任意矩阵A=(a_(ij))∈R~(m×n),[A]_(ij)表示A的第ij个元素,即[A]_(ij)=a_(ij);‖A‖_F表示矩阵A的Frobenius范数,且有关系‖A‖_F~2=tr(A~TA),(1.1)其中tr(·)表示矩阵的迹,且有性质tr(A+B)=tr(A)+tr(B),tr(AB)=tr(BA),tr(B~T)=tr(B).(1.2)本文研究如下Stiefel流形上的极小化问题:     

关于误差方差估计渐近正态收敛速度的上,下界

考虑线性回归模型 Y_■=x_4~′β+e_■ i=1,2,…设误差序列■,i≥1满足条件:e_■ i≥1 i.i.d.,Ee_1=0,Ee_1~2=σ~2>0,∞>Var e_1~2=τ~2>0。记■_n~2=1/(n-r){sum from j=1 to n e■-sum from k=1 to r (sum from j=1 to n a_(akj)■_j)~2} δ(n)=τ~(-2)E(■_1~2-σ~2)~2I_((|■-σ~2|≥■τ)+τ~(-3)n~(1/2)|E(■_1~2-σ~2)~3I_((|■_1~2-σ~2|<(nτ)~(1/2))+τ~(-4)n~(-1)E■_1~2-σ~2)~4I_((|■-σ~2|0使得■|P(■_n~2-σ~2)/(Var■_n~2)~(1/2))≤x)-Φ(x)|≤C(δ(n)+n~(-1/2)) ■|P(■_n~2-σ~2)/(Var■_n~2)~(1/2))≤x)-Φ(x)|+n~(-1/2)≥C_1δ(n)。     

数学奥林匹克问题选登

1991年11月号问题解答 (解答由问题提供人给出) 11.设a_1,a_2,…,a_n为正整数,N为整数,解方程[a_1x] [a_2x] … [a_nx]=N。解不失普遍性,可设(a_1,a_2,…,a_n)=1,否则如果(a_1,a_2,…,a_n)=d。令x=dx就转化为这种情况,为了方便, 令 M=a_1 a_2 … a_n, F(x)=[a_1x] [a_2x] … [a_nx]。很明显,F(x)是不减的且F(x 1)=F(x) M。由此可得出,F(x s)=F(x) sM,(s为整数) 如果N=N_1 Ms, 则F(x)=N有解的充分必要条件是F(x)=N_1有解。如果F(x)=N_1的解为a,则F(x)=     

关于矩阵切触有理插值

1 矩阵切触插值连分式 设实区间[a,b]中由不同点组成的插值结点为x_1,x_2,…,x_n,它们的重数分别为a_1,a_2,… ,a_n,M=sum from i=l to n(a_i-1),与之对应的待插值矩阵集为 {A_i~(k):k=0,1,…,a_i-1,i=1,2,…,n,A_i~(k)=A~(k)(x_i)∈R~(d×d)}. 设方阵A=(a_(ij)),它的广义矩阵逆定义为 A~(-1)= A/‖A‖~2 (A≠0) (1.1)     

关于代数特征值反问题对称情况可解的充分条件

§1.引言 本文讨论下述特征值反问题的可解性: 问题 G.设A_0=(a_(ij)~((0)))和A_k=(a_(ij)~((k)))(k=1,…,n)是一组n+1个n×n实对称矩阵,λ_1,…,λ_n是n个不同的实数.求实数c_1,…,c_n使得矩阵A_0+sum from k-1 to n C_k·A_k的特征值为λ_1,…,λ_n. [1]和[2]曾给出此问题可解的充分条件.本文应用Rothe不动点定理[3]给出问题G可解的另外两个充分条件.本文的结果可判定[1]和[2]中定理所不能判定的某些问题     

由谱数据数值稳定地构造实对称带状矩阵

§1.引言 设r,n是正整数并且0r有a_(ij)=0.     

甩瓦累-布然平均逼近连续函数

<正> §1.总说§1.1 设 f(x)∈C_(2π),f(x)～a_0/2+sum form n=1 to ∞ a_ncosnx+b_nsin nx≡sum form n=0 to ∞ A_n(x)记 S_n(f,x)=sum form v=0 to n A_v(x).称σ_(n,p)(f,x)=1/p+1 sum form v=n-p to n S_v(f,x)为 f(x)的瓦累-布然平均.记△_u~kf(x)=sum form v=0 to k (-1)~v(?)f[x+(k-2v)u].称函数ω_k(f,t)=(?)|△~u_kf(x)|为 f(x)的 k 阶连续模.简记ω(f,t)=ω_1(f,t).假如 f(x)的共轭函数     

求解奇异摄动转向点问题的高精度方法

1.引言 本文考察以下奇异摄动转向点问题: Lu≡ε~2u″+xa(x)u′-b(x)u=f(x),x∈I=[-1,1], u(-1)=A,u(1)=B, (1.1)其中参数ε是(0,1]中的常数,函数a(x)∈C~3[I],b(x),f(x)∈C~4[I]且满足a(x)≥a_*>0,b(x)≥b_*>0.在以上假设下,由[1]知,方程(1.1)存在唯一解u_8∈C~5[I]且     

关于Hadamard不等式的再改进

本文提出并改进了文[1]中所给出的几个关于可除环上矩阵行列式的不等式,利用这些不等式我们给出了可除环上任意非奇异矩阵的经典Hadamard不等式的一个再改进. 定义1 设A=(a_(ij))_(n×n)是四元数除环Ω上的矩阵,A=(a_(ij))_(n×n)是A的共轭矩阵,如果A=A,则称A为自共轭矩阵,如果A的各阶主子式均为正实数,则称A为正定自共轭矩阵(文[2]定理4).     

一个数值微分公式的余项(Ⅱ)

设a_0,a_1,…,a_n是实轴或复平面上任意n 1个点。记 ω_(j 1)(x)=multiply from v=0 to j(x-a_v)(j=0,1,…,n),ω_0(x)=1。 (1)以H_n(x)表示以a_0,…,a_n为节点的n次插值多项式, R_n(x)=f(x)-H_n(x)。 (2)对任意k=0,1,…,n关于R_n~((k))(x)用f限定阶数的差商(或导数)来表示的问题,我们在[1]中证明了等式     

再论线性模型中误差方差的二次型估计的可容许性

设有线性模型Y=(y_1,…,y_n)′=Xβ ε=X(β_1,…,β_p)′ (ε_1,…,ε_n)′,(1.1)这里 X 为已知的,n×p 矩阵,n≥p,ε_1,…,ε_n 相互独立,E(ε_i)=0,E(ε_i~2)=σ~2,E(ε_i~3)=0,E(ε_i~4)=3σ~4,i=1,…,n.β∈R~p,0<σ~2<∞均为未知参数.欲估计σ~2,     

广义对角占优矩阵的判定

本文给出了广义严格对角占优矩阵的几个判定条件以及等价表征,这些结论分别推广了[3]与[4]的一些结果。作为约定本文总假设;A=(a_(ij))_n×n 表示复矩阵,∧_k=(?)|a_(kj)|当|a(kk)|≠0时,σ_k=(∧_k)/|α_(kk)|,θ_A={s||a_(ss)|≤∧_s,s∈N={1,2,…,n}},J_A={k||a_(kk)>∧_k,k∈N}     

一阶线性椭圆型偏微分方程组的黎曼-希尔伯特边值问题

<正> §1.引言在作者的文章[1]中,得到了以下一般形式的线性椭圆型偏微分方程组■的哥西公式.本文将在这个结果的基础上,讨论方程组(1.1)的哥西型积分,从而给出它的黎曼一希尔伯特边值问题可解的必要充分条件.方程组(1.1)在所谓标准形式时(即a_(11)=a_(22)=1,a_(12)=a_(21)=0)的边值问题,И.Н.Векуа等已作过详细研究(参看[2]).但当 aij 不可微时,方程组(1.1)一般不能化归为标     

仿射型李代数g(A)的某些自同构群

§0 引言 A=(α_(ij))是n阶广义Cantan矩阵,即A满足:ⅰ)α_(ii)=2,i=1,…n。ⅱ)当i≠j时,α_(ij)是非正整数。ⅲ) a_(ij)=0 α_(ji)=0。 h是复数域C上2n-l维向量空间,h是h的对偶空间。Π={α_1,…α_n},Π分别是h与h中线性无关子集,满足     

一、二阶矩同时估计的可容许性

考虑模型Y=(y_1,…,y_n)′=(β,…,β)′+(ε_1,…,ε_n)′=1β+ε.(1.1)此处1=(1,…,1)′;ε_1,…,ε_n 相互独立,E(ε_i)=0,E(ε_i~2)=σ~2,E(ε_i~3)=0,E(ε_i~4)=3σ~4,i=1,…,n;-∞<β<∞,0<σ<∞.鉴于 β 的最重要的估计量是观察值 Y 的线性函数,σ~2和 β~2+σ~2的最重要的估计量是 Y 的非负定二次型,在考虑 β 的估计时,首先把注意力集中在 Y 的线性函数上;在考虑σ~2或 β~2+σ~2的估计时,首先考虑 Y 的非负定二次型.参考文献[1]在一般线性模型和二次损失下,给出了回归系数的可估线性函数的估计在线性估计类中是可容许的充要条件.参考文献[2]和[3]在模型(1.1)和平方损失下给出了 σ~2的估计在非负定二次型估计类中是可容许的充要条件;而在一般线性模型和平方损失下,给出了 σ~2的估计在非负定二次型估计类中是可容许的必要条件和充分条件,给出了相当大的一类可容许估计;此外,给     

一种求实多项式的根的方法

假设给定了n次实系数多项式 j(z)= a_0z~n+a_1z~(n-1)+…+a_(n-1)z+a_n,a_n≠0,(1)求(1)的全部根已有很多种方法,其中一些有效的方法是同时或依次求出(1)的根的模ρ_1~(v_1),ρ_2~(v_2),…,ρ_t~(v_t),这里v_1+v_2+…+v_t=n.然后依次求出相应的本的幅角,从而得出(1)的全部根.关于这一类方法的细节,可见[1,2]以及[1,2]中所引文献.     

轨形Gromov-Witten不变量沿光滑点的加权涨开公式

本文考虑,当一个紧辛轨形群胚(X,ω)沿着光滑点作加权涨开时,它的形如<α_1,…,α_m,[pt]>_(g,A)~X的轨形Gromov-Witten不变量的变化公式,其中[pt]∈H_(dR)~(2n)(X)是生成元,dimX=2n.我们证明了对于非零A∈H_2(|X|,Z),<α_1,…,α_m,[pt]>_(g,A)~X={_(g_1,pl(A)-e’)~xdimX=4,g≥0,∑((-1)g_1·2)/(2g_1+2)!_(g_2,pl(A)-e’)~xdimX=6,g≥0,_(g_1,pl(A)-e’)~xdimX≥8,g=0其中x是X沿一光滑点的权α=(α_1,…,α_n)的加权涨开,且α_1≥α_i,2≤i≤n.     

m阶等差数列的一个充要条件

文[1]给出并证明了等差数列的一个有益的性质:如果数列a_1,a_2,…,a_(n+1)成等差数列,则当自然数n≥2时,下式总成立a_1-C_n~1a_2+C_n~2a_3-…十(-1)~nC_n~na_(n+1)=0。文[2]证明了等差数列这个性质的逆命题也成立。本文拟将     

一个与Chebyshev多项式有关的极值

C[-1,1]表示[-1,1]上的连续函数空间,‖·‖_(?)是它的一致范数.又a=(a_0,a_1,…,a_n)∈l~(n 1),a_(i)∈R,记|a|_2=(sum from i=0 to n a_i~2)~(1/2).令和本文的主要目的是证明: