固定介质中超Brown运动的有限时间灭绝性

考虑具有分支机制k(x)z^α(1< α ≤2)的超Brown运动X , 其中k(x) >0是R^d上有界Hölder连续函数且 inf_x∈R^d k(x) =0. 首先研究了X何时具有紧支撑性, 得到如下结果: 如果存在常数l≥0,使得对充分大的x有 k(x) ≥||x||^-l, 则X具有紧支撑紧性; 如果d=1且存在l≥0,使得对充分大的x有k(x) ≥exp(-l||x||),则X同样具有紧支撑性. 其次, 研究了X的有限时间灭绝性, 发现要使X有限时间灭绝,k(x)在无穷远处趋于0的速度不能太快, k趋于0的最大阶数与维数有关: d=1时最大阶数为O(||x||^-(α+1)); d=2时最大阶数为O(||x||^-2log(||x||)^-(α+1)); 而维数d≥3时最大阶数为O(||x||^-2). 要使得1/2 Δu=k(x)u ^α在整个空间没有正解, k(x)在无穷远处趋于0的阶数不能太大, 这个最大阶数与使过程在有限时间灭绝的最大阶数完全一样.     

超Brown运动的S-极集与非线性微分方程的解

给出R^d (d≥3)中规则集D上偏微分方程-1/2Δv(x)+γ(x)v(x)^α=0的最大、最小正解的概率表达式,其中D满足其补集D^c为紧集, γ(x)为D中正的有界可积函数, 且1<α≤2.作为其应用, 给出紧集是S-极集的充分必要条件.     

k-临界2k-连通图

图G 称为(n, k)-图, 如果对任一SÍ V(G) (|S|≤k)有k(G-S)=n-|S|, 其中k(G)表示G的连通度. Mader猜想当k≥3时K_2k+2-(1-因子)是惟一的(2k, k)-图. M. Kriesell 解决了k = 3, 4的特殊情形. 对k≥5的一般情形, 证明了该猜想成立.     

奇维数代数簇的小收缩映射的结构

X是光滑的2k-1维射影簇(k≥3), f_R :X→Y是小收缩映射. 如果f_R的例外集E的不可约分支E_i都是光滑的k维子簇, 那么每个E_i必定是以下三者之一: P^k, Q^k, 或者是一条光滑曲线上的线性P^k-1向量丛. 这里P^k是k+1维射影空间 P^k+1中的k维超二次曲面.     

任意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紧优双环网的无限族.     

整体维数与Hom的左导出函子

环R的右整体维数通常借助于Hom的右导出函子及右R-模的左投射分解来计算. 对于左凝聚右完全环R, 本文从另一个角度(即利用Hom的左导出函子及右R-模的右投射分解)刻画了环R的右整体维数. 证明了环R的右整体维数 rD(R)≤ n (n≥ 2)当且仅当右R-模范畴的右投射分解整体维数不超过n-2, 当且仅当任意右R-模的 第n-2个投射上合冲具有带惟一映射性质的投射包络, 当且仅当对任意两个右R-模N和M都有Ext_n-1(N,M)=0. 同时也证明了rD(R)≤ n (n≥ 1)当且仅当任意右R-模的第n-1个投射上合冲具有满的投射包络, 当且仅当任意右R-模的 第n个投射上合冲为投射模. 作为以上结果的推论, 刻画了右遗传环和右整体维数不超过2的环.     

极大单调算子的一个新的近似邻近点算法

研究集值映射方程0 T (z)的求解问题, 其中T是极大单调算子.对于给定的x^k及β _k>0, 大部分已有的近似邻近点算法取x^k+1= 满足 x^k +e^k +β_kT(x^k ), ||e^k||≤h_k||x_k- x^k ||, 其中{h^k}为非负可加数列. 新方法中不取 x^k+1 = x^k , 而将新的迭代点取为 x^k+1 = P_Ω [x^k-e^k], 其中Ω 是T的定义域,P_Ω (&#8729;) 表示Ω上的投影算子. 在supk>0h^k < 1这样宽松的条件下给出了收敛性证明.     

正交非均衡Procrustes问题的持续投影算法

研究正交约束下的Procrustes问题：给定矩阵A∈R^n×n, B∈ ^n×k, n>k, 找一个Q∈R^n×k}, 使得在列单位正交约束Q^TQ=I_k下, 残量‖AQ-B‖_F达到最小. 给出了求解该问题的持续投影算法, 该算法的每一次扫描由求解k个二次约束下的最小二乘问题以及一个扩充后的均衡Procrustes问题组成; 也给出了详细的收敛性分析. 文中的数值例子表明新的迭代算法优于已有的其他方法.     

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

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

交换环上的典型群在一般线性群中的扩群

