椭圆元在维数公式中的贡献

主要算出SU(n,1)中正规椭圆元g的共轭类在维数公式中的贡献N(g)=λn-(n+1)m/|C(g)|(λ-λ1)(λ-λ2)…(λ-λn)'其中m≥2,Bn表示n维超球,SU(n,1)是Bn的自同构群且在Bn上可迁;不失一般性,上式中g=对角阵(λ1,…,λn,λ)(其中λi≠λ,i=1,2,…,n).     

标准Jacobi矩阵的混合型特征反问题

0 引言 本文讨论如下标准形式的Jacobi矩阵 其中a_i>0(i=1,2,…,n),b_i>0(i=1,2,…,n-1)。 对于Jacobi矩阵(对称三对角矩阵)的特征反问题,已有的成果[1],基本上集中在由两组频谱或两个特征对(指特征值及相应的特征向量)构造Jacobi矩阵的元素这样两类问题上,习惯上称之为频谱型或特征向量型反问题。本文提出且求解了第三类型——混合型特征反问题。即由一组频谱数据和一个特征向量构造矩阵元素的问题: 问题Ⅰ 给定正数λ~(1),λ~(2),…,λ~(n)和实向量x=(x_1,x_2,…,x_n)~T,其中x_1=1。构造一个标准形式的Jacobi矩阵J,使其第k阶顺序主子阵恰以λ~(k)(k=1,2,…,n)为其特征值。且(λ~(n),x)为其特征对。 问题Ⅱ 给定正数0<λ_1~(n)<λ_1~(n-1)<…<λ_1~(1)和正向量x=(x_1,x_2,…,x_n),其中x_=,x_k>0(k=2,…,n),构造一个标准形式的Jacobi矩阵J,使其第K阶顺序主子阵恰以λ_1~(k)为其最小特征值,而(λ~(n),x)为J的特征对。 问题Ⅲ 给定n个实数0<λ_1)<λ_2<…<λ_n和m个实数λ~(1),λ~(2),…,λ~(m)及m维向量x=(x_1,…,x_m)~T。构造n阶标准形式的Jaeobi矩阵J,使其第K阶顺序主子阵恰以λ~(k)(k=1,2,…,m)为其特征值,而(λ~(m),x)为第m阶顺序主子阵的特征对,且λ_k(k=1,2,…,n)为J的特征值。这里系大于或等     

常系数线性方程组的一种新解法

对于常系数线性微分方程组:dx/dt=Ax(A是n阶实常数矩阵)通过特征根λ和对应的特征行向量K:K~T(A-λE)=0将微分方程组化为线性方程组:1°当有n个互异的特征根λ_1,λ_2,…,λ_n,对应的线性无关的特征行向量为K_1,K_2,…,K_n,若记K_i=(k_1,k_2,…,k_n)(i=1,2,…,n),则有方程组:(n∑i=1 k_ix_i)′=λ_j(n∑i=1 k_ix_I)(j=1,2,…,n);2°当有不同的特征根λ_1,λ_2,…,λ_m其重数分别为n_1,n_2,…,n_m,n_1+n_2+…+n_m=n,对应的线性无关的特征行向量为K_i=(k_1,K_2,…,k_n)(i=1,2,…,m),则有方程组:(n∑i=1 k_rx_r)′=λ_k(n∑i=1 k_rx_r)((A-λ_jE)x_(n_i)=0;i=1),(n∑i=1 k_rx_r)′=λ_j(n∑i=1k_rx_r)+c_(n_i)e~(λ_jt)((A-λ_kE)x_(i-1)=Ex_i,i=2,…,n_i).     

用“化成等差数列法”求自然数列方幂和

