关于渐近稳定性的两个V泛函(函数)方法

稳定性理论中采用李雅普诺夫第二方法通常要求V≥u(|x|)或V定正,甚至还要求方程右端函数f有界(如专著[1][2]的有关定理).本文采用两个V泛函(或V函数)的方法去掉了这两方面的限制,建立了滞后型与中立型泛函微分方程、常微分方程的渐近稳定与一致渐近稳定的若干充分条件,对于一个V泛函(或V函数)的情形,本文推论改进了[1]第五章定理2·1、第十二章定理7·1及[2]之定理1·14、文[3]推论5·1的相应结果,并省略了这些有关结果中V≥u(|x|)的条件,同时,由本文定理1·6还可推出常微分方程稳定性理论中若干著名的结果,如文[3]中所述定理2·1、2·2及定理3·1、3·2.     

泛函微分方程(超中立型)稳定性的基本理论

本文研究泛函微分方程(超中立型)的稳定性,得到稳定的和不稳定的充分条件。推广了[1]、[2]的结果,并推广了[3]第五章中之定理4·1、4·2。本文定理1·3用条件 V(ξ)≤V(t)代替条件 V(ξ)≤P(V(t)),t-r≤ξ≤t,P(s)>s(函数 P(s)一般很难求,这在[4]P.63中已指出)。本文定理1·4利用常微分方程中的 Liapunov 函数的性质结合定理1·3得到判定稳定性的简便方法。本文还研究了第二类型的泛函微分方程(右端之积分项其积分区间为[t_0,t])的稳定性(在过去的资料中尚未见到;只见到关于这类方程解的存在与唯一性论文如[5])     

《关于<可求和性与解析开拓>一文的注记》的注记

除特别申明外,本文均沿用[1]中的定义和记号。文[1]中通过反例说明V.F.Cowlng在[2]中提出的引理3.1和定理4.3是不正确的,但他提出的定理也是不正确的。本文除建立类似[1]中定理1外,同时还证明了比[1]中定理2条件较宽的定理3。     

中立型泛函微分方程的C_1_稳定性

本文首次使用Razumikhin-温立志型V泛函[3]把文[4](推广[3]对RFDE)中的定理修改为判定方程(1)零解C~1-稳定性,改进了文[1],[2]的结果.     

差分方程组稳定性定理的推广

在文献[1]-[3]的基础上,将稳定性理论基本定理中对Liapunov函数V(τ,x)的限制条件作了改进,推广了差分方程组零解稳定性的若干判定定理.     

一致凸空间的一个特征性质

V.I.Istratescu在[1]中给出了一致凸空间的一个如下之特征性质(即[1]中的定理2.5.5)。定理:设x是Banach空间,则X是一致凸的充分必要条件: 1°‖x_n‖≤1,‖y_n‖≤1, 2° lim n→∞‖x_n y_n‖=2 则 lim n→∞‖x_n-y_n‖=0。本文给出一致凸空间的另一特征性质,并给出它的一个应用。     

m凸代数的闭图定理

V.Pták[5]和 J.L.Kelley[3]相继找到了在局部凸空间中闭图定理成立的条件,引进了 B 完备空间(又称满完备空间)和超完备空间的概念,建立了闭图定理和Крейн-шмульян定理间的联系,假若只考虑 m 凸代数(参看 E.Michae1[4])间的同态对应,而不考虑它们之同的线性变换,则闭图定理成立的条件要作适当的修改.本文就是讨论这个问题的.     

关于本原代数的Kronecker积的一个注记

Nakayama和Azumaya在[1]中给出了关于Kronecker积模的一个基本的定理,即定理1([1],定理8;[2]定理V.8.1) 设(?)_i,i=1,2是域Φ上的向量空间,而(?)_i是(?)中线性变换不可约代数,(?)是(?)_i的中心化子,那末(1) (?)=(?)的(?)-子模的格同构于△_1(?)△_2的右理想的格; (2)(?)作为(?)_1(?)_2-模的中心化子是△_1(?)△_2.     

ФИЛИППОВ极限环存在定理在一类方程组=Ф(y)-F(x),=-g(x)上的推广

本文用文[1]类似的方法,将极限环存在定理推广到更一般的系统=φ(y)-F(x)y=-g(x)中去,得到两个定理,其中定理1包含文[1]中的定理,定理2包含文[3]中的定理1。     

关于递归可枚举集派生集定理的一点注记