对任一有1的交换环R, 给出了R上的酉群U_2nR(n≥ 5,含辛群, 正交群和标准酉群) 在R上一般线性群GL_2n R 中扩群的完整刻画.     

没有短圈的平面图的边选择性

证明了Δ=5且没有4-圈或6-圈的平面图是6-边可选择的. 由此结果和其他已知结果推出: 给定一个整数 k∈{3,4,5,6}, 没有k-圈的平面图G是(Δ+1)-边可选择的, 其中D表示图G的最大度.     

有理函数域上的Gross猜想

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

分形测度的比较

讨论s维测度与g-测度之间的关系, 其中g是一个等价于幂函数t^s的纲函数(0≤s≤d). 当s=d时, 证明了关系式 和在R^d上成立, 其中的常数c₁, c₂和c₃由下式确定: H^g, C^g和P^g分别为R^d上的g-Hausdorff, 中心g-Hausdorff和g-填充测度. 当0<s<d时, 通过例子表明上述结论不成立. 然而存在s-集FÌR^d, 使得 其中常数c₁, c₂和c₃不仅依赖于g和s, 而且还依赖于F. 并且给出了判断一个s-集具有上述性质的条件.     

球面稳定同伦群中的一个非平凡积

设p≥7为任意奇素数, A为模p的Steenrod代数. 1962年, A. Liulevicius在他的文章中指出元素h_i, b_k∈Ext^*_A(Z_p, Z_p)分别具有双次数(1, 2pⁱ(p&#8722;1))和(2, 2p^k+1(p&#8722;1)). 我们证明: 当p≥7, n≥4, 3≤s<p&#8722;1时, 积h₀h_n-1r_s ∈ E_xt_A^{s+3,p+sp2q+(s-1)pq+(s-1)q+s-3}(Z_p,Z_p)收敛到Z_∞, 其中q=2(p&#8722;1).     

一类Z-局部环的结构

假设R是交换局部环.如果J(R)=Z(R), J(R)²=0, 则称R为Z-局部环. 本文用多项式环的商环描述了一类Z-局部环的代数结构.     

共振点附近半线性Liénard方程的拟周期解

研究了方程 x″+ Fx(x, t)x′+ ω²x + φ(x, t) = 0的拟周期解的存在性, 其中F和φ是光滑函数, 且关于t是2π-周期的, ω > 0是一个常数. 在假设F和φ满足一定的奇偶性条件下, 证明了Dancer函数在研究方程的拟周期解存在性和Lagrange稳定性(即所有解的有界性)中起到关键作用. 以往这个函数通常用来研究周期解的存在性.     

完全二部图的P4k-1-因子分解

如果完全二部图K_m,n的边集可以划分为K_m,n的P_v-因子,则称K_m,n存在P_v-因子分解. 当v是偶数时, Ushio和Wang 给出了K_m,n存在P_v-因子分解的充分必要条件. Ushio同时提出了当v是奇数时K_m,n存在P_v-因子分解的猜想, 但是至今为止仅知当v=3时Ushio猜想成立. 对于正整数k,本文证明K_m,n存在P_4k&#8722;1-因子分解的充分必要条件是: (1) (2k&#8722;1)m ≤2kn, (2) (2k&#8722;1)n ≤ 2 km, (3) m+n ≡ 0 (mod 4k&#8722;1), (4) (4k&#8722;1)mn/[2(2k&#8722;1)(m+n)]是整数. 即证明了对于任意正整数k, 当v=4k&#8722;1时Ushio猜想成立.     

二部多重图路因子分解的存在谱

若二部多重图λK_m,n的边集可以划分为λK_m,n 的P_v-因子,则称 λK_m,n存在P_v-因子分解.当v是偶数时, Ushio和Wang及本文的第二作者给出了λK_m,n存在P_v-因子分解的充分必要条件.同时提出了当v是奇数时λK_m,n存在P_v-因子分解的猜想.最近我们已经证明当v=4k-1时该猜想成立. 对于正整数k,文中证明λK_m,n 存在P_4k+1-因子分解的充分必要条件是: (1) 2km ≤ (2k+1)n, (2) 2kn ≤(2k+1)m, (3) m+n ≡ 0 (mod 4k+1), (4)λ (4k+1)mn/[4k(m+n)]是整数. 即证明:对于任意正整数k, 当v=4k+1时上述猜想成立，从而最终完成了该猜想成立的证明.     

积域上奇异积分算子的Lp有界性

用旋转法证明了对于Ω∈ L(log⁺L)² (Sⁿ-1×S^m-1),Ω(x′,y′)dσ(x′)= 0(y′∈S^m-1), Ω(x′,y′)dσy′)=0(x′∈Sⁿ-1),带核函数K(u,v)= Ω(u′,v′)|u|^-n|v|^-m的奇异积分算子T是L^p(Rⁿ×R^m)有界的,其中1<p<∞.     

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

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