斜球变量统计量的渐近分布

研究斜球变量平方型和T统计量的渐近性质. 得到了某些参数的相合估计, 并考察了单边t检验的显著性水平在斜球分布族内的稳健性.     

高次Koszul复形

推广了Koszul复形以及Koszul代数,引入了高次Koszul ( t -Koszul)复形和高次Koszul (t-Koszul)代数的概念, 其中t为不小于2的正整数. 证明了代数为高次Koszul代数当且仅当其相应的高次Koszul复形的高阶(≥1)同调群为0. 还通过引入t次对偶代数的概念, 对t-Koszul代数的上同调代数进行了具体的刻画, 证明了对任意的非负整数m, 其中L₀是L的所有单模的直和, 而L^!是L的t次对偶代数.     

高次Koszul模

引进了高次Koszul模, 从而推广了Koszul模的概念. 对于分次代数Λ , 考察了可线性表现分次模范畴L (Λ)与其全子范畴K_t(Λ), 即t-Koszul 模范畴的关系.即使当t =2时, 对满足L (Λ)=K₂(Λ)的代数L进行分类仍是一个未解决的问题. 对于任一正整数t≥2, 给出了满足L (Λ)=K_t(Λ)的单项代数L的组合分类.     

右删失数据下线性回归模型的中心极限定理

将完全数据下(Y, Z)的联合分布F(y, z)的估计问题和线性回归模型Y =b^T Z+e的参数估计问题推广到右删失数据模型. 对于回归系数b和误差方差的加权最小二乘估计, 在最一般的条件下证明了中心极限定理, 给出了渐近方差的简单表达公式.     

有理函数域上的Gross猜想

研究分圆函数域扩张k(Λ_f)/k情形下的Gross猜想, 其中k=F_q(t)是有理函数域, f是k上的首一多项式.通过直接计算,证明了在Fermat曲线(即f=t(t−1))情形时猜想成立.当f为不可约多项式时,证明了Gross猜想和Weil互反律等价.对一般情形,证明了弱Gross猜想成立.     

复指数系的不完备性和最小性

本文得到复指数系E(Λ,M)在C_α中不完备的一个充分必要条件, 其中C_α是所有在实轴R上连续, 且当t趋向无穷时, f(t)exp(−α(t))趋向零 的复函数f组成的集合. 在一致范数||f||_α=sup{|f(t)e^−α(t)}|: t∈R}下, C_α是一个Banach 空间. 证明了在不完备的情形下, 复指数系E(Λ,M)是 最小的并且 复指数系E(Λ,M)中 线性 组合的闭包中的任意函数可以延拓成由 Taylor-Dirichlet 级数表示的整函数.     

有界线性算子空间中最佳逼近的强惟一性

研究有界线性算子空间中非线性最佳逼近的强惟一性和惟一性元的特征问题. 给出了算子空间中关于RS集最佳逼近的强惟一性定理, 并在c₀到c₀的紧算子空间中通过严格Kolmogorov条件建立了关于太阳集的惟一性元的特征定理, 从而改进和推广了Lewicki等人的近期工作.     

构造k紧优双环网的无限族的新方法

双环网(double loop network)是具有n个结点和出度为2的有向循环图, 已广泛地应用于局域网和分布系统的设计中. 给出了构造k紧优双环网的无限族的新方法,对于k=0,1,…,40,用此方法可构造k紧优双环网的无限族, 其中结点数n_k(t,a) 是t的二次多项式且含有参数a; 并提出了一个猜想.     

Rd上的具有间断梯度的势函数的模拟退火

