Q（f）—过程非唯一时连续时间折扣目标MDP

考虑的是可数状态空间连续时间ＭＤＰ的折扣模型，与以往不同的是，我们放弃了由策略ｆ所确定的Ｑ（ｆ）－过程唯一的传统假设。而首次考虑Ｑ（ｆ）－过程非唯一的情形，借助于Ｑ－过程的构造理论，用拓扑分析的方法，证明了最优策略的存在性。     

关于多项式周期轨道的乘子的计算

设Ｋ为有理数域Ｑ的有限扩张,ｆ是系数在Ｋ中的多项式．令Ωｋ＝｛αｋ,ｆ（αｋ）,…,ｆｎ－１（αｋ）｝,ｋ＝１,２,…,ｍ,用Ｈｎ,ｆ表示以ｆ的周期点（周期为ｎ）为根的多项式．如果Ｈｎ,ｆ在Ｋ上不可约,且所有轨道Ωｋ（ｋ＝１,２,…,ｍ）的乘子互不相同,则Ｖａｖａｌｄｉ和Ｈａｔｊｉｓｐｙｒｏｓ给出了一个计算轨道Ωｋ（ｋ＝１,２,…,ｍ）的乘子而无需计算这些轨道本身的算法,在本文中我们证明了Ｖａｖａｌｄｉ和Ｈａｔｊｉｓｐｙｒｏｓ所给的条件是多余的,为此我们证明了对于给定的多项式ｆ＝ｂｋｘｋ＋…＋ｂ１ｘ＋ｂ０,存在一个次数ｋ为的多项式序列ｆｌ＝ｂｋ（ｌ）ｘｋ＋…＋ｂ１（ｌ）ｘ＋ｂ０（ｌ）（ｉ∈Ｎ）使得ｂｊ（ｌ）→ｈｊ（ｌ→∞）,ｊ＝０,１,２,…,ｋ,并且Ｈｎ,ｆｌ在Ｑ（ｂ０（ｌ）,…,ｂｋ（ｌ））上不可约（ｌ∈Ｎ）．此外,如果ｘ０是ｆ的周期为ｎ的周期点,则（ｘ－ｘ０）ｘｌ是Ｈｎ,ｆ的一个因子当且仅当（ｘ－ｆ（ｘ０））ｉ是Ｈｎ,ｆ的一个因子．     

R^N上非齐次非线性椭圆型方程的多解性

讨论了问题－△ｕ＋μｕ＝Ｑ（ｘ）／ｕ／＾ｒ－２ｕ＋ｆ（ｘ），ｕ∈Ｈ＾１（Ｒ＾Ｎ）的正解和变号解的存在性。这里Ｎ≥３，２〈ｐ〈２Ｎ／（Ｎ－２），μ〉０，Ｑ（ｘ）∈Ｃ（Ｒ＾Ｎ）。     

Fe－29wt％Ni合金超细微粒中的马氏体转变

在Ｎ＿２气氛中，用蒸发冷凝法制备了不同平均粒径（１２～１００ｎｍ）的Ｆｅ－２９ｗｔ％Ｎｉ合金超细微粒样品．它们是马氏体α＇（ｂｃｃ）和奥氏体γ（ｆｃｃ）的混合体．每个微粒是一单晶体（ｂｃｃ或ｆｃｃ）．随样品的平均粒径减小，马氏体体积分数明显增加．在加热过程中，随平均粒径减小，α＇→γ逆马氏体转变温度（Ａ＿ｓ和Ａ＿ｆ）降低，转变温度范围（Ａ＿ｓ－Ａ＿ｆ）变窄．在冷却过程中（直到７７Ｋ），没有发现γ→α＇马氏体转变．对奥氏体稳定化和马氏体及奥氏体的产生机制，进行了初步的讨论．     

双曲元不等式

应用Ｍｏｂｉｕｓ群的Ｃｌｉｆｆｏｒｄ矩阵表示证明了一个高维Ｊｏｒｇｅｒｓｅｎ类不等式：若ｆ、ｇ∈Ｍ（Ｒｎ），ｆ和ｆｇｆｇ－１都是双曲的，＜ｆ，ｇ＞是离散非初等群，那么｜ｔｒ２（ｆ）－４｜＋｜ｔｒ（ｆｇｆｇ－１）－２｜≥１．     

非线性奇阶时滞微分方程解的振动性

给出奇阶时滞微分方程ｘ＾（ｎ）（ｔ）＋Ｑ（ｔ）ｆ（ｘ（ｇ（ｔ）））＝０的一切解均为振动的充分条件和必要条件。当ｎ＝１，Ｑ（ｔ）〉０，ｆ（ｘ）＝ｘ＾ａ，     

Frobenius自同态的Grothendieck群

本文对特殊情况ｑ＝ｆｎ－ｆ（ｎ≥２）回答了Ａｌｍｋｖｉｓｔ［１］提出的问题６．即证明了．定理：设Ａ是一交换环，ＦＥ（Ｐ（Ａ））表示所有Ｆｒｏｂｅｎｉｕｓ自同志ｆ：Ｐ→Ｐ．Ｐ∈Ｐ（Ａ）（即ｆｎ＝ｆ）组成的范畴，则     

具正负系数中立型微分方程解的振动性