在文献[1,2]及具有相同体系的著作中,有不少牵涉到代数方面的定理,其中有一条关于递归可枚举集派生集的定理:设V 是任意一个递归可枚举集,则由V 用有限原始递归函数系列F_i(x_1,x_2,…,x_m_i)(i=1,2,…s,)派生出来的自然数集V~g 是递归可枚举集.这里派生集V~g 是指包含V 且关于运算F_1,F_2,…,F_s 封闭的最小集合,即以V 为定义域,相对于F_i(i=1,2,…,s)封闭的集合的交集与V 的并集.直接给V~g 的元素编号,就获得了[1]的证明,但用在此却使证明过于冗长和复杂,下     

环的A-交换性研究

本文通过把由M.Ashiaf,M.Quadri和D.Zelinsky在[1]中建立的主要定理([1],定理A)推广到本文的主要定理2,建立了环的A-交换性的若干定理(定理5-9),推广了[1],[3],[4]中的结果.     

关于(BC)中的乘法算子

本文求出B(C)中乘法算子的一些超不变闭子空间,确定出一类乘法算子的不变闭子空间的结构。并且再次得到了关于V.I.Lomonosov定理[2]中条件不是必要的结论。定义设g∈C[0,1] T:C[0,1]→C[0,1]如下: (Tf)(t)=g(f)f(t),0≤t≤1;此时显然有T∈B(C),我们称T为具有乘法函数g的乘法算子,其全体记作M。     

类数为1的实二次域

H.Hasse等人在[1]、[2]中証明: 定理1.設素数p=4n~2 1,n>1,如n不是素数,則实二次域Q(p~(1/2))的类数h(p)>1。我們在[3]中,对H.Hasse在[1]所提出的問题給了一个完滿的解答,其中有一个推論包括了定理1。定理2.設素数p=4n~2 1,n>1,則实二次域Q(p~(1/2))的类数h(p)=1的充要条件是     

关于Campbell定理的一个推广

Stephen.L.Campbell在[2,定理2]中证明了若A为(BN)类正正常算子,则A有非平凡的不变子空间,本文对[2]中证明方法稍加修改,将Campbell这个定理推广到更广的一类算子上。     

中介逻辑的谓词演算系统（Ⅱ）

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x～A(x)～xA(x),[2]～xA(x)x～A(x)[3]～xA(x)x～A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x～A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].     

关于冲激函数的一个性质

冲激函数δ(t)是一种奇异函数,它在"信号与系统"课程中占有很重要的地位.本文得到了冲激函数δ(t)的异数与复合函数δ(φ(t))之间的一个性质,推广了文献[3]中相应的结论.此外,本文还简化了文献[2]中的定理1的证明并更正了文献[3]的定理1的证明中存在的错误.     

一个隐函数定理

本文将[1]中定理1(或[2]中定理3.1)推广成本文定理1,将此定理应用于反函数,则得到一映射是同胚或局部同胚的充要条件。     

因子试验设计的优良性

Kiefer[3]给出了泛最优设计的判定定理.使用这一定理,Cheng C—S.在[2]中证明了因子试验设计中正交设计(无交互作用)是泛最优的,并在[1]中证明了水平均为2的因子设计中正交设计(有交互效应)也是泛最优的.当考虑水平数任意,且可有任意阶交互作用的一般因子试验情形时,Kiefer的判定定理不能使用.我们在[6]中引进广优良性概念,并证明了此时正交设计是广最优的.本文则改进了Kiefer的判定定理,从而得到在上述一般情形下,正交设计是泛最优的.     

一类非线性Schrdinger-Kirchhoff系统非平凡解的存在性

本文主要研究了带有位势V(x)及非线性项g的Schrdinger-Kirchhoff型方程{(a+b∫[|u|2+V(x)u2]dx[-Δu+V(x)u]+λh(x)u=g(x,u)x∈R3-Δ=λh(x)u2x∈R3(λ≥0)非平凡解的存在性,利用近代变分学中山路定理得到其至少存在一个非平凡解.     

关于Fourier级数收敛定理的研究

傅里叶级数收敛定理的叙述方式很多,下面就是常见的两种.定理1 [迪尼(Dini)定理]设 f(x)是以2π为周期的函数,并且在[-π,π]上可积,假设它在 x 处之广义左、右导数皆存在,则1/2[f(x 0) f(x-0)]=(1/2)a_0 sum from n=1 to ∞(a_ncosnx b_nsinnx).定理2 若以2π为周期的周期函数 f(x)在[-π,π]上按段光滑,则 f(x)的傅里叶级数在每一点