三叉型矩阵的特征值反问题

0 引言与基本引理称下面这类特殊矩阵为三叉型矩阵A 在现代控制论的非线性调节系统中,经常会遇到以上这类矩阵及这类矩阵的特征值反问题,因此讨论这类矩阵的逆特征值问题是有实际意义的. 先介绍文献[3]中的一个结论. 引理1 给定n个实数λ_1>λ_2>…>λ_n与n-1个实数μ_1>μ_2>…>μ_(n-1),满足λ_1>μ_1>λ_2>…>λ_(n-1)>μ_(n-1)>μ_n,在α_2>α_3>…>α(n-1)的条件下,可构造出唯一的A_n,以{λ_i}_(i=1)~n为其特征     

一题证明的技巧讨论

<正> 问题1 设α_n为1~2+2~2+3~2+…+n~2之末位数字,求证:小数0.α_1α_2α_3……为有理数。 这是1984年全国高中数学竞赛第二试题的第4题。 此题引起数学爱好者的广泛兴趣。四川师范大学数学系赵龙山老师在《数学通报》1986年第9期给出了一个证明并作了如下很好的推广。 问题2 设α_n为1~h+2~h+3~h+…+n~h(h为自然数)的末位数,则小数0.α_1α_2α_3……为有理数。     

一类函数方程求解及正态分布刻划定理的证明

本文研究了这样一类函数方程的解其中α_j′=(α_(1j)α_(2j)…α_(pj))t′=(t_1,t_2,…,t_p)f_j 是实变量 t 的复值函数.在f_j 二阶连续可微条件下,此方程的解为f_j(s)=exp{ α_j~s b_j}j=1,2,…其中 r_j 满足α_(mj)α_(lj)λ_j=0 α_jb_j 是常数,由此又可得到满足方程(α_j′t)=(t_j)的至多是二阶多项式。这个结果,深化并推广了 C.G.Khatri 和 C.R.Rao<1><2>及 B.Rama chandran<3>的结果,进而大大简化正态分布刻划定理的证明.     

Philipp-Stout定理的补证

在文献[1]中W.Philipp和W.Stout得到了用正则布朗运动来逼近高氏序列的很好的结果(见[1]中定理5.1)。在该定理的证明中用到了重要引理5.3.1。可是此引理的叙述和证明都是错误的。本文给出此引理的正确叙述及其证明,从而完成了[1]中定理5.1的证明。 [1]中引理5.3.1的叙述和证明中均未提及随机变量序列{X_n}_(n=1)~∞是高氏序列。今举     

关于替换定理的证明

在[1]中的替换定理的证明是有问题的,本文给出这一定理的严格证明。为了方便起见,现把[1]中的替换定理摘抄如下: 定理6.3.6(替换定理)设向量组 (2) {α_1,α_2,…,α}线性无关,并且每一α_1都可以由向量组 (3) {β_1,β_2,…,β_s}线性表示,那么r≤s,并且必要时可以对(3)中向量重新编号,使得用α_1,α_2,…,α替换β_1,     

特定类型非线性微分方程整函数解不存在的一个注记

讨论非线性微分方程整函数解的存在与不存在性是微分方程的一个热门课题,很多学者有比较深入的研究.李平最近得到如下结果:微分方程,fn(z) Pn-3[f]=P1(z)eα1z P2(z)eα2z不存在非常数的整函数解,其中自然数n≥4,p1(z)及(p)2(z)为非零多项式,α1、α2为非零常数且α1/α2∈Q,Pn-3[f]为关于f次数不超过n-3的微分多项式.但证明过程的后半部分是有误的,使用Borel引理,给出此定理的一种新的证明方法.同时通过一个反例说明原文的定理2中有一种情形是不成立的.     

关于《Schwarz引理的一个推广》的一点注记

本文用更易证明的引理3代替庄圻泰论文中的引理3,从而简化了该文主要结果的证明.     