本文考虑具有正负系数中立型方程［ｙ（ｔ）－Ｒ（ｔ）ｙ（ｔ－ｒ）］＇＋Ｐ（ｔ）ｙ（ｔ－τ）－Ｑ（ｔ）ｙ（ｔ－σ）＝０，其中Ｐ，Ｑ，Ｒ∈Ｃ（［ｔ０，∞），Ｒ＋），ｒ∈Ｅ（０，∞），τ，σ∈［０，∞］。通过减弱条件~［１～８］：∫_（ｔ_０）~∞［Ｐ（ｓ）－Ｑ（ｓ－τ＋σ）］ｄｓ＝∞获得了方程所有解振动的新的充分条件。     

变系数中立型方程的振动性

考虑变系数中立型方程ｄｄｔ［ｘ（ｔ）－Ｐ（ｔ）ｘ（ｔ－τ）］＋Ｑ（ｔ）ｘ（ｔ－σ）＝０其中Ｐ、Ｑ∈Ｃ（［ｔ０,∞）,Ｒ）,τ、σ∈Ｒ＋,该文取消了如下限制条件：０≤Ｐ（ｔ）≤１,Ｐ（ｔ）≥１及Ｐ（ｔ）≤０,建立了上述方程振动的充分条件．     

n维离散Mobius群的Poincare序列

利用Ｍｏｂｉｕｓ变换的Ｃｌｉｆｆｏｒｄ数的表示，考虑序列Σｆ∈‖ｆ‖＾－ｓ并得到：１）对离散群Ｇ，若ｓ〉２ｎ，则（１）收敛。２）Ｋｌｅｉｎｉａｎ群Ｇ，如果Ｓ≥２ｎ，则（１）收敛。     

自共轭四元数矩阵空间的保行列式加法映射

设Q是一个实四元数体,SCn(Q)是Q上n×n自共轭四元数矩阵空间,f是从SCn(Q)到自身的映射,如果对任意A,B∈SCn(Q),都有f(A+B)=f(A)+f(B),且det(f(A))=det(A),则称f是SCn(Q)上的保行列式加法映射.刻画了n≥3时SCn(Q)上的保行列式加法映射的形式.     

一类可优化的平方伪布尔函数

该文给出一类平方伪布尔函数f(x)=xQx^T+cx^T+d,它的最小点与最小值可在线性时间内找到。其基本思想在于将Q和C所关联的图转换为由NOT,AND,OR,NAND,NOR,XOR和XNoR门组成的逻辑电路,后者的相容信号值对应伪布尔平方函数的最小点。这种方法建立了平方伪布尔函数与逻辑电路之间的结构关系。     

域Q(a~(1/s))上方程f(x)=0的Galois群

重点讨论Q(a～(1/s))域上的方程f(x)=0的Galois群的计算.给出并且证明了命题:域Q(a～(1/s))上f(x)=0的Galois群是f(x)=0在Q上的Galois群的子群,特别如果f(x)不含xS-a的因子,即f(x)的系数中没有sa的某个组合,则f(x)在Q(a～(1/s))的Galois群与f(x)在Q上的Galois群等同.并用具体实例来展示命题的实际意义.     

具无穷时滞中立型周期微分系统的周期解

讨论了具无穷时滞中立型周期微分系统ddt(x(t)-∫-0∞Q(s)x(t s)ds)=A(t,x(t-r(t)))x(t) ∫-0∞C(t,s)x(s)ds f(t,xt) b(t)的周期解问题.引入BCh空间,并利用矩阵测度和Krasnoselskii不动点定理,得到了此系统周期解的存在定理.特别地,当A(t,x)=A(t)时,给出了存在唯一周期解的条件.所得结论推广了相应文献的结果.     

基于Path系的广义积分与广义微分方程（dy／dx）E=f（x,y）

本文研究Ｐａｔｈ导数意义下的广义微分方程（ｄｙ／ｄｘ）Ｅ＝ｆ（ｘ，ｙ），证明了在一般条件下该方程的初值问题的局部解的存在唯一性。     

拟共形扩张的伸缩商的估计

构造了一种新的拟共形扩张,当ρ→∞,证明它的最大伸缩商K≤ρ o(ρ),其中系数1不能进一步改进.     

关于叠四次样条插值逼近导函数

对一类四次样条插值函数，给出了关于的叠样条插值，通过边值条件的适当选取，证明了在等距剖分下，所给叠样条和均以ｈ４的精度分别逼近和。所用方法可用于偶次插值样条的叠样条研究．     

凸函数的一个不等式性质的推广

本文对杨镇杭的“凸函数的又一性质”〔1〕的条件进行削弱,证明了:若f(x)为闭区间〔a,b〕上的可积的上凸或下凸函数,有不等式f(a)+f(b)/2成立;若函数f(x)于闭区间〔a,b〕上连续,f_+′(x)与f_+″(x)在开区间(a,b)内存在且连续,则当f_+″(x)≤0或f_+″(x)≥0时不等式(1)或(2)成立.     

特殊线性群的积在集合上的作用及特征标

令SLn(F)是域F上的n级特殊线性群 ,即由所有行列式为 1的n×n矩阵关于矩阵乘法构成的群 .设Gn =SLn(F) ×SLn(F)为特殊线性群的积 .以Mn(F)记F上所有n阶矩阵构成的集合 .文章研究了群Gn在集合Mn(F)上的如下作用 :(P ,Q) ·A PAQt, A∈Mn(F) , (P ,Q)∈Gn,给出了这个作用的轨道分解式 ,并且计算了这个作用作为群表示的特征标 .     

对一道微分方程通解的质疑

利用常数变易法,从多角度对方程dy/dx-y/x=In x 求解,发现其解形式的不唯一性,而这些解只有在特殊情况下才能是真正意义上的通解.从而说明方程dy/dx+p(x)y=Q(x)的通解形式不严谨.