Dixon 结式的三类多余因子

Dixon结式是一种基本消元方法,
它在自动控制、机器人等高技术领域中有着重要应用.
但是由于结式方法可能产生多余因子,
因此多余因子的产生机理一直是一大难题.
本文通过将Dixon结式表示成原多项式系统的线性组合,
发现了Dixon结式的部分多余因子,
并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子
以及导出多项式回代产生的多余因子三大部分组成.     

顶点算子超代数的双模

对于任意一个顶点算子超代数$V$及$m,n\in
\frac{1}{2}\mathbb{Z}_{+}$, 通过构造$A_n(V)-A_m(V)$-\!双模
$A_{n,m}(V)$, 刻画了$V$
的一个从可容许$V$-\!模的第$m+1$层子空间到第$n+1$层子空间的作用,
并得到一类Verma型可容许$V$-\!模.     

关于域的K2群的挠

设$F$是域, 记 $G_{n}(F)=\{\{a,
\Phi_{n}(a)\} \in K_{2}(F)\mid {a, \Phi_{n}(a)} \in F^{*}\},$
这里$\Phi_{n}(x)$ 是$n$次分圆多项式. 首先,
使用关于数域上的Mordell猜想的Faltings定理证明了若$F$是数域, $n\neq
1, 4, 8, 12$且含有平方因子, 则$G_{n}(F)$不是$K_{2}(F)$的子群; 然后,
使用Manin, Grauert, Samuel和李克正关于
函数域上的Mordell猜想的结果, 对代数闭域上的函数域证明了类似的结果.     

Schrödinger-Virasoro 变形代数的二上循环

Henkel, Roger 和
Unterberger在一系列文章中对Schrödinger-Virasoro
代数及其变形代数做过介绍和研究. 本文主要研究了(原)~Schrödinger-Virasoro 变形代数的二上循环.     

离散可积耦合系统零曲率方程的代数结构及其对耦合Volterra系统的应用

基于Lie代数的半直和思想,
建立了离散可积耦合系统的代数结构,
并将这种结构应用到耦合 Volterra 族生成$\tau$-\!对称代数.     

仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较.     

紧致Hermite流形之间的调和映照

将Bochner-Kodaira
公式推广到一般Hermite流形的复向量丛上. 作为应用得到了一类Hermite流形之间的调和映射的复解析性.     

Herz型Hardy空间上乘子算子的Jackson型和 Bernstein型不等式

在Herz型Hardy
空间上对乘子算子建立了Jackson型和Bernstein型不等式.
这些不等式可以应用于Fourier分析中的一些重要算子,
如大于临界阶的Bochner-Riesz算子,
广义Bochner-Riesz平均和广义Abel-Poission算子.     

无穷维 Hamilton 算子特征函数系的Cauchy主值意义下的完备性

研究了无穷维Hamilton算子的特征值及特征函数系的性质,
给出了无穷维Hamilton算子
的特征函数系在Cauchy主值意义下完备的充分条件.最后, 举出了具体的例子,
并加以
说明判别准则的有效性.     

随机环境中依赖年龄的分枝过程

考虑随机环境中依赖年龄的分枝过程.
环境$\xi = (\xi_0,\xi_1, \ldots)$是平稳遍历的随机变量序列.
给定环境$\xi$, 该过 程是非齐次的Galton-Watson过程,
第$n$代粒子的寿命分布为$\R_+$上的概率分布$G(\xi_n)$,
每个粒子根据$\N$上的概率分布 $p(\xi_n)$独立地产生后代.
令$Z(t)$表示$t$时刻存活的粒子数. 首先,
以一个函数方程给出了在环境$\xi$下$Z(t)$的条件概率母函数的性质;
通过与一个嵌入分枝过程作比较, 得到了过程几乎必然灭绝的判别准则.
然后, 得到条件均值$E_\xi Z(t)$和
整体均值$EZ(t)$的表达式,并通过研究随机环境中的更新过程,给出了两均值的指数增长率.     

4维Lorentz空间形式中的类空Willmore曲面

本文研究4维Lorentz空间形式中的类空Willmore曲面.
这是Lorentz共形几何中与$S^4$中的Willmore曲面理论相对应的一个主题.
对每一个类空Willmore曲面定义了两类变换,
导出左/右polar曲面和伴随曲面.
这些新的曲面都是与原来曲面共形的Willlmore曲面,
并且它们满足一些有趣的对偶定理.
应用这些对偶定理, 我们分类了4维Lorentz空间形式中的类空Willmore球面. 最后作为例子, 构造了一族齐性类空Willmore环面.     