薛瓦茲引理的加强及其对於有界函数的一些应用

§1.引言 1-1.薛瓦茲引理为函数论中的重要工具,因此很多人曾在各种不同观点下,把它拓广,并利用所拓广的结果得到许多美丽的定理。(例如阿尔福斯、戈鲁辛),1951年亥曼研究单位圆中的解析函数f(z)=α_0 α_1z …的系数α_0,α_1间的关系时,他引进了一个依赖於函数f(z)的量l_f,它的定义是这样的:     

解色散方程u_t=αu_(xxx)的高精度绝对稳定的隐式差分格式

对色散方程u_t=αu_(xxx)构造了一类三层隐式差分格式(1.10).它们含有非负参数α_1,α_2和α_3,其局部截断误差是O(τ~2+h~6).在条件α_1≥α_3,α_1+α_3≥α_2。(α_1+α_2+α_3=1)下,格式(1.10)绝对稳定.在(1.10)中选取适当的参数可以得到文[1]和文[2]的格式.     

加权Coxeter群(_3,_6)的胞腔（英文）

取α是仿射Weyl群(_(2n),)两上某个满足α()=的群自同构.仿射Weyl群(_n,S)可以看做仿射Weyl群(_(2n),)在其群自同构α下的固定点集合._(2n)上的长度函数l_(2n)在_n上的限制可以看做_n上的某个权函数.本文给出了加权的Coxeter群(_3,_6)中所有左胞腔以及双边胞腔的清晰刻画并且证明(_3,_6)中的每个左胞腔都是左连通的.     

指数分布族参数的一类非线性估计的可容许性