定理 如果Sn=1^m+2^m+3^m+…+n^m(m∈N）,那么存在g(n)=λ1n^(m+1)+λ2n^m+λ3n^(m-1)+…+λmn^2和常数k,使数列{Sn-g(n)}成为公差为k的等差数列,其中λi(i=1,2,…,m)和k由下述方程组给出：     

不等式研究成果集锦(17)

20 2　设 xi >0 ,i =1,2 ,… ,n,n≥ 2 ,∑ni= 1xi =1,记 Ek(x) =Ek(x1 ,x2 ,… ,xn) =∑1≤ i1 <… 0 )时 ,有Ek(1x1 - m,… ,1xn - m)≥ Ckn(n - m) k.(续铁权 .2 0 0 1,1)2 0 3　设 Ai >0 ,λk>0　 (i =1,2 ,… ,n;k = 1,2 ,… ,n) ,∑ni=1Ai ≤π,n∈ N.(1)若 0≤λ≤ 1,有C2n(1-λ21 λ2 ) 2 (λπ) 2 ≤ (n - 1 cosλπ) .∑nk= 1cos2 λAk - cosλπ(∑ni=1cosλAi) 2 ≤ C2n(λπ) 2 ,等号同时成立当且仅当λ=0 .(2 )若 0≤λ≤ 1,有4λ2 C2ncos2 λ2 π≤ (n - 1 cosλ…     

关于变量个数的几个单调函数

目前 ,人们对比较变量大小之间关系的不等式较为关注 ,但是 ,笔者发现 ,有一些不等式在变量的定义域内 ,经过变量置换 ,可以得到关于变量个数的一些单调函数 .为了讨论方便 ,设实函数 f(x)的定义域为x∈(a ,b) ,实数Pi>0 (1≤i≤n) ,n∈N .记λn=∑ni=1Pi,An=∑ni=1Pixi/λn,Bn=∑ni=1Pif(xi) /λn.定理　若 f(x)在区间 (a ,b)上为凸函数 ,则φ(n) =λn[f(An) -Bn]是n的递增函数 .证　设x′i∈ (a ,b) ,根据凸函数定理有f(A′n)≥B′n (1)A′n=∑ni=1Pix′i/λn,B′n=∑ni=1Pif(x′i) /λn.令x′1=x′2 =… =x′n - 1=An - 1,x′n=xn…     

任意阶Laplace算子的特征值估计

设D为n维Euclid空间Rn的一个有界区域,且0＜λ1≤λ2≤…≤λk≤…是l阶Laplace算子的Dirichlet问题{(-△)lu=λu, 在D中,u=(e)u/(e)n=…=(e)l-1u/(e)nl-1=0,在(e)D上的特征值.得到了该问题用其前k个特征值来估计第(k+1)个特征值λk+1的不等式k∑i=1(λk+1-λi)≤1/n(4l(n+2l-2)]1/2{k∑i=1(λk+1-λi)1/2λil-1/lk∑i=1(λk+1-λi)1/2λi1/l}1/2,此不等式不依赖于区域D.对l≥3,上述不等式比所有已知的结果都要好.陈庆民与杨洪苍考虑了l=2的情形.我们的结果是他们结果的自然推广.当l=1时,我们的不等式蕴含杨洪苍不等式的弱形式.文中还给出了陈和杨的一个断言的直接证明.     

Mn(C)中的不可约性

对于Mn(C)(所有n×n矩阵的全体)中的不可约矩阵得到以下结果:对于任意A∈Mn(C),设λ1,λ2,…,λm为A的所有特征值,这里m≤n而且当i≠j时,λi≠λj.则A是不可约的当且仅当任意P∈A'(A),P*=P=P2,有σ(P|ker(A-λ1))=σ(P|ker(A-λ2))=…=σ(P|ker(A-λm))为单点集.     

一个代数不等式的加强

近两年,在众多刊物上,载有不等式: multiply from i=1 to n(x_i+1/x_i)≥(λ/n+n/λ) (*)这里x_i∈R~+(i=1,2,…,n),x_1+x_2+…+x_n=λ≤n,仅当x_1=x_2=…=x_n时(*)式取等号。现在,我们给出(*)的一个加强: 定理设x_i∈R~+(i=1,2,…,n,n≥2),且sum from i=1 to n x_i=λ(常数)≤n,则 sum from i=1 to n(x_i+1/x_i)~(-1)≤n(λ/n+n/λ)~(-1) (1)当且仅当x_1=x_2+…=x_n时,(1)式中的等号成立。     

常系数齐次线性差分方程的解的显式表示

<正> 根据经典方法,m 阶常系数齐次线性差分方程(?),满足初始条件Y_j(j=0,…,m-1)的解可表成 y_(n+m)=y_(n+m)(n,λ_1,…,λ_m,c_1,…c_m)之形,这里λ_i(i=1,…,m)是代数方程     

Gauss整环上不可分解的Hermite型

本文给出了构作虚二次域Ｑ（－ｍ）的整数环上不可分解的正定整Ｈｅｒ ｍｉｔｅ型的方法．     

On non-decomposable Hermitian forms over Gaussian domain

Methods are presented for the construction of non-decomposable Hermitian forms over the ring of integers of an imaginary quadratic field.     

Multiplicities of representations in spaces of modular forms

This paper shows that for a given irreducible representation of , the two functions dim( ) and dim( ) of are almost linear functions.

     

Singularity conjecture and constructions of Jacobi forms

This paper verifies the singularity conjecture for Jacobi forms with higher degree in some typical cases, and gives constructions for the Jacobi cusp forms whose Fourier coefficients can be expressed by some kind of Rankin-typeL-series.     

狄氏型关于狄氏型的扰动

本文在狄氏型扰动的经典意义基础上，首次提出了狄氏型关于狄氏型的扰动的概念，并得到了若干使得扰动后的狄氏型具有拟正则性的条件，最后给出了一些应用。     

Classification of quintic eutactic forms

From the classical Voronoi algorithm, we derive an algorithm to classify quadratic positive definite forms by their minimal vectors; we define some new invariants for a class, for which several conjectures are proposed. Applying the algorithm to dimension 5 we obtain the table of the 136 classes in this dimension, we enumerate the 118 eutactic quintic forms, and we verify the Ash formula.

     

方阵的开方问题

运用Jordan标准形理论,完整解决了复数方阵、实数方阵能否开平方、开立方的问题.     

Quadratic forms and Pfister neighbors in characteristic 2

We study Pfister neighbors and their characterization over fields of characteristic , where we include the case of singular forms. We give a somewhat simplified proof of a theorem of Fitzgerald which provides a criterion for when a nonsingular quadratic form is similar to a Pfister form in terms of the hyperbolicity of this form over the function field of a form which is dominated by . From this, we derive an analogue in characteristic of a result by Knebusch saying that, in characteristic , a form is a Pfister neighbor if its anisotropic part over its own function field is defined over the base field. Our result includes certain cases of singular forms, but we also give examples which show that Knebusch's result generally fails in characteristic for singular forms. As an application, we characterize certain forms of height in the sense of Knebusch whose quasi-linear parts are of small dimension. We also develop some of the basics of a theory of totally singular quadratic forms. This is used to give a new interpretation of the notion of the height of a standard splitting tower as introduced by the second author in an earlier paper.

     

四元数Hurwitz环上的不可分解二次型

该文证明,变量不少于7个时存在不可分解的四元数整二次型     

张拉结构初始几何形状确定的形函数方法

提出了一个确定张拉结构初始几何形状的形状函数.基于该形状函数,通过对结构边界控制点的插值确定张拉结构的初始形状.该结构形状可随结构的双向张力比和边界控制点的坐标而进行自动调整.从而给出了几何上可行,力学上合理的高精度张拉曲面.通过有限元方法检查,大量例子表明该方法确定的初始形状对于实际常用边界及双向等拉或不等拉张结构均十分理想,误差很小.