证明了具有间断梯度的势函数的模拟退火过程 dX_t=-β(tÑU(X_t)+√2dW_t 依概率收敛到势函数的全局最小点附近.     

p-Laplace方程解的渐近性质

对p-Laplace方程讨论了当p趋于无穷时解的渐近性质.     

有限群的极小子群与p-幂零性

有限群G的子群H称为在G中是c-可补的(c-supplemented in G), 如果存在G的子群K, 使得G = HK且H∩K≤core(H). 获得了如下结论: 设G是与S₄无关的有限群, 如果P∩G^N 的每一极小子群均在N_G(P)中c-可补, 且当p= 2时P与四元素群无关, 则G是p-幂零的. 这里p是G的阶的最小素因子, P是G的Sylow p-子群. 作为这一结果的应用, 一些已知的结果被推广.     

CH-γ方程的4类有界波解

最近,许多作者研究过下面的CH-γ方程 u_t+c₀ u_x+ 3uu_x-α²(u_xxt+ uu_xxx+2u_xu_xx)+γ u_xxx=0,其中α², c₀和γ是参数.在该方程的有界波研究中,已有的文献主要考虑α²>0的情形,对于α²<0的情形,Dullin等叙述了3种有界波(正常孤立波、紧孤立波和周期尖波)的存在性,但没有给出具体证明.在这篇文章中,主要考虑α²<0的情形,文中不仅证明4种有界波(周期波、广义紧孤立波、广义扭波和正常孤立波)的存在性,而且还给出了它们的显式表达式或隐式表达式.为验证其结果的正确性,文中还用计算机绘出了几组有界波解的图形以及它们的数值模拟图.     

二部图中求正交于星的(g, f)-染色的一个多项式算法

令G是一个具有顶点集V(G)和边集 E(G)的二部图, 且令g和f是定义在 V(G)上的两个非负整数值函数,使得对每个顶点x∈V(G)都有g(x)≤f(x). G的一个(g,f)-染色是一个推广的边染色,它满足在每个顶点x每一种颜色至少出现g(x)次且至多出现f(x)次. 给出了求二部图中满足某些约束条件且具有最小颜色数的(g,f)-染色的一个多项式算法并证明了此结果是最好的可能.     

任意k紧优、奇异k紧优双环网无限族的构造

双环网 (double loopnetwork)是具有n个结点和出度为2的有向循环图,它是计算机互连网络的一类重要的拓扑结构,已应用于局域网和分布系统的设计中.给定结点数n,如何构造n个结点的具有最小直径的双环网? 这个问题受到广泛的关注. 与此有关的一个久而未决的主要问题是:任意给定k≥0, 是否有所谓k紧优双环网的无限族? 本文证明了: (1) 对于任意给定的k≥0, 可构造其中一个步长为1的k紧优双环网的无限族, 其结点数n(k,e,c)(其中e充分大)是e的2次整系数多项式且系数含有参数c; (2) 对于任意给定的k≥0, 可构造一个奇异k紧优双环网的无限族.     

广义Davey-Stewartson方程组初值问题的解和散射算子的存在性

讨论椭圆-椭圆、双曲-椭圆型的Davey-Stewartson方程初值问题的H^δ-解和散射算子在H^δ空间的存在性.证明了在任意初值下局部解的存在惟一性;对初值属于H^δ空间的带形区域的情况,得到整体解的存在惟一性;类似地,散射算子将H^δ空间的带形区域映射到H^δ空间中.     

广义线性模型中极大拟似然估计的强相合性

假定在一个具有一般联系函数的广义线性模型中, q×1响应变量y_i是可观测的, p×q协变量Z_i是固定设计的, 以记的最小特征根. 在(对某个α>0), sup_i≥1E||y_i||r <∞(对某个r>1/α)和其他正则条件下, 证明了以概率为1, 当n充分大时, 未知回归参数向量的拟似然方程有一个解, 它收敛于参数真值. 这一结果是对文献中的相应结果的实质性改进.     

Sierpinski垫上一类非线性椭圆方程的多值解

研究分形区域上一类非线性椭圆方程, 建立强 Sobolev型不等式, 从而证明了形如 Δu+c(x)u=f(x, u) 的Dirichlet 零边值在 Sierpinski 垫上多值非平凡解的存在性. 此存在性结果不依赖f(x, t)对t的增长性条件, 与光滑区域上椭圆方程的古典理论明显不同.     

p-调和逼近方法和可控增长条件下能量极小p-调和映射的最优内部正则性

考虑能量极小p-调和映射的弱解在可控增长条件下的部分正则性, 结合pp-调和逼近引理和Tan及Yan 在处理退缩椭圆方程组和障碍问题中得到decay估计的方法得到了弱解的部分正则性，并且得到的正则性结果中的指标是最优的.     

Rn中的整正n -单形

定义了I型和II型整正n-单形, 证明了: (i) 中存在I型整正n-单形的充分和必要条件是: 如果n是偶数, 则n= 4m(m + 1); 如果n是奇数, 则n = 4m + 1而且n + 1能够表示为两个整数的平方和或n = 4m-1; (ii) 中存在II型整正n-单形的充分和必要条件是: n = 4m(m + 1)或n = 2m²-1, 给出了整正n-单形与组合设计方面的一些联系.     

倒向随机微分方程的极限定理与惟一性定理

建立了倒向随机微分方程的解的一个极限定理.由该定理,在标准假设g (t,y,0)≡0条件下证明了倒向随机微分方程生成元g能够由相应的g期望ε_g惟一决定,进而证明了如果一个信息流相容的期望ε可由g期望ε_g表示,那么相应的生成元g必定是惟一的.