本文首先对于离散型指数分布族参数,获得了M(1/(X_1+α_1)…,1/(X_1+α_1)′+γ是可容许估计的必要条件,得到关于M和γ的一个结构;其次利用Zidek引理给出了单参数指数族时估计量(αX+b)/(cX+d)为可容许的充分条件,在附加的一个很弱的条件下,它可看成是[1]中主要定理的简单证明。     

环的几个交换性定理

本文证明了环的几个交换性定理,并且推广了[4]、[5]中的相应结果。我们总是以Z表示环R的中心。先列出几个引理: 引理1 设R为质环,λ∈Z,λ≠0,α∈R,若有λα∈Z,则必有α∈Z。证明见[1]。引理2 设R为半质环,若有正整数n使得对(?)_x∈R,都有x~n∈Z,则R是交换环。     

SiO_2交联α-Zr(HPO_4)_2·H_2O的研究——新型类沸石材料的合成(Ⅰ)

用XRD,IR,DTA-TG和X-射线荧光分析方法研究了有机硅试剂CH_3Si(OC_2H_5)_3和NH_2(CH_2)_3Si(OC_2H_5)_3分别嵌入层状α-Zr(HPO_4)_2·H_2O中,在一定温度下灼烧为具有不同层间距的SiO_2交联α_Zr(HPO_4)_2·H_2O。通过吸附正已烷的吸附等温线测定证明SiO_2交联成柱的α-Zr(HPO_4)_2·H_2O是多孔的类沸石材料。     

关于非Cantor连续统ê_1的Dedekind割切原理

本文把 Cantor 连续统 E_1的 Dedekind 割切原理在潜尾数论的意义下作了逻辑体系上的改造,给出一个系统完善的非 Cantor 连续统ê_1的 Dedekind 割切原理。为了证明主要定理——命题Ⅰ、Ⅱ,首先证明8个引理,然后引用引理的结果,证明命题Ⅰ、Ⅱ。     

对《灰色集合与灰色系统的稳定性》的一点意见和补充

学报第十卷第三期发表的刘凯老师的《灰色集合与灰色系统的稳定性》一文,其定理1的结论是正确的,但证明过程尚有不妥之处.文中“存在一个正交变换P,使……”宜改为“存在一个合同变换P,使……”;相应地,“满足(?)～(?),且(?)与(?)有相同的特征值”应为“满足(?),显然(?)与(?)的惯性指数相同”;“(?)_(iimin)恰为(?)的一个特征值,因而也是(?)的特征值”应为“(?)_(iimin)恰为(?)的一个特征值,因而(?)必有一特征值与(?)_(iimin)同号.”为清楚起见,我们给出如下证明:引理1 任一实对称矩阵的正特征根数目等于该阵的正惯性指数.该引理可由惰性定理得证.引理2 对任一实对称矩阵A,如果a_(11)>0,那么该阵必有一特征根大于零.证明:存在合同变换,使得A(?),故A的正惯性指数≥1.由引理1知,A阵至少有一特征根大于零.定理1 对于灰色系统     

3×3引理的一个应用

3×3引理是同调代数中很重要的一个结果,它解释短正合列在交换图中的一些性质.它的证明也是同调代数中的常用证明方法"追图"法的一个非常好的展示.本文我们用3×3引理,由给定的短正合列来构造新的正合列.     

只有唯一生成集的半群

本文探讨一类特殊半群——只有唯一生成集的半群之结构.本文首先得到该类半群的几个有用的特征性质(引理1),然后,引入两种特别的二元关系(?)与ψ,证明在该类半群中(?)、ψ及其积皆为等价关系.并得出了它们所具有的一些良好特性(引理2与3).利用这些结果,本文完全地定出了任一只有唯一生成集的半群之结构,即定理 半群S只有唯一生成集的充要条件是S为其子半群Sa(a∈Ω)的脱节联,其中(1)(?)α∈Ω,Sa为单侧零半群(左、右零半群及一元半群都是单侧零半群);(2) Ω为一全序集,(?)α,β∈Ω,α<β当且仅当(?)χ∈S_α,y∈S_β,xy=yx=x.     

ON THE CONJECTURE OF GOLOMB(Ⅱ) 关于Golomb猜想(Ⅱ)

本文证明了: 定理1.若p=2~αoq_1~αq_2~α2…q_m~αm+1,α_0≥2,且multiply from t=1 to m qi-1/qi>2/3, 则在有限域GF(p)中,Golomb猜想成立。推论.设p=2~α0q_2~α2…q_m~αm+1,α_0≥2, ①若m=1,则当q_1>3时: ②若m=2,则当q_2>q_1>3时; ③若m=3,则当q_3>q_2>q_1>5时,在有限域GF(p)中,Golomb猜想成立。定理2.若p=2~α03~α1,α_0≥2,且模p的最小正平方非剩余不是原根,则在有限域GF(p)中,Golomb猜想成立。     

关于Golomb猜想

Golomb 猜想为:在任何有限域 GF(p~n)中总存在两个本原元,它们的和等于1.张肇键和 I.S.Reed 证明了在某些类型的有限域中 Golomb 猜想成立.本文的目的是证明比[2]的定理3和定理5更强的定理,对更多一些特殊情况证实 Golomb 猜想,我们将利用下列引理.引理1 设 q_1,q_2,…,q_k 为 p-1的所有不同的奇素因子,则素数 p 的平方非剩余 g 为 modp 的原根的充分必要条件是 g~((p-1))/2_(gi)(?)-1(1≤i≤k).引理2 设 p=2q+1,p,q 均为奇素数,则从 p 的全部平方非剩余中去掉p-1后全部是 modp 的原根.     

关于Fourier系数的Hardy定理在Orlicz空间的一点讨论

G.H.Hardy曾经证明过定理:若α_1,α_2…,是 L~p(p≥1)空间某个函数 f(x)的Fourier系数,则A_1,(1/2)A_2,(1/3)A_3,…也是 L~p(p≥1)中某个函数F(x)的Fourier系数,(其中A_n=sum from ν=1 to n α_ν)。其后,Kenneth F.Andesen将Hardy定理推广到带权的函数空间 L~p(ω)上去。本文将在Orlicz空间考虑下述的Hardy定理.