算术曲面上的赋值

给出了赋值的高度的定义以及大域~$\mathbb{C}_{p,G}$ 的定义, 其中~$p$
是素数, $G \subset \mathbb{R}$ 是包含~1 的加法子群.
得出~$\mathbb{C}_{p,G}$ 是一个域, 并且是代数闭的. 在此基础上,
得到曲面赋值的完整分类. 进一步地, 对任意~$m\leqslant
n\in\mathbb{Z}$, 令~$V_{m,n}$ 为~$n-m+1$ 维的~$\mathbb{R}$-
向量空间, 其中坐标的指数从~$m$ 到~$n$. 可以推广~$\mathbb{C}_{p,G}$
的定义, 使得其中~$p$ 是一个素数, $G \subset V_{m,n}$ 是包含~1
的加法子群. 得出如果~$m\leqslant 0
\leqslant n$, 则~$\mathbb{C}_{p,G}$ 是一个域.     

关于Teichmüller极值的等价性

分别记$T(\triangle)$与$B(\triangle)$为单位圆盘$\triangle$上的
Teichm$\mathrm{\ddot{u}}$ller空间与无限小Teichm$\mathrm{\ddot{u}}$ller空间.
证明了$[\nu]_{B(\triangle)}$是无限小Strebel点并不能说明$[\nu]_{T(\triangle)}$
是一个Strebel点以及$[\nu]_{T(\triangle)}$是Strebel点并不能说明$[\nu]_{B(\triangle)}$
是一个无限小Strebel点. 作为这个结论的应用,
解决了姚国武提出的问题.     

共形几何代数中的分阶幂零单项式的几何解释

本文进一步发展共形几何代数,从代数和几何两个角度对共形几何代数中由幂零向量生成的分阶单项式的代数性质和几何解释进行深入探讨,包括各种维数的球面和平面定向的代数刻画、长括号的三角学、角度和方向的幂零单项式分阶表示、幂零单项式各个分阶的几何意义等.这些结果有助于理解高层次符号代数运算背后的几何意义,以及共形几何代数简化符号几何计算的内在机制.     

弱熵不等式和熵的收敛性

给出熵的代数收敛性的一个判别准则,
改进了排它过程的熵的代数收敛性的一个结果.
一般的弱熵不等式及其与熵的收敛速度之间的关系也在文中被研究.     

构造法巧解一题 (一个问题的巧解与反思)

<正>题目（武汉市2008年2月调研题）在三棱锥A—BCD中,三组对棱棱长分别相等且依次为5、34^1/2、41^1/2,求三棱锥A—BCD的体积和外接球的半径.解析联想到长方休的相对两个面的四条对角线相等,且不共面的四个顶点可构成三棱锥的四个顶点.如图,构造长方体,长、宽、高分别为a,b,c.取BC=     

借助Malvar-Coifman-Meyer共轭小波确定函数的跳跃值

以MCM共轭小波为基讨论了非周期函数跳跃值的确定.
证明了函数$f$在第1类间断点处的Lukacs型等式,
对满足弱光滑性假设的函数建立了几个不同类型的集中因子判别定理.     

带M∆;条件的弱Orlicz空间的内插

给出了一个由满足$M_\Delta$条件的N-\!函数生成的弱Orlicz空间的内插定理.
通过弱Hardy鞅空间的弱原子分解, 证明了类似的定理对弱Orlicz
鞅空间成立, 应用内插定理得到了一些弱Orlicz鞅空间的嵌入关系.     

关于ff＇的辐角分布

设f为一整函数,下级为μ,级为λ,若ff′-1的零点均聚集于q(<∞)条射线上,则λ必为有穷,并且
(i) 当q=1时,λ≤1/2;
(ii)当q=2与μ≥1时,这两条射线之夹角必等于π/λ;
(iii)当q≥2时,至少存在两条射线,其夹角不超过π/λ。     

复赋范空间中复RS集的最佳同时逼近

研究了复赋范空间中具限制系数的广义多项式集G对无穷序列的最佳同时逼近问题,得到了特征定理;当G是复RS集时还得到了惟一性定理．